Former names | Instituut voor Taal Logica en Informatie |
---|---|
Established | 1991 |
Director | Sonja Smets |
Address | Science Park 107 , , 1098 XG , |
Website | illc |
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. The 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 the 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. It is organized in the three groups Logic & Computation (project leader: Yde Venema), Logic & Language (project leader: Robert van Rooij), and Language & Computation (project leader: Jelle Zuidema) united by the key themes Explainable and Ethical AI, Interpretable Machine Learning for Natural Language Processing, Cognitive Modelling, Logic, Games and Social Agency and Quantum 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 between Tsinghua University and the University of Amsterdam.
In addition to its research activities, the ILLC is running the Graduate Programme in Logic with a PhD programme and the MSc 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 as Instituut 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 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 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 as L.E.J. Brouwer, Arend Heyting, and Evert Willem Beth). It considers Beth's Instituut 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:
Cognitive science is the interdisciplinary, scientific study of the mind and its processes. It examines the nature, the tasks, and the functions of cognition. Cognitive scientists study intelligence and behavior, with a focus on how nervous systems represent, process, and transform information. Mental faculties of concern to cognitive scientists include language, perception, memory, attention, reasoning, and emotion; to understand these faculties, cognitive scientists borrow from fields such as linguistics, psychology, artificial intelligence, philosophy, neuroscience, and anthropology. The typical analysis of cognitive science spans many levels of organization, from learning and decision to logic and planning; from neural circuitry to modular brain organization. One of the fundamental concepts of cognitive science is that "thinking can best be understood in terms of representational structures in the mind and computational procedures that operate on those structures."
Cognitive science is the scientific study either of mind or of intelligence . Practically every formal introduction to cognitive science stresses that it is a highly interdisciplinary research area in which psychology, neuroscience, linguistics, philosophy, computer science, anthropology, and biology are its principal specialized or applied branches. Therefore, we may distinguish cognitive studies of either human or animal brains, mind and brain
An academic discipline or field of study is a branch of knowledge, taught and researched as part of higher education. A scholar's discipline is commonly defined by the university faculties and learned societies to which they belong and the academic journals in which they publish research.
The UCPH Department of Computer Science is a department in the Faculty of Science at the University of Copenhagen (UCPH). It is the longest established department of Computer Science in Denmark and was founded in 1970 by Turing Award winner Peter Naur. As of 2021, it employs 82 academic staff, 126 research staff and 38 support staff. It is consistently ranked the top Computer Science department in the Nordic countries, and in 2017 was placed 9th worldwide by the Academic Ranking of World Universities.
The Vrije Universiteit Amsterdam is a public research university in Amsterdam, Netherlands, founded in 1880, and consistently ranks among the top 150 universities in the world by major ranking tables. The VU is one of two large, publicly funded research universities in the city, the other being the University of Amsterdam (UvA). The literal translation of the Dutch name Vrije Universiteit is "Free University". "Free" refers to independence of the university from both the State and the Dutch Reformed Church. Both within and outside the university, the institution is commonly referred to as "the VU". Although founded as a private institution, the VU has received government funding on a parity basis with public universities since 1970. The university is located on a compact urban campus in the southern Buitenveldert neighbourhood of Amsterdam and adjacent to the modern Zuidas business district.
The Royal Netherlands Academy of Arts and Sciences is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam.
Selmer Bringsjord is the chair of the Department of Cognitive Science at Rensselaer Polytechnic Institute and a professor of Computer Science and Cognitive Science. He also holds an appointment in the Lally School of Management & Technology and teaches artificial Intelligence (AI), formal logic, human and machine reasoning, and philosophy of AI.
Remko Jan Hendrik Scha was a professor of computational linguistics at the faculty of humanities and Institute for Logic, Language and Computation at the University of Amsterdam. He made important contributions to semantics, in particular the treatment of plurals, and to discourse analysis, and laid the foundations for what became an important research paradigm in computational linguistics, Data Oriented Parsing.
The University of Kelaniya is a state university in Sri Lanka. Just outside the municipal limits of Colombo, in the city of Kelaniya, the university has two major campuses, seven locations, six faculties and four institutions.
Henkjan Honing is a Dutch researcher. He is professor of Music Cognition at both the Faculty of Humanities and the Faculty of Science of the University of Amsterdam (UvA). He conducts his research under the auspices of the Institute for Logic, Language and Computation (ILLC), and the University of Amsterdam's Brain and Cognition (ABC) center.
Johannes Aldert "Jan" Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.
Amsterdam Science Park is a science park in the Oost city district of Amsterdam, Netherlands with foci on physics, mathematics, information technology and the life sciences. The 70 hectare park provides accommodations for science, business and housing. Resident groups include institutes of the natural science faculties of the University of Amsterdam, several research institutes, and related companies. Three of the colocations of the Amsterdam Internet Exchange are at the institutes SURFsara, NIKHEF, and Equinix-AM3 at the science park.
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.
Language and Communication Technologies is the scientific study of technologies that explore language and communication. It is an interdisciplinary field that encompasses the fields of computer science, linguistics and cognitive science.
Maarten de Rijke is a Dutch computer scientist. His work initially focused on modal logic and knowledge representation, but since the early years of the 21st century he has worked mainly in information retrieval. His work is supported by grants from the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), public-private partnerships, and the European Commission.
Benedikt Löwe is a German mathematician and logician working at the universities of Amsterdam, Hamburg, and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the interdisciplinary conference series Foundations of the Formal Sciences and Computability in Europe.
Barbara J. Grosz CorrFRSE is an American computer scientist and Higgins Professor of Natural Sciences at Harvard University. She has made seminal contributions to the fields of natural language processing and multi-agent systems.
Nissim Francez is an Israeli professor]emeritus in the computer science faculty at the Technion and former head of computational linguistics laboratory in the faculty.
The Korteweg-de Vries Institute for Mathematics (KdVI) is the institute for mathematical research at the University of Amsterdam. The KdVI is located in Amsterdam at the Amsterdam Science Park.
Alice Geraldine Baltina ter Meulen is a Dutch linguist, logician, and philosopher of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and the linguistic representation of time. She is a professor emerita at the University of Geneva.