************************************************************************
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
Subscribe to:
Posts (Atom)