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

Conferences
New! Submit a site
 
Categories:
BLC (5) Past Conferences (114)
Calendars (6) Series (16)
ESSLLI (4) WoLLIC (7)
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