- Australian National University - Automated Reasoning Group
- Part of the Research School of Information Science and Engineering of the ANU. Research involves non-classical logics, the algorithms for reasoning in various systems, and applications of logical reasoning in Artificial Intelligence and Software Engineering.
- Ben Gurion University of the Negev - Mathematical and Computational Logic Group
- Conducts research in set theory, model theory, general topology, Boolean algebras, and in theoretical computer science, concurrency, logic programming and lambda calculus.
- Kobe University, Group of Logic, Statistics & Informatics
- Based in Japan. Includes list of members, news, research area, meetings and lectures.
- The Leeds Logic Group
- Research in computability theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science.
- Logic at Bogota, Colombia
- Members are based either at the Universidad Nacional de Colombia, or at the Universidad de los Andes. Includes list of members, and schedules of seminars and talks.
|