torre CiE 2007 logo
CiE 2007 | General Information | Participation | Scientific Programme | Publications | CiE | CCA 2007
photo credit
Plenary Lectures
Anne Condon Anne Condon (Vancouver): Computational challenges in prediction and design of nucleic acid structure Steve Cook Stephen Cook (Toronto): Low Level Reverse Mathematics

Winner 2006
John L. Synge Award

Yuri Ershov Yuri Ershov (Novosibirsk): HF-Computability Wolfgang Maass Wolfgang Maass (Graz): Theoretical Aspects of Biological Computation
Sophie Laplante Sophie Laplante (Paris): Quantum vs Classical Theories: Simulating Quantum Correlations with Classical Resources Anil Nerode Anil Nerode (Cornell): Logic and Control
Penrose Roger Penrose (Oxford): The Issue of Non-Computability in Physical Laws Michael Rathjen Michael Rathjen (Leeds): Theories and Ordinals in Proof Theory
Dana Scott Dana Scott (Carnegie Mellon): Looking to the Future


Sponsored Lecture

Bob Soare Robert I. Soare (Chicago): Computability and Incomputability
Philip Welch Philip Welch (Bristol): Turing Unbound: Transfinite Computation Piergiorgio Piergiorgio Odifreddi (Torino) -
Conference Introductory Lecture
palio
dipartimento
dipartimento
palazzo publico

CiE logo
EATCS logo ASL logo AILA logo
EACSL logo LNCS logo FoLLI logo CRA-W logo MPS logo
CiE logo CiE 2005 small poster CiE 2006 small poster CiE07 poster CCA logo UNISI logo GNSAGA Springer 		Maintained
B. Cooper
Valid HTML 4.01!