- Logic and Algorithms - http://www.newton.cam.ac.uk/programmes/LAA/
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.
- Computation Prospects of Infinity - http://www.ims.nus.edu.sg/Programs/infinity/
Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National University of Singapore; 20 June -- 15 August 2005.
- LICS - http://www.lfcs.informatics.ed.ac.uk/lics
IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Links to past and future meetings, mailing list, newsletters.
- WILF 2005 - http://dsa.uniparthenope.it/wilf2005/
International Workshop on Fuzzy Logic and Applications. University of Milan, Crema, Italy; 15--17 September 2005.
- LPNMR'05 - http://www.mat.unical.it/lpnmr05/
8th meeting on logic programming and nonmonotonic reasoning:co-located with the INFOMIX Workshop on Data Integration. University of Calabria, Italy; 5--8 September 2005.
- Logic in Hungary 2005 - http://www.renyi.hu/%7Elh05/
Celebrating the 100th anniversary of László Kalmár and Rózsa Péter. Budapest, Hungary; 5--11 August 2005.
|
