Tutorial Speakers

• Daniel M. Gusfield (University of California, Davis, USA)
  Tutorial on Integer Linear Programming in Computational Biology

• Denis R. Hirschfeldt (University of Chicago, USA)
  Computability theory, reverse mathematics, and combinatorial principles

Invited Speakers

• Scott Aaronson (University of Texas at Austin, USA)
  The Church-Turing Thesis and Physics

• Karen Lange (Wellesley College, USA)
  Dynamic and structural properties of the computably enumerable sets

• Ludovic Patey (University of California, Berkeley, USA)
  Ramsey’s theorem under a computable perspective

• Nicole Schweikardt (Humboldt-Universität zu Berlin, Germany)
  The computational complexity of query answering under updates

• Alexander Shen (Université Montpellier, France)
  Compressibility and probabilistic proofs

• Moshe Vardi (Rice University, USA)
  A Logical Revolution