FLoC '02 - Federated Logic Conference - Seven concurrent meetings will be held. Copenhagen, Denmark; July 2002.

CSL'02 - Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.

MFCSIT2002 - Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology. National University of Ireland, Galway; 18--19 July 2002.

Model Theory 2002 - A regional meeting of the LMS followed by a short conference on Model Theory. School of Mathematics, University of Birmingham, UK; 27 February -- 2 March 2002.

Springer Forthcoming Proceedings 2002 - A list of conferences the proceedings of which are to be published in LNCS/LNAI. Includes a number of meetings in Logic.

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.

PILM 2002 - Philosophical Insights into Logic and Mathematics: The History and Outcome of Alternative Semantics and Syntax. Nancy, France; 30 September -- 4 October 2002.

WoPaLo - Workshop in Paraconsistent Logic, part of the 14th European Summer School in Logic, Language and Information. Trento, Italy; 5--9 August 2002.

TABLEAUX 2002 - Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 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.

DEON'02 - Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK; 22--24 May 2002.

ICLP'02 - International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.

Weighted Automata: Theory and Applications - Dresden, Germany; 4--8 March 2002.

On the Foundations of Mathematics - Conference in honor of Jan Mycielski. University of Colorado at Boulder, USA; 1--2 June 2002.

BEST-11 - Boise Extravanagza in Set Theory. Department of Mathematics, Boise State University, Idaho, USA; 29--31 March 2002.

FroCoS'2002 - 4th International Workshop on Frontiers of Combining Systems . Santa Margherita Ligure, Genova, Italy; 8--10 April 2002.

NMR'2002 - 9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002.

TPTS - Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002.

CADE-18 - The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.

LOGICA 2002 - 16th in the series organized by The Institute of Philosophy, Academy of Sciences, Czech Republic. Castle Zahrádky; 18--21 June 2002.

21st Days of Weak Arithmetics - St.Petersburg, Russia; 7--9 June 2002.

RTA'02 - 13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002.

SSS-02 - Logic-Based Program Synthesis: State-of-the-Art and Future Trends. AAAI 2002 Spring Symposium. Stanford University, Palo Alto, CA, USA; 25--27 March 2002.

ADD'2002 - SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002.

TIME-2002 - 9th International Symposium on Temporal Representation and Reasoning Symposium. Manchester, UK; 7--9 July, 2002.

ISWC 2002 - The International Semantic Web Conference. Sardinia, Italy; 10--12 June 2002.

Bounded Arithmetic and Complexity Classes (BACC2002) - Lisbon, Portugal; 28--29 June 2002.

Algorithms and Complexity Day - Department of Computer Science, University of Warwick, UK; 3 May 2002.