Mathematical Logic around the world

According to Google, this is one of the most authoritative sources for mathematical logic on the web. Please help building the logic network. Send us links and add a link on your page: <A HREF="http://world.logic.at">Mathematical Logic around the world</A>

• 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