 | This articledoes notcite anysources. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged andremoved. Find sources: "Institute for Logic, Language and Computation" – news ·newspapers ·books ·scholar ·JSTOR(March 2015) (Learn how and when to remove this message) |
Former names | Instituut voor Taal Logica en Informatie |
|---|---|
| Established | 1991; 34 years ago (1991) |
| Director | Robert van Rooij |
| Address | Science Park 107 ,,1098 XG , |
| Website | illc |
 | |
TheInstitute for Logic, Language and Computation (ILLC) is aresearch institute of theUniversity of Amsterdam, in which researchers from the Faculty ofScience and the Faculty ofHumanities collaborate. The ILLC's central research area is the study of fundamental principles ofencoding,transmission andcomprehension ofinformation. Emphasis is onnatural andformal languages, but other information carriers, such as images andmusic, are studied as well.
Research at the ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such aslogic,mathematics,computer science,computational linguistics,cognitive science,artificial intelligence, andphilosophy. It is organized in the three groupsLogic & Computation (project leader: Yde Venema),Logic & Language (project leader: Robert van Rooij), andLanguage & Computation (project leader: Jelle Zuidema) united by the key themesExplainable and Ethical AI,Interpretable Machine Learning for Natural Language Processing,Cognitive Modelling,Logic, Games and Social Agency andQuantum Information and Computation. The ILLC is involved in several international collaborations among which we highlight the Joint Research Centre for Logic (JRC), a special collaborative partnership betweenTsinghua University and the University of Amsterdam.
In addition to its research activities, the ILLC is running theGraduate Programme in Logic with a PhD programme and theMSc in Logic, an international top-ranked and interdisciplinary MSc degree in logic (MSc Logic webpage). In September 2018, the institute opened the Minor in Logic and Computation, welcoming local and international bachelor students. The programme of the Minor in Logic and Computation consists of 30 EC, chosen from a list of high-profile courses organised according to four themes: Mathematics, Philosophy, Theoretical Computer Science, and Computational Linguistics and AI.
The ILLC started off in 1986 asInstituut voor Taal, Logica en Informatie (ITLI; Institute for Language, Logic and Information). In the beginning, it was an informal association of staff members from the Faculty ofMathematics andComputer Science and the Faculty ofPhilosophy, 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 from the Faculty of Social Sciences was part of the ILLC from 1996 to 2003. Other groups in computer science and cognitive science have associated themselves with the institute in 1996.
The ILLC is rooted in the Amsterdam logic research tradition dating back to the early twentieth century (including researchers such asL.E.J. Brouwer,Arend Heyting, andEvert Willem Beth). It considers Beth'sInstituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (founded in 1952) as its precursor.
| Name | Term of office | |
|---|---|---|
| 1st Director | Johan van Benthem | 1991-1998 |
| 2nd Director | Martin Stokhof | 1998-2003 |
| 3rd Director | Frank Veltman | 2003-2009 |
| 4th Director | Jeroen Groenendijk | 2009 |
| 5th Director | Leen Torenvliet | 2009-2011 |
| 6th Director | Yde Venema | 2011-2016 |
| 7th Director | Sonja Smets | 2016-2021 |
| 8th Director | Robert Van Rooij | since 2021 |
Other notable members and past members include:
52°21′20″N4°57′01″E / 52.3555°N 4.9504°E /52.3555; 4.9504
Rector magnificus:Peter-Paul Verbeek | |||||||||||||||
| Campus |
|  | |||||||||||||
| Faculties |
| ||||||||||||||
| People | |||||||||||||||
| Others |
| ||||||||||||||
| International | |
|---|---|
| National | |
| Other | |
