Calls for participation

2009-11-18

[Caml-list] Call for Participation - PEPM'10 (co-located with POPL'10)

===============================================================
CALL FOR PARTICIPATION
ACM SIGPLAN 2010 Workshop on
Partial Evaluation and Program Manipulation (PEPM'10)
Madrid, January 18-19, 2010

(Affiliated with POPL'10)

http://www.program-transformation.org/PEPM10
===============================================================

Abstracts of all papers and presentations are available from the
above web site.

INVITED TALKS:

* Lennart Augustsson (Standard Chartered Bank, UK)
Title: O, Partial Evaluator, Where Art Thou?

* Jeremy Siek (University of Colorado at Boulder, USA)
Title: General Purpose Languages Should be Metalanguages.

CONTRIBUTED TALKS:

* Nabil el Boustani and Jurriaan Hage.
Corrective Hints for Type Incorrect Generic Java Programs.

* Johannes Rudolph and Peter Thiemann.
Mnemonics: Type-safe Bytecode Generation at Run Time.

* Elvira Albert, Miguel Gomez-Zamalloa and German Puebla.
PET: A Partial Evaluation-based Test Case Generation Tool for Java
Bytecode.

* Martin Hofmann.
Igor2 - an Analytical Inductive Functional Programming System.

* José Pedro Magalhães, Stefan Holdermans, Johan Jeuring and Andres Löh.
Optimizing Generics Is Easy!

* Michele Baggi, María Alpuente, Demis Ballis and Moreno Falaschi.
A Fold/Unfold Transformation Framework for Rewrite Theories extended
to CCT.

* Hugh Anderson and Siau-Cheng KHOO.
Regular Approximation and Bounded Domains for Size-Change Termination.

* Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich,
Olivier Pons and Xavier Urbain.
A3PAT, an Approach for Certified Automated Termination Proofs.

* Fritz Henglein.
Optimizing Relational Algebra Operations Using Generic Equivalence
Discriminators and Lazy Products.

* Adrian Riesco and Juan Rodriguez-Hortala.
Programming with Singular and Plural Non-deterministic Functions.

* Martin Hofmann and Emanuel Kitzelmann.
I/O Guided Detection of List Catamorphisms.

* Andrew Moss and Dan Page.
Bridging the Gap Between Symbolic and Efficient AES Implementations.

* Christopher Brown and Simon Thompson.
Clone Detection and Elimination for Haskell.

* Stefan Holdermans and Jurriaan Hage.
Making Stricterness More Relevant.

* Arun Lakhotia, Davidson Boccardo, Anshuman Singh and Aleardo Manacero
Júnior.
Context-Sensitive Analysis of Obfuscated x86 Executables.

* Xin Li and Mizuhito Ogawa.
Conditional Weighted Pushdown Systems and Applications.

* Ivan Lazar Miljenovic.
The SourceGraph Program.

* Florian Haftmann.
From Higher-Order Logic to Haskell: There and Back Again.

SPECIAL FEATURE:

* Andy Gill, Garrin Kimmell and Kevin Matlage.
Capturing Functions and Catching Satellites.

IMPORTANT DATES:

* Early registration deadline: December 22, 2009
* Hotel registration deadline: December 28, 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

2009-11-17

[Caml-list] DiScoTec 2010: Call for Workshop Proposals

[We apologize for multiple copies]

DisCoTec 2010

5th International Federated Conferences on
Distributed Computing Techniques

Amsterdam, Netherlands, 7-9 June 2010

Call for Workshop Proposals

A workshop is intended to provide a forum for members of a focused research
community to present preliminary research results and discuss position-style
papers. Workshops are alternative forums for presenting full research
papers. As such, organizers are encouraged to adopt an format that fosters
interaction and discussion, devoting less focus to individual, formal
presentations.

DisCoTec 2010 invites proposals for one day workshops to be held in
conjunction with the main events. Prospective workshop organizers are
requested to follow the guidelines below and are encouraged to contact the
workshop chair should any questions arise.

Important Dates

Workshop proposal deadline: December 17, 2009
Workshop proposal notification: December 23, 2009
Workshop: June 10, 2010

Submission and notification deadlines of the workshops are at the discretion
of the individual workshop organizers, however notification must be no later
than the early registration deadline for the main conference.

Proposal Submission Guidelines

Workshop proposals must be written in English, not exceed 5 pages with a
reasonable font and margin, and be submitted in PDF format via email to
Marcello Bonsangue (marcello@liacs.nl).

Proposals should include the following information:

* The title, theme, and goals of the workshop.
* The targeted audience and the expected minimum and maximum number of
participants. We prefer that workshops remain open to participation
from any members of the community, but by-invitation-only workshops
will also be considered. Please explicitly state your preference.
* The publicity strategy that will be used by the workshop organizers
to promote the workshop.
* The participant solicitation and selection process.
* Publication plan. Each workshop is responsible for managing its own
publication (e.g., pre- or post- proceedings), if any is desired.
* Approximate budget proposal (see section Budget below for details).
* A preliminary version of the call for papers. This CFP must include
important dates including submission, notification, and camera-ready
deadlines.
* The equipment and any other resource necessary for the organization
of the workshop.
* A brief description of the organizer's background, including relevant
past experience on organizing workshops and contact information.

Review Process

Workshop proposals will be reviewed by the following committee:

* Frank S. de Boer, CWI, NL (DiScoTec 2010 General Chair)
* Marcello M. Bonsangue, University of Leiden, NL (Workshops Chair)
* Immo Grabe, CWI, NL
* Stephanie Kemper, CWI, NL
* Alexandra Silva, CWI, NL

Acceptance is based on an evaluation of the workshop's potential for
generating useful results, the timeliness and expected interest in the
topic, the organizer's ability to lead a successful workshop, and
potential for attracting sufficient number of participants.

Workshop Publicity

Workshop publicity is responsability of the organizers. In particular they
are responsible for the following items:

1. A workshop description (200 words) for inclusion on the DisCoTec site.
2. Hosting and maintaining web pages to be linked from the DisCoTec site.
Workshop coordinators can integrate their pages into the wiki-page of
DisCoTec 2010.
3. Workshop proceedings, if any. If there is enough interest, the
organizer of DiScoTec 2010 may contact Elevier for having a common
volume of the Electronic Proceedings in Theoretical Computer Science
(http://info.eptcs.org/) dedicated to the workshops of DiScoTec 2010.
4. Publicising the event.

Budget

DisCoTec will provide registration and organizational support for the
workshops. Registration fees must be paid for all participants, including
organizers and invited guests.

To cover lunches, coffee breaks and basic organizational expenses, all
workshops will be required to charge a minimum participation fee (the
precise amount is still to be determined). Each workshop may increase this
fee to cover additional expenses such as publication charges, student
scholarships, registration for invited speakers, etc. All fees will be
collected by the DisCoTec organizers as part of the registration, then
additional funds will be redistributed to the individual workshop
organizers.

Contact Information

Marcello Bonsangue (marcello@liacs.nl)

2009-11-14

[Caml-list] Second call for papers: Mathematics of Program Construction

SECOND CALL FOR PAPERS

10th International Conference on
Mathematics of Program Construction
MPC 2010

Québec City, Canada, 21-23 June 2010

http://mpc-amast2010.fsg.ulaval.ca/

Colocated with AMAST 2010 (23-26 June 2010)

BACKGROUND

The biennial MPC conferences aim to promote the development of
mathematical principles and techniques that are demonstrably practical
and effective in the process of constructing computer programs. Topics
of interest range from algorithmics to support for program
construction in programming languages and systems.

The previous conferences were held in Twente, The Netherlands (1989),
Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden
(1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002),
Stirling, UK (2004, colocated with AMAST '04), Kuressaare, Estonia
(2006, colocated with AMAST '06) and Marseille, France (2008).
The 2010 conference will be held in Lac-Beauport, a suburb of Québec
City, Canada, and will be colocated with AMAST '10 (23-26 June 2010).

INVITED SPEAKERS

Roland Backhouse, University of Nottingham, UK.
Others to be announced later.

IMPORTANT DATES

* Submission of abstracts: 7 December 2009
* Submission of full papers: 14 December 2009
* Notification of authors: 20 February 2010
* Camera-ready version: 20 March 2010

TOPICS

Papers are solicited on mathematical methods and tools put to use in
program construction. Topics of interest range from algorithmics to
support for program construction in programming languages and
systems. Some typical areas are type systems, program analysis and
transformation, programming-language semantics, security and program
logics. Theoretical contributions are welcome provided their relevance
for program construction is clear. Reports on applications are welcome
provided their mathematical basis is evident.

SUBMISSION

Submission is in two stages. Abstracts (plain text, 10 to 20 lines)
must be submitted by 7 December 2009. Full papers (pdf) adhering to
the LaTeX llncs style must be submitted by 14 December 2009. There
is no official page limit, but authors should strive for brevity.
The web-based system EasyChair will be used for submission
(https://www.easychair.org/login.cgi?conf=mpc2010).

Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. In
particular, they must not be submitted to AMAST 2010. Accepted
papers must be presented at the conference by one of the authors.

The proceedings of MPC'10 will be published in the Lecture Notes in
Computer Science series of Springer-Verlag.

After the conference, the authors of the best papers will be invited
to submit revised versions to a special issue of the Science of
Computer Programming journal of Elsevier.

PROGRAMME COMMITTEE

Jules Desharnais Université Laval, Québec, Canada (chair)

Philippe Audebaud Ecole Normale Supérieure Lyon, France
Ralph-Johan Back Abo Akademi University, Finland
Eerke Boiten University of Kent, UK
Sharon Curtis Oxford Brookes University, UK
Jeremy Gibbons University of Oxford, UK
Lindsay Groves Victoria University of Wellington, New Zealand
Ian Hayes University of Queensland, Australia
Eric Hehner University of Toronto, Canada
Zhenjiang Hu National Institute of Informatics, Japan
Johan Jeuring Utrecht University, Netherlands
Christian Lengauer Universität Passau, Germany
Bernhard Möller Universität Augsburg, Germany
Shin-Cheng Mu Academia Sinica, Taiwan
David Naumann Stevens Institute of Technology, USA
José Nuno Oliveira Universidade do Minho, Portugal
Alberto Pardo Universidad de la República, Uruguay
Christine Paulin-Mohring INRIA-Université Paris-Sud, France
Steve Reeves University of Waikato, New Zealand
Tim Sheard Portland State University, USA
Georg Struth Sheffield University, UK
Tarmo Uustalu Institute of Cybernetics, Estonia

VENUE

The conference will be held in the Manoir St-Castin
(http://www.hotelsvillegia.com/villegia_stcastin/pages-eg/).
This resort is located on the shore of Beauport lake,
15 minutes from downtown Québec City (http://www.quebecregion.com/e/)
and 15 minutes from the Jean-Lesage International Airport.

LOCAL ORGANIZERS

The local organizers are Claude Bolduc, Jules Desharnais and Béchir Ktari.

Enquiries regarding the programme (submission, etc.) should be addressed
to Jules.Desharnais@ift.ulaval.ca.

2009-11-10

[Caml-list] SETP-10 Call for papers

SETP-10 Call for papers

The 2010 International Conference on Software Engineering Theory and Practice (SETP-10) (website: http://www.PromoteResearch.org) will be held during 12-14 of July 2010 in Orlando, FL, USA. SETP is an important event in the areas of Software development, maintenance, and other areas of software engineering and related topics.

The conference will be held at the same time and location where several other major international conferences will be taking place. The conference will be held as part of 2010 multi-conference (MULTICONF-10). MULTICONF-10 will be held during July 12-14, 2010 in Orlando, Florida, USA. The primary goal of MULTICONF is to promote research and developmental activities in computer science, information technology, control engineering, and related fields. Another goal is to promote the dissemination of research to a multidisciplinary audience and to facilitate communication among researchers, developers, practitioners in different fields. The following conferences are planned to be organized as part of MULTICONF-10.

International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10)
International Conference on Automation, Robotics and Control Systems (ARCS-10)
International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-10)
International Conference on Computer Networks (CN-10)
International Conference on Enterprise Information Systems and Web Technologies (EISWT-10)
International Conference on High Performance Computing Systems (HPCS-10)
International Conference on Information Security and Privacy (ISP-10)
International Conference on Image and Video Processing and Computer Vision (IVPCV-10)
International Conference on Software Engineering Theory and Practice (SETP-10)
International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10)

We invite draft paper submissions. Please see the website http://www.PromoteResearch.org for more details.

Sincerely

John Edward

Publicity committee

[Caml-list] ICFP 2010: Call for papers

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

Call for Papers

ICFP 2010: International Conference on Functional Programming

Baltimore, Maryland, 27 -- 29 September 2010

http://www.icfpconference.org/icfp2010

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

Important Dates (at 14:00 UTC)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Submission: 2 April 2010
Author response: 24 -- 25 May 2010
Notification: 7 June 2010
Final papers due: 12 July 2010

Scope
~~~~~

ICFP 2010 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.

Abbreviated instructions for authors
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
By 2 April 2010, 14:00 UTC, submit an abstract of at most 300 words
and a full paper of at most 12 pages (6 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 on the
conference web site.

Each submission must adhere to SIGPLAN's republication policy, as
explained on the web at http://www.acm.org/sigplan/republicationpolicy.htm.

Proceedings will be published by ACM Press. Authors of accepted
submissions are expected to transfer the copyright to the
ACM. Presentations will be videotaped and released online if the
presenter consents by signing an additional permission form at the
time of the presentation. 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. 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 at http://www.acm.org/sigs/sigplan/authorInformation.htm.

Submission: Submissions will be accepted electronically at a URL to be
named later. Improved versions of a paper may be submitted at any
point before the submission deadline using the same web interface.

Author response: Authors will have a 48-hour period, starting at 14:00
UTC on 24 May 2010, to read and respond to reviews.

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

Organization
~~~~~~~~~~~~
Conference Chair
Paul Hudak, Yale University

Program Chair
Stephanie Weirich, University of Pennsylvania

Program Committee:
Umut Acar, Max Planck Institute for Software Systems
Zena Ariola, University of Oregon
James Cheney, University of Edinburgh
Peter Dybjer, Chalmers University of Technology
Robert Bruce Findler, Northwestern University
Andy Gill, Kansas University
Fritz Henglein, University of Copenhagen
Michael Hicks, University of Maryland, College Park
Patricia Johann, University of Strathclyde
Andres Löh, Utrecht University
Simon L. Peyton Jones, Microsoft Research
Didier Rémy, INRIA Paris-Rocquencourt
John Reppy, University of Chicago
Manuel Serrano, INRIA Sophia-Antipolis
Matthieu Sozeau, Harvard University

[Caml-list] ASAP 2010 Call for paper

[ Please accept our apologies if you receive multiple copies. ]

21st IEEE International Conference on
Application-specific Systems, Architectures and Processors
http://asap-conference.org /
July 7-9, 2010,
Rennes, Brittany, France

The conference will cover the theory and practice of application-specific systems, architectures and processors. The 2009 conference will build upon traditional strengths in areas such as arithmetic, cryptography, compression, signal and image processing, application-specific instruction processors, etc. We especially encourage submissions in the following three areas:

- Bioinformatics and computational biology - life sciences present a host of interesting problems that can benefit from application-specific solutions.

- Architecturally diverse systems - systems that use varied computing resources such as FPGAs, GPUs, Cell processors, etc.

- Tools and Compilations Methods for Reconfigurable Computing.

The conference venue in 2010 is Rennes, which is a wonderful city to visit in its own right, with many sights worth seeing. This vibrant, thriving city is renowned for its cultural facilities, and world-class educational institutions.

Important Dates:

- Paper Submission : February 12
- Notification of Acceptance : April 19
- Camera-ready Papers Due : May 3
- Conference :July 7 to 9

General Chair :

- Christophe Wolinski, University of Rennes I - INRIA Rennes Bretagne Atlantique, France

Program Co-Chairs:

- Jürgen Teich, University of Erlangen-Nurnberg, Germany
- François Charot, INRIA Rennes Bretagne Atlantique, France
- Walid Najjar, University of California Riverside, USA

Finance Chair:

- Laurent Perraudeau, University of Rennes I - IRISA, France

Publicity Chair:

- Steven Derrien, University of Rennes I - INRIA Rennes Bretagne Atlantique, France

Secretary :

asap2010-secretary@irisa.fr

2009-11-05

[Caml-list] Preliminary call for papers PLAS 2010

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

Preliminary Call for Papers

ACM SIGPLAN Fifth Workshop on
Programming Languages and Analysis for Security
(PLAS 2010)

http://software.imdea.org/events/plas2010/index.html
June 10, 2010
Co-located with PLDI 2010, Toronto, Canada

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

SCOPE

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:

* Compiler-based security mechanisms or runtime-based security
mechanisms such as inline reference monitors
* Program analysis techniques for discovering security vulnerabilities
* Automated introduction and/or verification of security enforcement
mechanisms
* Language-based verification of security properties in software
including verification of cryptographic protocols
* Specifying and enforcing security policies for information flow and
access control
* Model-driven approaches to security
* Security concerns for web programming languages
* Language design for security in new domains such as cloud computing
and embedded platforms
* Applications, case studies, and implementations of these techniques

IMPORTANT INFORMATION

Submissions due: Friday, March 12, 2010
Author notification: Friday, April 23, 2010
Revised papers due: Monday, May 10, 2010
PLAS 2010 workshop: Thursday, June 10, 2010

Submission URL: https://www.easychair.org/login.cgi?conf=plas2010

SUBMISSION GUIDELINES

We invite papers in two categories:

* Full papers should be at most 12 pages long including bibliography
and appendices. Papers in this category are expected to have
relatively mature content. Full paper presentations will be 25
minutes each.

* Position papers should be at most 6 pages long including
bibliography and appendices. Preliminary and exploratory work are
welcome in this category. Position paper presentations will be 10
minutes each. Authors submitting papers in this category must
prepend the phrase "Position Paper: " (without quotes) to the title
of the submitted paper.

Submissions should be PDF documents typeset in the ACM proceedings
format using 10pt fonts. SIGPLAN-approved templates can be found at
http://www.acm.org/sigs/sigplan/authorInformation.htm. We recommend
using this format, which improves greatly on the ACM LaTeX format. All
submissions must be in English. Page limits are strict.

Both full and position papers must describe work not published in
other refereed venues (see the SIGPLAN republication policy at
http://www.acm.org/sigs/sigplan/republicationpolicy.htm for
details). Accepted papers will appear in the workshop proceedings
which will be distributed to workshop participants and be available in
the ACM Digital Library.

Papers may be submitted via EasyChair at
https://www.easychair.org/login.cgi?conf=plas2010. The submission
deadline is Friday, March 12, 2010.

PROGRAM COMMITTEE

Anindya Banerjee (IMDEA Software) (co-chair)
Gilles Barthe (IMDEA Software)
Avik Chaudhuri (University of Maryland)
Veronique Cortier (LORIA, CNRS)
Brendan Eich (Mozilla Corporation)
Ulfar Erlingsson (Microsoft Research and Reykjavik University)
Deepak Garg (Carnegie Mellon University) (co-chair)
Andrew D. Gordon (Microsoft Research)
Joshua Guttman (Worcester Polytechnic Institute)
Shriram Krishnamurthi (Brown University)
Sergio Maffeis (Imperial College London)
Todd Millstein (University of California, Los Angeles)
John Mitchell (Stanford University)
Marco Pistoia (IBM TJ Watson Research Center)
Andrei Sabelfeld (Chalmers University)
Zhendong Su (University of California, Davis)