[Caml-list] TLDI 2009: call for papers

[Just a quick reminder that the TLDI deadline is Oct 8th...]

*********************************************************************
CALL FOR PAPERS

TLDI 2009

ACM SIGPLAN Workshop on
Types in Language Design and Implementation

24 January 2009
Savannah, Georgia, USA

To be held in conjunction with POPL 2009

http://ttic.uchicago.edu/~amal/tldi2009/
*********************************************************************

IMPORTANT DATES

Submission: 8 Oct 2008, 5PM EDT (Wed)
Notification: 8 Nov 2008 (Sat)
Camera ready: 19 Nov 2008 (Wed)
TLDI'09: 24 January 2009 (Sat)

SCOPE

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 analyses, and formal deduction
have led to new concepts in compilation techniques for modern
programming languages, verification of safety and security properties
of programs, program transformation and optimization, and many other
areas. In light of this expanding role of types, the ACM SIGPLAN
Workshop on Types in Language Design and Implementation (TLDI'09)
follows six previous International Workshops on types in compilation
and language design (TIC'97, TIC'98, TIC'00, TLDI'03, TLDI'05, and
TLDI'07), with the hope of bringing together researchers to share new
ideas and results in this area.

Submissions for this event are invited on all interactions of types
with language design, implementation, and programming methodology.
This includes both practical applications and theoretical aspects.
TLDI'09 specifically encourages papers from a broad field of
programming language and compiler researchers, including those working
in object-oriented, dynamically-typed, late-binding, systems
programming, and mobile-code paradigms, 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

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 Wednesday, October 8, 2008 5PM Eastern
Daylight Savings Time. 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:

http://www.sigplan.org/authorInformation.htm

Papers must be submitted 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:

http://www.sigplan.org/republicationpolicy.htm

Submissions should contain original research not published or
submitted for publication elsewhere.

The URL for submission will be announced closer to the deadline.

GENERAL CHAIR

Andrew Kennedy Microsoft Research, Cambridge

PROGRAM CHAIR

Amal Ahmed Toyota Technological Institute, Chicago

PROGRAM COMMITTEE

Amal Ahmed Toyota Technological Institute, Chicago (Chair)
Juan Chen Microsoft Research
Peter Dybjer Chalmers University of Technology
Jeff Foster University of Maryland, College Park
Neal Glew Intel
Robert Harper Carnegie Mellon University
Andrew Myers Cornell University
Atsushi Ohori Tohoku University
Matthew Parkinson University of Cambridge
Didier Remy INRIA Paris-Rocquencourt
Andreas Rossberg Max Planck Institute for Software Systems

STEERING COMMITTEE

Craig Chambers University of Washington
Robert Harper Carnegie Mellon University (Chair)
Xavier Leroy INRIA Paris-Rocquencourt
Greg Morrisett Harvard University
George Necula Rinera Networks and UC Berkeley
Atsushi Ohori Tohoku University
Francois Pottier INRIA Paris-Rocquencourt
Zhong Shao Yale University

_______________________________________________
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] DAMP 2009: Call for Papers

C a l l f o r P a p e r s

DAMP 2009: Workshop on Declarative Aspects of Multicore
Programming

Savannah, Georgia, USA --- January 20, 2009
(co-located with POPL 2009)

DAMP 2009 is the fourth in a series of one-day workshops seeking to
explore
ideas in programming language design that will greatly simplify
programming
for multicore architectures, and more generally for tightly coupled
parallel
architectures. DAMP 2009 is co-located with the ACM SIGPLAN - SIGACT
Symposium on Principles of Programming Languages (POPL 2009).

The emphasis will be on functional and (constraint-)logic
programming, but
any programming language ideas that aim to raise the level of
abstraction
are welcome. DAMP seeks to gather together researchers in
declarative
approaches to parallel programming and to foster cross
fertilization across
different approaches.

For further information, a CFP flyer, and details on paper
submissions, see

http://www.cse.unsw.edu.au/~pls/damp09/

Paper submission deadline is 10th October 2008!

_______________________________________________
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] Workshop on Generic Programming: Call for Participation (co-located w/ ICFP08)

Dear all,

the Workshop on Generic Programming is only a few days away: 20th
September 2008 (http://www.regmaster.com/conf/icfp2008.html).

==> Invited talk: The Generic Paradigm
==> Lambert Meertens (Utrecht University)

==> We have reserved 20 minutes for *lightning talks*. If you plan to
==> attend and if you would like to give a short talk (about half-baked,
==> exciting, new stuff) please drop me a short note. Slots will be
==> reserved on a first-come-first-serve basis.

Looking forward to seeing you in Victoria, Ralf Hinze

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

CALL FOR PARTICIPATION

Workshop on Generic Programming 2008

Victoria, Canada, 20th September 2008

http://www.comlab.ox.ac.uk/ralf.hinze/wgp2008/cfp.{html,pdf,ps,txt}

The Workshop on Generic Programming is sponsored by ACM SIGPLAN
and forms part of ICFP 2008. Previous Workshops on Generic
Programming have been held in Marstrand (affiliated with MPC),
Ponte de Lima (affiliated with MPC), Nottingham (informal
workshop), Dagstuhl (IFIP WG2.1 Working Conference), Oxford
(informal workshop), Utrecht (informal workshop), and Portland
(affiliated with ICFP).

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

Preliminary program
-------------------

9:00 - 10:00, Session Chair: Ralf Hinze (University of Oxford)

Welcome

Invited talk: The Generic Paradigm
Lambert Meertens (Utrecht University)

10:30 - 12:00, Session Chair: Jeremy Gibbons (University of Oxford)

A Functional Model-View-Controller Software Architecture for
Command-oriented Programs
Alley Stoughton (Kansas State University)

A Lightweight Approach to Datatype-Generic Rewriting
Thomas van Noort (Radboud University Nijmegen), Alexey Rodriguez,
Stefan Holdermans (Utrecht University), Johan Jeuring (Utrecht
University and Open University of the Netherlands), Bastiaan
Heeren (Open University of the Netherlands)

Lightning talks

13:30 - 15:00, Session Chair: Ralf Hinze (University of Oxford)

Report from the program chair
Ralf Hinze (University of Oxford)

Scala for Generic Programmers
Bruno C. d. S. Oliveira, Jeremy Gibbons (University of Oxford)

A Comparison of C++ Concepts and Haskell Type Classes
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle
Schupp, Andreas Priesnitz (Chalmers University of Technology and
University of Gothenburg)

Lightning talks

15:30 - 17:30, Session Chair: Patrik Jansson (Chalmers University of
Technology and University of Gothenburg)

Polytypic Programming in Coq
Wendy Verbruggen, Edsko de Vries, Arthur Hughes (Trinity College
Dublin)

Bialgebra Views: A Way for Polytypic Programming to Cohabit with
Data Abstraction
Pablo Nogueira, Juan Jose Moreno-Navarro (Universidad Politecnica
de Madrid)

Discussion

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

_______________________________________________
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 2009 Call for Papers

*********************************************************************
CALL FOR PAPERS

TLDI 2009

ACM SIGPLAN Workshop on
Types in Language Design and Implementation

24 January 2009
Savannah, Georgia, USA

To be held in conjunction with POPL 2009

http://ttic.uchicago.edu/~amal/tldi2009/
*********************************************************************

IMPORTANT DATES

Submission: 8 Oct 2008, 5PM EDT (Wed)
Notification: 8 Nov 2008 (Sat)
Camera ready: 19 Nov 2008 (Wed)
TLDI'09: 24 January 2009 (Sat)

SCOPE

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 analyses, and formal deduction
have led to new concepts in compilation techniques for modern
programming languages, verification of safety and security properties
of programs, program transformation and optimization, and many other
areas. In light of this expanding role of types, the ACM SIGPLAN
Workshop on Types in Language Design and Implementation (TLDI'09)
follows six previous International Workshops on types in compilation
and language design (TIC'97, TIC'98, TIC'00, TLDI'03, TLDI'05, and
TLDI'07), with the hope of bringing together researchers to share new
ideas and results in this area.

Submissions for this event are invited on all interactions of types
with language design, implementation, and programming methodology.
This includes both practical applications and theoretical aspects.
TLDI'09 specifically encourages papers from a broad field of
programming language and compiler researchers, including those working
in object-oriented, dynamically-typed, late-binding, systems
programming, and mobile-code paradigms, 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

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 Wednesday, October 8, 2008 5PM Eastern
Daylight Savings Time. 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:

http://www.sigplan.org/authorInformation.htm

Papers must be submitted 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:

http://www.sigplan.org/republicationpolicy.htm

Submissions should contain original research not published or
submitted for publication elsewhere.

The URL for submission will be announced closer to the deadline.

GENERAL CHAIR

Andrew Kennedy Microsoft Research, Cambridge

PROGRAM CHAIR

Amal Ahmed Toyota Technological Institute, Chicago

PROGRAM COMMITTEE

Amal Ahmed Toyota Technological Institute, Chicago (Chair)
Juan Chen Microsoft Research
Peter Dybjer Chalmers University of Technology
Jeff Foster University of Maryland, College Park
Neal Glew Intel
Robert Harper Carnegie Mellon University
Andrew Myers Cornell University
Atsushi Ohori Tohoku University
Matthew Parkinson University of Cambridge
Didier Remy INRIA Paris-Rocquencourt
Andreas Rossberg Max Planck Institute for Software Systems

STEERING COMMITTEE

Craig Chambers University of Washington
Robert Harper Carnegie Mellon University (Chair)
Xavier Leroy INRIA Paris-Rocquencourt
Greg Morrisett Harvard University
George Necula Rinera Networks and UC Berkeley
Atsushi Ohori Tohoku University
Francois Pottier INRIA Paris-Rocquencourt
Zhong Shao Yale University

_______________________________________________
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] Final CFP and extended deadline IFL 2008

********************************************************************************
*
* FINAL CALL FOR PAPERS -- EXTENDED DEADLINE!!
* CALL FOR PARTICIPATION
*
* 20th International Symposium on the
* Implementation and Application of Functional Languages
* IFL 2008
* 10-12.Sept 2008, Hatfield UK
*
* http://events.sac-home.org/ifl2008/
*
********************************************************************************

UPDATED DEADLINES:

* Submission for draft proceedings: NOW 1. Sept
* Early Registration: NOW 2. Sept

Please note, that the draft proceedings do NOT require full papers; extended
abstracts will be considered too.

********************************************************************************

The aim of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. They provide an open forum for researchers who wish
to present and discuss new ideas and concepts, work in progress, preliminary
results, etc. related primarily but not exclusively to the implementation and
application of functional languages. Formal proceedings are produced after
the symposium, so that authors can incorporate the feedback from discussions
at the symposium in their published papers.

Topics
======

Topics of interest include, but are not limited to:

* language concepts
* type checking
* compilation techniques
* (abstract) interpretation
* generic programming techniques
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* functional programming on embedded systems
* functional programming on multi-cores/ many-cores
* heap management
* runtime profiling
* performance measurements
* debugging and tracing
* (abstract) machine architectures
* verification
* formal aspects
* tools and programming techniques

Papers on applications or tools demonstrating the suitability of novel ideas
in any of the above areas and contributions on related theoretical work are
also welcomed. The change of the symposium name adding the term application,
introduced in 2004, is to reflect the broader scope IFL has gained over
the years.

Paper Submissions
=================

Prospective authors are encouraged to submit papers 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 School of Computer Science of the University of Hertfordshire.

Attendees of IFL 2008 will have the opportunity to submit a revised version
of their paper for post-symposium reviewing. As in previous years, we hope
that selected papers will be published by Springer Verlag in the Lecture
Notes in Computer Science (LNCS) Series.

The Peter Landin Prize
======================

Since 2002 every year the Peter Landin Prize of 150 GBP is awarded to the
best paper presented at the symposium, as selected by the program committee.

Important Dates
===============

* Submission for draft proceedings: NOW 1. Sept.
* Early Registration: NOW 2. Sept.
* Symposium: 10-12. September
* Submission for post-refereeing: 14. November
* Notification of acceptance / rejection: 23. January 2009
* Submission of a camera ready version: 20. February 2009

Contact
=======

For further details see <http://events.sac-home.org/ifl2008/> or contact
us by email: events <at> sac-home.org

_______________________________________________
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] DEFUN 2008 (Developer Tracks on Functional Programming): Call for participation

ACM SIGPLAN 2008 Developer Tracks on Functional Programming
http://www.deinprogramm.de/defun-2008/
Victoria, BC, Canada, 25, 27 September, 2008
Held in conjunction with ICFP 2008:
http://www.icfpconference.org/icfp2008/

DEFUN 2008 is the event for developers using functional languages:
Recognized experts on functional programming technologies share their
knowledge and professional skills in talks and tutorials in 10 exciting
tracks. Find out how to best make functional programming work in your
development project! Acquire new development skills! Learn about other
functional languages!

The DEFUN program (attached) has tracks with the following types of
presentations:

- Half-day general language tutorials for specific functional languages,
given by recognized experts for the respective languages.

- Half-day tutorials on specific techniques or the use of specific
technologies in functional programming.

- 45-minute "how-to" talks that provide specific information on how to
solve specific problems using functional programming. These talks
focus on concrete examples, but provide useful information for
developers working on different projects or in different contexts.

The developer tracks are complementary to ICFP itself (which is for
researchers). They are anchored by CUFP, the Haskell Symposium, and the
Erlang workshop.

Organizers
Kathleen Fisher AT&T Labs
Simon Peyton Jones Microsoft Research
Mike Sperber (co-chair) DeinProgramm
Don Stewart (co-chair) Galois

PROGRAM:

Note: The sessions of a given morning or afternoon are concurrent. The
markers (M1, M2, A1, A2, etc.) mark a particular session, and correspond
to the designations on the registration forms. Note that the talks M5
together constitute a session.

DAY 1 - 25 SEPTEMBER, 2008

MORNING SESSION

M1 (Tutorial): Practical Erlang Programming
Francesco Cesarini
Erlang Training and Consulting

M2 (Tutorial): A Gentle Introduction to Functional Information Visualization
Jefferson Heard
Renaissance Computing Institute, University of North Carolina

M3 (Tutorial): JavaScript: from basics to building custom frameworks
Sameer Sundresh and Erik Hinterbichler
University of Illinois Urbana-Champaign and Pattern Insight, Inc.

AFTERNOON SESSION

A1 (Tutorial): Erlang DBG and the Trace Biff
Tamas Nagy
Erlang Training and Consulting

A2 (Tutorial): Erlang QuickCheck Tutorial
Thomas Arts
IT University of Gothenburg and Quviq

A3 (Tutorial): Practical and Portable Programming in Scheme
Donovan Kolbly
TippingPoint Technologies

DAY 2 - 27 SEPTEMBER 2008

MORNING SESSION

M4 (Tutorial): Real World Haskell
Bryan O'Sullivan

M5 (Talks):
Ten one-liners: handling power series in Haskell
Doug McIlroy
Dartmouth

Incremental multi-level input processing with left-fold enumerator
Oleg Kiselyov

How we locate wild animals with a functional program
Ryan Newton
MIT

AFTERNOON SESSION

A4 (Tutorial): Using QuickCheck and HPC - Obtaining Quality Assurance
for Haskell Code
Andy Gill
Kansas University
Koen Claessen
Chalmers

A5 (Tutorial): Introduction to F#
Don Syme and Chris Smith
Microsoft Research

_______________________________________________
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] ICFP08 Call for Participation

=====================================================================
Call for Participation

The 13th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2008)

http://www.icfpconference.org/icfp2008

Victoria, BC, Canada, 22-24 September 2008
=====================================================================

ICFP 2008 provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

Preliminary program:
* http://www.icfpconference.org/icfp2008/schedule.html
* Invited speakers:
+ Butler Lampson, Microsoft Research;
Lazy and Speculative Execution in Computer Systems
+ Olivier Danvy, University of Aarhus;
Defunctionalized Interpreters for Higher-Order Languages
+ Mark Jones, Portland State University;
Polymorphism and Page Tables -- Systems Programming From a
Functional Programmer's Perspective

Schedule including related workshops:
* Sep 20: ACM SIGPLAN Workshop on Generic Programming
* Sep 20: ACM SIGPLAN Workshop on Mechanizing Metatheory
* Sep 20: ACM SIGPLAN Workshop on Scheme and Functional Programming
* Sep 21: ACM SIGPLAN Workshop on ML
* Sep 21: ACM SIGPLAN Functional and Declarative Programming in Education
* Sep 22-24: ICFP08
* Sep 25: ACM SIGPLAN Haskell Symposium
* Sep 25: Functional Programming Developer Tracks
* Sep 26: Commercial Users of Functional Programming
* Sep 27: ACM SIGPLAN Erlang Workshop
* Sep 27: Functional Programming Developer Tracks

Registration information:
* http://www.regmaster.com/conf/icfp2008.html
* Early registration deadline: August 20, 2008

Conference hotel accommodation information:
* http://www.deltahotels.com/groups/online/VIC/acm.php
* Conference rate deadline: August 18, 2008
* Wiki page to coordinate room-sharing:
http://www.icfpconference.org/pmwiki/pmwiki.php?n=Main.ICFP08RoomShare

Conference organizers:
* General Chair: James Hook (Portland State University)
* Program Chair: Peter Thiemann (Universität Freiburg)
* Local Arrangements Chair: George Tzanetakis (University of Victoria)
* Workshop Co-Chairs: Michael Sperber (DeinProgramm)
and Graham Hutton (University of Nottingham)
* Programming Contest Co-Chairs: John Reppy (University of Chicago)
and Tim Sheard (Portland State University)
* Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicago)

_______________________________________________
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