Home‎ > ‎

Program

Monday, 08.04

9-10:15 TutorialThomas Streicher

10:30-11:45 TutorialThomas Streicher
11:45-12:15 Antje Rumberg    "What will happen if...? - Conditionals in Transition Semantics"

12:15-13:45 LUNCH 

13:45-14:15 Benedict Eastaugh    "The complexity of computable entailment"
14:15-14:45 Jeroen Van der Meeren    "Well-partial-orderings and recursively defined trees"
14:45-15:15 Sam van Gool    "A Noncommutative Priestley Duality"

15:15-15:30 COFFEE 

15:30-16:00 Catrin Campbell-Moore "Type-Free Theories of Higher Order Probability"
16:00-16:30 Rutger Kuyper "A Probability Logic for Inductive Learning"
16:30-17:00 Teddy Groves "In what sense is Carnapian inductive logic `objective'?"

Tuesday, 09.04

9-10:15 Tutorial: Andreas Kapsner

10:30-11:45 Tutorial: Olivier Roy - SLIDES
11:45-12:15  John Wigglesworth    "Logical Laws" 

12:15-13:45 LUNCH 

13:45-14:15 Paula Henk "On the possibility of finding a relational semantics for the interpretability logic ILMS - a negative result"
14:15-14:45 Daniel Alscher "Interpretability and the theory of real numbers"
14:45-15:15 Jeroen Goudsmit    "The Universal Model"

15:15-15:30 COFFEE 

15:30-16:00 Peter Fritz "What Makes Possible World Semantics Possible?"
16:00-16:30 Johannes Marti    "The Logic of Metasemantic Two-Dimensionalism"

16:45-18:15 Keynote lecture: Mai Gehrke


19.30  Conference Dinner at Conviva im Blauen Haus, Hildegardstraße 1.


Wednesday, 10.04

9:30-10:45 Tutorial: Andreas Kapsner 
 
11:00-12:15 Tutorial: Olivier Roy SLIDES

12:15-13:45 LUNCH 

13:45-14:15 Dominik Klein "Levels of Knowledge and Belief"
14:15-14:45 Sumit Sourabh "Sahlqvist preservation for flat modal mu-formulas"
14:45-15:15 Marcos Cramer "Higher-Order Dynamic Predicate Logic"

15:15-15:30 COFFEE 

15:30-16:00 Alexander Yates    "The Possibility of Meta-theory in Frege"
16:00-16:30 Ted Shear    "Solving the Surprise Examination and Designated Student Paradoxes"
16:30-17:00 Neil Barton    "We Really Need to Talk About Classes"
Ċ
PhDs in Logic Graduate Conference,
Apr 9, 2013, 3:30 AM
Comments