Friday, December 8, room 352
Informatik
Hans-Grundig-Str. 25
Dresden
WORKSHOP ON PROOF THEORY
10:15 Didier Galmiche (LORIA, Nancy)
"Proof-search and proof nets in Mixed Linear Logic"
11:00 Heinrich Wansing (TU Dresden)
"Formulas-as-types for temporal logic"
11:45 Charles Stewart (Boston University)
"The linear graph matching problem"
12:30 Lunch
13:15 Roy Dyckhoff (St Andrews)
"Cut-elimination and explicit substitutions"
14:00 Alessio Guglielmi (TU Dresden)
"Calculus of structures and non-commutativity"
14:45 Lutz Strassburger (TU Dresden)
"MELL and the calculus of structures"
15:30 Tea