[Caml-list] Call for Papers: HLPP 2010 (DEADLINE EXTENSION)

We apologize if you receive this CfP multiple times. Please distribute !

******************** DEADLINE EXTENSION ********************
------------------------------------------------------------
Fourth International Workshop on
High-level Parallel Programming and Applications (HLPP 2010)
Baltimore, Maryland, September 25, 2010
Affiliated to ICFP 2010
------------------------------------------------------------

AIMS AND SCOPE

As processor and system manufacturers adjust their roadmaps towards increasing
levels of both inter and intra-chip parallelism, so the urgency of reorienting
the mainstream software industry towards these architectures grows.

At present, popular parallel and distributed programming methodologies are
dominated by low-level techniques such as send/receive message passing, or
equivalently unstructured shared memory mechanisms.

Higher-level, structured approaches offer many possible advantages and have a
key role to play in the scalable exploitation of ubiquitous parallelism.

This workshop provides a forum for discussion and research about such high-level
approaches to parallel programming.
Topics

We welcome submission of original, unpublished papers in English on topics
including (but not limited to) the following aspects of multi-core, parallel,
distributed, grid and cloud computing:

* High-level programming and performance models (BSP, CGM, LogP, MPM, etc.)
and tools
* Declarative parallel programming methodologies
* Algorithmic skeletons and constructive methods
* Declarative parallel programming languages and libraries: semantics and
implementation
* Verification of declarative parallel and distributed programs
* Applications using high-level languages and tools
* Teaching experience with high-level tools and methods

PROGRAMME COMMITTEE

* Anne Benoit (ENS Lyon, France)
* Murray Cole (University of Edinburgh, UK)
* Alexandros Gerbessiotis (New Jersey Institute of Technology, USA)
* Christoph Kessler (Linköpings Universitet, Sweden)
* Herbert Kuchen (University of Muenster, Germany)
* Rita Loogen (University of Marburg, Germany)
* Frédéric Loulergue (University of Orléans, France)
* Kiminori Matsuzaki (Kochi University of Technology, Japan)
* Samuel Midkiff (Purdue University, USA)
* Susanna Pelagatti (University of Pisa, Italy)
* Sukyoung Ryu (Korea Advanced Institute of Science and Technology, Korea)
* Kazunori Ueda (Waseda University, Japan)

IMPORTANT DATES

* Submission (EXTENDED): 14 June 2010, 11:59 AM GMT
* Notification: 12 July 210
* Final version: 28 July 2010

SUBMISSION

Papers must be submitted online via EasyChair:
https://www.easychair.org/account/signin.cgi?conf=hlpp2010

Submitted papers should be in portable document format (PDF), formatted using
the ACM SIGPLAN style guidelines. The text should be in a 9pt font in two
columns; the length is restricted to 10 pages.

Papers must report previously unpublished work and not be submitted concurrently
to another conference with refereed proceedings. Accepted papers must be
presented at the workshop by one of the authors. Accepted papers will be
published by the ACM and will appear in the ACM Digital Library.

WEBSITE

http://frederic.loulergue.eu/HLPP/hlpp2010/index.html

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] LOPSTR/PPDP 2010 Call for Participation

[Apologize for multiple copies]
====================================================================

*** CALL FOR PARTICIPATION ***

LOPSTR 2010
20th International Symposium on
Logic-Based Program Synthesis and Transformation
http://www.risc.jku.at/conferences/lopstr2010/
July 23-25, 2010

PPDP 2010
12th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
http://www.risc.jku.at/conferences/ppdp2010/
July 26-28, 2010

Hagenberg, Austria

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

IMPORTANT INFORMATION

Early registration deadline (for both conferences): June 21, 2010

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

LOPSTR 2010 INVITED SPEAKERS:

- Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
- Olivier Danvy (University of Aarhus, Denmark)
- Johann Schumann (RIACS/NASA Ames Research Center, USA)

LOPSTR 2010 PROGRAM:

http://www.risc.jku.at/conferences/lopstr2010/program.html

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

PPDP 2010 INVITED SPEAKERS:

- Maria Paola Bonacina (University of Verona, Italy)
- Sumit Gulwani (Microsoft Research)

PPDP 2010 PROGRAM:

http://www.risc.jku.at/conferences/ppdp2010/program.html

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] CALL FOR PARTICIPATION - ECOOP conference tutorials

Dear Colleagues,

In June, the city of Maribor will host one of the most prominent European conferences on object-oriented programming and related areas - ECOOP2010. Within the conference we are organizing several tutorials at the reasonable pricing of 120,00 EUR for half day tutorials and 180,00 EUR for full day tutorials. The registration to the conference or workshops is NOT a pre-requirement for attending the tutorial.

The list of tutorials is:

Tutorial 1: Effective Model Driven Engineering Patterns Principles and Practices in Action
Tutorial 2: Porting and Using Squawk Java Virtual Machine on Open Source Lego Mindstorms NXT
Tutorial 3: Leveraging business success with BPMN
Tutorial 4: Generative Software Development
Tutorial 5: Semantic Web Technologies: Tools, Cases and Lessons Learned
Tutorial 6: Exploring typed language design in Haskell

For more information please visit:

http://ecoop2010.uni-mb.si/tutorials.html

Best regards,

ECOOP organizers

[Caml-list] Call for Participation: 20th WADT, July 1-4, 2010

[sorry if you receive this more than once]

CALL FOR PARTICIPATION

WADT 2010
20th International Workshop on
Algebraic Development Techniques
July 1-4, 2010, Etelsen, Germany

Program and registration at
http://www.informatik.uni-bremen.de/WADT2010/
Contact: wadt2010@informatik.uni-bremen.de

Registration deadline: May 31st, 2010

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] DisCoTec 2010: Call for Participation

[We apologize for multiple copies]

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

DisCoTec 2010

5th International Federated Conferences on
Distributed Computing Techniques

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

Amsterdam, The Netherlands, 7-10 June 2010

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

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

The DisCoTec invited speakers are:

Joe Armstrong, Ericsson Telecom AB
Erlang-style concurrency

Gerard J. Holzmann, Jet Propulsion Laboratory, USA
Formal Software Verification: How Close Are We?

Joost Roelands, Director of Development Netlog
Distributed Social Data

This year the conference program includes also special sessions
dedicated to the Celebration of the 30th Anniversary of FORTE,
the IFIP International Conference on Formal Techniques for
Networked and Distributed Systems. These special sessions will
include the invited talk by Gerard Holmann and the following
lectures:

Gregor v. Bochmann, University of Ottawa, Canada
The early times of protocol engineering

Ed Brinksma, Twente University, The Netherlands
Testing Times: 20 years of research and collaboration
in conformance testing

Tommaso Bolognesi, CNR-Pisa, Italy
Is the Big-Bang Object-Oriented?
"Can we use Formal Methods for understanding the early Universe?"

Gianluigi Zavattaro, University of Bologna, Italy
Moving to the Cloud: "If you put your files on Dropbox,
why don't you put your processes on the Cloud?"

DisCoTec includes also the following satellite workshops:
* CAMPUS'10: 3rd Workshop on Context-aware Adaptation Mechanisms
for Pervasive and Ubiquitous Services
* CS2Bio'10: 1st International Workshop on Interactions between
Computer Science and Biology
* DCDP'10: Decentralized Coordination of Distributed Processes
* ICE'10: 3rd Interaction and Concurrency Experience

* 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 Telecom ParisTech, 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.

* 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.

* 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.

* Program Committee Chairs *

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] LOLA 2010 Programme and call for participation

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

*** CALL FOR PARTICIPATION ***

LOLA 2010

Syntax and Semantics of Low Level Languages

Friday 9th July 2010, Edinburgh, UK

A LICS 2010-affiliated workshop at FLoC 2010
http://lola.pps.jussieu.fr/

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

IMPORTANT DEADLINES:

* early registration deadline: 17 May 2010
* standard registration: 18 May 2010 - 30 June 2010
* late registration: after 30 June 2010

Registration, accomodation, and travel/visa information for all FLoC
conferences and workshops is on the FLoC 2010 web pages:

http://www.floc-conference.org/

WORKSHOP PROGRAMME:

INVITED TALKS:

* Gérard Berry (INRIA, Collège de France). What could be the right
balance between abstract and fine-grain computational properties?

* Dan Ghica (University of Birmingham). Geometry of Synthesis:
Semantics-directed hardware compilation.

* Alex Simpson (LFCS, University of Edinburgh). Linear types for
continuations.

CONTRIBUTED TALKS:

* Magnus O. Myreen & Michael J. C. Gordon. Machine code:
architecture-independent formal verification and proof-producing
compilation.

* Ugo Dal Lago On the Role of Interaction in Implicit Computational
Complexity.

* Nick Benton & Chung-Kil Hur. Step-Indexing: The Good, the Bad and
the Ugly.

* Guilhem Jaber & Nicolas Tabareau. Krivine realizability for
compiler correctness.

* Shin-ya Katsumata & Rasmus Mogelberg. Fullness of monadic
translation by TT-lifting.

* Rasmus Mogelberg & Sam Staton. Full abstraction in a metalanguage
for state.

* Antoine Madet & Roberto Amadio & Patrick Baillot. An
Affine-Intuitionistic System of Types and Effects: Confluence and
Termination.

* Nathaniel Charlton & Bernhard Reus. A deeper understanding of the
deep frame axiom.

ALL THIS, PLUS: a thrilling panel discussion!

DESCRIPTION OF THE WORKSHOP:

It has been understood since the late 1960s that tools and structures
arising in mathematical logic and proof theory can usefully be applied
to the design of high level programming languages, and to the
development of reasoning principles for such languages. Yet low level
languages, such as machine code, and the compilation of high level
languages into a low level ones have traditionally been seen as having
little or no essential connection to logic.

However, a fundamental discovery of this past decade has been that low
level languages are also governed by logical principles. From this
key observation has emerged an active and fascinating new research
area at the frontier of logic and computer science. The
practically-motivated design of logics reflecting the structure of low
level languages (such as heaps, registers and code pointers) and low
level properties of programs (such as resource usage) goes hand in
hand with the some of the most advanced contemporary researches in
semantics and proof theory, including classical realizability and
forcing, double orthogonality, parametricity, linear logic, game
semantics, uniformity, categorical semantics, explicit substitutions,
abstract machines, implicit complexity and sublinear programming.

The LOLA workshop, affiliated with LICS, will bring together
researchers interested in the various aspects of the relationship
between logic and low level languages and programs. LOLA is an
informal workshop aiming at a high degree of useful interaction
amongst the participants.

PROGRAMME COMMITTEE:

* Amal Ahmed (Indiana University)
* Nick Benton (MSR Cambridge, co-chair)
* Lars Birkedal (IT University of Copenhagen)
* Dan Ghica (University of Birmingham)
* Paul-Andre Mellies (CNRS & University Paris Diderot, co-chair)
* François Pottier (INRIA Rocquencourt)
* Ulrich Schoepp (LMU Munich)
* Hayo Thielecke (University of Birmingham)

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9)

CONTENT MATH TRAINING CAMP
and
DOCTORAL PROGRAMME
at
Conferences on Intelligent Computer Mathematics (CICM 2010)
CNAM, Paris, France
6th-9th July

http://cicm2010.cnam.fr/cmtc

CALL FOR PROPOSALS/PARTICIPATION
Deadline: 1st June

Some Student Grants Available!

CONTENT MATH TRAINING CAMP (6th-9th July):

This is a training school comprising tutorial sessions and practical labs with
an integrated Doctoral Programme (see below). Its aim is to disseminate the
latest developments and emerging trends in intelligent computational
mathematics as well as to familiarise, in particular young researchers, with
the leading state of the art technologies for authoring, presenting,
conserving and accessing mathematical knowledge and their applications.

Preliminary list of topics: http://cicm2010.cnam.fr/cmtc

Please let us know what you are particularly interested in by June 1 (mail to
Christoph Lange <ch.lange@jacobs-university.de>).

Deadline for your own presentation proposals: 1st June
Acceptance notification: 8th June

DOCTORAL PROGRAMME (7th-9th July):

PhD students at any level, working on a research topic related to the CICM'10
conferences may apply for participation in the Doctoral Programme. Application
documents shall be sent to Volker Sorge <v.sorge@cs.bham.ac.uk> and they
should consist of:

* A brief (max. 1 page) summary of the PhD topic
* A short letter of recommendation from the supervisor
* A statement whether the student applies for a grant or not
(Some financial support for travel and attendance is available)

Application deadline: 1st June
Acceptance notification: 8th June

The Doctoral Programme will enable graduate students to discuss and present
their research and ideas, and gain feedback from respected researchers within
the areas of Mathematics, Computer Science and Artificial Intelligence. It is
integrated with the Content Math Training Camp (see above). The Doctoral
Programme will also promote contacts between participating students and
provide information on careers opportunities in academia, research and
industry. Moreover, tutorials from experienced researchers are planned as well
as a social programme including some sports event.

Details: http://cicm2010.cnam.fr/cmtc/doctoral.html

Board of Senior Scientists:
* Serge Autexier (DFKI Bremen, Germany),Chair
* John Campbell (University College London, UK)
* James H. Davenport (University of Bath, UK)
* Michael Kohlhase (Jacobs University Bremen, Germany)
* Volker Sorge (University of Birmingham, UK)

Content Math Training Camp Organisers:
* Michael Kohlhase (Jacobs University Bremen, Germany)
* Christoph Lange (Jacobs University Bremen, Germany)
* Volker Sorge (University of Birmingham, UK)
--
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701

_______________________________________________
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