[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