[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

                            DCM 2007

                 Developments in Computational Models
                           Wroclaw, Poland
                         Sunday, 15 July 2007

                     A satellite event of ICALP/LICS 2007

Several new models of computation have emerged in the last few years,
and many developments of traditional computational models have been
proposed with the aim of taking into account the new demands of
computer system users and the new capabilities of computation
engines. A new computational model, or a new feature in a traditional
one, usually is reflected in a new family of programming languages,
and new paradigms of software development.

The aim of this workshop is to bring together researchers who are
currently developing new computational models or new features for
traditional computational models, in order to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
this area.

DCM 2007 will be a one-day satellite event of ICALP/LICS 2007.

Topics of interest include all abstract models of computation and their
applications to the development of programming languages and systems:

- quantum computation, including implementations and formal methods in quantum protocols;
- probabilistic computation and verification in modelling situations;
- chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - general concurrent models including the treatment of mobility, trust, and security;
- information-theoretic ideas in computing.

Submissions and Publication:

Please submit an abstract (max. 5 pages) in PDF/PostScript
format by e-mail to [EMAIL PROTECTED]  by

                 30 April, 2007.

After the workshop authors will be invited to submit a full paper of
their presentation. Accepted contributions will appear in a special
issue of the ENTCS (Electronic Notes in Theoretical Computer Science).
Selected papers will be considered for special issues of Information and Computation
and the Springer Transactions on Computational and Systems Biology.

Important Dates:

- Submission Deadline for Abstracts: April 30 2007
- Notification: May 21 2007
- Pre-proceedings version due: June 11 2007
- Workshop: July 15 2007

Programme Committee:

Jos Baeten (Eindhoven University of Technology)
Michele Bugliesi (Universita Ca Foscari)
Alessandra Carbone (Universite Pierre et Marie Curie)
Vincent Danos (Universite Denis Diderot, CNRS)
Mariangiola Dezani (Universita di Torino)
James Faeder (Los Alamos National Laboratory)
Jean-Louis Giavitto (Universite d'Evry, CNRS)
Elham Kashefi (Oxford University)
Ian Mackie (King's College)
Pasquale Malacaria (Queen Mary University of London)
Corrado Priami (Universita di Trento)
Vladimiro Sassone (University of Southampton)

Local Organizer: Marcin Bienkowski,  University of Wroclaw (Poland)

Vincent Danos
Université Denis Diderot
Équipe Preuves, Programmes, Systèmes
tel: +33 1 4427 9930, fax: +33 1 4427 8654


Mariangiola Dezani-Ciancaglini
Dipartimento di Informatica
Universita' di Torino
c.Svizzera 185, 10149 Torino (Italy)

phone: 39-011-6706732
fax : 39-011-751603
mobile: 39-320-4359903 (preferred) 39-348-2251592


Unless unavoidable, no Word, Excel or PowerPoint attachments, please.
See http://www.gnu.org/philosophy/no-word-attachments.html

"L'ITALIA RIPUDIA LA GUERRA come strumento di offesa alla libertà degli altri
popoli e come mezzo di risoluzione delle controversie internazionali."
(Art. 11 della Costituzione della Repubblica Italiana)

Reply via email to