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
2012-11-17
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
Subscribe to:
Posts (Atom)