[Caml-list] Joint Call for Papers: Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)

Second Joint Call for Papers:

Federated Conferences on

Distributed Computing Techniques

http://discotec09.di.fc.ul.pt/

Lisbon, Portugal 8 - 12 June 2009

------------------------------------------
Coordination'09

DAIS'09

FMOODS/FORTE'09
------------------------------------------

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

CALL FOR PAPERS

Coordination 2009

Languages, Models, and Architectures for
Concurrent and Distributed Software

11th International Conference

Member of the Federated Conferences on
Distributed Computing Techniques
Lisbon, Portugal 8 - 12 June 2009

-------------------------------------------------------------------------
http://discotec09.di.fc.ul.pt/coordination
-------------------------------------------------------------------------
Abstract submission: 28 January 2009
Paper submission: 1 February 2009
Author notification: 16 March 2009
Camera-ready copy: 1 April 2009
Conference: 9 - 11 June 2009
-------------------------------------------------------------------------

Scope

Modern software lives in a concurrent world. The ubiquity of the
Internet allows distributed software components to be composed into
complex networked systems. At the other end of the spectrum, with
multicore processors now the norm, concurrency is frequently necessary
to maximize application performance.

Coordination 2009 seeks high-quality papers on programming languages,
models, and architectures that address the challenge of building
robust distributed and concurrent applications. The conference
focuses on the design and implementation of models that allow
compositional construction of large-scale concurrent and distributed
systems, including both practical and foundational models, runtime
systems, and related verification and analysis techniques.

Topics of Interest

DISTRIBUTED AND CONCURRENT PROGRAMMING MODELS: multicore programming,
stream programming, data parallel programming, event-driven
programming, web programming

FOUNDATIONS OF DISTRIBUTED AND CONCURRENT INTERACTION:
models for processes, service composition and orchestration, workflow
management, data query, tuple spaces

SPECIFICATION, VERIFICATION, AND TYPES: modeling and analysis of types
and properties related to security, dependability, resource
consumption, and component conformance for concurrent and
distributed systems

HIGH-LEVEL OPTIMIZATIONS: program transformations for performance
enhancement, runtime load balancing techniques, static and
dynamic resource management

QUALITY OF SERVICE: fault-tolerant programming models and runtime support,
models with responsiveness guarantees

DISTRIBUTED SOFTWARE MANAGEMENT: component and module systems for
distributed software, dynamic software evolution and update
technologies, configuration and deployment architectures

SYSTEM SUPPORT FOR PROGRAMMING MODELS: P2P frameworks, mobile ad-hoc
networks, sensor networks, publish-subscribe systems, event
processing

CASE STUDIES: application of novel distributed and concurrent
techniques in business process modeling, e-commerce, factory
automation, collaboration, command and control

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

Submission Guidelines

The Coordination 2009 conference solicits high quality papers
reporting research results and/or experience reports related to the
topics mentioned above. All papers must be original, unpublished, and
not submitted for publication elsewhere. Contributions should be
submitted electronically as postscript or PDF, using the SPRINGER LNCS
style. Papers should not exceed 15 pages in length. Each paper will
undergo a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series. Proceedings
will be made available at the conference.

Selected papers will be invited to a special issue of the journal
Science of Computer Programming

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

Coordination '09 Organization

PC Chairs:
John Field, IBM Research, USA
Vasco T. Vasconcelos, University of Lisbon, Portugal

Program Committee:
TBA

Steering Committee:
Farhad Arbab, CWI, NL
Rocco De Nicola, University of Florence, IT (CHAIR)
Chris Hankin, Imperial College London, UK
Jean-Marie Jacquet, University of Namur, BE
Doug Lea, State University of New York, USA
Amy L. Murphy, ITC-IRST, IT & University of Lugano, CH
Gruia-Catalin Roman, Washington University in Saint Louis, USA
Carolyn Talcott, SRI International, USA
Jan Vitek, Purdue University, USA
Herbert Wiklicky, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, IT

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

DisCoTec '09 Organization

Antonio Ravara, Technical University of Lisbon, PT (General Chair)
Carla Ferreira, New University of Lisbon, PT
Ana Almeida Matos, Technical University of Lisbon, PT

Workshops Chair
Francisco Martins, University of Lisbon, PT

Publicity Chair
Martin Steffen, University of Oslo, NO
---------------------------------------------------------------------
CALL FOR PAPERS

DAIS 2009

9th IFIP International Conference on
Distributed Applications and Interoperable Systems

Lisbon, Portugal 10 - 12 June 2009

---------------------------------------------------------------------
http://discotec09.di.fc.ul.pt/DAIS09
---------------------------------------------------------------------

The 9th IFIP International Conference on Distributed Applications and
Interoperable Systems (DAIS) is part of the federated conferences DisCoTec
(Distributed Computing Techniques), together with the 11th International
Conference on Coordination Models and Languages (COORDINATION) and the 11th
IFIP International Conference on Formal Methods for Open Object-based
Distributed Systems (FMOODS).

OBJECTIVES AND SCOPE:

Established in 1997, the DAIS series of conferences aims to provide an
integrated forum for research on all aspects of distributed applications
and interoperable systems. DAIS 2009 conference themes include but are not
limited to:

Innovative distributed applications in the areas of Cloud and
enterprise computing Very large scale and peer-to-peer
computing Mobile, context-aware, and pervasive computing
Sensor networks and ad-hoc networks

Models and concepts supporting distributed applications in the areas of
Sustainability
Resiliency
Evolution

Middleware supporting distributed applications in the areas of
Autonomic and resilient systems
Mobile systems
Context- and QoS-aware systems

Evolution of service-oriented applications
Enterprise-wide and global integration
Semantic interoperability
Application management

Software engineering of distributed applications
Domain-specific modelling languages
Model-driven software development, testing,validation, and adaptation
Model evolution
Software architecture and patterns

INVITED SPEAKER:

TBA

ORGANISERS:

General chair:

Antonio Ravara, Instituto Superior Tecnico, Portugal

PC chairs:

Rui Oliveira, Universidade do Minho, Portugal
Twittie Senivongse, Chulalongkorn University, Thailand

Publicity Chair:

Hartmut Koenig, BTU Cottbus, Germany

Steering Committee:

Frank Eliassen, University of Oslo, Norway
Kurt Geihs, University of Kassel, Germany
Jadwiga Indulska, University of Queensland, Australia
Hartmut König, BTU Cottbus, Germany
Lea Kutvonen, University of Helsinki, Finland
René Meier, Trinity College Dublin, Ireland
Alberto Montresor, University of Trento, Italy
Elie Najm, ENST, France
Kerry Raymond, University of Queensland, Australia
Sotirios Terzis, University of Strathclyde, UK

Program Committee: (TBA)

IMPORTANT DATES:

12 January 2009: Abstract submission
19 January 2009: Paper submission (full and work-in-progress papers)
13 March 2009: Author notification
1 April 2009: Camera-ready version
10-12 June 2009: DAIS 2009 conference

SUBMISSION GUIDELINES:

The DAIS 2009 conference solicits high quality papers reporting research
results and/or experience reports related to the themes above. All papers
must be original, unpublished, and not submitted for publication
elsewhere. Contributions should be submitted electronically as postscript
or PDF, using the Springer LNCS style. Full technical papers should not
exceed 14 pages in length while work-in-progress papers should not exceed 6
pages in length. Submission implies the acceptance that at least one author
will attend the conference if the paper is accepted. Each paper will
undergo a thorough process of review and the conference proceedings will be
published by Springer-Verlag in the LNCS series. Proceedings will be made
available at the conference. More specific guidelines on the preparation of
papers can be found on the conference website.

CALL FOR PAPERS

FMOODS/FORTE

IFIP International Conference on Formal Techniques for Distributed Systems
as joint international conference of FMOODS/FORTE

(11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems)

Lisbon, Portugal, June 9-11, 2009

The IFIP International Conference on Formal Techniques for Distributed
Systems is formed jointly from the two conference series FMOODS and
FORTE. It is part of the federated conference event DisCoTec (Distributed
Computing Techniques) which also includes the 11th International Conference
on Coordination Models and Languages (COORDINATION) and the 9th IFIP
International Conference on Distributed Applications and Interoperable
Systems (DAIS). The event will be hosted by the Faculty of Sciences of the
University of Lisbon.

-------------------------------------------------------------------------------------------------------
Important dates

* Abstract submission: 28 January 2009
* Paper submission: 1 February 2009
* Author notification: 16 March 2009
* Camera-ready copy: 1 April 2009

-------------------------------------------------------------------------------------------------------
Objectives and Scope

The joined conference FMOODS/FORTE is a forum for fundamental research on
theory and applications of distributed systems. The conference solicits
original contributions that advance the science and technologies for
distributed systems, in particular in the areas of:

* Component- and model-based design
* Service-oriented, ubiquitous, pervasive, grid and mobile computing
* Software quality, reliability and security

The conference encourages contributions that combine theory and practice,
address problems from the development of distributed systems, and present
novel solutions with formal methods and theoretical foundations.

FMOODS/FORTE covers distributed computing models and formal specification,
testing and verification methods. The application domains include all kinds
of application-level distributed systems, telecommunication services,
Internet, embedded and real time systems, as well as networking and
communication security and reliability.

-------------------------------------------------------------------------------------------------------
Topics of interest include but are not limited to:

* Languages and Semantic Foundations: new modeling and language
concepts for distribution and concurrency, semantics for different
types of languages, including programming languages, modeling
languages, and domain specific languages; real-time and probability
aspects; type systems and behavioral typing

* Formal Methods and Techniques: design, specification, analysis,
verification, validation and testing of various types of distributed
systems including communications and network protocols,
service-oriented systems, and adaptive distributed systems

* Applications of Formal Methods: applying the existing methods and
techniques to distributed systems, particularly web services,
multimedia systems, and telecommunications

* Practical Experience with Formal Methods: industrial applications,
case studies and software tools for applying formal methods and
description techniques to the development and analysis of real
distributed systems

-------------------------------------------------------------------------------------------------------
Proceedings and Submission guidelines

The FMOODS/FORTE 2009 conference calls for high quality papers presenting
research results and/or application reports related to the topics in
conference scope as described above. All papers must be original,
unpublished, and not submitted for publication elsewhere. Contributions
should be submitted electronically in PDF, using the SPRINGER LNCS
style. Papers should not exceed 15 pages in length. Each paper will undergo
a peer review of at least 3 anonymous reviewers.

The conference proceedings will be published by Springer Verlag in the LNCS
series. Proceedings will be made available at the conference. In addition,
the journal Higher Order and Symbolic Computation will publish a special
issue consisting of extended versions of the top ranking papers from
FMOODS/FORTE 2009

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

Call for Papers
ICFP 2009: International Conference on Functional Programming
Edinburgh, Scotland, 31 August - 2 September 2009
http://www.cs.nott.ac.uk/~gmh/icfp09.html
** Submission deadline: 2 March 2009 **
(submission deadline is earlier than usual)

ICFP 2009 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, from abstraction to
application. The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects or
concurrency. Particular topics of interest include
* Language Design: type systems; concurrency and distribution;
modules; components and composition; metaprogramming; relations to
object-oriented or logic programming; interoperability
* Implementation: abstract machines; compilation; compile-time and
run-time optimization; memory management; multi-threading;
exploiting parallel hardware; interfaces to foreign functions,
services, components or low-level machine resources
* Software-Development Techniques: algorithms and data structures;
design patterns; specification; verification; validation; proof
assistants; debugging; testing; tracing; profiling
* Foundations: formal semantics; lambda calculus; rewriting; type
theory; monads; continuations; control; state; effects
* Transformation and Analysis: abstract interpretation; partial
evaluation; program transformation; program calculation; program
proof
* Applications and Domain-Specific Languages: symbolic computing;
formal-methods tools; artificial intelligence; systems
programming; distributed-systems and web programming; hardware
design; databases; XML processing; scientific and numerical
computing; graphical user interfaces; multimedia programming;
scripting; system administration; security; education
* Functional Pearls: elegant, instructive, and fun essays on
functional programming

The conference also solicits Experience Reports, which are short
papers that provide evidence that functional programming really works
or describe obstacles that have kept it from working in a particular
application.

What's different this year?
~~~~~~~~~~~~~~~~~~~~~~~~~~~

* The conference dates and the submission deadline are about one
month earlier than usual.

* Special 'Call for Experience Reports' page, suitable as a target
for posts on blogs and social networks to reach practitioners who
wouldn't normally think about submitting to a conference. If you
have a blog, etc., please help by pointing your readers to:
http://web.cecs.pdx.edu/~apt/icfp09_cfer.html

Instructions for authors
~~~~~~~~~~~~~~~~~~~~~~~~

By Monday, 2 March 2009, 20:00 UTC, submit an abstract of at most 300
words and a full paper of at most 12 pages (4 pages for an Experience
Report), including bibliography and figures. The deadline will be
strictly enforced and papers exceeding the page limits will be
summarily rejected. Authors have the option to attach supplementary
material to a submission, on the understanding that reviewers may
choose not to look at it.

A submission will be evaluated according to its relevance,
correctness, significance, originality, and clarity. It should explain
its contributions in both general and technical terms, clearly
identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience. Functional Pearls
and Experience Reports are separate categories of papers that need not
report original research results and must be marked as such at the
time of submission. Detailed guidelines on both categories are below.

Each submission must adhere to SIGPLAN's republication policy, as
explained on the web. Violation risks summary rejection of the
offending submission.

Proceedings will be published by ACM Press. Authors of accepted
submissions are expected to transfer the copyright to
ACM. Presentations will be videotaped and released online if the
presenter consents by signing an additional permission form at the
time of the presentation. Released videos will be included along with
the conference proceedings in the ACM Digital Library and may also be
placed on a host such as YouTube or Google Video.

Formatting:
~~~~~~~~~~~
Submissions must be in PDF format printable in black and white on US
Letter sized paper and interpretable by Ghostscript. If this
requirement is a hardship, make contact with the program chair at
least one week before the deadline. ICFP proceedings are printed in
black and white. It is permissible to include color in a submission,
but you risk annoying reviewers who will have to decide if your final
paper will be understandable without it. Papers must adhere to the
standard ACM conference format: two columns, nine-point font on a
ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in)
tall, with a column gutter of 2pc (0.33in). A suitable document
template for LaTeX is available from SIGPLAN.

Submission:
~~~~~~~~~~~
Submissions will be accepted electronically at a URL to be named
later. The deadline is set in Coordinated Universal Time. The world
clock (http://www.timeanddate.com/worldclock/fixedtime.html?month=3&day=2&year=2009&hour=20&min=0&sec=0&p1=0)
can give you the equivalent in your local time, e.g., Noon Monday in
Seattle, 3:00 PM Monday in New York, 8:00 PM Monday in London, 5:00 AM
Tuesday in Tokyo.

Citation:
~~~~~~~~~
We recommend (but do not require) that you put your citations into
author-date form. This procedure makes your paper easier to
review. For example, if you cite a result on testing as ``(Claessen
and Hughes 2000)'', many reviewers will recognize the result
instantly. On the other hand, if you cite it as ``[4]'', even the
best-informed reviewer has to page through your paper to find the
reference. By using author-date form, you enable a knowledgeable
reviewer to focus on content, not arbitrary numbering of
references. LaTeX users can simply use the natbib package along with
the plainnat bibliography style.

In practice, this means putting

\usepackage{natbib}
\bibpunct();A{},
\let\cite=\citep

in your LaTeX preamble, and

\bibliographystyle{plainnat}

in your document. For most citations you will use the \cite command;
if you want a citation like ``Claessen and Hughes (2000) showed
that...'' you should use something like ``\citet{claessen:quickcheck}
showed...''

Alternatively, the McBride bibliography style, which adheres to the
Chicago manual of style ``Documentation Two'' specifications and which
fixes some perceived deficiencies of natbib, may be used. The style
file along with instructions for using it is available on the McBride
web site.

Author response:
~~~~~~~~~~~~~~~~
Authors will have a 48-hour period, starting at 20:00 UTC on 21 April
2009, to read and respond to reviews.

Special categories of papers
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

In addition to research papers, ICFP solicits two kinds of papers that
do not require original research contributions: Functional Pearls,
which are full papers, and Experience Reports, which are limited to
four pages. Authors submitting such papers may wish to consider the
following advice.

Functional Pearls
~~~~~~~~~~~~~~~~~
A Functional Pearl is an elegant essay about something related to
functional programming. It might offer:
* a new and thought-provoking way of looking at an old idea
* an instructive example of program calculation or proof
* a nifty presentation of an old or new data structure
* an interesting application of functional programming techniques
* a novel use or exposition of functional programming in the
classroom

Functional Pearls are not restricted to the above varieties, however.
While pearls often demonstrate an idea through the development of a
short program, there is no requirement or expectation that they do
so. Thus, they encompass the notions of theoretical and educational
pearls.

Functional Pearls are valued as highly and judged as rigorously as
ordinary papers, but using somewhat different criteria. In particular,
a pearl is not required to report original research. However, it
should be concise, instructive, and entertaining. Your pearl is likely
to be rejected if your readers get bored, if the material gets too
complicated, if too much specialized knowledge is needed, or if the
writing is inelegant. The key to writing a good pearl is polishing.

A submission you wish to have treated as a pearl must be marked as
such on the submission web page, and should contain the words
``Functional Pearl'' somewhere in its title or subtitle. These steps
will alert reviewers to use the appropriate evaluation
criteria. However, pearls will be combined with ordinary papers for
the purpose of computing the conference's acceptance rate.

Experience Reports
~~~~~~~~~~~~~~~~~~

The purpose of an Experience Report is to help create a body of
published, refereed, citable evidence that functional programming
really works---or to describe what obstacles prevent it from working.

Possible topics for an Experience Report include, but are not limited to:
* insights gained from real-world projects using functional
programming
* comparison of functional programming with conventional programming
in the context of an industrial project or a university curriculum
* project-management, business, or legal issues encountered when
using functional programming in a real-world project
* curricular issues encountered when using functional programming in
education
* real-world constraints that created special challenges for an
implementation of a functional language or for functional
programming in general

An Experience Report is distinguished from a normal ICFP paper by its
title, by its length, and by the criteria used to evaluate it.
* Both in the proceedings and in any citations, the title of each
accepted Experience Report must begin with the words ``Experience
Report'' followed by a colon. The acceptance rate for Experience
Reports will be computed and reported separately from the rate for
ordinary papers.
* An Experience Report is at most 4 pages long. Each accepted
Experience Report will be presented at the conference, but
depending on the number of Experience Reports and regular papers
accepted, authors of Experience reports may be asked to give
shorter talks.
* Because the purpose of Experience Reports is to enable our
community to accumulate a body of evidence about the efficacy of
functional programming, an acceptable Experience Report need not
add to the body of knowledge of the functional-programming
community by presenting novel results or conclusions. It is
sufficient if the Report states a clear thesis and provides
supporting evidence. The thesis must be relevant to ICFP, but it
need not be novel.

The program committee will accept or reject Experience Reports
based on whether they judge the evidence to be
convincing. Anecdotal evidence will be acceptable provided it is
well argued and the author explains what efforts were made to
gather as much evidence as possible. Typically, more convincing
evidence is obtained from papers which show how functional
programming was used than from papers which only say that
functional programming was used. The most convincing evidence
often includes comparisons of situations before and after the
introduction or discontinuation of functional
programming. Evidence drawn from a single person's experience may
be sufficient, but more weight will be given to evidence drawn
from the experience of groups of people.

An Experience Report should be short and to the point: make a claim
about how well functional programming worked on your project and why,
and produce evidence to substantiate your claim. If functional
programming worked for you in the same ways it has worked for others,
you need only to summarize the results---the main part of your paper
should discuss how well it worked and in what context. Most readers
will not want to know all the details of your project and its
implementation, but please characterize your project and its context
well enough so that readers can judge to what degree your experience
is relevant to their own projects. Be especially careful to highlight
any unusual aspects of your project. Also keep in mind that specifics
about your project are more valuable than generalities about
functional programming; for example, it is more valuable to say that
your team delivered its software a month ahead of schedule than it is
to say that functional programming made your team more productive.

If your paper not only describes experience but also presents new
technical results, or if your experience refutes cherished beliefs of
the functional-programming community, you may be better off submitting
it as a full paper, which will be judged by the usual criteria of
novelty, originality, and relevance. If you are unsure in which
category to submit, the program chair will be happy to help you
decide.

Other information
~~~~~~~~~~~~~~~~~

Conference Chair
~~~~~~~~~~~~~~~~
Graham Hutton (University of Nottingham)

Program Chair
~~~~~~~~~~~~~
Andrew Tolmach
Department of Computer Science
Portland State University
P.O. Box 751, Portland, OR 97207 USA
Email: apt@cs.pdx.edu
Phone: +1 503 725 5492
Fax: +1 503 725 3211

Mail sent to the address above is filtered for spam. If you send mail
and do not receive a prompt response, particularly if the deadline is
looming, feel free to telephone.

Program Committee
~~~~~~~~~~~~~~~~~
Amal Ahmed (Toyota Technological Institute, Chicago)
Maria Alpuente (Technical University of Valencia (UPV))
Lennart Augustsson (Standard Chartered Bank)
Lars Birkedal (IT University of Copenhagen)
Manuel Chakravarty (University of New South Wales)
Koen Claessen (Chalmers University of Technology)
Marc Feeley (Universite de Montreal)
Andrzej Filinski (University of Copenhagen)
Daan Leijen (Microsoft Research)
Xavier Leroy (INRIA Paris-Rocquencourt)
Conor McBride (University of Strathclyde)
Matthew Might (University of Utah)
Shin-Cheng Mu (Academia Sinica)
Atsushi Ohori (Tohoku University)
Kristoffer Rose (IBM Thomas J. Watson Research Center)

Important Dates (at 20:00 UTC)
~~~~~~~~~~~~~~~
Submission: 2 March 2009
Author response: 21-23 April 2009
Notification: 5 May 2009
Final papers due: 8 June 2009

ICFP 2009 Web Site
~~~~~~~~~~~~~~~~~~
http://www.cs.nott.ac.uk/~gmh/icfp09.html

Special Journal Issue
~~~~~~~~~~~~~~~~~~~~~
There will be a special issue of the Journal of Functional Programming
with papers from ICFP 2009. The program committee will invite the
authors of select accepted papers to submit a journal version to this
issue.

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

Hi all,

If you are doing something exciting that involves programming languages (ocaml
or other) and security, consider submitting to PLAS! (Apologies for multiple
postings.)

--
François Pottier
Francois.Pottier@inria.fr
http://cristal.inria.fr/~fpottier/

ACM SIGPLAN Fourth Workshop on
Programming Languages and Analysis for Security (PLAS 2009)

Dublin, Ireland, June 15, 2009

Sponsored by ACM SIGPLAN
Co-located with PLDI '09
Supported by IBM Research and Microsoft Research

http://www.cs.stevens.edu/~naumann/plas2009.html

Submission Deadline: April 3, 2009

Call for Papers

PLAS aims to provide a forum for exploring and evaluating ideas on the
use of programming language and program analysis techniques to improve
the security of software systems. Strongly encouraged are proposals of
new, speculative ideas; evaluations of new or known techniques in
practical settings; and discussions of emerging threats and important
problems.

The scope of PLAS includes, but is not limited to:

* Language-based techniques for security
* Verification of security properties in software
* Automated introduction and/or verification of security
enforcement mechanisms
* Program analysis techniques for discovering security
vulnerabilities
* Compiler-based security mechanisms, such as host-based intrusion
detection and in-line reference monitors
* Specifying and enforcing security policies for information flow
and access control
* Model-driven approaches to security
* Applications, examples, and implementations of these security
techniques in domains including web applications, embedded
software, etc.

Important Dates and Submission Guidelines

* Submission due date: Friday, April 3, 2009
* Author notification: Friday, May 1, 2009
* Revised papers due: TBA
* Student travel grant applications due: Friday, May 29, 2009
* PLAS 2009 workshop: Monday, June 15, 2009

We invite papers of two kinds: (1) Technical papers about relatively
mature work, for "long" presentations during the workshop, and (2)
papers for "short" presentations about more preliminary work, position
statements, or work that is more exploratory in nature. Short papers
marked as "Informal Presentation" will have only their abstract
published in the proceedings. All other papers will be included in
the formal proceedings and must describe original work in compliance
with the SIGPLAN republication policy. Page limits are 12 pages for
long papers and 6 pages for short papers.

Student Travel Grants

Student attendees of PLAS can apply for a travel grant (in addition to
any PLDI grants), thanks to the generous support of IBM Research and
Microsoft Research. The application forms will be on the workshop web
site.

Program Committee

* Aslan Askarov, Chalmers University of Technology, Sweden
* Brian Chess, Fortify Software, USA
* Stephen Chong, Harvard University, USA (co-chair)
* Úlfar Erlingsson, Reykjavík University, Iceland
* Kevin W. Hamlen, University of Texas at Dallas, USA
* Benjamin Livshits, Microsoft Research, USA
* Pasquale Malacaria, Queen Mary University of London, UK
* David Naumann, Stevens Institute of Technology, USA (co-chair)
* Marco Pistoia, IBM Research, USA
* François Pottier, INRIA Paris-Rocquencourt, France
* Tamara Rezk, INRIA Sophia Antipolis-Méditerranée, France
* Tachio Terauchi, Tohoku University, Japan
* David Wagner, University of California, Berkeley, USA

_______________________________________________
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 Participation

C a l l f o r P a r t i c i p a t i o n

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 advance program is available at

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

Early registration deadline is 19 December 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] FroCoS'09 Call for Papers

-------------------------------------------------------------------------
WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE
-------------------------------------------------------------------------

Call for Papers

7th International Symposium on
FRONTIERS OF COMBINING SYSTEMS (FroCoS'09)

Trento, Italy, September 16-18th, 2009
http://frocos09.disi.unitn.it/

MOTIVATIONS
In various areas of computer science, such as logic, computation,
program development and verification, artificial intelligence, knowledge
representation, and automated reasoning, there is an obvious need for
using specialized formalisms and inference mechanisms for special
tasks. In order to be usable in practice, these specialized systems
must be combined with each other, and they must be integrated into
general purpose systems. The development of general techniques and
methods for the combination and integration of special formally defined
systems, as well as for the analysis and modularization of complex
systems has been initiated in many areas. The International Symposium
on Frontiers of Combining Systems (FROCOS) traditionally focuses on
this type of research questions and activities and aims at promoting
progress in the field.
Like its predecessors, FROCOS'09 wants to offer a common forum for
research activities in the general area of combination, modularization
and integration of systems (with emphasis on logic-based ones), and of
their practical use.

RELEVANT TOPICS
Typical topics of interest include (but are not limited to):
* combinations of logics such as combined predicate, temporal, modal,
or epistemic logics;
* combinations and modularity in ontologies;
* combination of decision procedures, of satisfiability procedures,
and of CS techniques;
* combinations and modularity in term rewriting;
* integration of equational and other theories into deductive systems;
* combination of deduction systems and computer algebra;
* integration of data structures into CLP formalisms and deduction processes;
* hybrid methods for deduction, resolution and constraint propagation;
* hybrid systems in knowledge representation and natural language semantics;
* combined logics for distributed and multi-agent systems;
* logical aspects of combining and modularizing programs and specifications.

PAPER SUBMISSION
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a
conference with refereed proceedings. Selection criteria include
accuracy and originality of ideas, clarity and significance of
results, and quality of presentation. All submissions will be subject
to academic peer review by at least three members of the program
committee. For each accepted paper, at least one author is required to
attend the conference to present the paper.
Papers must be edited in LTEX and be submitted electronically as PDF
files via the EasyChair system:
http://www.easychair.org/conferences/?conf=frocos09.
Prospective authors are required to register a title and an abstract a
week before the paper submission deadline (see below).
Further information about paper submission will be made available at
FROCOS'09 web page.

PROCEEDINGS
The proceedings of FroCoS'09 will be published by Springer-Verlag in
the LNAI/LNCS series.

IMPORTANT DATES
Abstract submission deadline: April 26th, 2009
Full paper submission deadline: May 3rd, 2009
Notification of acceptance: June 8th, 2009
Camera Ready Copy: June 22th, 2009
Conference: September 16-18th 2009

CHAIRS
- Silvio Ghilardi, University of Milano, Italy
- Roberto Sebastiani, University of Trento, Italy

PROGRAMME COMMITTEE
- Franz Baader, T.U. Dresden, Germany
- Peter Baumgartner, NICTA, Camberra, Australia
- Torben Brauner, Roskilde University, DK
- Leonardo de Moura, Microsoft Research, USA
- Bernhard Gramlich, T.U. Wien, Austria
- Sava Krstic, Intel Corporation, USA
- Viktor Kuncak, E.P.F. Lausanne, Switzerland
- Albert Oliveras, T.U. of Catalonia, Spain
- Silvio Ranise, University of Verona, Italy
- Christophe Ringeissen, LORIA, Nancy, France
- Ulrike Sattler, Univ. of Manchester, UK
- Renate Schmidt, Univ. of Manchester, UK
- Luciano Serafini, FBK-Irst, Italy
- Viorica Sofronie-Stokkermans, MPI, Saarbruken, Germany
- Cesare Tinelli, University of Iowa, USA
- Frank Wolter, University of Liverpool, UK
- Michael Zakharyaschev, London Knowledge Lab, UK

_______________________________________________
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 Participation

*********************************************************************
CALL FOR PARTICIPATION

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

Hotel reservation deadline: December 18, 2008
Early registration deadline: December 19, 2008

VENUE

TLDI'09 and all POPL'09 affiliated events will take place at the
Hyatt Regency Savannah.

SCOPE

The role of types 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. The
TLDI Workshop series aims to bring together researchers in all these
areas to share novel ideas and stimulate interaction and discussion on
the ever expanding use of types.

INVITED TALK

Ulf Norell, Chalmers University of Technology, Sweden
Title: Dependently Typed Programming in Agda

PRELIMINARY PROGRAM

A preliminary program can be found at the end of this email, or it can
be found here:

http://ttic.uchicago.edu/~amal/tldi2009/program.html

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

PRELIMINARY PROGRAM

* SATURDAY, January 24, 2009

** Opening remarks: 8:50-9:00

** Invited talk 9:00-10:00

Ulf Norell, Chalmers University of Technology, Sweden
Title: Dependently Typed Programming in Agda

----------------------
** Session I 10:30-12:00

*** Compiling Functional Types to Relational Specifications for Low
Level Imperative Code
Nick Benton and Nicolas Tabareau

*** Typed Transformations of Typed Abstract Syntax
Arthur Baars, S. Doaitse Swierstra and Marcos Viera

*** Secure Compilation of a Multi-Tier Web Language
Ioannis Baltopoulos and Andrew Gordon

----------------------
** Session II 1:30-3:00

*** A Generic Type-and-Effect System
Daniel Marino and Todd Millstein

*** Static Extraction of Sound Hierarchical Runtime Object Graphs
Marwan Abi-Antoun and Jonathan Aldrich

*** Opis: Reliable Distributed Systems in OCaml
Pierre-Evariste Dagand, Dejan Kostic and Viktor Kuncak

----------------------
** Session III 3:30-5:00

*** Type-theoretic semantics for transactional concurrency
Aleksandar Nanevski, Paul Govereau and Greg Morrisett

*** Relational Parametricity for References and Recursive Types
Lars Birkedal, Kristian Støvring and Jacob Thamsborg

*** Design Patterns in Separation Logic
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kaspar
Svendsen and Alexandre Buisse

_______________________________________________
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] Finall Call For Papers (DSL WC)

*** IFIP Working Conference on Domain Specific Languages (DSL WC) ***
     July 15-17, 2009, Oxford

http://www.hope.cs.rice.edu/twiki/bin/view/WG211/DSLWC

* Call for Papers
Domain-specific languages are emerging as a fundamental component of software engineering practice. DSLs are often introduced when new domains such as web-scripting or markup come into existence, but it is also common to see DSLs being introduced and adopted for traditional domains such as parsing and data description. Developing software using DSLs has many benefits. DSLs are often designed based on existing notations that are already in use by experts in a given domain. As such, successful DSLs often reduce or eliminate the effort needed to transform the concept or innovation produced by the domain expert into an executable artifact or even a deliverable software product. DSL implementations can capture and mechanize a significant portion of the repetitive and mechanical tasks that a domain expert traditionally needed to perform in order to produce an executable. DSLs can in many cases capture and make widely available special expertise that only top specialists in a given domain might have. By capturing expert knowledge and reducing repetitive tasks, DSLs often also lead to software that is significantly more portable, more reliable and more understandable than it would otherwise be.

DSLs can be viewed as having a dual role to general-purpose languages: whereas general purpose languages try to do everything as well as possible, DSLs are designed to find a domain where they can solve some class of problems -- no matter how small -- in the best possible way. Widely known examples of DSLs include Matlab, Verilog, SQL, LINQ, JavaScript, PERL, HTML, Open GL, Tcl/Tk, Macromedia Director, Mathematica/Maple, AutoLisp/AutoCAD, XSLT, RPM, Make, lex/yacc, LaTeX, PostScript, Excel, among many others. But while these tools have been widely successful, they still fall short of realizing the full idea behind them. The goal of this conference is to explore the extent to which incorporating modern principles of language design and software engineering can benefit existing and future domain-specific languages.

The ultimate goal of using DSLs is to improve programmer productivity and software quality. Often, this is achieved by reducing the cost of initial software development as well as maintenance costs. These improvements - programs being easier to write and maintain - materialize as a result of domain-specific guarantees, analyses, testing techniques, verification techniques, and optimizations.

*  Paper Criteria
Papers are sought addressing the research problems, fundamental principles, and practical techniques of DSLs, including but not limited to:
      -  Foundations, including semantics, formal methods, type theory, and complexity theory
      -   Language design, ranging from concrete syntax to semantic and typing issues
      -   Software engineering, including domain analysis, software design, and    round-trip engineering
      -   Software processes, including metrics for software and language evaluation
      -   Implementation techniques, including parsing, compiling, and program    generation
      -   Program analysis and automated transformation
      -  Reverse engineering, re-engineering, design discovery, automated refactoring
      -  Hardware/software codesign
      -  Programming environments, including visual languages, debuggers, and testing  infrastructure
      -   Teaching DSLs and the use of DSLs in teaching

Case studies, including engineering, bioinformatics, hardware specification languages, parallel computing languages, real-time and embedded systems, and networked and distributed domains
Papers will be judged on the depth of their insight and the extent to which they translate specific experience into general lessons for domain-specific language designers and implementers, and software engineers. Papers can range from the practical to the theoretical; where appropriate, they should refer to actual languages, tools, and techniques, provide pointers to full definitions and implementations, and include empirical data on results.

  * Important Dates
      -  July 23rd, 2008: First Call for Papers
      -  November 12th, 2008: Final Call for Papers
      - December 14th, 2008: Abstract submission due.
      - December 21st, 2008: Paper submission deadline.
      - February 23rd, 2009: Author notification of decisions
      - March 22nd, 2009: Camera ready manuscripts due

  * Instructions for Authors
Proceedings will be published in the Springer LNCS series. Submissions and final manuscripts are to follow the LNCS stylesheet formatting guidelines, and are not to exceed 25 pages. Please submit your manuscripts online using the EasyChair conference management system.

  * Program Committee
Jon Bentley, Avayalabs
Martin Erwig, Oregon State University
Jeff Gray, University of Alabama at Birmingham
Robert Grimm, New York University
Jim Grundy, Intel Strategic CAD Labs
Tom Henzinger, EPFL
Sam Kamin, UIUC
Dick Kieburtz, Portland State University
Ralf Lämmel, University of Koblenz
Julia Lawall, University of Copenhagen
Benjamin Pierce, University of Pennsylvania
Vivek Sarkar, Rice University
Jeremy Siek, University of Colorado at Boulder
José Nuno Oliveira, University of Minho
Doaitse Swierstra, Utrecht University
Walid Taha (Chair), Rice University
Eelco Visser, Delft University
William Waite, University of Colorado at Boulder
Stephanie Weirich, University of Pennsylvania

  * Organizers
General Chair: Jeremy Gibbons, Oxford University
Publicity Chair: Emir Pasalic, LogicBlox

[Caml-list] ECOOP 2009 Call for Tutorials

ECOOP'2009
23rd European Conference on Object Oriented Programming
July 6th - 10th 2009, Genova, Italy
http://2009.ecoop.org

CALL FOR TUTORIALS

http://2009.ecoop.org/summer-school.html

The ECOOP 2009 Summer School will consist of prestigious tutorials on
exciting current topics in software, systems, and languages research.
The scope of the ECOOP Summer School is the same as the conference
itself: all areas relevant to object technology, including work that
takes inspiration from or builds connections to areas not commonly
considered object-oriented. Tutorials should introduce researchers
to current research in an area, and/or to show important new tools
that can be used in research.

The ECOOP 2009 Summer School will consist of tutorials that will last
90 minutes, and will be free to all attendees, scheduled during the
main conference.

Tutorial presenters will receive a tutorial room, standard AV equipment
during a 90 minute session during the ECOOP conference, which will take
place between 6-10 July 2009.

Tutorials presenters must register themselves for participation in
ECOOP --- the summer school cannot in general reimburse fees, but
instead offers presenters a once-in-a-lifetime chance to interest
ECOOP attendees, graduate students, and other researchers in your
research area or tools (and undying fame). So, if you think ECOOP
people need to know more about the area you work in, or could
benefit from the great new tool you have developed, then you should
propose an ECOOP summer school tutorial on this topic.

A tutorial proposal (2 pages in LNCS format) should contain the names
and email address of all presenters; the proposed topic to be covered
by the tutorial; a tutorial outline; and a rationale explaining why
ECOOP cannot be without your tutorial in 2009, and why you are the
best people in the world to present this tutorial!

Proposals should be submitted via the ECOOP submission system (tutorials
category). For any other questions, contact the ECOOP 2009 summer school
committee: http://2009.ecoop.org/committees.html#summer-school-committee

Important dates

Tutorial proposals January, 15, 2009
Notification of acceptance February 16, 2009

Summer School Committee

Antonio Cisternino (University of Pisa, Italy)
Paola Giannini (University of Piemonte Orientale, Italy)
James Noble (Victoria University of Wellington, New Zealand)

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

TASE 2009 - FIRST CALL FOR PAPERS

******************************************
* 3rd IEEE International Symposium on
* Theoretical Aspects of Software Engineering
* (TASE 2009)
* 29-31 July 2009, Tianjin, China
* http://www.dur.ac.uk/ieee.tase2009
*
* For more information email: IEEE.TASE2009@durham.ac.uk
**********************************************************

Large scale software systems and the Internet are of growing concern
to academia and industry. This poses new challenges to the various
aspects of software engineering, for instance, the reliability of
software development, web-oriented software architecture and aspect
and object-orientation techniques. As a result, new concepts and
methodologies are required to enhance the development of software
engineering from theoretical aspects. TASE 2009 is a forum for
researchers from academia, industry and government to present ideas,
results, and ongoing research on theoretical advances in software
engineering.

TASE 2009 is the third in a series of conference, sponsored by IEEE CS
and IFIP. The first TASE conference was held in Shanghai, China, in
June 2007.  The second TASE conference was held in Nanjing, China, in
June 2008.

Topics of Interest:

Authors are invited to submit high quality technical papers describing
original and unpublished work in all theoretical aspects of software
engineering. Topics of interest include, but are not limited to:

* Requirements Engineering
* Specification and Verification
* Program Analysis
* Software Testing
* Model-Driven Engineering
* Software Architectures and Design
* Aspect and Object Orientation
* Embedded and Real-Time Systems
* Software Processes and Workflows
* Component-Based Software Engineering
* Software Safety, Security and Reliability
* Reverse Engineering and Software Maintenance
* Service-Oriented Computing
* Semantic Web and Web Services
* Type System and Theory
* Program Logics and Calculus
* Dependable Concurrency
* Software Model Checking

Program Co-Chairs
-----------------
Wei-Ngan Chin           (National Univ. of Singapore, Singapore)
Shengchao Qin           (Durham University, UK)

Program Committee
-----------------
Bernhard Aichernig      (Graz University of Technology, Austria) .
Stefan Andrei           (Lamar University, USA)
Keijiro Araki           (Kyushu University, Japan)
Farhad Arbab            (CWI and Leiden University, Netherlands)
Jonathan Bowen          (King's College London, UK)
Michael Butler          (University of Southampton, UK)
Juan Chen               (Microsoft Research, USA)
Tyng-Ruey Chuang        (Academica Sinica, Taiwan)
Jim Davies              (University of Oxford, UK)
Zhenhua Duan            (Xidian University, China)
Xinyu Feng              (Toyota Technological Inst. at Chicago, USA)
Dieter Gollmann         (Hamburg University of Technology, Germany)
Tetsuo Ida              (University of Tsukuba, Japan)
Radu Iosif              (Verimag, CNRS, France)
Xuandong Li             (Nanjing University, China)
Kung-Kiu Lau            (University of Manchester, UK)
Shaoying Liu            (Hosei University, Japan)
Dorel Lucanu            (University of Iasi, Romania)
Tom Maibaum             (McMaster University, Canada)
Darko Marinov           (Univ. of Illinois at Urbana-Champaign, USA)
Huaikou Miao            (Shanghai University, China)
Peter Mueller           (ETH Zurich, Switzerland)
Viet Ha Nguyen          (Vietnam National University, Vietnam)
Sungwoo Park            (Pohang Univ. of Science and Technology, Korea)
Corneliu Popeea         (MPI-SW, Germany)
Geguang Pu              (East China Normal University, China)
Zongyan Qiu             (Peking University, China)
Volker Stolz            (UNU/IIST, Macau)
Jing Sun                (University of Auckland, New Zealand)
Jun Sun                 (National Univ. of Singapore, Singapore)
Kenji Taguchi           (National Institute of Informatics, Japan)
Yih-Kuen Tsay           (National Taiwan University, Taiwan)
Linzhang Wang           (Nanjing University, China)
Xianbing Wang           (Wuhan University, China)
Wang Yi                 (Uppsala University, Sweden)
Jim Woodcock            (University of York, UK)
Hongyu Zhang            (Tsinghua University, China)
Jian Zhang              (Chinese Academy of Sciences, China)
Jianjun Zhao            (Shanghai Jiao Tong University, China)
Hong Zhu                (Oxford Brookes University, UK)
Huibiao Zhu             (East China Normal University, China)

Important Dates:       
        Feburary 20, 2009:      Title and abstract submission deadline
        Feburary 27, 2009:      Paper submission deadline
        April 20, 2009:         Acceptance/rejection notification      
        May 11, 2009:           Camera-ready version due
        July 29 - 31, 2009:     TASE 2009

[Caml-list] ECOOP 2009 Call for Papers

ECOOP'2009
23rd European Conference on Object Oriented Programming
July 6th - 10th 2009, Genova, Italy
http://2009.ecoop.org

CALL FOR PAPERS

The ECOOP 2009 conference invites high quality papers presenting research
results or experience in all areas relevant to object technology, including
work that takes inspiration from, or builds connections to, areas not
commonly considered object-oriented. ECOOP wishes to embrace a broad
range of topics, therefore the following list of topics is by no means
exclusive:

* Analysis, design methods and design patterns
* Concurrent, real-time or parallel systems
* Databases, persistence and transactions
* Distributed and mobile systems
* Frameworks, product lines and software architectures
* Language design and implementation
* Testing and metrics
* Programming environments and tools
* Theoretical foundations, type systems, formal methods
* Versioning, compatibility, software evolution
* Aspects, Components, Modularity, Reflection
* Collaboration, Workflow

Research papers should advance the current state of the art, and both
experimentally based work and mathematical results are welcome. Experience
papers should describe novel insight gained from the practical application
of object technology, in such a way that it is of interest to a broad group
of researchers and practitioners.

A paper should explain its contributions in both general and technical terms,
identifying what has been accomplished, explaining why it is significant, and
comparing it with previous work. Authors should strive to make their papers
understandable to a broad audience. Papers will be evaluated according to
originality and significance, precision and correctness, presentation and
clarity, and relevance.

Papers must be written in English, and be no longer than 25 pages, including
references, appendices and figures, and written using the LNCS style. For
more information about formatting please consult the Springer LNCS web site
at http://www.springer.de/comp/lncs/authors.html.

Important Dates
Paper submission: 20 December 2008
Authors' response period: 16-18 February 2009
Notification of Acceptance: 13 March 2009
ECOOP conference: 6-10 July 2009

During the author response period, authors will be given the opportunity
to read and respond to the reviews of their papers. Responses will be at
most 500 words, and should be used to answer explicit questions in reviews,
or correct factual mistakes.

Program Chair
Sophia Drossopoulou (Imperial College, London, UK)

Program Committee
Elisa Baniassad (The Chinese University of Hong Kong, China)
Francoise Baude (University of Nice Sophia Antipolis, France)
Bernhard Beckert (University of Koblenz, Germany )
Lodewijk Bergmans (University of Twente, The Netherlands )
John Tang Boyland (University of Wisconsin-Milwaukee, USA)
Siobhán Clarke (Trinity College Dublin, Ireland)
William Cook (University of Texas at Austin, USA)
Eric Eide (University of Utah, USA)
Erik Ernst (University of Aarhus, Denmark )
Cormac Flanagan (University of California at Santa Cruz, USA)
Yossi Gil (Google Haifa and Technion, Israell)
Neal Glew (Intel, USA)
Kathryn E. Gray (University of Cambridge, UK)
Görel Hedin (Lund University, Sweden)
Atsushi Igarashi (Kyoto University, Japan)
Richard Jones (University of Kent, UK)
Viktor Kuncak (École Polytechnique Fédérale de Lausanne, Switzerland)
Doug Lea (State University of New York at Oswego, USA)
Gary T. Leavens (University of Central Florida, USA)
Oscar Nierstrasz (University of Bern, Switzerland)
James Noble (University of Wellington, New Zealand)
Nathaniel Nystrom (IBM Research, USA )
Awais Rashid (Lancaster University, UK)
Diomidis Spinellis (Athens University of Economics and Business, Greece)
Peter Sewell (University of Cambridge, UK)
Laurence Tratt (Bournemouth University, UK)
Jan Vitek (Purdue University, USA)
Matthias Zenger (Google, Switzerland)
Elena Zucca (University of Genova, Italy)

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

*** FIRST CALL FOR PAPERS ***

ACSD 2009
9th International Conference on
Application of Concurrency to System Design

1-3 July 2009
University of Augsburg, Germany
acsd[at]informatik[dot]uni-augsburg[dot]de
http://www.informatik.uni-augsburg.de/acsd/

*** Paper deadline: 4 January 2009 ***
Notification of acceptance: 10 March 2009
Final version due: 10 April 2009

The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. While there are already quite a few success stories in the field, there is still a strong need to bring theory and practice closer together. The conference aims at cross-fertilizing both theoretical and applied research on topics including, but not limited to, the following:

* Design methods, tools and techniques based on models of computation and concurrency (data-flow models, communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), (performance) analysis, verification, testing and synthesis.

* Hardware / software co-design, platform-based design, component-based design, refinement techniques, hardware / software abstractions, co-simulation and verification.

* Synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous systems, interface design, multi-clock systems, functional and timing verification.

* Concurrency issues in Systems on Chips, massively parallel architectures, networks on chip, task and communication scheduling, resource, memory and power management, fault-tolerance and Quality of Service issues.

* (Industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio-)medical applications, internet and grid computing, etc.

* Concurrency issues in ad-hoc, mobile and wireless networking, sensor networks, communication protocols, cross-layer optimization, resource and power management, fault-tolerance, concurrency-related security issues.

* Business process modelling, simulation and verification, (distributed) workflow execution, business process (de-)composition, interorganisational and heterogeneous workflow systems, computer-supported collaborative work systems, web services.

* Synthesis and control of concurrent systems, (compositional) modelling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control.

Programme Committee Co-Chairs

Stephen Edwards (Columbia University, USA)
Walter Vogler (Augsburg University, Germany)

Organizing Chair

Robert Lorenz (Augsburg Unversity, Germany)

Steering Committee

Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
Benoit Caillaud (IRISA, France)
Jordi Cortadella (Universitat Politecnica de Catalunya, Spain)
J�rg Desel (Katholische Universit�t Eichst�tt-Ingolstadt, Germany)
Alex Kondratyev (Cadence, USA)
Luciano Lavagno (Politecnico di Torino, Italy)
Antti Valmari (Tampere University of Technology, Finland)

Programme Committee

Wil van der Aalst (TU Eindhoven, The Netherlands)
Twan Basten (TU Eindhoven, The Netherlands)
Marius Bozga (VERIMAG, France)
Manfred Broy (Technische Universit�t M�nchen, Germany)
Benoit Caillaud (IRISA, France)
Gianfranco Ciardo (University of California at Riverside, USA)
Zhenhua Duan (Xidian University, China)
Stephen Edwards (Columbia University, USA), co-chair
Marc Geilen (TU Eindhoven, The Netherlands)
Keijo Heljanko (Helsinki University of Technology, Finland)
Petr Jancar (Technical University of Ostrava, Czech Republic)
Ryszard Janicki (McMaster University, Canada)
Mark Josephs (London South Bank University, UK)
Gabriel Juhas (Slovak University of Technology, Slovakia)
Victor Khomenko (University of Newcastle upon Tyne, UK)
Erwin de Kock (NXP Semiconductors, The Netherlands)
Fabrice Kordon (Universite Paris 6, France)
Maciej Koutny (Newcastle University, UK)
Antonin Kucera (Masaryk University in Brno, Czech Republic)
Charles Lakos (University of Adelaide, Australia)
Elizabeth Leonard (Naval Research Labs, Washington, DC, USA)
Johan Lilius (TUCS and Abo Akademi University, Finland)
Lin Liu (University of South Australia, Australia)
Robert Lorenz (Universit�t Augsburg, Germany), organizing chair
Ricardo Machado (Universidade do Minho, Portugal)
Mohammad Mousavi (Eindhoven University of Technology, The Netherlands)
Rocco De Nicola (Universita degli Studi di Firenze, Italy)
Jens Palsberg (University of California, Los Angeles, USA)
Doron Peled (University of Warwick, UK)
Elisabeth Pelz (Universite Paris 12, France)
Wojciech Penczek (Polish Acad of Science and Univ of Podlasie)
Laure Petrucci (Universite Paris 13, France)
S. Ramesh (GM Research Lab, India)
Jean-Francois Raskin (Universite Libre de Bruxelles, Belgium)
Anders Ravn (Aalborg University, Denmark)
Sandeep Shukla (Virginia Tech, USA)
Jean-Pierre Talpin (IRISA, France)
Irek Ulidowski (Leicester University, UK)
Antti Valmari (Tampere University of Technology, Finland)
Walter Vogler (Universit�t Augsburg, Germany), co-chair
Karsten Wolf (Universit�t Rostock, Germany)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Wenhui Zhang (ISCAS, China)
Wlodek Zuberek (Memorial University of Newfoundland, Canada)

Regular Papers

Regular papers should be in IEEE Computer Society Press 2-column format (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11.pdf, see also the Formatting section from Information for Authors of the webpage http://www.computer.org/cps/), and should be submitted via Easychair. Both long papers (7 to 10 pages) and short papers (5 to 6 pages) can be submitted. Authors submitting long papers should indicate in their submission whether they would be prepared to reduce the length of their submissions to 6 pages on the recommendation of the programme committee.The cover page should include the corresponding author, physical and e-mail addresses, phone and FAX numbers, and an abstract of at most 60 words. The deadline for submission of regular papers is 4 January 2008. Papers will also be accepted up to 10 January 2008, so long as the cover page (including title and abstract) is submitted by 4 January 2008. Submitted papers should describe original work that has not been previously published and is not under review for publication elsewhere. More information can be obtained through the conference web-pages.

Tool Papers

Tool papers should be in IEEE Computer Society Press 2-column format (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11.pdf, see also the Formatting section from Information for Authors of the webpage http://www.computer.org/cps/), with no more than 5 pages, and should be submitted via Easychair.The cover page should include the corresponding author, physical and e-mail addresses, phone and FAX numbers, and an abstract of at most 60 words. The references should include a link to the tool-homepage, where it can be downloaded. The deadline for submission of tool papers is 4 January 2008. Papers will also be accepted up to 10 January 2008, so long as the cover page (including title and abstract) is submitted by 4 January 2008. Acceptance of a tool paper implies that a tool demonstration should be given at the conference. For facility arrangements and questions, please contact acsd@informatik.uni-augsburg.de.

Proceedings

Proceedings containing accepted regular papers, tool papers and invited papers are planned to be published by IEEE Computer Society Press.

Best Paper Award

A best paper award will be given to the author(s) of the best regular paper presented at ACSD 2009.

Special Issue Fundamenta Informaticae

Best papers of ACSD will be considered for publication in extended and revised form in a special issue of the journal Fundamenta Informaticae.

Organizing Committee

Robert Lorenz (organizing chair)
Christian K�lbl (secretary, web pages)
Markus Huber (technical support, communication)

_______________________________________________
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

[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