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.
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.
http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html
Mathematical and Computational Logic Research Group.
http://www.cs.technion.ac.il/~admlogic/ltechnion.html
Logic Seminar.
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