deadline: 2007-04-27
18-23 June 2007
Siena, Italy
************************************************************
CiE'07: COMPUTABILITY IN EUROPE 2007
http://www.mat.unisi.it/newsito/cie07.html
University of Siena
Siena, 18 - 23 June 2007
CALL FOR INFORMAL PRESENTATIONS
DEADLINE: 27 April, 2007
* THERE IS A REMARKABLE DIFFERENCE in conference style between computer science
and mathematics conferences. Mathematics conferences allow for informal
presentations that are prepared very shortly before the conference and inform
the participants about current research and work in progress. The format of
computer science conferences with pre-produced proceedings volumes is not able
to accommodate this form of scientific communication. Continuing the tradition
established at CiE 2005 in Amsterdam, and at CiE 2006 in Swansea, the 2007
conference in Siena endeavours to get the best of both worlds.
* IN ADDITION TO THIS YEAR'S RECORD NUMBER of formal presentations based on our
projected LNCS and local proceedings volumes, we invite researchers to present
informal presentations. For this, please send us a brief description of your
talk (up to and approaching one page in length) before 27 April 2007.
* PLEASE SUBMIT YOUR ABSTRACT via the online Submission Form at:
http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.ipform.html
* If you submit an informal presentation, you will get an e-mail with a
decision on acceptance or rejection within two weeks of your submission.
* Let us add that there will be four post-conference special issues of journals
for CiE 2007. See:
http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.jour.html
* All speakers, including the speakers of informal presentations, are eligible
to be invited to submit a full journal version of their talk to one of the
post-conference publications.
PLENARY AND TUTORIAL SPEAKERS:
Pieter Adriaans (Amsterdam)
Yaakov Benenson (Harvard)
Anne Condon (Vancouver)
Stephen Cook (Toronto)
Yuri Ershov (Novosibirsk)
Wolfgang Maass (Graz)
Sophie Laplante (Paris)
Anil Nerode (Cornell)
Roger Penrose (Oxford)
Michael Rathjen (Leeds)
Dana Scott (Carnegie Mellon)
Robert I. Soare (Chicago)
Philip Welch (Bristol)
SPECIAL SESSIONS SPEAKERS:
Eric Allender (Rutgers)
Andrej Bauer (Ljubljana)
Vasco Brattka (Cape Town)
Douglas Bridges (Canterbury, NZ)
John Case (Newark, Delaware)
Pieter Collins (Amsterdam)
Thierry Coquand (Goeteborg)
Felix Costa (Lisbon)
Barbara F. Csima (Waterloo)
Abbas Edalat (London)
Martin Escardo (Birmingham)
Joerg Flum (Freiburg)
Sergey S. Goncharov (Novosibirsk)
Hajime Ishihara (Tokyo)
Natasha Jonoska (Tampa, Florida)
Michal Koucky (Prague)
James Ladyman (Bristol)
Maria Emilia Maietti (Padua)
Giancarlo Mauri (Milan)
Klaus Meer (Odense)
Itamar Pitowsky (Jerusalem)
Robert Rettinger (Hagen)
Grzegorz Rozenberg (Leiden)
Frank Stephan (Singapore)
Neil Thapen (Prague)
Giuseppe Trautteur (Naples)
Heribert Vollmer (Hannover)
Osamu Watanabe (Tokyo)
Jiri Wiedermann (Prague)
Damien Woods (Cork)
Liang Yu (Nanjing)
Martin Ziegler (Paderborn)
WOMEN IN COMPUTABILITY WORKSHOP in association with the Computer Research
Association's Committee on the Status of Women in Computing Research (CRA-W)
Organisers: Paola Bonizzoni, Elvira Mayordomo. Speakers: Anne Condon
(Vancouver), Natasha Jonoska (Florida), Carmen Leccardi (Milan), and others
CONFIRMED SPONSORS OF CiE 2007: AILA (Associazione Italiana di Logica e
Applicazioni), EATCS (European Association for Theoretical Computer Science),
ASL (Association for Symbolic Logic), EACSL (European Association for Computer
Science Logic), FoLLI (The Association of Logic, Language and Information),
GNSAGA-INdAM (Gruppo Nazionale per le Strutture Algebriche e Geometriche e loro
Applicazioni-Istituto NAzionale di Alta Matematica) and The University of
Siena.
CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability and
Complexity in Analysis) Conference:
http://cca-net.de/cca2007/
************************************************************