fil.unb.br
Corpo Docente
http://www.fil.unb.br/corpo-docente
Portal do Governo Brasileiro. Atualize sua Barra de Governo. Ir para o conteúdo. Ir para navegação principal e entrada. Instituto de Ciências Humanas. O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo. " O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo. Alex Sandro Calheiros de Moura. Site: http:/ costaleite.info. André Luis Muniz Garcia. O endereço de e-mail address está sen...
aiml.net
AiML: Who is Who
http://aiml.net/whoswho.html
School of Computer Science and IT, University of Nottingham. Nottingham NG7 2RD, UK. Aring;qvist, Lennart. Department of Law, Uppsala University. Box 512, 751 20 Uppsala, Sweden. E-mail: Lennart.Aqvist@jur.uu.se. Langue et Dialog (LED), INRIA Lorraine. 615, rue du Jardin Botanique 54602 Villers lès Nancy Cedex, France. Graduate Center of the City University of New York. 365 Fifth Avenue, rm 4319, New York, NY 10016, USA. Department of Philosophy, University of Bologna. D-01062 Dresden, Germany. Plantage ...
scandinavianlogic.org
List of members | the scandinavian logic society
http://www.scandinavianlogic.org/list-of-members
Skip to main content. The scandinavian logic society. Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg. Http:/ www.cse.chalmers.se/ aarne/. Type Theory, Computational Linguistics, Functional Programming. Arabic Logic, Cognitive Sciences, Pedagogical Studies. Http:/ www.helsinki.fi/ pietarin/. Philosophical logic, Logic and Language, Logic and Cognition, History and Philosophy of Logic. Http:/ www.fmi.uni-sofia.bg/fmi/logic/asoskova/. Universit...
sqig.math.tecnico.ulisboa.pt
SQIG at IT
http://sqig.math.tecnico.ulisboa.pt/guests
The Group (formerly as CLC. Maintains an intensive guest program, including the following visitors (talks as indicated):. Vasco T. Vasconcelos. FC - U Lisboa,. Type-based verification of message-passing parallel programs, 21.11.14. UFRN, Brazil,. Interval mathematics: Its applications in fuzzy logic and its limitations, 25.07.14. UFRN, Brazil,. About fuzzy and interval-valued fuzzy negation, 25.07.14. PUV, Brazil,. University of Southern Denmark, Denmark,. Sanderson Molick, UFRN, Brazil,. UFRJ, Brazil,.