Mathematical Logic around the world

• Logic Preprints and Journals
• Logic Groups
  • Germany
  • USA
  • UK
  • Elsewhere
• Events
• Organizations
• Open Positions
• Other Links (including other lists of (not only) mathematical logic)
• Local Links & Add Me

Logic Preprints and Journals

• Mathematical logic & set theory Eprints @ Los Alamos XXX Mathematics Archive
• AMS: MathSciNet
• Handbook of Set Theory
• Set Theory Preprint Sites (by author)
  • Changes in "Set Theory Preprint Sites", an automated blog keeping track of changes in the preprint webpages of some people working in set theory.
• CLE e-Prints (Centre for Logic, Epistemology and the History of Science at UNICAMP)

• Advanced Studies in Mathematics and Logic
• Algebra and Logic
• Algebra Universalis
• Annals of Mathematics and Artificial Intelligence
• Annals of Pure and Applied Logic
• Archive for Mathematical Logic
• Australasian Journal of Logic
• Bulletin of Symbolic Logic
• Bulletin of the Section of Logic
• Dissertationes Mathematicae
• From the Logical Point of View
• Fundamenta Informaticae
• Fundamenta Mathematicae
• Fuzzy Sets and Systems
• History and Philosophy of Logic
• International Journal of Foundations of Computer Science
• International Journal of Mathematics and Computer Science
• Israel Journal of Mathematics
• Journal of Applied Logic
• Journal of Applied Non-Classical Logics
• Journal of Automated Reasoning
• Journal of Formalized Mathematics
• Journal of Logic and Computation
• Journal of Logic, Language and Information
• Journal of Mathematical Logic
• Journal of Multiple-Valued Logic and Soft Computing
• Journal of Philosophical Logic
• Journal of Symbolic Logic
• Logic Journal of the IGPL
• Logica Trianguli
• Logica Universalis
• Logique et Analyse
• Mathematical Logic Quarterly
• Nordic Journal of Philosophical Logic
• Notre Dame Journal of Formal Logic
• Philosophia Mathematica
• Reports on Mathematical Logic
• The Review of Symbolic Logic
• Smarandache Notions Journal
• Studia Logica
• The Australasian Journal of Logic
• Zentralblatt MATH

• Postal addresses for logic journals

Germany

• Aachen: Rheinisch-Westfälische Technische Hochschule
• Bonn: Rheinische Friedrich-Wilhelms-Universität
• Dresden: Technische Universität Dresden
• Freiburg: Albert-Ludwigs-Universität
• Heidelberg: Ruprecht-Karls-Universität
• Kiel: Christian-Albrechts-Universität
• Leipzig: Universität Leipzig
• Münster: Westfälische Wilhelms-Universität
• München: Ludwig-Maximilians-Universität
• Potsdam: Universität Potsdam
• Tübingen: Eberhard-Karls-Universität

USA

• California:
  • Stanford
  • UC Berkeley
  • UC Irvine: Logic & Philosophy, Mathematics and Logic
  • UCLA
• Delaware: University of Delaware
• Florida: University of Florida
• Illinois:
  • UI at Urbana-Champaign
  • UI at Chicago
• Indiana:
  • Indiana University
  • University of Notre Dame
• Massachusetts: MIT
• Michigan: University of Michigan
• Minnesota: University of Minnesota
• New Jersey: Rutgers University
• New York: Logic in the New York area
• Ohio: Ohio State University
• Pennsylvania:
  • Carnegie Mellon University
  • Pennsylvania State University
  • University of Pennsylvania (Logic and Computation Group)
  • University of Pennsylvania (Logic, Information, and Computation Program)
• Wisconsin: University of Wisconsin

UK

• Leeds: University of Leeds
• London: King's College
• London: Queen Mary and Westfield College
• Manchester: University of Manchester
• Norwich: University of East Anglia
• Oxford: Oxford University

Elsewhere

• Australia, Canberra: Australian National University
• Austria, Vienna: University of Vienna
• Austria, Vienna: Vienna University of Technology
• Belgium, Louvain: University of Louvain
• Belgium, Mons: University of Mons-Hainaut
• Brazil, Campinas: Universidade Estadual de Campinas
• Brazil, Florianópolis: Universidade Federal de Santa Catarina
• Brazil, Recife: Universidade Federal de Pernambuco
• Bulgaria, Sofia: Sofia University "St. Kliment Ohridski"
• Canada, Calgary: University of Calgary
• Canada, Hamilton: McMaster University
• Canada, Saskatoon: University of Saskatchewan
• Colombia, Bogota: Universidad Nacional de Colombia
• Czech Republic, Prague: Academy of Sciences of the Czech Republic
• Czech Republic, Prague: Charles University
• Finland, Helsinki: University of Helsinki
• France, Lyon: Institut Girard Desargues
• France, Paris: Universite Paris 7
• Greece, Athens/Patras: MPLA - Logic, Algorithms and Computation
• Israel, Haifa: Logic in Israel
• Italy, Florence University of Florence
• Italy, Salerno: University of Salerno
• Italy, Siena: University of Siena
• Japan, Kobe: Kobe University
• Japan, Nagoya: Nagoya Set Theory Seminar
• Netherlands, Amsterdam: Dutch Research School in Logic
• Netherlands, Amsterdam: University of Amsterdam
• New Zealand, Wellington: Victoria University
• Poland, Bialystok: University in Bialystok
• Poland, Warsaw: Warsaw University
• Portugal, Lisbon: Instituto Superior Técnico
• Portugal, Lisbon: Universidade de Lisboa
• Russia, Moscow: Moscow State University
• Russia, Moscow: Russian Academy of Sciences
• Russia, St.Petersburg: Steklov Institute of Mathematics
• Spain, Barcelona: Universitat de Barcelona
• Sweden, Uppsala: Uppsala University
• Switzerland, Neuchâtel: Institut de Logique, CdRS

Events

Series:

• Appalachian set theory
• ASL Meetings
• European Summer School in Logic, Language and Information (ESSLLI)
• IEEE Symposium on Logic in Computer Science (LICS)
• Mid-Atlantic Mathematical Logic Seminar
• Set theory and its neighbours
• Workshops on Logic, Language, Information and Computation (WoLLIC)

Events by date:

2008

• Second Indian Winter School on Logic Indian Institute of Technology (IIT), Kanpur; January 14-26, 2008.
• Workshop on On Logic and Philosophy of Logic, Buenos Aires, May 6-7, 2008
• Workshop in Proof Theory and PohlersFest, Münster, July 17-18, 2008.

Organizations

• Association for Logic Programming
• Association for Symbolic Logic
• Associazione Italiana di Logica e sue Applicazioni
• Belgian National Center of Research in Logic
• British Logic Colloquium
• COMPULOG Americas
• Computability in Europe (CiE) Network
• Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften
• Association for Logic in India
• Interest Group in Pure and Applied Logics (IGPL)
• Kurt Gödel Society
• Swiss Society for Logic and Philosophy of Sciences
• The European Association for Logic, Language and Information (FoLLI)
• Brazilian Logic Society

Open Positions

• Marie Curie PhD funding (short and long term): Leeds, Manchester, Lyon 1, Lyon ENS, Munich

Other Links

• Research groups in Logic and Theoretical Computer Science
• Logicians
• Set Theorists: 1 2
• Recursion / Computability Theorists
• open directory project Science/Math/Logic and Foundations
• Mathematical Logic, Philosophical Logic and Theoretical Computer Science
• What is mathematical logic?
• What is set theory?
• Yahoo! Science/Mathematics/Logic
• Yahoo! Science/Mathematics/Web Directories

• Newsgroup sci.logic

• Beginnings of Set Theory
• History of Mathematics
• History of Logic (19th century)
• Computability Logic
• Formalization of ancient logic
• Mathematical logic and foundations
• Foundations of Mathematics
• Foundations of Mathematics
• Logic Notation on the Web
• LaTeX for logicians
• Modal logics
• Finite Model Theory
• Foundations of Mathematics mailing list
• Modern Logic
• New Foundations
• Metamath Home Page
• Polyvalued logic
• Proof-Complexity mailing list
• Belief Revision
• ProvenMath — Everything Proven From Axioms
• Shelah's papers
• Transparent Intensional Logic
• Bucephalus on constructive logic

• Bibliography of Mathematical Logic and Related Fields
• Logic and Its Applications (book series by de Gruyter)
• Perspectives in Mathematical Logic (book series by Springer)
• Studies in Logic and the Foundations of Mathematics
• UMI (order theses)
• Summa logicae (library of books and software)
• International Olympiad in Mathematical Logic, a game for predicate logic (Java required)

• links to this page

• Mathematical Logic Group at the University of Bonn (links to our group)
• Department of Mathematics
• University of Bonn

• Institute for Logic at the University of Vienna (links to our group)
• Faculty of Science and Mathematics
• University of Vienna