February 2025 - finite-model-theory

a talk announcement
by R Ramanujam 01 Apr '25

01 Apr '25

hi, would the following talk announcement be of interest to the FMT group? thanks, ram On the occasion of World Logic Day, January 14, 2025, the DLMPST Commission on Logic Education invites you to a webinar by Professor Moshe Vardi. Date: January 14, 2025 Time: 0700 CST, 1300 GMT, 1400 CET, 1830 IST, 2100 (Beijing) Zoom Link: URL: https://cmi-ac-in.zoom.us/j/89055168551?pwd=7SeShMDEKSLw1wy6ZaZj4JEa0hiuqE.1 Meeting ID: 890 5516 8551 Passcode: gangesha Talk details: Machine Learning and Logic: Fast and Slow Thinking Moshe Y. Vardi Rice University Computer science seems to be undergoing a paradigm shift. Much of earlier research was conducted in the framework of well-understood formal models. In contrast, some of the hottest trends today shun formal models and rely on massive data sets and machine learning. A cannonical example of this change is the shift in AI from logic programming to deep learning. I will argue that the correct metaphore for this development is not paradigm shift, but paradigm expansion. Just as General Relativity augments Newtonian Mechanics, rather than replace it -- we went to the moon, after all, using Newtonian Mechanics -- data-driven computing augments model-driven computing. In the context of Artificial Intelligence, machine learning and logic correspond to the two modes of human thinking: fast thinking and slow thinking. The challenge today is to integrate the model-driven and data-driven paradigms. I will describe one approach to such an integration -- making logic more quantitative. I will conclude by discussing implications for computer-science education. Speaker Bio: Moshe Y. Vardi is a University Professor, and the George Distinguished Service Professor in Computational Engineering at Rice University. He is the author and co-author of close to 800 papers, as well as two books. He is the recipient of several scientific awards, is a fellow of several societies, and a member of several honorary academies. He holds ten honorary titles. He is a Senior Editor of Communications of the ACM, the premier publication in computing, focusing on societal impact of information technology. -- R Ramanujam

1 1

ICDT 2026 - Final Call for Papers
by Balder ten Cate 01 Mar '25

01 Mar '25

** ICDT 2026 - Final Call for Papers (for the first submission round) ** ICDT is a series of international scientific conferences on research of data management theory (https://databasetheory.org/icdt-pages). Since 2009, it is annually and jointly held with EDBT (Extending DB Technology). The 29th edition of ICDT, in 2026, will take place in Tampere, Finland. ** Topics of Interest ** We welcome research papers on every topic related to the principles and theory of data management, provided that there is a clear connection to foundational aspects. This includes, for example, articles on "classical" data management topics such as: - The theoretical investigation of various aspects of underlying data management systems (e.g., Indexes, Concurrency and recovery, Distributed and parallel databases, Cloud computing, Privacy and security, Graph databases, Data streams and sketching, Data-centric (business) process management and workflows, Data and knowledge integration and exchange, Data provenance, Views, Data warehouses, Domain-specific databases - multimedia, scientific, spatial, temporal, text data, ...), - The design and study of data models and query languages, - The development and analysis of algorithms for data management, but also includes papers exploring existing or identifying new connections between data management and other areas, such as the areas of: knowledge representation, semantic web, web services, information retrieval and data mining, machine learning/AI, distributed computing, theoretical computer science. In all of the above, a clear emphasis on foundational aspects is expected. You may want to check https://dblp.org/db/conf/icdt/index.html to get an overview of previous editions of ICDT. The Program Committee reserves the right to desk reject a submission when it is regarded to be out of scope. ** Submission Cycles and Dates ** ICDT will have two submission cycles for 2026, with deadlines as follows: All times are Anywhere on Earth (UTC + 12) ** ICDT Submission Cycle 1 ** March 13, 2025: Abstract submission March 20, 2025: Paper submission June 1, 2025: Notification ** ICDT Submission Cycle 2 ** September 3, 2025: Abstract submission September 10, 2025: Paper submission December 1, 2025: Notification Papers rejected in the first submission cycle cannot be submitted to the second submission cycle unless explicitly requested by the reviewers. ** Program Committee ** ** ICDT 2026 Program Committee Chair ** Balder ten Cate, ILLC, University of Amsterdam ** ICDT 2026 Program Committee Members ** Antonella Poggi, University of Rome Sapienza Batya Kenig, Technion Carsten Lutz, University of Leipzig Cristina Sirangelo, CNRS, Université Paris Cité Diego Figueira, CNRS, Univ Bordeaux Dominik Freydenberger, Loughborough University Emanuel Sallinger, TU Wien Floris Geerts, University of Antwerp Francesco Scarcello, Università della Calabria Hubie Chen, King's College London Jeff M. Phillips, University of Utah Liat Peterfreund, Hebrew University of Jerusalem Luc Segoufin, INRIA, ENS Ulm Mahmoud Abo Khamis, RelationalAI Marco Calautti, Università degli Studi di Milano Markus Schmid, Humboldt-Universität zu Berlin Martin Grohe, RWTH Aachen University Matthias Niewerth, Bayreuth University Miika Hannula, University of Tartu Sanjay Krishnan, University of Chicago Sebastian Rudolph, TU Dresden Stavros Sintos, University of Illinois Chicago Stefan Mengel, CNRS, Université d’Artois ** Submission Instructions ** All submissions will be electronic via EasyChair. Link: https://easychair.org/conferences/?conf=icdt2026 Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. Papers must be submitted as PDF documents, using the LIPIcs style ( http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors). ** Tracks ** 1. ** Regular Research Papers (15 pages, anonymized) ** The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. Papers must be at most 15 pages, excluding references. Additional details may be included in a clearly marked appendix, which, however, will be read at the discretion of the program committee (online appendices are not allowed). Papers not conforming to these requirements may be rejected without further consideration. 2. ** Database Theory in Action (4 pages, non-anonymized) ** To broaden the scope of ICDT and showcase the impact of database theory, ICDT 2026 includes again a “Database Theory in Action” track that calls for short papers illustrating interesting applications of database theory in other domains or in solving real-world problems. These papers will be 4 pages + references, and can be based on a previously published paper at another venue. In particular, we invite papers that demonstrate novel and important connections between database theory and neighboring communities such as Database Systems, Operating Systems, Programming Languages, Machine Learning, Artificial Intelligence, Knowledge Representation, Distributed Computing, and Industry. At the discretion of the program committee, there may be invited papers to this track as well. The title of the papers submitted to this track must start with “Database Theory in Action:”. These papers should also include clear pointers to all relevant previous publications, websites, tools, repositories, etc. The proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees that the proceedings will be available online and free of charge, while the authors retain the rights over their work. At least one author of each accepted paper is expected to register at the conference and to present the paper. ** Anonymous Submission ** From 2024, ICDT has adopted anonymous submission (only for regular track papers; submissions for the “database theory in action” track should not be anonymous), in line with other leading conferences in the database community such as SIGMOD and PODS. The intent of anonymous submission is to ensure that the identity of the authors is not presented to the reviewers during the review process. Specifically, submitted papers must not list authors or affiliations, and must not include acknowledgments to funding sources, or other colleagues or collaborators. References to the authors' own prior work must not be distinguished from other references. Where this is not possible (for instance, when referring to a specific system to which the authors have privileged access), anonymized citations are permissible. For more background on the motivation for anonymous submissions, and the mechanisms to achieve it, please consult [Snodgrass, 2007] https://www2.cs.arizona.edu/~rts/pubs/TODS07.pdf Simultaneously, the authors may make their submissions available to the community via pre-print services such as ArXiv and through talks. We do require that work is not labeled as "under submission at ICDT" or indicates that it is under review, but otherwise place no restrictions on sharing results. This does not conflict with the anonymous submission requirement. **Awards** An award will be given to the Best Paper. Also, an award will be given to the Best Newcomer Paper written by newcomers to the field of database theory. The latter award will preferentially be given to a paper written only by students; in that case the award will be called Best Student-Paper Award. The program committee reserves the following rights: not to give any award; to split an award among several papers; and to define the notion of a newcomer. Papers authored or co-authored by program committee members are not eligible for a best paper or a best newcomer paper award.

1 0

[CFP] Third Call for Papers: DEON 2025
by Hackl, Andrea 26 Feb '25

26 Feb '25

================================================ Extended Submission Deadline ================================================ THIRD CALL FOR PAPERS: DEON 2025, VIENNA The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) will be held July 1 - July 3, 2025 at TU Wien (Vienna, Austria). The conference will be preceded by a day of tutorials on June 30. We happily invite paper submissions and participation at DEON 2025. *About the DEON conference series* The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts, normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The series particularly aims at fostering interdisciplinary collaboration that combines methods from these various fields. Topics include but are not limited to the investigation of normative reasoning, concepts, and systems in relation to: agency and action, argumentation, defeasible reasoning, deontic modals, epistemic reasoning, explainability, knowledge representation, legal reasoning, multi-agent systems, natural language, norm change/revision, philosophy of reasons, policy preference reasoning, responsibility, social values, temporal reasoning and trustworthy systems. We welcome submissions of both theoretical and applied research for DEON 2025, and encourage interdisciplinary work. *Special focus* In addition to the general themes of the DEON conference series, DEON 2025 encourages the submission of papers on the special theme of Normative AI. The central aim of Normative AI is to ensure that AI systems make morally, legally, and socially acceptable decisions. As AI becomes increasingly important to human society, it is crucial to ensure that these technologies have a positive and responsible impact. This highly interdisciplinary field involves the evaluation and development of theories, formal frameworks, and algorithms, integrating both symbolic and sub-symbolic AI methods. *Important dates* - Abstract submission deadline: March 05, 2025 (extended) - Paper submission deadline: March 13, 2025 (extended) - Notification of acceptance: May 08, 2025 - Camera-ready version: May 25, 2025 - Tutorial day: June 30, 2025 - Conference: July 1 - July 03, 2025 *Keynotes* Natasha Alechina (Utrecht University, The Netherlands) Henry Prakken (Utrecht University, The Netherlands) Christian Straßer (Ruhr University Bochum, Germany) *Tutorial day* In addition to the conference, DEON 2025 will be paired with full tutorial day hosting a variety of tutorials on DEON related topics by top researchers in their respective fields. The tutorial will be given by: - Pedro Cabalar (Corunna University, Spain) - Ilaria Canavotto (University of Maryland, US) - Elisa Freschi (University of Toronto) & Josephine Dik (TU Wien) - Matthias Scheutz (Tufts Institute for AI, US) *Publication* The proceedings of the conference will be published by College Publications as an open-access book and will be available for participants during the conference. *Submission details* We invite submission of original and unpublished work. Parallel submission to journals or other conferences or workshops with published proceedings is not permitted. The reviewing process is single-blind (non-anonymized). Papers should be written in English. Submitted papers should not be longer than 15 pages (excluding references and technical appendix). Paper submission in PDF format will be managed through EasyChair. Submission templates and guidelines can be found on the Website: https://sites.google.com/view/deon-2025/home *Program Chairs* Agata Ciabattoni, Vienna University of Technology (TU Wien) John Horty, University of Maryland, USA *Program Committee* Houssam Abbas (Oregon State University) Chitta Baral (Arizona State University) Christoph Benzmüller (Otto-Friedrich-Universität Bamberg) Kees van Berkel (TU Wien) Jan Broersen (Utrecht University) Ilaria Canavotto (University of Maryland) Jose Carmo (University of Madeira) Huimin Dong (TU Wien) Hein Duijf (Utrecht University) Federico L. G. Faroldi (University of Pavia) Stef Frijters (KU Leuven) Guido Governatori (Central Queensland University) Joris Hulstijn (Utrecht University) Aleks Knoks (University of Luxembourg) Björn Lellmann (Bundesministerium für Finanzen) Emiliano Lorini (IRIT) Tim Lyon (Technische Universität Dresden) Juliano Maranhao (University of São Paulo) Réka Markovich (University of Luxembourg) Alessandra Marra (MCMP LMU Munich) Paul McNamara (University of New Hampshire) Robert Mullins (University of Oxford) Shyam Nair (Arizona State University) Pavel Naumov (University of Southampton) Eugenio Orlandelli (University of Bologna) Eric Pacuit (University of Maryland) Xavier Parent (TU Wien) Clayton Peterson (Université du Québec à Trois-Rivières) Gabriella Pigozzi (Université Paris-Dauphine) Antonino Rotolo (University of Bologna) Frederik Van De Putte (Erasmus University of Rotterdam & Ghent University) Olivier Roy (Universität Bayreuth) Ken Satoh (Center for Juris-Informatics, ROIS, Japan) Christian Strasser (Ruhr-University Bochum) Allard Tamminga (University of Greifswald) Leon van der Torre (University of Luxembourg) Paolo Turrini (University of Warwick) Serena Villata (CNRS - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis) Tomoyuki Yamada (Hokkaido University)

1 0

[fm-announcements] LOPSTR 2025 call for papers
by Laura Titolo via fm-announcements 24 Feb '25

24 Feb '25

35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025). Part of ICLP 2025 and co-located with PPDP 2025 September 9-10, 2025 - Rende, Italy https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flopstr.gi… Important dates: - Abstract submission: May 9, 2025 (AoE) - Paper submission: May 16, 2025 (AoE) - Author notification: June 27, 2025 (AoE) - Camera-ready: July 17, 2025 (AoE) - Symposium: September 9-10, 2025 OVERVIEW 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. At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Information about venue and travel will be available on the ICLP 2025 website. 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, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security - logic-based methods for cyber-physical and distributed systems - applications, tools, and industrial practice 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. PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References will NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. 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. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC Chairs in case of questions). 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. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the journal's standard reviewing process. SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions on the author's page, and use their proceedings templates, either for LaTeX (available also in Overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair… PROGRAM CHAIRS Santiago Escobar, Univesitat Politecnica de Valencia, Spain Laura Titolo, Code Metal, USA PUBLICITY CHAIR Manuel Borroto, University of Calabria, Italy HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia: https://gcc02.safelinks.protection.outlook.com/?url=http%3A%2F%2Flopstr.web…. You can find the contents of past LOPSTR symposia at DBLP (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdblp.uni-…) and past LNCS proceedings at Springer (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flink.spri…). --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0

[fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025
by Ivan Ruchkin via fm-announcements 24 Feb '25

24 Feb '25

Call for Papers: 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS) We cordially invite submissions for the upcoming 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS), which explores the intersection of artificial intelligence, safety, security, testing, and verification in autonomous cyber-physical systems. This workshop will focus on neurosymbolic methods and foundation models to address the challenges of testing, verifying, and deploying autonomous systems in critical environments. Their typical examples include autonomous vehicles, aerial drones, and industrial control systems. The workshop will be held on July 21, 2025. It will be co-located with the 37th International Conference on Computer-Aided Verification (CAV) in Zagreb, Croatia. Our primary goal is to facilitate meaningful discussions and idea exchanges between workshop paper authors and our world-leading TPC members. We accept the following three paper categories, which will not be considered official, formal publications. Each submission will undergo the same rigorous review process by our TPC. This approach allows authors to further refine or submit their work to other top-tier venues. Accepted workshop papers will be hosted on Arxiv and shared with a broader audience through our TACPS community, with the potential to be invited for follow-up discussions at Shonan and Dagstuhl seminars in 2026. Paper Categories: 1. Vision Papers (4 pages, plus 1 page for references) Vision papers should present innovative and groundbreaking ideas supported by promising initial results or speculative visions about the future of autonomous CPS. Submissions should provide well-motivated arguments and strong scientific intuition, laying the groundwork for future research directions in neurosymbolic methods and foundation models for autonomous systems. We particularly encourage the discussion of how formal methods will contribute to these directions. 2. Research Papers (8 pages, plus 2 pages for references) Research papers should describe original, unpublished theoretical, empirical, conceptual, or experimental research related to neurosymbolic approaches and foundation models applied to autonomous CPS. Papers should present novel contributions to the fields of verification, safety, and testing of autonomous systems using these advanced techniques. Survey papers on relevant topics are also welcome under this category. 3. Experience Papers (8 pages, plus 2 pages for references) Experience papers should focus on the practical application and implementation aspects of neurosymbolic and foundation model-based approaches in autonomous CPS. These papers should detail real-world use cases, system integration challenges, and insights from deploying these techniques in practice. Topics of Interest (including but not limited to): • Neurosymbolic Reasoning, Learning, and Verification for Autonomous CPS • Integration of symbolic reasoning with machine learning models for decision-making and learning in autonomous systems. • Case studies of neurosymbolic reasoning in real-world autonomous CPS applications. • Formal safety and correctness verification techniques for neurosymbolic models and their application in ensuring the safety of autonomous systems. • Program Synthesis for Autonomous CPS • Techniques for automatically synthesizing programs (e.g., type-directed synthesis) for autonomous systems using formal typing systems. • Program synthesis methods that combine symbolic and neural components to ensure correctness and safety in autonomous CPS. • Methods for transforming and synthesizing code to improve the performance, reliability, and safety of autonomous systems. • Using synthesis to adapt code based on changing environments and scenarios. • Foundation Models-Based Test Generation for Autonomous CPS • Leveraging large-scale foundation models to generate effective test cases for autonomous CPS. • Applying foundation models for fault detection and robustness testing in real-world environments. • Neurosymbolic Reinforcement Learning for Autonomous CPS • Integrating neurosymbolic methods with reinforcement learning to improve decision-making in autonomous systems. • The role of neurosymbolic approaches in reinforcement learning-based autonomous systems, focusing on real-time safety and adaptability. • Surveys of Neurosymbolic and Foundation Models for Autonomous CPS • Comprehensive surveys of current research on neurosymbolic methods and foundation models applied to autonomous CPS. Such surveys fall under the Research Papers category. • Review and comparison of existing techniques and their potential to advance autonomous systems’ reliability, safety, and trustworthiness. • Formal Methods for Trustworthy Autonomous CPS • Use of formal methods (satisfiability solving, model checking, reachability verification, theorem proving, and other techniques) for proving the correctness, safety, and other trustworthiness aspects of autonomous CPS. • The application of formal verification to the development and deployment of neurosymbolic systems and foundation models in autonomous CPS. Submission Details: • Paper Format: Submissions must follow the ACM conference style and all authors should use the official “ACM Primary Article Template”, as can be obtained from the ACM Proceedings Template page <https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.acm.o…>. • Microsoft Word users: please still use the “Interim Template” and not the New Workflow for ACM Publications. This should result in a two-column format. • LaTeX users: please refer to the sample-sigconf.tex example file in the template available on the ACM Proceedings Template page <https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.acm.o…>. • Submission Link: Papers must be submitted through the Easychair system: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair… • Review Process: Submissions will undergo a single-blind review process, and all accepted papers will be published in an Arxiv proceedings volume. • Deadlines: • All paper submissions are due by March 31, 2025 (anywhere on Earth) • Notifications will be sent by April 30, 2025 • The camera-ready deadline is set for May 30, 2025 (anywhere on Earth) We look forward to receiving your submissions and hope to see you at the workshop! For more information on the workshop, please visit https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.tacps…. --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0

DaLí 2025, 1st call for papers
by Alexandre Madeira 20 Feb '25

20 Feb '25

====================================================================== DaLí 2025 - 1st 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 ***(temporary link) http://dali2025.web.ua.pt *** ====================================================================== *** 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í 2025 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 A post-proceedings volume in Springer LNCS is being arranged. A special issue of the event with extended papers will be published in Journal of Logical and Algebraic Methods in Programming (Elsevier). *** Invited Speakers *** TBA *** 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 madeira(a)ua.pt

1 0

VCLA International Student Awards - Call for Nominations
by Hackl, Andrea 19 Feb '25

19 Feb '25

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 20th, 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 and Anela Lolic will be co-chairing this edition of the VCLA International Student Awards. The remaining members of the committee will be announced in due time. ---------------------------------- Website with information on the award and the previous awardees ---------------------------------- https://www.vcla.at/vcla-awards/

1 0

FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22)
by Carsten Fuhs 12 Feb '25

12 Feb '25

====================================================================================================================== Updated information on: EXTENDED DEADLINES, in-cooperation status with ACM SIGLOG, anti-harassment policy, sponsorship ====================================================================================================================== THIRD CALL FOR PAPERS Tenth International Conference on Formal Structures for Computation and Deduction (FSCD 2025) 14-20 July 2025, Birmingham, UK https://fscd-conference.org/2025/ In-cooperation with ACM SIGLOG IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: 17 February 2025 (extended) Submission: 22 February 2025 (extended) Rebuttal: 7-11 April 2025 Notification: 30 April 2025 Final version: 14 May 2025 OVERVIEW -------- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction, from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, nominal, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Process algebras (synchronous, asynchronous, static and dynamic semantics with and without time, etc.) - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalisation, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models of computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences; - Applications of formal systems in education. 6. Formal Systems for Modelling and Verification in new challenging areas: - Certification; - Security; - Blockchain; - Databases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- There will be a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2025 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. Submissions can be made in two categories: regular research papers and system descriptions. Please indicate in the submission page in Easychair and in the first page of the paper in which category you are submitting. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of each accepted paper is expected to register and present the work in person at the conference. In case that this is not possible for some unforeseen reason, online presentation will be arranged, but in person registration will still be required. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The programme committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). INVITED SPEAKERS ---------------- Liron Cohen, Ben-Gurion University Mariangiola Dezani, University of Torino Ekaterina Komendantskaya, University of Southampton Jose Meseguer, University of Illinois Urbana-Champaign PROGRAMME COMMITTEE CHAIR ------------------------- Maribel Fernandez, King's College London, UK Email: fscd2025(a)easychair.org PROGRAMME COMMITTEE ------------------- Thorsten Altenkirch University of Nottingham, UK Sandra Alves University of Porto, Portugal Zena M. Ariola University of Oregon, US Mauricio Ayala-Rincon University of Brasilia, Brazil Kyungmin Bae Pohang University of Science and Technology, Korea Frederic Blanqui INRIA, France James Cheney University of Edinburgh, UK Ugo De'Liguoro University of Torino, Italy Santiago Escobar Universitat Politecnica de Valencia, Spain Silvia Ghilezan University of Novi Sad, Serbia Jean Goubault-Larrecq ENS Paris-Saclay, France Masahito Hasegawa Kyoto University, Japan Paul Blain Levy University of Birmingham, UK Christopher Lynch Clarkson University, US Assia Mahboubi INRIA, France, and VU Amsterdam, Netherlands Damiano Mazza CNRS, University Sorbonne Paris Nord, France Daniele Nantes-Sobrinho Imperial College, UK, and University of Brasilia, Brazil Naoki Nishida Nagoya University, Japan Valeria de Paiva Topos Institute, Berkeley, US Frank Pfenning Carnegie Mellon University, US Brigitte Pientka McGill University, Canada Alessandra di Pierro University of Verona, Italy Femke van Raamsdonk VU Amsterdam, Netherlands Simona Ronchi Della Rocca University of Torino, Italy Grigore Rosu University of Illinois Urbana-Champaign, US Manfred Schmidt-Schauss Goethe University, Germany Carolyn Talcott SRI, US Alvaro Tasistro Universidad ORT Uruguay Jamie Vicary University of Cambridge, UK Glynn Winskel Queen Mary University of London, UK CONFERENCE CHAIRS ----------------- Paul Blain Levy, University of Birmingham, UK Anupam Das, University of Birmingham, UK LOCAL WORKSHOPS CHAIRS ---------------------- Paul Blain Levy, University of Birmingham, UK Anupam Das, University of Birmingham, UK FSCD STEERING COMMITTEE ----------------------- Patrick Baillot (Chair), CNRS, University of Lille Ugo Dal Lago, University of Bologna Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London (Publicity Chair) Marco Gaboardi, Boston University Herman Geuvers, Radboud University Nijmegen Juergen Giesl, RWTH Aachen University Cynthia Kop, Radboud University Nijmegen (SC Workshop Chair) Giulio Manzonetto, University Paris Cite Daniele Nantes, Imperial College London / University of Brasilia Femke van Raamsdonk, VU Amsterdam Jakob Rehof, TU Dortmund University SPONSORSHIP ----------- FSCD 2025 is proud to receive support from: University of Birmingham UK Research and Innovation The Research Institute on Verified Trustworthy Software Systems ANTI-HARASSMENT POLICY ---------------------- The open exchange of ideas and the freedom of thought and expression are central to the values and goals of SIGLOG. They require an environment that recognizes the inherent worth of every person and group. They flourish in communities that foster mutual understanding and embrace diversity. For these reasons, SIGLOG is committed to providing a harassment-free conference experience. As an event held in cooperation with SIGLOG, FSCD implements the ACM policy against harassment: https://www.acm.org/about-acm/policy-against-harassment

1 0

SPIN: Final Call for Papers
by Rozier, Kristin-Yvonne [AER E] 07 Feb '25

07 Feb '25

********************************************************** SPIN 31st International Symposium on Model Checking Software https://spin-web.github.io/SPIN2025/ 7 - 8 May 2025 co-located with ETAPS 2025, Hamilton, Canada ********************************************************* Theme of the Symposium: ----------------------- The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the SPIN model checker. However, over the years it has evolved to a broadly-scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: https://spinroot.com/spin/Workshops/. Topics of Interest: ------------------- Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of (concurrent) software/hardware, including: -- Model checking -- Deductive verification -- Automated theorem proving, including SAT and SMT -- Abstraction and symbolic execution techniques -- Static analysis and abstract interpretation -- Modular and compositional verification techniques -- Verification of timed and probabilistic systems -- Automated testing using advanced analysis techniques -- Program synthesis -- Derivation of specifications, test cases etc. via formal analysis -- Formal specification languages, temporal logic, design-by-contract -- Formal analysis of learned systems -- Any combination of the above * Application and/or engineering of verification tools, including: -- Case studies of interesting systems or with interesting results -- Implementation of novel verification tools -- Benchmarks and comparative studies for verification tools -- Verification tools using modern hardware, e.g.: multi-core CPU, GPU, TPU, cloud, and quantum Important Dates: ---------------- Paper Submission: 13 Feb 2025 Artifact Submission (Tool Papers): 27 Feb 2025 Paper/Artifact Notifications: 24 Mar 2025 Artifact Submission (Other Papers): 7 Apr 2025 Non-tool Paper Artifact Notification: 1 May 2025 Symposium: 7-8 May 2025 Submission Details: ------------------- We are soliciting three categories of papers: * Full Research Papers describing fully developed work and complete results (16 pages, excluding bibliography and appendices); * Full Tool Papers, accompanied by a *Mandatory Artifact*, describing work that is closely-related to the development or the evaluation of a verification tool or similar (16 pages, excluding bibliography and appendices); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages, excluding bibliography and appendices). Note: Artifact evaluation is optional for short papers but highly recommended for those with a focus on tools. If you want to have the accompanying artifact of your short paper evaluated, please submit it to the mandatory AE on February 27. Papers submission website: https://easychair.org/conferences/?conf=spin2025 -- in the track Research Papers, select the respective paper category. All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work. The proceedings of SPIN 2025 will be published as part of post-conference proceedings in Springer’s Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format; see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…. Please take into account Springer’s Book authors code of conduct when preparing submissions: https://www.springernature.com/gp/authors/book-authors-code-of-conduct. Artifact Evaluation: -------------------- SPIN 2025 will feature artifact evaluation, performed by an Artifact Evaluation Committee (AEC). The AEC evaluates artifacts based on documentation, availability, reproducibility of results, and tool reusability (if applicable). Artifact submission is mandatory for Full Tool Papers. While artifact submission is optional for papers in other categories, we highly encourage authors of papers involving tool development and empirical evaluation to submit an artifact for evaluation. Papers with an accompanying artifact may be awarded one or more badges from the EAPLS artifact badging scheme (https://eapls.org/pages/artifact_badges/). More details can be found at: https://spin-web.github.io/SPIN2025/artifacts Keynote Speakers: ----------------- Alexandre Duret-Lutz (EPITA Research Laboratory (LRE)): "Growing an omega-automata Library" Orna Grumberg (Technion, Israel): "Developments in Symbolic Model Checking" PC Chairs: ---------- Gidon Ernst (Ludwig-Maximilians-Universität München) Kristin Yvonne Rozier (Iowa State University) Artifact Evaluation Chairs: --------------------------- Julie Cailler (University of Lorraine & Inria, France) Nian-Ze Lee (LMU Munich / National Taiwan University) Programme Committee: -------------------- Marek Chalupa, (Institute of Science and Technology, Austria) Marie-Christine Jakobs, (Ludwig-Maximilians-Universität München, Germany) Nancy Day (University of Waterloo, Canada) Rohit Dureja (IBM Corporation, USA) Marie Farrell (University of Manchester, UK) Susanne Graf (Verimag, France) Ahmed Irfan (SRI, USA) Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) Dominik Klumpp (University of Freiburg, Germany) Ondřej Lengál (Brno University of Technology, Czech Republic) Cong Liu (Collins Aerospace, USA) Jianwen Li (East China Normal University, China) Lucas Martinelli Tabajara (Amazon, USA) Radu Mateescu (Inria Grenoble - Rhône-Alpes, France) Thomas Neele (Eindhoven University of Technology, The Netherlands) Marjan Sirjani (Malardalen University, Sweden) Nestan Tsiskaridze (Standford University, USA) Masaki Waga (Kyoto University, Japan) Anton Wijs (Eindhoven University of Technology, The Netherlands) Matthias Volk (Eindhoven University of Technology, The Netherlands) Shufang Zhu (University of Liverpool, UK) Artifact Evaluation Committee: ------------------------------- Ryan Dancy (University of Oxford, UK) Chiao Hsieh (Kyoto University, Japan) Matthias Kettl (Ludwig Maximilian University of Munich, Germany) Bajczi Levente (Budapest University of Technology and Economics, Hungary) Thomas Lemberger (Ludwig Maximilian University of Munich, Germany) Chen-Kai Lin (Institute of Information Science, Academia Sinica, Taiwan) Landon J. Taylor (Utah State University, USA) Mohit K. Tekriwal (Lawrence Livermore National Laboratory, Livermore, Canada) Aline Uwimbabazi (Schlumberger Foundation & INRIA, France) Aosen Xiong (University of Waterloo, Canada) Zsófia Ádám (Budapest University of Technology and Economics, Hungary) Steering Committee: ------------------- Anton Wijs (Eindhoven University of Technology, Netherlands, chair) Stefan Leue (University of Konstanz, Germany) Susanne Graf (Verimag, France) Gerard Holzmann (Nimble Research, USA) Jaco van de Pol (Aarhus University, Denmark) Neha Rungta (AWS, USA) Willem Visser (Stellenbosch University, South Africa) Georgiana Caltais (University of Twente, Netherlands) Christian Schilling (Aalborg University, Denmark) -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Associate Professor, Iowa State Univ / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ !!! !!! laboratory.temporallogic.org

1 0

CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems: 23-26 March, 2026. Hannover, Germany
by Yasir mahmood 06 Feb '25

06 Feb '25

======================================= ** FoIKS 2026: First call for papers ** ======================================= The 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'26) invites contributions from theoretical and applied research on information and knowledge systems. FoIKS 2026 (https://foiks2026.github.io/) will be held on 23rd-26th March 2026 in Hannover, Germany. =========== ** Scope ** =========== The suggested topics include, but are not limited to: Mathematical Foundations of Information and Knowledge Systems: Discrete structures and algorithms, graphs, and formal languages. Database Design and Management: Formal models, (in)dependencies and models of transactions, concurrency control. Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, argumentation, probability logic, fuzzy logic. Knowledge Representation and Reasoning: Logical reasoning, Non-monotonic reasoning (reasoning under inconsistency), Reasoning under vagueness or uncertainty. Foundations of neuro-symbolic reasoning: Embedding methods for structured information, such as knowledge graphs, mathematical expressions, grammars, logical theories. Intelligent Agents: Multi-agent systems, autonomous agents, formal models of interactions, Boolean games, coalition formation, reputation systems, epistemic reasoning. Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, information extraction. Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management. Integrity and Constraint Management: Verification, validation, consistent query answering, and information cleaning. Knowledge graphs and semi-structured Data: Data modelling, data processing, data compression, and data exchange. ========================== ** Submission Guidelines ** ========================== Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (for guidelines and templates, see: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…). Submissions that deviate substantially from these guidelines may be rejected without review. There are the following page limits according to paper type: Long papers: 16 plus additional pages for references. Short papers: 10 plus additional pages for references. Missing proofs or details can be added as an additional appendix of up to 15 pages article style and read at the discretion of the program committee. All papers must be original and not simultaneously submitted to another journal or conference. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via the EasyChair link https://easychair.org/conferences/?conf=foiks2026. All questions about submissions should be emailed to foiks2026(a)easychair.org. ================= ** Publication ** ================= The proceedings are planned to be published by Springer-Verlag in the Lecture Notes in Computer Science series. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2026 special issue. ===================== ** Important dates ** ===================== Submission of abstracts: September 18, 2025 Submission of paper: September 25, 2025 Notification: December 20, 2025 Final version due: January 20, 2026 Conference: March 23-26, 2026 ====================== ** Invited Speakers ** ====================== TBD ================== ** Organization ** ================== * PC Chairs * Anni-Yasmin Turhan (University of Paderborn, Germany) Jonni Virtema (University of Sheffield, UK) * Local Chair * Arne Meier (Leibniz University Hannover, Germany)

1 0