[Caml-list] LPAR-17 call for short papers, workshop submissions

============================================================
The 17th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
Yogyakarta, Indonesia - October 10th-15th, 2010
============================================================
http://www.computational-logic.org/lpar-17/Home.html

CALL FOR SHORT PAPERS

In keeping with the tradition of LPAR, researchers and practioners are
encouraged to submit short papers reporting on interesting work in progress or
providing system descriptions. They need not be original. Extended versions of
the short papers may be submitted concurrently with or after LPAR-17 to another
conference or a journal. The short paper proceedings will be available as an
EasyChair collection volume.

Short papers are limited in length to 5 pages in the EasyChair format. Short
papers must be submitted through the EasyChair system using the web page ...
http://www.easychair.org/conferences/?conf=lpar17short

Submission deadline: 30 August 2010
Notification: 6 September 2010

===============================================================================
LPAR-17 WORKSHOPS October 10th, 2010

==========================================================================
IWIL 2010 - The 8th International Workshop on the Implementation of Logics
==========================================================================
http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html

IWIL has been unusually sucessful in bringing together many talented
developers, and thus in sharing information about successful implementation
techniques for automated reasoning systems and similar programs. We are
looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies.

Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to
15 pages), in EasyChair format. Submission is via EasyChair ...
http://www.easychair.org/conferences/?conf=iwil2010

Submission deadline: 9 August 2010
Notification: 27 August 2010

============================================================
APS 5 - 5th International Workshop on Analytic Proof Systems
============================================================
http://www.logic.at/staff/chrisf/ws/LPAR-AS-5.html

Analyticity is a topic that connects foundational issues in logic with
applications, mainly in automated deduction and analysis of proofs. The
workshop is primarily intended to enhance awareness for its topic and to
promote corresponding discussions and contacts between experienced experts
and younger colleagues. The submission deadline is 10th September.

Submissions are 1-2 page abstracts. Submissions must be emailed to ...
analytic@logic.at

Submission deadline: 10 September 2010
Notification: 15 September 2010

===============================================================================

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] IFL 2010, Submission and Registration now open

3RD CALL FOR PAPERS and 1ST CALL FOR PARTICIPATION

22nd Symposium on Implementation and Application
of Functional Languages (IFL 2010)
September 1-3, 2010
Utrecht University
Alphen aan den Rijn, The Netherlands
http://www.cs.uu.nl/ifl2010

**********************************************************************
** Submission and Registration are now both OPEN **
** **
** Submission closes July 25, Registration closes August 1 **
**********************************************************************

** If you intend to participate in IFL 2010,
** help us by registering as soon as possible.

After a first successful visit to the USA, the Symposium on
Implementation and Application of Functional Languages returns to
Europe for its 22nd edition. The hosting institution is Utrecht
University in the Netherlands, although the conference itself will
take place in the ornithological theme park Avifauna in Alphen aan den
Rijn, situated conveniently close to Schiphol (Amsterdam Airport). The
symposium dates are September 1-3, 2010.

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 2010 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 2010 will use a post-symposium review
process to produce formal proceedings which will be published by
Springer Verlag in the Lecture Notes in Computer Science series. All
participants in IFL 2010 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. Here we follow the ACM Sigplan
republication policy as defined on
http://www.sigplan.org/republicationpolicy.htm.
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. 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. These
revised submissions will be reviewed by the program committee using
prevailing academic standards to select the best articles, which will
appear in the formal proceedings.

INVITED SPEAKER

Johan Nordlander of Lulea University, the designer and developer of
the Timber language, is the invited speaker at IFL 2010. Timber is a
functional programming language that draws some of its concepts from
object-oriented programming, and has built-in facilities for
concurrent execution. The language is specifically targeted at
implementing real-time embedded systems.

TOPICS

IFL welcomes submissions describing practical and theoretical work as
well as submissions describing applications and tools. If you are not
sure that your work is appropriate for IFL 2010, please contact the PC
chair at jur@cs.uu.nl. Topics of interest include, but are not limited
to:

language concepts
type checking
contracts
compilation techniques
staged compilation
runtime function specialization
runtime code generation
partial evaluation
(abstract) interpretation
generic programming techniques
automatic program generation
array processing
concurrent/parallel programming
concurrent/parallel program execution
functional programming and embedded systems
functional programming and web applications
functional programming and security
novel memory management techniques
runtime profiling and performance measurements
debugging and tracing
virtual/abstract machine architectures
validation and verification of functional programs
tools and programming techniques
industrial applications of functional programming

PAPER SUBMISSIONS

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,
conform to the Springer-Verlag LNCS series format and not exceed 16
pages. The draft proceedings will appear as a technical report of the
Department of Computer Science of Utrecht University.

SPONSORS

IFL 2010 is sponsored by Microsoft Research. As a result we can offer
decreased participation fees for Master students and PhD students who
plan to attend or present at IFL 2010.

PETER LANDIN PRIZE

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored 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.

IMPORTANT DATES

Draft proceedings submission deadline July 25, 2010
Registration deadline August 1, 2010
IFL 2010 Symposium September 1-3, 2010
Submission for review process deadline October 25, 2010
Notification Accept/Reject December 22, 2010
Camera ready version February 17, 2011

PROGRAM COMMITTEE

Jost Berthold University of Copenhagen (DIKU), Denmark
Olaf Chitil University of Kent, UK
John Clements California Polytechnic State University, USA
Matthew Fluet Rochester Institute of Technology, USA
Andy Gill Kansas University, USA
Jurriaan Hage (Chair) University of Utrecht, Netherlands
Bastiaan Heeren Open University, Netherlands
Ralf Hinze University of Oxford, UK
John Hughes Chalmers University of Technology, Sweden
Yukiyoshi Kameyama University of Tsukuba, Japan
Gabriele Keller University of New South Wales, Australia
Pieter Koopman Radboud University Nijmegen, Netherlands
Luc Maranget INRIA, France
Simon Marlow Microsoft Research, UK
Marco T. Morazán Seton Hall University, USA
Rex Page University of Oklahoma, USA
Ricardo Peña Universidad Complutense de Madrid, Spain
Sven-Bodo Scholz University of Hertfordshire, UK
Tom Schrijvers Catholic University of Leuven, Belgium
Don Stewart Galois, USA
Wouter Swierstra Vector Fabrics, Netherlands
Don Syme Microsoft, UK
Peter Thiemann University of Freiburg, Germany
Phil Trinder Heriott-Watt University, Scotland
Janis Voigtländer University of Bonn, Germany
Viktória Zsók Eötvös Loránd University, Hungary

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] LOPSTR/PPDP 2010 Final Call for Participation

[Apologize for multiple copies]
====================================================================

*** CALL FOR PARTICIPATION ***

LOPSTR 2010
20th International Symposium on
Logic-Based Program Synthesis and Transformation
http://www.risc.jku.at/conferences/lopstr2010/
July 23-25, 2010

PPDP 2010
12th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
http://www.risc.jku.at/conferences/ppdp2010/
July 26-28, 2010

Hagenberg, Austria

====================================================================

IMPORTANT INFORMATION

Early registration deadline (for both conferences): July 12, 2010

--------------------------------------------------------------------

LOPSTR 2010 INVITED SPEAKERS:

- Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
- Olivier Danvy (University of Aarhus, Denmark)
- Johann Schumann (RIACS/NASA Ames Research Center, USA)

LOPSTR 2010 PROGRAM:

http://www.risc.jku.at/conferences/lopstr2010/program.html

--------------------------------------------------------------------

PPDP 2010 INVITED SPEAKERS:

- Maria Paola Bonacina (University of Verona, Italy)
- Sumit Gulwani (Microsoft Research)

PPDP 2010 PROGRAM:

http://www.risc.jku.at/conferences/ppdp2010/program.html

--------------------------------------------------------------------

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] TLDI 2011 Call For Papers

TLDI 2011

CALL FOR PAPERS

The Sixth ACM SIGPLAN Workshop on
Types in Language Design and Implementation

Austin, Texas, USA
Tuesday, January 25, 2011
(Co-located with POPL 2011)

http://www.mpi-sws.org/~dreyer/tldi2011/

Submission Deadline: October 11, 2010

The role of types and proofs in all aspects of language design,
compiler construction, and software development has expanded greatly
in recent years. Type systems, type-based analyses and type-theoretic
deductive systems have been central to advances in compilation
techniques for modern programming languages, verification of safety
and security properties of programs, program transformation and
optimization, and many other areas. The ACM SIGPLAN Workshop on Types
in Language Design and Implementation brings researchers together to
share new ideas and results concerning all aspects of types and
programming, and is now an annual event. TLDI 2011 is the sixth
workshop in the series and will be co-located with POPL in Austin,
Texas in January 2011.

Submissions for TLDI 2011 are invited on all interactions of types
with language design, implementation, and programming methodology.
This includes both practical applications and theoretical aspects.
TLDI 2011 specifically encourages papers from a broad field of
programming language and compiler researchers, including those working
on object-oriented or dynamic languages, systems programming,
mobile-code or security, as well as traditional fully-static type
systems. Topics of interest include:

* Typed intermediate languages and type-directed compilation
* Type-based language support for safety and security
* Types for interoperability
* Type systems for system programming languages
* Type-based program analysis, transformation, and optimization
* Dependent types and type-based proof assistants
* Types for security protocols, concurrency, and distributed
computing
* Type inference and type reconstruction
* Type-based specifications of data structures and program
invariants
* Type-based memory management
* Proof-carrying code and certifying compilation
* Types and objects

This is not meant to be an exhaustive list; papers on novel
utilizations of type information are welcome. Authors concerned about
the suitability of a topic are encouraged to inquire via electronic
mail to the program chair prior to submission.

Submission Guidelines:

Authors should submit a full paper of no more than 12 pages (including
bibliography and appendices) by Monday, October 11, 2010. The
submission deadline and length limitations are firm. Submissions that
do not meet these guidelines will not be considered.

All submissions should be in standard ACM SIGPLAN conference format:
two columns, nine-point font on a ten-point baseline. Detailed
formatting guidelines are available on the SIGPLAN Author Information
page, along with a LaTeX class file and template.

Papers must be submitted electronically via the workshop website
(http://www.mpi-sws.org/~dreyer/tldi2011/) in Adobe Portable Document
Format (PDF) and must be formatted for US Letter size (8.5"x11")
paper. Authors for whom this is a hardship should contact the program
chair before the deadline.

Submitted papers must adhere to the SIGPLAN Republication Policy.
Submissions should contain original research not published or
submitted for publication elsewhere.

Publication:

As in previous years, accepted papers will be published by the ACM and
appear in the ACM digital library. A printed proceedings will be
available at the workshop.

Important Dates:

- Submission deadline: October 11, 2010 (Monday), 21:00 Samoa-Apia Time
- Notification: November 8, 2010 (Monday)
- Final versions due: November 22, 2010 (Monday)
- Workshop: January 25, 2011 (Tuesday)

General Chair:

Stephanie Weirich
University of Pennsylvania
sweirich at cis dot upenn dot edu

Program Chair:

Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS)
dreyer at mpi-sws dot org

Program Committee:

Thorsten Altenkirch (University of Nottingham)
Fritz Henglein (University of Copenhagen)
Michael Hicks (University of Maryland, College Park)
Limin Jia (Carnegie Mellon University)
Mark Jones (Portland State University)
Neel Krishnaswami (Microsoft Research, Cambridge)
Paul-André Melliès (CNRS & Université Paris Diderot)
Aleks Nanevski (IMDEA Software, Madrid)
Benjamin Pierce (University of Pennsylvania)
Tachio Terauchi (Tohoku University)
Sam Tobin-Hochstadt (Northeastern University)

Steering Committee:

Amal Ahmed (Indiana University)
Nick Benton (Microsoft Research, Cambridge)
Derek Dreyer (MPI-SWS)
Robert Harper (Carnegie Mellon University, chair)
Andrew Kennedy (Microsoft Research, Cambridge)
Francois Pottier (INRIA Rocquencourt)
Zhong Shao (Yale University)
Stephanie Weirich (University of Pennsylvania)

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs