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).
The conference focuses on empirical research in various areas of linguistics. The event aims at junior researchers to provide them with a platform for the presentation and discussion of research with their international peers. Contributions related to any world languages of all modalities are welcome.
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.
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.
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.
LOFT 2026 will be the 16th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.
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.
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
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.
Research methods in economics and social sciences are changing quickly with AI-driven analytics, Large Language Models, and causal machine learning. New Internet and Big Data sources support fresh approaches to measurement, inference, and theory testing. As these tools become more interdisciplinary, CARMA 2026 offers a forum for researchers and practitioners to share advances in computational and data-intensive methods applied to social and economic issues, and to discuss their opportunities and challenges.
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.
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.
The SELCS Annual Conference is a valuable event to pause, reflect, and engage with the key issues shaping education, language, and lifelong learning. This event marks an exciting new chapter, bringing together two long-standing and valued initiatives: the Warwick International Conference in Applied Linguistics (WICAL) and the Education Studies Postgraduate Research (PGR) Conference.
Led by postgraduate researchers from across Education Studies, Applied Linguistics, and the Centre for Lifelong Learning, the conference reflects a collaborative and interdisciplinary approach. By bringing these communities together, the joint format creates richer opportunities for dialogue, fosters cross-disciplinary connections, and broadens perspectives on shared research concerns. It offers a space for postgraduate researchers, early career researchers, and scholars to present their work, exchange ideas, and engage in thoughtful and critical discussion within a diverse and inclusive academic community.
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.