- finite-model-theory - lists.rwth-aachen.de

Description Logic Workshop 2025: Second Call for Papers
by bartosz.bednarczyk＠cs.uni.wroc.pl 28 Apr '25

28 Apr '25

Dear all, I am attaching the second Call for Papers for the upcoming Description Logic Workshop. Please note that all deadlines have been extended by approximately two weeks. Kind regards, Bartosz Bednarczyk (on behalf of the DL2025 organizing team) ================================== DL 2025 Second Call for Papers 38th International Workshop on Description Logics, DL 2025 September 3-6, 2025 | Opole, Poland Website: https://dl25.cs.uni.opole.pl Contact: dl2025 at easychair.org IMPORTANT DATES (all times are 23:59 Anywhere On Earth, UTC- 12) Paper Registration Deadline: May 29, 2025 (updated!) Submission Deadline: June 6, 2025 (updated!) Notification: June 27, 2025 Camera-Ready Deadline: July 18, 2025 We plan to hold DL2025 as an in-person event. To encourage engaging discussions and valuable connections, at least one author of each accepted paper must attend the workshop in person. GENERAL INFORMATION The Description Logic workshop is the major annual event of the Description Logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information, and compare experiences. SCOPE We invite contributions on all aspects of description logics, including, but not limited to: Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency management, reasoning techniques, modularisation, ontology extraction, abductive and inductive reasoning, learnability Extensions of description logics: closed-world and non-monotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query answering, reasoning over dynamic information Integration of description logics with other formalisms: database query languages, constraint-based programming, logic programming, rule-based systems, knowledge graphs, hybrid reasoning approaches Applications of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, graph-structured data, linked data, document management, natural language, hybrid approaches combining logic and learning, explanations, planning, Semantic Web, cloud computing, conceptual modelling, web services, business processes, practical experiences, case studies, feasibility studies Systems and tools of all kinds around description logics: reasoners, ontology editors, ontology alignment, ontology extraction, ontology learning and mining, other support for ontology development, database schema design, query rewriting/answering/optimization, data integration, implementation and optimization techniques, benchmarking, evaluation, modelling SUBMISSIONS The DL reviewing process follows a single-blind model, meaning that reviewers will see the authors’ names. Therefore, please include author names in your submitted files. However, if you prefer to remain anonymous, we offer an anonymous submission option upon request. Submission Categories We welcome submissions that fall within the workshop’s scope in either of the following formats: 1. Regular Papers – Up to 11 pages (excluding references). 2. Extended Abstracts – 2–4 pages (excluding references). All submissions must follow the CEURART formatting style using our DL-specific template available at https://dl25.cs.uni.opole.pl/submissions/ Submissions should be made through EasyChair. Regular Papers • Must provide substantial contributions that can be cited in other publications. • Should not have been previously published or be under submission elsewhere. • May include an appendix with additional proofs, evaluation data, or other relevant content. Extended Abstracts • Should ideally include an appendix with additional proofs, evaluation data, or an extended version of the paper. • If the abstract is based on a paper accepted or under review at another venue, the authors must clearly state the venue and the paper’s status. • The appendix is optional and will be reviewed at the discretion of the reviewers, but it will not be included in the proceedings. • Unlike the main submission, the appendix does not need to follow the CEURART format. Presentation Selection Accepted submissions (both regular papers and extended abstracts) will be considered for oral or poster presentations at the workshop. The selection will be based solely on content quality, not on the type of submission. Anonymous Submission In justified cases, if you wish your submission to be handled anonymously (i.e. double-blind), please send an e-mail to the PC co-chairs explaining the reasons. You will receive instructions on how to proceed. ORGANIZATION General Chair: Lidia Tendera · Head of the Institute of Computer Science · University of Opole, Poland PC Co-Chairs: Patrick Koopmann · Vrije Universiteit Amsterdam, Netherlands Yazmin Ibanez Garcia · Cardiff University, United Kingdom Local Chairs: Bartosz Bednarczyk · University of Wrocław, Poland & TU Wien, Austria Barbara Morawska · University of Opole, Poland Contact PC co-chairs can be contacted via e-mail: dl2025 “at” easychair.org.

1 0

Marktoberdorf Summer School 2025, August 6-15, 2025
by Kovacs, Laura 22 Apr '25

22 Apr '25

CALL FOR PARTICIPATION MARKTOBERDORF SUMMER SCHOOL 2025 ON SPECIFICATION AND VERIFICATION FOR SECURE CYBERSPACE August 6 to 15, 2025 http://www.mod25.de/ The Marktoberdorf Summer School is a 10-day event for young computer scientists and mathematicians, typically doctoral and postdoctoral researchers. It provides mini-courses on state-of-the-art topics in specification and verification and leaves ample room for interaction between participants and speakers. Registration is open. Register online at https://www.congresscenter.philosophie.uni-muenchen.de/kongresse/mod25/part… Deadline: May 5, 2025 Speakers and courses: Erika Ábrahám: The Art of SMT Solving Christel Baier: Probabilistic Model Checking David Basin: Analyzing Cryptographic Protocols with Tamarin Jasmin Blanchette: Saturation-Based Theorem Proving Byron Cook: Cloud Reasoning Alastair Donaldson: Automated Randomized Testing of Compilers Ichiro Hasuo: Abstract and Concrete Model Checking: Through the Lens of Lattice Theory and Category Theory Marijn Heule: Mathematics and Symbolic AI Laura Kovács: First-Order Theorem Proving and Vampire Assia Mahboubi: Formal Proofs for Free! Ruzica Piskac: Privacy-Preserving Automated Reasoning Alexandra Silva: Kleene Algebra with Tests: An Algebraic Approach to Program Verification Sponsors: Amazon Web Services, LMU München, TU Wien

1 0

VCLA International Student Awards - Deadline Extension and Last Call for Nominations
by Hackl, Andrea 22 Apr '25

22 Apr '25

The deadline for the submission of self-nominations for the VCLA International Student Awards has been extended to the 30th of April 2025! Please find the revised call for nominations below. ---------------------------------- The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: - Outstanding Master Thesis Award* - Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive). ---------------------------------- The main areas of interest are: ---------------------------------- - Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). - Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. - Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). - Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. ---------------------------------- Awards ---------------------------------- - The Outstanding Master Thesis Award: 1200 EUR. - The Outstanding Undergraduate Thesis Award: 800 EUR. - The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows. ---------------------------------- Eligibility ---------------------------------- - The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive). - Students who obtained their degree at TU Wien are not eligible. ---------------------------------- Nomination Requirements ---------------------------------- Nominations must include: - A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university. - An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest. - The CV of the nominated person, including publication list (if applicable). - An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to vcla_awards (AT) tuwien.ac.at. - The full thesis. All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ---------------------------------- Instructions for submitting self-nominations ---------------------------------- - Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2025. - Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis. - The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to vcla_awards (AT) tuwien DOT ac DOT at. - The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. - The nominated student must be listed as the only author in the submission form. ---------------------------------- Important dates ---------------------------------- - Submission deadline: April 30, 2025 (anywhere on Earth) - Notification of decision: Beginning of July, 2025 ---------------------------------- Contact ---------------------------------- Please send all inquiries to vcla_awards(a)tuwien.ac.at<mailto:vcla_awards@tuwien.ac.at>. ---------------------------------- VCLA Award Committee 2025 ---------------------------------- Shqiponja Ahmetaj (chair) Alexis de Colnet Katalin Fazekas Simon Dominik Fink Phuc Hung Hoang Daniela Kaufmann Matthias Lanzinger Xinghan Liu Anela Lolic (chair) Sanja Lukumbuzya Xavier Parent Adrian Rebola Pardo Martin Riener Zeynep Saribatur Sebastian Skritek Martin Tappler ---------------------------------- Website with information on the award and the previous awardees ---------------------------------- https://www.vcla.at/vcla-awards/

1 0

DaLi 25, 2nd call for papers
by Alexandre Madeira 22 Apr '25

22 Apr '25

=========================================================== DaLí 2025 - 2nd Call for Papers DaLí 2025: 6th Workshop on Dynamic Logic - New trends and applications Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China October 20-21, 2025 *** http://www.dali2025.cn<http://www.dali2025.cn/> *** !! UPDATES: - Invited Speakers announcement - LNCS volume confirmed - Best paper award !! =========================================================== *** Important Dates *** - Abstract submission deadline: *1st June, 2025* - Full paper submission deadline: *5th of June, 2025* - Author notifications: *15th of July, 2025* **** Overview ***** Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions, including (but not limited to) frameworks tailored for specific programming problems/ paradigms (e.g., separation logics), settings for modelling new computing domains (e.g., probabilistic, continuous and quantum computation), frameworks for reasoning about information dynamics (e.g., dynamic epistemic logics) and systems for reasoning about long term information dynamics (e.g., learning theory). Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations. Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023). **** List of Topics **** Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to): - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic/game logics - Kleene and action algebras and their variants - The interface between logic and learning - Quantum dynamic logic - Co-algebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics - Integration of Dynamic Logic with Machine Learning Models **** Submission and Proceedings **** We solicit two categories of papers: .Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages). .Short papers - describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=dal2025 The post-proceedings will be published in a volume of Lecture Notes in Computer Science (Springer). Moreover, a special issue of the event with extended papers will be published in Journal of Logical and Algebraic Methods in Programming (Elsevier). * Best Student Paper Award: Awarded to the most outstanding student-authored contribution. Prize of 500 € to be shared equally among student co-authors. Sponsored by School of Philosophy, Shaanxi Normal University. *** Invited Speakers *** Alexandru Baltag (U. Amsterdam, NL) Luís S. Barbosa (Informatic Dep., U. Minho, PT) Fenrong Liu (Tsinghua University, CN) *** Program Committee Chairs *** Jing Wang (Shaanxi Normal University, China) Alexandre Madeira (University of Aveiro, PT) *** Organising Committee chair *** Lei Li (Shaanxi Normal University, China) *** Program Committee *** Thomas Ågotnes (U. of Bergen, No) Carlos Areces (FaMAF, Ar) Philippe Balbiani (IRIT, Fr) Alexandru Baltag (U Amesterdam, Nl) Luís Soares Barbosa (U of Minho, Pt) Mario Benevides (UFF, Br) Thomas Bolander (Technical U. of Denmark, Dk) Raul Fervari (U. Nacional de Córdoba, CONICET, Ar) Sabine Frittella (Lab. d'Informatique Fondamentale d'Orléans, Fr) Xiaoxuan Fu (China U. of Political Science and Law, Ch) Sujata Ghosh (Indian Statistical Institute, In) Leandro Gomes (Lille University, Fr) Reiner Hähnle (TU Darmstadt, Ge) Asta Halkjær From (U. of Copenhagen, Dk) Andreas Herzig (CNRS, IRIT, Univ. Toulouse, Fr) Gabriele Kern-Isberner (Dortmund University, De) Alexander Knapp (Universität Augsburg, Ge) Sophia Knight (U. of Minnesota Duluth, USA) Katherine Kosaian (U. of Iowa, USA) Clemens Kupke (U. of Strathclyde, UK) Lei Li (Shaanxi Normal University, Ch) Fei Liang (School of Philosophy and Social Development, Shandong U., Ch) Fenrong Liu (Tsinghua University, Ch) Alexandre Madeira (University of Aveiro, Pt) Manuel A. Martins (University of Aveiro, Pt) Alessandra Palmigiano (Vrije Universiteit Amsterdam, Nl) Elaine Pimentel (UCL, UK) R Ramanujam (I. of Mathematical Sciences, Chennai, In) Katsuhiko Sano (F. of Humanities and Human Sciences, Hokkaido U., Jp) Igor Sedlar (Czech Academy of Sciences, Cz) Sonja Smets (U. Amsterdam, Nl) Ionuț Țuțu (IMAR, Ro) Johan van Benthem (U. Amsterdam, Nl) Jing Wang (Shaanxi Normal University, Ch) Yì Nicholas Wáng (Dep of Philosophy, Sun Yat-sen University, Ch) Zhaoqing Xu (Sichuan University, Ch) Fan Yang (Utrecht University, Nl) Zhiguang Zhao (Taishan University, Ch) *** Steering Committee *** Alexandru Baltag (U. Amsterdam, NL) Alexandre Madeira (U. Aveiro, PT) Andreas Herzig (IRIT, U. Paul Sabatier, FR) Fenrong Liu (Tsinghua U., CH) Johan van Benthem (U. Amsterdam, NL) Igor Sedlár (Czech Academy of Sciences, CZ) Luís Soares Barbosa (U. Minho, PT), Chair Manuel Martins (U. Aveiro, PT) Mário Benevides (Federal U. Rio de Janeiro, BR) Sonja Smets (U. Amsterdam, NL) ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/

1 0

PhD Position in Logic, Databases, and Semiring Semantics – University of Tartu
by Miika Juhani Hannula 15 Apr '25

15 Apr '25

We invite applications for a fully funded PhD position at the University of Tartu, Estonia, in the area of logic in computer science, database theory, and semiring semantics. The research explores how classical logical and complexity-theoretic tools can be extended to models and computations enriched with semirings—a framework underlying annotated databases, provenance, confidence scoring, and related applications. Requirements: Master’s degree in computer science, mathematics, or a related field; background and interest in logic, theoretical computer science, or database theory. Opportunities: Work in the modern Delta Centre, home to the University of Tartu's Institute of Computer Science. The position offers local and international collaboration possibilities—including a planned extended research visit to the University of Helsinki—and participation in research seminars within the institute. * Gross salary: €2200–2300/month * Application period: 1–15 May 2025 * Application portal: https://estonia.dreamapply.com/en_GB/courses/course/1189-phd-mathematics-an… * Admission info: https://ut.ee/en/curriculum/mathematics-and-computer-science * Open calls (see Computer Science #7): https://ut.ee/en/content/phd-open-calls For informal inquiries, contact Miika Hannula (miika.hannula(a)ut.ee).

1 0

Ackermann Award: First call for nominations - Deadline 1st July
by Maribel Fernandez 14 Apr '25

14 Apr '25

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 1 July 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: 1. 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); 2. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); 3. 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; 4. a short CV of the candidate. *** The Award 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. *** Ackermann Jury The jury consists of: * Albert Atserias (UPC Barcelona) * Christel Baier (TU Dresden) * Andrej Bauer (U Ljubljana) * Javier Esparza (TU Munich) * Maribel Fernandez (King’s College London), EACSL president * Jean Goubault-Larrecq (ENS Paris-Saclay) * Joost-Pieter Katoen (RWTH Aachen U), ACM SigLog rep. * Delia Kesner (IRIF, U Paris Cite) * Slawomir Lasota (U Warsaw) * Florin Manea (U Goettingen), EACSL vice-president * Prakash Panangaden (McGill U) * James Worrell (U Oxford) For more information please contact Maribel Fernandez: Maribel.Fernandez(a)kcl.ac.uk -- Professor Maribel Fernandez Vice Dean (People and Planning) Faculty of Natural, Mathematical & Engineering Sciences Department of Informatics King’s College London https://nms.kcl.ac.uk/maribel.fernandez

1 0

Fwd: LMW@LICS'25 - Call for participation and scholarship applications
by Elli Anastasiadi 13 Apr '25

13 Apr '25

Call for Participation Logic Mentoring Workshop (LMW@LICS 2025) Singapore 23 June 2025 https://logic-mentoring-workshop.github.io/lics25/ Co-located with Logic in Computer Science (LICS) 2025 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 will be set up through the LICS website at a later date. Registration fees will be kept very low. 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. Deadline: May 10th (applications are accepted after that date if funds allow) Apply by filling this form: https://docs.google.com/forms/d/1won7RTFgMbMtzhNiAARP5BzXTLPJKVcAj9zyIlmqVL8 We want to point out that the ACM proposes a scholarship for women, with deadline April 15th which may be useful to participants who qualify. You can find the information here: https://women.acm.org/scholarships/ 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(a)mpi-sws.org ORGANIZING COMMITTEE Elli Anastasiadi, Linus Richter, Lia Schütze, Chana Weil-Kennedy

1 0

Deadline approaching: Postdoc position @ King's College London
by Hubie Chen 09 Apr '25

09 Apr '25

## Postdoc position in Theoretical CS @ King's College London A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural decomposition methods, term rewriting, and parameterized complexity theory. Key dates: the application deadline is April 17, 2025; it is hoped that the successful applicant will start by August 2025, but there is some flexibility concerning the start date. If the position is started by August 1, 2025, it can be held for at least 1 year. The exact starting date and duration can be set in a way that takes into account the successful candidate's needs and schedule. To apply, please follow the instructions at: https://my.corehr.com/pls/coreportal_kclp/erq_jobspec_version_4.display_for… If you are planning to apply, it will be appreciated if, in addition to following the instructions at this link, you would e-mail your CV to hubie.chen(a)kcl.ac.uk . Any questions can also be directed to this e-mail address.

1 0

2nd call for papers DaLí 2025
by Alexandre Madeira 06 Apr '25

06 Apr '25

====================================================================== DaLí 2025 - 2nd Call for Papers DaLí 2025: 6th Workshop on Dynamic Logic - New trends and applications Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China October 20-21, 2025 *** http://www.dali2025.cn *** !! UPDATES: - Invited Speakers announcement - LNCS volume confirmed - Best paper award !! ====================================================================== *** Important Dates *** - Abstract submission deadline: *1st June, 2025* - Full paper submission deadline: *5th of June, 2025* - Author notifications: *15th of July, 2025* **** Overview ***** Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions, including (but not limited to) frameworks tailored for specific programming problems/ paradigms (e.g., separation logics), settings for modelling new computing domains (e.g., probabilistic, continuous and quantum computation), frameworks for reasoning about information dynamics (e.g., dynamic epistemic logics) and systems for reasoning about long term information dynamics (e.g., learning theory). Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations. Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023). **** List of Topics **** Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to): - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic/game logics - Kleene and action algebras and their variants - The interface between logic and learning - Quantum dynamic logic - Co-algebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics - Integration of Dynamic Logic with Machine Learning Models **** Submission and Proceedings **** We solicit two categories of papers: .Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages). .Short papers - describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=dal2025 The post-proceedings will be published in a volume of Lecture Notes in Computer Science (Springer). Moreover, a special issue of the event with extended papers will be published in Journal of Logical and Algebraic Methods in Programming (Elsevier). * Best Student Paper Award: Awarded to the most outstanding student-authored contribution. Prize of 500 € to be shared equally among student co-authors. Sponsored by School of Philosophy, Shaanxi Normal University. *** Invited Speakers *** Alexandru Baltag (U. Amsterdam, NL) Luís S. Barbosa (Informatic Dep., U. Minho, PT) Fenrong Liu (Tsinghua University, CN) *** Program Committee Chairs *** Jing Wang (Shaanxi Normal University, China) Alexandre Madeira (University of Aveiro, PT) *** Organising Committee chair *** Lei Li (Shaanxi Normal University, China) *** Program Committee *** Thomas Ågotnes (U. of Bergen, No) Carlos Areces (FaMAF, Ar) Philippe Balbiani (IRIT, Fr) Alexandru Baltag (U Amesterdam, Nl) Luís Soares Barbosa (U of Minho, Pt) Mario Benevides (UFF, Br) Thomas Bolander (Technical U. of Denmark, Dk) Raul Fervari (U. Nacional de Córdoba, CONICET, Ar) Sabine Frittella (Lab. d'Informatique Fondamentale d'Orléans, Fr) Xiaoxuan Fu (China U. of Political Science and Law, Ch) Sujata Ghosh (Indian Statistical Institute, In) Leandro Gomes (Lille University, Fr) Reiner Hähnle (TU Darmstadt, Ge) Asta Halkjær From (U. of Copenhagen, Dk) Andreas Herzig (CNRS, IRIT, Univ. Toulouse, Fr) Gabriele Kern-Isberner (Dortmund University, De) Alexander Knapp (Universität Augsburg, Ge) Sophia Knight (U. of Minnesota Duluth, USA) Katherine Kosaian (U. of Iowa, USA) Clemens Kupke (U. of Strathclyde, UK) Lei Li (Shaanxi Normal University, Ch) Fei Liang (School of Philosophy and Social Development, Shandong U., Ch) Fenrong Liu (Tsinghua University, Ch) Alexandre Madeira (University of Aveiro, Pt) Manuel A. Martins (University of Aveiro, Pt) Alessandra Palmigiano (Vrije Universiteit Amsterdam, Nl) Elaine Pimentel (UCL, UK) R Ramanujam (I. of Mathematical Sciences, Chennai, In) Katsuhiko Sano (F. of Humanities and Human Sciences, Hokkaido U., Jp) Igor Sedlar (Czech Academy of Sciences, Cz) Sonja Smets (U. Amsterdam, Nl) Ionuț Țuțu (IMAR, Ro) Johan van Benthem (U. Amsterdam, Nl) Jing Wang (Shaanxi Normal University, Ch) Yì Nicholas Wáng (Dep of Philosophy, Sun Yat-sen University, Ch) Zhaoqing Xu (Sichuan University, Ch) Fan Yang (Utrecht University, Nl) Zhiguang Zhao (Taishan University, Ch) *** Steering Committee *** Alexandru Baltag (U. Amsterdam, NL) Alexandre Madeira (U. Aveiro, PT) Andreas Herzig (IRIT, U. Paul Sabatier, FR) Fenrong Liu (Tsinghua U., CH) Johan van Benthem (U. Amsterdam, NL) Igor Sedlár (Czech Academy of Sciences, CZ) Luís Soares Barbosa (U. Minho, PT), Chair Manuel Martins (U. Aveiro, PT) Mário Benevides (Federal U. Rio de Janeiro, BR) Sonja Smets (U. Amsterdam, NL) ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/

1 0

FSCD 2027: Call for Location
by Carsten Fuhs 03 Apr '25

03 Apr '25

(Apologies for multiple copies of this announcement. Please circulate.) --------------- Call for Location for FSCD 2027 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 *** Sat, May 24th, 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(a)univ-lille.fr FSCD SC Chair

1 0