Logic and interactions 2012
CIRM
, Marseille — 30 January – 2 March
Heribert Vollmer’s slides
Part 1, Slide 1
Part 1, Slide 2
Part 1, Slide 3
Part 1, Slide 4
Part 1, Slide 5
Part 1, Slide 6
Part 1, Slide 7
Part 1, Slide 8
Part 1, Slide 9
Part 1, Slide 10
Part 1, Slide 11
Part 1, Slide 12
Part 1, Slide 13
Part 1, the big picture
Part 2, Slide 1
Part 2, Slide 2
Part 2, Slide 3
Part 2, Slide 4
Part 2, Slide 5
Part 2, Slide 6
Part 2, Slide 7
Part 2, Slide 8
Part 2, Slide 9
Part 2, Slide 10
Part 2, the big picture
Home
,
Committees
,
Sponsors
,
Practical information
.
Programme
Complexity
,
Logic and interaction
,
Proofs and programs
,
Quantitative approaches
,
Algebra and computation
.
Registration
Pre-register
or
Login
.