Resource lists Boise Extravaganza in Set Theory conferences for current and past years. See a list of invited speakers and local destination details.

Find location and meeting times for this annual conference of the British Logic Colloquium. Provides registration and contact info.

Major international forum focuses on automated deduction and presents info on upcoming conferences and proceedings. Join the mailing list.

Read an overview, get info on lectures, and access registration forms for this conference held by ESSLLI.

Posts info for FLoC'02, a seven-part conference made up of workshops on automated deduction, computer-aided verification, logic programming, and related topics.

Conference called Formal Methods for Open Object-Based Distributed Systems posts past and upcoming event info. With links to research projects and program members.

Find details on ACL2-2002, a workshop focused on a state-of-the-art automated reasoning system. With paper submission guidelines and registration info.

German conference on logic theory posts tutorials and info on its one-hour talks. Submit an abstract or pre-register for upcoming events.

Provides a history, aim, and modus operandi for this International Workshop on Logic-based Program Synthesis and Transformation. Get free copies of past proceedings.

Get registration, accommodation, and tourist information for the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology.

University of Birmingham in the UK holds a regional meeting and conference on Model Theory at its School of Mathematics. See dates and a list of participants.

Series of one day conferences is an informal discussion on measure theory and set theory. See a list of speakers and topics for upcoming and past events.

Learn about the annual International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Find a list of dates, topics, and committee members.

Official homepage for the Theoretical Aspects of Rationality and Knowledge bi-annual conference posts its mission statement and invites paper submissions.

Features a workshop on all aspects of weighted automata that includes tutorials and survey lectures. Check deadlines for registration and paper submissions.

Workshop held in Brasilia, Brazil posts abstracts of invited talks, tutorial lectures, and general program information.