Home


Featured speakers



Simon Colton (Computing, Imperial College London)

Patrick Dehornoy (Mathematics, U of Caen; CNRS)

Gilles Dowek (INRIA, Deducteam, Paris)

Benedikt Löwe (ILLC, U of Amsterdam; Mathematics, U of Hamburg)

Ursula Martin (Computer Science, Queen Mary, U of London)

Timothy McCarthy (Philosophy, U of Illinois–U/C)

Alison Pease (Computer Science, Queen Mary, U of London)

Michael Rathjen (Pure Mathematics, U of Leeds)

Keith Stenning (Informatics, U of Edinburgh)

Claes Strannegård (Philosophy, Linguistics and Theory of Science, U of Gothenburg)

Michiel van Lambalgen (ILLC, Philosophy, U of Amsterdam)

Andreas Weiermann (Mathematics, Ghent U)

Meetings agenda