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
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)