The Czech Academy of Sciences, Institute of Philosophy, announces Logica 2026, the 38th in the series of annual international symposia devoted to logic, to be held in Hejnice (in northern Bohemia, about 2.5 hours from Prague). The symposium welcomes submissions addressing any of the wide range of logical problems, with the exception of those focusing on specific technical applications. We especially welcome submissions that cover topics of interest to both 'philosophically' and 'mathematically' oriented logicians.
We are inviting members of the University of Amsterdam's Language Sciences for Social Good (LSG) Consortium to join a networking event on Thursday, May 28th, from 14:00 - 18:00 at LAB42 aimed at the consortium members and industry partners. We want to provide a forum to connect members of the consortium with each other and with industry partners, to discuss expectations and intentions from both sides, and to showcase what is already being done as part of this consortium.
The event will include short pitches by the industry partners, as well as poster presentations by researchers in the LSG. If you are a consortium member, you are welcome to present a poster at this event (this can be a poster that you already prepared for a different conference). If you are interested in presenting a poster, please provide us with a title and short description for the program before March 13th. You can do so by sending an e-mail to one of the organizers.
The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundation of database systems. The PODS community aims to provide a solid scientific basis for methods, techniques, and solutions for the data management challenges that continually arise in our data-driven society. It develops new ways of advancing data management to reflect the rich landscape of data requirements in applications nowadays. The goal is to develop solutions that ensure high levels of efficiency, scalability, usability, expressiveness, robustness, security, clarity, and privacy, among others.
The PODS community is an open space where researchers from various areas related to the principles of computer science can discuss, interact, and propose solutions to problems in data management.
The Linguistics and English Language Postgraduate Conference is an annual event hosted by the School of Philosophy, Psychology and Language Sciences at the University of Edinburgh, and is open to students and recent graduates from all over the world. The event is held in-person only (no online or hybrid options available).
There is a remarkable divide in the field of Logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (“Structure”), the other on expressiveness and complexity (“Power”). These two traditions are studied by almost disjoint research communities using distinct technical languages and methods. We believe that bringing these communities and research fields together is an important objective for Computer Science, which may hold the key to fundamental advances in the field.
The aim of this workshop is to attract researchers working at the boundary of these two strands, as well as those on either side of the divide who are interested in establishing new connections.
Researchers wishing to give a talk at the workshop are invited to submit an extended abstract of up to three pages (excluding references) describing the key points of the proposed presentation on the topics of semantics and/or compositionality in the field of Logic in Computer Science.
Submissions at all stages of development are invited, including novel contributions, previously published work, work in progress, and survey-style presentations. Depending on the number of submissions, contributed talks will be 20–30 minutes in length.
The Symposium is an international logic conference bringing together researchers in philosophical logic, mathematical logic, and logic in computer science.
The Nordic Logic Summer School will take place immediately before the symposium. It is aimed primarily at PhD students and early-career researchers and offers introductory and advanced courses in logic and its applications.
The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. The scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, among others.
The Symposium is an international logic conference bringing together researchers in philosophical logic, mathematical logic, and logic in computer science. It will take place from August 21 to August 23, 2026.
The Nordic Logic Summer School will take place immediately before the symposium, from August 17 to August 20, 2026. It is aimed primarily at PhD students and early-career researchers and offers introductory and advanced courses in logic and its applications.
The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world.
The scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, among others.
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.
Early career researchers are invited to send an abstract of at most 250 words. You can submit your abstract, including your affiliation and status (bachelor’s student, master’s student, PhD student, postdoc, other) to mc-pmp-brussels at outlook.com or use this form: https://forms.gle/PQKg6EjP2wx95ehi6.
The talks will consist of a 20 minute presentation followed by 10 minutes for discussion. Notification of acceptance will be sent out by 01 July 2026. Notice that submitting an abstract is not mandatory for attending the Masterclass.
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.
CiLD invited papers on these topics (and their sub-topics): Cognitive Linguistics; Discourse, Pragmatics & Narrative; Sociology & Social Interaction; and Narrative, Storytelling & Literature. The abstracts for individual papers (20-minute presentation + 10-minute discussion) should be max. 200 words long, in English and accompanied by a short biographical note (max. 100 words) and 3–5 keywords.
See the official website for more information and the submission form.
ETAPS, established in 1998, is a confederation of four annual conferences with satellite workshops and one of the world's leading fora for research on software science. In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software sciences, a PhD mentoring workshop, sessions on diversity, equity, and inclusion, and an ask-me-anything session.
ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically.
Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere. Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgments that might identify them. See the website for further instructions.
The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.
ScaDS.AI Dresden/Leipzig is pleased to dedicate its 12th International Summer School on AI and Big Data, which will take place in Leipzig from June 22 to 26, 2026, to the theme of Neuro+Symbolic AI, focusing on an emerging paradigm that combines the strengths of neural learning and symbolic reasoning, augmented with foundations in each of these.
This annual summer school aims to bring together PhD students, graduate students, researchers as well as practitioners from across the field of Artificial Intelligence. Participants can expect a rich program of short courses taught by leading experts, complemented by hands-on tutorials, interactive formats, and invited talks that provide a comprehensive overview of recent advances and key achievements in Neuro-Symbolic AI.
Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
ISR 2026 is organised by the Software Science group of Radboud University Nijmegen and the Theory group of VU Amsterdam. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.
Broadly viewed, Craig Interpolation (CI), Beth Definability (BD), and Second-Order Quantifier Elimination (SOQE) concern the existence and computation of formulas that capture consequences or logical constraints under some syntactic restrictions. Since such existence/computation questions arise in many areas of computer science, CI, BD, and SOQE have been thoroughly investigated by different communities, which has led to a large number of results, from foundational issues to practical applications. Relevant fields include proof theory, model theory, proof complexity, automated reasoning, automata theory, knowledge representation, program verification and databases as well as philosophy and linguistics.
The aim of the workshop is to bring together researchers from the many relevant fields to exchange experiences and findings about approaches, techniques, ongoing research and important open problems. We strongly believe that CI, BD, and SOQE – beyond sharing a similar historical background – offer a common basis for fruitful cross-disciplinary exchange.
The registration is open for the 37th European Summer School in Logic, Language and Information (ESSLLI).
ESSLLI is a yearly recurring event, which has been organized since 1989. It provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, also from wider scientific, historical, and philosophical perspectives. Its relevance to students of artificial intelligence is evident.
While classical cryptographic schemes always have to fear the risk of being broken, in particular with the possibility that quantum computers are built, quantum cryptography promises unconditional security solely based on the laws of physics. This field of research is currently in an exciting phase in which theoretical concepts and ideas are not only experiencing the transition to experimental implementations, but are also attracting the interest of industry.
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 26th Trends in Logic international conference is organized by the chair of Philosophy of Logical Analysis at the Graduate School of Information Sciences at Tohoku University. Trends in Logic is the conference series of the journal Studia Logica.
This year's edition of the conference series will be dedicated to recent developments in non-classical logics, non-classical mathematics and related philosophical questions.
This year's edition of the conference series will be dedicated to recent developments in non-classical logics, non-classical mathematics and related philosophical questions. Any papers relating to an aspect of the conference topic are welcome. Submissions of extended abstracts (up to three pages) should be submitted as pdf documents by sending them to sara.ayhan.c7 at tohoku.ac.jp and hitoshiomori at gmail.com.
At least one author of each accepted paper must register for, and attend, the conference to present their work.
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.
Authors can submit an anonymous abstract of at most two pages (excluding references), with an optional third page for tables and figures, with 1 inch margin and 11pt font. The time for presentations of accepted submissions for both regular programme and the workshops is 30 mins (20/25 mins + Q&A). Every author may submit more than one abstract, but only one in which they appear as the first author.