VSL 2014: VIENNA SUMMER OF LOGIC 2014

LC ON SATURDAY, JULY 19TH: TALK VIEW

Days:
previous day
all days

View: with abstractssession overviewside by side with other conferences

8:30
9:00
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
19:30
20:00
20:30
21:00
21:30
22:00
22:30
23:00
23:30
08:30-09:30
Geometry without points
Dana Scott
08:30-09:30
Geometry without points
Dana Scott
09:35-09:55
Provability logics and proof-theoretic ordinals
David Fernández-Duque, Joost Joosten
09:55-10:15
On Uniform Interpolation for the Guarded Fragment
Giovanna D'Agostino, Giacomo Lenzi
09:35-09:55
Degree spectra of sequences of structures
Alexandra Soskova
09:55-10:15
Computability in generic extensions
Noah Schweber
09:35-09:55
Forcing with finite conditions and preserving CH
Miguel Angel Mota
09:55-10:15
Reflection principle of list-chromatic number of graphs
Toshimichi Usuba
09:35-09:55
Justifying proof-theoretic reflection principles
Marianna Antonutti Marfori
09:55-10:15
C. I. Lewis' Influence on the Early Work of Emil Post
Mate Szabo
09:35-09:55
Indiscernible extraction and Morley sequences
Sebastien Vasey
09:55-10:15
Consequences of the existence of ample generics and automorphism groups of homogeneous metric
Maciej Malicki
11:00-12:00
Tutorial on Classical Realizability and Forcing 3
Alexandre Miquel
12:00-13:00
Reductions in computability theory from a constructive point of view
Andrej Bauer
14:00-15:00
On a theorem of McAloon
Albert Visser
15:00-16:00
The Singular Cardinals Problem after 130 years or so
Matt Foreman
16:30-17:30
The problem of a model without collection and without exponentiation
Leszek Kolodziejczyk
17:30-18:30
Computable structure theory and formulas of special forms
Julia Knight
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
19:00-21:30 VSL Reception 2
22:00-23:59 VSL Student Reception 2
Disclaimer | Powered by EasyChair Smart Program