 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Logic and Algorithms
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.
Turing 2004: A Celebration of his Life and Achievements
One Day Conference to be held at the University of Manchester, June 5th, 2004 and run jointly by the British Logic Colloquium and the British Society for the History of Mathematics.
Model Theory and Applications to Algebra and Analysis
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005.
Logic, Algebra and Geometry
St.Petersburg, Russia; 1--7 June 2004.
Workshop on Logical Foundations of an Adaptive Security Infrastructure (WOLFASI)
A sub-workshop of the LICS Foundations of Computer Security (FCS'04) Workshop, LICS'04. Turku, Finland; 12--13 July 2004.
|
|
||
 |
|||