Directory of Research Groups and Centers Resources

Home > Science > Math > Logic and Foundations > Research Groups and Centers

Most research activities will either occur in academic departments or in research institutes (which may either be in universities or external). Both of these are included in this category.

Subcategories

• Europe
• North America

Resources in This Category

• (Australia) Canberra

  http://logic.cecs.anu.edu.au/
  Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.

• (Israel) Ben Gurion University of the Negev

  http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html
  Mathematical and Computational Logic Research Group.

• (Israel) Haifa

  http://www.cs.technion.ac.il/~admlogic/ltechnion.html
  Logic Seminar.

Related Categories

• Home > Science > Math > Academic Departments
• Home > Science > Math > Algebra > Category Theory > Research Groups

Other Languages

• French

 

Home > Science > Math > Logic and Foundations > Research Groups and Centers

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us