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)