Logic and interactions 2012
CIRM
, Marseille — 30 January – 2 March
Gordon Plotkin
(Edinburgh, UK)
,
Introduction to the algebraic theory of effects
Schedule
Feb. 16, 2012, 9:00 - 10:30
Feb. 17, 2012, 9:00 - 10:30
Attachments
Slides of lecture 1 (Thursday)
Slides of lecture 2-1 (Friday)
Slides of lecture 2-2 (Friday)
Slides of lecture 2-3 (Friday)
Home
,
Committees
,
Sponsors
,
Practical information
.
Programme
Complexity
,
Logic and interaction
,
Proofs and programs
(
presentation
,
participants
,
talks & abstracts
,
schedule
,
time table
)
,
Quantitative approaches
,
Algebra and computation
.
Registration
Pre-register
or
Login
.