[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CiE 2009 - Call for Participation and Informal Presentations

                  CiE 2009: COMPUTABILITY IN EUROPE 2009 -
              Mathematical Theory and Computational Practice
                             Heidelberg, Germany
                              19 - 24 July 2009

            Call for Participation and Informal Presentations




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-conference proceedings is not able to accommodate this form of 
scientific communication.

Again continuing the tradition of past CiE conferences, this year's CiE 
conference endeavours to get the best of both worlds. In addition to 
the formal presentations based on our LNCS proceedings volume, we 
invite researchers to present informal presentations. For this, please 
send us a brief description of your talk (between one paragraph and 
half a page) by the DEADLINE:

                               1 JUNE 2009.

Please submit your abstract by sending an informal email to our 
contact address:


You will be notified whether your talk has been accepted for informal 
presentation usually within a week after your submission.

Let us remind you that we are planning several post-conference 
publications, which will contain full articles of selected CiE 2009 
presentations, including informal presentations.


Submission of applications for ASL Student Grants: APRIL 19
Early registration deadline: MAY 15
Submission of informal presentations: JUNE 1
Late registration deadline: JULY 12


TUTORIALS: Pavel Pudlak (Prague), Luca Trevisan (Berkeley).

INVITED SPEAKERS: Manindra Agrawal (Kanpur), Jeremy Avigad (Pittsburgh), 
Phokion Kolaitis (San Jose), Peter Koepke (Bonn), Andrea Sorbi (Siena), 
Rafael D. Sorkin (Syracuse), Vijay Vazirani (Atlanta).


Algorithmic Randomness (Chairs: E. Mayordomo, W. Merkle). 
Confirmed invited speakers: Laurent Bienvenu, Bjoern Kjos-Hanssen, 
Jack Lutz, Nikolai Vereshchagin.

Computational Model Theory (Chairs: J. Knight, A. Morozov). 
Confirmed invited speakers: Ekaterina Fokina, Sergey Goncharov, 
Russell Miller, Antonio Montalban.

Computation in Biological Systems - Theory and Practice (Chairs: A. 
Carbone, E. Csuhaj-Varju). 
Confirmed invited speakers: Ion Petre, Alberto Policriti, 
Francisco J. Romero-Campero, David Westhead.

Optimization and Approximation (Chairs: M. Halldorsson, G. Reinelt). 
Cornfirmed invited speakers: Jean Cardinal, Friedrich Eisenbrand, Harald 
Raecke, Marc Uetz.

Philosophical and Mathematical Aspects of Hypercomputation (Chairs: J. 
Ladyman, P. Welch). 
Confirmed invited speakers: Tim Button, Samuel Coskey, Mark Hogarth.

Relative Computability (Chairs: R. Downey, A. Soskova). 
Confirmed invited speakers: Hristo Ganchev, Keng Meng Ng, Richard Shore, 
George Barmpalias.

For details of accepted contributed papers for CiE 2009 see:



Klaus Ambos-Spies (Heidelberg, co-chair), Giorgio Ausiello (Rome), Andrej
Bauer (Ljubljana), Arnold Beckmann (Swansea), Olivier Bournez (Palaiseau),
Vasco Brattka (Cape Town), Barry Cooper (Leeds), Anuj Dawar (Cambridge),
Jacques Duparc (Lausanne), Pascal Hitzler (Karlsruhe), Rosalie Iemhoff
(Utrecht), Margarita Korovina (Siegen/Novosibirsk), Hannes Leitgeb
(Bristol), Daniel Leivant (Bloomington), Benedikt Loewe (Amsterdam),
Giancarlo Mauri (Milan), Elvira Mayordomo (Zaragoza), Wolfgang Merkle
(Heidelberg, co-chair), Andrei Morozov (Novosibirsk), Dag Normann (Oslo),
Isabel Oitavem (Lisbon), Luke Ong (Oxford), Martin Otto (Darmstadt),
Prakash Panangaden (Montreal), Ivan Soskov (Sofia), Viggo
Stoltenberg-Hansen (Uppsala), Peter van Emde Boas (Amsterdam), Jan van
Leeuwen (Utrecht), Philip Welch (Bristol), Richard Zach (Calgary)

Contact: logic@math.uni-heidelberg.de