CiE 2007 - Call for informal presentations

CiE 2007 - Call for informal presentations

Post by S B Coope » Wed, 21 Mar 2007 08:16:55



University of Siena
Siena, 18 - 23 June 2007


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:

* 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:

* 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.


Pieter Adriaans (Amsterdam)
Yaakov Benenson (Harvard)
Anne Condon (Vancouver)
Stephen Cook (Toronto)
Yuri Ershov (Novosibirsk)
Wolfgang Maass (Graz)
Sophie Laplante (Paris)
Anil Nerode (Cornell)
George Odifreddi (Turin)
Roger Penrose (Oxford)
Michael Rathjen (Leeds)
Dana Scott (Carnegie Mellon)
Robert I. Soare (Chicago)
Philip Welch (Bristol)


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), C