MALOA - From MAthematical LOgic to Applications

Marie Curie Initial Training Network in Mathematical Logic
PITN-GA-2009-238381


MALOA final conference
Logic and interactions
CIRM, Luminy, 29 April - 3 May 2013


Programme



Monday 29 April
09:00 - 10:00Angus Macintyre, Comparing Zilber's exponential fields with the complex exponential field, with special reference to zero sets.
10:30 - 11:30Andy Lewis: Typicality and the Turing degrees
11:30 - 12:30Contributed papers
16:30 - 17:30Arnaud Durand: Descriptive complexity of logical counting problem
17:30 - 18:30Contributed papers
18:30 - 19:30Poster session and reception



Tuesday 30 April
09:00 - 10:00Pavel Pudlak: Estimating the complexity of games using proof complexity
10:30 - 11:30Jeffrey Paris: Pure Inductive Logic
11:30 - 12:30Contributed papers
16:30 - 17:30Peter Schuster: A Universal Krull-Lindenbaum Theorem
17:30 - 19:30Contributed papers
21:00 - 22:30Complementary training - careers after a PhD



Wednesday 1 May
09:00 - 10:00Jouko Väänänen: The model theory of second order logic
10:30 - 11:30Sam Buss: Limits on Alternation-Trading Proofs for Time-Space Lower Bounds
11:30 - 12:30Contributed papers
Free afternoon



Thursday 2 May
09:00 - 10:00Ulrich Berger: Program Extraction in Church's Theory of Simple Types
10:30 - 11:30Deirdre Haskell: Dependent formulas: counting types and VC density
11:30 - 12:30Contributed papers
16:30 - 17:30Romain Kervarc: Logical description for behaviour analysis in aerospace systems
17:30 - 19:30Contributed papers
19:30 -  Banquet



Friday 3 May
09:00 - 10:00Michael Laskowski: Dependent formulas: Probability, machine learning, compression schemes, and combinatorics
10:30 - 11:30Heike Mildenberger: Diagonalising centered families
11:30 - 12:30Contributed papers
14:00 - 15:00Todor Tsankov: Representations of oligomorphic groups and generalizations of de Finetti's theorem
15:00 - 16:00David Evans: Geometric properties of forking in stable theories

Abstracts

Programme of the sessions of Contributed papers