VSL 2014: VIENNA SUMMER OF LOGIC 2014

LC ON FRIDAY, JULY 18TH: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
09:15-10:15
Synthesis for monadic logic over the reals
Mark Reynolds
11:00-12:00
On local induction schemes
Andres Cordón-Franco
12:00-13:00
Tutorial on Classical Realizability and Forcing 2
Alexandre Miquel
14:30-15:15
Frege on mathematical progress
Patricia Blanchette
15:15-16:00
On Bernays' Generalization of Cantor's Theorem
Gabriel Uzquiano
14:30-15:15
Large cardinals, forcing axioms, and the theory of subsets of \omega_1
Daisuke Ikegami
15:15-16:00
Locally definable well-orders
Philipp Lücke
14:30-15:15
Weak well orders and related inductions
Gerhard Jaeger
15:15-16:00
Automating inductive proof
Alan Bundy
14:30-15:15
Weak well orders and related inductions
Gerhard Jaeger
15:15-16:00
Automating inductive proof
Alan Bundy
16:30-17:15
Restrictiveness relative to notions of interpretation
Luca Incurvati, Benedikt Loewe
17:15-18:00
Reflection, Trust, Entitlement
Leon Horsten
16:30-17:15
Definable valuation rings
Jochen Königsmann
17:15-18:00
The Fitting subgroup of a supersimple group
Daniel Palacín
18:15-18:35
A completeness theorem for general relativity
Judit X. Madarász, Gergely Székely
18:35-18:55
More On Completion with Horn Filters
Cyrus F Nourani
18:15-18:35
Predicative Mathematics via Safety Relations
Liron Cohen, Arnon Avron
18:35-18:55
Natural Deduction in Renaissance Geometry
Ryszard Mirek
18:55-19:15
Aristotle’s conception of demonstration and modern proof theory
Olga Antonova
18:15-18:35
Modelling Inference in Fiction
Alba Massolo, Luis Urtubey
18:35-18:55
Metalogical Extensions--Part II: First-order Consequences and Gödel
Joachim Mueller-Theys
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program