[TYPES/announce] CiE 2009 - Call for Participation and Informal Presentations
S B Cooper
pmt6sbc at maths.leeds.ac.uk
Wed Apr 1 18:04:10 EDT 2009
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 at 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 at math.uni-heidelberg.de
***********************************************************************
More information about the Types-announce
mailing list