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

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

LPNMR'01
6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.
http://www.kr.tuwien.ac.at/lpnmr01/
Tuwien.ac.at ~ Site Info Whois Trace Route RBL Check

Fourth International Tbilisi Symposium on Language, Logic and Computation
Borjomi, Georgia; 23--28 September 2001.
http://www.illc.uva.nl/Borjomi/
Uva.nl ~ Site Info Whois Trace Route RBL Check

WFLP 2001
International Workshop on Functional and (Constraint) Logic Programming, comprising the 10th International Workshop on Functional and Logic Programming and the 16th Workshop on Logic Programming. Kiel, Germany; 13--15 September 2001.
http://www.informatik.uni-kiel.de/~wflp2001/
Uni-kiel.de ~ Site Info Whois Trace Route RBL Check

FOTFS III
Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001.
http://www.math.uni-bonn.de/people/fotfs/III/
Uni-bonn.de ~ Site Info Whois Trace Route RBL Check

International Workshop on Computability Theory
S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001.
http://math.nsc.ru/conference/malmeet/goncharov/
Nsc.ru ~ Site Info Whois Trace Route RBL Check

Workshop on Model Theory
Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.
http://www.imub.ub.es/events/wmt/
Ub.es ~ Site Info Whois Trace Route RBL Check

ICLP'01
Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.
http://www.cs.ucy.ac.cy/iclp2001/
Ucy.ac.cy ~ Site Info Whois Trace Route RBL Check

AC2001
The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.
http://www.illc.uva.nl/AC2001/
Uva.nl ~ Site Info Whois Trace Route RBL Check

Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics
University of New Mexico; 1--3 December 2001.
http://www.gallup.unm.edu/~smarandache/FirstNeutConf.htm
Unm.edu ~ Site Info Whois Trace Route RBL Check

ADMW01
3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London, UK; 5--6 November 2001.
http://www.dcs.kcl.ac.uk/research/groups/logic/ADMW01/
Kcl.ac.uk ~ Site Info Whois Trace Route RBL Check