Calls for participation: 2009

2009-12-22

[Caml-list] Final Call for Participation: TLDI'10

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

TLDI 2010

ACM SIGPLAN Workshop on
Types in Language Design and Implementation

23 January 2010
Madrid, Spain

To be held in conjunction with POPL 2010

http://research.microsoft.com/~akenn/tldi2010/
*********************************************************************

IMPORTANT DATES

Early registration deadline for POPL: December 22, 2009 (TODAY!)

Hotel reservation deadline: December 28, 2009 (Monday)

VENUE

TLDI'10 and all POPL'10 affiliated events will take place at the Melia Castilla Hotel, Madrid.

REGISTRATION

To register for TLDI'10, follow the link from the POPL 2010 page, at

http://www.cse.psu.edu/popl/10/

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-based analyses and type-theoretic
deductive systems have been central to advances in compilation
techniques for modern programming languages, verification of safety
and security properties of programs, program transformation and
optimization, and many other areas. The ACM SIGPLAN Workshop on Types
in Language Design and Implementation brings researchers together to
share new ideas and results concerning all aspects of types and
programming, and is now an annual event.

INVITED SPEAKER

Matthias Felleisen, Northeastern University, Boston

PRELIMINARY PROGRAM

----------------------
Opening remarks: 9:20-9:30

Invited talk 9:30-10:30

*** Adding Types to Untyped Languages
Matthias Felleisen, Northeastern University, Boston

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

*** Effects for Cooperable and Serializable Threads
Jaeheon Yi and Cormac Flanagan

*** Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone
Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas

*** Distributed programming with distributed authorization
Kumar Avijit, Anupam Datta and Robert Harper

----------------------
** Session II 2:30-4:00

*** let should not be generalized
Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers

*** Pointwise Generalized Algebraic Data Types
Chuan-kai Lin and Tim Sheard

*** Verifying Event-Driven Programs using Ramified Frame Properties
Neelakantan Krishnaswami, Lars Birkedal and Jonathan Aldrich

----------------------
** Session III 4:30-5:30

*** Lightweight Linear Types in System F^o
Karl Mazurak, Jianzhou Zhao and Steve Zdancewic

*** F-ing Modules
Andreas Rossberg, Claudio Russo and Derek Dreyer

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

GENERAL CHAIR

Andrew Kennedy, Microsoft Research, Cambridge

PROGRAM CHAIR

Nick Benton, Microsoft Research, Cambridge

PROGRAM COMMITTEE

Gilles Barthe, IMDEA Software, Spain
Viviana Bono, University of Torino, Italy
Giorgio Ghelli, University of Pisa, Italy
Dan Grossman, University of Washington, USA
Atsushi Igarashi, Kyoto University, Japan
Conor McBride, University of Strathclyde, UK
Jeremy Siek, University of Colorado at Boulder, USA
Zhong Shao, Yale University, USA
Matthieu Sozeau, Harvard University, USA
Chris Stone, Harvey Mudd College, USA
Kristian Støvring, ITU Copenhagen, Denmark

_______________________________________________
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-12-21

[Caml-list] SERA2010: 3rd Call for Papers, Special Sessions, Workshops and Sponsorships; DEADLINE Feb 1, 2010

Dear colleagues,

[ Apologies for the crossposting or if you get multiple copies of this email ]

We would like to invite you to submit a paper and / or a special session /
workshop proposal to the 8th IEEE/ACIS International Conference on Software
Engineering Research, Management and Applications (SERA2010) on
May 24 - 26, 2010. The event will take place at Concordia University, Montreal,
Canada.

http://users.encs.concordia.ca/~sera2010/

Please take notice of the attached Call for Papers, Call for Workshop Proposals
and Call for Sponsorship for further information.

The deadline for submission of either papers or the workshop/special session
proposals HAS BEEN EXTENDED TO February 1, 2010.

We kindly ask you to distribute this announcement among the colleagues in your
institution and post it on research mailing lists you have access to that you
may think this is relevant.

Important dates:
================

Paper and Proposals Submission: February 1, 2010
Acceptance Notification: March 1, 2010
Camera-ready Paper & Pre-Registration: March 15, 2010

Topics:
=======

http://users.encs.concordia.ca/~sera2010/files/First_CFP_SERA2010.pdf

- Formal Methods and Tools
- New theoretical foundations in Software Engineering Modeling
- Business Process & Enterprise Integration Engineering
- Communication Systems and Networks
- Computer Game Development, User Modeling and Management
- Cost Modeling and Analysis
- Data Mining and Knowledge Recovery
- Distributed Intelligent Systems
- Healthcare Engineering
- Human Computer Interaction
- Parallel and Distributed Computing Telecommunications
- Service Oriented Computing
- Mobile/Wireless Computing
- Requirements Modeling and Management
- Process Management & Improvement
- Reengineering, Reverse Engineering
- Autonomic Computing
- Requirements Engineering
- Safety and Security Critical Software
- Software Agent Technology
- Web Engineering, Web-Based Applications
- Virtual Reality and Computer Graphics

Call for Sponsorship:
=====================

http://users.encs.concordia.ca/~sera2010/files/SERA2010-CallForSponsorship-last.pdf

Submission:
===========

We solicit research and experience papers as well as research-in-progress and
practitioner reports in any of the technical areas listed under Scope & Topics.
Submit your paper via the web-based conference management system following
the instructions below:

* First, please review the IEEE PDF specifications.
http://www.ieee.org/portal/cms_docs/pubs/confstandards/pdfs/IEEE-PDF-SpecV401.pdf

* Go to the Conference Management System and follow the instructions on the
"Electronic Submission Page" that it takes you to.
http://acis.cps.cmich.edu:8080/SERA2010/submit.html

* The file that you submit should include the paper title, abstract, keywords,
and introduction followed by the body of your paper. The author's name and
address MUST NOT appear in this file. This is to facilitate a blind review.

* Upload your full paper in two column format (not to exceed 10 single-spaced
pages) via the web-based conference management system in PDF format, or you
can submit your paper in the final manuscript format.

* The format of the final manuscript should be in a two-column format and 8 pages
in length. Up to an extra 2 pages (total of 8) can be purchased at registration
time (see registration form for pricing).

* Please select at least two keywords from the drop-down menu and check boxes.
If you cannot find the right category in the drop-down menu then please enter
a category for your paper in the summary. We need this information when
determining reviewers for your paper.

Submissions, refereeing, and all correspondence will be conducted by e-mail.
All papers must be submitted through our Conference Management System.

http://acis.cps.cmich.edu:8080/SERA2010/submit.html

The program committee will review each submission and judge it with respect
to its originality, significance, and relevance.

Publication:
============

http://users.encs.concordia.ca/~sera2010/Publication.html

Accepted papers will be published in the IEEE Computer Society.

Conference organizers will select approximately 20 outstanding papers from
SERA 2010 to be published in Springer's Studies in Computational
Intelligence (SCI). The book series will be distributed at the conference
site.

Workshops and Special Sessions:
==============================

http://users.encs.concordia.ca/~sera2010/Conference.html

Committees:
===========

http://users.encs.concordia.ca/~sera2010/People.html

For further inquires about SERA2010 conference and event planning, please
e-mail to:

sera2010-priv@encs.concordia.ca

You may obtain further information on the conference at its web site

http://users.encs.concordia.ca/~sera2010/

Sincerely yours,

SERA2010 organizers
===============================================================================

2009-12-19

[Caml-list] POPL 2010 - Call for Participation - Early Registration Dec 22

*********************************************************************
* ACM SIGPLAN-SIGACT Symposium *
* on *
* Principles of Programming Languages *
* *
* January 20-22, 2010 *
* Madrid, Spain *
* *
* Call for Participation *
* *
* http://www.cse.psu.edu/popl/10/ *
*********************************************************************

Important dates

* Early registration deadline: *** December 22, 2009 ***
* Hotel reservation deadline: December 28, 2009
* Conference: January 20-22, 2010

Hotel

All the conference events will take place at the Melia Castilla
Hotel, Madrid. We encourage attendees to stay at the conference
hotel. Information about the hotel can be found on the POPL web
page: http://www.cse.psu.edu/popl/10/

Scope

The annual Symposium on Principles of Programming Languages is a
forum for the discussion of fundamental principles and important
innovations in the design, definition, analysis, transformation,
implementation and verification of programming languages,
programming systems, and programming abstractions. Both
experimental and theoretical papers are welcome.

Preliminary program

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

http://www.cse.psu.edu/popl/10/program.html

Invited speakers

* Neil Gershenfeld (MIT, USA)
* Thomas A. Henzinger (IST, Austria)

Student Attendees

Students with accepted papers or posters are encouraged to apply for
a SIGPLAN PAC grant that will help to cover travel expenses to POPL.
Details on the PAC program and the application can be found in the
conference web site. PAC also offers support for companion travel.

General Chair:
Manuel Hermenegildo
Director, IMDEA Software Institute
Professor, C.S. Department, T.U. of Madrid (UPM), Spain

Program Chair:
Jens Palsberg
Professor, UCLA Computer Science Department

Program Committee:
Alex Aiken Stanford University
Rajeev Alur University of Pennsylvania
Cristiano Calcagno Imperial College, London
Juan Chen Microsoft Research
Wei-Ngan Chin National University of Singapore
Mads Dam Royal Institute of Technology, Stockholm
Erik Ernst Aarhus University
John Field IBM T. J. Watson Research Center
Cormac Flanagan UC Santa Cruz
Roberto Giacobazzi Universita' degli Studi di Verona
Rachid Guerraoui EPFL
Sorin Lerner UC San Diego
Calvin Lin University of Texas, Austin
Atsushi Ohori Tohoku University
Jens Palsberg UCLA
Andrey Rybalchenko Max Planck Institute for Software Systems
Amr Sabry Indiana University
Mooly Sagiv Tel-Aviv University
Peter Sewell University of Cambridge
Tayssir Touili CNRS-LIAFA

Affiliated Events

* WFLP: Functional and (Constraint) Logic Programming
* January 17, 2010

* VMCAI: Verification Model Checking and Abstract Interpretation
* January 17-19, 2010

* PADL: Practical Applications of Declarative Languages
* January 18-19, 2010

* DAMP: Declarative Aspects of Multicore Programming
* January 19, 2010

* PLPV: Programming Languages meets Program Verification
* January 19, 2010

* PEPM: Partial Evaluation and Semantics-Based Program Manipulation
* January 18-19, 2010

* TLDI:Types in Language Design and Implementation
* January 23, 2010

POPL 2010 Preliminary Program
-----------------------------

Wednesday, January 20, 2009
===========================

* Invited talk, 9:00-10:00
* Session Chair: Jens Palsberg (UCLA)
- Reconfigurable Asynchronous Logic Automata
Neil Gershenfeld (MIT, USA)

* Session: Concurrency, 10:30-11:30
* Session Chair: John Field (IBM T. J. Watson Research Center)
- On the Verification Problem for Weak Memory Models
Mohamed Faouzi Atig (LIAFA, University Paris Diderot),
Ahmed Bouajjani (LIAFA, University Paris Diderot),
Sebastian Burckhardt (Microsoft Research),
Madan Musuvathi (Microsoft Research)
- Coarse-Grained Transactions
Eric Koskinen (University of Cambridge), Matthew Parkinson
(University of Cambridge), Maurice Herlihy (Brown University)
- Sequential Verification of Serializability
H. Attiya (Technion), G. Ramalingam (Microsoft Research India),
N. Rinetzky (Queen Mary University of London)

* Session: Static Analysis I, 12:00-1:00
* Session Chair: Tayssir Touili (CNRS-LIAFA)
- Compositional May-Must Program Analysis: Unleashing the Power of
Alternation
Patrice Godefroid (Microsoft Research Redmond),
Aditya V. Nori (Microsoft Research India),
Sriram K. Rajamani (Microsoft Research India),
Sai Deep Tetali (Microsoft Research India)
- Continuity Analysis of Programs
Authors: Swarat Chaudhuri (Pennsylvania State University),
Sumit Gulwani (Microsoft Research),
Roberto Lublinerman (Pennsylvania State University)
- Program Analysis via Satisfiability Modulo Path Programs
William R. Harris (University of Wisconsin, Madison, WI),
Sriram Sankaranarayanan (NEC Laboratories America, Princeton, NJ),
Franjo Ivancic (NEC Laboratories America, Princeton, NJ),
Aarti Gupta (NEC Laboratories America, Princeton, NJ)

* Session: Verified Compilers, 2:30-3:30
* Session Chair: Sorin Lerner (UC San Diego)
- A simple, verified validator for software pipelining
Jean-Baptiste Tristan (INRIA Paris-Rocquencourt),
Xavier Leroy (INRIA Paris-Rocquencourt)
- A Verified Compiler for an Impure Functional Language
Adam Chlipala (Harvard University)
- Verified just-in-time compiler on x86
Magnus O. Myreen (University of Cambridge)

* Session: Type Inference, 4:00-5:00
* Session Chair: Benjamin Pierce (University of Pennsylvania)
- Dependent Types from Counterexamples
Tachio Terauchi (Tohoku University)
- Low-Level Liquid Types
Patrick Rondon (UC San Diego), Ranjit Jhala (UC San Diego),
Ming Kawaguchi (UC San Diego)
- Type Inference for Datalog with Complex Type Hierarchies
Max Schaefer (Semmle Ltd., Oxford), Oege de Moor (Semmle Ltd., Oxford)

Thursday, January 21, 2009
==========================

* Invited talk, 9:00-10:00
* Session Chair: Jens Palsberg (UCLA)
- From Boolean to Quantitative Notions of Correctness
Thomas A. Henzinger (IST, Austria)

* Session: Reasoning about Programs, 10:30-11:30
* Session Chair: Roberto Giacobazzi (Universita' degli Studi di Verona)
- Nominal System T
Andrew M. Pitts (University of Cambridge)
- A Theory of Indirection via Approximation
Aquinas Hobor (National University of Singapore),
Robert Dockins (Princeton University), Andrew W. Appel (Princeton University)
- A Relational Modal Logic for Higher-Order Stateful ADTs
Derek Dreyer (MPI-SWS), Georg Neis (MPI-SWS), Andreas Rossberg (MPI-SWS),
Lars Birkedal (ITU-Copenhagen)

* Session: Static Analysis II, 12:00-1:00
* Session Chair: Andrey Rybalchenko (Max Planck Institute for Software Systems)
- Decision Procedures for Algebraic Data Types with Abstractions
Philippe Suter (EPFL), Mirco Dotta (EPFL), Viktor Kuncak (EPFL)
- Automatic Numeric Abstractions for Heap-Manipulating Programs
Stephen Magill (Carnegie Mellon University),
Ming-Hsien Tsai (National Taiwan University),
Peter Lee (Carnegie Mellon University),
Yih-Kuen Tsay (National Taiwan University)
- Static Determination of Quantitative Resource Usage for Higher-Order
Programs
Steffen Jost (University of St Andrews),
Hans-Wolfgang Loidl (University of St Andrews),
Kevin Hammond (University of St Andrews),
Martin Hofmann (Ludwig-Maximilians University, Munich)

* Session: Verification, 2:30-3:30
* Session Chair: Xavier Leroy (INRIA Rocquencourt)
- Toward a Verified Relational Database Management System
Ryan Wisnesky (Harvard University), Gregory Malecha (Harvard University),
Avraham Shinnar (Harvard University), Greg Morrisett (Harvard University)
- Counterexample-Guided Focus
Andreas Podelski (University of Freiburg), Thomas Wies (EPFL)
- Structuring the verification of heap-manipulating programs
Aleksandar Nanevski (Microsoft Research, Cambridge / IMDEA Software, Spain),
Viktor Vefeiadis (Microsoft Research, Cambridge),
Josh Berdine (Microsoft Research, Cambridge)

* Session: Types, 4:00-5:00
* Session Chair: Erik Ernst (Aarhus University)
- Dependent types and program equivalence
Limin Jia (University of Pennsylvania),
Jianzhou Zhao (University of Pennsylvania),
Vilhelm Sjoberg (University of Pennsylvania),
Stephanie Weirich (University of Pennsylvania)
- Pure Subtype Systems
DeLesley Hutchins (MZA Associates Corporation)
- Modular Session Types for Distributed Object-Oriented Programming
Simon J Gay (University of Glasgow, UK),
Vasco T Vasconcelos (University of Lisbon, Portugal),
Antonio Ravara (Instituto de Telecomunicacoes and Technical
University of Lisbon, Portugal),
Nils Gesbert (University of Glasgow, UK),
Alexandre Z Caldeira (University of Lisbon, Portugal)

Friday, January 22, 2009
=========================

* Session: Program Synthesis, 9:00-10:00
* Session Chair: Cristiano Calcagno (Imperial College, London)
- From Program Verification to Program Synthesis
Saurabh Srivastava (University of Maryland, College Park),
Sumit Gulwani (Microsoft Research, Redmond),
Jeffrey S. Foster (University of Maryland, College Park)
- Abstraction-Guided Synthesis of Synchronization
Martin Vechev (IBM Research), Eran Yahav (IBM Research),
Greta Yorsh (IBM Research)
- Programming with Angelic Non-determinism
Shaon Barman (UC Berkeley), Rastislav Bodik (UC Berkeley),
Satish Chandra (IBM TJ Watson Research), Joel Galenson (UC Berkeley),
Doug Kimelman (IBM TJ Watson Research), Casey Rodarmor (UC Berkeley),
Nicholas Tung (UC Berkeley)

* Session: Relating and Integrating Static and Dynamic Checks, 10:30-11:30
* Session Chair: Matthias Felleisen (Northeastern University)
- Contracts Made Manifest
Michael Greenberg (University of Pennsylvania),
Benjamin Pierce (University of Pennsylvania),
Stephanie Weirich (University of Pennsylvania)
- Threesomes, With and Without Blame
Jeremy G. Siek (University of Colorado at Boulder),
Philip Wadler (University of Edinburgh)
- Integrating Typed and Untyped Code in a Scripting Language
Tobias Wrigstad (Purdue University), Francesco Zappa Nardelli (INRIA),
Sylvain Lebresne (Purdue University), Johan Ostlund (Purdue University),
Jan Vitek (Purdue University)

* Session: Compilers, 12:00-1:00
* Session Chair: Peter Sewell (University of Cambridge)
- Generating Compiler Optimizations from Proofs
Ross Tate (UC San Diego), Michael Stepp (UC San Diego),
Sorin Lerner (UC San Diego)
- Automatically Generating Instruction Selectors Using Declarative
Machine Descriptions
Joao Dias (Tufts University), Norman Ramsey (Tufts University)
- Semantics and Algorithms for Data-dependent Grammars
Yitzhak Mandelbaum (AT&T Labs - Research), Trevor Jim (AT&T Labs - Research),
David Walker (Princeton University)

* Session: Security and Ownership, 2:30-3:30
* Session Chair: Mads Dam (Royal Institute of Technology, Stockholm)
- Paralocks - Role-Based Information Flow Control and Beyond
Niklas Broberg (Gothenburg University),
David Sands (Chalmers University of Technology)
- Modular Verification of Security Protocol Code by Typing
Karthikeyan Bhargavan (Microsoft Research),
Cedric Fournet (Microsoft Research),
Andrew D. Gordon (Microsoft Research)
- Dynamically Checking Ownership Policies in Concurrent C/C++ Programs
Jean-Phillipe Martin (Microsoft Research Cambridge),
Michael Hicks (University of Maryland, College Park),
Manuel Costa (Microsoft Research Cambridge),
Periklis Akritidis (University of Cambridge),
Miguel Castro (Microsoft Research Cambridge)

* Session: Medley, 4:00-5:00
* Session Chair: Mooly Sagiv (Tel-Aviv University)
- Nested Interpolants
Matthias Heizmann (University of Freiburg, Germany),
Jochen Hoenicke (University of Freiburg, Germany),
Andreas Podelski (University of Freiburg, Germany)
- Monads in Action
Andrzej Filinski (University of Copenhagen)
- Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes
for Program Verification
Naoki Kobayashi (Tohoku University), Naoshi Tabuchi (Tohoku University),
Hiroshi Unno (Tohoku University)

2009-12-18

[Caml-list] DisCoTec 2010: Call for Papers

[We apologize for multiple copies]

====================================================================
Call for Papers

DisCoTec 2010

5th International Federated Conferences on
Distributed Computing Techniques

http://discotec.project.cwi.nl/

Amsterdam, Netherlands, 7-10 June 2010
====================================================================

The DisCoTec series of federated conferences is one of the major
events sponsored by the International Federation for Information
processing (IFIP). The main conferences are:

* COORDINATION
* DAIS
* FMOODS & FORTE

This year IFIP offers some travel grants for students and an award
for the best paper of DisCoTec.
All conferences share the same deadlines:

* Important Dates *

February 08, 2010 Abstract Submission
February 12, 2010 Paper Submission
March 19, 2010 Notification of Acceptance
April 02, 2010 Camera ready version
June 07-09, 2010 Conference
June 10, 2010 Workshops

* General Chair *
Frank S. de Boer CWI, Netherlands

* Publicity Chair *
Gianluigi Zavattaro University of Bologna, Italy

* Workshops Chair *
Marcello M. Bonsangue University of Leiden, Netherlands

* Advisory Board *
John Derrick University of Sheffield, UK
Einar Broch Johnsen University of Oslo, Norway
Elie Najm Technical University of Paris, France
Rocco De Nicola University of Florence, Italy
George Angelos Papadopoulos University of Cyprus, Cyprus
Antonio Ravara University of Lisboa, Portugal
Gianluigi Zavattaro University of Bologna, Italy

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

COORDINATION
12th International Conference on Coordination Models and Languages
http://discotec.project.cwi.nl/COORDINATION

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

* Scope *

Coordination 2010 seeks high-quality papers on programming languages
and coordination models, middleware, services, and algorithms that
separate behavior from interaction, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software
development. 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, run-time systems, and related verification and
analysis techniques.

Past incarnations of Coordination have emphasized foundations.
However, given the increasing importance of concurrency in almost
every software domain, the organizers of Coordination 2010 are keen
to provide a strong forum for high-quality papers that address
practical aspects of concurrent programming models; for example,
application of concurrency to novel domains, comparisons of
alternative programming models on important problems, or
domain-specific languages.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

Dave Clarke Katholieke Universiteit Leuven, Belgium
Gul Agha University of Illinois at Urbana-Champaign, USA

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

DAIS
10th IFIP International Conference on
Distributed Applications and Interoperable Systems
http://discotec.project.cwi.nl/DAIS

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

* Scope *

The DAIS conference series addresses all aspects of distributed
applications, including their design, implementation and operation,
the supporting middleware, appropriate software engineering
methodologies and tools, as well as experimental studies and
practice reports. This time we welcome in particular contributions
on architectures, models, technologies and platforms for large scale
and complex distributed applications and services that are related
to the latest trends towards bridging the physical/virtual worlds
based on flexible and versatile service architectures and platforms.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

Extended versions of selected best papers published in DAIS'10 will
be invited for publication in a dedicated special issue of
Wiley Software: Practice and Experience

* Program Committee Chairs *

Frank Eliassen University of Oslo, Norway
Ruediger Kapitza University of Erlangen, Germany

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

FMOODS & FORTE
12th IFIP International Conference on
Formal Methods for Open Object-based Distributed Systems
30th IFIP International Conference on
FORmal TEchniques for Networked and Distributed Systems
http://discotec.project.cwi.nl/FmoodsForte

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

* 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
* object technology, modularity, software adaptation
* 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.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

John Hatcliff Kansas State University, United States of America
Elena Zucca University of Genoa, Italy

2009-12-14

[Caml-list] VMCAI 2010 - Call for Participation - Early Reg: Dec 22

----------------------------------------------------------------------
*** CALL FOR PARTICIPATION ***
[ Please redistribute. Apologies for multiple postings. ]

VMCAI 2010

The Eleventh International Conference on
Verification, Model Checking, and Abstract Interpretation

Madrid, Spain, January 17-19, 2010
(Co-located with POPL 2010)

http://software.imdea.org/events/vmcai10/

Early registration deadline: December 22, 2009
Hotel registration deadline: December 28, 2009
----------------------------------------------------------------------

VMCAI provides a forum for researchers from the communities of
Verification, Model Checking, and Abstract Interpretation,
facilitating interaction, cross-fertilization, and advancement of
hybrid methods. The program of VMCAI'10 will consist of invited
lectures, invited tutorials, and 21 contributed talks. The full
programme is available at the conference web site.

* Invited Talks:

Javier Esparza (Technical University of Munich):
Analysis of Systems with Stochastic Process Creation

Rustan Leino (Microsoft Research):
Verifying Concurrent Programs with Chalice

Reinhard Wilhelm (Saarland University):
Static Timing Analysis for Hard Real-Time Systems

* Invited Tutorials:

Roberto Giacobazzi (University of Verona):
Abstract Interpretation-based Protection

Joost Pieter Katoen (Aachen University):
Advances in Probabilistic Model Checking

Viktor Kuncak (EPFL Lausanne):
Building a Calculus of Data Structures

* Registration:

Further information on registration for VMCAI is available at the
conference web site: http://software.imdea.org/events/vmcai10/

Further information on accommodation is available at the POPL web
site: http://www.cse.psu.edu/popl/10/

* Program:

Sunday, January 17, 2010
9:00-10:00 Invited Talk

* Reinhardt Wilhelm (Saarland University)
Static Timing Analysis for Hard Real-Time Systems

Coffee break

10:30-11:30 Automata and Monitors

* RoLei Bu, Jianhua Zhao and Xuandong Li.
Path-Oriented Reachability Verification of a Class of Nonlinear
Hybrid Automata Using Convex Programming
* Meera Sridhar and Kevin Hamlen.
Model-Checking In-lined Reference Monitors

Coffee break

12.00-13.30 Abstract interpretation

* Liqian Chen, Antoine Mine, Ji Wang and Patrick Cousot.
An abstract domain for discovering interval linear equalities
* Valentin Perrelle and Nicolas Halbwachs.
An analysis of permutations in arrays
* Andy King and Harald Sondergaard.
Automatic Abstraction for Congruences

Lunch break

15.30-16.30 Model Checking

* Jori Dubrovin.
Checking Bounded Reachability in Asynchronous Systems by
Symbolic Event Tracing
* Benjamin Aminof, Orna Kupferman and Aniello Murano.
Improved Model Checking of Hierarchical Systems

Coffee break

17:00-18.30 Invited Tutorial

* Roberto Giaccobazzi (University of Verona)
Abstract Interpretation-based Protection

Monday, January 18, 2010

9.00-10.00 Invited Talk

* Rustan Leino (Microsoft Research)
Verifying Concurrent Programs with Chalice

Coffee break

10.30-11:30 Logical Methods

* Vijay D'silva, Daniel Kroening, Mitra Purandare and Georg Weissenbacher.
Interpolant Strength
* Kuat Yessenov, Ruzica Piskac and Viktor Kuncak.
Collections, Cardinalities, and Relations

Coffee break

12.00-13.30 Program Verification

* Alexander Summers and Sophia Drossopoulou.
A Considerate Specification of the Composite Pattern
* Thomas Henzinger, Thibaud B. Hottelier, Laura Kovacs and Andrei Voronkov.
Invariant and Type Inference for Matrices
* Yungbum Jung, Soonho Kong, Bow-Yaw Wang and Kwangkeun Yi.
Deriving Invariants in Propositional Logic by Algorithmic
Learning, Decision Procedure, and Predicate Abstraction

Lunch break

15.30-16.30 Quantitative Analysis

* Bjorn Wachter and Lijun Zhang.
Best Probabilistic Transformers
* Rohit Chadha, Axel Legay, Pavithra Prabhakar and Mahesh Viswanathan.
Complexity bounds for the verification of real-time software

Coffee break

17:00-18.30 Invited Tutorial

* Joost Pieter Katoen (University of Twente)
Advances in Probabilistic Model Checking

Tuesday, January 19, 2010

9.00-10.00 Invited Talk

* Javier Esparza (Technical University of Munich)
Analysis of Systems with Stochastic Process Creation

Coffee break

10.30-11:30 Temporal Logic

* Rajeev Alur and Swarat Chaudhuri.
Temporal Reasoning for Procedural Programs
* Cesar Sanchez and Martin Leucker.
Regular Linear Temporal Logic with Past

Coffee break

12.00-13.30 Shape Analysis

* Matthew Might.
Shape Analysis of Higher-Order Programs via Abstract Interpretation
* Mark Marron, Rupak Majumdar, Darko Stefanovic and Deepak Kapur.
Shape Analysis with Reference Set Relations
* Jorg Kreiker, Helmut Seidl and Vesal Vojdani.
Shape Analysis of Low-level C with Overlapping Structures

Lunch break

15.30-16.30 Concurrency

* Viktor Vafeiadis.
RGSep Action Inference
* Alexander Malkis, Shaz Qadeer and Shuvendu Lahiri.
Abstract Threads

Coffee break

17:00-18.30 Invited Tutorial

* Viktor Kuncak (EPF Lausanne)
Building a Calculus of Data Structures

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

2009-12-09

[Caml-list] Call for Papers: ICLP 2010

[Sorry, in case of multiple postings]

------------------------------------------------------------------------
CALL FOR PAPERS
26th International Conference on Logic Programming (ICLP 2010)

Edinburgh, Scotland, U.K., July 16-19, 2010
ICLP 2009 will be held as part of the
Fifth Federated Logic Conference (FLoC 2010)
Submission deadline: January 26, 2010

http://www.floc-conference.org/ICLP-home.html
----------------------------------------------------------------------

CONFERENCE SCOPE

Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. Contributions (papers and posters) are sought in all
areas of logic programming including but not restricted to:

Theory: Semantic Foundations, Formalisms, Non-monotonic Reasoning,
Knowledge Representation.
Implementation: Compilation, Memory Management, Virtual Machines,
Parallelism.
Environments: Program Analysis, Transformation, Validation,
Verification, Debugging, Profiling, Testing.
Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
Order, Types, Modes, Assertions, Programming Techniques.
Related Paradigms: Abductive Logic Programming, Inductive Logic
Programming, Constraint Logic Programming, Answer-Set Programming.
Applications: Databases, Data Integration and Federation, Software
Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics.

In addition to the presentations of accepted papers, the technical
program will include plenary invited talks in association with other
FLoC conferences, as well as ICLP invited talks, advanced tutorials,
the doctoral consortium, and several workshops.

SUBMISSION DETAILS

The four broad categories for submissions are: (1) technical papers
for describing technically sound, innovative ideas that can advance
the state of the art of logic programming; (2) application papers,
where the emphasis will be on their impact on the application domain;
(3) system and tool papers, where the emphasis will be on the novelty,
practicality, usability and general availability of the systems and
tools described; and (4) short papers/posters, for ongoing work not
yet ready for full publication and research project overviews.

All papers must describe original, previously unpublished
research, and must not simultaneously be submitted for publication
elsewhere. They must be written in English. Technical papers,
application papers, and system and tool papers must not exceed 15
pages. The limit for short papers / posters is 5 pages. Submissions
must be made in TPLP format
(ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/) via
the Easychair submission system, available at
http://www.easychair.org/conferences/?conf=iclp2010.

IMPORTANT DATES
Paper registration deadline: January 26, 2010
Submission deadline: February 2, 2010
Notification to authors: March 20, 2010
Camera-ready copy due: April 21, 2010
Conference: July 16-19, 2010

PAPER PUBLICATION

All accepted long papers will be published in the journal Theory and
Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one
or more special issues.

In order to ensure the quality of the final version, papers may be
subject to more than one round of refereeing (within the decision
period) and/or "shepherding."

At the time of the conference CUP will make the web page for
this(ese) TPLP issue(s) available including volume and issue numbers,
table of contents, page numbers, and the papers themselves. All
registered attendants at the conference will get a password for
on-line access to this web page during the conference and indefinitely
from then on ("lifetime access"), which can be used to read papers on
line, download them, or print them for personal use. Attendants will
also receive all the papers in a USB memory stick at the conference.

For short papers / posters the journal issue(s) will include a
listing of the titles and authors of these papers, as well as a URL
pointing to their printable copy. Short papers / posters will also get
space in the program for presentation.

ICLP'2010 ORGANIZATION

General Chair:
Veronica Dahl (Simon Fraser University, Canada)
Program Co-chairs:
Manuel Hermenegildo (IMDEA Soft. and UPM, Spain)
Torsten Schaub (University of Potsdam, Germany)
Workshops Chair:
Veronica Dahl (Simon Fraser University, Canada)
Doctoral Consortium:
Marcello Balduccini (Kodak Research Labs, USA)
Prolog Programming Contest:
Tom Schrijvers (K.U. Leuven, Belgium)

PROGRAM COMMITTEE

Maria Alpuente (Technical U. of Valencia, Spain)
Pedro Cabalar (Corunya University, Spain)
Manuel Carro (Technical U. of Madrid, Spain)
Marina De Vos (University of Bath, UK)
James Delgrande (Simon Fraser University, Canada)
Marc Denecker (KU Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
Esra Erdem (Sabanci University, Istanbul, Turkey)
Wolfgang Faber (University of Calabria, Italy)
Thom Fruehwirth (University of Ulm, Germany)
Maurizio Gabbrielli (University of Bologna, Italy)
John Gallagher (Roskilde University, Denmark)
Samir Genaim (Complutense University, Spain)
Haifeng Guo (University of Nebraska at Omaha, USA)
Joxan Jaffar (National U. of Singapore, Singapore)
Tomi Janhunen (Helsinki U. of Technology, Finland)
Michael Leuschel (U. of Duesseldorf, Germany)
Stephen Muggleton (Imperial College London, UK)
Alan Mycroft (U. of Cambridge, UK)
Gopalan Nadathur (University of Minnesota, USA)
Lee Naish (Melbourne University, Australia)
Enrico Pontelli (New Mexico State University, USA)
Vitor Santos Costa (University of Porto, Portugal)
Tom Schrijvers (K.U. Leuven, Belgium)
Tran Cao Son (New Mexico State University, USA)
Peter J. Stuckey (Melbourne University, Australia)
Terrance Swift (CENTRIA, Portugal)
Peter Szeredi (Budapest U. of Tech. and E., Hungary)
Frank Valencia (Ecole Polytechnique, France)
Wim Vanhoof (University of Namur, Belgium)
Kewen Wang (Griffith University, Australia)
Stefan Woltran (Vienna U. of Technology, Austria)
Neng-Fa Zhou (City University of New York, USA)

SPONSOR

The conference is sponsored by the Association for Logic Programming.

FINANCIAL ASSISTANCE

The Association for Logic Programming has funds to assist financially
disadvantaged participants and, specially, students in order to be
able to attend the conference.

WORKSHOPS

The ICLP 2009 program will include several workshops, held also as
part of FLoC. They are perhaps the best places for the presentation of
preliminary work, undeveloped novel ideas, and new open problems to a
wide and interested audience with opportunities for intensive
discussions and project collaboration.

DOCTORAL CONSORTIUM

The 6th Doctoral Consortium (DC) on Logic Programming provides
research students with the opportunity to present and discuss their
research directions, and to obtain feedback from both peers and
world-renown experts in the field. Accepted participants will receive
partial financial support to attend the event and the main
conference. The best paper and presentation from the DC will be given
the opportunity to present in a special session of the main ICLP
conference.

CONFERENCE VENUE / CO-LOCATION

In 2010 (as in the previous two FLoC editions) ICLP will be held as
part of the Fifth Federated Logic Conference, FLoC 2010 in Edinburgh,
Scotland, U.K., July 16-19, 2010. FLoC is held every four years
bringing together several international conferences related to
mathematical logic and computer science. Other participating
conferences are:

- Computer-Aided Verification (CAV),
- Int'l Joint Conference on Automated Reasoning (IJCAR),
- Interactive Theorem Proving (ITP),
- Logic in Computer Science (LICS),
- Rewriting Techniques and Applications (RTA), and
- Theory and Applications of Satisfiability Testing (SAT).

Plenary events involving multiple conferences are planned.
------------------------------------------------------------------------

2009-12-07

[Caml-list] Call for Participation: PLPV 2010

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

PLPV 2010

The Fourth ACM SIGPLAN Workshop
on
Programming Languages meets Program Verification

19 January 2010
Madrid, Spain

To be held in conjunction with POPL 2010

http://slang.soe.ucsc.edu/plpv10/
*********************************************************************

IMPORTANT DATES

Hotel reservation deadline: December 28, 2009 (Monday)

VENUE

PLPV'10 and all POPL'10 affiliated events will take place at the Melia
Castilla Hotel, Madrid.

REGISTRATION

To register for PLPV'10, follow the link from the POPL 2010 page, at

http://www.cse.psu.edu/popl/10/

SCOPE

The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic and/or
structural properties of the programming language. One example is
dependently typed programming languages, which leverage a language's
type system to specify and check richer than usual specifications,
possibly with programmer-provided proof terms. Another example is
extended static checking systems like ESC/Java and Spec#, which
incorporate pre- and postconditions along with a static verifier for
these contracts.

INVITED SPEAKER

Gilles Barthe, Madrid Instutite for Advanced Studies

PRELIMINARY PROGRAM

----------------------
Invited Talk (9:00 - 10:00)

* CertiCrypt: Formal Certification of Code-Based Cryptographic Proofs
Gilles Barthe, Madrid Instutite for Advanced Studies

Session 1 (10:30 - 12:00)

* Singleton types here, Singleton types there, Singleton types everywhere
Stefan Monnier and David Haguenauer

* Operating system development with ATS
Matthew Danish and Hongwei Xi

* Modular Reasoning about Invariants over Shared State with Interposed
Data Members
Stephanie Balzer and Thomas Gross

Session 2 (2:00 - 3:00)

* Resource Typing in Guru
Aaron Stump and Evan Austin

* Free Theorems for Functional Logic Programs
Jan Christiansen, Daniel Seidel and Janis VoigtlÃ¤nder

Discussion (3:00 - 3:30)

* Status update and discussion of the Trellys Project

Session 3 (4:00 - 5:00)

* Arity-generic datatype-generic programming
Stephanie Weirich and Chris Casinghino

* Challenge Benchmarks for Veriï¬cation of Real-time Programs
Tomas Kalibera, Gary Leavens and Jan Vitek

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

PROGRAM CHAIRS

* Cormac Flanagan (University of California, Santa Cruz)
* Jean-Christophe FilliÃ¢tre (CNRS)

PROGRAM COMMITTEE

* Adam Chlipala (Harvard University)
* Ranjit Jhala (University of California, San Diego)
* Joseph Kiniry (University College Dublin)
* Rustan Leino (Microsoft Research)
* Xavier Leroy (INRIA Paris-Rocquencourt)
* Conor McBride (University of Strathclyde)
* Andrey Rybalchenko (Max Planck Institute for Software Systems)
* Tim Sheard (Portland State University)
* Stephanie Weirich (University of Pennsylvania)

2009-11-28

[Caml-list] Memocode 2010 First Call for Papers

MEMOCODE 2010 First Call for Papers

The eighth ACM-IEEE International Conference on Formal Methods and
Models for Codesign (MEMOCODE 2010) will be held
on July 26-28, 2010 in Grenoble, France.

http://www.memocode-conference.com

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

IMPORTANT DATES:

Abstract submission deadline: February 26, 2010
Paper submission deadline: March 5, 2010
Notification of acceptance: April 30, 2010
Poster submission deadline: May 14, 2010
Notification for Posters: May 28, 2010
Final Version for Papers: May 28, 2010

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

The eighth MEMOCODE conference will attract researchers and
practitioners who create methods, tools, and architectures for the
design of hardware/software systems. These systems face increasing
design complexity including tighter constraints on timing, power, costs,
and reliability. MEMOCODE seeks submissions that present novel formal
methods and design techniques addressing these issues to create, refine,
and verify hardware/software systems. We also invite
application-oriented papers, and especially encourage submissions that
highlight the design perspective of formal methods and models, including
success stories and demonstrations of hardware/software codesign.
Furthermore, we invite poster presentations describing ongoing work with
promising preliminary results.

Topics of interest for regular submissions include but are not limited to
- system- and transaction-level modeling and verification, abstraction
and refinement between different modeling levels, formal, semi-formal,
and specification-driven verification,
- design and verification methods for composition of concurrent systems:
multi-core platform architectures, systems-on-chip, networks-on-chip,
- non-traditional and domain-specific design languages for hardware and
software, novel models of computation, and new design paradigms that
unify hardware and software design,
- system-level estimation of performance and power in heterogeneous
hardware/software architectures,
- applications and demonstrators of formal design methodologies and case
studies of innovative system-level design flows, and
- modeling and reuse of intellectual property at system-level.

PROCEEDINGS:

Conference proceedings will be published by the IEEE Computer Society.

SUBMISSION:

Submissions of research and experience papers will only be accepted
through the conference web site. Papers must not exceed 10 pages and
must be formatted following IEEE Computer Society guidelines.
Submissions must be written in English, describe original work, and not
substantially overlap papers that have been published or are being
submitted to a journal or another conference with published proceedings.
Poster submissions should consist of an abstract of at most 250 words.
The abstract will be distributed to the conference attendants but will
not be published. Note that the poster deadline is different from the
paper deadline.

DESIGN CONTEST:

MEMOCODE will again have a design contest. The contest will start March
1, 2010. The deadline for submission is 31 March 2010 and the
notification of the results is on May 14, 2010. The conference will
sponsor at least two prize categories, each with a significant cash
award. We awarded a $1000 prize in each of the two categories in 2009.
Each team that submits a complete and working entry will be invited to
submit for review a 2-page abstract for the formal conference
proceedings; winning teams will be invited to contribute a 4-page short
paper. Each team submitting a completed and working entry will also
receive a commemorative plaque with their name and results. Please refer
to the conference website for more information and updates.

TUTORIALS:

MEMOCODE will feature tutorials related to hardware/software codesign.
Please send your tutorial proposals to alain.girault@inria.fr.

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

General Chair: Klaus Schneider (Kaiserslauten)
Finance Chair: James Hoe (CMU)
Program Chairs: Barbara Jobstmann (CNRS) and Luca Carloni (Columbia)
Design Contest: Joel Emer (Intel) and Forrest Brewer (UCSB)
Local Chairs: Saddek Bensalem (UJF/CEA) and Christian Fabre (CEA)
Tutorial Chair: Alain Girault (INRIA)

Program Committee

David Atienza (EPFL)
Twan Basten (Eindhoven)
Tevfik Bultan (UCSB)
Robert de Simone (INRIA)
Rainer Doemer (UCI)
Rolf Drechsler (Bremen)
Stephen Edwards (Columbia)
Franco Fummi (Verona)
Thierry Gautier (INRIA)
Ganesh Gopalakrishnan (Utah)
Josef Haid (Infineon)
Franjo Ivancic (NEC)
Christoph Kirsch (Salzburg)
Daniel Kroening (Oxford)
Yassine Lakhnech (UJF)
Luciano Lavagno (Torino)
Elizabeth Leonard (NRL)
Rishiyur Nikhil (Bluespec, Inc.)
John O'Leary (Intel)
Roberto Passerone (Trento)
Diego Puschini (CEA)
Jan Reineke (UC Berkeley)
Patrick Schaumont (VirginiaTech)
Klaus Schneider (Kaiserslautern)
Sanjit Seshia (UC Berkeley)
Natasha Sharygina (Lugano)
Satnam Singh (Microsoft)
Michael Theobald (DE Shaw)
Lothar Thiele (ETHZ)
Fei Xie (Portland State)

Steering Committee

Arvind (MIT)
Masahiro Fujita (University Tokyo)
Rajesh Gupta (UC San Diego)
Connie Heitmeyer (NRL)
James Hoe (CMU)
Sandeep Shukla (Virginia Tech)
Jean-Pierre Talpin (INRIA)

2009-11-24

[Caml-list] SERA2010: 2nd Call for Papers, Specical Sessions, Workshops and Sponsorships

Dear colleagues,

[ Apologies for the crossposting or if you get multiple copies of this email ]

http://users.encs.concordia.ca/~sera2010/

Please take notice of the attached Call for Papers, Call for Workshop Proposals
and Call for Sponsorship for further information.

The deadline for submission of either papers or the workshop/special session
proposals is December 15, 2009.

We kindly ask you to distribute this announcement among the colleagues in your
institution and post it on research mailing lists you have access to that you
may think this is relevant.

Important dates:
================

Paper and Proposals Submission: December 15, 2009
Acceptance Notification: January 25, 2010
Camera-ready Paper & Pre-Registration: February 20, 2010

Topics:
=======

http://users.encs.concordia.ca/~sera2010/files/First_CFP_SERA2010.pdf

- New theoretical foundations in Software Engineering Modeling
- Business Process & Enterprise Integration Engineering
- Communication Systems and Networks
- Computer Game Development, User Modeling and Management
- Cost Modeling and Analysis
- Data Mining and Knowledge Recovery
- Distributed Intelligent Systems
- Formal Methods and Tools
- Healthcare Engineering
- Human Computer Interaction
- Parallel and Distributed Computing Telecommunications
- Service Oriented Computing
- Mobile/Wireless Computing
- Requirements Modeling and Management
- Process Management & Improvement
- Reengineering, Reverse Engineering
- Autonomic Computing
- Requirements Engineering
- Safety and Security Critical Software
- Software Agent Technology
- Web Engineering, Web-Based Applications
- Virtual Reality and Computer Graphics

Call for Sponsorship:
=====================

http://users.encs.concordia.ca/~sera2010/files/SERA2010-CallForSponsorship-last.pdf

Submission:
===========

* First, please review the IEEE PDF specifications.
http://www.ieee.org/portal/cms_docs/pubs/confstandards/pdfs/IEEE-PDF-SpecV401.pdf

* Go to the Conference Management System and follow the instructions on the
"Electronic Submission Page" that it takes you to.
http://acis.cps.cmich.edu:8080/SERA2010/submit.html

* The file that you submit should include the paper title, abstract, keywords,
and introduction followed by the body of your paper. The authorâ€™s name and
address MUST NOT appear in this file. This is to facilitate a blind review.

* Upload your full paper in two column format (not to exceed 10 single-spaced
pages) via the web-based conference management system in PDF format, or you
can submit your paper in the final manuscript format.

* The format of the final manuscript should be in a two-column format and 8 pages
in length. Up to an extra 2 pages (total of 8) can be purchased at registration
time (see registration form for pricing).

Submissions, refereeing, and all correspondence will be conducted by e-mail.
All papers must be submitted through our Conference Management System.

http://acis.cps.cmich.edu:8080/SERA2010/submit.html

The program committee will review each submission and judge it with respect
to its originality, significance, and relevance.

Publication:
============

http://users.encs.concordia.ca/~sera2010/Publication.html

Accepted papers will be published in the IEEE Computer Society.

Workshops and Special Sessions:
==============================

http://users.encs.concordia.ca/~sera2010/files/SERA2010-2d-Call%20for%20Workshop%20Proposals.pdf

Committees:
===========

http://users.encs.concordia.ca/~sera2010/People.html

For further inquires about SERA2010 conference and event planning, please
e-mail to:

sera2010-priv@encs.concordia.ca

You may obtain further information on the conference at its web site

http://users.encs.concordia.ca/~sera2010/

Sincerely yours,

SERA2010 organizers
===============================================================================

[Caml-list] Call for Participation: TLDI'10

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

TLDI 2010

ACM SIGPLAN Workshop on
Types in Language Design and Implementation

23 January 2010
Madrid, Spain

To be held in conjunction with POPL 2010

http://research.microsoft.com/~akenn/tldi2010/
*********************************************************************

IMPORTANT DATES

Hotel reservation deadline: December 28, 2009 (Monday)

VENUE

TLDI'10 and all POPL'10 affiliated events will take place at the
Melia Castilla Hotel, Madrid.

REGISTRATION

To register for TLDI'10, follow the link from the POPL 2010 page, at

http://www.cse.psu.edu/popl/10/

SCOPE

INVITED SPEAKER

Matthias Felleisen, Northeastern University, Boston

PRELIMINARY PROGRAM

----------------------
Opening remarks: 9:20-9:30

Invited talk 9:30-10:30

*** Adding Types to Untyped Languages
Matthias Felleisen, Northeastern University, Boston

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

*** Effects for Cooperable and Serializable Threads
Jaeheon Yi and Cormac Flanagan

*** Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone
Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas

*** Distributed programming with distributed authorization
Kumar Avijit, Anupam Datta and Robert Harper

----------------------
** Session II 2:30-4:00

*** let should not be generalized
Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers

*** Pointwise Generalized Algebraic Data Types
Chuan-kai Lin and Tim Sheard

*** Verifying Event-Driven Programs using Ramified Frame Properties
Neelakantan Krishnaswami, Lars Birkedal and Jonathan Aldrich

----------------------
** Session III 4:30-5:30

*** Lightweight Linear Types in System F^o
Karl Mazurak, Jianzhou Zhao and Steve Zdancewic

*** F-ing Modules
Andreas Rossberg, Claudio Russo and Derek Dreyer

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

GENERAL CHAIR

Andrew Kennedy, Microsoft Research, Cambridge

PROGRAM CHAIR

Nick Benton, Microsoft Research, Cambridge

PROGRAM COMMITTEE

2009-11-22

[Caml-list] WGT 2010 Submission Deadline Extension and Final Call for Papers

[ Apologies for multiple copies of this announcement ]

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

FINAL CALL FOR PAPERS

Second Workshop on Generative Technologies
WGT 2010

http://wgt2010.elte.hu/

a satellite event of the
13th European Joint Conferences on
Theory and Practice of Software
(ETAPS 2010)
Paphos - Cyprus
March 27, 2010

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

IMPORTANT DATES

- Submission of full paper: November 30, 2009
- Submission of tool demo paper: November 30, 2009
- Author notification: January 11, 2010
- Final version due: January 25, 2010

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

SCOPE

Generative programming is an emerging paradigm aimed
at automating important tasks in software development,
compile-time and run-time code transformation, and the creation of
domain-specific languages and flexible libraries. The purpose of the
workshop is to provide a forum for researchers and practitioners working in
this area to discuss
state-of-the-art generative technologies and tools, and
exchange ideas about the future of generative programming.
Papers describing practical applications of generative styles,
and new research directions are expected. Suggested areas of
interest in the workshop include, but are not limited to:

- Generative programming, metaprogramming
- Separation of concerns
- Intentional programming
- Domain engineering and domain analysis
- Product-line architectures
- Feature-based techniques
- Compile-time and run-time code transformation
- Multi-stage languages
- Generic and Active library-development
- Analysis of language support for generative programming
- Semantics, type-systems of generative programs
- Case Studies and Demonstration Cases

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

PAPER SUBMISSION

RESEARCH PAPERS (full papers, 8-10 pages) as well as TOOL DEMO PAPERS (up
to 2 pages) should be submitted to the WGT 2010 organizers in ENTCS format
(http://www.entcs.org). Submissions should be sent by e-mail to
wgt@aszt.inf.elte.hu.

Accepted workshop papers are published in the local proceedings. After
the workshop the participants are invited for submission to journal ENTCS
(only research papers). The workshop organizers have intention to set the
deadline of this second submission being later then the notification on
GPCE papers. Hence authors have opportunity to send their paper to GPCE
and if rejected, send to ENTCS without violating usual resubmission policy.

Further information will be available at the WGT 2010 home page.
At least one author of each accepted submission must register
and present the paper at the workshop.

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

PROCEEDINGS

After revision, final copies of the accepted papers will be
published in Electronic Notes in Theoretical Computer Science
(ENTCS), Elsevier Science (http://www.entcs.org).

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

PROGRAM COMMITTEE

- Don Batory University of Texas at Austin (USA)
- Jaakko Järvi Texas A&M University (USA)
- Julia Lawall University of Copenhagen (DK)
- Hanspeter Mössenböck Johannes Kepler University Linz (AT)
- Zoltán Porkoláb Eotvos Lorand University (HUN)
- Awais Rashid Lancaster University (UK)
- Joao Saraiva University of Minho (POR)
- Bran Selic Malina Software Corp (CAN)
- Yannis Smaragdakis University of Massachusetts, Amherst (USA)

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

ORGANIZING COMMITTEE

- Zoltan Porkolab Eotvos Lorand University (HUN)
- Norbert Pataki Eotvos Lorand University (HUN)
- Zalan Szugyi Eotvos Lorand University (HUN)

e-mail: wgt@aszt.inf.elte.hu

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

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

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

Calls for participation

2009-12-22

[Caml-list] Final Call for Participation: TLDI'10

2009-12-21

[Caml-list] SERA2010: 3rd Call for Papers, Special Sessions, Workshops and Sponsorships; DEADLINE Feb 1, 2010

2009-12-19

[Caml-list] POPL 2010 - Call for Participation - Early Registration Dec 22

2009-12-18

[Caml-list] DisCoTec 2010: Call for Papers

2009-12-14

[Caml-list] VMCAI 2010 - Call for Participation - Early Reg: Dec 22

2009-12-09

[Caml-list] Call for Papers: ICLP 2010

2009-12-07

[Caml-list] Call for Participation: PLPV 2010

2009-11-28

[Caml-list] Memocode 2010 First Call for Papers

2009-11-24

[Caml-list] SERA2010: 2nd Call for Papers, Specical Sessions, Workshops and Sponsorships

[Caml-list] Call for Participation: TLDI'10

2009-11-22

[Caml-list] WGT 2010 Submission Deadline Extension and Final Call for Papers

2009-11-18

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

2009-11-17

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

2009-11-14

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

2009-11-10

[Caml-list] SETP-10 Call for papers

[Caml-list] ICFP 2010: Call for papers

Web Box

Blog Archive