Search
The Directory
The Web
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