Institutions:
See also:
(Australia) Canberra - Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
(Colombia) Bogotá - Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
(Israel) Ben Gurion University of the Negev - Mathematical and Computational Logic Research Group.
(Israel) Haifa - Logic Seminar.
(Japan) Kobe - Foundations of Mathematics and Computer Science.
Logic at Leeds Homepage - Information on the Leeds University Logic Group
Institutions
| This category in other languages: | ||
| ||
Suggested link
|
Guide to the Soccer Web Soccer clubs and associations all over the world. Betting, chats, forums, movies, shopping and video games on soccer. Soccer for disabled, kids and teens, women and youths. FIFA, CAF, AFC and UEFA. Official and unofficial competitions. www.soccertime.net |
