Workshop "Paris-Vienne"

                         Lundi 19 décembre 2005
                  175 rue Chevaleret, Paris (Metro Chevaleret)
                        salle 6C01 (6ème étage)


9h30 -10h : café

10h - 10h45
Agata Ciabattoni (Technische Universität Wien)
"Towards a semantic characterization of cut-elimination"

10h45 - 11h30
Elaine Pimentel(Universidade Federal de Minas Gerais)
"On the specification of sequent systems"

11h30 11h45 : Pause

11h45 - 12h30
Dale Miller (INRIA Futurs)
"A game semantics for proof search: Preliminary results"

12h45 - 14h : Déjeuner

14h -14h45
Stefan Hetzl (Technische Universität Wien)
"Abstracting from the Propositional Structure of First-Order Proofs"

14h45 - 15h30
George Metcalfe (Technische Universität Wien)
"Proof Systems for Admissibility"

15h30 - 16h30 Pause

16h30 - 17h15
Matthias Baaz (Technische Universität Wien)
"Herbrand's Theorem and Skolem Functions"

17h15 - 18h
Jean-Louis Krivine (Université Paris 7)
"Realizing the axiom of dependent choice"