Invited Tutorials

Jeremy Avigad (Carnegie Mellon, USA)
"Interactive theorem proving" (abstract)

Dale Miller (INRIA, France)
"The Sequent Calculus: overview and recent developments" (abstract) (slides)

Simon Thomas (Rutgers, USA)
"A descriptive view of combinatorial group theory" (abstract) (slides-part1) (slides-part2) (slides-part3)