|
|
Conferences and events
Past conferences and events
ICFD 25th Anniversary Meeting, 15-16 September 2008
Quantum Interaction 2008, 26-28 March 2008
11th Annual Research Colloquium of Computational Linguistics UK
(CLUK 2008), 11-12 March 2008
Gene Golub Day, 29 February 2008
First Workshop on the Philosophy of Information and Logic
, 3-4 November 2007
Seventh International Workshop on Automated Verification of Critical Systems
(AVoCS '07), 10-12 September 2007
13th Leslie Fox Prize, 22 June 2007.
ICFD Conference on Numerical Methods for Fluid Dynamics, 26-29 March 2007.
SIAM/UK/IE Meeting at Oxford, 5 January 2007
International Workshop on Mathematics of Constraint Satisfaction, 20-24 March 2006.
The 18th International Conference on Theorem Proving in Higher Order Logics
(TPHOLs 2005), 22-25 August 2005.
Computer Science Logic (CSL 2005), 22-25 August 2005.
Optbridge 2004, 13 August 2004
|
|