Dagstuhl Seminar on Semantic Foundations of Proof-search |
1-6 April 2001. |
9.30h-10.30h |
David Pym |
11.00h-12.00h |
Conor McBride |
14.00h-15.00h |
Kurt Ranalter |
15.00h-15.45h |
Andrea Schalk |
16.15h-17.00h |
Dominique Larchey-Wendling |
17.00h-17.30h |
Roy Dyckhoff |
9.30h-10.30h |
Eike Ritter |
11.00h-12.00h |
Didier Galmiche |
14.00h-15.00h |
Edmund Robinson |
15.00h-15.30h |
Alberto Momigliano |
15.30h-16.00h |
Uwe Egly A Polynomial Translation of Propositional S4 into Propositional Intuitionistic Logic |
16.30h-17.15h |
Gianluigi Bellin |
9.30h-10.30h |
Andrei Voronkov |
11.00h-11.45h |
Iliano Cervesato |
11.45h-12.15h |
James McKinna Towards a Calculus of Problems in Type Theory with Applications to Relational Rippling |
9.00h-9.45h |
Jim Lipton |
9.45h-10.45h |
Patricia Hill |
11.00h-11.30h |
Robert Staerk |
11.30h-12.00h |
Thomas Streicher |
14.00h-14.30h |
Kevin Watkins Defining An Operational Semantics for Resource Management in Lolli |
14.30h-15.00h |
Alan Smaill |
15.00h-15.30h |
Randy Pollack |
15.30h-16.00h |
Konstantin Korovin |
9.30h-10.00h |
Manfred Kerber |
10.00h-10.30h |
Alexandre Riazanov |
11.00h-11.30h |
Roy Dyckhoff |