Chair: Georg Schiemer (University of Vienna)
10:00 (s.t.) – 10:15    Opening
10:15 – 11:15    Gabriel Sandu (University of Helsinki) “Natural logic and the completeness ideal”
11:15 – 11:30    Tea/Coffee
11:30 – 12:30    Jennifer Whyte (Duke University, IVC Fellow) “Formal and Practical in William Kingdon Clifford”
12:30 – 14:30    Lunch

    Chair: Richard Lawrence (University of Vienna)
14:30 – 15:30    Iulian Toader (University of Vienna) “Conservatism and the unprovability of outer consistency”
15:30 – 15:45    Tea/Coffee
15:45 – 16:45    Brett Topey (University of Salzburg) “If the omega rule is a solution, what was the problem?”
16:45 – 17:00    Tea/Coffee

    Logik Café talk in room 3B, NIG
17:00 – 18:00    Constantin Brincus (University of Bucharest, IVC Fellow) “Categoricity by Inferential Conservativity”
19:00    Conference Dinner

Day 2    Tuesday | May 20, 2025

  Chair: Iulian D. Toader (University of Vienna)
9:30 – 10:30    Danielle Macbeth (Haverford College) “Thinking about Numbers: From Objects to Inquiry”
10:30 – 10:45    Tea/Coffee
10:45 – 11:45    Georg Schiemer (University of Vienna) “How to eliminate ideal elements”
11:45 – 12:00    Tea/Coffee
12:00 – 13:00    Richard Lawrence (University of Vienna) “Domain extension: Hankel and the power of formal
mathematics”