[Caml-list] [PAPP2011] Practical Aspects of High-Level Parallel Programming: last call for papers (deadline: January, 23)

Please accept our apologies for multiple copies of this email

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

Eighth International Workshop on
Practical Aspects of High-Level Parallel Programming (PAPP 2011)

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

part of The International Conference on Computational Science
June 1-3, 2011, Tsukuba, Japan

http://www.papp-workshop.org

AIMS AND SCOPE

Computational Science applications are more and more complex to
develop and require more and more computing power. Sequential
computing cannot go further. Major companies in the computing industry
now recognise the urgency of re-orienting an entire industry towards
massively parallel computing.

Parallel and grid computing are solutions to the increasing need for
computing power. The trend is towards the increase of cores in
processors, the number of processors and the need for scalable
computing everywhere. But parallel and distributed programming is
still dominated by low-level techniques such as send/receive message
passing. Thus high-level approaches should play a key role in the
shift to scalable computing in every computer.

Algorithmic skeletons, parallel extensions of functional languages
such as Haskell and ML, parallel logic and constraint programming,
parallel execution of declarative programs such as SQL queries,
genericity and meta-programming in object-oriented languages,
etc. have produced methods and tools that improve the
price/performance ratio of parallel software, and broaden the range of
target applications. Also, high level languages offer a high degree of
abstraction which ease the development of complex systems. Moreover,
being based on formal semantics, it is possible to certify the
correctness of critical parts of the applications.

The PAPP workshop focuses on practical aspects of high-level parallel
programming: design, implementation and optimisation of high-level
programming languages, semantics of parallel languages, formal
verification, design or certification of libraries, middle-wares and
tools (performance predictors working on high-level parallel/grid
source code, visualisations of abstract behaviour, automatic hot-spot
detectors, high-level GRID resource managers, compilers, automatic
generators, etc.), application of proof assistants to parallel
applications, applications in all fields of computational science,
benchmarks and experiments. Research on high-level grid programming is
particularly relevant as well as domain specific parallel software.

The aim of all these languages and tools is to improve and ease the
development of applications (safety, expressivity, efficiency,
etc.). Thus the PAPP workshop focuses on applications.

The PAPP workshop is aimed both at researchers involved in the
development of high level approaches for parallel and grid computing
and computational science researchers who are potential users of these
languages and tools. Topics

We welcome submission of original, unpublished papers in English on
topics including:

* applications in all fields of high-performance computing
and visualisation (using high-level tools)
* high-level models (CGM, BSP, MPM, LogP, etc.) and tools for
parallel and grid computing
* high-level parallel language design, implementation and optimisation
* practical aspects of computer assisted verification for
high-level parallel languages
* modular, object-oriented, functional, logic, constraint
programming for parallel, distributed and grid computing systems
* algorithmic skeletons, patterns and high-level parallel libraries
* generative (e.g. template-based) programming with algorithmic skeletons,
patterns and high-level parallel libraries
* benchmarks and experiments using such languages and tools

PAPER SUBMISSION AND PUBLICATION

Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere. Papers will go through a
rigorous reviewing process. Each paper will be reviewed by at least
three referees. The accepted papers will be published in the Procedia
Computer Science series, as part of the ICCS proceedings.

Submission must be done through the ICCS website.

We invite you to submit a full paper of at most 10 pages describing
new and original results, no later than January 23, 2011. Submission
implies the willingness of at least one of the authors to register and
present the paper.

Accepted papers should be presented at the workshop.

IMPORTANT DATES

* January 23, 2011 (extended and firm): Full paper due
* February 20, 2011: Notification
* March 7, 2011: Camera-ready paper due

PROGRAMME COMMITTEE

* Marco Aldinucci (University of Torino, Italy)
* Jost Berthold (University of Copenhagen, Denmark)
* Kento Emoto (University of Tokyo, Japan)
* Frederic Gava (University Paris-East, France)
* Alexandros Gerbessiotis (NJIT, USA)
* Clemens Grelck (University of Amsterdam, Netherlands)
* Hideya Iwasaki (The University of Electro-communications, Japan)
* Roman Leshchinskiy (Standard Chartered Bank, UK)
* Frederic Loulergue, chair (University of Orleans, France)
* Bruno Raffin (INRIA, France)
* Aamir Shafi (NUST, Pakistan)

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] LOPSTR 2011 - call for papers

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

Preliminary Call for papers
21th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2011

http://users.dsic.upv.es/~lopstr11/
Odense, Denmark, July 18-20, 2011
(co-located with PPDP 2011)

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

Objectives:

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.

The 21st International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2011) will be held in Odense, Denmark; previous
symposia were held in Hagenberg, Coimbra, Valencia, Lyngby, Venice,
London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester,
Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester (you
might have a look at the contents of past LOPSTR symposia). LOPSTR
2011 will be co-located with PPDP 2011 (International ACM SIGPLAN
Symposium on Principles and Practice of Declarative Programming).

Topics:

Topics of interest cover all aspects of logic-based program development,
all stages of the software life cycle, and issues of both programming-
in-the-small and programming-in-the-large. Papers describing
applications in these areas are especially welcome. Contributions are
welcome on all aspects of logic-based program development, including,
but not limited to:

- specification
- synthesis
- verification
- transformation
- analysis
- optimisation
- specialization
- partial evaluation
- inversion
- composition
- program/model manipulation
- certification
- security
- transformational techniques in SE
- applications and tools

Survey papers, that present some aspect of the above topics from a new
perspective, and application papers, that describe experience with
industrial applications, are also welcome. Papers must describe
original work, be written and presented in English, and must not
substantially overlap with papers that have been published or that are
simultaneously submitted to a journal or a conference with refereed
proceedings. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted.

Following past editions, the formal post-conference proceedings are
planned to be published by Springer-Verlag in the Lecture Notes in
Computer Science (LNCS) series.

IMPORTANT DATES AND SUBMISSION GUIDELINES:

- Paper submission: March 27, 2011
- Extended abstract submission: April 3, 2011
- Notification (for pre-proceedings): May 16, 2011
- Camera-ready (for pre-proceedings): June 12, 2011
- Symposium: July 18-20, 2011

Submissions can either be (short) extended abstracts or (full) papers
whose length should not exceed 9 and 15 pages (including references),
respectively. Submissions must be formatted in the Lecture Notes in
Computer Science style (excluding well-marked appendices not intended
for publication). Referees are not required to read the appendices,
and thus papers should be intelligible without them. Short papers may
describe work-in-progress or tool demonstrations.

Both short and full papers can be accepted for presentation at the
symposium and will then appear in the LOPSTR 2011
pre-proceedings. Full papers can also be immediately accepted for
publication in the formal proceedings, which is planned to be
published by Springer-Verlag in the LNCS series. In addition, after
the symposium, the programme committee will select further short or
full papers presented in LOPSTR 2011 to be considered for formal
publication. These authors will be invited to revise and/or extend
their submissions in the light of the feedback solicited at the
symposium. Then after another round of reviewing, these revised papers
can also be published in the formal proceedings.

Program Committee:

TBD

Contacts

Program Chair
(contact him for additional information about papers and submissions)

German Vidal
Department of Computer Science (DSIC)
Universitat Politecnica de Valencia
Valencia, Spain
Email: lopstr11@dsic.upv.es

General Chair

Peter Schneider-Kamp
Dept. of Mathematics and Computer Science
University of Southern Denmark
Campusvej 55
DK-5230 Odense M, Denmark
Email: petersk@imada.sdu.dk

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] SFM-11:CONNECT school in Bertinoro -- 1st call for participation

***********************************************************
* *
* SFM-11:CONNECT *
* *
* 11th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Connectors for Eternal Networked Software Systems *
* *
* Bertinoro (Italy), 13-18 June 2011 *
* *
* http://www.sti.uniurb.it/events/sfm11connect/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2011) *
***********************************************************

GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is held in collaboration with the researchers
of the EU-funded projects CONNECT (http://connect-forever.eu/)
and EternalS (https://www.eternals.eu/) and covers topics such
as connecting eternal software systems, formal foundations
for connectors, dynamic connector synthesis, interaction behavior
monitoring and learning, and dependability assurance of
connected systems.

COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following lectures and lab sessions:

"Introduction to Interoperability"
Gordon Blair (Univ. Lancaster, UK)
Massimo Paolucci (Docomo Euro-Labs Munich, DE)

"Interoperability Challenges in Cyber-Physical Systems"
Nalini Venkatasubramanian (Univ. California at Irvine, US)

"The CONNECT Architecture"
Nikolaos Georgantas (INRIA Paris-Rocquencourt, FR)
Paul Grace (Univ. Lancaster, UK)

"Lab Session: Solving Interoperability Problems"
Nikolaos Georgantas (INRIA Paris-Rocquencourt, FR)
Paul Grace (Univ. Lancaster, UK)

"Introduction to Modeling and Quantitative Verification"
Marta Kwiatkowska (Univ. Oxford, UK)
David Parker (Univ. Oxford, UK)

"Modeling and Verification of Components and Connectors"
Christel Baier (Tech. Univ. Dresden, DE)

"Quantitative Compositional Verification"
Marta Kwiatkowska (Univ. Oxford, UK)
David Parker (Univ. Oxford, UK)

"Lab Session: Modeling and Compositional Verification of
Probabilistic Component-Based Systems Using PRISM"
David Parker (Univ. Oxford, UK)
Hongyang Qu (Univ. Oxford, UK)

"Application-Layer Connector Synthesis"
Paola Inverardi (Univ. L'Aquila, IT)

"Context Synthesis"
Dimitra Giannakopoulou (NASA Ames, US)

"Middleware-Layer Connector Synthesis"
Valerie Issarny (INRIA Paris-Rocquencourt, FR)

"Lab Session: Tools for Automatic Connector Synthesis"
Dimitra Giannakopoulou (NASA Ames, US)
Massimo Tivoli (Univ. L'Aquila, IT)

"Automata Learning"
Bernhard Steffen (Tech. Univ. Dortmund, DE)

"Testing Supported by Learning"
Jan Tretmans (Radboud Univ. Nijmegen, NL)

"Machine Learning and Data"
Bengt Jonsson (Univ. Uppsala, SE)

"Lab Session: Experiences with LearnLib"
Falk Howar (Tech. Univ. Dortmund, DE)
Maik Merten (Tech. Univ. Dortmund, DE)

"Dependability Assessment of Dynamic Connected Systems"
Antonia Bertolino (CNR-ISTI Pisa, IT)
Felicita Di Giandomenico (CNR-ISTI Pisa, IT)

"The Multi-Facets of Building Dependable Physical Computing Systems"
Shing-Chi Cheung (Hong Kong Univ. Sci. Tech., HK)

"Computational Trust"
Mogens Nielsen (Univ. Aarhus, DK)

"Security and Trust"
Ilaria Matteucci (CNR-IIT Pisa, IT)
Rachid Saadi (INRIA Paris-Rocquencourt, FR)

"Modeling Spatial and Temporal Variability with
the HATS Abstract Behavioral Modeling Language"
Ina Schaefer (Tech. Univ. Chalmers, SE)

"Kernel Methods for Relational Learning and Semantic Modeling"
Alessandro Moschitti (Univ. Trento, IT)

"Model-Based Security Engineering for Evolving Systems"
Jan Jurjens (Tech. Univ. Dortmund, DE)

"Eternal Systems: Myths or Reality?"
Valerie Issarny (INRIA Paris-Rocquencourt, FR)

All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.

LOCATION
^^^^^^^^

SFM-11:CONNECT will be held in the medieval hilltop town of Bertinoro.

This town is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
The closest airport is the "L. Ridolfi" airport of Forli`, which is
13 km away.

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.

Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Rimini, Ravenna, Ferrara, Venezia,
Padova, Verona, Firenze, Pisa, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted by the University of Bologna into
a modern conference center with computing facilities and Internet
access. From the fortress, it is possible to enjoy a beautiful vista
stretching from the Apennines to the Adriatic coast and the Alps
over the Po Valley.

ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (University of Urbino, IT)
* Valerie Issarny (INRIA Paris-Rocquencourt, FR)

Secretary:
* Roberta Partisani (CRU Bertinoro, IT)

Webmaster:
* Alessandro Aldini (University of Urbino, IT)

APPLICATION
^^^^^^^^^^^

Prospective participants should send by 21 March 2011
the application form, available on the school web site,
to the two e-mail addresses below:

Marco Bernardo
bernardo AT sti.uniurb.it

Roberta Partisani
rpartisani AT ceub.it

The registration fee is 550 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 12-19
(7 nights) in double room (to share with another participant),
half board (breakfast and lunch, dinner of June 12 included,
lunch of June 29 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 13-18
(6 lunches).

A very limited number of grants is available to cover part
of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and grant requests
will be communicated by March 31.

Registration to the school is due by April 20.

No refund is possible for cancellation after May 15.

SPONSORSHIPS
^^^^^^^^^^^^

Sponsorship for this event was kindly provided by:

* EU-funded project CONNECT (http://connect-forever.eu/).
* EU-funded project EternalS (https://www.eternals.eu/).

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] CSL 2011 Call for Papers and Workshops

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

CALL FOR PAPERS AND WORKSHOP PROPOSALS

CSL 2011
20th Annual Conference of the
European Association for Computer Science Logic
Bergen, Norway
September 12-15, 2011

GENERAL INFORMATION

Computer Science Logic (CSL) is the annual conference of the
European Association for Computer Science Logic (EACSL).
The conference is intended for computer scientists whose
research activities involve logic, as well as for logicians
working on issues significant for computer science.
The Ackermann Award for 2011 will be presented to the
recipients at CSL 2011.

SCOPE

Topics of interest include (but are not limited to):
- automated deduction and interactive theorem proving
- constructive mathematics and type theory
- equational logic and term rewriting
- automata and games, game semantics
- modal and temporal logic
- model checking
- decision procedures
- logical aspects of computational complexity
- finite model theory
- computational proof theory
- logic programming and constraints
- lambda calculus and combinatory logic
- domain theory,
- categorical logic and topological semantics
- database theory
- specification, extraction and transformation of programs
- logical foundations of programming paradigms
- logical aspects of quantum computing
- verification and program analysis
- linear logic
- higher-order logic
- nonmonotonic reasoning

PROCEEDINGS

The proceedings will be published in the series LIPIcs,
Leibniz International Proceedings in Informatics.
Each paper accepted by the Program Committee (PC) must be
presented at the conference by one of the authors,
and a final copy must be prepared according to LIPIcs guidelines
(http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/).

PAPER SUBMISSION

Authors are invited to submit papers of not more than 15 pages
in LIPIcs style presenting work not previously published.
Papers are to be submitted through EasyChair:
http://www.easychair.org/conferences/?conf=csl2011. Submitted papers
must be in English and provide sufficient detail to allow the PC to
assess the merits of the paper. Full proofs may appear in a technical
appendix which will be read at the reviewers' discretion.
Authors are strongly encouraged to include a well written intro-
duction which is directed at all members of the program committee.
Submission is in two phases with dates as given below.
Papers must not be submitted concurrently to another conference with
refereed proceedings; The PC chair should be informed of closely
related work submitted to a conference or journal by March 19, 2011.
Papers authored or coauthored by members of the PC are not allowed.

WORKSHOPS

Proposals for satellite workshops on more specialized topics are
welcome and can be sent to csl11@eacsl.org

IMPORTANT DATES

Submission of title and abstract: March 27, 2011
Submission of full paper: April 3, 2011
Notification: May 30, 2011
Final paper due: June 17, 2011
Conference: September 12-15, 2011

PROGRAM COMMITTEE

Samson Abramsky (Oxford)
Andrea Asperti (Bologna)
Franz Baader (Dresden)
Matthias Baaz (Vienna)
Johan van Benthem (Amsterdam/Stanford)
Marc Bezem (Bergen, chair)
Patrick Blackburn (Nancy)
Andreas Blass (Michigan)
Jan van den Bussche (Hasselt)
Thierry Coquand (Gothenburg)
Nachum Dershowitz (Tel Aviv)
Valentin Goranko (Copenhagen)
Erich Graedel (Aachen)
Wiebe van der Hoek (Liverpool)
Bart Jacobs (Nijmegen)
Reinhard Kahle (Lisbon)
Stephan Kreutzer (Oxford)
Viktor Kuncak (Lausanne)
Daniel Leivant (Indiana)
Benedikt Loewe (Amsterdam)
Jean-Yves Marion (Nancy)
Eugenio Moggi (Genova)
Albert Rubio (Barcelona)
Anton Setzer (Swansea)
Alex Simpson (Edinburgh)
John Tucker (Swansea)
Pawel Urzyczyn (Warsaw)
Helmut Veith (Vienna)
Andrei Voronkov (Manchester)

ORGANIZING COMMITTEE

Isolde Adler
Marc Bezem
Magne Haveraaen
Michal Walicki
Uwe Wolter

CONFERENCE ADDRESS

CSL 2011, Department of Informatics,
University of Bergen,
P.O.Box 7803, N-5020 Bergen, Norway
http://www.eacsl.org/csl11

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

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Call for Papers CP 2011 Seventeenth International Conference on Principles and Practice of Constraint Programming

Call for Papers

CP 2011
Seventeenth International Conference on
Principles and Practice of Constraint Programming

September 12-16, 2011
Perugia, Italy

http://www.dmi.unipg.it/cp2011/

The CP conference is the annual international conference on constraint
programming. It is concerned with all aspects of computing with
constraints, including theory, algorithms, environments, languages, models,
systems, and applications such as decision making, resource allocation, and
agreement technologies.

CP 2011 includes a technical program, where presentations of research and
application papers as well as invited talks aim at describing the best
results and techniques in the state-of-the-art of constraint programming.
One day of Workshops precedes the conference. Tutorials and the Doctoral
Program will form part of the main conference.

Papers are solicited from all disciplines concerned with constraints.
Reports on successful applications of constraint technology are
particularly encouraged and are subject to special Applications track
acceptance criteria. The conference proceedings will be published by
Springer Verlag in the Lecture Notes in Computer Science series. Full
paper submissions are limited to 15 LNCS pages, while Short paper
submissions are limited to 8 pages. Short papers will be reviewed to the
same standards of quality as full papers, but will naturally contain less
quantity of new materials. Short papers will have the same status as long
papers and be eligible for the best paper prize.

Further information is provided on the conference webpage.

IMPORTANT DATES

Deadline for Submissions: April 22, 2011
Provisional Reviews to authors: May 25, 2011
Authors feedback due: May 27, 2011
Notification of Acceptance: June 3, 2011
Camera Ready due: June 15, 2011

ORGANIZATION

Conference Chair
Stefano Bistarelli
University of Perugia, Italy

Program Chair
Jimmy H.M. Lee
The Chinese University of Hong Kong

Doctoral Program Chairs
Christopher Jefferson
University of St. Andrews, Scotland, UK

Guido Tack
K.U. Leuven, Belgium

Workshop/Tutorial Chair
Christian Schulte
Royal Institute of Technology, Stockholm, Sweden

Sponsorship Chair
Ian Miguel
University of St. Andrews, Scotland, UK

Program Committee

Fahiem Bacchus (Canada)
Peter van Beek (Canada)
Nicolas Beldiceanu (France)
Frederic Benhamou (France)
Christian Bessiere (France)
Stefano Bistarelli (Italy)
Lucas Bordeaux (UK)
Hubie Chen (Spain)
David Cohen (UK)
Martin Cooper (France)
Pierre Flener (Sweden)
Alan Frisch (UK)
Simon de Givry (France)
Carla Gomes (USA)
Emmanuel Hebrard (Ireland)
Christopher Jefferson (UK)
George Katsirelos (France)
Zeynep Kiziltan (Italy)
Arnaud Lallouet (France)
Javier Larrosa (Spain)
Yat-Chiu Law (Hong Kong)
Jimmy Lee (Hong Kong)
Joao Marques-Silva (Ireland)
Pedro Meseguer (Spain)
Laurent Michel (USA)
Ian Miguel (UK)
Michela Milano (Italy)
Peter Nightingale (UK)
Barry O'Sullivan (Ireland)
Gilles Pesant (Canada)
Karen Petrie (UK)
Claude-Guy Quimper (Canada)
Emma Rollon (Spain)
Francesca Rossi (Italy)
Ashish Sabharwal (USA)
Thomas Schiex (France)
Christian Schulte (Sweden)
Meinolf Sellmann (USA)
Helmut Simonis (Ireland)
Kostas Stergiou (Greece)
Peter Stuckey (Australia)
Guido Tack (Belgium)
Michael Trick (USA)
Pascal Van Hentenryck (USA)
Mark Wallace (Australia)
Toby Walsh (Australia)
Roland Yap (Singapore)
Standa Zivny (UK)

Applications Track Committee

Chair: Helmut Simonis (Ireland)
Laurent Michel (USA)
Barry O'Sullivan (Ireland)
Paul Shaw (USA)
Mark Wallace (Australia)

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] CiE 2011, Sofia, Bulgaria - 2nd call for papers

(Apologies if you receive multiple copies of this announcement.)
__________________________________________________________________

CiE 2011: Computability in Europe
Models of Computation in Context
Sofia, Bulgaria
27 June 2011 - 2 July 2011

Second Call for Papers
Submission Deadline: 14 January 2011
http://cie2011.fmi.uni-sofia.bg/
_____________________________________________________________________

TUTORIALS: Jack Lutz (Ames IA, U.S.A.), Geoffrey Pullum (Edinburgh, U.K.)

PLENARY TALKS: Scott Aaronson (Cambridge MA, U.S.A.), Christel Baier
(Dresden, Germany), Michiel van Lambalgen (Amsterdam, The
Netherlands), Antonio Montalban (Chicago IL, U.S.A.), Alexandra
Shlapentokh (Greenville NC, U.S.A.), Theodore Slaman (Berkeley CA,
U.S.A.), Janet Thornton (Cambridge, U.K.), Alasdair Urquhart (Toronto
ON, Canada).

SPECIAL SESSIONS:
* Computability in Analysis, Algebra, and Geometry (Organizers:
Alexandra Shlapentokh, Dieter Spreen) : Ulrich Berger (Swansea), Vasco
Brattka (Cape Town): Valentina Harizanov (Washington, DC), Russel
Miller (New York, NY).
* Classical Computability Theory (Organizers: Doug Cenzer, Bjørn
Kjos-Hanssen): Mingzhong Cai (Cornell), Rachel Epstein (Harvard),
Charles Harris (Leeds), Guohua Wu (NTU, Singapore)
* Natural Computing (Organizers: Erzsébet Csuhaj-Varjú, Ion Petre):
Natalio Krasnogor (University of Nottingham), Martin Kutrib
(University of Giessen), Victor Mitrana (University of Bucharest),
Agustín Riscos-Núnez (University of Seville)
* Relations between the physical world and formal models of
computability (Organizers: Viv Kendon, Sonja Smets): Pablo Arrighi
(University of Grenoble), Časlav Brukner (University of Vienna), Elham
Kashefi (University of Edinburgh),Prakash Panangaden (McGill
University)
* Theory of transfinite computations (Organizers: Peter Koepke, C.T.
Chong): Noam Greenberg (Victoria University of Wellington), Sy D.
Friedman (University of Vienna), Wei Wang (Sun Yat-sen University),
Merlin Carl (Rheinische Friedrich-Wilhelms-Universität Bonn)
* Computational Linguistics (Organizers: Tejaswini Deoskar, Tinko
Tinchev): Klaus U. Schulz (Ludwig-Maximilians-Universität München)&
Stoyan Mihov (Bulgarian Academy of Sciences), Ian Pratt-Hartmann
(University of Manchester).

CiE serves as an interdisciplinary forum for research in all aspects
of computability and foundations of computer science, as well as the
interplay of these theoretical areas with practical issues in computer
science and with other disciplines such as biology, mathematics,
philosophy, or physics.

The Programme Committee (Dag Normann and Ivan Soskov co-chairs)
cordially invites all researchers in the area of the conference to
submit their papers (in PDF-format, at most 10 pages) for presentation
at CiE 2011 to http://www.easychair.org/conferences/?conf=cie2011. The
best of the accepted papers will be published in the conference
proceedings within the Lecture Notes in Computer Science (LNCS) series
of Springer, which will be available at the conference. Other accepted
contributed papers together with abstracts of informal presentations
will appear in our local pre-conference proceedings volume.

We particularly invite papers that build bridges between different
parts of the research community. Since women are underrepresented in
mathematics and computer science, we emphatically encourage
submissions by female authors (see below for the 'Women in
Computability' grants).

IMPORTANT DATES:
Submission Deadline: January 14, 2011
Notification of Authors: March 12, 2011
Final Version: April 2, 2011

Authors of accepted papers are expected to present their work at the
conference. Submitted papers must describe work not previously
published, and they must neither be accepted nor under review at a
journal or at another conference with refereed proceedings. All
papers need to be prepared in LNCS-style LaTeX. Papers should not
exceed 10 pages; full proofs may appear in a technical appendix which
will be read at the reviewers' discretion.

Submissions authored or co-authored by a Programme Committee member
are not allowed.

GRANTS:

Women in Computability:

In 2011, we continue the programme "Women in Computability" (funded
from 2008 to 2010 by the Elsevier Foundation) now supported by the
journal "Annals of Pure and Applied Logic" (Elsevier). As part of this
programme, we can offer four modest "Elsevier Women in Computability
grants" for female graduate students or junior researchers. These
grants will be paid as a reimbursement of up to 200 EUR of travel and
accommodation expenses. More information about deadlines and the
application procedure will become available from the CiE 2011 website
in March 2011.

ASL Student Travel Grants:

CiE 2011 is sponsored by the Association for Symbolic Logic. All
student members of the ASL can apply for travel funding. To be
considered for a Travel Award, please (1) send a letter of
application, and (2) ask your thesis supervisor to send a brief
recommendation letter. The application letter should be brief
(preferably one page) and should include: (1) your name; (2) your home
institution; (3) your thesis supervisor's name; (4) a one-paragraph
description of your studies and work in logic, and a paragraph
explaining why it is important to attend the meeting; (5) your
estimate of the travel expenses you will incur; (6) (for citizens or
residents of the USA) citizenship or visa status; and (7) (voluntary)
indication of your gender and minority status. Women and members of
minority groups are strongly encouraged to apply. Applications should
be sent to asl@vassar.edu before March 27 2011.

EMS grants for Young East European Researches:

Thanks to the generous support from European Mathematical Society,
CiE 2011 is glad to be able to offer partial or total fee waivers for
a small number of Eastern European researchers and researchers from
the former Soviet Union member states, whose work has been accepted
for presentation at CiE2011. Preference will be given to young
researchers and researchers with papers accepted for publication in
the LNCS proceedings. To apply, please send an application to
cie2011@fmi.uni-sofia.bg before March 27 2011. The application should
include the applicant's name, affiliation and the title of the
submission for CiE 2011.

Best student paper award:

Papers that have only student authors are eligible for the "CiE 2011
Best Student Paper Award". The Programme Committee will select the
best submission among these after acceptance.
Springer will sponsor the Best student paper award - a Springer book
voucher for the winner.

All questions about the conference could be send at
cie2011@fmi.uni-sofia.bg

_____________________________________________________________________
Association Computability in Europe http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2011 http://cie2011.fmi.uni-sofia.bg
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
_____________________________________________________________________

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Places 2011 - Call for Papers

                        CALL FOR PAPERS
                           PLACES'11
        Programming Language Approaches to Concurrency
              and communication-cEntric Software
                2nd April 2011, Saarbrücken, Germany
                     Affiliated with ETAPS 2011
                    http://places11.di.fc.ul.pt/


Theme and Goals

Applications on the web today are built using numerous interacting
services; soon off-the-shelf CPUs will host hundreds of cores; and
sensor networks will be composed from a large number of processing
units.  Much normal software, including applications and system-level
services, will soon need to make effective use of thousands of
computing nodes. At some level of granularity, computation in such
systems will be inherently concurrent and communication-centred.

To exploit and harness the richness of this computing environment,
designers and programmers will utilise a rich variety of programming
paradigms, depending on the shape of the data and control
flow. Plausible candidates for such paradigms include structured
imperative concurrent programming, stream-based programming,
concurrent functions with asynchronous message passing, higher-order
types for events, and the use of types for communications and data
structures (such as session types and linear types), to name but a
few. Combinations of these abstractions will be used even in a single
application, and the runtime environment needs to ensure seamless
execution without relying on differences in available resources such
as the number of cores.

The development of effective programming methodologies for the coming
computing paradigm demands exploration and understanding of a wide
variety of ideas and techniques.  This workshop aims to offer a forum
where researchers from different fields exchange new ideas on one of
the central challenges for programming in the near future, the
development of programming methodologies and infrastructures where
concurrency and distribution are the norm rather than a marginal
concern.

Topics of Interest

Submissions are invited in the general area of foundations of
programming languages for concurrency, communication and
distribution. Specific topics include: language design and
implementations for communications and/or concurrency, program
analysis, session types, multicore programming, use of message passing
in systems software, interface languages for communication and
distribution, concurrent data types, concurrent objects and actors,
web services, novel programming methodologies for sensor networks,
integration of sequential and concurrent programming, high-level
programming abstractions for security concerns in concurrent,
distributed programming, and runtime architectures for concurrency,
scalability and/or resource allocations. Papers are welcome which
present novel and valuable ideas as well as experiences.

Submission Guidelines

Authors are invited to submit a five-page abstract in PDF format by
10th January using the EasyChair proceedings template available at
http://www.easychair.org/easychair.zip.

Abstracts and full papers should be submitted using EasyChair,
http://www.easychair.org/conferences/?conf=places11.

Preliminary proceedings will be available at the
workshop. Post-proceedings will be published in a journal (the past
post-proceedings were published in ENTCS and EPTCS).

Important Dates

Deadline of 5-page abstracts: Wednesday 10th Jan 2011
Notification: Wednesday 2nd Feb 2011
Camera Ready for pre-proceedings: Wednesday 9th Feb 2011

Program Committee

Marco Carbone, IT University of Copenhagen
Swarat Chaudhuri, Pennsylvania State University
Alastair Donaldson, Oxford University
Tim Harris, Microsoft Research Cambridge
Alan Mycroft, University of Cambridge
Jens Palsberg, University of California, Los Angeles
Vijay A. Saraswat, IBM Research
Vivek Sarkar, Rice University (co-chair)
Vasco T. Vasconcelos, University of Lisbon (co chair)
Jan Vitek, Purdue University
Nobuko Yoshida, Imperial College London