Logic List Mailing Archive

DCM 2012: Developments in Computational Models

17 June 2012
Cambridge, U.K.

FIRST ANNOUNCEMENT.

DCM 2012
8th International Workshop on Developments in Computational Models
A satellite workshop of CiE 2012
Sunday, 17 June 2012; Corpus Christi College; Cambridge, England

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 systems users and the 
new capabilities of computation engines. The aim of the workshop series 
Developments in Computational Models 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 2012 is part of the celebrations of the Turing Centenary and is a satellite 
event of the conference Computability in Europe. It will take place on 17 June, 
the day before the Bletchley Park excursion of CiE 2012. All participants of 
CiE 2012 and researchers interested in new models of computation in general are 
cordially invited to submit a paper to DCM 2012. A Call for Papers will be 
issued within the next few months.

KEYNOTE SPEAKERS.

Luca Cardelli
Microsoft Research Cambridge, United Kingdom

Martin Escardo
University of Birmingham, United Kingdom

Elvira Mayordomo
Universidad de Zaragoza, Spain

PROGRAMME COMMITTEE.

Arnold Beckmann, Swansea University, Wales
Vincent Danos, Universite Paris-Diderot, France
Mariangiola Dezani, Universita  di Torino, Italy
Viv Kendon, Leeds University, England
Benedikt Loewe, Universiteit van Amsterdam, The Netherlands (co-chair)
Ian Mackie, Ecole Polytechnique, France
Florin Manea, Universitatea din Bucuresti, Romania
Dag Normann, Universitetet i Oslo, Norway
Prakash Panangaden, McGill University, Canada
Femke van Raamsdonck, Vrije Universiteit Amsterdam, The Netherlands
Glynn Winskel, Cambridge University, England (co-chair)

LOCAL INFORMATION.

The workshop will be held at The College of Corpus Christi and the Blessed 
Virgin Mary at the University of Cambridge, in the Harley-Mason Room.

Contact: bloewe (at) science.uva.nl