Print this page

CiE 2006

Home page

General Information

CiE Network and Series

Programme Committee

Contact Info

Sponsors

Grants

Registration

Location

Travel Information

Last Minute News

Excursion

Conference Photo

Further Photos

Scientific Programme

Tutorials

Invited Talks

Special Sessions

Contributed Talks

Schedule

Session Chairs

Publications

Pre- and Post-conference Publications

Call for Papers

Paper Submission

Call for Informal Talks

Informal Talk Submission

Information for Authors

Tutorials and Invited Talks

We will have two Tutorial Speakers (giving 3x1h lectures each) and eight Invited Speakers and one Invited Special Address (giving 1h lectures each).

Tutorials

Samuel R Buss (San Diego, CA)	Proof complexity and computational hardness presentation
Julia Kempe (Paris)	Quantum Algorithms

Invited Talks

Jan A Bergstra (Amsterdam)	Elementary Algebraic Specifications of the Rational Function Field presentation
Luca Cardelli (Cambridge)	Biological Systems as Reactive Systems presentation
Martin Davis (New York, NY)	The Church-Turing Thesis: Consensus and Opposition
John Dawson (York, PA)	Gödel and the origins of computer science presentation special address sponsored by the Kurt Gödel Society in Vienna
Jan Krajíček (Prague)	Forcing with random variables and proof complexity
Elvira Mayordomo (Zaragoza)	Two open problems on effective dimension presentation
István Németi (Budapest)	Can general relativistic computers break the Turing barrier? (talk cancelled) presentation
Helmut Schwichtenberg (Munich)	Inverting monotone continuous functions in constructive analysis
Andreas Weiermann (Utrecht)	Phase transition thresholds for some natural subclasses of the computable functions

websites: Arnold Beckmann

2006-07-02