Welcome to our Web site. ILLC's roots go back to 1986. The institute was founded to further the scientific study of the structure, modification and transmission of information. Currently, the groups participating in ILLC are based at the Faculty of Mathematics, Computer Science, Physics, and Astronomy, the Faculty of Humanities, and the Faculty of Social Sciences, all at the University of ...
Home page dell'Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche ...
Welcome to the CLIP Lab at DIA and DLSIIS / FIM / UPM The Computational Logic, Implementation, and Parallelism Lab Brief group description Group members Our Publications by Research Topic and by Year (see also our older FTP Reports Archive) Downloadable software developed at CLIP (and documentation) Ciao Prolog System Version 1.8 released Information on current and past research Projects ...
Welcome to www.logic.at Institut fur Computersprachen (E185, E185-2) Institut fur Computersprachen (E185) AG Theoretische Informatik und Logik (E185-2) KGS (Kurt G del Society) VGML (Vienna Group for Multiple-Valued Logics) FWF Project Automated Model Building with Equality Teaching, TU Lehrveranstaltungen E185-2 Bakkalaureats- und Magisterstudien der Informatik (neu) Studium Informatik Studium ...
Home Members Events Writings Contact & Links Research Studenten Welcome to the homepage of the Centre for Logic and Philosophy of Science, a subdivision of the Philosophy and Moral Science Department at Ghent University, Belgium. Last update: September 2001. visiting scholar upcoming events ...
Diese Seite auf RWTH Aachen Department of Mathematics | Department of Computer Science ...
www-mgi.informatik.rwth-aachen.de
Institute for Logic at the University of Vienna ...
Laboratory of Mathematical Logic Staff Our activities Seminars Web pages devoted to Hilbert's Tenth Problem Relevant links Laboratory of Mathematical Logic belongs to Steklov Institute of Mathematics at St.Petersburg ...
The Helsinki Logic Group University of Helsinki Logiikan opetus Logic Colloquium 2003 in Helsinki Introduction - Members - Research - Publications - Links - Contact Info The Helsinki Logic Group is a team of logicians that has gathered in the Department of Mathematics of the University of Helsinki during the past ten years. The main topics of research are: (1) Finite Model Theory - generalized ...
www.logic.math.helsinki.fi
Arche is a Research Centre in The School of Philosophical and Anthropological Studies The University of St Andrews. Funding for Arche is provided by Arche Postdoctoral Fellowships   top of page home sponsors | research projects mission | news | people | conferences outcomes | bibliographies | fellowships | contact information Back to the Philosophy Departments at St Andrews ...
www.st-andrews.ac.uk/academic/philosophy/arche
Arbeitsgruppe Mathematische Logik und Theoretische Informatik Leitung: Prof. Dr. Klaus Ambos-Spies Sekretariat: Elke Luksch Anschrift: Mathematisches Institut Tel. + 49 6221 - 54 8204 Im Neuenheimer Feld 294 Fax + 49 6221 - 54 4465 D-69120 Heidelberg email: logic@math.uni-heidelberg.de Allgemeines / Aktuelles Personen - Lageplan www-Seiten zur Vorlesung Lineare Algebra 1 von Prof. Gloede Lehre ...
www.math.uni-heidelberg.de/logic
www.cwi.nl/ERCIM/WG/Constraints
People Research Areas MPhil/PhD Opportunities Taught Postgraduate Programmes Other Research Groups Applied Numerical Analysis Pure Statistics Logic Seminars Logic Links DEPARTMENT of MATHEMATICS Mathematical Logic Welcome to the Logic Group The staff of the Logic Group currently comprise four permanent members of staff and one temporary lecturer: Professor Peter Aczel, Professor Jeff Paris, Dr.
www.maths.man.ac.uk/DeptWeb/Groups/Logic/LogicResearch.html
Uppsala University| MIC| Department of Mathematics Mathematical Logic Department of Mathematics, Uppsala University Valkommen! Research profile The members of the group Graduate and undergraduate courses Stockholm-Uppsala logic seminar. Mittag-Leffler Seminar Logic servers world-wide, Uppsala Beurlingbiblioteket MathSciNet Some links Computing Science Department Institute for Information Science ...
www.ub.es/logica/Dpt-a.html
Logic seminar Mathematical Institute, Prague The logic seminars in the institute are organized continuously since early 1970's, first by Petr Hajek for more than twenty years, and since early 90's by Jan Krajicek . Regular participants include Pavel Pudlak , Jiri Sgall , Antonin Sochor and Vitezslav Svejdar. The seminars are conducted in English if a visitor not speaking Czech attends. Current ...
www.math.cas.cz/~krajicek/logika.html
Multi-Media and Education Website About Compulog Net Events HOT! Education Communications Computational Logic and the Internet ...
Back to the French page L'Equipe de Logique Mathematique (UMR 7056) CNRS - Universite Paris 7 Head: Daniel Lascar (lascar_at_logique.jussieu.fr) Deputy head: Elisabeth Bouscaren (elibou_at_logique.jussieu.fr) Secretary: Khadija Bayoud (bayoud_at_logique.jussieu.fr) office 5A51 at Chevaleret tel: 01 44 27 37 68 (from abroad) (33) 1 44 27 37 68) fax: 01 44 27 61 48 (from abroad (33) 1 44 27 61 48) ...
www.logique.jussieu.fr/index-english.html
This page gives a summary of the Mathematical Foundations Group in the Computer Science department at the University of Manchester and links to details of our various activities.
Deutsch Francais University of Freiburg Department of Mathematics and Physics Mathematical Institute Math-Net Guide Institute of Computer Science Mathematical Institute of the University of Freiburg - Section of Mathematical Logic - Department of Mathematics and Physics   General About Us (english) Visitor Service (english) Research Preprints and Theses (english) Research Reports (german) ...
logik.mathematik.uni-freiburg.de/index_en.html
University of Oxford Mathematical Institute Tel: +44 (0)1865 273525 Address: 24-29 St Giles', Oxford, OX1 3LB, UK Fax: +44 (0)1865 273583 The Mathematical Logic Group The Mathematical Logic group is part of the Mathematical Institute, at the University of Oxford. The interests of the group are diverse from geometric stability theory, model theory of fields to o-minimal structures. See individual ...
Set Theory and Topology Research Group at Budapest, Hungary Laszló Csirmaz , (csirmaz@renyi.hu) Janos Gerlits , (gerlits@renyi.hu ) Istvan Juhasz , (juhasz@renyi.hu ) Peter Komjath, (kope@cs.elte.hu ) Zsigmond Nagy , (zsiga@renyi.hu ) Lajos Soukup , (soukup@renyi.hu ) Zoltan Szentmikl ssy , (szentmiklossy@renyi.hu ) Recent Prepints and Papers J. Roitman, L. Soukup : Luzin and anti-Luzin ...
www.math-inst.hu/pub/setop/setop.html
SEMINAR IN LOGIC Version francaise: Contents Presentation of the seminar Practical infos (to assist, to be informed). The schedule of talks at the seminar Year 1996 Year 1997 Year 1998 Presentation of the Logic seminar at Paris 1 University This seminar is organized at the Philosophy department of Pantheon-Sorbonne University (Paris 1) by members of the pedagogic team in charge of the Logic ...
www-philo.univ-paris1.fr/engsemP1.html