Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Invited Talks

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

picture Samuel R Buss (San Diego, CA) Proof complexity and computational hardness
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

presentation
picture Julia Kempe (Paris) Quantum Algorithms

Invited Talks

picture Jan A Bergstra (Amsterdam) Elementary Algebraic Specifications of the Rational Function Field
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

presentation
picture Luca Cardelli (Cambridge) Biological Systems as Reactive Systems
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

presentation
picture Martin Davis (New York, NY) The Church-Turing Thesis: Consensus and Opposition
picture John Dawson (York, PA) Gödel and the origins of computer science
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

presentation
special address sponsored by the Kurt Gödel Society in Vienna
picture Jan Krajíček (Prague) Forcing with random variables and proof complexity
picture Elvira Mayordomo (Zaragoza) Two open problems on effective dimension
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

presentation
picture István Németi (Budapest) Can general relativistic computers break the Turing barrier? (talk cancelled)
presentation
picture Helmut Schwichtenberg (Munich) Inverting monotone continuous functions in constructive analysis
picture Andreas Weiermann (Utrecht) Phase transition thresholds for some natural subclasses of the computable functions

websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 135
2006-07-02 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net