The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
Areas of interest include (but are not limited to): Categorical logic Computability theory History of Logic Logic in Computer Science Logic in Human Reasoning Model theory Nonclassical and modal logics Philosophical logic Proof theory Reasoning in AI Set theory
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style. Submissions will happen through EasyChair. Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet.
The aim of this special issue is to collect state of the art research on Constrained Horn Clauses (CHCs). Many program verification and synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in Constrained Logic Programming and Computer Aided Verification have centered around efficiently solving problems presented as Horn clauses. Thus, CHCs are an enabling technology for state of the art verification and synthesis techniques. CHCs are relevant for several communities like Constraint / Logic Programming, Program Verification, and Automated Deduction.
Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent, transition systems, petri-nets, smart contracts) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Machine learning and automated reasoning - CHC encoding of analysis and verification problems - Resource analysis - Case studies and tools - Challenging problems.
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. It will be held in conjunction with the British Logic Colloquium 2026.
The conference is hosted by the Logicians in the newly founded Robert Recorde Centre for Fundamental Studies and the Theoretical Computer Science group at Swansea. Robert Recorde was a Welsh Mathematician and Philosopher who invented the = sign.
The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. The abstracts of accepted talks will be published the Bulletin of Symbolic Logic, subject to one of the authors of the abstract being a member of ASL. Contributed abstracts should be submitted to Shannon Miller at <asl at uconn.edu> .
There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. This conference series, which take place once every 2 or 3 years, hopes to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the world interested in these and related areas to exchange new ideas, problems and results.
The spirit of this conference series goes back to the Vienna Circle and to the initiative Logic, Methodology and Philosophy of Science by Alfred Tarski and others. The aim is to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.
Submit your abstract (or extended abstract) for your talk via the following link:
<https://easychair.org/conferences/?conf=lrb26>
Extended abstracts are not required, but in case of submission, they should be no more than 2 pages, and should be submitted in PDF formatted for A4 paper.
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 encourages submission of high quality, not previously published results on both theoretical issues and practical advancements. FOIS 2026 will have distinct tracks for foundational issues, ontology applications and methods, and domain ontologies.
FOIS seeks full papers on three tracks: foundational track, methods, and onthology.
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 course has the aim of bringing together researchers working in diverse areas of logic to present and discuss key contemporary research themes, ranging from proof theory to the semantics of non-classical logics. Particular attention is given to both technical developments and their philosophical significance. The programme consists of a series of lectures designed to introduce participants to current lines of research and ongoing debates in logic, while also providing young researchers with a broad overview of the field.
The Scuola Normale Superiore will award 15 scholarships, ensuring gender balance, covering accommodation and meals (travel expenses to Pisa are not included). Applicants must hold at least a Master's degree in Logic or a related discipline. Applications - including an up-to-date Curriculum Vitae - must be submitted through the designated online form by 31 March 2026. Selection will be based on the evaluation of the submitted CV.
This two-day workshop brings together an international line-up of female researchers working at the intersection of philosophy, theoretical linguistics, computational linguistics, logic, formal semantics and pragmatics, psychology, and political and social science. The event explores diverse perspectives on the semantics–pragmatics distinction, highlighting how interdisciplinary approaches can advance our understanding of meaning, context, and interpretation.
The workshop is in-person only. Attendance is free of charge, but registration is mandatory as places are limited. To register, please email Tamara Dobler.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity.
This year's edition is a part of the Federated Logic Conference FLoC’26.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity.
Welcomed are submissions of abstracts based on work which may be submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback.
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 2026 edition of the summer school is open to women and members of other groups that are under-represented in mathematical philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds. The target level is master students and last year-bachelor students.
The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in mathematical philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy.
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.
Two types of contributions (in English, CEUR-WS format) are solicited.
Regular papers: Up to 12 pages (bibliography excluded), presenting original results not published or submitted elsewhere. Authors may include an appendix; reviewers are not required to consider it.
Communications: Up to 5 pages (bibliography excluded), suitable for extended abstracts of published or submitted papers, ongoing research reports, and PhD thesis or project overviews.
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 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.
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).
For the 3rd EDDY Conference, we welcome contributions from both academics and practitioners on any of the following topics, in relation to digital democracy: online deliberation, liquid democracy, the public sphere, apps and tools for online decision-making, machine learning, crowdsourcing, the digital divide, participatory budgeting, computational social choice, digital identities, social media, popular will, and secrecy vs. publicity of votes and opinions. We particularly welcome submissions by students and early career scholars or practitioners. You can contribute with either a talk or a demo.
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.
The programme committee invites the submission of abstracts for talks in all fields of an online form. Alternatively, abstracts can also be submitted independently of the registration by email.