Search for
Home > Science > Math > Logic and Foundations >

New! Submit a site
BLC (5) Past Conferences (114)
Calendars (6) Series (16)
Logic Colloquium (8)  

whatUseek Collection Sites (submit a site ):
Give your site great placement in this category in as little as two business days!

whatUseek Directory Site Listings:
ACL2-2002 - Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.
FLoC '02 - Federated Logic Conference - Seven concurrent meetings will be held. Copenhagen, Denmark; July 2002.
FOTFS III - Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001.
Fourth International Tbilisi Symposium on Language, Logic and Computation - Borjomi, Georgia; 23--28 September 2001.
Fuzzy Sets and Fuzzy Systems (FSFS '02) - Interlaken, Switzerland; 11--15 February 2002.
ICLP'01 - Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.
International Workshop on Computability Theory - S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001.
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.
LPAR 2001 - 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001.
Logic of Soft Computing - Gargnano, Italy; 19--24 November 2001.
Logic-Based Program Synthesis - AAAI 2002 Spring Symposium. Stanford University, CA, USA; 25--27 March 2002.
Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics - University of New Mexico; 1--3 December 2001.
Relmics 6 - Relational Methods in Computer Science. Conference Centre Boschoord, Oisterwijk (near Tilburg), the Netherlands; 16--21 October 2001.
Springer Forthcoming Proceedings 2001 - LNCS/LNAI Forthcoming Proceedings 2001: A list of conferences the proceedings of which are to be published in LNCS/LNAI. Includes a number of meetings in Logic.
Weighted Automata: Theory and Applications - Dresden, Germany; 4--8 March 2002.
Workshop on Model Theory - Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek