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