Математическая логика во всем мире

[mp_gratchev]

К сожалению, чего-либо подобного, только уже в отношении диалектической логики, привести нельзя.

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:
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
• 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
• 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
• 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
• 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 Universidad Nacional de Colombia
• Colombia, Bogota:
• 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
• 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
• 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:
2007

• Combination of Logics, Neuchвtel, Switzerland; July 4.
• 2nd World Congress and School on Universal Logic, Xi'an, China; August 16--22, 2007
• Journйes Jean-Yves Girard Institut Henri Poincarй, Paris, France; September 10-11, 2007
• Fall school of Logic & Complexity, Trest, Czech Republic; 16-22 September 2007

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
• 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

Please note that all links should be relevant to mathematical logic rpt mathematical logic, it may not be the main focus, though. If Your page is appropriate for this table, please let us know.



© Boris 'pi' Piwinger, 2004.
Now maintained by Martin Goldstern