Logic and interactions 2012
CIRM
, Marseille — 30 January – 2 March
Christine Tasson’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, Slide 14
Part 1, Slide 15
Part 1, Slide 16
Part 1, Slide 17
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, Slide 11
Part 2, Slide 12
Part 2, Slide 13
Part 2, Slide 14
Home
,
Committees
,
Sponsors
,
Practical information
.
Programme
Complexity
,
Logic and interaction
,
Proofs and programs
,
Quantitative approaches
,
Algebra and computation
.
Registration
Pre-register
or
Login
.