Monthly 261
May 01, 2025
Monthly 261Past Issues - How to submit an announcement
Table of Contents
- DEADLINES
- SIGLOG MATTERS
- CALLS
- GandALF 2025 (CALL FOR PAPERS)
- Express/SOS 2025 (CALL FOR PAPERS)
- PODS 2026 (CALL FOR PAPERS)
- FROM 2025 (CALL FOR PAPERS)
- BMQL 2025 (CALL FOR PAPERS)
- FAST TRACK ICLP 2025 (CALL FOR PAPERS)
- FM 2026 (CALL FOR PAPERS)
- DisCoTec 2025 (CALL FOR PARTICIPATION)
- BLC 2025 (CALL FOR PARTICIPATION)
- ACKERMANN AWARD 2025 (CALL FOR NOMINATIONS)
- FSCD 2027 (CALL FOR LOCATION)
Deadlines
| LFMTP 2025: | May 02, 2025 (Abstract deadline), May 09, 2025 (Paper deadline) |
| LSFA 2025: | May 05, 2025 (Abstract), May 12, 2025 (Paper) |
| LOPSTR 2025: | May 09, 2025 (Abstract), May 16, 2025 (Paper) |
| LMW@LICS25: | May 10, 2025 (Travel support application) |
| DisCoTec 2025: | May 23, 2025 (Early registration), Jun 11, 2025 (Late registration) |
| EuroProofNet Symposium 2025: | May 25, 2025 (deadline for talk proposals and funding requests) |
| iFM 2025: | May 30, 2025 (Abstract Submission), Jun 06, 2025 (Paper Submission), Aug 15, 2025 (Artifact Registration), Aug 01, 2025 (Artifact Submission 22) |
| GandALF 2025: | May 30, 2025 (Paper deadline) |
| DC 2025: | Jun 01, 2025 (Paper) |
| DaLi 2025: | Jun 01, 2025 (Abstract deadline), Jun 05, 2025 (Full paper deadline) |
| Express/SOS 2025: | Jun 03, 2025 (Paper) |
| PODS 2026: | Jun 03, 2025 (Abstracts), Jun 10, 2025 (Full papers) |
| BMQL 2025: | Jun 10, 2025 (Submission) |
| FAST TRACK ICLP 2025: | Jun 15, 2025 (IJCAI FAST TRACK Papers), May 15, 2025 (Abstracts or RECENTLY PUBLISHED track) |
| ACKERMANN AWARD 2025: | Jul 01, 2025 (nominee s) |
| FM 2026: | Nov 25, 2025 (Abstract Submission), Dec 02, 2025 (Full Paper Submission) |
LICS 2025: Fortieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
CALL FOR PARTICIPATION- Registration: https://register.comp.nus.edu.sg/LICS2025/
- Local information: https://lics.siglog.org/lics25/local.php
- Invited talks and tutorials from Anuj Dawar, Rustan Leino, Christine Tasson, Hongseok Yang
- List of accepted papers: https://lics.siglog.org/lics25/accepted.php
LMW@LICS25: 13th Logic Mentoring Workshop
CALL FOR PARTICIPATION- Students can apply to have their expenses covered by the Logic Mentoring Workshop Travel Support (see below).
- Attending a conference such as LICS can be a transformative experience. It exposes participants to cutting-edge research and can open up new research avenues and collaboration opportunities. The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to doctoral students, and will include tutorials and plenary talks as well as a panel discussion, where experienced researchers from the field answer career-related questions from the audience.
- The workshop will be an on-site event, co-located with the Logic in Computer Science conference (LICS’25, https://lics.siglog.org/) one of the most prestigious conferences on the topic.
- REGISTRATION and PROGRAM
Registration is set up through the LICS website. The cost of the workshop is included in the registration for LICS, and separately costs 80 SGD. The detailed program will be announced at https://logic-mentoring-workshop.github.io/lics25/ closer to the workshop. - TRAVEL SUPPORT
Students (undergrad, master's, and PhD alike) can apply to have their costs (some or all) covered by our sponsors, the National Science Foundation (NSF) and Jane Street.
Travel support application: May 10th (applications are accepted after that date if funds allow)
Apply by filling this form: https://docs.google.com/forms/d/1won7RTFgMbMtzhNiAARP5BzXTLPJKVcAj9zyIlmqVL8 - LICS BUDDY
Is this the first conference you will attend in person? We have all been there. You might not feel comfortable if you don't know anyone. Join our Buddy Program, and we will help you to get in touch with another mentoring workshop attendee. Every newcomer will be assigned either a more experienced peer or another newcomer, so you are not alone. For those who are not attending a conference for the first time, being a buddy is a way for you to help the community to grow and introduce less experienced students to the field. If you are interested, write an email to lschuetze@mpi-sws.org - ORGANIZING COMMITTEE
Elli Anastasiadi, Linus Richter, Lia Schütze, Chana Weil-Kennedy
GandALF 2025: 16th International Symposium on Games, Automata, Logics, and Formal Verification
CALL FOR PAPERS- Proceedings:
The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021, 2022, 2023, and 2024). - Invited Speakers:
- Radu Mardare (Heriot-Watt University, Edinburgh, Scotland)
- more TBA
- Submissions:
Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided at [https://style.eptcs.org)]https://style.eptcs.org), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission.
Submissions must be in PDF format and will be handled via EasyChair Conference system at the following address: https://easychair.org/conferences/?conf=gandalf2025 - IMPORTANT DATES
Paper submission deadline: May 30, 2025 Acceptance notification: Jul 04, 2025 Camera-ready deadline: Jul 25, 2025
Express/SOS 2025: Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
CALL FOR PAPERS- IMPORTANT DATES
Paper submission: Jun 03, 2025 Paper notification: Jul 10, 2025 Workshop: Aug 25, 2025 Final version (post-proceedings): Sep 25, 2025 - SCOPE AND TOPICS
The EXPRESS/SOS workshop series aims to bring together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models. Topics of interest for EXPRESS/SOS 2025 include, but are not limited to:- expressiveness and rigorous comparisons between models of computation (process algebras, event structures, Petri nets, rewrite systems)
- expressiveness and rigorous comparisons between programming languages and models (distributed, component-based, object-oriented, service-oriented);
- logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics);
- analysis techniques for concurrent systems;
- theory of structural operational semantics (meta-theory, category-theoretic approaches, congruence results);
- comparisons between structural operational semantics and other formal semantic approaches;
- applications and case studies of structural operational semantics;
- software tools that automate, or are based on, structural operational semantics.
- We especially welcome contributions bridging the gap between the above topics and neighboring areas, such as, for instance:
- computer security
- multi-agent systems
- programming languages
- formal verification
- reversible computation
- knowledge representation
- SUBMISSION GUIDELINES:
We invite two types of submissions:- Full papers (up to 15 pages, excluding references).
- Short papers (up to 5 pages, excluding references, not included in the workshop post-proceedings)
- WORKSHOP CO-CHAIRS:
- Cinzia Di Giusto (Université de Nice Sophia-Antipolis, France)
- Giorgio Bacci (Aalborg University, Denmark)
- CONTACT
Prospective authors are encouraged to contact the co-chairs in case of questions at cinzia.di-giusto@univ-cotedazur.fr grbacci@cs.aau.dk
PODS 2026: ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
CALL FOR PAPERS- 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 on database systems. Original research papers providing new insights in the specification, design, or implementation of data management tools are called for.
- Topics that fit the interests of the symposium include the following (but not limited to) as pertaining to databases: algorithms; complexity; computational model theory; concurrency; constraints; data exchange; data integration; data mining; data modeling; data on the Web; data streams; data warehouses; distributed databases; information retrieval; knowledge bases; logic; multimedia; physical design; privacy; quantitative approaches; query languages; query optimization; real-time data; recovery; scientific data; security; semantic Web; semi-structured data; spatial data; temporal data; transactions; updates; views.
- Important dates:
Abstracts: Jun 03, 2025 Full papers: Jun 10, 2025 Rebuttal: July 29 - August 1, 2025 Initial notification: Aug 11, 2025 Revision submission: Aug 25, 2025 Final notification: Sep 01, 2025 - Submission Site and Format
All submissions must be made to https://www.easychair.org/my/conference?conf=pods2026. LaTex users must format their submission using the standard ACM "acmsmall" proceedings stylesheet: https://www.acm.org/publications/proceedings-template. A submission can be up to 15 pages, not including references, plus unlimited space for references. PODS 2026 will use a lightweight double-anonymous reviewing process. For more precise instructions, please see https://2026.sigmod.org/calls_papers_pods_research.shtml
FROM 2025: 9th Working Formal Methods Symposium
CALL FOR PAPERS- The Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners working on formal methods by contributing new theoretical results, methods, techniques, frameworks, and/or by creating or using software tools that apply theoretical contributions. The program includes invited lectures and regular contributions.
- Organizers:
- Verimag, CNRS, University of Grenoble Alpes
- Faculty of Computer Science, Alexandru Ioan Cuza University of Iași
- Important Dates
H Paper/abstract submission: Jun 07, 2025 Author notification: Jul 15, 2025 Revised paper/abstract submission: Aug 29, 2025 Registration deadline: Sep 02, 2025 Symposium dates: Sep 17-19, 2025 - Submissions
Papers of up to 16 pages prepared according to the EPTCS template (https://style.eptcs.org/) must be submitted electronically using the EasyChair submission system (https://easychair.org/conferences?conf=from2025). Research papers must contain original research results not submitted or published elsewhere. Selected papers will be invited to submit an extended version to the Journal of Logical and Algebraic Methods in Programming (https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming), subject to formal approval by Elsevier. - Authors wishing to present work in progress or survey previous research are invited to submit an extended abstract (up to 8 pages). Papers will be reviewed and selected based on scientific merit and relevance. More details on arrears of interest, committees, and other, available at: https://fromsymposium.github.io/
BMQL 2025: 1st International Workshop on Behavioural Metrics and Quantitative Logics
CALL FOR PAPERS- Scope and topics:
The BMQL Workshop serves as a platform for researchers to explore behavioural metrics and quantitative logics,share state-of-the-art advancements, and discuss applications in areas that have not yet been sufficiently explored, such as machine learning, quantum computing, and security. - Topics for discussion include (but are not limited to):
- Defining behavioural metrics through various approaches, such as fixpoint equations, logics, and games, along with their interrelations.
- Studying the expressiveness of quantitative logics.
- Theories and techniques for quantitative equational reasoning.
- Efficient algorithms for computing or estimating behavioural metrics or distinguishing formulas.
- Applications of behavioural metrics and/or quantitative logics in fields like model-checking, security, privacy, hybrid systems, quantum computing, learning, and explainable AI, among others.
- Submissions:
BMQL 2025 solicits high quality extended abstracts reporting research results and/or experience related to the topics mentioned above- We do accept submissions of work recently published, currently under review or work-in-progress.
- Papers must not exceed 7 pages (excluding references and clearly marked appendices) using the LIPIcs style.
- The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.
- Accepted papers will be made available on the workshop website.
- Papers must be submitted electronically as PDF files via EasyChair before June 10th (AoE)
- Submissions will follow a single blind process.
- IMPORTANT DATES
All dates are AoESubmission: Jun 10, 2025 Notification: Jul 15, 2025 Camera Ready: Jul 25, 2025 Workshop: Aug 25, 2025 - Post-proceeding:
We are working on a post-proceeding in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). Depending on the novelty of the work submitted, a selection of the best papers will be invited to submit an extended version of their work to a post-procedings in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS).
FAST TRACK ICLP 2025: 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
CALL FOR PAPERS- Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming. This year ICLP features two special tracks:
- The IJCAI Fast Track - Paper submission: June 15, 2025
- Recently Published Research Track – Abstract submission: May 15, 2025
- IJCAI FAST TRACK DETAILS
In coordination with the IJCAI program chairs, authors with rejected papers at IJCAI’25 can submit revised versions of such papers directly to ICLP’25. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI’25 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP’25. The submission will then enter the “revision” phase and be considered for publication in TPLP. - IMPORTANT DATES
IJCAI FAST TRACK Papers: Jun 15, 2025 Final notification: Jul 06, 2025 Final version: Jul 27, 2025 Main conference: Sep 15-19, 2025 - SUBMISSION DETAILS
All submissions must be written in English. Papers accepted at ICLP may appear in the journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials
Formatting Requirements:
Papers must not exceed 14 pages in TPLP format, including references. IJCAI Fast Track papers will be published in a special issue of TPLP, as with regular ICLP submissions. IJCAI Fast Track papers must be accompanied by a PDF cover letter detailing:- The improvements made to the paper compared to the previous (IJCAI’25) submission, including clarifications on any perceived errors in the reviewers' assessments, if applicable
- The paper ID of the IJCAI’25 submission
- The authors listed on the IJCAI’25 submission
- The title of the IJCAI’25 submission
- The original PDF submitted to IJCAI’25
- The IJCAI’25 reviews, including scores and text evaluations
Submissions will be made via EasyChair, following the link: https://easychair.org/conferences/?conf=iclp25 - RECENTLY PUBLISHED RESEARCH TRACK
The ICLP'25 Recently Published Research Track provides a forum to discuss recent research on topics related to logic programming. We invite submissions of extended abstracts of papers that have appeared or been accepted for publication in journals or conference proceedings but which havenot been already presented at ICLP conferences nor at other main logic programming-related conferences (such as, for example, LPNMR, LOPSTR, or LPAR).
Papers accepted to the track will be linked from the conference web site. At least one author of each accepted paper is required to register for the conference to present the work.
Submissions should meet the following criteria:
Papers must have been published in a journal or conference proceedings (except ICLP and closely related conferences) in 2023 or later. Papers that are in press may also be submitted as long as the final camera-ready version is available. They should also fall into one or both of the following categories:- Papers that bridge logic programming to other areas such as declarative programming, constraint programming, knowledge representation, databases, AI, as well as to applications;
- Papers that are tightly related to ICLP and meet at least one of the following conditions: -have been published in a journal but have not been presented at workshops or conferences; - have been presented at conferences that are not typically attended by the ICLP community; -have been presented at logic programming meetings with relatively limited attendance; -have been accepted at high-profile conferences with some relation to logic programming.
- IMPORTANT DATES
Abstracts or RECENTLY PUBLISHED track: May 15, 2025 Reviews back to authors for feedback by June 11, 2025: Response due by June 18, 2025: Final decision by June 22, 2025: Main conference: Sep 15-19, 2025 - SUBMISSION DETAILS
Every submission should be prepared following the format for Technical Communication (TC) paper submission to ICLP 2025. It should contain:- A cover page (single page) listing the title, the authors, a complete reference to the original paper, an accessible URL from which the paper can be downloaded, and a list of keywords. The cover page must also contain a statement that the work the submission is based on has not been already presented at a major logic programming forum (such as earlier ICLP, LPNMR, LOPSTR, LPAR).
- A two-page extended abstract of the paper presenting the main contributions of the paper, discussing the relevance of the paper to logic programming, and explaining the significance of the results.
- VENUE
ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts.
FM 2026: 27th international symposium on Formal Methods
CALL FOR PAPERS- FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2026 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences. See https://conf.researchr.org/home/fm-2026
The FM 2026 proceedings will appear as part of the LNCS FM subline, with gold open access. - IMPORTANT DATES
Abstract Submission: Nov 25, 2025 Full Paper Submission: Dec 02, 2025 Paper Notification: Jan 30, 2026 Final Version: Feb 23, 2026 Main Conference: May 20-22, 2026 - TOPICS OF INTEREST
FM 2026 will highlight the development and application of formal methods in a wide range of domains including trustworthy AI, computer-based systems, systems-of-systems, cyber-physical systems, security, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, smart contracts in blockchain, healthcare and biology. We particularly welcome papers on techniques, tools, and experiences in interdisciplinary settings. We also welcome papers on experiences of applying formal methods in industrial settings, and on the design and validation of formal method tools.- Track: Tests & Proofs
Research in verification has seen an increase in heterogeneous techniques and a synergy between the traditionally distinct areas of dynamic and static analysis. There is growing awareness that dynamic techniques such as testing and static techniques such as proving are complementary rather than mutually exclusive. Notable examples that provide evidence for the potential of a combination of static and dynamic analysis are counterexample generation based on symbolic execution, the integration of SAT/SMT-solving in model checking, or the combination of predicate abstraction with exhaustive enumeration. The verification of systems based on machine learning spurs novel combinations of dynamic and static analyses, e.g., property verification of surrogate models that are generated through testing.
TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. Topics of interest center around the combination of static techniques such as proving and dynamic techniques such as testing. - SUBMISSION GUIDELINES
We solicit various categories of papers:- Regular Papers (max 15 pages)
- Regular Papers, submitted to the TAP track (max 15 pages)
- Long tool papers (max 15 pages)
- Case study papers (max 15 pages)
- Short papers (max 6 pages), including tool demonstration papers
- Best Paper Award
At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2026 Best Paper. - Special Issue
Extended versions of selected papers will be invited for publication in a special issue of a journal to be announced soon. - Program Committee Chairs
- Augusto Sampaio, Universidade Federal de Pernambuco, Brazil
- Marielle Stoelinga, University of Twente, the Netherlands
DisCoTec 2025: 20th International Federated Conference on Distributed Computing Techniques
CALL FOR PARTICIPATION- Registration
Detailed information about registration can be found at https://www.discotec.org/2025/registration. - IMPORTANT DATES
Early registration: May 23, 2025 Late registration: Jun 11, 2025 - SPEAKERS
- Alysson Bessani (Universidade de Lisboa, Portugal)
- Omar Inverso (GSSI, Italy)
- Burcu Kulahcioglu Ozkan (TU Delft, The Netherlands)
- Hélène Coullon (IMT Atlantique, France)
- Main Conferences (June 17 - June 19)
- COORDINATION 2025 (https://www.discotec.org/2025/coordination): 27th International Conference on Coordination Models and Languages PC Chairs: Cinzia Di Giusto (Université Côte d’Azur) and António Ravara (NOVA School of Science and Technology)
- DAIS 2025 (https://www.discotec.org/2025/dais): 25th International Conference on Distributed Applications and Interoperable Systems PC Chairs: Daniel Balouek (Inria, France) and Ibéria Medeiros (University of Lisbon, Portugal)
- FORTE 2025 (https://www.discotec.org/2025/forte) 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems PC Chairs: Carla Ferreira (NOVA University of Lisbon, Portugal) and Claudio A. Mezzina (University of Urbino, Italy)
- Accepted Papers
See https://www.discotec.org/2025/accepted-papers for details. - Satellite Events (June 16 and June 20)
- ICE 2025 (https://www.discotec.org/2025/satellite/ice): 18th Interaction and Concurrency Experience
- CORSE 2025 (https://www.discotec.org/2025/satellite/corse): Components Operationally: Reversibility and System Engineering
- ∆QSD 2025 (https://www.discotec.org/2025/satellite/DQSD): The ∆QSD Paradigm: Designing Systems with Predictable Performance at High Load
- WACA 2025 (https://waca-ws.github.io/2025/): Workshop on Adaptable Cloud Architectures
- Gender Parity / Women in Science (https://www.discotec.org/2025/satellite/women_in_science)
- Poster Competition (June 16)
DisCoTec 2025 will host an event dedicated to Young Researchers - final year PhD, postdoc, first years of a permanent position. Details can be found at https://www.discotec.org/2025/satellite/yr-posters. - Accommodations for parents of young children
Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze@inria.fr), as soon as possible to discuss the arrangements that might be applicable. - Live Updates
To receive live, up-to-date information, follow us on Mastodon @DisCoTecConf (https://lipn.info/@DisCoTecConf), LinkedIn (https://www.linkedin.com/company/discotec-conf) and X @DisCoTecConf (https://X.com/DisCoTecConf).
BLC 2025: UK BRITISH LOGIC COLLOQUIUM 2025 & PETER ACZEL MEMORIAL CONFERENCE
CALL FOR PARTICIPATION- BLC is the annual UK British Logic Colloquium meeting (11-12 Sep 2025) inviting contributed talks from logic academics, Postdocs and PhD students. This year it will be co-located with the Peter Aczel Memorial Conference (10 Sep 2025).
- Invited speakers for BLC include: Mirna Džamonja (Paris), Paul-André Melliès (Paris), Paula Quinon (Lund/Warsaw), Katrin Tent (Münster), Frank Wolter (Liverpool)
- Invited speakers for the Peter Aczel memorial conference: Steve Awodey (Carnegie Mellon University), Rosalie Iemhoff (Utrecht), Andrew Swan (Ljubljana), Jouko Väänänen (Helsinki)
- There is a pre-registration form available on the website where interest to deliver a contributed talk can be expressed.
ACKERMANN AWARD 2025: EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
CALL FOR NOMINATIONS- Nominations are now invited for the 2025 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2024 and 31 December 2024 are eligible for nomination for the award. The deadline for submission is:
nominee submissions: Jul 01, 2025 - Nominations should be submitted by the candidate or the supervisor via Easychair: https://easychair.org/conferences?conf=ackermann2025
Please submit a pdf file containing:- a summary in English of the thesis (maximum 10 pages), providing a gentle introduction and overview of the thesis, highlighting the novel results and their impact and including a link to the thesis in the first page (please do not include the thesis itself);
- a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English);
- a copy of a document stating that the thesis was accepted as a PhD thesis at a recognised University (or equivalent institution) and that the candidate was awarded the PhD degree within the specified period;
- a short CV of the candidate.
- The 2025 Ackermann award will be presented to the recipient(s) at CSL 2026.
The award consists of a certificate, an invitation to present the thesis at the CSL conference, the publication of the laudatio in the CSL proceedings and financial support to attend the conference. We are grateful to Amazon for sponsoring this award.
For more information please contact Maribel Fernandez: Maribel.Fernandez@kcl.ac.uk
FSCD 2027: Formal Structures for Computation and Deduction
CALL FOR LOCATION- The FSCD conference covers all aspects of Formal Structures for Computation and Deduction from theoretical foundations to applications. The annual FSCD conference comprises the main conference and a considerable number of affiliated workshops (expectedly, more than ten).
We invite proposals for locations to host the 12th FSCD International Conference to be held at the end of august/beginning of september 2027. The deadline for proposals is
H proposals deadline: May 24, 2025 - Proposals should be sent to the FSCD Steering Committee Chair (see contact information below). We encourage proposers to register their intention informally as soon as possible. For 2027, the Steering Committee wishes that the conference takes place either during the last week of August or the first one of September (i.e., week starting on August 23rd, 2027 or on August 30th).
- Previous (and upcoming) FSCD meetings include:
- FSCD 2016 in Porto (Portugal);
- FSCD 2017 in Oxford (UK) co-located with ICFP 2017;
- FSCD 2018 in Oxford (UK) as part of FLoC 2018;
- FSCD 2019 in Dortmund (Germany);
- FSCD 2020 in Paris (France) co-located with IJCAR 2020;
- FSCD 2021 in Buenos Aires (Argentina);
- FSCD 2022 in Haifa (Israel) as part of FLOC2022;
- FSCD 2023 in Rome (Italy) co-located with CADE 2023;
- FSCD 2024 in Tallinn (Estonia) co-located with LICS 2024 and ICALP 2024;
- FSCD 2025 in Birmingham (UK);
- FSCD 2026 in Lisbon (Portugal) as part of FLoC 2026.
- Selected proposals are to be presented at the business meeting of FSCD 2025 taking place in Birmingham in July 2025. The final decision about hosting and organising of FSCD 2027 will be taken by the SC after an advisory vote of the members of the community in attendance at the business meeting.
- Proposals should address the following points:
- FSCD Conference Chair (complete name and current position), host institution, FSCD Local Committee (complete names and current positions), availability of student-volunteers.
- National, regional, and local government and industry support, both organizational and financial.
- Accessibility to the location (i.e., transportation) and attractiveness of the proposed site. Accessibility can include both information about local transportation and travel information to the location (flight and/or train connections), as well as estimated costs.
- Proposed dates: they are expected to be either during the week starting on August 23rd, 2027, or that starting on August 30th. They should include allowing 2-3 days before and/or after the main conference for affiliated workshops. (Please also take into consideration holidays or local events during the period).
- Estimated costs of registration for the conference and workshops, both for regular and student participants.
- Conference and exhibit facilities for the anticipated number of registrants (including all workshop participants, typically around 200). For example:= number, capacity and audiovisual equipment of meeting rooms, a large plenary session room that can hold all the registrants, enough rooms for parallel session workshops/tutorials in the two, days before and the two days after the main conference, internet connectivity and workstations for demos/competitions, catering services, presence of professional staff.
- Support for hybrid attendance to the conference.
- Residence accommodations and food services in a range of price categories and close to the conference venue, for example, number and cost range of hotels, and availability and cost of dormitory rooms (e.g., at local universities) and kind of services they offer.
- Other relevant information, which can include information about leisure activities and attractiveness of the location (e.g.,cultural and historical aspects, touristic activities, etc...).
- Contact information: Patrick Baillot patrick.baillot@univ-lille.fr FSCD SC Chair
Links: SIGLOG website, LICS website, SIGLOG Monthly.