Computational Agent (1 Jan 2022 - 30 Jun 2024)
Research Project, funded by the UK’s EPSRC at the universities of Manchester and Leeds.
Engineered systems are becoming more complex and, increasingly, more autonomous; However, it has become clear that simple ethical principles, such as good/bad or right/wrong, are insufficient to capture high-level autonomous decision-making and that we need stronger concepts of "responsibility" in practice.
In this multi-disciplinary project we aim to devise a framework for autonomous systems responsibility that is philosophically justifiable, effectively implementable, and practically verifiable.
The Centre for Communication, Cognition and Computation
This research centre is a collaboration between the University of Edinburgh and the University of Amsterdam at the interface of Cognition, Logic, Language and Computational Models. Topics of focus include but are not limited to
- Interaction in communication, reasoning and learning
- Human machine interaction
- Integrating modelling and experimental methods
Our aim is to bring together researchers working on these areas using a variety of formal and experimental methods coming from psychology, logic, mathematics, computer science, linguistics and cognitive modelling. We are particularly interested in cognitive and logical processes that we observe in interactions in populations as well as interactions of individuals with their environment.
Joint Research Centre for Logic
The Joint Research Centre for Logic (JRC) is a special collaborative partnership between Beijing-based Tsinghua University and the University of Amsterdam, ILLC. Officially opened in September 2013, the JRC provides an institutional framework for furthering close cooperation between staff members in research and training in logic, including its applications in philosophy, computer science, linguistics, cognitive science and other relevant disciplines. The mission of the Joint Research Centre is to foster collaborative research, joint training and education, and other scholarly activities of its members that contribute to the study of logic in a broad sense.
PALLMYR
Paris, Amsterdam, and London host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALLMYR brings them together. PALLMYR is a series of yearly meetings taking place alternatively in Amsterdam, Paris, and London. At each PALLMYR meeting, visitors give talks about their current research interests, each presentation being commented by a fellow researcher from the host town.
A cross-linguistic investigation of meaning-driven combinatorial restrictions in clausal embedding
A joint project with Wataru Uegaki (University of Edinburgh), Maribel Romero (University of Konstanz) and Floris Roelofsen (ILLC).
Indo-European Research and Training Network in Logic
The Indo-European Research and Training Network in Logic (IERTNiL) aims to increase collaboration between India and the European institutions in research and research training in logic, with a special emphasis on logic in mathematics and computer science. To attain this aim, the network funds research visits of Indian researchers to Europe and vice versa, training visits of Indian students and junior researchers to Europe, training courses offered in India or Europe, and research events in India or Europe co-organized by European and Indian researchers. IERTNiL is funded by the Department of Science and Technology of the Government of India, the Institute for Logic, Language and Computation of the Universiteit van Amsterdam and the Fakultät für Mathematik, Informatik und Naturwissenschaften of the Universität Hamburg. The network is active from 1 October 2013 to 1 October 2016. While the network has officially ended last year, we have one final application deadline in April 2017 to use remaining funds.