=====================================================================
CALL FOR PAPERS
FHPC 2013
The 2nd ACM SIGPLAN Workshop on
Functional High-Performance Computing
Boston, Massachusets
September 23, 2013
http://www.hiperfit.dk/fhpc13.html
Co-located with the International Conference on Functional Programming
(ICFP 2013)
Submission Deadline: June 14, 2013 (anywhere on earth)
=====================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level) programming
technology in application domains where large-scale computations arise
naturally and high performance is essential. Such computations would
typically -- but not necessarily -- involve execution on highly parallel
systems ranging from multi-core multi-processor systems to graphics
accelerators (GPGPUs), reconfigurable hardware (FPGAs), large-scale
compute clusters or any combination thereof. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.
The aim of the meeting is to enable sharing of results, experiences,
and novel ideas about how high-level, declarative specifications of
computationally challenging problems can serve as highly transparent,
maintainable, and portable code that approaches (or even exceeds) the
performance of machine-oriented imperative implementations.
Each FHPC workshop proposes a particular theme for applications where
high-performance computing and/or functional programming technology
can be applied. For FHPC 2013, the theme is "Large-Scale Simulation",
traditionally one of the main driving forces behind supercomputing.
A large fraction of compute cycles in supercomputers worldwide is spent
on simulation tasks, for various engineering tasks, drug design and
other medical simulations, and in different natural science domains.
Declarative languages have potential to radically change development
practice and workflow for simulation software in these areas.
Hence, we particularly encourage submission of application-oriented
contributions in the area of simulation.
As a general rule, while proposing the theme, the workshop welcomes
submissions from all relevant application domains as well as those
describing general work on the theory and practice of declarative
high-performance computing.
Proceedings:
============
Accepted papers will be published by the ACM and will appear in the
ACM Digital Library.
* Submission Deadline: 14 June 2013 (anywhere on earth)
* Author Notification: 11 July 2013
* Final Papers Due : 25 July 2013
Submitted papers must be in portable document format (PDF), formatted
according to the ACM SIGPLAN style guidelines (double column, 9pt format).
See http://www.sigplan.org/authorInformation.htm for more information
and style files. The page limit is 12 pages. Submission deadlines and
page limit are firm.
The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme
committee contributions and republication. Any paper submitted must adhere
to ACM SIGPLAN's republication policy. PC member submissions are welcome,
but will be reviewed to a higher standard.
http://www.sigplan.org/Resources/Policies/Review
http://www.sigplan.org/Resources/Policies/Republication
Travel Support:
===============
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses. 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 (http://www.sigplan.org/PAC.htm).
Programme Committee:
====================
Umut Acar (co-chair), Carnegie Mellon U., PA, USA
Arvind, MIT, MA, USA
Jost Berthold (co-chair), U. of Copenhagen, Denmark
Guy Blelloch, Carnegie Mellon U., PA, USA
Hassan Chafi, Oracle Labs, CA, USA
Dan Spoonhower, Google, CA, USA
Sergei Gorlatch, U. Münster, Germany
Clemens Grelck, U. of Amsterdam, Netherlands
Vinod Grover, NVidia, USA
Torsten Grust, U.Tübingen, Germany
Zhenjiang Hu, National Inst. of Informatics, Tokyo, Japan
Gabriele Keller, U.New South Wales, Sydney, Australia
Jens Palsberg, U.California, CA, USA
Leaf Peterson, Intel, USA
Mike Rainey, MPI-SWS,Kaiserslautern, Germany
Suresh Jaganathan, Purdue U., USA
Sven-Bodo Scholz, Heriot-Watt U., Edinburgh, UK
Guy Steele, Oracle Labs, Burlington, MA, USA
Yaron Minsky, Jane Street Capital, NY, USA
General Chairs:
====================
Clemens Grelck, University of Amsterdam, NL
Fritz Henglein, University of Copenhagen, DK
--
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-04-20
[Caml-list] Call for papers: FSFMA 2013 (deadline extension)
====================================================================
Call for papers
FSFMA 2013
1st French Singaporean Workshop in Formal Methods and Applications
http://www.comp.nus.edu.sg/~pat/fsfma2013/
====================================================================
The 1st French Singaporean Workshop in Formal Methods and Applications (FSFMA)
aims at sharing research interests and launching collaborations in the area of
formal methods and their applications.
The scientific subject of the workshop covers (but does not limit to) areas
such as formal specification, model checking, verification, program analysis
and transformation, software engineering, and applications in major areas of
computer science, including aeronautics and aerospace.
The workshop will bring together researchers and industry R&D experts from all
countries together to exchange their knowledge, discuss their research
findings,
and explore potential collaborations.
Round tables will focus on French-Singaporean funding and cooperation
opportunities.
A PhD session will allow Master and PhD students to present their work.
The workshop may offer travel grants to a selection of PhD students.
The workshop will take place on July 15th and 16th, 2013, in Singapore as a
satellite of ICECCS 2013.
=================
IMPORTANT DATES
=================
Abstract: April 28th, 2013 (extended)
Full papers: May 5th, 2013 (extended)
Notification: June 3rd, 2013
Camera ready: June 13th, 2013
Workshop: July 15th-16th, 2013
=================
TOPICS OF THE WORKSHOP
=================
The main theme of the workshop is to establish links between academic and
industry scientists interested in methods and techniques for constructing
reliable systems using formal methods. The scientific topics of the workshop
include, but are not limited to:
- concurrent and distributed systems
- formal specification and semantics
- infinite-state and parameterized systems
- model checking algorithms
- SAT and SMT solvers
- security and privacy
- software engineering and formal methods
- specification and verification (hardware and embedded systems, probabilistic
and real-time systems, etc.)
- case studies and experience reports on the use of formal methods
- tools and industrial applications
- applications in aeronautics and aerospace
=================
SUBMISSION AND PUBLICATION
=================
Two kinds of papers are welcome:
- regular papers
- PhD papers (for the doctoral session).
The content of papers should be original and not submitted elsewhere.
All papers will be submitted to at least three reviews.
The page limit is 15 pages (regular) and 6 pages (PhD) in the OASIcs format.
Accepted papers in both categories will be published by the OpenAccess Series
in Informatics (OASIcs), a free open-access and online electronic proceedings
series edited by Schloss Dagstuhl, indexed with ISBN and referenced in major
databases such as DBLP.
OASIcs proceedings are published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
Submission will be made in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=fsfma2013
Additional remarks:
- There are no restrictions on authors' citizenships and working countries.
- For PhD papers, at least one author must be Master or PhD student.
=================
CHAIRS
=================
- Christine Choppy (Universite Paris 13, Sorbonne Paris Cite, France)
- Jun Sun (Singapore University of Technology and Design, Singapore)
=================
DOCTORAL SESSION CHAIRS
=================
- Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
- Yang Liu (Nanyang Technological University, Singapore)
=================
INVITED SPEAKERS
=================
- Laurent Fribourg (LSV, CNRS & ENS de Cachan, France)
- Ng Wee Keong (School of Computer Engineering, NTU, Singapore)
(to be completed)
--
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
FSFMA 2013
1st French Singaporean Workshop in Formal Methods and Applications
http://www.comp.nus.edu.sg/~pat/fsfma2013/
====================================================================
The 1st French Singaporean Workshop in Formal Methods and Applications (FSFMA)
aims at sharing research interests and launching collaborations in the area of
formal methods and their applications.
The scientific subject of the workshop covers (but does not limit to) areas
such as formal specification, model checking, verification, program analysis
and transformation, software engineering, and applications in major areas of
computer science, including aeronautics and aerospace.
The workshop will bring together researchers and industry R&D experts from all
countries together to exchange their knowledge, discuss their research
findings,
and explore potential collaborations.
Round tables will focus on French-Singaporean funding and cooperation
opportunities.
A PhD session will allow Master and PhD students to present their work.
The workshop may offer travel grants to a selection of PhD students.
The workshop will take place on July 15th and 16th, 2013, in Singapore as a
satellite of ICECCS 2013.
=================
IMPORTANT DATES
=================
Abstract: April 28th, 2013 (extended)
Full papers: May 5th, 2013 (extended)
Notification: June 3rd, 2013
Camera ready: June 13th, 2013
Workshop: July 15th-16th, 2013
=================
TOPICS OF THE WORKSHOP
=================
The main theme of the workshop is to establish links between academic and
industry scientists interested in methods and techniques for constructing
reliable systems using formal methods. The scientific topics of the workshop
include, but are not limited to:
- concurrent and distributed systems
- formal specification and semantics
- infinite-state and parameterized systems
- model checking algorithms
- SAT and SMT solvers
- security and privacy
- software engineering and formal methods
- specification and verification (hardware and embedded systems, probabilistic
and real-time systems, etc.)
- case studies and experience reports on the use of formal methods
- tools and industrial applications
- applications in aeronautics and aerospace
=================
SUBMISSION AND PUBLICATION
=================
Two kinds of papers are welcome:
- regular papers
- PhD papers (for the doctoral session).
The content of papers should be original and not submitted elsewhere.
All papers will be submitted to at least three reviews.
The page limit is 15 pages (regular) and 6 pages (PhD) in the OASIcs format.
Accepted papers in both categories will be published by the OpenAccess Series
in Informatics (OASIcs), a free open-access and online electronic proceedings
series edited by Schloss Dagstuhl, indexed with ISBN and referenced in major
databases such as DBLP.
OASIcs proceedings are published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
Submission will be made in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=fsfma2013
Additional remarks:
- There are no restrictions on authors' citizenships and working countries.
- For PhD papers, at least one author must be Master or PhD student.
=================
CHAIRS
=================
- Christine Choppy (Universite Paris 13, Sorbonne Paris Cite, France)
- Jun Sun (Singapore University of Technology and Design, Singapore)
=================
DOCTORAL SESSION CHAIRS
=================
- Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
- Yang Liu (Nanyang Technological University, Singapore)
=================
INVITED SPEAKERS
=================
- Laurent Fribourg (LSV, CNRS & ENS de Cachan, France)
- Ng Wee Keong (School of Computer Engineering, NTU, Singapore)
(to be completed)
--
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-04-19
[Caml-list] CADE-24 Call for Participation
CADE-24: CALL FOR PARTICIPATION
24th International Conference on Automated Deduction
June 9-14, 2013, Lake Placid, New York, USA
http://www.cade-24.info/
Early Registration Deadline: 22 May 2013
CADE is the major forum for the presentation of research in all
aspects of automated deduction. CADE-24 is held in Lake Placid, a
charming village on the shore of two lakes surrounded by the
beautiful Adirondacks Mountains, upstate New York.
The conference program features:
* Invited talks:
* Jean-Christophe Filliatre: One Logic to Use Them All
* Greg Morrisett: Defining, Testing, and Reasoning About an x86 Decoder
* Natarajan Shankar: Automated Reasoning, Fast and Slow
* Douglas R. Smith: Coalgebraic Specification and Refinement
* Presentation of 31 papers including the CADE-24 Best Paper Award
winner (details at http://www.cade-24.info/)
* Tutorials:
* Franz Baader: Reasoning in Lightweight Description Logics
* Bernhard Beckert: Program Verification with the KeY System
* Morgan Deters, Dejan Jovanovic, Clark Barrett and Cesare Tinelli:
Becoming a Power User of SMT: The CVC4 Solver
* Marijn Heule: State-of-the-art SAT Solving
* Carsten Schuermann, Taus Brock-Nannestad and Chris Martens: Twelf
* Several Workshops (details at http://www.cade-24.info/)
* The CADE ATP System Competition (CASC): http://www.tptp.org/CASC/24/
organized by Geoff Sutcliffe
During the conference, the Herbrand Award for Distinguished Contributions
to Automated Reasoning will be presented to Greg Nelson for his invention
of equality sharing, also known as the Nelson-Oppen method, and his
pioneering work on theorem proving and program checking, including fast
congruence closure algorithms and the Simplify theorem prover.
IMPORTANT DATES
Early registration deadline: 22 May 2013
Workshops and Tutorials: 9-10 June 2013
Conference: 11-14 June 2013
CASC: 12 June 2013
ORGANIZERS
Conference Co-Chairs:
Christopher A. Lynch Clarkson University
Neil V. Murray University at Albany - SUNY
Program Committee Chair:
Maria Paola Bonacina Universita` degli Studi di Verona
Workshop and Competition Chair:
Christoph Benzmueller Freie Universitaet Berlin
Tutorial Chair:
Peter Baumgartner NICTA and Australian National University
Publicity and Web Chair:
Grant Olney Passmore Cambridge University and Edinburgh University
--
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
24th International Conference on Automated Deduction
June 9-14, 2013, Lake Placid, New York, USA
http://www.cade-24.info/
Early Registration Deadline: 22 May 2013
CADE is the major forum for the presentation of research in all
aspects of automated deduction. CADE-24 is held in Lake Placid, a
charming village on the shore of two lakes surrounded by the
beautiful Adirondacks Mountains, upstate New York.
The conference program features:
* Invited talks:
* Jean-Christophe Filliatre: One Logic to Use Them All
* Greg Morrisett: Defining, Testing, and Reasoning About an x86 Decoder
* Natarajan Shankar: Automated Reasoning, Fast and Slow
* Douglas R. Smith: Coalgebraic Specification and Refinement
* Presentation of 31 papers including the CADE-24 Best Paper Award
winner (details at http://www.cade-24.info/)
* Tutorials:
* Franz Baader: Reasoning in Lightweight Description Logics
* Bernhard Beckert: Program Verification with the KeY System
* Morgan Deters, Dejan Jovanovic, Clark Barrett and Cesare Tinelli:
Becoming a Power User of SMT: The CVC4 Solver
* Marijn Heule: State-of-the-art SAT Solving
* Carsten Schuermann, Taus Brock-Nannestad and Chris Martens: Twelf
* Several Workshops (details at http://www.cade-24.info/)
* The CADE ATP System Competition (CASC): http://www.tptp.org/CASC/24/
organized by Geoff Sutcliffe
During the conference, the Herbrand Award for Distinguished Contributions
to Automated Reasoning will be presented to Greg Nelson for his invention
of equality sharing, also known as the Nelson-Oppen method, and his
pioneering work on theorem proving and program checking, including fast
congruence closure algorithms and the Simplify theorem prover.
IMPORTANT DATES
Early registration deadline: 22 May 2013
Workshops and Tutorials: 9-10 June 2013
Conference: 11-14 June 2013
CASC: 12 June 2013
ORGANIZERS
Conference Co-Chairs:
Christopher A. Lynch Clarkson University
Neil V. Murray University at Albany - SUNY
Program Committee Chair:
Maria Paola Bonacina Universita` degli Studi di Verona
Workshop and Competition Chair:
Christoph Benzmueller Freie Universitaet Berlin
Tutorial Chair:
Peter Baumgartner NICTA and Australian National University
Publicity and Web Chair:
Grant Olney Passmore Cambridge University and Edinburgh University
--
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-04-12
[Caml-list] Reminder: Call for Papers FMICS 2013
FMICS 2013
==========
18th International Workshop on
Formal Methods for Industrial Critical Systems
September 23-24, 2013
Madrid (Spain)
Co-located with SEFM 2013
http://lvl.info.ucl.ac.be/Fmics2013
Call for Papers
===============
Scope
-----
The aim of the FMICS workshop series is to provide a forum for
researchers who are interested in the development and application of
formal methods in industry. In particular, FMICS brings together
scientists and engineers who are active in the area of formal methods
and interested in exchanging their experiences in the industrial usage
of these methods. The FMICS workshop series also strives to promote
research and development for the improvement of formal methods and
tools for industrial applications.
Topics
------
Topics of interest include (but are not limited to):
* Design, specification, code generation and testing based on formal
methods.
* Methods, techniques and tools to support automated analysis,
certification, debugging, learning, optimization and transformation
of complex, distributed, real-time systems and embedded systems.
* Verification and validation methods that address shortcomings of
existing methods with respect to their industrial applicability
(e.g., scalability and usability issues).
* Tools for the development of formal design descriptions.
* Case studies and experience reports on industrial applications of
formal methods, focusing on lessons learned or identification of new
research directions.
* Impact of the adoption of formal methods on the development process
and associated costs.
* Application of formal methods in standardization and industrial
forums.
Paper Submission
----------------
Submissions must describe authors' original research work and their
results. Contributions should not exceed 15 pages formatted according
to the LNCS style (Springer), and should be submitted as Portable
Document Format (PDF) files using the EasyChair submission site:
https://www.easychair.org/conferences/?conf=fmics2013
All submissions must report on original research. Submitted papers
must not have previously appeared in a journal or conference with
published proceedings and must not be concurrently submitted to any
other peer-reviewed workshop, symposium, conference or archival
journal. Any partial overlap with any such published or concurrently
submitted paper must be clearly indicated.
Submissions should clearly demonstrate relevance to industrial
application. Case study papers should identify lessons learned,
validate theoretical results (such as scalability of methods), or
provide specific motivation for further research and development.
All submissions will be reviewed by the program committee who will
make a selection among the submissions based on the novelty, soundness
and applicability of the presented ideas and results. A printed
version of the proceedings will be distributed among participants
during the workshop. The proceedings of the workshop will be published
in the Springer series Lecture Notes in Computer Science (LNCS).
Participants will give a presentation of their papers in twenty
minutes, followed by a ten-minute round of questions and discussion on
participants' work.
Following the tradition of the past editions, a special issue of an
international scientific journal (Science of Computer Programming or
STTT) will be devoted to FMICS 2013. Selected participants will be
invited to submit an extended version of their papers after the
workshop. These extended versions will again be reviewed by a program
committee, which will decide on their final publication in the special
issue.
Important Dates
---------------
Paper submission: May 3rd
Notification: June 24th
Final version due: July 12th
Workshop: September 23th-24th
Program Committee
-----------------
Chairs:
Michael Dierkes (Rockwell Collins, France)
Charles Pecheur (Université catholique de Louvain, Belgium)
PC Members (confirmed):
Maria Alpuente (Universitat Politècnica de València, Spain)
Jiri Barnat (Masaryk University, Czech Republic)
Eckhard Böde (Offis, Germany)
Jean-Louis Colaço (Prover Technology, France)
Cindy Eisner (IBM, Israel)
Alessandro Fantechi (Università di Firenze, Italy)
Andrew Gacek (Rockwell Collins, USA)
Maria del Mar Gallardo (University of Málaga, Spain)
Stefania Gnesi (ISTI-CNR, Italy)
Gordon Haak (Daimler AG, Germany)
Holger Hermanns (Saarland University, Germany)
Stefan Kowalewski (RWTH Aachen, Germany)
Juliana Küster Filipe Bowles (University of St Andrews, UK)
Frédéric Lang (INRIA Grenoble Rhône-Alpes, France)
Diego Latella (ISTI-CNR, Italy)
Odile Laurent (Airbus, France)
Stefan Leue (University of Konstanz, Germany)
Amel Mammar (Telecom SudParis, France)
Tiziana Margaria (University of Potsdamm, Germany)
Radu Mateescu (INRIA Grenoble Rhône-Alpes, France)
Pedro Merino (University of Málaga, Spain)
Dave Parker (University of Birmingham, UK)
Corina Pasareanu (CMU / NASA Ames, USA)
Jan Peleska (Universität Bremen, Germany)
Ralf Pinger (Siemens AG, Germany)
Andreas Podelski (University of Freiburg, Germany)
Christophe Ponsard (CETIC, Belgium)
Marco Roveri (FBK-IRST, Italy)
Cristina Seceleanu (Mälardalen University, Sweden)
Marielle Stoelinga (University of Twente, Netherlands)
Jaco van de Pol (University of Twente, Netherlands)
[Caml-list] DBPL 2013 - Call for Papers
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 Papers
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.
Scope
-----
DBPL solicits practical and theoretical papers in all topics at the
intersection of databases and programming languages. Papers
emphasizing new topics or emerging areas are especially welcome.
Suggested, but not exclusive, topics of interest for submissions
include:
- Bidirectional programming languages
- Data exchange and data integration
- Data privacy
- Data provenance
- Databases and the semantic web
- Databases and social networking
- Databases and cloud computing
- Databases in electronic commerce
- Deductive databases and logic programming
- Information-flow type systems
- Language-integrated query mechanisms
- Managing uncertain and imprecise information
- Programming language support for databases
- Streaming data processing
- Schema mappings and metadata management
- Security in data management
- Semi-structured data and XML
- Validation and type-checking
- Web services
Author Guidelines
-----------------
Prospective authors are invited to submit papers in English presenting
original research. Submitted papers must be unpublished and not
submitted for publication elsewhere. Submissions should be no more
than 10 pages long in the [ACM SIGPLAN] format.
Each submission should begin with a succinct statement of the problem
and a summary of the main results. If the authors believe more details
are necessary to substantiate the main claims of the paper, they may
include a clearly marked appendix to be read at the discretion of the
committee. At least one author of each accepted paper must attend the
symposium to present their work.
Papers must be submitted online at the following URL:
https://www.easychair.org/conferences/?conf=dbpl13
[ACM SIGPLAN] http://www.sigplan.org/authorinformation.htm
Important Dates
---------------
- Submission: June 7, 2013 (midnight GMT)
- Notification: July 12, 2013
- Final versions due: August 2, 2013
- Symposium: August 30, 2013
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 28msec, 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 Papers
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.
Scope
-----
DBPL solicits practical and theoretical papers in all topics at the
intersection of databases and programming languages. Papers
emphasizing new topics or emerging areas are especially welcome.
Suggested, but not exclusive, topics of interest for submissions
include:
- Bidirectional programming languages
- Data exchange and data integration
- Data privacy
- Data provenance
- Databases and the semantic web
- Databases and social networking
- Databases and cloud computing
- Databases in electronic commerce
- Deductive databases and logic programming
- Information-flow type systems
- Language-integrated query mechanisms
- Managing uncertain and imprecise information
- Programming language support for databases
- Streaming data processing
- Schema mappings and metadata management
- Security in data management
- Semi-structured data and XML
- Validation and type-checking
- Web services
Author Guidelines
-----------------
Prospective authors are invited to submit papers in English presenting
original research. Submitted papers must be unpublished and not
submitted for publication elsewhere. Submissions should be no more
than 10 pages long in the [ACM SIGPLAN] format.
Each submission should begin with a succinct statement of the problem
and a summary of the main results. If the authors believe more details
are necessary to substantiate the main claims of the paper, they may
include a clearly marked appendix to be read at the discretion of the
committee. At least one author of each accepted paper must attend the
symposium to present their work.
Papers must be submitted online at the following URL:
https://www.easychair.org/conferences/?conf=dbpl13
[ACM SIGPLAN] http://www.sigplan.org/authorinformation.htm
Important Dates
---------------
- Submission: June 7, 2013 (midnight GMT)
- Notification: July 12, 2013
- Final versions due: August 2, 2013
- Symposium: August 30, 2013
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 28msec, 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-04-10
[Caml-list] LPAR-19 CFP and Workshops
===========================
LPAR-19
1st CALL FOR PAPERS
CALL FOR WORKSHOP PROPOSALS
===========================
============================================================
The 19th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
============================================================
Stellenbosch, South Africa, 14-19 December 2013
www.LPAR-19.info
This is the first call for papers for LPAR-19 and a call for workshop
proposals. Information about workshop proposals is included at the end
of this call.
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
Workshop Proposals
------------------
LPAR-19 workshops will be held on 14th December either as one-day or half-day
events. If you would like to propose a workshop for LPAR-19, please contact
the workshop chair via email (lkovacs@complang.tuwien.ac.at), by the proposal
deadline.
To help planning, workshop proposals should contain the following data:
* Name of the workshop.
* Brief description of the workshop, including workshop topics.
* Valid web address of the workshop.
* Contact information of the workshop organizers.
* An estimate of the audience size.
* Proposed format of the workshop (for example, regular talks,
tool demos, poster presentations, etc.).
* Duration of the workshop (one-day or half-day).
* Potential invited speakers (if any).
* Procedures for selecting papers and participants.
* Special technical or AV needs.
Important workshop dates
------------------------
* Workshop proposals: 15th July
* Notification of workshops proposals: 29th July
--
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
1st CALL FOR PAPERS
CALL FOR WORKSHOP PROPOSALS
===========================
============================================================
The 19th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
============================================================
Stellenbosch, South Africa, 14-19 December 2013
www.LPAR-19.info
This is the first call for papers for LPAR-19 and a call for workshop
proposals. Information about workshop proposals is included at the end
of this call.
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
Workshop Proposals
------------------
LPAR-19 workshops will be held on 14th December either as one-day or half-day
events. If you would like to propose a workshop for LPAR-19, please contact
the workshop chair via email (lkovacs@complang.tuwien.ac.at), by the proposal
deadline.
To help planning, workshop proposals should contain the following data:
* Name of the workshop.
* Brief description of the workshop, including workshop topics.
* Valid web address of the workshop.
* Contact information of the workshop organizers.
* An estimate of the audience size.
* Proposed format of the workshop (for example, regular talks,
tool demos, poster presentations, etc.).
* Duration of the workshop (one-day or half-day).
* Potential invited speakers (if any).
* Procedures for selecting papers and participants.
* Special technical or AV needs.
Important workshop dates
------------------------
* Workshop proposals: 15th July
* Notification of workshops proposals: 29th July
--
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-04-02
[Caml-list] Haskell 2013 call for submissions
===================================================================
ACM SIGPLAN
HASKELL SYMPOSIUM 2013
CALL FOR SUBMISSIONS
Boston, MA, USA, 23-24 September 2013, directly before ICFP
http://www.haskell.org/haskell-symposium/2013/
haskell2013@easychair.org
===================================================================
The ACM SIGPLAN Haskell Symposium 2013 will be colocated with the 2013
International Conference on Functional Programming (ICFP) in Boston, MA,
USA. This year, the symposium will last 2 days rather than 1 as in the
past. Thanks to broader participation from a growing community, we will
be able to include more regular papers as well as system demonstrations
and a new category of panel discussions, while upholding the scientific
quality of the symposium.
The Haskell Symposium seeks to present original research on Haskell, to
discuss practical experience and future development of the language, as
well as to promote other forms of denotative programming. Topics of
interest include
* Language Design, with a focus on possible extensions and
modifications of Haskell as well as critical discussions of the
status quo;
* Theory, such as formal semantics of the present language or
future extensions, type systems, effects, metatheory, and
foundations for program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and
distributed architectures, memory management, as well as foreign
function and component interfaces;
* Tools, such as profilers, tracers, debuggers, preprocessors, and
testing tools;
* Applications, to scientific and symbolic computing, databases,
multimedia, telecommunication, the web, and so forth;
* Functional Pearls, being elegant and instructive programming
examples;
* Experience Reports, to document general practice and experience
in education, industry, or other contexts.
Papers in the latter three categories need not necessarily report
original research results. They may report instead, for example,
reusable programming idioms, elegant ways to approach a problem,
or practical experience that will be useful to other users,
implementors, or researchers. (Links with more advice appear
on the symposium web page.) The key criterion for such a paper
is that it makes a contribution from which other Haskellers can
benefit. It is not enough simply to describe a program!
Regular papers should explain their research contributions in
both general and technical terms, identifying what has been
accomplished, explaining why it is significant, and relating it to
previous work (also for other languages where appropriate).
In addition, we solicit proposals for
* System Demonstrations (no longer than a regular paper talk),
based on running (perhaps prototype) software rather than
necessarily on novel research results.
* Panel Discussions (no shorter than a regular paper talk),
submitted by a moderator who proposes to bring together specific
panelists who have agreed to address a specific pressing issue
in the Haskell community. Panels will subsume past "Future of
Haskell" discussions.
These proposals should summarize the system capabilities that would
be demonstrated or the panelist positions that would be discussed.
The proposals should explain (and will be judged on) whether the
ensuing session is likely to be important and interesting to
the Haskell community at large, whether on grounds academic or
industrial, theoretical or practical, technical or social. Please
contact the program chair with any questions about the relevance of
a proposal.
Travel Support:
===============
Student attendees with accepted papers can apply for a SIGPLAN
PAC grant to help cover travel expenses. 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 (http://www.sigplan.org/PAC.htm).
Proceedings:
============
There will be formal proceedings published by ACM Press. Accepted
papers will be included in the ACM Digital Library. Authors
must transfer copyright to ACM upon acceptance (for government
work, to the extent transferable), but retain various rights
(http://www.acm.org/publications/policies/copyright_policy).
Authors are encouraged to publish auxiliary material with their
paper (source code, test data, etc.); they retain copyright of
auxiliary material.
Accepted demo and panel proposals will be posted on the symposium
web page, but not formally published in the proceedings.
Submission Details:
===================
* Abstract submission: Wed 12th June 2013, anywhere on earth
* Paper submission : Fri 14th June 2013, anywhere on earth
* Demo submission : Fri 14th June 2013, anywhere on earth
(prior abstract submission unnecessary)
* Panel submission : Fri 28th June 2013, anywhere on earth
(prior abstract submission unnecessary)
* Author notification: Thu 11th July 2013
* Final papers due : Thu 25th July 2013
Submitted papers should be in portable document format
(PDF), formatted using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm). The
text should be in a 9-point font in two columns. The length is
restricted to 12 pages, except for "Experience Report" papers,
which are restricted to 6 pages. Papers need not fill the page
limit -- for example, a Functional Pearl may be much shorter
than 12 pages. Each paper submission must adhere to SIGPLAN's
republication policy, as explained on the web.
Demo and panel proposals are limited to 2-page abstracts, in the
same ACM format as papers.
"Functional Pearls", "Experience Reports", "Demo Proposals", and
"Panel Proposals" should be marked as such with those words in the
title at time of submission.
The paper submission deadline and length limitations are firm.
There will be no extensions, and papers violating the length
limitations will be summarily rejected.
Submission is via EasyChair:
https://www.easychair.org/conferences/?conf=haskell2013
Programme Committee:
====================
* Andreas Abel, Ludwig-Maximilians-Universität München
* Lennart Augustsson, Standard Chartered Bank
* Jean-Philippe Bernardy, Chalmers University of Technology
* Olaf Chitil, University of Kent
* Neil Ghani, University of Strathclyde
* Hans-Wolfgang Loidl, Heriot-Watt University
* Ian Lynagh, Well-Typed LLP
* David Mazières, Stanford University
* Akimasa Morihata, Tohoku University
* Takayuki Muranushi, Kyoto University
* Keiko Nakata, Tallinn University of Technology
* Alberto Pardo, Universidad de la República
* Norman Ramsey, Tufts University
* Neil Sculthorpe, University of Kansas
* Chung-chieh Shan (chair), Indiana University
* Christina Unger, Universität Bielefeld
* Dana N. Xu, INRIA
--
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
ACM SIGPLAN
HASKELL SYMPOSIUM 2013
CALL FOR SUBMISSIONS
Boston, MA, USA, 23-24 September 2013, directly before ICFP
http://www.haskell.org/haskell-symposium/2013/
haskell2013@easychair.org
===================================================================
The ACM SIGPLAN Haskell Symposium 2013 will be colocated with the 2013
International Conference on Functional Programming (ICFP) in Boston, MA,
USA. This year, the symposium will last 2 days rather than 1 as in the
past. Thanks to broader participation from a growing community, we will
be able to include more regular papers as well as system demonstrations
and a new category of panel discussions, while upholding the scientific
quality of the symposium.
The Haskell Symposium seeks to present original research on Haskell, to
discuss practical experience and future development of the language, as
well as to promote other forms of denotative programming. Topics of
interest include
* Language Design, with a focus on possible extensions and
modifications of Haskell as well as critical discussions of the
status quo;
* Theory, such as formal semantics of the present language or
future extensions, type systems, effects, metatheory, and
foundations for program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and
distributed architectures, memory management, as well as foreign
function and component interfaces;
* Tools, such as profilers, tracers, debuggers, preprocessors, and
testing tools;
* Applications, to scientific and symbolic computing, databases,
multimedia, telecommunication, the web, and so forth;
* Functional Pearls, being elegant and instructive programming
examples;
* Experience Reports, to document general practice and experience
in education, industry, or other contexts.
Papers in the latter three categories need not necessarily report
original research results. They may report instead, for example,
reusable programming idioms, elegant ways to approach a problem,
or practical experience that will be useful to other users,
implementors, or researchers. (Links with more advice appear
on the symposium web page.) The key criterion for such a paper
is that it makes a contribution from which other Haskellers can
benefit. It is not enough simply to describe a program!
Regular papers should explain their research contributions in
both general and technical terms, identifying what has been
accomplished, explaining why it is significant, and relating it to
previous work (also for other languages where appropriate).
In addition, we solicit proposals for
* System Demonstrations (no longer than a regular paper talk),
based on running (perhaps prototype) software rather than
necessarily on novel research results.
* Panel Discussions (no shorter than a regular paper talk),
submitted by a moderator who proposes to bring together specific
panelists who have agreed to address a specific pressing issue
in the Haskell community. Panels will subsume past "Future of
Haskell" discussions.
These proposals should summarize the system capabilities that would
be demonstrated or the panelist positions that would be discussed.
The proposals should explain (and will be judged on) whether the
ensuing session is likely to be important and interesting to
the Haskell community at large, whether on grounds academic or
industrial, theoretical or practical, technical or social. Please
contact the program chair with any questions about the relevance of
a proposal.
Travel Support:
===============
Student attendees with accepted papers can apply for a SIGPLAN
PAC grant to help cover travel expenses. 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 (http://www.sigplan.org/PAC.htm).
Proceedings:
============
There will be formal proceedings published by ACM Press. Accepted
papers will be included in the ACM Digital Library. Authors
must transfer copyright to ACM upon acceptance (for government
work, to the extent transferable), but retain various rights
(http://www.acm.org/publications/policies/copyright_policy).
Authors are encouraged to publish auxiliary material with their
paper (source code, test data, etc.); they retain copyright of
auxiliary material.
Accepted demo and panel proposals will be posted on the symposium
web page, but not formally published in the proceedings.
Submission Details:
===================
* Abstract submission: Wed 12th June 2013, anywhere on earth
* Paper submission : Fri 14th June 2013, anywhere on earth
* Demo submission : Fri 14th June 2013, anywhere on earth
(prior abstract submission unnecessary)
* Panel submission : Fri 28th June 2013, anywhere on earth
(prior abstract submission unnecessary)
* Author notification: Thu 11th July 2013
* Final papers due : Thu 25th July 2013
Submitted papers should be in portable document format
(PDF), formatted using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm). The
text should be in a 9-point font in two columns. The length is
restricted to 12 pages, except for "Experience Report" papers,
which are restricted to 6 pages. Papers need not fill the page
limit -- for example, a Functional Pearl may be much shorter
than 12 pages. Each paper submission must adhere to SIGPLAN's
republication policy, as explained on the web.
Demo and panel proposals are limited to 2-page abstracts, in the
same ACM format as papers.
"Functional Pearls", "Experience Reports", "Demo Proposals", and
"Panel Proposals" should be marked as such with those words in the
title at time of submission.
The paper submission deadline and length limitations are firm.
There will be no extensions, and papers violating the length
limitations will be summarily rejected.
Submission is via EasyChair:
https://www.easychair.org/conferences/?conf=haskell2013
Programme Committee:
====================
* Andreas Abel, Ludwig-Maximilians-Universität München
* Lennart Augustsson, Standard Chartered Bank
* Jean-Philippe Bernardy, Chalmers University of Technology
* Olaf Chitil, University of Kent
* Neil Ghani, University of Strathclyde
* Hans-Wolfgang Loidl, Heriot-Watt University
* Ian Lynagh, Well-Typed LLP
* David Mazières, Stanford University
* Akimasa Morihata, Tohoku University
* Takayuki Muranushi, Kyoto University
* Keiko Nakata, Tallinn University of Technology
* Alberto Pardo, Universidad de la República
* Norman Ramsey, Tufts University
* Neil Sculthorpe, University of Kansas
* Chung-chieh Shan (chair), Indiana University
* Christina Unger, Universität Bielefeld
* Dana N. Xu, INRIA
--
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] APLAS 2013 call for papers
===============================================================
APLAS 2013
11th Asian Symposium on Programming Languages and Systems
9-11 December 2013
Melbourne, Australia (colocated with CPP 2013)
CALL FOR PAPERS
===============================================================
==========
BACKGROUND
==========
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.
APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA. Past APLAS symposiums were successfully held
in Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore
('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and
Beijing ('03) after three informal workshops. Proceedings of the past
symposiums were published in Springer's LNCS.
======
TOPICS
======
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics such
as
* semantics, logics, foundational theory;
* design of languages, type systems and foundational calculi;
* domain-specific languages;
* compilers, interpreters, abstract machines;
* program derivation, synthesis and transformation;
* program analysis, verification, model-checking;
* logic, constraint, probabilistic and quantum programming;
* software security;
* concurrency and parallelism;
* tools and environments for programming and implementation.
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool presentations
category. Authors concerned about the appropriateness of a topic
are welcome to consult with program chair prior to submission.
==========
SUBMISSION
==========
We solicit submissions in two categories:
*Regular research papers* describing original scientific research
results, including tool development and case studies. Regular
research papers should not exceed 16 pages in the Springer LNCS
format, including bibliography and figures. They should clearly
identify what has been accomplished and why it is significant.
Submissions will be judged on the basis of significance, relevance,
correctness, originality, and clarity. In case of lack of space,
proofs, experimental results, or any information supporting the
technical results of the paper could be provided as an appendix or a
link to a web page, but reviewers are not obliged to read them.
*System and Tool presentations* describing systems or tools that support
theory, program construction, reasoning, or program execution in the
scope of APLAS. System and Tool presentations are expected to be
centered around a demonstration. The paper and the demonstration
should identify the novelties of the tools and use motivating
examples. System and Tool papers should not exceed 8 pages in the
Springer LNCS format, including bibliography and figures. Submissions
will be judged based on both the papers and the described systems or
tools. It is highly desirable that the tools are available on the
web.
Papers should be submitted electronically via the submission web page:
https://www.easychair.org/conferences/?conf=aplas2013
Acceptable formats are PostScript or PDF. Submitted papers must be
unpublished and not submitted for publication elsewhere. Papers must
be written in English. The proceedings will be published as a volume
in Springer's LNCS series. Accepted papers must be presented at the
conference. (While the general chair and the program chair cannot
submit papers, other members of the program committee can.)
=====
DATES
=====
Abstract due: 10 June 2013 (Monday), 23:59 UTC
Submission due: 14 June 2013 (Friday), 23:59 UTC
Notification: 26 August 2013 (Monday)
Final paper due: 19 September 2013 (Thursday)
Conference: 9-11 December 2013 (Monday-Wednesday)
==========
ORGANIZERS
==========
General chair:
Peter Schachte (University of Melbourne)
Program chair:
Chung-chieh Shan (Indiana University)
Program committee:
Filippo Bonchi (CNRS, ENS-Lyon, France)
Yu-Fang Chen (Academia Sinica, Taiwan)
Shigeru Chiba (The University of Tokyo, Japan)
Jacques Garrigue (Nagoya University, Japan)
Robert Glück (University of Copenhagen, Denmark)
R. Govindarajan (Indian Institute of Science, India)
Kazuhiro Inaba (Google, Inc., Japan)
Jie-Hong Roland Jiang (National Taiwan University, Taiwan)
Shin-ya Katsumata (Kyoto University, Japan)
Gabriele Keller (University of New South Wales, Australia)
Ana Milanova (Rensselaer Polytechnic Institute, USA)
Keisuke Nakano (The University of Electro-Communications, Japan)
Hakjoo Oh (Seoul National University, Korea)
Bruno C. d. S. Oliveira (National University of Singapore, Singapore)
Kaushik Rajan (Microsoft Research, India)
Max Schäfer (Nanyang Technological University, Singapore)
Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany)
Paula Severi (University of Leicester, UK)
Gang Tan (Lehigh University, USA)
Hiroshi Unno (University of Tsukuba, Japan)
Meng Wang (Chalmers University of Technology, Sweden)
Jingling Xue (University of New South Wales, Australia)
Mingsheng Ying (University of Technology, Sydney, Australia)
Kenny Q. Zhu (Shanghai Jiao Tong University, China)
=======
CONTACT
=======
http://aplas2013.soic.indiana.edu/ aplas2013@easychair.org
--
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
APLAS 2013
11th Asian Symposium on Programming Languages and Systems
9-11 December 2013
Melbourne, Australia (colocated with CPP 2013)
CALL FOR PAPERS
===============================================================
==========
BACKGROUND
==========
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.
APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA. Past APLAS symposiums were successfully held
in Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore
('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and
Beijing ('03) after three informal workshops. Proceedings of the past
symposiums were published in Springer's LNCS.
======
TOPICS
======
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics such
as
* semantics, logics, foundational theory;
* design of languages, type systems and foundational calculi;
* domain-specific languages;
* compilers, interpreters, abstract machines;
* program derivation, synthesis and transformation;
* program analysis, verification, model-checking;
* logic, constraint, probabilistic and quantum programming;
* software security;
* concurrency and parallelism;
* tools and environments for programming and implementation.
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool presentations
category. Authors concerned about the appropriateness of a topic
are welcome to consult with program chair prior to submission.
==========
SUBMISSION
==========
We solicit submissions in two categories:
*Regular research papers* describing original scientific research
results, including tool development and case studies. Regular
research papers should not exceed 16 pages in the Springer LNCS
format, including bibliography and figures. They should clearly
identify what has been accomplished and why it is significant.
Submissions will be judged on the basis of significance, relevance,
correctness, originality, and clarity. In case of lack of space,
proofs, experimental results, or any information supporting the
technical results of the paper could be provided as an appendix or a
link to a web page, but reviewers are not obliged to read them.
*System and Tool presentations* describing systems or tools that support
theory, program construction, reasoning, or program execution in the
scope of APLAS. System and Tool presentations are expected to be
centered around a demonstration. The paper and the demonstration
should identify the novelties of the tools and use motivating
examples. System and Tool papers should not exceed 8 pages in the
Springer LNCS format, including bibliography and figures. Submissions
will be judged based on both the papers and the described systems or
tools. It is highly desirable that the tools are available on the
web.
Papers should be submitted electronically via the submission web page:
https://www.easychair.org/conferences/?conf=aplas2013
Acceptable formats are PostScript or PDF. Submitted papers must be
unpublished and not submitted for publication elsewhere. Papers must
be written in English. The proceedings will be published as a volume
in Springer's LNCS series. Accepted papers must be presented at the
conference. (While the general chair and the program chair cannot
submit papers, other members of the program committee can.)
=====
DATES
=====
Abstract due: 10 June 2013 (Monday), 23:59 UTC
Submission due: 14 June 2013 (Friday), 23:59 UTC
Notification: 26 August 2013 (Monday)
Final paper due: 19 September 2013 (Thursday)
Conference: 9-11 December 2013 (Monday-Wednesday)
==========
ORGANIZERS
==========
General chair:
Peter Schachte (University of Melbourne)
Program chair:
Chung-chieh Shan (Indiana University)
Program committee:
Filippo Bonchi (CNRS, ENS-Lyon, France)
Yu-Fang Chen (Academia Sinica, Taiwan)
Shigeru Chiba (The University of Tokyo, Japan)
Jacques Garrigue (Nagoya University, Japan)
Robert Glück (University of Copenhagen, Denmark)
R. Govindarajan (Indian Institute of Science, India)
Kazuhiro Inaba (Google, Inc., Japan)
Jie-Hong Roland Jiang (National Taiwan University, Taiwan)
Shin-ya Katsumata (Kyoto University, Japan)
Gabriele Keller (University of New South Wales, Australia)
Ana Milanova (Rensselaer Polytechnic Institute, USA)
Keisuke Nakano (The University of Electro-Communications, Japan)
Hakjoo Oh (Seoul National University, Korea)
Bruno C. d. S. Oliveira (National University of Singapore, Singapore)
Kaushik Rajan (Microsoft Research, India)
Max Schäfer (Nanyang Technological University, Singapore)
Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany)
Paula Severi (University of Leicester, UK)
Gang Tan (Lehigh University, USA)
Hiroshi Unno (University of Tsukuba, Japan)
Meng Wang (Chalmers University of Technology, Sweden)
Jingling Xue (University of New South Wales, Australia)
Mingsheng Ying (University of Technology, Sydney, Australia)
Kenny Q. Zhu (Shanghai Jiao Tong University, China)
=======
CONTACT
=======
http://aplas2013.soic.indiana.edu/ aplas2013@easychair.org
--
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)