Institute for Logic, Language and Computation
- Institute for Logic, Language and Computation
The Institute for Logic, Language, and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate.
ILLC's central research area is the study of fundamental principles of encoding, transmission and comprehension of information. Emphasis is on natural and formal languages, but other information carriers, such as images and music, are studied as well.
Research at ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such as logic, mathematics, computer science, computational linguistics, cognitive science, artificial intelligence, and philosophy.
In addition to its research activities, the ILLC is running the Graduate Programme in Logic (GPiL) with a PhD programme and the MSc in Logic, an international and interdisciplinary MSc degree in logic ( [http://www.illc.uva.nl/MScLogic GPiL webpage] ).
History
The ILLC started off in 1986 as ITLI, the Instituut voor Taal, Logica en Informatie (Institute for Language, Logic and Information). In the beginning, it was an informal association of staff members from the Faculty of Mathematics and Computer Science and the Faculty of Philosophy, and was joined by computational linguists from the Faculty of Humanities in 1989.
In 1991 the institute was officially established as a University Research Institute. During 1991–1996 the programming research group of the Faculty of Mathematics and Computer Science was also part of the institute. The Applied Logic Lab (Faculty of Social Sciences) joined ILLC in 1996. Other groups in computer science and cognitive science have associated themselves with the institute in 1996.
Members
* Johan van Benthem
* Jeroen Groenendijk
* Dick de Jongh (retired 2004)
* Martin Stokhof
* Henkjan Honing
* Remko Scha
External links
* [http://www.illc.uva.nl/ ILLC website]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Dick de Jongh — Dick H. J. de Jongh (born 1939) is a Dutch logician and mathematician and a retired professor at the University of Amsterdam. He received his PhD degree in 1968 from the University of Wisconsin–Madison under supervision of Stephen Kleene with a… … Wikipedia
Johan van Benthem (logician) — Johannes Franciscus Abraham Karel (Johan) van Benthem (born June 12 1949, Rijswijk) is a University Professor ( universiteitshoogleraar ) of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor… … Wikipedia
Martin Löb — Martin Hugo Löb (31 March 1921, Berlin 21 August 2006, Annen) was a German mathematician. He settled in the United Kingdom after the Second World War and specialised in mathematical logic. He moved to the Netherlands in the 1970s, where he… … Wikipedia
Keith Stenning — is a cognitive scientist and professor at the University of Edinburgh in Scotland, UK. He received a Bachelor s degree in philosophy and psychology at the University of Oxford [Brendan McGonigle was once one of his tutors.] in 1969, and a PhD in… … Wikipedia
Michiel van Lambalgen — is a professor of Logic and Cognitive Science at the Institute for Logic, Language and Computation and the Department of Philosophy, University of Amsterdam in the Netherlands.[1] In the 1980s van Lambalgen did research in randomness,[2] but… … Wikipedia
A. S. Troelstra — Anne Sjerp Troelstra (born August 10, 1939 at Maartensdijk (Utrecht), The Netherlands) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of… … Wikipedia
Jeroen Groenendijk — is a Dutch logician and philosopher, working on philosophy of language, formal semantics, pragmatics, and semantics of questions. He is a member of the ILLC, which stands for the Institute for Logic, Language and Computation at the University of… … Wikipedia
Martin Löb — Martin Hugo Löb (* 31. März 1921 in Berlin; † 21. August 2006 in Annen, Drenthe) war ein deutscher Mathematiker. Er arbeitete im Bereich der mathematischen Logik und veröffentlichte 1955 den nach ihm benannten Satz von Löb, dem eine analoge… … Deutsch Wikipedia
