Directory: Top/Science/Math/Logic_and_Foundations/Meetings/Past

Top / Science / Math / Logic_and_Foundations / Meetings / Past_Conferences /

KR2002
Eighth International Conference on Principles of Knowledge Representation and Reasoning. In conjunction with AIPS2002, KSCO'02 and NMR'02. Toulouse, France; 22--25 April 2002.
http://kr.org/KR2002/
Kr.org ~ Site Info Whois Trace Route RBL Check

Logic, Algebra and Geometry
St.Petersburg, Russia; 1--7 June 2004.
http://logic.pdmi.ras.ru/june2004/
Ras.ru ~ Site Info Whois Trace Route RBL Check

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.
http://www.maths.man.ac.uk/logic/turing2004/
Man.ac.uk ~ Site Info Whois Trace Route RBL Check

Computer-Supported Mathematical Theory Development
Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004.
http://www.risc.uni-linz.ac.at/conferences/IJCAR-WS7/
Uni-linz.ac.at ~ Site Info Whois Trace Route RBL Check

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.
http://www.aero.org/wolfasi/
Aero.org ~ Site Info Whois Trace Route RBL Check

LICS 2002
IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark; 22--25 July 2002.
http://floc02.diku.dk/LICS/
Diku.dk ~ Site Info Whois Trace Route RBL Check

JELIA 2004
Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004.
http://centria.di.fct.unl.pt/~jelia2004/
Unl.pt ~ Site Info Whois Trace Route RBL Check

6BLM
6th Barcelona Logic Meeting. Institut d'Estudis Catalans, Barcelona, Spain; 5--8 July 2000.
http://www.crm.es/Conferences/9900/6blm.htm
Crm.es ~ Site Info Whois Trace Route RBL Check

Infinite Games
Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004.
http://www.math.uni-bonn.de/people/fotfs/V/
Uni-bonn.de ~ Site Info Whois Trace Route RBL Check

World Congress on Universal Logic
1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005.
http://www.uni-log.org/
Uni-log.org ~ Site Info Whois Trace Route RBL Check