Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.
Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen
The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.
We will have the following invited speakers: Elizabeth Polgreen (Edinburgh), Nicolai Kraus (Nottingham), Jess Enright (Glasgow), Jakub Oprðal (Birmingham), Conor McBride (Strathclyde) and Rob van Glabeek (Edinburgh).
The Dutch Special Interest Group (SIG) on Algorithms and Complexity invites all researchers from the field to attend the Algorithms track at ICT.Open on April 16th, 2025. The track will feature invited talks and a poster exhibition, on a wide range of algorithmic research.
Uncertainty is a central phenomenon that touches all subfields of artificial intelligence. As many have observed, dealing with uncertainty remains one of the central challenges and limits the capabilities of AI approaches. For instance, many problems in AI (in reasoning, planning, learning, perception, and robotics) require the agent to operate with incomplete or uncertain information.
This special issue of the Annals of Mathematics and Artificial Intelligence (AMAI) focuses on all aspects of uncertainty that concern reasoning and is devoted to the Uncertain Reasoning Special Track in 2023 and in 2024, which was located at the respective International Florida Artificial Intelligence Research Society Conference (FLAIRS).
Submissions should be prepared following the guidelines of AMAI. The submissions themselves are made via the submission page provided at https://submission.springernature.com/new-submission/10472/3. When submitting, please select "S806: Uncertainty and Reasoning in AI" in the submission system to ensure that the submission is connected with the special issue.
We will be pleased to welcome you at the Cognitive Models and Artificial Intelligence Conference, which will be held in person and virtual on 13-14 June 2025 in Prague-Czech Republic.. The Cognitive Models and Artificial Intelligence Conference aims to share and discuss theoretical and practical knowledge in a scientific framework by bringing together scientists, experts, educators, non-governmental organizations, and private sector representatives. AICCONF aimed to serve as a multidisciplinary platform where current issues in the fields of engineering are discussed, as well as recent research paper presentations in the field of artificial intelligence.
The technical program of AICCONF 2025 will include the presentation of invited speakers, posters, and regular sessions. AICCONF 2025 is an international conference organized for universities, research groups, companies, and technology groups from many countries to present their research results and innovative applications. The technical sponsor of AICCONF 2025 is IEEE SMC.
All submitted full papers will be double-blind peer-reviewed and evaluated based on originality, research content, correctness, relevance to conference and readability. Accepted and presented full papers will be published in IEEE Xplore. Additionally, abstracts, and poster presentations will be published with ISBN in the AICCONF 2025 companion proceeding. The official language of the conference is English.
The main topics of the conference;
Track 1: Cognitive Architectures and AI
Track 2: Machine Learning and Cognitive Science
Track 3: Human-AI Interaction and Cognitive Modeling
Track 4: Neuroscience-Inspired AI
Track 5: Natural Language Processing and Cognitive Models
Track 6: Ethics and Cognitive AI
Track 7: Cognitive Robotics and Autonomous Systems
Track 8: Decision-Making and Problem-Solving
Track 9: Emotion, Affect, and Social Cognition
Track 10: Applications of Cognitive AI
Track 11: Evaluation and Benchmarking of Cognitive Models
Track 12: Emerging Trends and Future Directions
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. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.
Program outline:
- The 2025 Gödel Lecture, delived by Joan Bagaria (ICREA)
- Talks by Plenary speakers: B. Afshari (Gothenburg), U. Buchholtz (Nottingham), T. Colcombet (Paris IRIF), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), M. Malliaris (Chicago), S. Shelah (Hebrew U), B. Siskind (TU Wien) and S. Smets (Amsterdam).
- Tutorials by H. Towsner (UPenn) and D. Sinapova (Rutgers).
- Special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics
The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. Contributed abstracts should be submitted to Shannon Miller at asl at uconn.edu by the deadline of April 15, 2025. Abstracts for contributed talks should conform to the Rules for Abstracts of the ASL and must be prepared using ASL template and class.
The annual Deduktionstreffen (German for ``deduction meeting'') is the prime activity of the Special Interest Group on Deduction Systems of the AI Chapter(Fachbereich KI) of the German Society of Informatics (Gesellschaft fuer Informatik, GI). This year it will be organized jointly with the special interest group on Knowledge Representation and Reasoning, as part of CADE-30.
It has a long tradition for being a meeting place for the German community on automated reasoning with an informal and friendly atmosphere. Submissions by researchers from neighboring or otherwise related countries are very welcome as well. A special focus of the workshop is on young researchers and students, who are particularly encouraged to present ongoing projects to a wider audience.
Informal submissions should be made as abstracts (up to 1 page) without special formatting. They will be published online and be available during the workshop.Full papers should be formatted in CEUR style (2-column style) without header and footer. The length of these papers should not exceed 8-12 pages. All submissions must be written in English and submitted in PDF format via EasyChair (select the track "Deduktionstreffen").
There has been an ever-growing interest in tasks targeting Natural Language Understanding and Reasoning. Although deep learning models have achieved human-like performance in many such tasks, it has also been repeatedly shown that they lack the precision, generalization power, reasoning capabilities, and explainability found in more traditional, symbolic approaches. Thus, current research has started employing hybrid methods, combining the strengths of each tradition and mitigating its weaknesses. This workshop would like to promote this research direction and foster fruitful dialog between the two disciplines by bringing together researchers working on hybrid methods in any subfield of Natural Language Understanding and Reasoning.
The 5th iteration of the NALOMA (Natural Logic Meets Machine Learning) workshop is co-located with ESSLLI.
The NALOMA workshop invites submissions on any (theoretical or computational) aspect of hybrid methods concerning Natural Language Understanding and Reasoning (NLU&R). NALOMA accepts archival papers (to appear in the ACL anthology proceedings) and (non-archival) extended abstracts. Both accepted papers and extended abstracts are expected to be presented at the workshop. Extended abstracts will be presented as talks or posters at the discretion of the program committee.
The conference aims to honour the legacy of outstanding Polish logicians, particularly those associated with the Lvov-Warsaw School and the Polish Mathematical School. The conference focuses on topics from various areas of logic and its applications, in particular, in the foundations of mathematics, computer science and linguistics. Submissions in the area of philosophy of science are also welcomed. The Congress will feature plenary sessions, sections, and the following workshops:
• 3rd Workshop on Relating Logic (WRL3), org. by Mateusz Klonowski and Jacek Malinowski.
• 1st Workshop on Mechanisms and Causes (WMaC1) org. by Michał Oleksowicz and Mateusz Chwastyk.
• 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1) org. by Luis Estrada-González and Tomasz Jarmużek.
• 3rd Workshop on Non-Fregean Logics (WNFL3) org. by Dorota Leszczyńska-Jasion and Szymon Chlebowski.
Submissions should be prepared using the provided latex template and sent to ptlifn.sekretarz at gmail.com. For workshop submissions, please include the workshop name in the email subject line.
FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD 2025 is co-located with VSTTE 2025.
Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.
FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer-aided design. Submissions must be made electronically in PDF format via EasyChair.
Two categories of papers are invited: Regular papers, and Tool & Case Study papers. Regular papers* are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. Tool & Case Study papers are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes.
Submissions for the student forum must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD.
The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.
Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).
We invite submissions on any areas connected to the philosophy of mathematical practice. A title and abstract (250-500 words + 3 keywords) should be submitted via Easychair for anonymous review by May 1st, 2025. The meeting will be in person. Notification of acceptance will be sent out by mid-June 2025.
The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its 7th Masterclass in the Philosophy of Mathematical Practices on June 1820, 2025 with Michael Barany (University of Edinburgh). We intend the masterclass 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 (MA students, PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. This year's theme is Situating Mathematical Practices: Materials, Institutions, and Critical Context.
The Masterclass honors Joachim Frans (1989-2023) who co-organized the Masterclass for many years.
We invite interested early career researchers to send us an abstract of at most 250 words by May 2. The talks will consist of a 20 minute presentation followed by 10 minutes for discussion. It is not mandatory for contributed talks to engage with the workshop theme. Notice that submitting an abstract is not mandatory for attending the Masterclass.
Women in Logic 2025 is a satellite event of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) to be held in Birmingham, UK, from July 14 to July 20, 2025.
The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community.
Are you a woman working in logic? Please join us on July 14, 2025 at WiL, give a talk, and enjoy a day with Women in Logic! Please submit an abstract of 1-2 pages by May 5, 2025 (AoE), via EasyChair.
Abstracts should be written in English (1-2 pages), and prepared using the Easychair style.
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP, mathematics, relations to general AI (AGI), Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. AITP'25 is planned as an in-person conference.
We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair. The extended abstracts are considered non-archival. The contributed talks have to be presented in-person.
The COST action EuroProofNet is happy to announce that the organization of the 1st international school on logical frameworks and proof systems interoperability (LFPSI) in September 2025 in Orsay, France.
Programme:
- Ambrus Kaposi, Second-order generalized algebraic theories
- Andrej Bauer, Programming language techniques for proof assistants
- Florian Rabe, Modular logic design
- Frédéric Blanqui, λΠ-calculus modulo rewriting: theory and application to proof systems interoperability
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions to logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.
LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. It will be co-located with ICLP 2025 and PPDP 2025. Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Submissions can be made in two categories: Regular Papers (15 pages max.) and Short Papers (8 pages max.). Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.
Submissions of Regular Papers must describe original work. Submissions of Short Papers may include presentations of exciting if not fully polished research or tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome.
In the light of the rapid development of Generative Artificial Intelligence (GenAI), the GenAI & Creative Practices conference aims to gather together scholars, researchers, and practitioners from around the world to discuss and rethink:
· Creative Practices
· Values and Creative Work
· Scalable Responsible GenAI
· The Future of Creative Work
· The Political Economy of GenAI and Transformation of the Cultural Sector
· Governance and Regulation of GenAI
Responsible Digital Transformations (RDT) would like to invite you to submit proposals to the conference, which will take place at the University of Amsterdam on 17 & 18 December 2025.
Proposals for individual papers should be 400 words (maximum). Please also include a 50-word bio of the presenter. Paper presentations are 15 minutes long and will be held in panels (max. 4 papers) of an hour and a half.
Proposals for a pre-constituted panel should include a 400-word rationale for the panel, as well as 400-word abstracts for each paper and 50-word bios for each speaker.
Proposals for a roundtable should include a 400-word rational, as well as 100-word abstracts and 50-word bios for each speaker.
Finally, proposals for a fishbowl are also welcome. These should include a 400-word description, as well as 50-word bios for each speaker.
Early career scholars and PhD candidates are welcome and encouraged to submit abstracts. Upon request, the organizers can provide successful early career scholars and PhD candidates from Non-OECD countries with a lump sum travel grant to support costs for registration, transport or lodging. In order to make use of this offer, please indicate this in your application.