************************************************************************
CiE13 CALL FOR PAPERS AND SPECIAL AWARDS:
CiE 2013: The Nature of Computation:
Logic, Algorithms, Applications
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
IMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013
Notification of authors: 4 March 2013
Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011) and Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of CIE13
on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, biology, physics, and computer
science. Starting from Alan Turing, research on Nature with a
computational perspective has produced novel contributions, giving
rise even to new disciplines.
AWARDS:
Springer-Verlag has graciously funded two awards that will be given during
the CiE 2013 Conference.
Best student paper:
This prize will be awarded for the best student paper presented at CiE
2013, as judged by the Program Committee. A prize of 500 euros will be
given to the author(s) of the best student-authored paper (or split
between more than one paper if there is a tie). In order to be considered,
a paper has to be submitted in the category 'Regular paper (eligible for
best student paper award)' on EasyChair. Papers are eligible if all of its
authors are full-time students at the time of submission.
Best paper on Natural Computing:
The prize consists of the four volumes of the Handbook of Natural
Computing (see http://cie2013.disco.unimib.it/awards/).
This prize will be awarded to the best paper on Natural Computing
presented at CiE 2013, as judged by the Program Committee.
A paper is eligible if its main topic falls within the scope of Natural
Computing, roughly defined as the set of fields studied in the above
handbook. The Program Committee is the only judge of the relevance of a
paper within the Natural Computing scope. The authors of a paper eligible
for the award must indicate this in the submission notes.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS
Gilles Brassard (Universite de Montreal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado at Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness
organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
organizers: Mark Delay, Natasha Jonoska
History of Computation
organizers: Gerard Alberts, Liesbeth De Mol
PROGRAM COMMITTEE:
* Gerard Alberts (Amsterdam) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape
Town, co-chair)
* Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
* Stephen Cook (Toronto ON) * S Barry Cooper (Leeds)
* Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest)
* Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
* Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans)
* Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI)
* Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam)
* Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
* Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
* Sonja Smets (Amsterdam) * Susan Stepney (York)
* S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2013.
The submission site https://www.easychair.org/conferences/?conf=cie2013 is
open.
We particularly invite papers that build bridges between different
parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it
Website: http://cie2013.disco.unimib.it
************************************************************************
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-12-23
[Caml-list] TAMC 2013 in Hong Kong: Second Call for Papers
===========================================================================
SECOND CALL FOR PAPERS:
TAMC 2013
The 10th Annual Conference on Theory and Applications of
Models of Computation
Hong Kong, China, 20-22 May 2013
http://www.cs.hku.hk/tamc2013/
===========================================================================
The 10th Annual Conference on Theory and Application of Models of
Computation (TAMC 2013 http://www.cs.hku.hk/tamc2013/) will be held in
Hong Kong, China, from May 20 to May 22, 2013. TAMC aims at bringing
together a wide range of researchers with interests in computational
theory and applications.
Hong Kong is situated on China's south coast and is famous for its
skyline. Hong Kong was a colony of the British Empire until 1997 when it
was returned to China. It now thrives under the principle of "one country,
two systems", enjoying a high degree of authority and independent
judiciary. Hong Kong is often described as "East meets West" and is one of
the world's leading international financial centers.
Come and visit Asia's vibrant world city
(www.discoverhongkong.com/eng/index.jsp) and join the conference at the
University of Hong Kong (according to 2012 QS World University Rankings
HKU ranked 23rd in the world and 1st in Asia).
The main themes of the conference are computability, complexity, and
algorithms. Typical but not exclusive topics of interest include:
algebraic computation
algorithmic coding theory
algorithmic number theory
approximation algorithms
automata theory
circuit complexity
computability theory
computational biology, and biological computing
computational complexity
computational game theory
computational logic
computational geometry
continuous and real computation
cryptography
data structures
design and analysis of algorithms
distributed algorithms
fixed parameter tractability
graph algorithms
information and communication complexity
learning theory
natural computation
network algorithms, networks in nature and society
online algorithms
optimization
parallel algorithms
privacy and security
property testing
proof complexity
quantum computing
randomness, pseudo-randomness
randomized algorithms
streaming algorithms
IMPORTANT DATES -
Submission deadline : 11:59 pm EST January 11, 2013
Notification of authors : February 22, 2013
Final versions deadline : March 8, 2013
Submission page:
https://www.easychair.org/conferences/?conf=tamc2013.
Conference Chair:
Francis Chin (The University of Hong Kong)
Program Chair:
Lap Chi Lau (The Chinese University of Hong Kong)
Luca Trevisan (Stanford University)
Program Committee:
Andrej Bogdanov (The Chinese University of Hong Kong)
Hubert Chan (University of Hong Kong)
Ho-Lin Chen (National Taiwan University)
Jianer Chen (Texas A&M University)
Ning Chen (Nanyang Technological University)
Wei Chen (Microsoft Research Asia)
Xi Chen (Columbia University)
Francis Chin (The University of Hong Kong, Chair)
Marek Chrobak (UC Riverside)
Nicola Galesi (Universita di Roma La Sapienza)
Naveen Garg (IIT Dehli)
Navin Goyal (Microsoft Research India)
Nick Harvey (University of British Columbia)
Rahul Jain (National University of Singapore)
David Jao (University of Waterloo)
Ken-ichi Kawarabayashi (National Institute of Informatics, Japan)
Jochen Konemann (University of Waterloo)
Amit Kumar (IIT Delhi)
Lap Chi Lau (The Chinese University of Hong Kong, Co-chair)
Jian Li (Tsinghua University)
Rachel Lin (MIT and The Chinese University of Hong Kong)
Pinyan Lu (Microsoft Research Asia)
Mohammad Mahdian (Google Research)
Seffi Naor (Technion University)
Krzysztof Onak (IBM Research)
Periklis Papakonstantinou (Tsinghua University)
Seth Pettie (University of Michigan)
Atri Rudra (University at Buffalo, The State University of New York)
Alexander Russell (University of Connecticut)
Piotr Sankowski (University of Warsaw)
Rahul Santhanam (University of Edinburgh)
Anastasios Sidiropoulos (UIUC)
Mohit Singh (Microsoft Research Redmond)
Man Cho Anthony So (The Chinese University of Hong Kong)
John Steinberger (Tsinghua University)
Luca Trevisan (Stanford University, Co-chair)
Laszlo Vegh (London School of Economics)
David Woodruff (IBM Research)
Ke Yi (Hong Kong University of Science and Technology)
Qin Zhang (IBM Research and Indiana University)
Submission instructions:
* Authors should submit an extended abstract (not a full paper), online
at: https://www.easychair.org/conferences/?conf=tamc2013
* The submission should contain a scholarly exposition of ideas,
techniques, and results, including motivation and a clear comparison with
related work.
* The length of the extended abstract should not exceed ten (10)
letter-sized pages (not including bibliography and appendices.)
* Submitted papers must describe work not previously published. They must
not be submitted simultaneously to another conference with refereed
proceedings.
* Research that is already submitted to a journal may be submitted to
TAMC13, provided that (a) the PC chair is notified in advance that this is
the case, and (b) it is not scheduled for journal publication before the
conference.
Proceedings:
The TAMC proceedings will be published in the Lecture Notes in Computer
Science Series by Springer (http://www.springer.com/lncs).
Authors of accepted papers are expected to present their work at the
conference.
Special issues of the leading journals 'Theoretical Computer Science' and
'Mathematical Structures in Computer Science', devoted to a selected set
of accepted papers of the conference, are planned.
Steering Committee:
Manindra Agrawal (Indian Institute of Technology, Kanpur, India)
Jin-Yi Cai (University of Wisconsin - Madison, USA)
S. Barry Cooper (University of Leeds, Leeds, UK)
John Hopcroft (Cornell University)
Angsheng Li (Chinese Academy of Sciences)
Local Organising Committee:
Hubert Chan, H.F. Ting, Zhang Yong
===========================================================================
Contact: tamc@cs.hku.hk
===========================================================================
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
SECOND CALL FOR PAPERS:
TAMC 2013
The 10th Annual Conference on Theory and Applications of
Models of Computation
Hong Kong, China, 20-22 May 2013
http://www.cs.hku.hk/tamc2013/
===========================================================================
The 10th Annual Conference on Theory and Application of Models of
Computation (TAMC 2013 http://www.cs.hku.hk/tamc2013/) will be held in
Hong Kong, China, from May 20 to May 22, 2013. TAMC aims at bringing
together a wide range of researchers with interests in computational
theory and applications.
Hong Kong is situated on China's south coast and is famous for its
skyline. Hong Kong was a colony of the British Empire until 1997 when it
was returned to China. It now thrives under the principle of "one country,
two systems", enjoying a high degree of authority and independent
judiciary. Hong Kong is often described as "East meets West" and is one of
the world's leading international financial centers.
Come and visit Asia's vibrant world city
(www.discoverhongkong.com/eng/index.jsp) and join the conference at the
University of Hong Kong (according to 2012 QS World University Rankings
HKU ranked 23rd in the world and 1st in Asia).
The main themes of the conference are computability, complexity, and
algorithms. Typical but not exclusive topics of interest include:
algebraic computation
algorithmic coding theory
algorithmic number theory
approximation algorithms
automata theory
circuit complexity
computability theory
computational biology, and biological computing
computational complexity
computational game theory
computational logic
computational geometry
continuous and real computation
cryptography
data structures
design and analysis of algorithms
distributed algorithms
fixed parameter tractability
graph algorithms
information and communication complexity
learning theory
natural computation
network algorithms, networks in nature and society
online algorithms
optimization
parallel algorithms
privacy and security
property testing
proof complexity
quantum computing
randomness, pseudo-randomness
randomized algorithms
streaming algorithms
IMPORTANT DATES -
Submission deadline : 11:59 pm EST January 11, 2013
Notification of authors : February 22, 2013
Final versions deadline : March 8, 2013
Submission page:
https://www.easychair.org/conferences/?conf=tamc2013.
Conference Chair:
Francis Chin (The University of Hong Kong)
Program Chair:
Lap Chi Lau (The Chinese University of Hong Kong)
Luca Trevisan (Stanford University)
Program Committee:
Andrej Bogdanov (The Chinese University of Hong Kong)
Hubert Chan (University of Hong Kong)
Ho-Lin Chen (National Taiwan University)
Jianer Chen (Texas A&M University)
Ning Chen (Nanyang Technological University)
Wei Chen (Microsoft Research Asia)
Xi Chen (Columbia University)
Francis Chin (The University of Hong Kong, Chair)
Marek Chrobak (UC Riverside)
Nicola Galesi (Universita di Roma La Sapienza)
Naveen Garg (IIT Dehli)
Navin Goyal (Microsoft Research India)
Nick Harvey (University of British Columbia)
Rahul Jain (National University of Singapore)
David Jao (University of Waterloo)
Ken-ichi Kawarabayashi (National Institute of Informatics, Japan)
Jochen Konemann (University of Waterloo)
Amit Kumar (IIT Delhi)
Lap Chi Lau (The Chinese University of Hong Kong, Co-chair)
Jian Li (Tsinghua University)
Rachel Lin (MIT and The Chinese University of Hong Kong)
Pinyan Lu (Microsoft Research Asia)
Mohammad Mahdian (Google Research)
Seffi Naor (Technion University)
Krzysztof Onak (IBM Research)
Periklis Papakonstantinou (Tsinghua University)
Seth Pettie (University of Michigan)
Atri Rudra (University at Buffalo, The State University of New York)
Alexander Russell (University of Connecticut)
Piotr Sankowski (University of Warsaw)
Rahul Santhanam (University of Edinburgh)
Anastasios Sidiropoulos (UIUC)
Mohit Singh (Microsoft Research Redmond)
Man Cho Anthony So (The Chinese University of Hong Kong)
John Steinberger (Tsinghua University)
Luca Trevisan (Stanford University, Co-chair)
Laszlo Vegh (London School of Economics)
David Woodruff (IBM Research)
Ke Yi (Hong Kong University of Science and Technology)
Qin Zhang (IBM Research and Indiana University)
Submission instructions:
* Authors should submit an extended abstract (not a full paper), online
at: https://www.easychair.org/conferences/?conf=tamc2013
* The submission should contain a scholarly exposition of ideas,
techniques, and results, including motivation and a clear comparison with
related work.
* The length of the extended abstract should not exceed ten (10)
letter-sized pages (not including bibliography and appendices.)
* Submitted papers must describe work not previously published. They must
not be submitted simultaneously to another conference with refereed
proceedings.
* Research that is already submitted to a journal may be submitted to
TAMC13, provided that (a) the PC chair is notified in advance that this is
the case, and (b) it is not scheduled for journal publication before the
conference.
Proceedings:
The TAMC proceedings will be published in the Lecture Notes in Computer
Science Series by Springer (http://www.springer.com/lncs).
Authors of accepted papers are expected to present their work at the
conference.
Special issues of the leading journals 'Theoretical Computer Science' and
'Mathematical Structures in Computer Science', devoted to a selected set
of accepted papers of the conference, are planned.
Steering Committee:
Manindra Agrawal (Indian Institute of Technology, Kanpur, India)
Jin-Yi Cai (University of Wisconsin - Madison, USA)
S. Barry Cooper (University of Leeds, Leeds, UK)
John Hopcroft (Cornell University)
Angsheng Li (Chinese Academy of Sciences)
Local Organising Committee:
Hubert Chan, H.F. Ting, Zhang Yong
===========================================================================
Contact: tamc@cs.hku.hk
===========================================================================
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-12-20
[Caml-list] HLPP2013 Paris July2013: Second Call for Papers
International Symposium on High-level Parallel Programming and Applications
https://sites.google.com/site/hlpp2013/ Gaétan Hains, Professor of Computer Science
Université Paris-Est & EXQIM SAS Paris
+33 (0)1 45 17 65 95 gaetan.hains@u-pec.fr
Université Paris-Est & EXQIM SAS Paris
+33 (0)1 45 17 65 95 gaetan.hains@u-pec.fr
[Caml-list] integrated Formal Methods (iFM 2013): Last Call for Papers
LAST CALL FOR PAPERS
**********************************************************************
10th International Conference on integrated Formal Methods (iFM 2013)
June 10 - 14, 2013 - Turku, Finland
http://www.it.abo.fi/iFM2013/
**********************************************************************
IMPORTANT DATES
- Abstract Submission: January 10, 2013
- Paper submission: January 17, 2013
- Paper notification: March 11, 2013
- Final version paper: March 31, 2013
OBJECTIVES AND SCOPE
Applying formal methods may involve modeling different aspects of a
system which are best expressed using different formalisms.
Correspondingly, different analysis techniques may be used to examine
different system views, different kinds of properties, or simply in
order to cope with the sheer complexity of the system. The iFM
conference series seeks to further research into hybrid approaches to
formal modeling and analysis; i.e., the combination of (formal and
semi-formal) methods for system development, regarding modeling and
analysis, and covering all aspects from language design through
verification and analysis techniques to tools and their integration
into software engineering practice.
Areas of interest include but are not limited to:
- Formal and semiformal modelling notations;
- Integration of formal methods into software engineering practice;
- Refinement;
- Theorem proving;
- Tools;
- Logics;
- Model checking;
- Model transformations;
- Semantics;
- Static Analysis;
- Type Systems;
- Verification;
- Case Studies;
- Experience reports
INVITED SPEAKERS
iFM 2013 will have the following keynote speakers:
- Jean-Raymond Abrial, Marseille, France: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs
- Susanne Graf, VERIMAG, France: Integrating Distributed Control over Systems with Priorities
- Cosimo Laneve, University of Bologna, Italy: An Algebraic Theory for Web Services Contracts
- Kim Larsen, Aalborg University, Denmark: Statistical Model Checking with Priced Timed Automata
SPECIAL ISSUES
To celebrate the 10th edition of iFM, there will be special issues of
the Springer journals
- Formal Aspects of Computing
- Software and Systems Modeling
The best papers from iFM 2013 will be invited for these special
issues, complemented by an open call for papers, and undergo a
separate peer-review process according to the usual scientific
standards of these journals.
WORKSHOPS AND TUTORIALS
There will be two days of workshops and tutorials before the iFM
conference. The conference will take place June 12-14, 2013 and the
tutorials and workshops June 10-11, 2013. We are happy to announce the
following workshops and tutorials that will accompany iFM 2013:
- CompMod 2013: The 4th International Workshop on Computational Models for Cell Processes
Website: http://combio.abo.fi/compmod13/
Organiser: Ion Petre, Åbo Akademi University, Finland
- The 11th Overture Workshop
Website: http://wiki.overturetool.org/index.php/11th_Overture_Workshop
Organisers: Stefan Hallerstede, Aarhus University, Denmark and Ken Pierce, University of Newcastle, UK
- Rodin User and Developer Workshop 2013
Website: http://wiki.event-b.org/index.php/Rodin_Workshop_2013
Organisers: Michael Butler, University of Southampton; Stefan Hallerstede, Aarhus University; Thierry Lecomte, ClearSy; Michael Leuschel, University of Düsseldorf; Alexander Romanovsky, University of Newcastle; Laurent Voisin, Systerel; Marina Walden, Åbo Akademi University
- FMDEP 2013: Workshop on Formal Methods for Dependable Computer-Based Systems
Website: to be announced
Organisers: Jüri Vain, Tallinn University of Technology, Estonia and Leonidas Tsiopoulos, Åbo Akademi University, Finland
- BCS FACS 2013 Refinement Workshop 2013
Website: http://www.refinenet.org.uk/ref13/cfp.html
Organisers: Eerke Boiten, University of Kent, UK; John Derrick, University of Sheffield, UK; Steve Reeves, University of Waikato, NZ
- Tutorial: Specification and Proof of Programs with Frama-C
Organizers: Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles (Software Safety Laboratory, CEA LIST)
SUBMISSION GUIDELINES
iFM 2013 solicits high quality papers reporting research results
and/or experience reports related to the overall theme of method
integration. The conference proceedings will be published in
Springer's Lecture Notes in Computer Science series. All submissions
must be original, unpublished, and not submitted for publication
elsewhere. Submissions must be in PDF format, using the Springer LNCS
style files; we suggest to use the LaTeX2e package (the llncs.cls
class file, available in llncs2e.zip and the typeinst.dem available
in typeinst.zip as a template for your contribution). Papers should
not exceed 15 pages in length. Each paper will undergo a thorough
review process. Submissions should be made using the iFM 2013
Easychair web site:
https://www.easychair.org/account/signin.cgi?conf=ifm2013
All accepted papers must be presented at the conference. Their authors
must be prepared to sign a copyright transfer statement. At least one
author of each accepted paper must register to the conference by the
early date, to be indicated by the organizers, and present the paper.
iFM PROGRAMME COMMITTEE CHAIRS:
- Einar Broch Johnsen, University of Oslo, Norway
- Luigia Petre, Åbo Akademi University, Finland
iFM 2013 TUTORIALS and WORKSHOPS CHAIR
Pontus Boström, Åbo Akademi University, Finland
iFM 2013 ORGANIZING COMMITTEE CHAIR
Luigia Petre, Åbo Akademi University, Finland
PROGRAM COMMITTEE
- Erika Abraham, RWTH Aachen University, Germany;
- Elvira Albert, Complutense University of Madrid, Spain;
- Marcello Bonsangue, Leiden University, the Netherlands;
- Phillip J Brooke, Teesside University, UK;
- Ana Cavalcanti, University of York, UK;
- Dave Clarke, Catholic University of Leuven, Belgium;
- John Derrick, Unversity of Sheffield, UK;
- Jin Song Dong, National University of Singapore, Singapore;
- Kerstin Eder, University of Bristol, UK;
- John Fitzgerald, Newcastle University, UK;
- Andy Galloway, University of York, UK;
- Marieke Huisman, University of Twente, the Netherlands;
- Reiner Hähnle, Technical University of Darmstadt, Germany;
- Einar Broch Johnsen, University of Oslo, Norway;
- Peter Gorm Larsen, Aarhus University, Denmark;
- Diego Latella, ISTI-CNR, Pisa, Italy;
- Michael Leuschel, University of Duesseldorf, Germany;
- Shaoying Liu, Hosei University, Japan;
- Michele Loreti, University of Florence, Italy;
- Dominique Mery, LORIA and University of Lorraine, France;
- Stephan Merz, INRIA Lorraine, France;
- Richard Paige, University of York, UK;
- Luigia Petre, Åbo Akademi University, Finland;
- Kristin Yvonne Rozier, NASA Ames Research Center, USA;
- Philipp Ruemmer, Uppsala University, Sweden;
- Thomas Santen, European Microsoft Innovation Center, Germany;
- Ina Schaefer, Technical University of Braunschweig, Germany;
- Steve Schneider, University of Surrey, UK;
- Emil Sekerinski, McMaster University, Canada;
- Graeme Smith, University of Queensland, Australia;
- Colin Snook, University of Southampton, UK;
- Kenji Taguchi, AIST, Japan;
- Helen Treharne, University of Surrey, UK;
- Heike Wehrheim, University of Paderborn, Germany;
- Herbert Wiklicky, Imperial College, UK;
- Gianluigi Zavattaro, University of Bologna, Italy
**********************************************************************
This call for papers and additional information about the conference
can be found at http://www.it.abo.fi/iFM2013
For information regarding the conference you can contact:
ifm2013@abo.fi
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
**********************************************************************
10th International Conference on integrated Formal Methods (iFM 2013)
June 10 - 14, 2013 - Turku, Finland
http://www.it.abo.fi/iFM2013/
**********************************************************************
IMPORTANT DATES
- Abstract Submission: January 10, 2013
- Paper submission: January 17, 2013
- Paper notification: March 11, 2013
- Final version paper: March 31, 2013
OBJECTIVES AND SCOPE
Applying formal methods may involve modeling different aspects of a
system which are best expressed using different formalisms.
Correspondingly, different analysis techniques may be used to examine
different system views, different kinds of properties, or simply in
order to cope with the sheer complexity of the system. The iFM
conference series seeks to further research into hybrid approaches to
formal modeling and analysis; i.e., the combination of (formal and
semi-formal) methods for system development, regarding modeling and
analysis, and covering all aspects from language design through
verification and analysis techniques to tools and their integration
into software engineering practice.
Areas of interest include but are not limited to:
- Formal and semiformal modelling notations;
- Integration of formal methods into software engineering practice;
- Refinement;
- Theorem proving;
- Tools;
- Logics;
- Model checking;
- Model transformations;
- Semantics;
- Static Analysis;
- Type Systems;
- Verification;
- Case Studies;
- Experience reports
INVITED SPEAKERS
iFM 2013 will have the following keynote speakers:
- Jean-Raymond Abrial, Marseille, France: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs
- Susanne Graf, VERIMAG, France: Integrating Distributed Control over Systems with Priorities
- Cosimo Laneve, University of Bologna, Italy: An Algebraic Theory for Web Services Contracts
- Kim Larsen, Aalborg University, Denmark: Statistical Model Checking with Priced Timed Automata
SPECIAL ISSUES
To celebrate the 10th edition of iFM, there will be special issues of
the Springer journals
- Formal Aspects of Computing
- Software and Systems Modeling
The best papers from iFM 2013 will be invited for these special
issues, complemented by an open call for papers, and undergo a
separate peer-review process according to the usual scientific
standards of these journals.
WORKSHOPS AND TUTORIALS
There will be two days of workshops and tutorials before the iFM
conference. The conference will take place June 12-14, 2013 and the
tutorials and workshops June 10-11, 2013. We are happy to announce the
following workshops and tutorials that will accompany iFM 2013:
- CompMod 2013: The 4th International Workshop on Computational Models for Cell Processes
Website: http://combio.abo.fi/compmod13/
Organiser: Ion Petre, Åbo Akademi University, Finland
- The 11th Overture Workshop
Website: http://wiki.overturetool.org/index.php/11th_Overture_Workshop
Organisers: Stefan Hallerstede, Aarhus University, Denmark and Ken Pierce, University of Newcastle, UK
- Rodin User and Developer Workshop 2013
Website: http://wiki.event-b.org/index.php/Rodin_Workshop_2013
Organisers: Michael Butler, University of Southampton; Stefan Hallerstede, Aarhus University; Thierry Lecomte, ClearSy; Michael Leuschel, University of Düsseldorf; Alexander Romanovsky, University of Newcastle; Laurent Voisin, Systerel; Marina Walden, Åbo Akademi University
- FMDEP 2013: Workshop on Formal Methods for Dependable Computer-Based Systems
Website: to be announced
Organisers: Jüri Vain, Tallinn University of Technology, Estonia and Leonidas Tsiopoulos, Åbo Akademi University, Finland
- BCS FACS 2013 Refinement Workshop 2013
Website: http://www.refinenet.org.uk/ref13/cfp.html
Organisers: Eerke Boiten, University of Kent, UK; John Derrick, University of Sheffield, UK; Steve Reeves, University of Waikato, NZ
- Tutorial: Specification and Proof of Programs with Frama-C
Organizers: Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles (Software Safety Laboratory, CEA LIST)
SUBMISSION GUIDELINES
iFM 2013 solicits high quality papers reporting research results
and/or experience reports related to the overall theme of method
integration. The conference proceedings will be published in
Springer's Lecture Notes in Computer Science series. All submissions
must be original, unpublished, and not submitted for publication
elsewhere. Submissions must be in PDF format, using the Springer LNCS
style files; we suggest to use the LaTeX2e package (the llncs.cls
class file, available in llncs2e.zip and the typeinst.dem available
in typeinst.zip as a template for your contribution). Papers should
not exceed 15 pages in length. Each paper will undergo a thorough
review process. Submissions should be made using the iFM 2013
Easychair web site:
https://www.easychair.org/account/signin.cgi?conf=ifm2013
All accepted papers must be presented at the conference. Their authors
must be prepared to sign a copyright transfer statement. At least one
author of each accepted paper must register to the conference by the
early date, to be indicated by the organizers, and present the paper.
iFM PROGRAMME COMMITTEE CHAIRS:
- Einar Broch Johnsen, University of Oslo, Norway
- Luigia Petre, Åbo Akademi University, Finland
iFM 2013 TUTORIALS and WORKSHOPS CHAIR
Pontus Boström, Åbo Akademi University, Finland
iFM 2013 ORGANIZING COMMITTEE CHAIR
Luigia Petre, Åbo Akademi University, Finland
PROGRAM COMMITTEE
- Erika Abraham, RWTH Aachen University, Germany;
- Elvira Albert, Complutense University of Madrid, Spain;
- Marcello Bonsangue, Leiden University, the Netherlands;
- Phillip J Brooke, Teesside University, UK;
- Ana Cavalcanti, University of York, UK;
- Dave Clarke, Catholic University of Leuven, Belgium;
- John Derrick, Unversity of Sheffield, UK;
- Jin Song Dong, National University of Singapore, Singapore;
- Kerstin Eder, University of Bristol, UK;
- John Fitzgerald, Newcastle University, UK;
- Andy Galloway, University of York, UK;
- Marieke Huisman, University of Twente, the Netherlands;
- Reiner Hähnle, Technical University of Darmstadt, Germany;
- Einar Broch Johnsen, University of Oslo, Norway;
- Peter Gorm Larsen, Aarhus University, Denmark;
- Diego Latella, ISTI-CNR, Pisa, Italy;
- Michael Leuschel, University of Duesseldorf, Germany;
- Shaoying Liu, Hosei University, Japan;
- Michele Loreti, University of Florence, Italy;
- Dominique Mery, LORIA and University of Lorraine, France;
- Stephan Merz, INRIA Lorraine, France;
- Richard Paige, University of York, UK;
- Luigia Petre, Åbo Akademi University, Finland;
- Kristin Yvonne Rozier, NASA Ames Research Center, USA;
- Philipp Ruemmer, Uppsala University, Sweden;
- Thomas Santen, European Microsoft Innovation Center, Germany;
- Ina Schaefer, Technical University of Braunschweig, Germany;
- Steve Schneider, University of Surrey, UK;
- Emil Sekerinski, McMaster University, Canada;
- Graeme Smith, University of Queensland, Australia;
- Colin Snook, University of Southampton, UK;
- Kenji Taguchi, AIST, Japan;
- Helen Treharne, University of Surrey, UK;
- Heike Wehrheim, University of Paderborn, Germany;
- Herbert Wiklicky, Imperial College, UK;
- Gianluigi Zavattaro, University of Bologna, Italy
**********************************************************************
This call for papers and additional information about the conference
can be found at http://www.it.abo.fi/iFM2013
For information regarding the conference you can contact:
ifm2013@abo.fi
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-12-19
[Caml-list] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013)
CICM 2013 - Conference on Intelligent Computer Mathematics
July 8-12, 2012 at the University of Bath, UK
http://www.cicm-conference.org/2013
Call for Workshop Proposals
----------------------------------------------------------------------
As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas.
Workshop proposals for CICM 2013 are solicited. Both well-established
workshops and newer or brand new ones are encouraged.
Please provide the following information:
+ Workshop title.
+ Names and affiliations of organizers.
+ Brief description of workshop goals and/or topics.
+ Proposed workshop duration (half a day up to two days is possible).
+ If the workshop has met previously, please include the conference
affiliation for the previous meeting. If the workshop is new,
please indicate so.
CICM conference fees will be levied on a per-day basis, so that
workshop-only participation is possible. The CICM organizers plan to
make available a small amount towards partial reimbursement for travel
expenses of invited speakers. Also, CICM will take care of copying and
distributing informal printed proceedings for workshops that would
like this service, as well as permanently archived open access online
proceedings with CEUR-WS.org.
All proposals should be sent via email to
cicm-organizers@jacobs-university.de
for consideration by the CICM 2013 organizers:
James Davenport (University of Bath, UK): Conference Chair
Jacques Carette (McMaster University, Canada): Program Chair
David Aspinall (University of Edinburgh, Scotland): MKM Track Chair
Christoph Lange (Univ of Birmingham, UK): System & Projects Track Chair
Petr Sojka (Masaryk University, CZ): DML Track Chair
Wolfgang Windsteiger (RISC, Austria): Calculemus Track Chair
Important dates:
Deadline for proposal submissions: January 28, 2013
Acceptance/rejection notification: February 8, 2013
Workshop dates: July 8-12, 2013
-----------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
July 8-12, 2012 at the University of Bath, UK
http://www.cicm-conference.org/2013
Call for Workshop Proposals
----------------------------------------------------------------------
As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas.
Workshop proposals for CICM 2013 are solicited. Both well-established
workshops and newer or brand new ones are encouraged.
Please provide the following information:
+ Workshop title.
+ Names and affiliations of organizers.
+ Brief description of workshop goals and/or topics.
+ Proposed workshop duration (half a day up to two days is possible).
+ If the workshop has met previously, please include the conference
affiliation for the previous meeting. If the workshop is new,
please indicate so.
CICM conference fees will be levied on a per-day basis, so that
workshop-only participation is possible. The CICM organizers plan to
make available a small amount towards partial reimbursement for travel
expenses of invited speakers. Also, CICM will take care of copying and
distributing informal printed proceedings for workshops that would
like this service, as well as permanently archived open access online
proceedings with CEUR-WS.org.
All proposals should be sent via email to
cicm-organizers@jacobs-university.de
for consideration by the CICM 2013 organizers:
James Davenport (University of Bath, UK): Conference Chair
Jacques Carette (McMaster University, Canada): Program Chair
David Aspinall (University of Edinburgh, Scotland): MKM Track Chair
Christoph Lange (Univ of Birmingham, UK): System & Projects Track Chair
Petr Sojka (Masaryk University, CZ): DML Track Chair
Wolfgang Windsteiger (RISC, Austria): Calculemus Track Chair
Important dates:
Deadline for proposal submissions: January 28, 2013
Acceptance/rejection notification: February 8, 2013
Workshop dates: July 8-12, 2013
-----------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] PLPV 2013 call for participation
You are cordially invited to participate in the Seventh ACM SIGPLAN
Workshop on
Programming Languages meets Program Verification
Date: 22 January 2013
Location: Rome, in conjunction with POPL 2013
Program : http://plpv.tcs.ifi.lmu.de/
Edwin Brady will talk at 10:30am on
Idris: General Purpose Programming with Dependent Types
Further, we have 7 contributed talks on verification of programming
languages, complexity and security, and functional reactive programming.
Early registration until 31 December 2012!
Best regards,
Andreas Abel and Tim Sheard
--
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Workshop on
Programming Languages meets Program Verification
Date: 22 January 2013
Location: Rome, in conjunction with POPL 2013
Program : http://plpv.tcs.ifi.lmu.de/
Edwin Brady will talk at 10:30am on
Idris: General Purpose Programming with Dependent Types
Further, we have 7 contributed talks on verification of programming
languages, complexity and security, and functional reactive programming.
Early registration until 31 December 2012!
Best regards,
Andreas Abel and Tim Sheard
--
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-12-11
[Caml-list] CiE 2013 in Milan - Awards and 2nd Call for Papers
************************************************************************
CiE13 CALL FOR PAPERS AND SPECIAL AWARDS:
CiE 2013: The Nature of Computation:
Logic, Algorithms, Applications
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
IMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013
Notification of authors: 4 March 2013
Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011) and Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of CIE13
on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, biology, physics, and computer
science. Starting from Alan Turing, research on Nature with a
computational perspective has produced novel contributions, giving
rise even to new disciplines.
AWARDS:
Springer-Verlag has graciously funded two awards that will be given during
the CiE 2013 Conference.
Best student paper:
This prize will be awarded for the best student paper presented at CiE
2013, as judged by the Program Committee. A prize of 500 euros will be
given to the author(s) of the best student-authored paper (or split
between more than one paper if there is a tie). In order to be considered,
a paper has to be submitted in the category 'Regular paper (eligible for
best student paper award)' on EasyChair. Papers are eligible if all of its
authors are full-time students at the time of submission.
Best paper on Natural Computing:
The prize consists of the four volumes of the Handbook of Natural
Computing (see http://cie2013.disco.unimib.it/awards/).
This prize will be awarded to the best paper on Natural Computing
presented at CiE 2013, as judged by the Program Committee.
A paper is eligible if its main topic falls within the scope of Natural
Computing, roughly defined as the set of fields studied in the above
handbook. The Program Committee is the only judge of the relevance of a
paper within the Natural Computing scope. The authors of a paper eligible
for the award must indicate this in the submission notes.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS
Gilles Brassard (Universite de Montreal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado at Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness
organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
organizers: Mark Delay, Natasha Jonoska
History of Computation
organizers: Gerard Alberts, Liesbeth De Mol
PROGRAM COMMITTEE:
* Gerard Alberts (Amsterdam) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape
Town, co-chair)
* Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
* Stephen Cook (Toronto ON) * S Barry Cooper (Leeds)
* Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest)
* Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
* Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans)
* Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI)
* Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam)
* Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
* Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
* Sonja Smets (Amsterdam) * Susan Stepney (York)
* S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2013.
The submission site https://www.easychair.org/conferences/?conf=cie2013 is
open.
We particularly invite papers that build bridges between different
parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it
Website: http://cie2013.disco.unimib.it
************************************************************************
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CiE13 CALL FOR PAPERS AND SPECIAL AWARDS:
CiE 2013: The Nature of Computation:
Logic, Algorithms, Applications
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
IMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013
Notification of authors: 4 March 2013
Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011) and Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of CIE13
on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, biology, physics, and computer
science. Starting from Alan Turing, research on Nature with a
computational perspective has produced novel contributions, giving
rise even to new disciplines.
AWARDS:
Springer-Verlag has graciously funded two awards that will be given during
the CiE 2013 Conference.
Best student paper:
This prize will be awarded for the best student paper presented at CiE
2013, as judged by the Program Committee. A prize of 500 euros will be
given to the author(s) of the best student-authored paper (or split
between more than one paper if there is a tie). In order to be considered,
a paper has to be submitted in the category 'Regular paper (eligible for
best student paper award)' on EasyChair. Papers are eligible if all of its
authors are full-time students at the time of submission.
Best paper on Natural Computing:
The prize consists of the four volumes of the Handbook of Natural
Computing (see http://cie2013.disco.unimib.it/awards/).
This prize will be awarded to the best paper on Natural Computing
presented at CiE 2013, as judged by the Program Committee.
A paper is eligible if its main topic falls within the scope of Natural
Computing, roughly defined as the set of fields studied in the above
handbook. The Program Committee is the only judge of the relevance of a
paper within the Natural Computing scope. The authors of a paper eligible
for the award must indicate this in the submission notes.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS
Gilles Brassard (Universite de Montreal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado at Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness
organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
organizers: Mark Delay, Natasha Jonoska
History of Computation
organizers: Gerard Alberts, Liesbeth De Mol
PROGRAM COMMITTEE:
* Gerard Alberts (Amsterdam) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape
Town, co-chair)
* Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
* Stephen Cook (Toronto ON) * S Barry Cooper (Leeds)
* Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest)
* Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
* Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans)
* Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI)
* Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam)
* Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
* Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
* Sonja Smets (Amsterdam) * Susan Stepney (York)
* S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2013.
The submission site https://www.easychair.org/conferences/?conf=cie2013 is
open.
We particularly invite papers that build bridges between different
parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it
Website: http://cie2013.disco.unimib.it
************************************************************************
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-11-20
[Caml-list] integrated Formal Methods 2013, Turku, Finland: 2nd Call for Papers
SECOND CALL FOR PAPERS
**********************************************************************
10th International Conference on integrated Formal Methods (iFM 2013)
June 10 - 14, 2013 - Turku, Finland
http://www.it.abo.fi/iFM2013/
**********************************************************************
OBJECTIVES AND SCOPE
Applying formal methods may involve modeling different aspects
of a system which are best expressed using different formalisms.
Correspondingly, different analysis techniques may be used to examine
different system views, different kinds of properties, or
simply in order to cope with the sheer complexity of the system.
The iFM conference series seeks to further research into hybrid
approaches to formal modeling and analysis; i.e., the combination of
(formal and semi-formal) methods for system development, regarding
modeling and analysis, and covering all aspects from language design
through verification and analysis techniques to tools and their
integration into software engineering practice.
Areas of interest include but are not limited to:
- Formal and semiformal modelling notations;
- Integration of formal methods into software engineering practice;
- Refinement;
- Theorem proving;
- Tools;
- Logics;
- Model checking;
- Model transformations;
- Semantics;
- Static Analysis;
- Type Systems;
- Verification;
- Case Studies;
- Experience reports
SUBMISSION GUIDELINES
iFM 2013 solicits high quality papers reporting research results and/or
experience reports related to the overall theme of method integration.
The conference proceedings will be published by Springer Lecture Notes
in Computer Science series. All papers must be original, unpublished,
and not submitted for publication elsewhere. All submissions must be
in PDF format, using the Springer LNCS style files; we suggest to use
the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip
and the typeinst.dem available in typeinst.zip as a template for your
contribution). Papers should not exceed 15 pages in length. Each paper
will undergo a thorough review process.
All accepted papers must be presented at the conference. Their
authors must be prepared to sign a copyright transfer statement.
At least one author of each accepted paper must register to the
conference by the early date, to be indicated by the organizers, and
present the paper.
INVITED SPEAKERS
We have the pleasure of announcing the following distinguished speakers
who have kindly accepted our invitation to lecture at iFM 2013:
- Jean-Raymond Abrial, Marseille, France
- Cosimo Laneve, University of Bologna, Italy
- Susanne Graf, VERIMAG, France
- Kim Larsen, Aalborg University, Denmark
SPECIAL ISSUES
To celebrate the 10th edition of iFM, special issues of two prominent
Springer journals are agreed upon:
- Formal Aspects of Computing
- Software and Systems Modeling
The two special issues will be based on extended and revised versions of
the best papers from iFM 2013, complemented by an open call for papers.
All submissions (including the papers selected from iFM) will go through
a separate peer-review process according to the usual scientific standards
of these journals.
WORKSHOPS AND TUTORIALS
The iFM conference will be accompanied by two days of workshops and
tutorials. The conference will take place during 12-14.6.2013 and the
tutorials and workshops right before it, during 10-11.6.2013.
IMPORTANT DATES
- Tutorial and Workshop proposal deadline: December 1, 2012
- Tutorial and Workshop notification: December 14, 2012
- Abstract Submission: January 10, 2013
- Paper submission: January 17, 2013
- Paper notification: March 11, 2013
- Final version paper: March 31, 2013
iFM PROGRAMME COMMITTEE CHAIRS:
- Einar Broch Johnsen, University of Oslo, Norway
- Luigia Petre, Åbo Akademi University, Finland
iFM 2013 TUTORIALS and WORKSHOPS CHAIR
Pontus Boström, Åbo Akademi University, Finland
iFM 2013 ORGANIZING COMMITTEE CHAIR
Luigia Petre, Åbo Akademi University, Finland
PROGRAM COMMITTEE
- Erika Abraham, RWTH Aachen University, Germany;
- Elvira Albert, Complutense University of Madrid, Spain;
- Marcello Bonsangue, Leiden University, the Netherlands;
- Phillip J Brooke, Teesside University, UK;
- Ana Cavalcanti, University of York, UK;
- Dave Clarke, Catholic University of Leuven, Belgium;
- John Derrick, Unversity of Sheffield, UK;
- Jin Song Dong, National University of Singapore, Singapore;
- Kerstin Eder, University of Bristol, UK;
- John Fitzgerald, Newcastle University, UK;
- Andy Galloway, University of York, UK;
- Marieke Huisman, University of Twente, the Netherlands;
- Reiner Hähnle, Technical University of Darmstadt, Germany;
- Einar Broch Johnsen, University of Oslo, Norway;
- Peter Gorm Larsen, Aarhus University, Denmark;
- Diego Latella, ISTI-CNR, Pisa, Italy;
- Michael Leuschel, University of Duesseldorf, Germany;
- Shaoying Liu, Hosei University, Japan;
- Michele Loreti, University of Florence, Italy;
- Dominique Mery, LORIA and University of Lorraine, France;
- Stephan Merz, INRIA Lorraine, France;
- Richard Paige, University of York, UK;
- Luigia Petre, Åbo Akademi University, Finland;
- Kristin Yvonne Rozier, NASA Ames Research Center, USA;
- Philipp Ruemmer, Uppsala University, Sweden;
- Thomas Santen, European Microsoft Innovation Center, Germany;
- Ina Schaefer, Technical University of Braunschweig, Germany;
- Steve Schneider, University of Surrey, UK;
- Emil Sekerinski, McMaster University, Canada;
- Kaisa Sere, Abo Akademi University, Finland;
- Graeme Smith, University of Queensland, Australia;
- Colin Snook, University of Southampton, UK;
- Kenji Taguchi, AIST, Japan;
- Helen Treharne, University of Surrey, UK;
- Heike Wehrheim, University of Paderborn, Germany;
- Herbert Wiklicky, Imperial College, UK;
- Gianluigi Zavattaro, University of Bologna, Italy
**********************************************************************
This call for papers and additional information about the conference
can be found at http://www.it.abo.fi/iFM2013
For information regarding the conference you can contact:
ifm2013@abo.fi
--
Luigia Petre, Docent, PhD
Department of Information Technologies
Åbo Akademi University, Finland
www.users.abo.fi/lpetre
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
**********************************************************************
10th International Conference on integrated Formal Methods (iFM 2013)
June 10 - 14, 2013 - Turku, Finland
http://www.it.abo.fi/iFM2013/
**********************************************************************
OBJECTIVES AND SCOPE
Applying formal methods may involve modeling different aspects
of a system which are best expressed using different formalisms.
Correspondingly, different analysis techniques may be used to examine
different system views, different kinds of properties, or
simply in order to cope with the sheer complexity of the system.
The iFM conference series seeks to further research into hybrid
approaches to formal modeling and analysis; i.e., the combination of
(formal and semi-formal) methods for system development, regarding
modeling and analysis, and covering all aspects from language design
through verification and analysis techniques to tools and their
integration into software engineering practice.
Areas of interest include but are not limited to:
- Formal and semiformal modelling notations;
- Integration of formal methods into software engineering practice;
- Refinement;
- Theorem proving;
- Tools;
- Logics;
- Model checking;
- Model transformations;
- Semantics;
- Static Analysis;
- Type Systems;
- Verification;
- Case Studies;
- Experience reports
SUBMISSION GUIDELINES
iFM 2013 solicits high quality papers reporting research results and/or
experience reports related to the overall theme of method integration.
The conference proceedings will be published by Springer Lecture Notes
in Computer Science series. All papers must be original, unpublished,
and not submitted for publication elsewhere. All submissions must be
in PDF format, using the Springer LNCS style files; we suggest to use
the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip
and the typeinst.dem available in typeinst.zip as a template for your
contribution). Papers should not exceed 15 pages in length. Each paper
will undergo a thorough review process.
All accepted papers must be presented at the conference. Their
authors must be prepared to sign a copyright transfer statement.
At least one author of each accepted paper must register to the
conference by the early date, to be indicated by the organizers, and
present the paper.
INVITED SPEAKERS
We have the pleasure of announcing the following distinguished speakers
who have kindly accepted our invitation to lecture at iFM 2013:
- Jean-Raymond Abrial, Marseille, France
- Cosimo Laneve, University of Bologna, Italy
- Susanne Graf, VERIMAG, France
- Kim Larsen, Aalborg University, Denmark
SPECIAL ISSUES
To celebrate the 10th edition of iFM, special issues of two prominent
Springer journals are agreed upon:
- Formal Aspects of Computing
- Software and Systems Modeling
The two special issues will be based on extended and revised versions of
the best papers from iFM 2013, complemented by an open call for papers.
All submissions (including the papers selected from iFM) will go through
a separate peer-review process according to the usual scientific standards
of these journals.
WORKSHOPS AND TUTORIALS
The iFM conference will be accompanied by two days of workshops and
tutorials. The conference will take place during 12-14.6.2013 and the
tutorials and workshops right before it, during 10-11.6.2013.
IMPORTANT DATES
- Tutorial and Workshop proposal deadline: December 1, 2012
- Tutorial and Workshop notification: December 14, 2012
- Abstract Submission: January 10, 2013
- Paper submission: January 17, 2013
- Paper notification: March 11, 2013
- Final version paper: March 31, 2013
iFM PROGRAMME COMMITTEE CHAIRS:
- Einar Broch Johnsen, University of Oslo, Norway
- Luigia Petre, Åbo Akademi University, Finland
iFM 2013 TUTORIALS and WORKSHOPS CHAIR
Pontus Boström, Åbo Akademi University, Finland
iFM 2013 ORGANIZING COMMITTEE CHAIR
Luigia Petre, Åbo Akademi University, Finland
PROGRAM COMMITTEE
- Erika Abraham, RWTH Aachen University, Germany;
- Elvira Albert, Complutense University of Madrid, Spain;
- Marcello Bonsangue, Leiden University, the Netherlands;
- Phillip J Brooke, Teesside University, UK;
- Ana Cavalcanti, University of York, UK;
- Dave Clarke, Catholic University of Leuven, Belgium;
- John Derrick, Unversity of Sheffield, UK;
- Jin Song Dong, National University of Singapore, Singapore;
- Kerstin Eder, University of Bristol, UK;
- John Fitzgerald, Newcastle University, UK;
- Andy Galloway, University of York, UK;
- Marieke Huisman, University of Twente, the Netherlands;
- Reiner Hähnle, Technical University of Darmstadt, Germany;
- Einar Broch Johnsen, University of Oslo, Norway;
- Peter Gorm Larsen, Aarhus University, Denmark;
- Diego Latella, ISTI-CNR, Pisa, Italy;
- Michael Leuschel, University of Duesseldorf, Germany;
- Shaoying Liu, Hosei University, Japan;
- Michele Loreti, University of Florence, Italy;
- Dominique Mery, LORIA and University of Lorraine, France;
- Stephan Merz, INRIA Lorraine, France;
- Richard Paige, University of York, UK;
- Luigia Petre, Åbo Akademi University, Finland;
- Kristin Yvonne Rozier, NASA Ames Research Center, USA;
- Philipp Ruemmer, Uppsala University, Sweden;
- Thomas Santen, European Microsoft Innovation Center, Germany;
- Ina Schaefer, Technical University of Braunschweig, Germany;
- Steve Schneider, University of Surrey, UK;
- Emil Sekerinski, McMaster University, Canada;
- Kaisa Sere, Abo Akademi University, Finland;
- Graeme Smith, University of Queensland, Australia;
- Colin Snook, University of Southampton, UK;
- Kenji Taguchi, AIST, Japan;
- Helen Treharne, University of Surrey, UK;
- Heike Wehrheim, University of Paderborn, Germany;
- Herbert Wiklicky, Imperial College, UK;
- Gianluigi Zavattaro, University of Bologna, Italy
**********************************************************************
This call for papers and additional information about the conference
can be found at http://www.it.abo.fi/iFM2013
For information regarding the conference you can contact:
ifm2013@abo.fi
--
Luigia Petre, Docent, PhD
Department of Information Technologies
Åbo Akademi University, Finland
www.users.abo.fi/lpetre
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-11-17
[Caml-list] Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop.
Apologies for any duplicates:
CALL FOR PARTICIPATION
SIGPLAN Programming Languages Mentoring Workshop, Rome
Tuesday January 22, 2013
Co-located with POPL 2013
PLMW web page: http://www.doc.ic.ac.uk/~gds/PLMW/index.html
After the resounding success of the first Programming Languages
Mentoring Workshop at POPL 2012, we proudly announce the 2nd SIGPLAN
Programming Languages Mentoring Workshop (PLMW), co-located with POPL
2013 and organised by Nate Foster, Philippa Gardner, Alan Schmitt,
Gareth Smith, Peter Thieman and Tobias Wrigstad.
The purpose of this mentoring workshop is to encourage graduate
students and senior undergraduate students to pursue careers in
programming language research. This workshop will provide technical
sessions on cutting-edge research in programming languages, and
mentoring sessions on how to prepare for a research career. We will
bring together leaders in programming language research from academia
and industry to give talks on their research areas. The workshop will
engage students in a process of imagining how they might contribute to
our research community.
We especially encourage women and underrepresented minority students
to attend PLMW. Since PLMW will be in Rome this year, we particularly
look forward to seeing Eastern European students at the workshop.
This workshop is part of the activities surrounding POPL, the
Symposium on Principles of Programming Languages, and takes place the
day before the main conference. One goal of the workshop is to make
the POPL conference more accessible to newcomers. We hope that
participants will stay through the entire conference, and will also
attend the POPL tutorials on Monday 21st January which are free to
PLMW registered attendees.
Through the generous donation of our sponsors, we are able to provide
scholarships to fund student participation. These scholarships will
cover reasonable expenses (airfare, hotel and registration fees) for
attendance at both the workshop and the POPL conference.
Students attending this year will get one year free student membership
of SIGPLAN
The workshop registration is open to all. Students with alternative
sources of funding are welcome.
APPLICATION for PLMW scholarship:
The scholarship application can be accessed from the workshop web site
(http://www.doc.ic.ac.uk/~gds/PLMW/index.html). The deadline for full
consideration of funding is 9th December, 2012. Selected participants
will be notified from Friday 14th December, and will need to register
for the workshop by December 24th.
SPONSORS:
Imperial College London
Jane Street
Monoidics
NSF
Resource Reasoning
SIGPLAN
vmware
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR PARTICIPATION
SIGPLAN Programming Languages Mentoring Workshop, Rome
Tuesday January 22, 2013
Co-located with POPL 2013
PLMW web page: http://www.doc.ic.ac.uk/~gds/PLMW/index.html
After the resounding success of the first Programming Languages
Mentoring Workshop at POPL 2012, we proudly announce the 2nd SIGPLAN
Programming Languages Mentoring Workshop (PLMW), co-located with POPL
2013 and organised by Nate Foster, Philippa Gardner, Alan Schmitt,
Gareth Smith, Peter Thieman and Tobias Wrigstad.
The purpose of this mentoring workshop is to encourage graduate
students and senior undergraduate students to pursue careers in
programming language research. This workshop will provide technical
sessions on cutting-edge research in programming languages, and
mentoring sessions on how to prepare for a research career. We will
bring together leaders in programming language research from academia
and industry to give talks on their research areas. The workshop will
engage students in a process of imagining how they might contribute to
our research community.
We especially encourage women and underrepresented minority students
to attend PLMW. Since PLMW will be in Rome this year, we particularly
look forward to seeing Eastern European students at the workshop.
This workshop is part of the activities surrounding POPL, the
Symposium on Principles of Programming Languages, and takes place the
day before the main conference. One goal of the workshop is to make
the POPL conference more accessible to newcomers. We hope that
participants will stay through the entire conference, and will also
attend the POPL tutorials on Monday 21st January which are free to
PLMW registered attendees.
Through the generous donation of our sponsors, we are able to provide
scholarships to fund student participation. These scholarships will
cover reasonable expenses (airfare, hotel and registration fees) for
attendance at both the workshop and the POPL conference.
Students attending this year will get one year free student membership
of SIGPLAN
The workshop registration is open to all. Students with alternative
sources of funding are welcome.
APPLICATION for PLMW scholarship:
The scholarship application can be accessed from the workshop web site
(http://www.doc.ic.ac.uk/~gds/PLMW/index.html). The deadline for full
consideration of funding is 9th December, 2012. Selected participants
will be notified from Friday 14th December, and will need to register
for the workshop by December 24th.
SPONSORS:
Imperial College London
Jane Street
Monoidics
NSF
Resource Reasoning
SIGPLAN
vmware
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-10-02
[Caml-list] PLPV 2013 Last Call for Papers
[The PLPV submission deadline is October 8. Do consider submitting! -François.]
The Seventh ACM SIGPLAN Workshop
on
Programming Languages meets Program Verification (PLPV 2013)
http://plpv.tcs.ifi.lmu.de/
22nd January, 2013
Rome, Italy
(Affiliated with POPL 2013)
Call for Papers
Overview
The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification, by
bringing together experts from diverse areas like types, contracts,
interactive theorem proving, model checking and program analysis. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic or structural
properties of the programming language. One example are dependently
typed programming languages, which leverage a language's type system
to specify and check rich specifications. Another example are
extended static checking systems which incorporate contracts with
either static or dynamic contract checking.
We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage interaction between different
communities, we seek a broad scope for PLPV. In particular,
submissions may have diverse foundations for verification (based on
types, Hoare-logic, abstract interpretation, etc), target
different kinds of programming languages (functional, imperative,
object-oriented, etc), and apply to diverse kinds of program
properties (data structure invariants, security properties, temporal
protocols, resource constraints, etc).
Important Dates
Submission 8th October, 2012 (Monday)
Notification 1st November, 2012 (Thursday)
Final Version 8th November, 2012 (Thursday)
Workshop 22nd January, 2013 (Tuesday)
Submissions
We seek submissions of up to 12 pages related to the above
topics; shorter submissions are also welcome. Submissions may describe
new work, propose new challenge problems for language-based
verification techniques, or present a known idea in an elegant way
(i.e., a pearl).
Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.
To submit a paper, access the online submission site at
http://www.easychair.org/conferences/?conf=plpv2013.
Publication
Accepted papers will be published by the ACM and will appear in the
ACM Digital library.
Program Committee
Andreas Abel Ludwig-Maximilians-University Munich (co-chair)
Robert Atkey University of Strathclyde
Harley Eades The University of Iowa
Chung-Kil Hur Max Planck Institute for Software Systems
Brigitte Pientka McGill University
Andrew Pitts University of Cambridge
François Pottier INRIA
Tim Sheard Portland State University (co-chair)
Makoto Takeyama Advanced Industrial Science and Technology
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
The Seventh ACM SIGPLAN Workshop
on
Programming Languages meets Program Verification (PLPV 2013)
http://plpv.tcs.ifi.lmu.de/
22nd January, 2013
Rome, Italy
(Affiliated with POPL 2013)
Call for Papers
Overview
The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification, by
bringing together experts from diverse areas like types, contracts,
interactive theorem proving, model checking and program analysis. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic or structural
properties of the programming language. One example are dependently
typed programming languages, which leverage a language's type system
to specify and check rich specifications. Another example are
extended static checking systems which incorporate contracts with
either static or dynamic contract checking.
We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage interaction between different
communities, we seek a broad scope for PLPV. In particular,
submissions may have diverse foundations for verification (based on
types, Hoare-logic, abstract interpretation, etc), target
different kinds of programming languages (functional, imperative,
object-oriented, etc), and apply to diverse kinds of program
properties (data structure invariants, security properties, temporal
protocols, resource constraints, etc).
Important Dates
Submission 8th October, 2012 (Monday)
Notification 1st November, 2012 (Thursday)
Final Version 8th November, 2012 (Thursday)
Workshop 22nd January, 2013 (Tuesday)
Submissions
We seek submissions of up to 12 pages related to the above
topics; shorter submissions are also welcome. Submissions may describe
new work, propose new challenge problems for language-based
verification techniques, or present a known idea in an elegant way
(i.e., a pearl).
Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.
To submit a paper, access the online submission site at
http://www.easychair.org/conferences/?conf=plpv2013.
Publication
Accepted papers will be published by the ACM and will appear in the
ACM Digital library.
Program Committee
Andreas Abel Ludwig-Maximilians-University Munich (co-chair)
Robert Atkey University of Strathclyde
Harley Eades The University of Iowa
Chung-Kil Hur Max Planck Institute for Software Systems
Brigitte Pientka McGill University
Andrew Pitts University of Cambridge
François Pottier INRIA
Tim Sheard Portland State University (co-chair)
Makoto Takeyama Advanced Industrial Science and Technology
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-09-26
[Caml-list] ESOP 2013 - Call for papers
Call for Papers
ESOP 2013: The European Symposium on Programming
http://www.ccs.neu.edu/esop2013/
Affiliated with ETAPS'13
Rome, Italy, 16-24 March 2013
DESCRIPTION AND TOPICS
ESOP is an annual conference devoted to fundamental issues in the
specification, design, analysis, and implementation of programming
languages and systems. ESOP seeks contributions on all aspects of
programming language research including, but not limited to, the
following areas:
* Programming paradigms and styles: functional programming,
object-oriented programming, aspect-oriented programming, logic
programming, constraint programming, extensible programming
languages, domain-specific languages, synchronous and real-time
programming languages;
* Methods and tools to write and specify programs and languages:
programming techniques, logical foundations, denotational
semantics, operational semantics, meta programming, module systems,
language-based security;
* Methods and tools for reasoning about programs: type systems,
abstract interpretation, program verification, testing;
* Methods and tools for implementation: program transformations,
rewriting systems, partial evaluation, experimental evaluations,
virtual machines, intermediate languages, run-time environments;
* Concurrency and distribution: process algebras, concurrency theory,
parallel programming, service-oriented computing, distributed and
mobile languages.
Contributions bridging the gap between theory and practice are particularly
welcome.
IMPORTANT DATES
7 October 2012: Submission deadline for abstracts
14 October 2012: Submission deadline for full papers
28 November 2012: Beginning of author response period
14 December 2012: Notification of decision
8 January 2013: Camera-ready versions due
16-24 March 2013: Presentations in Rome, Italy
INFORMATION
For additional information, point your browser at
http://www.ccs.neu.edu/esop2013/
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
ESOP 2013: The European Symposium on Programming
http://www.ccs.neu.edu/esop2013/
Affiliated with ETAPS'13
Rome, Italy, 16-24 March 2013
DESCRIPTION AND TOPICS
ESOP is an annual conference devoted to fundamental issues in the
specification, design, analysis, and implementation of programming
languages and systems. ESOP seeks contributions on all aspects of
programming language research including, but not limited to, the
following areas:
* Programming paradigms and styles: functional programming,
object-oriented programming, aspect-oriented programming, logic
programming, constraint programming, extensible programming
languages, domain-specific languages, synchronous and real-time
programming languages;
* Methods and tools to write and specify programs and languages:
programming techniques, logical foundations, denotational
semantics, operational semantics, meta programming, module systems,
language-based security;
* Methods and tools for reasoning about programs: type systems,
abstract interpretation, program verification, testing;
* Methods and tools for implementation: program transformations,
rewriting systems, partial evaluation, experimental evaluations,
virtual machines, intermediate languages, run-time environments;
* Concurrency and distribution: process algebras, concurrency theory,
parallel programming, service-oriented computing, distributed and
mobile languages.
Contributions bridging the gap between theory and practice are particularly
welcome.
IMPORTANT DATES
7 October 2012: Submission deadline for abstracts
14 October 2012: Submission deadline for full papers
28 November 2012: Beginning of author response period
14 December 2012: Notification of decision
8 January 2013: Camera-ready versions due
16-24 March 2013: Presentations in Rome, Italy
INFORMATION
For additional information, point your browser at
http://www.ccs.neu.edu/esop2013/
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-09-20
[Caml-list] call for papers: NFM 2013
==================================================================
5th NASA Formal Methods Symposium (NFM) 2013
NASA Ames Research Center
Moffett Field, CA, USA
May 14-16, 2013
http://ti.arc.nasa.gov/events/nfm-2013/
==================================================================
Theme of the Conference:
The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia, industry, and government, with the goals
of identifying challenges and providing solutions to achieving
assurance in mission- and safety-critical systems. Within NASA, for
example, such systems include autonomous robots, separation assurance
algorithms for aircraft, Next Generation Air Transportation (NextGen),
and autonomous rendezvous and docking for spacecraft. Moreover,
emerging paradigms such as code generation and safety cases are
bringing with them new challenges and opportunities. The focus of the
symposium will be on formal techniques, their theory, current
capabilities, and limitations, as well as their application to
aerospace, robotics, and other safety-critical systems.
We encourage submissions on cross-cutting approaches that bring
together formal methods and techniques from other domains such as
probabilistic reasoning, machine learning, control theory, robotics,
and quantum computing among others. Topics of Interest
Topics of Interest:
* Formal verification, including theorem proving, model checking,
and static analysis
* Techniques and algorithms for scaling formal methods, including
but not restricted to abstraction and symbolic methods,
compositional techniques, as well as parallel and distributed
techniques
* Use of formal methods in automated software engineering and
testing Model-based development
* Formal program synthesis
* Runtime monitoring and verification
* Formal approaches to fault tolerance
* Formal analysis of cyber-physical systems, including hybrid and
embedded systems
* Formal methods in systems engineering, modeling, requirements
and specifications
* Applications of formal methods to aerospace systems
* Use of formal methods in safety cases
* Use of formal methods in human-machine interaction analysis
* Formal methods for multi-core, GPU-based implementations
* Application of formal methods to emerging technologies, e.g.,
mobile applications, autonomous systems, web-based application
Important Dates
Dec 7, 2012 Paper Submission Deadline
Jan 28 - Feb 1, 2013 Rebuttal phase
Feb 15, 2013 Acceptance Notification
March 15, 2013 Camera-Ready Version Submission
May 13 - 16, 2013 NFM Symposium
Submission
There are two categories of submissions:
* Regular papers describing fully developed work and complete
results (15 pages).
* Short papers describing tools, experience reports, or
descriptions of work in progress with preliminary results (6
pages)
All papers should be in English and describe original work that has
not been published or submitted elsewhere. All submissions will be
fully reviewed by members of the program committee. Papers must use
Springer’s Lecture Notes in Computer Science (LNCS) style and be put
in PDF format, as the papers will appear as a volume in Lecture Notes
of Computer Science. Submissions are now open through easychair.
easychair.org/conferences/?conf=nfm2013
Registration:
NFM 2013 will be held at NASA Ames Research Center, Moffett Field, CA
on May 14 to 16, 2013. There will not be a registration fee charged to
participants. All interested individuals, including non-US citizens,
are welcome to attend, to listen to the talks, and to participate in
discussions; however, all attendees must register. Details coming soon
on Registration. Program Chairs
Chairs:
Guillaume Brat, CMU/NASA Ames Research Center, USA
Neha Rungta, SGT Inc/NASA Ames Research Center, USA
Arnaud Venet, CMU/NASA Ames Research Center, USA
Program Committee:
Julia Badger, NASA, USA
Thomas Ball, Microsoft Research, USA
Ricky Butler, NASA Langley Research Center, USA
Patrice Chalin, Kansas State University, USA
Darren Cofer, Rockwell Collins, USA
Radhia Cousot, CNRS/École Normale Supérieure, France
Leonardo De Moura, Microsoft Research, USA
Ewen Denney, SGT Inc./NASA Ames, USA
Ben Di Vito, NASA Langley Research Center, USA
Jim Disbrow, NASA, USA
Gilles Dowek, INRIA, France
Matt Dwyer, University of Nebraska, USA
Eric Feron, Georgia Institute of Technology, USA
Jean-Christophe Filliatre, CNRS, France
Kathleen Fisher, Tufts University, USA
Pierre-Loic Garoche, ONERA, France
Eric Goubault, CEA/Saclay, France
Orna Grumberg, Technion, Israel
Klaus Havelund, JPL, USA
Gerard Holzmann, JPL, USA
JoeHurd, Galois, Inc., USA
Ranjit Jhala, University of California, San Diego, USA
Hadas Kress-Gazit, Cornell University, USA
Daniel Kroening, Oxford University, UK
Tiziana Margaria, Univ. Potsdam, Germany
Célia Martinie, University Paul Sabatier, France
Eric Mercer, Brigham Young University, USA
Paul Miner, NASA Langley Research Center, USA
Cesar Munoz, NASA Langley Research Center, USA
Natasha Neogi, National Institute of Aerospace, USA
Ganesh Pai, SGT/NASA Ames Research Center, USA
Corina Pasareanu CMU/NASA Ames Research Center, USA
Charles Pecheur, UC Louvain, Belgium
Suzette Person, NASA Langley Research Center, USA
Franco Raimondi, Middlesex University, UK
John Regehr, University of Utah, USA
Kristin Yvonne Rozier, NASA Ames, USA
Sriram Sankaranarayanan, University of Colorado, USA
Stephen F. Siegel, University of Delaware, USA
Radu Siminiceanu, National Institute of Aerospace, USA
Henny Sipma, Kestrel Technology, France
Sarah Thompson, SGT Inc./NASA Ames Research Center, USA
Cesare Tinelli, University of Iowa, USA
Oksana Tkachuk, SGT Inc./NASA Ames Research Center, USA
Helmut Veith, Vienna University of Technology, Austria
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA
Virginie Wiels, ONERA/DTIM, France
Reinhard Wilhelm Saarland University, Germany
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
5th NASA Formal Methods Symposium (NFM) 2013
NASA Ames Research Center
Moffett Field, CA, USA
May 14-16, 2013
http://ti.arc.nasa.gov/events/nfm-2013/
==================================================================
Theme of the Conference:
The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia, industry, and government, with the goals
of identifying challenges and providing solutions to achieving
assurance in mission- and safety-critical systems. Within NASA, for
example, such systems include autonomous robots, separation assurance
algorithms for aircraft, Next Generation Air Transportation (NextGen),
and autonomous rendezvous and docking for spacecraft. Moreover,
emerging paradigms such as code generation and safety cases are
bringing with them new challenges and opportunities. The focus of the
symposium will be on formal techniques, their theory, current
capabilities, and limitations, as well as their application to
aerospace, robotics, and other safety-critical systems.
We encourage submissions on cross-cutting approaches that bring
together formal methods and techniques from other domains such as
probabilistic reasoning, machine learning, control theory, robotics,
and quantum computing among others. Topics of Interest
Topics of Interest:
* Formal verification, including theorem proving, model checking,
and static analysis
* Techniques and algorithms for scaling formal methods, including
but not restricted to abstraction and symbolic methods,
compositional techniques, as well as parallel and distributed
techniques
* Use of formal methods in automated software engineering and
testing Model-based development
* Formal program synthesis
* Runtime monitoring and verification
* Formal approaches to fault tolerance
* Formal analysis of cyber-physical systems, including hybrid and
embedded systems
* Formal methods in systems engineering, modeling, requirements
and specifications
* Applications of formal methods to aerospace systems
* Use of formal methods in safety cases
* Use of formal methods in human-machine interaction analysis
* Formal methods for multi-core, GPU-based implementations
* Application of formal methods to emerging technologies, e.g.,
mobile applications, autonomous systems, web-based application
Important Dates
Dec 7, 2012 Paper Submission Deadline
Jan 28 - Feb 1, 2013 Rebuttal phase
Feb 15, 2013 Acceptance Notification
March 15, 2013 Camera-Ready Version Submission
May 13 - 16, 2013 NFM Symposium
Submission
There are two categories of submissions:
* Regular papers describing fully developed work and complete
results (15 pages).
* Short papers describing tools, experience reports, or
descriptions of work in progress with preliminary results (6
pages)
All papers should be in English and describe original work that has
not been published or submitted elsewhere. All submissions will be
fully reviewed by members of the program committee. Papers must use
Springer’s Lecture Notes in Computer Science (LNCS) style and be put
in PDF format, as the papers will appear as a volume in Lecture Notes
of Computer Science. Submissions are now open through easychair.
easychair.org/conferences/?conf=nfm2013
Registration:
NFM 2013 will be held at NASA Ames Research Center, Moffett Field, CA
on May 14 to 16, 2013. There will not be a registration fee charged to
participants. All interested individuals, including non-US citizens,
are welcome to attend, to listen to the talks, and to participate in
discussions; however, all attendees must register. Details coming soon
on Registration. Program Chairs
Chairs:
Guillaume Brat, CMU/NASA Ames Research Center, USA
Neha Rungta, SGT Inc/NASA Ames Research Center, USA
Arnaud Venet, CMU/NASA Ames Research Center, USA
Program Committee:
Julia Badger, NASA, USA
Thomas Ball, Microsoft Research, USA
Ricky Butler, NASA Langley Research Center, USA
Patrice Chalin, Kansas State University, USA
Darren Cofer, Rockwell Collins, USA
Radhia Cousot, CNRS/École Normale Supérieure, France
Leonardo De Moura, Microsoft Research, USA
Ewen Denney, SGT Inc./NASA Ames, USA
Ben Di Vito, NASA Langley Research Center, USA
Jim Disbrow, NASA, USA
Gilles Dowek, INRIA, France
Matt Dwyer, University of Nebraska, USA
Eric Feron, Georgia Institute of Technology, USA
Jean-Christophe Filliatre, CNRS, France
Kathleen Fisher, Tufts University, USA
Pierre-Loic Garoche, ONERA, France
Eric Goubault, CEA/Saclay, France
Orna Grumberg, Technion, Israel
Klaus Havelund, JPL, USA
Gerard Holzmann, JPL, USA
JoeHurd, Galois, Inc., USA
Ranjit Jhala, University of California, San Diego, USA
Hadas Kress-Gazit, Cornell University, USA
Daniel Kroening, Oxford University, UK
Tiziana Margaria, Univ. Potsdam, Germany
Célia Martinie, University Paul Sabatier, France
Eric Mercer, Brigham Young University, USA
Paul Miner, NASA Langley Research Center, USA
Cesar Munoz, NASA Langley Research Center, USA
Natasha Neogi, National Institute of Aerospace, USA
Ganesh Pai, SGT/NASA Ames Research Center, USA
Corina Pasareanu CMU/NASA Ames Research Center, USA
Charles Pecheur, UC Louvain, Belgium
Suzette Person, NASA Langley Research Center, USA
Franco Raimondi, Middlesex University, UK
John Regehr, University of Utah, USA
Kristin Yvonne Rozier, NASA Ames, USA
Sriram Sankaranarayanan, University of Colorado, USA
Stephen F. Siegel, University of Delaware, USA
Radu Siminiceanu, National Institute of Aerospace, USA
Henny Sipma, Kestrel Technology, France
Sarah Thompson, SGT Inc./NASA Ames Research Center, USA
Cesare Tinelli, University of Iowa, USA
Oksana Tkachuk, SGT Inc./NASA Ames Research Center, USA
Helmut Veith, Vienna University of Technology, Austria
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA
Virginie Wiels, ONERA/DTIM, France
Reinhard Wilhelm Saarland University, Germany
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-09-07
[Caml-list] FMCAD'2012: Preliminary Call For Participation
==================================
CALL FOR PARTICIPATION: FMCAD 2012
==================================
Dear colleague,
We put together a very interesting program for FMCAD'12!
http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/
Please register soon. Early registration ends on September 30!
(see http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/registration.html).
FMCAD'12 takes place from October 22 through 25 at Microsoft Research Cambridge, UK
Beside presentations of 25 accepted papers, we have
* A keynote by Turing Award Winner Tony Hoare (Microsoft)
on "Algebra of Concurrent Design"
* An industrial panel organized by Maher Mneimneh (Atrenta),
on "Model Checking in the Cloud"
* The fifth Hardware Model Checking Competition (HWMCC'12),
organized by Armin Biere (Johannes Kepler University Linz)
* and last but not least four tutorials, organized by Rolf Drechsler (University of Bremen), presented by:
Jasmin Fisher (Microsoft), on "From Theory to Lab Experiments by Formal Verification"
Torsten Schaub (University of Potsdam), on "Answer Set Programming"
Eric Feron (Georgia Tech), on "Formal Methods in Avionics"
Alessandro Cimatti (Fondazione Bruno Kessler) on "Application of SMT Solvers to Hybrid System Verification"
Note again that early registration ends on September 30.
We hope to see you in Cambridge!
Regards,
Gianpiero Cabodi and Satnam Singh (co-chairs)
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR PARTICIPATION: FMCAD 2012
==================================
Dear colleague,
We put together a very interesting program for FMCAD'12!
http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/
Please register soon. Early registration ends on September 30!
(see http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/registration.html).
FMCAD'12 takes place from October 22 through 25 at Microsoft Research Cambridge, UK
Beside presentations of 25 accepted papers, we have
* A keynote by Turing Award Winner Tony Hoare (Microsoft)
on "Algebra of Concurrent Design"
* An industrial panel organized by Maher Mneimneh (Atrenta),
on "Model Checking in the Cloud"
* The fifth Hardware Model Checking Competition (HWMCC'12),
organized by Armin Biere (Johannes Kepler University Linz)
* and last but not least four tutorials, organized by Rolf Drechsler (University of Bremen), presented by:
Jasmin Fisher (Microsoft), on "From Theory to Lab Experiments by Formal Verification"
Torsten Schaub (University of Potsdam), on "Answer Set Programming"
Eric Feron (Georgia Tech), on "Formal Methods in Avionics"
Alessandro Cimatti (Fondazione Bruno Kessler) on "Application of SMT Solvers to Hybrid System Verification"
Note again that early registration ends on September 30.
We hope to see you in Cambridge!
Regards,
Gianpiero Cabodi and Satnam Singh (co-chairs)
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-08-09
[Caml-list] CUFP 2012 - Call for Participation
Early registration deadline is TODAY. Please note this year CUFP features Introductory Tutorials, targeted at those new to functional programming. Be sure to refer your colleagues who have been looking for a way to get started with FP. The usual half-day tutorials are also being held, and this list will especially be interested in Real-World OCaml.
-----
COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2012CUFP 2012
http://cufp.org/conference
CALL FOR PARTICIPATION
Copenhagen, Denmark
Sep 13-15
Co-located with ICFP 2012
Sponsored by SIGPLAN
Functional programming has been at the forefront of a new generation
of programming technologies: Companies employing functional
programming use it to enable more effective, robust, and flexible
software development.
The annual CUFP workshop is designed to serve the growing
community of commercial users of functional programming: Practitioners
meet and collaborate; language designers and users can share ideas
about the future of their languages; experts share their expertise on
practical functional programming.
CUFP 2012 features introductory tutorials by top-notch language
experts; advanced tutorials on special topics, and the final day of
talks about industrial applications of functional programming.
More information about CUFP 2012 is available on the CUFP web site at
http://cufp.org/
Registration is via the ICFP 2012 web site at:
http://icfpconference.org/icfp2012/registration.html
Note that early-registration discounts are available until August 9.
Introductory Tutorials
======================
Thursday, September 13:
Scala Primer
(Heiko Seeberger, Typesafe)
Friday, September 14:
From functional concepts to real-world F#
(Tomas Petricek, University of Cambridge)
September 13 / 14:
Introductory Haskell / Concurrent Haskell
(Jeremy Gibbons, University of Oxford; Simon Marlow, Microsoft Research)
Advanced Tutorials
==================
Thursday, September 13:
Morning:
Real-World OCaml
(Anil Madhavapeddy, University of Cambridge; Yaron Minsky, Jane Street)
Afternoon:
Erlang web frameworks
(Steve Vinoski, Basho Technologies)
Friday, September 14:
Morning:
Haskell for the lazy web developer: an Introduction to Happstack
(Jeremy Shaw, SeeReason, LLC)
Afternoon:
Hands on Real-World Clojure
(Lau Jensen, Best In Class; Karl Krukow , University of Aarhus)
Talks
=====
Keynote:
Adopting Functional Programming (Kresten Krab Thorup, Trifork)
Jane Street Status Report (Yaron Minsky, Jane Street)
Transmitting customised ads to set-top boxes with Erlang (Laura M. Castro, University of A Coruña)
Functional Big-Data Genomics (Ashish Agarwal, NYU)
Using F# to Prove Stabilization of Biological Networks (Semin Ishtiaq, Microsoft)
Developing an F# Bioinformatics Application with HTML5 Visualization (Adam Granicz, IntelliFactory)
Functional Programming @ Ghent IT Valley (Romain Slootmaekers, Nicolas Trangez, Ghent IT Valley)
The Awesome Haskell FPGA Compiler (Peter Braam, Parallel Scientific)
Functional programs connected to the power grid (Sebastian Egner, Entelios)
Clojure iPad analytics dashboard in energy sector (Kevin Lynagh, Keming Labs)
Developing Medical Software in Scala and Haskell (Stefan Wehr, factis research)
From Streams to Functions (and Back Again) (Frank McCabe, Starview)
Development under Security Guidelines (Manuel Maarek, SafeRiver)
Haskell for XenClient (Matthias Görgens, Citrix)
2012-08-01
[Caml-list] WGP 2012 Call for Participation
Dear Camlers,
Here is the Call for Participation for WGP.
This year some presentations use OCaml :-)
Jacques Garrigue
======================================================================
CALL FOR PARTICIPATION
WGP 2012
8th ACM SIGPLAN Workshop on Generic Programming
Copenhagen, Denmark
Sunday, September 9th, 2012
http://www.wgp-sigplan.org/2012
Co-located with the
International Conference on Functional Programming (ICFP 2012)
======================================================================
Goals of the workshop
---------------------
Generic programming is about making programs more adaptable by making
them more general. Generic programs often embody non-traditional kinds
of polymorphism; ordinary programs are obtained from them by suitably
instantiating their parameters. In contrast with normal programs, the
parameters of a generic program are often quite rich in structure; for
example they may be other programs, types or type constructors, class
hierarchies, or even programming paradigms.
Generic programming techniques have always been of interest, both to
practitioners and to theoreticians, and, for at least 20 years,
generic programming techniques have been a specific focus of research
in the functional and object-oriented programming communities. Generic
programming has gradually spread to more and more mainstream
languages, and today is widely used in industry. This workshop brings
together leading researchers and practitioners in generic programming
from around the world, and features papers capturing the state of the
art in this important area.
Accepted papers and preliminary schedule:
-----------------------------------------
09:00 Welcome
09:10 Nicolas Frisby, Andy Gill and Perry Alexander.
A Pattern for Almost Homomorphic Functions
09:50 José Pedro Magalhães. The Right Kind of Generic Programming
10:30 Break
11:00 Jaakko Järvi, Magne Haveraaen, John Freeman and Mat Marcus.
Expressing Multi-Way Data-Flow Constraint Systems as a Commutative
Monoid Makes Many of their Properties Obvious
11:40 Seyed Hossein Haeri, Sibylle Schupp and Jonathan Hüser.
Using Functional Languages to Facilitate C++ Metaprogramming
12:20 Lunch
14:00 Sam Lindley. Embedding F
14:40 Steven Keuchel and Johan T. Jeuring.
Generic conversions of abstract syntax representations
15:20 Break
16:00 Ralf Hinze, Daniel James, Thomas Harper, Nicolas Wu and
José Pedro Magalhães. Sorting with Bialgebras and Distributive Laws
16:40 Discussion
17:30 End
See also: http://www.wgp-sigplan.org/2012
REGISTRATION IS NOW OPEN:
-------------------------
* http://www.icfpconference.org/icfp2012/registration.html
* EARLY REGISTRATION DEADLINE: 9th August, 2012
Local arrangements (including travel and accommodation):
--------------------------------------------------------
* http://www.icfpconference.org/icfp2012/local.html
Andres Löh and Ronald Garcia
WGP 2012 Program Co-Chairs
--------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Here is the Call for Participation for WGP.
This year some presentations use OCaml :-)
Jacques Garrigue
======================================================================
CALL FOR PARTICIPATION
WGP 2012
8th ACM SIGPLAN Workshop on Generic Programming
Copenhagen, Denmark
Sunday, September 9th, 2012
http://www.wgp-sigplan.org/2012
Co-located with the
International Conference on Functional Programming (ICFP 2012)
======================================================================
Goals of the workshop
---------------------
Generic programming is about making programs more adaptable by making
them more general. Generic programs often embody non-traditional kinds
of polymorphism; ordinary programs are obtained from them by suitably
instantiating their parameters. In contrast with normal programs, the
parameters of a generic program are often quite rich in structure; for
example they may be other programs, types or type constructors, class
hierarchies, or even programming paradigms.
Generic programming techniques have always been of interest, both to
practitioners and to theoreticians, and, for at least 20 years,
generic programming techniques have been a specific focus of research
in the functional and object-oriented programming communities. Generic
programming has gradually spread to more and more mainstream
languages, and today is widely used in industry. This workshop brings
together leading researchers and practitioners in generic programming
from around the world, and features papers capturing the state of the
art in this important area.
Accepted papers and preliminary schedule:
-----------------------------------------
09:00 Welcome
09:10 Nicolas Frisby, Andy Gill and Perry Alexander.
A Pattern for Almost Homomorphic Functions
09:50 José Pedro Magalhães. The Right Kind of Generic Programming
10:30 Break
11:00 Jaakko Järvi, Magne Haveraaen, John Freeman and Mat Marcus.
Expressing Multi-Way Data-Flow Constraint Systems as a Commutative
Monoid Makes Many of their Properties Obvious
11:40 Seyed Hossein Haeri, Sibylle Schupp and Jonathan Hüser.
Using Functional Languages to Facilitate C++ Metaprogramming
12:20 Lunch
14:00 Sam Lindley. Embedding F
14:40 Steven Keuchel and Johan T. Jeuring.
Generic conversions of abstract syntax representations
15:20 Break
16:00 Ralf Hinze, Daniel James, Thomas Harper, Nicolas Wu and
José Pedro Magalhães. Sorting with Bialgebras and Distributive Laws
16:40 Discussion
17:30 End
See also: http://www.wgp-sigplan.org/2012
REGISTRATION IS NOW OPEN:
-------------------------
* http://www.icfpconference.org/icfp2012/registration.html
* EARLY REGISTRATION DEADLINE: 9th August, 2012
Local arrangements (including travel and accommodation):
--------------------------------------------------------
* http://www.icfpconference.org/icfp2012/local.html
Andres Löh and Ronald Garcia
WGP 2012 Program Co-Chairs
--------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-07-31
Re: [Caml-list] OUD - call for participation
Dear OCaml users,
We have now updated the OUD website with the abstracts of all the
speakers: http://oud.ocaml.org/2012/#schedule
As a reminder, early registration is on August 9th, so be sure to
register soon. All of the student applications will receive a
response shortly, so thank you for all the applications.
There is a lot going on during the week of ICFP in addition to the
OCaml workshop, and you might want to also attend some of the other
events that are co-located (including the ML workshop the day before).
I have written an overview of the week here:
http://anil.recoil.org/2012/07/31/the-functional-week.html
We had a lot of fun last year in Japan, and I hope to see you all
in Copenhagen in September for an equally memorable get-together!
Feel free to contact myself or Didier with any queries.
-anil
On 13 Jul 2012, at 15:14, Didier Remy <Didier.Remy@inria.fr> wrote:
>
> OCAML USERS AND DEVELOPERS WORKSHOP (OUD)
>
> http://oud.ocaml.org
>
> CALL FOR PARTICIPATION
>
> Copenhagen, Denmark
>
> Fri, Sep 14th, 2012
>
> Co-located with ICFP
>
> Sponsored by SIGPLAN and the OCaml Consortium
>
>
> This year, the OCaml Meeting is renamed the OCaml Users and Developers
> workshop (OUD), and is colocated with ICFP in Copenhagen, Denmark. It
> will be held on Friday September 14, after the ML workshop (Thu 13)
> and before the Commercial Users of Functional Programming (Sat 15).
>
> The OCaml Users and Developers Workshop will bring together industrial
> users of OCaml with academics and hackers who are working on extending the
> language, type system and tools. Discussion will focus on the practical
> aspects of OCaml programming and the nitty gritty of the tool-chain and
> upcoming improvements and changes.
>
> The program is available at http://oud.ocaml.org/2012/#program
>
> ----------------
>
> Please, register to OUD via the ICFP conference registration site at
> http://icfpconference.org/icfp2012/registration.html and don't miss the
> early registration deadline on *August 1st*!
>
> There is some support for students to travel to ICFP as well as specific
> support for OUD. See http://icfpconference.org/icfp2012/students.html
>
> See the OUD homepage http://oud.ocaml.org for more information.
> If you have any other questions, please e-mail us:
>
> Didier Remy <didier.remy@inria.fr>
> Anil Madhavapeddy <avsm2@cl.cam.ac.uk>
>
>
>
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
We have now updated the OUD website with the abstracts of all the
speakers: http://oud.ocaml.org/2012/#schedule
As a reminder, early registration is on August 9th, so be sure to
register soon. All of the student applications will receive a
response shortly, so thank you for all the applications.
There is a lot going on during the week of ICFP in addition to the
OCaml workshop, and you might want to also attend some of the other
events that are co-located (including the ML workshop the day before).
I have written an overview of the week here:
http://anil.recoil.org/2012/07/31/the-functional-week.html
We had a lot of fun last year in Japan, and I hope to see you all
in Copenhagen in September for an equally memorable get-together!
Feel free to contact myself or Didier with any queries.
-anil
On 13 Jul 2012, at 15:14, Didier Remy <Didier.Remy@inria.fr> wrote:
>
> OCAML USERS AND DEVELOPERS WORKSHOP (OUD)
>
> http://oud.ocaml.org
>
> CALL FOR PARTICIPATION
>
> Copenhagen, Denmark
>
> Fri, Sep 14th, 2012
>
> Co-located with ICFP
>
> Sponsored by SIGPLAN and the OCaml Consortium
>
>
> This year, the OCaml Meeting is renamed the OCaml Users and Developers
> workshop (OUD), and is colocated with ICFP in Copenhagen, Denmark. It
> will be held on Friday September 14, after the ML workshop (Thu 13)
> and before the Commercial Users of Functional Programming (Sat 15).
>
> The OCaml Users and Developers Workshop will bring together industrial
> users of OCaml with academics and hackers who are working on extending the
> language, type system and tools. Discussion will focus on the practical
> aspects of OCaml programming and the nitty gritty of the tool-chain and
> upcoming improvements and changes.
>
> The program is available at http://oud.ocaml.org/2012/#program
>
> ----------------
>
> Please, register to OUD via the ICFP conference registration site at
> http://icfpconference.org/icfp2012/registration.html and don't miss the
> early registration deadline on *August 1st*!
>
> There is some support for students to travel to ICFP as well as specific
> support for OUD. See http://icfpconference.org/icfp2012/students.html
>
> See the OUD homepage http://oud.ocaml.org for more information.
> If you have any other questions, please e-mail us:
>
> Didier Remy <didier.remy@inria.fr>
> Anil Madhavapeddy <avsm2@cl.cam.ac.uk>
>
>
>
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-07-25
[Caml-list] PLPV 2013 First Call for Papers
The Seventh ACM SIGPLAN Workshop
on
Programming Languages meets Program Verification (PLPV 2013)
http://plpv.tcs.ifi.lmu.de/
22nd January, 2013
Rome, Italy
(Affiliated with POPL 2013)
Call for Papers
Overview
The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification, by
bringing together experts from diverse areas like types, contracts,
interactive theorem proving, model checking and program analysis. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic or structural
properties of the programming language. One example are dependently
typed programming languages, which leverage a language's type system
to specify and check rich specifications. Another example are
extended static checking systems which incorporate contracts with
either static or dynamic contract checking.
We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage interaction between different
communities, we seek a broad scope for PLPV. In particular,
submissions may have diverse foundations for verification (based on
types, Hoare-logic, abstract interpretation, etc), target
different kinds of programming languages (functional, imperative,
object-oriented, etc), and apply to diverse kinds of program
properties (data structure invariants, security properties, temporal
protocols, resource constraints, etc).
Important Dates
Submission 8th October, 2012 (Monday)
Notification 1st November, 2012 (Thursday)
Final Version 8th November, 2012 (Thursday)
Workshop 22nd January, 2013 (Tuesday)
Submissions
We seek submissions of up to 12 pages related to the above
topics; shorter submissions are also welcome. Submissions may describe
new work, propose new challenge problems for language-based
verification techniques, or present a known idea in an elegant way
(i.e., a pearl).
Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.
To submit a paper, access the online submission site at
http://www.easychair.org/conferences/?conf=plpv2013.
Publication
Accepted papers will be published by the ACM and will appear in the
ACM Digital library.
Program Committee
Andreas Abel Ludwig-Maximilians-University Munich (co-chair)
Robert Atkey University of Strathclyde
Harley Eades The University of Iowa
Chung-Kil Hur Max Planck Institute for Software Systems
Brigitte Pientka McGill University
Andrew Pitts University of Cambridge
François Pottier INRIA
Tim Sheard Portland State University (co-chair)
Makoto Takeyama Advanced Industrial Science and Technology
--
François Pottier
Francois.Pottier@inria.fr
http://gallium.inria.fr/~fpottier/
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
on
Programming Languages meets Program Verification (PLPV 2013)
http://plpv.tcs.ifi.lmu.de/
22nd January, 2013
Rome, Italy
(Affiliated with POPL 2013)
Call for Papers
Overview
The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification, by
bringing together experts from diverse areas like types, contracts,
interactive theorem proving, model checking and program analysis. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic or structural
properties of the programming language. One example are dependently
typed programming languages, which leverage a language's type system
to specify and check rich specifications. Another example are
extended static checking systems which incorporate contracts with
either static or dynamic contract checking.
We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage interaction between different
communities, we seek a broad scope for PLPV. In particular,
submissions may have diverse foundations for verification (based on
types, Hoare-logic, abstract interpretation, etc), target
different kinds of programming languages (functional, imperative,
object-oriented, etc), and apply to diverse kinds of program
properties (data structure invariants, security properties, temporal
protocols, resource constraints, etc).
Important Dates
Submission 8th October, 2012 (Monday)
Notification 1st November, 2012 (Thursday)
Final Version 8th November, 2012 (Thursday)
Workshop 22nd January, 2013 (Tuesday)
Submissions
We seek submissions of up to 12 pages related to the above
topics; shorter submissions are also welcome. Submissions may describe
new work, propose new challenge problems for language-based
verification techniques, or present a known idea in an elegant way
(i.e., a pearl).
Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.
To submit a paper, access the online submission site at
http://www.easychair.org/conferences/?conf=plpv2013.
Publication
Accepted papers will be published by the ACM and will appear in the
ACM Digital library.
Program Committee
Andreas Abel Ludwig-Maximilians-University Munich (co-chair)
Robert Atkey University of Strathclyde
Harley Eades The University of Iowa
Chung-Kil Hur Max Planck Institute for Software Systems
Brigitte Pientka McGill University
Andrew Pitts University of Cambridge
François Pottier INRIA
Tim Sheard Portland State University (co-chair)
Makoto Takeyama Advanced Industrial Science and Technology
--
François Pottier
Francois.Pottier@inria.fr
http://gallium.inria.fr/~fpottier/
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-07-23
[Caml-list] ML workshop 2012: call for participation
=======================================================================
CALL FOR PARTICIPATION
ACM SIGPLAN Workshop on ML
Thursday, September 13, 2012, Copenhagen, Denmark
(co-located with ICFP)
http://www.lexifi.com/ml2012
=======================================================================
The ML workshop is the annual event where users, developers and
researchers of ML languages (SML, OCaml, F#) can interact and discuss
ongoing research, open problems and innovative applications.
ML2012 will be held in Copenhagen on September 13, just after the ICFP
conference, and close to other exciting events, like OUD (OCaml Users
and Developers), CUFP (Commercial users of Functional Programming),
and more.
Program:
http://www.lexifi.com/ml2012
Registration (early registration deadline: August 9!):
http://icfpconference.org/icfp2012/registration.html
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR PARTICIPATION
ACM SIGPLAN Workshop on ML
Thursday, September 13, 2012, Copenhagen, Denmark
(co-located with ICFP)
http://www.lexifi.com/ml2012
=======================================================================
The ML workshop is the annual event where users, developers and
researchers of ML languages (SML, OCaml, F#) can interact and discuss
ongoing research, open problems and innovative applications.
ML2012 will be held in Copenhagen on September 13, just after the ICFP
conference, and close to other exciting events, like OUD (OCaml Users
and Developers), CUFP (Commercial users of Functional Programming),
and more.
Program:
http://www.lexifi.com/ml2012
Registration (early registration deadline: August 9!):
http://icfpconference.org/icfp2012/registration.html
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)