Calls for participation: 2011-04

2011-04-27

[Caml-list] ACM SIGPLAN Erlang Workshop 2011 Call For Papers

(My apologies for cross postings.)

CALL FOR PAPERS
===============

Tenth ACM SIGPLAN Erlang Workshop
---------------------------------

National Institute of Informatics (NII), Tokyo Japan

Friday, September 23, 2011

<http://www.erlang.org/workshop/2011/>

A satellite event of the 16th ACM SIGPLAN International Conference on
Functional Programming (ICFP)

Erlang is a concurrent, distributed functional programming language
aimed at systems with requirements on massive concurrency, soft real
time response, fault tolerance, and high availability. It has been
available as open source for over 10 years, creating a community that
actively contributes to its already existing rich set of libraries and
applications. Originally created for telecom applications, its usage
has spread to other domains including e-commerce, banking, databases,
and computer telephony and messaging.

Erlang programs are today among the largest applications written
in any functional programming language. These applications offer
new opportunities to evaluate functional programming and functional
programming methods on a very large scale and suggest new problems for
the research community to solve.

This workshop will bring together the open source, academic, and
industrial programming communities of Erlang. It will enable participants
to familiarize themselves with recent developments on new techniques and
tools tailored to Erlang, novel applications, draw lessons from users'
experiences and identify research problems and common areas relevant to
the practice of Erlang and functional programming.

We invite three sorts of submissions.

1. Technical papers describing language extensions, critical discussions
of the status quo, formal semantics of language constructs, program
analysis and transformation, virtual machine extensions and
compilation techniques, implementations and interfaces of Erlang
in/with other languages, and new tools (profilers, tracers,
debuggers, testing frameworks, etc.). The maximum length for
technical papers is restricted to 12 pages.

2. Practice and application papers describing uses of Erlang in the
"real-world", Erlang libraries for specific tasks, experiences from
using Erlang in specific application domains, reusable programming
idioms and elegant new ways of using Erlang to approach or solve a
particular problem. The maximum length for the practice and
application papers is restricted to 6 pages. Papers in this
category may be allocated less time for their talk and instead be
given the opportunity for the poster presentations during the workshop.

3. Poster presentations describing topics related to the workshop goals.
Each of them includes max 2 pages of the abstract and summary.
Presentations in this category will be given an hour of shared
simultaneous demonstration time.

Workshop Chair
--------------

* Kenji Rikitake, Kyoto University, Japan

Program Chair
-------------

* Erik Stenman, Klarna AB, Sweden

Program Committee
-----------------

(Note: the Workshop and Program Chairs are also committee members)

* Clara Benac-Earle, Universidad Politecnica de Madrid (UPM), Spain
* Johan Bevemyr, Tail-f Systems, Sweden
* Scott Lystig Fritchie, Basho Technologies, USA
* John Hughes, Quviq, Sweden
* Takeru Inoue, NTT Network Innovation Laboratories, Japan
* Kenneth Lundin, Ericsson, Sweden
* Simon Thompson, University of Kent, UK
* Robert Virding, Erlang Solutions, UK
* Phil Wadler, University of Edinburgh, UK

Important Dates
---------------

* Submission deadline: Friday, June 3, 2011
* Author notification: Friday, June 17, 2011
* Final submission for the publisher: Friday, July 13, 2011
* Workshop date: Friday, September 23, 2011

Instructions to authors
-----------------------

Papers must be submitted online via EasyChair (via the "Erlang2011" event).

Submitted papers should be in portable document format (PDF), formatted
using the ACM SIGPLAN style guidelines.

Each submission must adhere to SIGPLAN's republication policy. Violation
risks summary rejection of the offending submission. Accepted papers
will be published by the ACM and will appear in the ACM Digital Library.

Paper submissions will be considered for poster submission in the case
that they are not accepted as full papers.

Venue & Registration Details
----------------------------

* For registration, please see the ICFP 2011 web site at:
<http://www.icfpconference.org/icfp2011/index.html>

2011-04-21

[Caml-list] RDP 2011: Second Call for Participation

[We apologise for multiple copies.]

********************************************************************
*** Federated Conference on Rewriting, Deduction, and Programming***
*** RDP 2011 ***
*** May 29 - June 3, 2011 ***
*** Novi Sad, Serbia ***
*** http://www.rdp2011.uns.ac.rs ***
*** ***
*** SECOND CALL FOR PARTICIPATION ***
*** ***
********************************************************************

---------------------------------------------------------------------
-- REGISTRATION --
---------------------------------------------------------------------

For online registration visit:
http://www.rdp2011.uns.ac.rs/practical/registration.html

Regular registration closes on May 10.

---------------------------------------------------------------------
-- ABOUT RDP --
---------------------------------------------------------------------

RDP'11 is the sixth edition of the biannual Federated Conference on
Rewriting, Deduction, and Programming, consisting of two main
conferences and related events.

---------------------------------------------------------------------
-- RDP MAIN CONFERENCES --
---------------------------------------------------------------------

RTA 2011 The 22nd International Conference on
Rewriting Techniques and Applications
May 30 - June 1, 2011

TLCA 2011 The Tenth International Conference on
Typed Lambda Calculi and Applications
June 1 - 3, 2011

---------------------------------------------------------------------
-- RDP 2011 INVITED SPEAKERS --
---------------------------------------------------------------------

Alexandre Miquel (Ecole Normale Superieure de Lyon, France)

Sophie Tison (Universite Lille and LIFL, France)

Ashish Tiwari (SRI, USA)

Vladimir Voevodsky (Institute of Advanced Study, USA)

Stephanie Weirich (University of Pennsylvania, USA)

(in alphabetical order)

---------------------------------------------------------------------
-- WORKSHOPS --
---------------------------------------------------------------------
COBRA 2011 Compilers by Rewriting, Automated

HDTT 2011 Higher Dimensional Type Theory

TPDC 2011 Theory and Practice of Delimited Continuations (TPDC)

2FC 2011 Two Faces of Complexity (2FC)

WRS 2011 Reduction Strategies in Rewriting and Programming

IFIP WG 1.6 Working Group 1.6 Term Rewriting

---------------------------------------------------------------------
-- HOST CITY: NOVI SAD, SERBIA --
---------------------------------------------------------------------

Novi Sad is capital of Vojvodina, the northern region of Serbia.
Situated on the Danube river, 80km from the capital city Belgrade, it
is treasured regional and cultural center. With the population of
about 300,000, Novi Sad is a modern and pleasant city with wide
boulevards, modern buildings and the historical Central Square
surrounded by the Old Town Hall, the Roman catholic church and similar
buildings dating mainly from the early nineteenth century. The city,
as well as whole of Vojvodina is well-known multicultural,
multinational and multiconfesional region. Among the
cultural-historical monuments, the best known is the Petrovaradin
fortress with its underground corridors, promenades, museums,
restaurants and art studios. There are also many churches, monasteries
and other cultural monuments. Novi Sad is also known by the longest
and the most beautiful sandy beach on the Danube, as well as by nearby
Fruska Gora mountain. As a university town, Novi Sad is known for a
lively night life, with lots of nice restaurants, bars, cafes and
clubs. Several international theater and music festivals take place
here.

For travel and accommodation information, please consult the RDP 2011
website:
http://www.rdp2011.uns.ac.rs

RDP 2011 is organized by the University of Novi Sad,
Faculty of Technical Sciences, and Mathematical Institute SASA
and will take place in the University Campus,
at the Faculty of Technical Sciences.

---------------------------------------------------------------------
-- REGISTRATION (again) --
---------------------------------------------------------------------

For online registration visit:
http://www.rdp2011.uns.ac.rs/practical/registration.html

Regular registration closes on May 10.

---------------------------------------------------------------------
-- CONTACT --
---------------------------------------------------------------------

See http://www.rdp2011.uns.ac.rs

Any question can be addressed to rdp2011@uns.ac.rs

2011-04-17

[Caml-list] LAM'11: 2nd Call for Paper

Apologies for cross-postings.

*** 2nd CALL FOR PAPERS ***

4th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM'11),
10 September 2011, Aachen, Germany,
organised as satellite workshop at the Twenty-Second
International Conference on CONCURRENCY THEORY (CONCUR 2011).

Organisers:
Berndt Müller (Farwer), University of Glamorgan
Michael Köhler-Bussmeier, University of Hamburg

Workshop Homepage: http://web.me.com/farwer/LAM11

*Important Dates *

Submission Deadline: June 13, 2011
Notification: July 21, 2011
Final Version: August 17, 2011
Workshop: 10 Sept 2011

* Workshop Purpose *

The aim of this series of workshops is to bring together active
researchers in the areas of logics and other formal frameworks that
can be used to describe and analyse dynamic or mobile systems. The
main focus is on the field of logics and calculi for mobile agents,
and multi-agent systems.

Many notions used in the theory of agents are derived from philosophy,
logics, and linguistics (belief, desire, intention, speech act, etc.),
and interdisciplinary discourse has proved fruitful for the advance of
this domain. The workshop intends to encourage discussion and work
across the boundaries of the traditional disciplines.

Outside of academia, distributed systems are a reality and agent
programming is beginning established itself as a serious contender
against more traditional programming paradigms. For example, the
deployment of large-scale pervasive infrastructures (mobile ad-hoc
networks, mobile devices, RFIDs, etc.) raises a number of scientific
and technological challenges for the modelling and programming of such
large-scale, open and highly-dynamic distributed systems.

Logics and type systems with temporal or other kinds of modalities
(relating to location, resource and/or security-awareness) play a
central role in the semantic characterisation and verification of
mobile agent systems. In the past two or three years, some logics have
been proposed that would be able to handle certain aspects of these
requirements, but there are still many open problems and research
questions in the theory of such systems. The workshop is intended to
showcase results and current work being undertaken in the areas
outlined above with a focus on logics and other formalisms for the
specification and verification of dynamic, mobile systems.

* Scope of Interest *

The main topics of interest include
- specification and reasoning about agents, MAS, and mobile systems
- modal and temporal logics
- model-checking
- treatment of location and resources in logics
- security
- type systems and static analysis
- logic programming
- concurrency theory with a focus on mobility or dynamics in agent systems.

* Previous Workshops *

LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany
LAM'09: 10 August 2009 at LICS in Los Angeles, USA
LAM'10: 15 July 2010 at LICS in Edinburgh, Scotland, UK

* Format of the Workshop *

The workshop will be held as a one day event after the main
conference. There will be a short introduction and brief survey of the
field by the organisers as an introduction to the workshop.

The workshop will contain invited talks, contributed talks, and a
discussion session. The latter is will give the participants a
chance to discuss informally research directions, open problems, and
possible co-operations.

* Invited Speakers *
[To be announced.]

* Submission details *

Authors are invited to submit a full paper of original work in the
areas mentioned above. The workshop chair should be informed of
closely related work submitted to a conference or journal in advance
of submission. One author of each accepted paper will be expected to
present it at the LAM'11 workshop. Submissions should not exceed 15
pages, preferably using the LaTeX article.sty class. The following
formats are accepted: PDF, PS.

Please send your submission electronically via EasyChair:

http://www.easychair.org/conferences/?conf=lam11

The submissions will be reviewed by the workshop's program committee and additional reviewers.
Accepted papers will appear in electronic proceedings and authors
will be encouraged to re-submit papers to formal proceedings to
be published as a separate publication, e.g. as a special journal issue.

--
Vertr.-Prof. PD Dr. Michael Köhler-Bußmeier
University of Hamburg, Department for Informatics
Group: Theoretical Foundations of Informatics
http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/

2011-04-11

[Caml-list] ECOWS'11 CfP - Deadline Extended

================================================================
ECOWS 2011: The 9th European Conference on Web Services
September 14-16, 2011
Lugano, Switzerland
http://ecows2011.inf.usi.ch
----------------------------------------------------------------
*CALL FOR RESEARCH, INDUSTRY, AND PHD SYMPOSIUM PAPERS*
----------------------------------------------------------------
**DEADLINE EXTENDED**
**Abstract submission: April 25, 2011**
**Paper submission: April 29, 2011**
================================================================

The European Conference on Web Services (ECOWS) is the premier
conference on the advances in the state of the art and practice
of Web services. The main objectives of this conference are to
facilitate the exchange between researchers and practitioners
and to foster future collaborations in Europe and beyond.
The ECOWS 2011 conference will include invited speakers,
presentations of contributed research papers and an industrial
track with the participation of top researchers from industry.
ECOWS 2011 will also include a PhD symposium and satellite
workshops.

----------
Background
----------
The success encountered by the Web has shown that tightly
coupled software systems are only good for niche markets,
whereas loosely coupled software systems can be more flexible,
more adaptive and often more appropriate in practice. Loose
coupling makes it easier for a given system to interact with
other systems, possibly legacy systems that share very little
with it. Web services are at the crossing of distributed
computing and loosely coupled systems. When applications are
developed with service-oriented architectures, they can evolve
more easily during their lifespan and adapt better to changing
or even unpredictable environments. Services today can be
implemented such that they are discovered and invoked
dynamically using non-proprietary mechanisms. Such services
are developed and deployed in a black-box manner. This is of
particular importance from a business perspective since
services are implemented in a variety of technologies.
Essential is agreement on integration technology and consensus
has emerged in today's middleware market: Customers want
to use Web technologies. Despite these promises, however,
service integrators, developers, and providers need to create
methods, tools and techniques to support cost-effective
development and use of dependable services and service-oriented
applications.

------------------
Topics of interest
------------------
The ECOWS 2011 program committee seeks original, high quality
papers related to all aspects of Web Services, which constitute
the main technology available to date for implementing
service-oriented architectures and computing.

Topics of interest to the Research and Industry Tracks include,
but are not limited to, the following:

- Business Process Management and Web Services
- Cloud Services Management and Composition using Web Services
- Dynamic and Adaptive Web Services
- Economics Models and Web Services
- Enterprise Architecture and Web Services
- Emerging Trends of Service Composition and Mashups
- Experience reports of novel applications of Web Services in
Health, Commerce, Finance, Telecom, Scientific Computing and
other domains
- Service modeling, service-oriented analysis and design
- Formal Methods for Web Services
- Frameworks for Building Web Service-Based Applications
- Identity and Access Management using Web Services
- Mobile Web Services
- Model-Driven Web Service Engineering
- Next Generation Web Services Middleware and Service Repositories
- Service quality and service interface design guidelines
- RESTful Web Services
- Self-Organizing Service Oriented Architectures
- Semantic Web Services
- Service Level Agreements for Web services
- Service-Oriented Business Collaboration
- SOA Governance and Web Services
- Social Web Services
- Web Services for Grids
- Web Services in Service-Oriented Environments
- Web Services Life-Cycles
- Web Services Security and Privacy

It should be noted that papers on existing product descriptions
or product marketing information are not within the scope of the
ECOWS 2011 Industrial Track.

----------------
Invited speakers
----------------
The ECOWS program will include invited lectures given by the
following speakers:
* Wil van der Aalst, Technische Univ. Eindhoven, The Netherlands
* Stephan Murer, Credit Suisse AG, Switzerland
* Carlo Ghezzi, Politecnico di Milano, Italy

-------------
PhD Symposium
-------------
The ECOWS 2011 PhD Symposium is an international forum for PhD
students working in any of the areas addressed by the ECOWS
conference. The main aim of the Symposium is to give PhD
students an opportunity to present their research activity and
perspectives, to critically discuss them with other PhD students
and with established researchers in the area, and to get fruitful
feedback and advices on their research activity.

PhD students working in any area addressed by the ECOWS
conference can submit a short report providing a clear statement
of the problem they intend to address, motivating the interest
and novelty of the underlying research challenges, demonstrating
the ideas by examples, and describing the proposed research plan
and expected results. Reports should not exceed 6 pages formatted
according to the IEEE proceedings guidelines. The papers should
be authored by the PhD student and indicate the name of her/his
supervisor. Submissions must be sent by email to the symposium
chair Wolf Zimmermann (wolf.zimmermann@informatik.uni-halle.de).

---------------------
Submission Guidelines
---------------------
Original papers, not submitted for publication elsewhere, can be
submitted via EasyChair.

Research papers:
http://www.easychair.org/conferences/?conf=ecows11

Industry-Track papers:
http://www.easychair.org/conferences/?conf=ecows2011it

Submissions should be formatted according to the IEEE proceedings
guidelines and the templates available at:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
and they should not exceed 8 pages.
A paper might be accepted as a full paper (8 pages), short paper
(4 pages) or as a poster (2 pages abstract in the proceedings).
The conference proceedings will be published by the
IEEE Computer Society Press as in previous years.

---------------------
Journal special Issue
---------------------
Selected papers will be invited to a special issue of the
Springer Journal on Service Oriented Computing and Applications.

---------------
Important Dates
---------------
Deadlines for research papers:
* Abstract submission: Monday, April 25, 2011
* Papers due: Friday, April 29, 2011
* Notifications: Wednesday, May 25, 2011
* CR versions due: Tuesday, July 1, 2011
* ECOWS 2011 conference: September 14-16, 2011

Deadlines for industrial papers:
* Industrial Papers: Saturday, April 30, 2011
* Notifications: Wednesday, June 1, 2011
* Camera Ready version due: Tuesday, July 1, 2011
* ECOWS 2011 conference: September 14-16, 2011

Deadlines for PhD Symposium papers:
* Paper submission: Wednesday, June 15, 2011
* Notification of acceptance: Friday, July 15, 2011
* Camera Ready: Sunday, July 31, 2011
* ECOWS 2011 conference: September 14-16, 2011

Deadlines for workshop proposals:
* Workshop proposal submission: Friday, April 1, 2011
* Notification of acceptance: Friday, April 15, 2011

------------
Organization
------------
General Chair:
* Cesare Pautasso, University of Lugano, Switzerland

Program Chairs:
* Ulf Schreier, Univ. of Applied Sciences Furtwangen, Germany
* Gianluigi Zavattaro, University of Bologna, Italy

Industry Track Chair:
* Olaf Zimmermann, IBM Research - Zurich, Switzerland

Workshop Chair:
* Flavio de Paoli, University of Milano-Bicocca, Italy

Ph.D. Symposium Chair:
* Wolf Zimmermann, University of Halle, Germany

ECOWS 2011 Program Committee:
* Achilleas Achilleos, University of Cyprus, Cyprus
* Marco Aiello, University of Groningen, the Netherlands
* Farhad Arbab, CWI, The Netherlands
* Luciano Baresi, Politecnico di Milano, Italy
* Sami Bhiri, National University of Ireland Galway, Ireland
* Walter Binder, University of Lugano, Switzerland
* Antonio Brogi, University of Pisa, Italy
* Christoph Bussler, Xtime, Inc., USA
* Fabio Casati, University of Trento, Italy
* Siobhan Clarke, Trinity College Dublin, Ireland
* Juergen Dunkel, FH Hannover, Germany
* Schahram Dustdar, TU Wien, Austria
* Rik Eshuis, Eindhoven Univ. of Technology, The Netherlands
* David Eyers, University of Otago, New Zealand
* Christopher Giblin, IBM Zurich Research Lab, Switzerland
* Claude Godart, Universiy of Lorraine, France
* Paul Grefen, Eindhoven Univ. of Technology, The Netherlands
* Thomas Gschwind, IBM Zurich Research Lab, Switzerland
* Reiko Heckel, University of Leicester, UK
* Martin Henkel, Stockholm University, Sweden
* Birgitta Koenig-Ries, Universitaet Jena, Germany
* Ernoe Kovacs, NEC Europe Network Labs, Germany
* Akhil Kumar, Pennsylvania State University, USA
* Peep Kungas, University of Tartu, Estonia
* Frank Leymann, University Stuttgart, Germany
* Welf Loewe, Linnaeus University, Sweden
* Heiko Ludwig, IBM Almaden Research Center, USA
* Radu Mateescu, INRIA, France
* Ingo Melzer, DaimlerChrysler Research, Germany
* Dirk Neumann, University Freiburg, Germany
* Roy Oberhauser, Aalen University, Germany
* Guadalupe Ortiz, University of Cadiz, Spain
* Claus Pahl, Dublin City University, Ireland
* George Angelos Papadopoulos, University of Cyprus, Cyprus
* Ernesto Pimentel, University of Malaga, Spain
* Manfred Reichert, University of Ulm, Germany
* Wolfgang Reisig, Humbold-Universitaet Berlin, Germany
* Heiko Schuldt, University of Basel, Switzerland
* Marten van Sinderen, University of Twente, the Netherlands
* Rainer Unland, University of Duisburg-Essen, Germany
* Jim Webber, Neo Technology, UK
* Erik Wilde, UC Berkeley, USA
* Umit Yalcinalp, Adobe Systems, USA
* Olaf Zimmermann, IBM Research - Zurich, Switzerland
* Wolf Zimmermann, University Halle, Germany

ECOWS Steering Committee:
* Antonio Brogi, University of Pisa, Italy
* Siobhan Clarke, Trinity College Dublin, Ireland
* Rik Eshuis, Eindhoven Univ. of Technology, The Netherlands
* Paul Grefen, Eindhoven Univ. of Technology, The Netherlands
* Claus Pahl, Dublin City University, Ireland
* George Angelos Papadopoulos, University of Cyprus, Cyprus
* Liang-Jie Zhang, IBM Research, USA

--------
Sponsors
--------
* Faculty of Informatics, University of Lugano (USI)
* IEEE Technical Committee on Services Computing
* City of Lugano
* Swiss Informatics Society
* Doodle AG
* Associazione Ticinese Elaborazione Dati

-------
Contact
-------
Conference Website: http://ecows2011.inf.usi.ch
Follow us on twitter: http://twitter.com/ecows2011

For any inquiries please contact the local organizers at:
chair@nospam.ecows2011.inf.usi.ch
or the program chairs at: program@nospam.ecows2011.inf.usi.ch

[Caml-list] Call for papers DTP'11

Dependently Typed Programming 2011
Call for Papers

27 of August 2011
Nijmegen, The Netherland
In association with ITP 2011

Deadline for submission: 10 June 2011
http://www.cs.ru.nl/dtp11

Dependently typed programming is here today: where will it go
tomorrow? On the one hand, dependent type theories have grown
programming languages; on the other hand, the type systems of
programming languages like Haskell (and even C#) are incorporating
some kinds of type-level data.

When types involve data, they can capture relationships between data,
internalising invariants necessary for appropriate computation. When
data describe types, we can express patterns of programming in
code. We're beginning to see how to take advantage of the power and
precision which dependent types afford, but there are still plenty of
problems to address and issues to resolve. The design space is large:
this workshop is a forum for researchers who are exploring it.

We hope that the workshop will attract people who work on the
design and implementation of dependently typed programming languages
and development environments, or who are using existing systems to
develop dependently typed programs and libraries.

* Submissions *

If you want to give a talk or a demo at the workshop,
please send us a title and an abstract before 10 June 2011 to
w.swierstra{at}cs.ru.nl. Slots will be of 30 minutes (unless you ask for
less). We will try to fit as many talks as possible.

We aim to publish post-proceedings containing refereed papers related
to the topic of the workshop in a suitable journal. More information
about this will come after the workshop.

* Important Dates *

10 June 2011: Submission deadline
25 June 2011: Notification of acceptance
27 August 2911: DTP workshop

* Program Committee *

Ana Bove, Chalmers, Sweden
Matthieu Sozeau, INRIA, France
Wouter Swierstra, Radboud University, The Netherlands

Calls for participation