Schedule

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