VSL 2014: VIENNA SUMMER OF LOGIC 2014
NCPROOFS ON SUNDAY, JULY 20TH, 2014

View: session overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-12:45 Session 127I
Chair:
Arnon Avron
Location: FH, Seminarraum 104
10:45
Matthias Baaz and Nino Antidze
Construction and meaning
SPEAKER: Matthias Baaz
11:15
Kazushige Terui
Proof theory for ordered algebra: amalgamation and densification
SPEAKER: Kazushige Terui
11:45
Richard Zach and Matthias Baaz
The Epsilon Calculus and Nonclassical Logics
SPEAKER: Richard Zach
12:15
Bruno Woltzenlogel Paleo
Automated and Interactive Theorem Proving for Modal Logics via embedding into Classical Higher-Order Logic
SPEAKER: Bruno Woltzenlogel Paleo
13:00-14:30Lunch Break
14:30-16:00 Session 129I
Chair:
Revantha Ramanayake
Location: FH, Seminarraum 104
14:30
Alessio Guglielmi
Introducing Substitution in Proof Theory
SPEAKER: Alessio Guglielmi
15:00
Nicola Olivetti
Conditional logics: the quest for internal proof systems
SPEAKER: Nicola Olivetti
15:30
Ori Lahav
From Frame Properties to Hypersequent Rules in Modal Logics
SPEAKER: Ori Lahav
16:00-16:30Coffee Break
16:30-18:00 Session 130H
Chair:
Melvin Fitting
Location: FH, Seminarraum 104
16:30
George Metcalfe
Admissibility and Exact Unification
SPEAKER: George Metcalfe
17:00
Anna Zamansky
What can semantics do for proof theory: the case of Paraconsistent Logics
SPEAKER: Anna Zamansky
17:30
Melvin Fitting and Roman Kuznets
Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property
SPEAKER: Roman Kuznets
19:00-21:30 Session 142: VSL Banquet 2
Location: Schönbrunn