The aim of the event is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.
The Computable 90 initiative includes a strong focus on Academic Engagement, with a dedicated Conference element. This is intended to foster high-level discussion and increase public understanding of Alan Turing's enduring influence in computer science.
The Conference itself is targeted at the academic community, though everyone who has an interest in Alan Turing's 1936 paper and the ideas it has sparked will be stimulated and are welcome to attend. For a more general audience, we are offering a Public Lecture which will take place in the afternoon of Thursday 17 September 2026.
The 2026 edition is organized in collaboration with Universiteit Gent. The Masterclass is intended to be a fully interactive in-person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers with an opportunity to discuss their ongoing work in a helpful and constructive environment.
In recent years, digital democracy has become a subject of academic research and is being put into practice around the world. However, the scientific investigations and practices of digital democracy are currently still living mostly in separate universes. The aim of this conference is to further advance digital democracy, by bringing together academics and practitioners actively working on or with digital democracy. This way we want to foster collaboration and knowledge exchange.
In line with this aim, the conference will feature contributed talks, social and interactive sessions and both academic and non-academic keynote speakers, such as Manon Revel (Google Deepmind) and Graham Wetherall-Grujic (The Innovation in Politics Institute, Berlin).
The conference will focus on construal in linguistics, encompassing, though not limited to, cognitive linguistics, forensics, discourse studies, pragmatics, social interaction, narrative, storytelling, and literature. By bringing all these approaches together, the conference aims to establish construal as a unifying concept for understanding meaning in language and discourse.
The conference adopts a flexible view of the relationship between construal and linguistic expression/coding. Construal refers broadly to how events, participants, relations, inferences, evaluations, and temporal structures are conceptualised, framed, and made salient, while verbal and non-verbal resources—lexical, grammatical, prosodic, gestural, visual, and multimodal—are among the means through which such construals are communicated and negotiated in discourse.
The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). The next edition will be held from 21 to 24 September 2024 in Würzburg, Germany (noon until noon to allow travel on the same day). The conference will cover the whole range of mathematical logic and the foundations of the exact sciences.
In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.
FOIS is a meeting point for all researchers with an interest in formal ontology. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.
Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web.
Workshop at the UvA Education Day 2026
How do you have meaningful conversations with students about AI in public communication? Using Amsterdam's 'AI imagineering' case and the Moral Data City Hunt, you work with concrete dilemmas around AI‑generated imagery, such as trust, inclusion and responsibility. You make underlying values and tensions visible and discover how to use this approach to put academic citizenship into practice by facilitating dialogue and contributing to responsible innovation.
The Systematicity Argument tells us that there must be symbols (“concepts”) inside agents who display linguistic capacities: the argument has been enormously influential in Philosophy, Linguistics, Cognitive Science, and now in AI, but is the argument a good one?
Invited Speakers: D. Rothschild (UCL), M. Lewis (ILLC, UvA), S. Gerlek (ASCA, UvA).
Applications are welcome from Master and PhD students.
Please submit an anonymized abstract (max. 2 pages excluding references, 1 inch margin and 11pt font) to systematicityamsterdam at gmail.com by October 15 at 23:59.
The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.
With this year's edition, the Amsterdam Colloquium turns half a century old! To celebrate the 50th anniversary we will host a Special Session on The Past and Future of Semantics. In addition to the general program and the special session, the 25th Amsterdam Colloquium will feature a workshop on Semantics and Non-classical Logics. The Colloquium will also include a poster session and an evening lecture by Prof. Nicholas Asher, jointly organised with the E. W. Beth Foundation.
ICLA 2027 is the 12th edition of the biennial conference organised by the Association for Logic in India (ALI). It serves as a forum that brings together researchers from a variety of disciplines in which formal logic plays a significant, and often foundational, role, including Mathematics, Computer Science, Philosophy, Linguistics, and Cognitive Science. A distinctive feature of ICLA is its inclusion of research on systems of logic in the Indian tradition, as well as historical studies of logic.