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

[fm-announcements] PVS Day at NFM 2025, June 10, 2025
by Munoz, Cesar A. (LARC-D320) via fm-announcements 29 May '25

29 May '25

------------------------------------------------------- Call for Participation: PVS DAY @ NFM 2025 ------------------------------------------------------- June 10, 2025, Williamsburg, Virginia, United States of America Web: https://shemesh.larc.nasa.gov/nfm2025/pvs-day.html Collocated with the 17th NASA Formal Methods Symposium (https://shemesh.larc.nasa.gov/nfm2025/) Join us for an exciting and collaborative workshop dedicated to the Prototype Verification System (https://pvs.csl.sri.com/<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpvs.csl.s…>). This event aims to bring together users, practitioners, and enthusiasts from around the world to foster a vibrant and supportive community centered around PVS. Whether you are a seasoned PVS user or new to the theorem prover, this workshop offers a unique opportunity to learn, connect, and contribute to the PVS community. Don't miss out on this chance to be part of a global network of like-minded individuals passionate about advancing formal verification and theorem proving. The PVS Day will also be hosted by the Computer Science Department at William & Mary<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.wm.ed…>, in Williamsburg, Virginia. Following the NFM spirit, participation in the PVS Day is free, but registration is mandatory at https://forms.office.com/r/kZ06pKNUuv<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fforms.off…>. Contact: Mariano Moscato (AMA @ NASA LaRC) – mariano.m.moscato(a)nasa.gov<mailto:mariano.m.moscato@nasa.gov> Cesar Munoz (NASA) – cesar.a.munoz(a)nasa.gov<mailto:cesar.a.munoz@nasa.gov> --- 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

DEON 2025 -- Call for Participation
by Hackl, Andrea 28 May '25

28 May '25

================================================ CALL FOR PARTICIPATION: DEON 2025, VIENNA ================================================ The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) will be held from July 1 - July 3, 2025 at TU Wien (Vienna, Austria). The conference will be preceded by a day of tutorials on June 30. *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. *Special focus* In addition to the general themes of the DEON conference series, the special theme of this year's edition is 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. *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) *Registration* The early registration ends on Monday June 2nd (CEST) https://sites.google.com/view/deon-2025/registration *Program Chairs* Agata Ciabattoni, Vienna University of Technology (TU Wien) John Horty, University of Maryland, USA *Accepted Papers* Norm Avoidance and Reinforcement Learning: Definitions and Analysis Authors: Benoit Alcaraz, Emery Neufeld, Amro Najjar and Leon van der Torre Reasoning with and about normative conflicts Authors: Kees van Berkel and Christian Strasser Extending McNamara’s Recent Modifications of the DWE Framework Author: Paul McNamara Deolingo: extending Answer Set Programming with Deontic Reasoning Authors: Pedro Cabalar and Ovidio Manteiga Reasons and the Logic of Obligation Author: Stephan Krämer Trivalent Semantics for Conditional Obligations Authors: Paul Égré, Lorenzo Rossi and Jan Sprenger Deontic Argumentation Authors: Guido Governatori and Antonino Rotolo Quantified Deontic Stit Logic Authors: Edward Roussel and Stef Frijters A Truthmaker Semantics for Reason-Based Conditionals Authors: Alessandro Giordani and Vita Saitta Modal Logic for Agent-based Legal Classifications Authors: Daniil Khaitovich and Lorenz Hornung Input/Output Logic via Possible Worlds Authors: Brandon Hopkins Reasons against, balancing, and defeasible logic Authors: Aleks Knoks Connecting Free Choice Permission with Obligation and Prohibition by Not Doing It Authors: Zilu Wang and Yanjing Wang A Contrastive Semantics for Iffy Oughts Authors: Xuefeng Wen and Yanan Liu Navigating Permission and Exceptions: A First-Order Perspective Authors: Josephine Dik and Dominik Pichler Is moral particularism a problem for rule-based artificial normative systems? Author: Joris Graff Using Simple Deontic Constraints for Fast Norm-Conforming Reinforcement Learning Authors: Daniel Little and Matthias Scheutz Backward looking responsibility reconsidered. Authors: Jan Broersen Rational Monotony in Input Output Logic Authors: Xu Li, Leendert van der Torre and Liuwen Yu Deontically Constrained Policy Improvement in Reinforcement Learning Agents Authors: Alena Makarova and Houssam Abbas Deontic Explanations in Åqvist's systems Authors: Agata Ciabattoni, Blaž Istenič Urh and Xavier Parent

1 0

FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*)
by Carsten Fuhs 19 May '25

19 May '25

FIRST CALL FOR PARTICIPATION 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 --------------- Early registration: 15 June 2025 Workshops: 14 July and 19-20 July 2025 Conference: 15-18 July 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. REGISTRATION ------------ Registration is now open, with the early deadline *** 15 June 2025 ***: https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physi… INVITED SPEAKERS ---------------- Liron Cohen, Ben-Gurion University Mariangiola Dezani, University of Torino Ekaterina Komendantskaya, University of Southampton Jose Meseguer, University of Illinois Urbana-Champaign ACCEPTED PAPERS --------------- The list of accepted papers can be found here: https://fscd2025.github.io/accepted.htm WORKSHOPS --------- * UNIF 2025: 39th International Workshop on Unification - 14 July 2025 * HOR 2025: 12th International Workshop on Higher-Order Rewriting - 14 July 2025 * WiL 2025: Women in Logic 2025 - 14 July 2025 * LFMTP 2025: International Workshop on Logical Frameworks and Meta Languages: Theory and Practice - 19 July 2025 * IFIP-WG1.6 2025: Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting - 19 July 2025 * TLLA 2025: 9th International Workshop on Trends in Linear Logic and Applications - 19 and 20 July 2025 * GALOP 2025: 17th Workshop on Games for Logic and Programming Languages - 19 and 20 July 2025 * WPTE 2025: 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation - 20 July 2025 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 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

Reminder: PhD Position at the University of Tartu (May 1-15)
by Hannula, Miika J 09 May '25

09 May '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 investigates how classical logic and complexity tools extend to semiring-enriched models which are relevant to annotated databases, provenance, and confidence scoring. Requirements: – Master’s degree in CS, math, or related field – Background/interest in logic, TCS, or database theory Opportunities: – Work at the modern Delta Centre – International collaboration (extended visit to Helsinki planned) Gross salary: €2200-2300/month Application period: May 1-15, 2025 Apply here: DreamApply Portal<https://estonia.dreamapply.com/en_GB/courses/course/1189-phd-mathematics-an…> Program Info<https://ut.ee/en/curriculum/mathematics-and-computer-science> | Open Calls (CS #7)<https://ut.ee/en/content/phd-open-calls> Contact: Miika Hannula (miika.hannula(a)ut.ee) for informal inquiries

1 0

CSL 2026 - First Call for Papers
by Barbara König 06 May '25

06 May '25

===================================== Call for papers CSL 2026 https://csl2026.github.io/ Paris, France 23-28 February 2026 Abstract submission: 15 July 2025 (AoE) ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University. Topics: -------------- Topics of interest include, but are not limited to: - automated deduction and interactive theorem proving - concurrency and distributed computation - constructive mathematics and type theory - equational logic and term rewriting - automata and games, game semantics - formal methods - model checking - decision procedures - modal and temporal logic - description logics - logical aspects of computational complexity - logical aspects of AI - finite model theory - computability - computational proof theory - logic programming and constraints - lambda calculus and combinatory logic - domain theory - categorical logic and topological semantics - database theory - specification, extraction and transformation of programs - logical aspects of quantum computing - logical foundations of programming paradigms - verification and program analysis - linear logic - higher-order logic - knowledge representation and reasoning - nonmonotonic reasoning Submission: -------------- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The paper should be submitted via Easychair: https://easychair.org/conferences/?conf=csl2026 (the link will be opened in early June) The CSL 2026 conference proceedings will be published in the Leibniz International Proceedings in Informatics (LIPIcs), see https://drops.dagstuhl.de/entities/series/LIPIcs. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), see https://submission.dagstuhl.de/series/details/LIPIcs#author, presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC (but not PC chairs) are allowed. The submissions are double-blind: - Authors are not allowed to put their name on the paper, and they should avoid revealing their identities in text (references to previous or related work should be in third-person). - Authors are allowed (and even encouraged) to disseminate the work on public repositories (e.g. on arXiv or their websites). At least one of the authors of each accepted paper is expected to register for the conference in order to present their paper. Important dates: -------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. - Abstract submission: 15 July, 2025 - Paper submission: 21 July 2025 - Notification: 20 October 2025 - Final Version: 30 November 2025 - Conference: 23-28 February 2025 Committee Chairs -------------- - Stefano Guerrini - Sorbonne Paris Nord University, France - Barbara König - University of Duisburg-Essen, Germany Program Committee -------------- - Antonis Achilleos - Reykjavik University, Iceland - Patrick Baillot - CNRS and University of Lille, France - Paolo Baldan - University of Padova, Italy - Harsh Beohar - University of Sheffield, UK - Florence Clerc - Heriot-Watt University Edinburgh, UK - Marcelo Fiore - University of Cambridge, UK - Nicola Gambino - University of Manchester, UK - Marianna Girlando - University of Amsterdam, Netherlands - Stefan Göller - University of Kassel, Germany - Giulio Guerrieri - University of Sussex, UK - Luisa Herrmann - TU Dresden, Germany - Naoki Kobayashi - The University of Tokyo, Japan - Dexter Kozen - Cornell University, USA - Antonín Kučera - Masaryk University Brno, Czech Republic - Clemens Kupke - University of Strathclyde Glasgow, UK - Aliaume Lopez - University of Warsaw, Poland - Giulio Manzonetto - Paris Cité University, France - Paul-André Melliès - CNRS and Paris Cité University, France - Aart Middeldorp - University of Innsbruck, Austria - Matteo Mio - CNRS and ENS Lyon, France - Larry Moss - Indiana University Bloomington, USA - Sara Negri - University of Genova, Italy - Elaine Pimentel - University College London, UK - Paolo Pistone - Claude Bernard University Lyon 1, France - Jurriaan Rot - Radboud University Nijmegen, Netherlands - Sven Schewe - University of Liverpool, UK - Sylvain Schmitz - Paris Cité University, France - Lutz Schröder - FAU Erlangen-Nürnberg, Germany - Thomas Schwentick - TU Dortmund University, Germany - Thomas Seiller - CNRS and Sorbonne Paris Nord University, France - Peter Selinger - Dalhousie University, Canada - Viorica Sofronie-Stokkermans - University of Koblenz, Germany - Lorenzo Tortora de Falco - Roma Tre University, Italy - Fabio Zanasi - University College London, UK - Margherita Zorzi - University of Verona, Italy Organisation committee: -------------- - Stefano Guerrini - Sorbonne Paris Nord University, France

1 0

Second CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems. Hannover, Germany
by Yasir mahmood 05 May '25

05 May '25

*================================* *** FoIKS 2026: Second call for papers *** *================================* *|* Apologies if you received multiple copies of this CFP *|* * 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/ <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-proceeding… <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 linkhttps://easychair.org/conferences/?conf=foiks2026 <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 13, 2025 * Final version due:January 08, 2026 * Conference: March 23-26, 2026 ================== ** Invited Speakers ** ================== We are excited to announce the invited speakers for FoIKS 2026:: * Giuseppe De Giacomo(University of Oxford) * Floris Geerts(University of Antwerp) * Wolfgang Nejdl(Leibniz Universität Hannover) * Ana Ozaki(University of Oslo) ============== ** 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

[fm-announcements] Call for Participation: NFM 2025
by Slagel, Tanner (LARC-D320) via fm-announcements 01 May '25

01 May '25

--- 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