Logic and Set Theory Organizations

$Logic and Set Theory$

Organizations

Association for Symbolic Logic (ASL)
American Philosophical Association (APA)
Logic in Computer Science (LICS)
Kurt Godel Society (KGS)
Institute for Logic, Language and Computation (ILLC) at University of Amsterdam

Groups

Bonn's Mathematical Logic Around the World
Ben Gurion University Mathematical and Computational Logic Research Group
Logic in Bogata
Carnegie Mellon --- Pure and Applied Logic
Indiana University (Philosophy, Computer Science, Mathematics, Cognitive Science)
Program in Pure and Applied Logic, Grad admissions to CS, Formal Methods Educational Materials
Israel --- Logic in Israel
Hungary --- Set Theory and Topology Research Group at Budapest, Hungary
Kobe University Foundations of Mathematics and Computer Science
University of Minnesota's Mathematical Logic, Constructive Mathematics, Set Theory, Recursion Theory
Penn State --- Research in Mathematical Logic
Logic at TU Wien
U of Barcelona --- Department of Logic, History and Philosophy of Science
UC Berkeley --- Group in Logic and the Methodology of Science
UCLA --- Logic and set theory
U. of Florida --- Logic and set theory
University of Helsinki --- The Helsinki Logic Group
U. of Illinois Urbana-Champaign --- Logic
U. of Michigan --- Logic and Foundations
University of Munich --- Mathematical Logic at LMU
University of Paris I (Pantheon-Sorbonne) --- UFR de Philosophie --- Séminaire de Philosophie des Mathématiques et de l'Informatique
University of Paris VII (Jussieu) --- L'Equipe de Logique Mathématique
University of Vienna Institute for Logic
Uppsala University --- Mathematical Logic
WWU Münster Mathematik: Institut für mathematische Logik und Grundlagenforschung

Conferences and Seminars

AMS Special Sessions
- Topology and its Applications, January 6-9, 2002, San Diego (annual joint meeting), announced by the Topology Atlas
ASL Meetings
ASL Sponsored Meetings
Boise Extravaganza in Set Theory (BEST)
6th Barcelona Logic Meeting (July 6-8, 2000) at Centre de Recerca Matematica CRM
Centre International de Rencontres Mathematiques CIRM (Luminy)
Foundations of the Formal Sciences
- Complexity in mathematics and computer science September 21-24, 2001 at U Vienna
Mathematisches Forschungsinstitut Oberwolfach
XI Latin American Symposium on Mathematical Logic (July 6-10, 1998, Merida, Venezuela)
Seventh Asian Logic Conference June 6-10, 1999 in Taiwan
Prague Logic Seminar
Set theory and its neighbors
British Logic Colloquium 1999 September 23-25, 1999, U. Wales, Gregynog
LICS (Logic in Computer Science)
1999 Greater Boston Logic Meeting May 14-16, 1999, Boston
Infinite Combinatorics and their Impact on Algebra June 26-July 2, 1999, Hattingen, Germany (near Essen).
Paul Erdos and his Mathematics July 4-11, 1999, Budapest
2nd Panhellenic Logic Symposium July 13-17, 1999, Delphi
Topology Atlas sponsored meetings
- AMS Special Session in Topology and its Applications, Jan. 6-9, San Diego
- Topology in Matsue, June 24-28, 2002, Japan

Some fun stuff

Venn Diagrams

For further information, contact J. Larson at jal@math.ufl.edu

| UF Math Department | UF Philosophy Department | UF CISE Department | updated Feb. 4, 2000