Programme
Friday 7 July 2017
10:00-11:15 Introduction to the topic and to software tools for logic (by the organizers)
11:15-11:30 Break
11:30-13:00 Catarina Dutilh Novaes:
A Dialogical Analysis of Structural Rules (via skype)
13:00-14:30 Lunch at Uni Dufour
14:30-16:00 Alexandra Zinke:
Beyond Formality
16:00-16:30 Coffee Break
16:30-18:00 Roy T. Cook:
Logic, Counterexamples, and Translation
19:00 Dinner at au Grütli
10:00-11:15 Introduction to the topic and to software tools for logic (by the organizers)
11:15-11:30 Break
11:30-13:00 Catarina Dutilh Novaes:
A Dialogical Analysis of Structural Rules (via skype)
13:00-14:30 Lunch at Uni Dufour
14:30-16:00 Alexandra Zinke:
Beyond Formality
16:00-16:30 Coffee Break
16:30-18:00 Roy T. Cook:
Logic, Counterexamples, and Translation
19:00 Dinner at au Grütli
Saturday 8 July 2017
10:00-11:30 Georg Brun:
Logical Analysis of Arguments: Aspects of Adequacy
11:30-11:40 Break
11:40-13:10 Michael Glanzberg:
Logic and Logics in Natural Language
13:10-14:40 Lunch at Emilios
14:40-16:10 Gil Sagi:
Some General Considerations on Logic and Natural Language
19:00 Dinner at La Pignata
10:00-11:30 Georg Brun:
Logical Analysis of Arguments: Aspects of Adequacy
11:30-11:40 Break
11:40-13:10 Michael Glanzberg:
Logic and Logics in Natural Language
13:10-14:40 Lunch at Emilios
14:40-16:10 Gil Sagi:
Some General Considerations on Logic and Natural Language
19:00 Dinner at La Pignata