Logic List Mailing Archive

CfPart: CiE 2009, Heidelberg (Germany)

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

       ************************************************************
            Call for Participation and Informal Presentations
       ************************************************************

            http://www.math.uni-heidelberg.de/logic/cie2009/

***********************************************************************

CALL FOR INFORMAL PRESENTATIONS AT CiE 2009:

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:

                        logic@math.uni-heidelberg.de

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.

***********************************************************************
IMPORTANT DATES:

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

***********************************************************************
DETAILS OF PROGRAMME:

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

SPECIAL SESSIONS:

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:

http://www.math.uni-heidelberg.de/logic/cie2009/pr_contributed.php

***********************************************************************
PROGRAMME COMMITTEE:

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