News
2017: Logic and Set Theory: Monika Seisenberger | School of ...
www.bristol.ac.uk
Program extraction from formal proofs is a powerful proof theoretic technique
based ...
BLC 2017: British Logic Colloquium, 7-9 Sep 2017, Brighton, England
resources.illc.uva.nl
Monika Seisenberger, Swansea ? Philip Welch, Bristol ACCOMMODATION There will be a reduced conference fee for PhD students.
BLC Newsletter June 2004
www.cs.bham.ac.uk
... Faron Moller (automata theory, modal and temporal logic), Markus Roggenbach (algebraic specification), Monika Seisenberger (proof theory, ...
sorted by relevance / date