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

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

NMR'2002
9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002.
http://www.irit.fr/NMR2002/NMR2002.html
Irit.fr ~ Site Info Whois Trace Route RBL Check

DEON'02
Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK; 22--24 May 2002.
http://www.doc.ic.ac.uk/deon02/
Ic.ac.uk ~ Site Info Whois Trace Route RBL Check

ISWC 2002
The International Semantic Web Conference. Sardinia, Italy; 10--12 June 2002.
http://iswc.semanticweb.org/
Semanticweb.org ~ Site Info Whois Trace Route RBL Check

NS2002
Nonstandard Methods and Applications in Mathematics. Pisa, Italy; 10--16 June 2002.
http://docenti.ing.unipi.it/~o18933/Pisa2002/
Unipi.it ~ Site Info Whois Trace Route RBL Check

21st Days of Weak Arithmetics
St.Petersburg, Russia; 7--9 June 2002.
http://logic.pdmi.ras.ru/jaf21/
Ras.ru ~ Site Info Whois Trace Route RBL Check

MFCSIT2002
Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology. National University of Ireland, Galway; 18--19 July 2002.
http://grobner.nuigalway.ie/MFCSIT2002/
Nuigalway.ie ~ Site Info Whois Trace Route RBL Check

CADE-18
The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.
http://floc02.diku.dk/CADE/
Diku.dk ~ Site Info Whois Trace Route RBL Check

CLIMA'02 - Computational Logic in Multi-Agent Systems
Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002.
http://centria.di.fct.unl.pt/~jleite/clima02/
Unl.pt ~ Site Info Whois Trace Route RBL Check

FLoC '02 - Federated Logic Conference
Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
http://floc02.diku.dk/
Diku.dk ~ Site Info Whois Trace Route RBL Check

ICLP'02
International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.
http://floc02.diku.dk/ICLP/
Diku.dk ~ Site Info Whois Trace Route RBL Check