The workshop will start on Friday, 25 February early afternoon and end on Sunday, 27 February at 13h30.

Workshop schedule

Friday, 25 February, 2011 Saturday, 26 February, 2011 Sunday, 27 February, 2011
  9.30-10.30 M. H. Sørensen: Sequent Calculus, Dialogues, and Cut-Elimination  
    10.00-10.30 C. Fermüller: Parallel dialogue games and hypersequents
  10.30-11.00 P. Schroeder-Heister: Implications as rules: In defence of proof-theoretic semantics 10.30-11.00 J. Alama & S. Uckelman: Extending Fermüller-style dialogues to classical logic
  11.00-11.30 Coffee Break 11.00-11.30 Coffee Break
  11.30-12.00 T. Piecha: Implications as rules in dialogues 11.30-12.30 G. Metcalfe: Giles's Game and the Proof Theory of Łukasiewicz Logic
  12.00-12.30 L. Tranchini: The categorical and the hypothetical: some remarks  
  12.30-13.00 B. Więckowski: Sequent-style dialogue games 12.30-13.00 O. Majer: Evaluation games in fuzzy logic
  13.00-15.00 Lunch Break 13.00-13.30 C. Roschger: Evaluation Games under Vagueness
13.30-14.30 Registration/Welcome 13.30 Closing
14.30-15.30 H. Rückert: The Conception of Validity in Dialogical Logic  
  15.00-16.00 A. Blass: Logic of games  
15.30-16.00 C. Dutilh Novaes: Every proof is (and isn't) a dialogue: On the dialogical foundations of logic    
16.00-16.30 Coffee Break 16.00-16.30 Coffee Break  
16.30-17.15 S. Rahman: Towards Dialogical Harmony 16.30-17.00 P.-A. Melliès: Dialogue games – a primitive syntax of tensor and negation  
17.15-18.00 L. Keiff: Dialogues and trivializing connectives 17.00-17.45 A. Lecomte: Proofs and Games: the Ludics view  
18.00-18.45 T. Tulenheimo: Remarks on Game-Based Theories of Meaning 17.45-18.45 B. Löwe: Formal Models of Narratives  
  20.00 Workshop Dinner