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.

The second edition of the Beta in Bestuur & Beleid (STEM in Governance & Policy) Summer School will take place at Kasteel Spelderholt in Beekbergen. Are you considering a move to the public sector and would you like to discover how you, as a STEM professional, can make an impact in policy and governance? Then sign up via this link.

The second edition of the Beta in Bestuur & Beleid (STEM in Governance & Policy) Summer School will take place at Kasteel Spelderholt in Beekbergen. Are you considering a move to the public sector and would you like to discover how you, as a STEM professional, can make an impact in policy and governance? Then sign up via this link.

The aim of ICTCS is to foster cross-fertilization of ideas across different areas of theoretical computer science and to provide an environment where junior researchers and PhD students can interact with senior researchers.

ICTCS 2026 includes three special tracks devoted to significant application domains of theoretical computer science. The aim is to solicit contributions that, while not primarily situated within theoretical computer science, address substantive theoretical questions emerging from applied research problems. The three special tracks are listed on the website.

The second edition of the Beta in Bestuur & Beleid (STEM in Governance & Policy) Summer School will take place at Kasteel Spelderholt in Beekbergen. Are you considering a move to the public sector and would you like to discover how you, as a STEM professional, can make an impact in policy and governance? Then sign up via this link.

The aim of ICTCS is to foster cross-fertilization of ideas across different areas of theoretical computer science and to provide an environment where junior researchers and PhD students can interact with senior researchers.

ICTCS 2026 includes three special tracks devoted to significant application domains of theoretical computer science. The aim is to solicit contributions that, while not primarily situated within theoretical computer science, address substantive theoretical questions emerging from applied research problems. The three special tracks are listed on the website.

The second edition of the Beta in Bestuur & Beleid (STEM in Governance & Policy) Summer School will take place at Kasteel Spelderholt in Beekbergen. Are you considering a move to the public sector and would you like to discover how you, as a STEM professional, can make an impact in policy and governance? Then sign up via this link.

The aim of ICTCS is to foster cross-fertilization of ideas across different areas of theoretical computer science and to provide an environment where junior researchers and PhD students can interact with senior researchers.

ICTCS 2026 includes three special tracks devoted to significant application domains of theoretical computer science. The aim is to solicit contributions that, while not primarily situated within theoretical computer science, address substantive theoretical questions emerging from applied research problems. The three special tracks are listed on the website.

The second edition of the Beta in Bestuur & Beleid (STEM in Governance & Policy) Summer School will take place at Kasteel Spelderholt in Beekbergen. Are you considering a move to the public sector and would you like to discover how you, as a STEM professional, can make an impact in policy and governance? Then sign up via this link.

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 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 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 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.

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.

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.

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.

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.

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.

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.

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.

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.