Conferences

Conferences

• Calendars
• Past Conferences
• Series

Conferences

• BLC
• ESSLLI
• Logic Colloquium
• WoLLIC

Conferences Related Topics

• Top: Computers: Computer Science: Conferences
• Top: Science: Conferences
• Top: Science: Math: Events

Conferences Links

• GETCO 2001 3rd workshop on Geometric and Topological Methods in Concurrency. In conjunction with CONCUR'01. Aalborg University, Denmark; 25 August 2001.
  
• Algebra and Discrete Mathematics A Euresco conference on the interplay between model theory, infinite combinatorics and various subfields of algebra. Hattingen, Germany; 18 -- 23 August 2001.
  
• ILP 2001 Eleventh International Conference on Inductive Logic Programming. Co-located with the Third International Workshop on Learning Language in Logic. Strasbourg, France; September 8--9, 2001.
  
• FLoC '02 - Federated Logic Conference Seven concurrent meetings will be held. Copenhagen, Denmark; July 2002.
  
• ACL2-2002 Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.
  
• Fourth International Tbilisi Symposium on Language, Logic and Computation Borjomi, Georgia; 23--28 September 2001.
  
• CSL'01 Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.
  
• PLI 2001 Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 September 2001.
  
• International Workshop on Computability Theory S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001.
  
• LPNMR'01 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.
  
• Coordination and Action Workshop in conjunction with ESSLLI 2001. Helsinki, Finland; 13--25 August 2001.
  
• 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.
  
• Relmics 6 Relational Methods in Computer Science. Conference Centre Boschoord, Oisterwijk (near Tilburg), the Netherlands; 16--21 October 2001.
  
• MFCS 2001 26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 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.
  
• Workshop on Model Theory Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.
  
• Weighted Automata: Theory and Applications Dresden, Germany; 4--8 March 2002.
  
• LICS 2002 LICS 2002 will be part of the 2002 Federated Logic Conference (FLoC 2002). Copenhagen, Denmark; 20 July -- 1 August 2002.
  
• Foundational Theories in Mathematics Department of Mathematics, University of Trento, Italy; 3--7 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.
  
• Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics University of New Mexico; 1--3 December 2001.
  
• Logic of Soft Computing Gargnano, Italy; 19--24 November 2001.
  
• LCCS 2001 International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5 September 2001.
  
• FCT 2001 13th International Symposium on Fundamentals of Computation Theory. University of Latvia, Riga, Latvia; 22--24 August 2001.
  
• FOTFS III Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001.
  
• LPAR 2001 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001.
  
• ICLP'01 Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.
  
• Logic-Based Program Synthesis AAAI 2002 Spring Symposium. Stanford University, CA, USA; 25--27 March 2002.
  
• Fuzzy Sets and Fuzzy Systems (FSFS '02) Interlaken, Switzerland; 11--15 February 2002.
  
• LLL 2001 3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.
  
• FICS'2001 Fixed Points in Computer Science A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.