Elsnet
 
   


ELSNET-list archive

Category:   E-CFP
Subject:   DCM 2009, Rhodes, Greece - EXTENDED DEADLINE: 7 MAY, 2009
From:  
Email:   pmt6sbc_(on)_maths.leeds.ac.uk
Date received:   02 May 2009
Deadline:   07 May 2009
Start date:   11 Jul 2009

================================================================= Final Call for Papers DCM 2009 5th International Workshop on Developments in Computational Models - Computational Models From Nature http://www.pps.jussieu.fr/~danos/dcm09 Rhodes, Greece Saturday, 11 July 2009 ** EXTENDED DEADLINE: 7 MAY, 2009 ** A satellite event of ICALP 2009 - http://icalp09.cti.gr/ ================================================================= DCM 2009 is the fifth in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. And to foster 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 2009 will be a one-day satellite event of ICALP 2009, with a special focus on the theme 'Computational Models From Nature'. Plenary speakers: Prakash Panangaden (McGill University) "Computing with Anyons" Amin Coja-Oghlan (Edinburgh) "Random Constraint Satisfaction Problems" Damien Woods (Seville) "Two Notions of Uniformity in Natural Computing" Topics of interest include all abstract models of computation and their properties, 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. PLEASE SUBMIT an extended abstract (of around 10 pages or less) in PDF format to the conference EasyChair submission page: https://www.easychair.org/login.cgi?conf=dcm2009 by the EXTENDED DEADLINE: 7 MAY, 2009. Accepted contributions will appear in a special issue of the EPTCS (Electronic Proceedings in Theoretical Computer Science). After the workshop, full versions of selected papers will be considered for a special issue of the IJSI (International Journal of Software and Informatics). IMPORTANT DATES: Submission deadline: 7 May, 2009 Notification: 25 May Workshop: 11 July, 2009 PROGRAMME COMMITTEE: S. Barry Cooper (Leeds, Co-chair) Vincent Danos (Edinburgh, Co-chair) Paola Bonizzoni (Milan) Alessandra Carbone (Paris) Luca Cardelli (Microsoft Research) Robert Coecke (Oxford) Mariangiola Dezani (Turin) Ellie D'Hondt (Brussels) Lionel Dupuy (SCRI, Dundee) Jerome Feret (INRIA, ENS Paris) Maribel Fernandez (King's College, London) Mark Hogarth (Cambridge) Jean-Pierre Jouannaud (Tsinghua, CNRS) Zoran Konkoli (Chalmers) Angsheng Li (CAS, Beijing) Ian Mackie (Ecole Polytechnique) Gheorghe Paun (Bucharest) Simon Perdrix (Paris) Grzegorz Rozenberg (Leiden) Peter Selinger (Dalhousie) Jiri Wiedermann (Prague) Damien Woods (Seville) ================================================================= Further information: Barry Cooper, pmt6sbc_(at)_leeds.ac.uk Vincent Danos, vincent.danos_(at)_gmail.com ================================================================= _______________________________________________ Elsnet-list mailing list Elsnet-list_(at)_mailman.let.uu.nl http://mailman.elsnet.org/mailman/listinfo/elsnet-list
 

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 05-05-2009 by Steven Krauwer Disclaimer / Contact ELSNET