Call for Papers
===============
16th International Symposium on
Practical Aspects of Declarative Languages (PADL 2014)
http://www.ist.unomaha.edu/padl2014
San Diego, California, USA, January 20-21, 2014
Co-located with ACM POPL'14
Conference Description
======================
Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages
have been successfully applied to many different real-world situations,
ranging from data base management to active networks to software engineering
to decision support systems.
New developments in theory and implementation have opened up new
application areas. At the same time, applications of declarative languages
to novel problems raise numerous interesting research issues. Well-known
questions include designing for scalability, language extensions for
application deployment, and programming environments. Thus, applications
drive the progress in the theory and implementation of declarative
systems, and benefit from this progress as well.
PADL is a forum for researchers and practitioners to present original
work emphasizing novel applications and implementation techniques
for all forms of declarative concepts, including, functional, logic,
constraints, etc. Topics of interest include, but are not limited to:
* Innovative applications of declarative languages
* Declarative domain-specific languages and applications
* Practical applications of theoretical results
* New language developments and their impact on applications
* Declarative languages and Software Engineering
* Evaluation of implementation techniques on practical applications
* Practical experiences and industrial applications
* Novel uses of declarative languages in the classroom
* Practical extensions such as constraint-based, probabilistic, and
reactive languages.
PADL'14 welcomes new ideas and approaches pertaining to applications
and implementation of declarative languages. In this occasion
PADL is co-located, as traditionally, with ACM POPL, which will be held
immediately following PADL. The symposium will be held in San Diego,
California, USA.
Important Dates and Submission Guidelines
=========================================
Abstract Submission: September 6, 2013
Paper Submission: September 13, 2013
Notification: October 21, 2013
Camera-ready: November 10, 2013
Symposium: January 20-21, 2014
Authors should submit an electronic copy of the full paper in PDF
using the Springer LNCS format. The submission will be done through
EasyChair conference system. If electronic submission is impossible,
please contact the program chairs for information on how to submit
hard copies. All submissions must be original work written in
English. Submissions must be unpublished and not submitted for
publication elsewhere. Work that already appeared in unpublished or
informally published workshops proceedings may be submitted. PADL'14
will accept both technical and application papers:
* Technical papers must describe original, previously unpublished
research results. Technical papers must not exceed 16 pages in
Springer LNCS format.
* Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or
in areas of research other than Computer Science. Application
papers will be published in the Springer-Verlag conference
proceedings, and will be presented in a separate session.
Application papers are expected to describe complex and/or
real-world applications that rely on an innovative use of
declarative languages. Application descriptions, engineering
solutions and real-world experiences (both positive and negative)
are solicited. The limit for application papers is 6 pages in
Springer LNCS format.
Program Committee
=================
Matthew Flatt (co-chair), University of Utah, USA
Ronald Garcia, University of British Columbia, Canada
Hai-Feng Guo (co-chair), University of Nebraska at Omaha, USA
Manuel Hermenegildo, Technical University of Madrid, Spain
Joohyung Lee, Arizona State University, USA
Yuliya Lierler, University of Nebraska at Omaha, USA
Sam Lindley, University of Edinburgh, UK
Leaf Petersen, Intel, USA
Rinus Plasmeijer, Radboud University Nijmegen, Netherlands
C.R. Ramakrishnan, Stony Brook University, USA
Sukyoung Ryu, Advanced Institute of Science and Technology, Korea
Manuel Serrano, INRIA Sophia-Antipolis, France
Yi-Dong Shen, Chinese Academy of Sciences, China
Tran Cao Son, New Mexico State University, USA
Peter Stuckey, University of Melbourne, Australia
Peter Thiemann, University of Freiburg, Germany
Hans Tompits, Vienna University of Technology, Austria
Aaron Turon, Max Plank Institute, Germany
David Van Horn, Northeastern University, USA
German Vidal, Technical University of Valencia, Spain
Contacts
========
For additional information about papers and submissions, please
contact the Program Chairs:
Matthew Flatt
School of Computing, University of Utah
Email: mflatt <AT> cs <DOT> utah <DOT> edu
Hai-Feng Guo
Department of Computer Science, University of Nebraska at Omaha
Email: haifengguo <AT> unomaha <DOT> edu
With the Cooperation of
=======================
The Association for Logic Programming (ALP)
ACM SIGPLAN
===================================
--
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
2013-07-24
[Caml-list] TACAS 2014 call for papers
============================================================
CALL FOR PAPERS
TACAS 2014
An ETAPS Member Conference
20th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems
http://www.etaps.org/2014/tacas
Abstract Submission: 4 October 2013
Paper Submission: 11 October 2013
Author Notification: 20 December 2013
=============================================================
TACAS is a forum for researchers, developers and users interested in
rigorously based tools and algorithms for the construction and
analysis of systems. The conference serves to bridge the gaps between
different communities with this common interest and to support them
in their quest to improve the utility, reliability, flexibility and
efficiency of tools and algorithms for building systems.
Theoretical papers with clear relevance for tool construction and
analysis, as well as tool descriptions and case studies with a
conceptual message, are all encouraged. The topics covered by the
conference include, but are not limited to:
- Specification and verification techniques
- Software and hardware verification
- Analytical techniques for real-time, hybrid, or stochastic systems
- Analytical techniques for safety, security, or dependability
- Model checking
- Theorem proving
- SAT and SMT solvers
- Static and dynamic program analysis
- Testing
- Abstraction techniques for modeling and verification
- Compositional and refinement-based methodologies
- System construction and transformation techniques
- Tool environments and tool architectures
- Applications and case studies
=== Paper categories: ===
TACAS accepts four types of submissions: research papers, case study
papers, regular tool papers, and tool demonstration papers.
- Research papers clearly identify and justify a principled advance
to the theoretical foundations for the construction and analysis of
systems and, where applicable, are supported by experimental
validation. Research papers can have a maximum of 15 pages.
- Case study papers report on case studies (preferably in a "real
life" setting). They should provide information about the following
aspects: the system being studied and why it is of interest, the
goals of the study, the challenges the system poses to automated
analysis, research methodologies and the approach used, the degree to
which goals were attained, and how the results can be generalized to
other problems and domains. Case study papers can have a maximum of
15 pages.
- Regular tool papers present a new tool, a new tool component, or
novel extensions to an existing tool. They should provide a short
description of the theoretical foundations with relevant citations,
and emphasize the design and implementation concerns including
software architecture and core data structures. A regular tool paper
should give a clear account of the tool's functionality, discuss the
tool's practical capabilities with reference to the type and size of
problems it can handle, experience with realistic case studies, and
where applicable, provide a rigorous experimental evaluation. Papers
that present extensions to existing tools should clearly focus on the
improvements or extensions with respect to previously published
versions of the tool, preferably substantiated by data on
enhancements in terms of resources and capabilities. We strongly
suggest authors make their tools available via the web, even if only
for the evaluation process. Tool papers can have a maximum of 15
pages.
- Tool demonstration papers focus on the usage aspects of tools. The
described tools must be publicly available. Theoretical foundations
and experimental evaluation are not required, however, a motivation
as to why the tool is interesting and significant should be provided.
Tool demonstration papers can have a maximum of 6 pages. They should
have an appendix of up to 6 additional pages with details on the
actual demonstration.
The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's Lecture
Notes in Computer Science series. Papers of all four types will
appear in the proceedings and have presentations during the
conference.
=== Submission: ===
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting unpublished research
not submitted for publication elsewhere. In particular, simultaneous
submission of the same contribution to multiple ETAPS conferences is
forbidden. Papers must follow the formatting guidelines specified by
Springer at the URL: http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through Easychair:
https://www.easychair.org/account/signin.cgi?conf=tacas2014.
Submissions not adhering to the specified format and length may be
rejected immediately.
=== Competition on Software Verification: ===
TACAS 2014 hosts the third competition on software verification with
the goal to evaluate technology transfer and compare state-of-the-art
software verifiers with respect to effectiveness and efficiency. More
information can be found on the competition website:
http://sv-comp.sosy-lab.org/2014.
=== Invited Speaker: ===
Orna Kupferman (Hebrew University Jerusalem, Israel)
=== Programme Chairs: ===
Erika Ábrahám (RWTH Aachen University, Germany)
Klaus Havelund (NASA JPL, USA)
=== Tool Chair: ===
Nikolaj Bjørner (Microsoft Research, USA)
=== Programme Committee: ===
Christel Baier (Technical University of Dresden, Germany)
Saddek Bensalem (VERIMAG/UJF, France)
Nathalie Bertrand (IRISA Rennes, France)
Armin Biere (Johannes Kepler University, Austria)
Nikolaj Bjørner (Microsoft Research, USA)
Rance Cleaveland (University of Maryland, USA)
Alessandro Cimatti (Fondazione Bruno Kessler, Italy)
Cindy Eisner (IBM Research Haifa, Israel)
Martin Fränzle (Carl von Ossietzky University Oldenburg, Germany)
Patrice Godefroid (Microsoft Research, Redmond, USA)
Susanne Graf (Verimag, France)
Orna Grumberg (Technion, Israel)
Boudewijn Haverkort (University of Twente, the Netherlands)
Gerard Holzmann (NASA JPL, USA)
Barbara Jobstmann (CNRS, Verimag, France)
Joost-Pieter Katoen (RWTH Aachen University, Germany, and
University of Twente, the Netherlands)
Kim Larsen (Aalborg University, Denmark)
Roland Meyer (TU Kaiserslautern, Germany)
Corina Pasareanu (NASA Ames Research Center, USA)
Doron Peled (Bar Ilan University, Israel)
Paul Pettersson (Mälardalen University, Sweden)
Nir Piterman (University of Leicester, UK)
Sriram Sankaranarayanan (University of Colorado Boulder, USA)
Natasha Sharygina (Universita della Svizzera Italiana, Switzerland)
Scott Smolka (Stony Brook University, USA)
Bernhard Steffen (University of Dortmund, Germany)
Marielle Stoelinga (University of Twente, the Netherlands)
Fritz Vaandrager (Radboud University Nijmegen, The Netherlands)
Willem Visser (University of Stellenbosch, South Africa)
Ralf Wimmer (University of Freiburg, Germany)
Lenore Zuck (University of Illinois at Chicago, USA)
=== Steering Committee: ===
Rance Cleaveland (University of Maryland, USA)
Holger Hermanns (Saarland University, Germany)
Kim G. Larsen (Aalborg University, Denmark)
Bernhard Steffen (TU Munich, Germany)
Lenore Zuck (University of Illinois at Chicago, USA)
--
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 PAPERS
TACAS 2014
An ETAPS Member Conference
20th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems
http://www.etaps.org/2014/tacas
Abstract Submission: 4 October 2013
Paper Submission: 11 October 2013
Author Notification: 20 December 2013
=============================================================
TACAS is a forum for researchers, developers and users interested in
rigorously based tools and algorithms for the construction and
analysis of systems. The conference serves to bridge the gaps between
different communities with this common interest and to support them
in their quest to improve the utility, reliability, flexibility and
efficiency of tools and algorithms for building systems.
Theoretical papers with clear relevance for tool construction and
analysis, as well as tool descriptions and case studies with a
conceptual message, are all encouraged. The topics covered by the
conference include, but are not limited to:
- Specification and verification techniques
- Software and hardware verification
- Analytical techniques for real-time, hybrid, or stochastic systems
- Analytical techniques for safety, security, or dependability
- Model checking
- Theorem proving
- SAT and SMT solvers
- Static and dynamic program analysis
- Testing
- Abstraction techniques for modeling and verification
- Compositional and refinement-based methodologies
- System construction and transformation techniques
- Tool environments and tool architectures
- Applications and case studies
=== Paper categories: ===
TACAS accepts four types of submissions: research papers, case study
papers, regular tool papers, and tool demonstration papers.
- Research papers clearly identify and justify a principled advance
to the theoretical foundations for the construction and analysis of
systems and, where applicable, are supported by experimental
validation. Research papers can have a maximum of 15 pages.
- Case study papers report on case studies (preferably in a "real
life" setting). They should provide information about the following
aspects: the system being studied and why it is of interest, the
goals of the study, the challenges the system poses to automated
analysis, research methodologies and the approach used, the degree to
which goals were attained, and how the results can be generalized to
other problems and domains. Case study papers can have a maximum of
15 pages.
- Regular tool papers present a new tool, a new tool component, or
novel extensions to an existing tool. They should provide a short
description of the theoretical foundations with relevant citations,
and emphasize the design and implementation concerns including
software architecture and core data structures. A regular tool paper
should give a clear account of the tool's functionality, discuss the
tool's practical capabilities with reference to the type and size of
problems it can handle, experience with realistic case studies, and
where applicable, provide a rigorous experimental evaluation. Papers
that present extensions to existing tools should clearly focus on the
improvements or extensions with respect to previously published
versions of the tool, preferably substantiated by data on
enhancements in terms of resources and capabilities. We strongly
suggest authors make their tools available via the web, even if only
for the evaluation process. Tool papers can have a maximum of 15
pages.
- Tool demonstration papers focus on the usage aspects of tools. The
described tools must be publicly available. Theoretical foundations
and experimental evaluation are not required, however, a motivation
as to why the tool is interesting and significant should be provided.
Tool demonstration papers can have a maximum of 6 pages. They should
have an appendix of up to 6 additional pages with details on the
actual demonstration.
The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's Lecture
Notes in Computer Science series. Papers of all four types will
appear in the proceedings and have presentations during the
conference.
=== Submission: ===
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting unpublished research
not submitted for publication elsewhere. In particular, simultaneous
submission of the same contribution to multiple ETAPS conferences is
forbidden. Papers must follow the formatting guidelines specified by
Springer at the URL: http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through Easychair:
https://www.easychair.org/account/signin.cgi?conf=tacas2014.
Submissions not adhering to the specified format and length may be
rejected immediately.
=== Competition on Software Verification: ===
TACAS 2014 hosts the third competition on software verification with
the goal to evaluate technology transfer and compare state-of-the-art
software verifiers with respect to effectiveness and efficiency. More
information can be found on the competition website:
http://sv-comp.sosy-lab.org/2014.
=== Invited Speaker: ===
Orna Kupferman (Hebrew University Jerusalem, Israel)
=== Programme Chairs: ===
Erika Ábrahám (RWTH Aachen University, Germany)
Klaus Havelund (NASA JPL, USA)
=== Tool Chair: ===
Nikolaj Bjørner (Microsoft Research, USA)
=== Programme Committee: ===
Christel Baier (Technical University of Dresden, Germany)
Saddek Bensalem (VERIMAG/UJF, France)
Nathalie Bertrand (IRISA Rennes, France)
Armin Biere (Johannes Kepler University, Austria)
Nikolaj Bjørner (Microsoft Research, USA)
Rance Cleaveland (University of Maryland, USA)
Alessandro Cimatti (Fondazione Bruno Kessler, Italy)
Cindy Eisner (IBM Research Haifa, Israel)
Martin Fränzle (Carl von Ossietzky University Oldenburg, Germany)
Patrice Godefroid (Microsoft Research, Redmond, USA)
Susanne Graf (Verimag, France)
Orna Grumberg (Technion, Israel)
Boudewijn Haverkort (University of Twente, the Netherlands)
Gerard Holzmann (NASA JPL, USA)
Barbara Jobstmann (CNRS, Verimag, France)
Joost-Pieter Katoen (RWTH Aachen University, Germany, and
University of Twente, the Netherlands)
Kim Larsen (Aalborg University, Denmark)
Roland Meyer (TU Kaiserslautern, Germany)
Corina Pasareanu (NASA Ames Research Center, USA)
Doron Peled (Bar Ilan University, Israel)
Paul Pettersson (Mälardalen University, Sweden)
Nir Piterman (University of Leicester, UK)
Sriram Sankaranarayanan (University of Colorado Boulder, USA)
Natasha Sharygina (Universita della Svizzera Italiana, Switzerland)
Scott Smolka (Stony Brook University, USA)
Bernhard Steffen (University of Dortmund, Germany)
Marielle Stoelinga (University of Twente, the Netherlands)
Fritz Vaandrager (Radboud University Nijmegen, The Netherlands)
Willem Visser (University of Stellenbosch, South Africa)
Ralf Wimmer (University of Freiburg, Germany)
Lenore Zuck (University of Illinois at Chicago, USA)
=== Steering Committee: ===
Rance Cleaveland (University of Maryland, USA)
Holger Hermanns (Saarland University, Germany)
Kim G. Larsen (Aalborg University, Denmark)
Bernhard Steffen (TU Munich, Germany)
Lenore Zuck (University of Illinois at Chicago, USA)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] ETAPS 2014 first call for papers
[We apologise for multiple copies.]
******************************************************************
FIRST CALL FOR PAPERS: ETAPS 2014
17th European Joint Conferences on Theory And Practice of Software
Grenoble, France
5-13 April 2014
http://www.etaps.org/2014
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is the
seventeenth event in the series.
-- MAIN CONFERENCES (7-11 April) --
* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science
and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
TACAS '14 hosts the 3rd Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Robert Harper (Carnegie Mellon University, US)
* John Launchbury (Galois, US)
* Benoit Dupont de Dinechin (Kalray, France)
* Maurice Herlihy (Brown University, US)
* Christel Baier (Technical University of Dresden, Germany)
* Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* David Mazieres (Stanford University, US)
* Orna Kupferman (Hebrew University Jerusalem, Israel)
-- IMPORTANT DATES --
* 4 October 2013: Submission deadline for abstracts (strict)
* 11 October 2013: Submission deadline for full papers (strict)
* 20 December 2013: Notification of acceptance
* 17 January 2014: Camera-ready versions due
ESOP and FoSSaCS will use a rebuttal (author response) phase.
-- GENERAL SUBMISSION INFORMATION --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. (TACAS has
more categories, see below.)
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the
presentation. Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
the URL
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the Easychair author
interface of the respective conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
- Research papers
Different ETAPS 2014 conferences have different page limits.
Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages,
whereas CC, ESOP and POST allow at most 20 pages. Additional material
intended for the referees but not for publication in the final version
- for example, details of proofs - may be placed in a clearly marked
appendix that is not included in the page limit. ETAPS referees are at
liberty to ignore appendices and papers must be understandable without
them.
TACAS solicits not only regular research papers, but also case study
papers.
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
In addition to tool demonstration papers (max 6 pages in their case),
TACAS solicits also regular tool papers (max 15 pages) adhering to
specific instructions about content and organization.
-- SATELLITE EVENTS (5-6 April, 12-13 April) --
Around 20 satellite workshops will take place before and after the
main conferences. In addition, on 6 April, some tutorials on topics of
wide interest will be offered.
-- HOST CITY --
Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.
-- HOST INSTITUTION --
The event is organized by Universite Joseph Fourier. Located at the
heart of the Alps, in outstanding scientific and natural surroundings,
the Universite Joseph Fourier in Grenoble is a leading University of
Science, Technology and Health.
-- ORGANIZERS
* General chair: Saddek Bensalem
* Conferences chair: Yassine Lakhnech
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Web site chair: Marius Bozga
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.
--
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
******************************************************************
FIRST CALL FOR PAPERS: ETAPS 2014
17th European Joint Conferences on Theory And Practice of Software
Grenoble, France
5-13 April 2014
http://www.etaps.org/2014
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is the
seventeenth event in the series.
-- MAIN CONFERENCES (7-11 April) --
* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science
and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
TACAS '14 hosts the 3rd Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Robert Harper (Carnegie Mellon University, US)
* John Launchbury (Galois, US)
* Benoit Dupont de Dinechin (Kalray, France)
* Maurice Herlihy (Brown University, US)
* Christel Baier (Technical University of Dresden, Germany)
* Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* David Mazieres (Stanford University, US)
* Orna Kupferman (Hebrew University Jerusalem, Israel)
-- IMPORTANT DATES --
* 4 October 2013: Submission deadline for abstracts (strict)
* 11 October 2013: Submission deadline for full papers (strict)
* 20 December 2013: Notification of acceptance
* 17 January 2014: Camera-ready versions due
ESOP and FoSSaCS will use a rebuttal (author response) phase.
-- GENERAL SUBMISSION INFORMATION --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. (TACAS has
more categories, see below.)
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the
presentation. Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
the URL
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the Easychair author
interface of the respective conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
- Research papers
Different ETAPS 2014 conferences have different page limits.
Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages,
whereas CC, ESOP and POST allow at most 20 pages. Additional material
intended for the referees but not for publication in the final version
- for example, details of proofs - may be placed in a clearly marked
appendix that is not included in the page limit. ETAPS referees are at
liberty to ignore appendices and papers must be understandable without
them.
TACAS solicits not only regular research papers, but also case study
papers.
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
In addition to tool demonstration papers (max 6 pages in their case),
TACAS solicits also regular tool papers (max 15 pages) adhering to
specific instructions about content and organization.
-- SATELLITE EVENTS (5-6 April, 12-13 April) --
Around 20 satellite workshops will take place before and after the
main conferences. In addition, on 6 April, some tutorials on topics of
wide interest will be offered.
-- HOST CITY --
Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.
-- HOST INSTITUTION --
The event is organized by Universite Joseph Fourier. Located at the
heart of the Alps, in outstanding scientific and natural surroundings,
the Universite Joseph Fourier in Grenoble is a leading University of
Science, Technology and Health.
-- ORGANIZERS
* General chair: Saddek Bensalem
* Conferences chair: Yassine Lakhnech
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Web site chair: Marius Bozga
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.
--
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
2013-07-22
[Caml-list] DBPL 2013: call for participation
The 14th International Symposium
on Database Programming Languages
http://dbpl2013.inria.fr
Riva del Garda, Trento, Italy
August 30, 2013
co-located with VLDB 2013
Call for Participation
For over 25 years, DBPL has established itself as the principal venue
for publishing and discussing new ideas at the intersection of
databases and programming languages. Many key contributions in query
languages for object-oriented data, persistent databases, nested
relational data, and semistructured data, as well as fundamental ideas
in types for query languages, were first announced at DBPL. Today, the
emergence of new data management applications such as cloud computing
and "big data," social network analysis, bidirectional programming,
and data privacy has lead to a new flurry of creative research in this
area, as well as a tremendous amount of activity in industry. DBPL is
an established destination for such new ideas.
Registration
------------
http://www.rivatour.it/fiere-eventi-en/?IDSelect=10&viewPNL=4
Please register by July 25th to receive the early-bird rate!
Accepted Papers
---------------
James Cheney. Static Enforceability of XPath-Based Access Control
Policies.
Radu Ciucanu and Slawek Staworko. Learning Schemas for Unordered
XML.
Yupeng Fu, Kian Win Ong, and Yannis Papakonstantinou. Declarative Ajax
Web Applications through SQL++ on a Unified Application State.
Torsten Grust and Alexander Ulrich. First-Class Functions for
First-Order Database Engines.
Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto, Shogo Shimizu,
and Toru Fujiwara. XPath Satisfiability with Parent Axes or Qualifiers
Is Tractable under Many of Real-World DTDs.
Stefanie Scherzinger, Meike Klettke, and Uta Störl. Managing Schema
Evolution in NoSQL Data Stores.
Invited Speakers
----------------
Serge Abiteboul, INRIA
Jérôme Siméon, IBM research
Proceedings
-----------
Accepted papers will appear in a formal electronic proceedings, using
the Computing Research Repository (CoRR).
Program Committee
-----------------
*Program Co-Chairs* Todd J. Green LogicBlox, USA
Alan Schmitt Inria-Rennes, France
*Program Committee* Yanif Ahmed Johns Hopkins University, USA
William Cook University of Texas-Austin, USA
Ezra Cooper Google, USA
John Field Google, USA
Torsten Grust Universität Tübingen, Germany
Dan Olteanu University of Oxford, UK
Dan Suciu University of Washington, USA
Philip Wadler University of Edinburgh, UK
Geoffrey Washburn LogicBlox, USA
Till Westmann Oracle, USA
History
-------
The 14th Symposium on Data Base Programming Languages (DBPL 2013)
continues the tradition of excellence initiated by its predecessors in
Roscoff, Finistere (1987), Salishan, Oregon (1989), Nafplion, Argolida
(1991), Manhattan, New York (1993), Gubbio, Umbria (1995), Estes Park,
Colorado (1997), Kinloch Rannoch, Scotland (1999), Marino, Rome
(2001), Potsdam, Germany (2003), Trondheim, Norway (2005), Vienna,
Austria (2007), Lyon, France (2009), and Seattle, Washington (2011).
DBPL has been affiliated with VLDB since 1999.
--
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
on Database Programming Languages
http://dbpl2013.inria.fr
Riva del Garda, Trento, Italy
August 30, 2013
co-located with VLDB 2013
Call for Participation
For over 25 years, DBPL has established itself as the principal venue
for publishing and discussing new ideas at the intersection of
databases and programming languages. Many key contributions in query
languages for object-oriented data, persistent databases, nested
relational data, and semistructured data, as well as fundamental ideas
in types for query languages, were first announced at DBPL. Today, the
emergence of new data management applications such as cloud computing
and "big data," social network analysis, bidirectional programming,
and data privacy has lead to a new flurry of creative research in this
area, as well as a tremendous amount of activity in industry. DBPL is
an established destination for such new ideas.
Registration
------------
http://www.rivatour.it/fiere-eventi-en/?IDSelect=10&viewPNL=4
Please register by July 25th to receive the early-bird rate!
Accepted Papers
---------------
James Cheney. Static Enforceability of XPath-Based Access Control
Policies.
Radu Ciucanu and Slawek Staworko. Learning Schemas for Unordered
XML.
Yupeng Fu, Kian Win Ong, and Yannis Papakonstantinou. Declarative Ajax
Web Applications through SQL++ on a Unified Application State.
Torsten Grust and Alexander Ulrich. First-Class Functions for
First-Order Database Engines.
Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto, Shogo Shimizu,
and Toru Fujiwara. XPath Satisfiability with Parent Axes or Qualifiers
Is Tractable under Many of Real-World DTDs.
Stefanie Scherzinger, Meike Klettke, and Uta Störl. Managing Schema
Evolution in NoSQL Data Stores.
Invited Speakers
----------------
Serge Abiteboul, INRIA
Jérôme Siméon, IBM research
Proceedings
-----------
Accepted papers will appear in a formal electronic proceedings, using
the Computing Research Repository (CoRR).
Program Committee
-----------------
*Program Co-Chairs* Todd J. Green LogicBlox, USA
Alan Schmitt Inria-Rennes, France
*Program Committee* Yanif Ahmed Johns Hopkins University, USA
William Cook University of Texas-Austin, USA
Ezra Cooper Google, USA
John Field Google, USA
Torsten Grust Universität Tübingen, Germany
Dan Olteanu University of Oxford, UK
Dan Suciu University of Washington, USA
Philip Wadler University of Edinburgh, UK
Geoffrey Washburn LogicBlox, USA
Till Westmann Oracle, USA
History
-------
The 14th Symposium on Data Base Programming Languages (DBPL 2013)
continues the tradition of excellence initiated by its predecessors in
Roscoff, Finistere (1987), Salishan, Oregon (1989), Nafplion, Argolida
(1991), Manhattan, New York (1993), Gubbio, Umbria (1995), Estes Park,
Colorado (1997), Kinloch Rannoch, Scotland (1999), Marino, Rome
(2001), Potsdam, Germany (2003), Trondheim, Norway (2005), Vienna,
Austria (2007), Lyon, France (2009), and Seattle, Washington (2011).
DBPL has been affiliated with VLDB since 1999.
--
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
2013-07-17
[Caml-list] Call for Papers PEPM 2014
Hello,
Please, find below the first call for papers for PEPM 2014.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Co-chair of PEPM 2014
-----------------------------
C A L L F O R P A P E R S
-----------------------------
======= PEPM 2014 ===========
ACM SIGPLAN 2014 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION
Mon-Tue, January 20-21, 2014
San Diego, California, USA
co-located with POPL'14
Sponsored by ACM SIGPLAN
http://www.program-transformation.org/PEPM14
SCOPE
The PEPM Symposium/Workshop series aims at bringing together researchers and
practitioners working in the areas of program manipulation, partial evaluation,
and program generation. PEPM focuses on techniques, theory, tools, and
applications of analysis and manipulation of programs.
The 2014 PEPM workshop will be based on a broad interpretation of semantics-based
program manipulation and continue last years' successful effort to expand the
scope of PEPM significantly beyond the traditionally covered areas of partial
evaluation and specialization and include practical applications of program
transformations such as refactoring tools, and practical implementation techniques
such as rule-based transformation systems. In addition, the scope of PEPM covers
manipulation and transformations of program and system representations such as
structural and semantic models that occur in the context of model-driven
development. In order to reach out to practitioners, a separate category of tool
demonstration papers will be solicited.
Topics of interest for PEPM'14 include, but are not limited to:
Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active libraries,
program inversion, slicing, symbolic execution, refactoring, decompilation,
and obfuscation.
Program analysis techniques that are used to drive program/model manipulation
such as: abstract interpretation, termination checking, binding-time
analysis, constraint solving, type systems, automated testing and
test case generation.
Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific languages,
program synthesis by sketching and inductive programming, staged computation,
and model-driven program generation and transformation.
Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, resource-limited computation, and security.
To maintain the dynamic and interactive nature of PEPM, we will continue the
category of `short papers' for tool demonstrations and for presentations of
exciting if not fully polished research, and of interesting academic, industrial
and open-source applications that are new or unfamiliar.
Student attendants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for travel
from locations outside of North America and Europe. For details on the PAC
programme, see its web page.
All accepted papers, short papers included, will appear in formal proceedings
published by ACM Press. In addition to printed proceedings, accepted papers will
be included in the ACM Digital Library. A special issue for Science of Computer
Programming is planned with recommended papers from PEPM'14.
PEPM has also established a Best Paper award. The winner will be announced at
the workshop.
SUBMISSION CATEGORIES AND GUIDELINES
Regular Research Papers must not exceed 12 pages in ACM Proceedings style
(including appendix). Tool demonstration papers and short papers must not
exceed 6 pages in ACM Proceedings style (including appendix). At least one
author of each accepted contribution must attend the workshop and present the
work. In the case of tool demonstration papers, a live demonstration of the
described tool is expected. Suggested topics, evaluation criteria, and writing
guidelines for both research tool demonstration papers will be made available
on the PEPM'14 Web-site. Papers should be submitted electronically via the
workshop web site.
Authors using LaTeX to prepare their submissions should use the new improved
SIGPLAN proceedings style (sigplanconf.cls, 9pt template).
IMPORTANT DATES
Abstract due: Sat, September 28, 2013
Paper submission: Sat, October 5, 2013, 23:59, GMT
Author notification: Mon, November 11, 2013
Camera-ready papers due: * to be announced *
INVITED SPEAKERS
to be announced
PROGRAM CHAIRS
Wei Ngan Chin (National University of Singapore, Singapore)
Jurriaan Hage (Utrecht University, Netherlands)
PROGRAM COMMITTEE
ƒvelyne Contejean (LRI, CNRS, UniversitŽ Paris-Sud, France)
Cristina David (University of Oxford, UK)
Alain Frisch (LexiFi, France)
Ronald Garcia (University of British Columbia, Canada)
Zhenjiang Hu (National Institute of Informatics, Japan)
Paul H J Kelly (Imperial College, UK)
Oleg Kiselyov (Monterey, USA)
Naoki Kobayashi (University of Tokyo, Japan)
Jens Krinke (University College London, UK)
Ryan Newton (University of Indiana, USA)
Alberto Pardo (Universidad de la Repœblica, Uruguay)
Sungwoo Park (Pohang University of Science and Technology, South Korea)
Tiark Rompf (Oracle Labs & EPFL, Switzerland)
Sukyoung Ryu (KAIST, South Korea)
Kostis Sagonas (Uppsala University, Sweden)
Max Schaefer (Nanyang Technological University, Singapore)
Harald S¿ndergaard (The University of Melbourne, Australia)
Eijiro Sumii (Tohoku University, Japan)
Eric Van Wyk (University of Minnesota, USA)
Jeremy Yallop (University of Cambridge, UK)
--
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
Please, find below the first call for papers for PEPM 2014.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Co-chair of PEPM 2014
-----------------------------
C A L L F O R P A P E R S
-----------------------------
======= PEPM 2014 ===========
ACM SIGPLAN 2014 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION
Mon-Tue, January 20-21, 2014
San Diego, California, USA
co-located with POPL'14
Sponsored by ACM SIGPLAN
http://www.program-transformation.org/PEPM14
SCOPE
The PEPM Symposium/Workshop series aims at bringing together researchers and
practitioners working in the areas of program manipulation, partial evaluation,
and program generation. PEPM focuses on techniques, theory, tools, and
applications of analysis and manipulation of programs.
The 2014 PEPM workshop will be based on a broad interpretation of semantics-based
program manipulation and continue last years' successful effort to expand the
scope of PEPM significantly beyond the traditionally covered areas of partial
evaluation and specialization and include practical applications of program
transformations such as refactoring tools, and practical implementation techniques
such as rule-based transformation systems. In addition, the scope of PEPM covers
manipulation and transformations of program and system representations such as
structural and semantic models that occur in the context of model-driven
development. In order to reach out to practitioners, a separate category of tool
demonstration papers will be solicited.
Topics of interest for PEPM'14 include, but are not limited to:
Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active libraries,
program inversion, slicing, symbolic execution, refactoring, decompilation,
and obfuscation.
Program analysis techniques that are used to drive program/model manipulation
such as: abstract interpretation, termination checking, binding-time
analysis, constraint solving, type systems, automated testing and
test case generation.
Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific languages,
program synthesis by sketching and inductive programming, staged computation,
and model-driven program generation and transformation.
Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, resource-limited computation, and security.
To maintain the dynamic and interactive nature of PEPM, we will continue the
category of `short papers' for tool demonstrations and for presentations of
exciting if not fully polished research, and of interesting academic, industrial
and open-source applications that are new or unfamiliar.
Student attendants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for travel
from locations outside of North America and Europe. For details on the PAC
programme, see its web page.
All accepted papers, short papers included, will appear in formal proceedings
published by ACM Press. In addition to printed proceedings, accepted papers will
be included in the ACM Digital Library. A special issue for Science of Computer
Programming is planned with recommended papers from PEPM'14.
PEPM has also established a Best Paper award. The winner will be announced at
the workshop.
SUBMISSION CATEGORIES AND GUIDELINES
Regular Research Papers must not exceed 12 pages in ACM Proceedings style
(including appendix). Tool demonstration papers and short papers must not
exceed 6 pages in ACM Proceedings style (including appendix). At least one
author of each accepted contribution must attend the workshop and present the
work. In the case of tool demonstration papers, a live demonstration of the
described tool is expected. Suggested topics, evaluation criteria, and writing
guidelines for both research tool demonstration papers will be made available
on the PEPM'14 Web-site. Papers should be submitted electronically via the
workshop web site.
Authors using LaTeX to prepare their submissions should use the new improved
SIGPLAN proceedings style (sigplanconf.cls, 9pt template).
IMPORTANT DATES
Abstract due: Sat, September 28, 2013
Paper submission: Sat, October 5, 2013, 23:59, GMT
Author notification: Mon, November 11, 2013
Camera-ready papers due: * to be announced *
INVITED SPEAKERS
to be announced
PROGRAM CHAIRS
Wei Ngan Chin (National University of Singapore, Singapore)
Jurriaan Hage (Utrecht University, Netherlands)
PROGRAM COMMITTEE
ƒvelyne Contejean (LRI, CNRS, UniversitŽ Paris-Sud, France)
Cristina David (University of Oxford, UK)
Alain Frisch (LexiFi, France)
Ronald Garcia (University of British Columbia, Canada)
Zhenjiang Hu (National Institute of Informatics, Japan)
Paul H J Kelly (Imperial College, UK)
Oleg Kiselyov (Monterey, USA)
Naoki Kobayashi (University of Tokyo, Japan)
Jens Krinke (University College London, UK)
Ryan Newton (University of Indiana, USA)
Alberto Pardo (Universidad de la Repœblica, Uruguay)
Sungwoo Park (Pohang University of Science and Technology, South Korea)
Tiark Rompf (Oracle Labs & EPFL, Switzerland)
Sukyoung Ryu (KAIST, South Korea)
Kostis Sagonas (Uppsala University, Sweden)
Max Schaefer (Nanyang Technological University, Singapore)
Harald S¿ndergaard (The University of Melbourne, Australia)
Eijiro Sumii (Tohoku University, Japan)
Eric Van Wyk (University of Minnesota, USA)
Jeremy Yallop (University of Cambridge, UK)
--
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
2013-07-16
[Caml-list] Call for Papers IFL 2013
Hello,
Please, find below the third call for papers for IFL 2013.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
CALL FOR PAPERS
25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN
AUGUST 28 - 30 2013
"Landgoed Holthurnsche Hof"
http://ifl2013.cs.ru.nl
We are proud to announce that the 25th edition of the IFL series returns to its roots at
the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th
to 30th of August 2013.
Scope
-----
The goal of the IFL symposia is to bring together researchers actively engaged in the
implementation and application of functional and function-based programming languages.
IFL 2013 will be a venue for researchers to present and discuss new ideas and concepts,
work in progress, and publication-ripe results related to the implementation and
application of functional languages and function-based programming.
Following the IFL tradition, IFL 2013 will use a post-symposium review process to
produce the formal proceedings which will be published in the ACM Digital Library. All
participants of IFL 2013 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time may work submitted
to IFL be simultaneously submitted to other venues; submissions must adhere to
ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to make sure they are
within the scope of IFL, and will appear in the draft proceedings distributed at the
symposium. Submissions appearing in the draft proceedings are not peer-reviewed
publications. Hence, publications that appear only in the draft proceedings do not
count as publication for the ACM SIGPLAN republication policy. After the symposium,
authors will be given the opportunity to incorporate the feedback from discussions at
the symposium and will be invited to submit a revised full article for the formal
review process. From the revised submissions, the program committee will select papers
for the formal proceedings considering their correctness, novelty, originality,
relevance, significance, and clarity.
Invited Speaker
---------------
Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of
IFL 2013. He will be talking about practical applications of functional programming.
Submission Details
------------------
Submission deadline draft papers: July 31
Notification of acceptance for presentation: August 2
Early registration deadline: August 7
Late registration deadline: August 14
Submission deadline for pre-symposium proceedings: August 21
25th IFL Symposium: August 28-30
Submission deadline for post-symposium proceedings: November 11
Notification of acceptance for post-symposium proceedings: December 18
Camera-ready version for post-symposium proceedings: February 3 2014
Prospective authors are encouraged to submit papers or extended abstracts to be
published in the draft proceedings and to present them at the symposium. All
contributions must be written in English. Papers must adhere to the standard ACM two
columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit
of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A
suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Papers are to be submitted via the conference's EasyChair submission page:
https://www.easychair.org/conferences/?conf=ifl2013
Topics
------
IFL welcomes submissions describing practical and theoretical work as well as submissions
describing applications and tools in the context of functional programming. If you are
not sure whether your work is appropriate for IFL 2013, please contact the PC chair at
rinus@cs.ru.nl. Topics of interest include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the symposium every
year. The honoured article is selected by the program committee based on the submissions
received for the formal review process. The prize carries a cash award equivalent to
150 Euros.
Programme committee
-------------------
- Thomas Arts, Quviq, Gothenburg, Sweden
- Andrew Butterfield, Trinity College, Dublin, Ireland
- Edwin Brady, University of St. Andrews, UK
- Clemens Grelck, University of Amsterdam, Netherlands
- Adam Granicz, IntelliFactory, Budapest, Hungary
- Jeremy Gibbons, University of Oxford, UK
- Fritz Henglein, University of Copenhagen, Denmark
- Stephan Herhut, Intel Labs, Santa Clara, US
- Ralf Hinze (co-chair), University of Oxford, UK
- Zoltan Horvath, Eotvos Lorand University, Budapest, Hungary
- Zhenjiang Hu, University of Tokyo, Japan
- Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
- Johan Jeuring, University of Utrecht, Netherlands
- Rita Loogen, University of Marburg, Germany
- Marco T. Morazan, Seton Hall University, New Jersey, US
- Dominic Orchard, University of Cambridge, UK
- Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
- Tim Sheard, Portland State University, US
- Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
- Peter Thiemann, University of Freiburg, Germany
- Simon Thompson, University of Kent, UK
Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software
Development Department at the Nijmegen Institute for Computing and Information Sciences.
The event is held in the Landgoed "Holthurnsche Hof", a rural estate in the woodlands
surrounding Nijmegen. It can be reached quickly and easily by public transport.
--
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
Please, find below the third call for papers for IFL 2013.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
CALL FOR PAPERS
25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN
AUGUST 28 - 30 2013
"Landgoed Holthurnsche Hof"
http://ifl2013.cs.ru.nl
We are proud to announce that the 25th edition of the IFL series returns to its roots at
the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th
to 30th of August 2013.
Scope
-----
The goal of the IFL symposia is to bring together researchers actively engaged in the
implementation and application of functional and function-based programming languages.
IFL 2013 will be a venue for researchers to present and discuss new ideas and concepts,
work in progress, and publication-ripe results related to the implementation and
application of functional languages and function-based programming.
Following the IFL tradition, IFL 2013 will use a post-symposium review process to
produce the formal proceedings which will be published in the ACM Digital Library. All
participants of IFL 2013 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time may work submitted
to IFL be simultaneously submitted to other venues; submissions must adhere to
ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to make sure they are
within the scope of IFL, and will appear in the draft proceedings distributed at the
symposium. Submissions appearing in the draft proceedings are not peer-reviewed
publications. Hence, publications that appear only in the draft proceedings do not
count as publication for the ACM SIGPLAN republication policy. After the symposium,
authors will be given the opportunity to incorporate the feedback from discussions at
the symposium and will be invited to submit a revised full article for the formal
review process. From the revised submissions, the program committee will select papers
for the formal proceedings considering their correctness, novelty, originality,
relevance, significance, and clarity.
Invited Speaker
---------------
Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of
IFL 2013. He will be talking about practical applications of functional programming.
Submission Details
------------------
Submission deadline draft papers: July 31
Notification of acceptance for presentation: August 2
Early registration deadline: August 7
Late registration deadline: August 14
Submission deadline for pre-symposium proceedings: August 21
25th IFL Symposium: August 28-30
Submission deadline for post-symposium proceedings: November 11
Notification of acceptance for post-symposium proceedings: December 18
Camera-ready version for post-symposium proceedings: February 3 2014
Prospective authors are encouraged to submit papers or extended abstracts to be
published in the draft proceedings and to present them at the symposium. All
contributions must be written in English. Papers must adhere to the standard ACM two
columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit
of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A
suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Papers are to be submitted via the conference's EasyChair submission page:
https://www.easychair.org/conferences/?conf=ifl2013
Topics
------
IFL welcomes submissions describing practical and theoretical work as well as submissions
describing applications and tools in the context of functional programming. If you are
not sure whether your work is appropriate for IFL 2013, please contact the PC chair at
rinus@cs.ru.nl. Topics of interest include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the symposium every
year. The honoured article is selected by the program committee based on the submissions
received for the formal review process. The prize carries a cash award equivalent to
150 Euros.
Programme committee
-------------------
- Thomas Arts, Quviq, Gothenburg, Sweden
- Andrew Butterfield, Trinity College, Dublin, Ireland
- Edwin Brady, University of St. Andrews, UK
- Clemens Grelck, University of Amsterdam, Netherlands
- Adam Granicz, IntelliFactory, Budapest, Hungary
- Jeremy Gibbons, University of Oxford, UK
- Fritz Henglein, University of Copenhagen, Denmark
- Stephan Herhut, Intel Labs, Santa Clara, US
- Ralf Hinze (co-chair), University of Oxford, UK
- Zoltan Horvath, Eotvos Lorand University, Budapest, Hungary
- Zhenjiang Hu, University of Tokyo, Japan
- Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
- Johan Jeuring, University of Utrecht, Netherlands
- Rita Loogen, University of Marburg, Germany
- Marco T. Morazan, Seton Hall University, New Jersey, US
- Dominic Orchard, University of Cambridge, UK
- Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
- Tim Sheard, Portland State University, US
- Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
- Peter Thiemann, University of Freiburg, Germany
- Simon Thompson, University of Kent, UK
Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software
Development Department at the Nijmegen Institute for Computing and Information Sciences.
The event is held in the Landgoed "Holthurnsche Hof", a rural estate in the woodlands
surrounding Nijmegen. It can be reached quickly and easily by public transport.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] LPAR-19 in South Africa - Paper Deadline
===========================
LPAR-19
CALL FOR PAPERS
===========================
============================================================
The 19th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
============================================================
Stellenbosch, South Africa, 14-19 December 2013
www.LPAR-19.info
The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 19th LPAR
will be held in Stellenbosch, South Africa.
Logic is a fundamental organizing principle in nearly all areas in Computer
Science. It runs a multifaceted gamut from the foundational to the applied.
At one extreme, it underlies computability and complexity theory and the formal
semantics of programming languages. At the other extreme, it drives billions of
gates every day in the digital circuits of processors of all kinds. Logic is in
itself a powerful programming paradigm, but it is also the quintessential
specification language for anything ranging from real-time critical systems to
networked infrastructures. Logical techniques link implementation and
specification through formal methods such as automated theorem proving and model
checking. Logic is also the stuff of knowledge representation and artificial
intelligence. Because of its ubiquity, logic has acquired a central role in
Computer Science education.
Topics
------
New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.
Topics of interest include, but are not limited to:
* Abduction and interpolation methods
* Automated reasoning
* Constraint programming
* Decision procedures
* Description logics
* Foundations of security
* Hardware verification
* Implementations of logic
* Interactive theorem proving
* Knowledge representation and reasoning
* Logic and computational complexity
* Logic and databases
* Logic and games
* Logic and machine learning
* Logic and the web
* Logic and types
* Logic in artificial intelligence
* Logic of distributed systems
* Logic programming
* Logical aspects of concurrency
* Logical foundations of programming
* Modal and temporal logics
* Model checking
* Non-monotonic reasoning
* Ontologies and large knowledge bases
* Probabilistic and fuzzy reasoning
* Program analysis
* Rewriting
* Satisfiability checking
* Satisfiability modulo theories
* Software verification
* Specification using logic
* Unification theory
Programme Chairs
----------------
* Ken McMillan
* Aart Middeldorp
* Andrei Voronkov
Conference Chairs
----------------
* Bernd Fischer
* Geoff Sutcliffe
Workshop Chair
--------------
* Laura Kovacs
Submission Details
------------------
Submissions of two kinds are welcome:
* Regular papers that describe solid new research results. They can be
up to 15 pages long in LNCS style, including figures and references,
but excluding appendices (that reviewers are not required to read).
* Experimental and tool papers that describe implementations of systems,
report experiments with implemented systems, or compare implemented
systems. They can be up to 8 pages long in the LNCS style.
Both types of papers can be electronically submitted in PDF via EasyChar:
http://www.easychair.org/conferences/?conf=lpar19.
Prospective authors are required to register a title and an abstract a week
before the paper submission deadline (see below).
Participation
-------------
Authors of accepted papers are required to ensure that at least one of them
will be present at the conference.
Important Dates
---------------
* Abstract submission: 22nd July
* Paper submission: 2nd August
* Notification of acceptance: 27th September
* Camera-ready papers: 9th October
* Conference: 14th-19th December
===========================
LPAR-19
WORKSHOPS
===========================
LPAR-19 will be preceded by four workshops in specialised areas of logic:
* The 10th International Workshop on the Implementation of Logics - IWIL
http://www.eprover.org/EVENTS/IWIL-2013.html
* The 7th International Workshop on Analytic Proof Systems - APS
http://www.logic.at/staff/chrisf/ws/LPAR-APS-7.html
* The 1st International Workshop on Algebraic Logic in Computer Science -
ALCS
http://www2.cs.cas.cz/~cintula/lpar-workshop-ALCS.html
* The 1st International Workshop on Logics and Reasoning for Conceptual
Models - LRCM
See their individual web pages (linked from the LPAR-19.info page too) for
further details.
--
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
LPAR-19
CALL FOR PAPERS
===========================
============================================================
The 19th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
============================================================
Stellenbosch, South Africa, 14-19 December 2013
www.LPAR-19.info
The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 19th LPAR
will be held in Stellenbosch, South Africa.
Logic is a fundamental organizing principle in nearly all areas in Computer
Science. It runs a multifaceted gamut from the foundational to the applied.
At one extreme, it underlies computability and complexity theory and the formal
semantics of programming languages. At the other extreme, it drives billions of
gates every day in the digital circuits of processors of all kinds. Logic is in
itself a powerful programming paradigm, but it is also the quintessential
specification language for anything ranging from real-time critical systems to
networked infrastructures. Logical techniques link implementation and
specification through formal methods such as automated theorem proving and model
checking. Logic is also the stuff of knowledge representation and artificial
intelligence. Because of its ubiquity, logic has acquired a central role in
Computer Science education.
Topics
------
New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.
Topics of interest include, but are not limited to:
* Abduction and interpolation methods
* Automated reasoning
* Constraint programming
* Decision procedures
* Description logics
* Foundations of security
* Hardware verification
* Implementations of logic
* Interactive theorem proving
* Knowledge representation and reasoning
* Logic and computational complexity
* Logic and databases
* Logic and games
* Logic and machine learning
* Logic and the web
* Logic and types
* Logic in artificial intelligence
* Logic of distributed systems
* Logic programming
* Logical aspects of concurrency
* Logical foundations of programming
* Modal and temporal logics
* Model checking
* Non-monotonic reasoning
* Ontologies and large knowledge bases
* Probabilistic and fuzzy reasoning
* Program analysis
* Rewriting
* Satisfiability checking
* Satisfiability modulo theories
* Software verification
* Specification using logic
* Unification theory
Programme Chairs
----------------
* Ken McMillan
* Aart Middeldorp
* Andrei Voronkov
Conference Chairs
----------------
* Bernd Fischer
* Geoff Sutcliffe
Workshop Chair
--------------
* Laura Kovacs
Submission Details
------------------
Submissions of two kinds are welcome:
* Regular papers that describe solid new research results. They can be
up to 15 pages long in LNCS style, including figures and references,
but excluding appendices (that reviewers are not required to read).
* Experimental and tool papers that describe implementations of systems,
report experiments with implemented systems, or compare implemented
systems. They can be up to 8 pages long in the LNCS style.
Both types of papers can be electronically submitted in PDF via EasyChar:
http://www.easychair.org/conferences/?conf=lpar19.
Prospective authors are required to register a title and an abstract a week
before the paper submission deadline (see below).
Participation
-------------
Authors of accepted papers are required to ensure that at least one of them
will be present at the conference.
Important Dates
---------------
* Abstract submission: 22nd July
* Paper submission: 2nd August
* Notification of acceptance: 27th September
* Camera-ready papers: 9th October
* Conference: 14th-19th December
===========================
LPAR-19
WORKSHOPS
===========================
LPAR-19 will be preceded by four workshops in specialised areas of logic:
* The 10th International Workshop on the Implementation of Logics - IWIL
http://www.eprover.org/EVENTS/IWIL-2013.html
* The 7th International Workshop on Analytic Proof Systems - APS
http://www.logic.at/staff/chrisf/ws/LPAR-APS-7.html
* The 1st International Workshop on Algebraic Logic in Computer Science -
ALCS
http://www2.cs.cas.cz/~cintula/lpar-workshop-ALCS.html
* The 1st International Workshop on Logics and Reasoning for Conceptual
Models - LRCM
See their individual web pages (linked from the LPAR-19.info page too) for
further details.
--
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
Subscribe to:
Posts (Atom)