Logic and Foundations
Submit a site
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:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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