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

LMW@CSL’25 - Call for participation and scholarship applications
by Niels Voorneveld 12 Dec '24

12 Dec '24

LOGIC MENTORING WORKSHOP Amsterdam, Netherlands Monday 10th February 2025 https://logic-mentoring-workshop.github.io/csl25/ Colocated with CSL 2025 CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATIONS The 12th Logic Mentoring Workshop (LMW@CSL) invites participation from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the CSL (Computer Science Logic) conference and the LMW (Logic Mentoring Workshop) this year. Attending a conference such as CSL can be a transformative experience. It exposes participants to cutting-edge research and can open up new research avenues and collaboration opportunities. Some scholarships will be generously funded by our sponsors (see below) and cover registration to the workshop, and possibly travel and accommodation. Thanks to generous funding of the NSF, we will additionally be able to fund several US-based students to attend the entire conference. Women and members of minority groups are especially encouraged to apply. The LMW will focus on the technical and practical aspects of a career in logic research, including talks and a panel session from leaders in the subject. LMW'25 builds on a long tradition of LMW workshops held at LICS and CSL every year. SCHOLARSHIP APPLICATIONS Applications should be made via the online form: https://docs.google.com/forms/d/e/1FAIpQLSf_ie8yy7C9EXy3EZKZZND_z2QSQUodvKV… The deadline for applications is the *December 20th, 2024* AoE (anywhere on earth). Notification will be made before December 29th. This deadline is to allow students to register within the limit of early-bird registration which ends on January 10th 2025. WORKSHOP REGISTRATION Registration costs €50 and is done via the CSL main conference webpage <https://csl2025.github.io/index#registration>. Registration to the CSL2025 main conference includes registration for the workshop, if you do so please indicate that you are attending the LMW workshop as well. SPEAKERS : TBA Following the tradition, the Logic Mentoring Workshop will invite senior and junior researchers to share their experience on soft skills and career management after a PhD in Logic, as well as to give scientific talks. ORGANISING COMMITTEE Silvia Butti - University of Oxford Femke van Raamsdonk - VU Amsterdam Niels Voorneveld - Cybernetica SPONSORS ACM Special Interest Group on Logic and Computation (SIGLOG) National Science Foundation (NSF) Jane Street

1 0

FSCD 2025: Second Call for Papers
by Carsten Fuhs 10 Dec '24

10 Dec '24

================================================ Updated information on: invited speakers ================================================ SECOND 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/ IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: 10 February 2025 Submission: 17 February 2025 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

1 0

[fm-announcements] NFM 2025 *deadline extended*
by Dutle, Aaron M. (LARC-D320) via fm-announcements 06 Dec '24

06 Dec '24

17th NASA Formal Methods Symposium (NFM’25) 11-13 June 2025 Williamsburg, VA Call for Papers Submission Deadline Extended! Symposium Theme The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems. Topics of Interest · Advances in Formal Methods – Formal verification, model checking, and static analysis; interactive and automated theorem proving; program and specification synthesis, code transformation and generation; run-time verification and test case generation; techniques and algorithms for scaling formal methods; design for verification and correct-by-design techniques; requirements generation, specification, and validation. · Integration of Formal Methods – Use of ML techniques in formal methods; integration of formal methods and software engineering; integration of diverse formal methods techniques; integration of formal methods with simulation, analysis, and test approaches. · Formal Methods in Practice – Experience reports on applications of formal methods in industry; use of formal methods in education; applications of formal methods to concurrent and distributed systems, human-machine systems, autonomous systems, and fault-detection, diagnostics, and prognostics systems. Submission There are two categories of submissions: · Regular papers – Up to 15 pages plus references. Regular papers describe fully developed work and complete results. · Short papers — Up to 6 pages plus references. Short papers describe either novel and publicly available tools, case studies detailing applications of formal methods, or new emerging ideas in the topics of interest. All papers should be in English and describe original work that has not been published or submitted elsewhere. Authors of accepted papers must present their work in person at the conference. NFM prohibits the use of generative AI to create the textual narrative of the paper. However, the use of generative AI to create examples (such as text, tables, graphics, and code) that support the paper is permitted, but this must be disclosed in the paper. Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks and corrections, or systems that do language translations need not be disclosed in the paper. All submissions will be fully reviewed by members of the Program Committee. NFM is currently arranging to publish accepted regular and short papers in the Formal Methods subline of Springer’s Lecture Notes in Computer Science (LNCS). Authors should therefore use the LNCS style formatting described at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sprin…>. Papers must be submitted in PDF format through the EasyChair submission site, https://easychair.org/conferences/?conf=nfm2025<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…>. Important Dates Abstract submission December 13, 2024 Paper submission December 22, 2024 Author notification February 14, 2025 Camera ready deadline March 14, 2025 Symposium June 11-13, 2025 Note: An abstract must be submitted by December 13 for the paper to be considered. Location and Cost The symposium will be hosted by the Computer Science Department at the College of William & Mary, in historic Williamsburg, VA. Williamsburg is located about 150 miles south of Washington, D.C., and midway between Richmond and Norfolk on Interstate 64. It is home to an award-winning theme park, several recreation opportunities and the world's largest living history museum. For information about visiting the William & Mary campus, including lodging options, see www.wm.edu/about/visiting/<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.wm.ed…> There will be no registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, listen to the talks, and participate in discussions. However, all attendees must register. --- 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

FMBC25 - First Call for Papers
by Marmsoler, Diego 06 Dec '24

06 Dec '24

6th International Workshop on Formal Methods for Blockchains - First Call for Papers https://fmbc.gitlab.io/2025 May 04, 2025, Hamilton, ON, Canada Co-located with the European joint conferences on theory and practice of software (ETAPS 2025) https://www.etaps.org/2025/ -------------------------------------------------------------------------- -------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------- Abstract submission: February 3rd, 2025 Full paper submission: February 10th, 2025 Notification: March 14th, 2025 Camera-ready: March 31st, 2025 Workshop: May 4th, 2025 Deadlines are Anywhere on Earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth -------------------------------------------------------------------------- -------------------------------------------------------------------------- TOPICS OF INTEREST -------------------------------------------------------------------------- Blockchain is a novel technology to store data in a decentralized way. Although the technology was originally invented to enable cryptocurrencies, it quickly found applications in several other domains. Blockchains may also provide support for Smart Contracts. Smart Contracts are scripts of an ad-hoc programming language that are stored in the blockchain and that run on the network. They can interact with the ledger's data and update its state. These scripts can express the logic of possibly complex contracts between users of the blockchain. Thus, Smart Contracts can facilitate the economic activity of blockchain participants. Since blockchains are often used to store financial transactions, bugs may result in huge economic losses and thus it is now of utmost importance to have strong guarantees of the behaviour of blockchain software. These guarantees can be brought by using Formal Methods. Indeed, Blockchain software encompasses many topics of computer science where using Formal Methods techniques and tools is relevant: consensus algorithms to ensure the liveness and the security of the data on the chain, programming languages specifically designed to write smart contracts, cryptographic protocols, such as zero-knowledge proofs, used to ensure privacy, etc. This workshop is a forum to identify theoretical and practical approaches of formal methods for Blockchain technology. Topics include, but are not limited to: * Formal models of Blockchain applications or concepts * Formal methods for consensus protocols * Formal methods for Blockchain-specific cryptographic primitives or protocols * Design and implementation of Smart Contract languages * Verification of Smart Contracts * Zero-knowledge proof and its applications in a blockchain setting -------------------------------------------------------------------------- -------------------------------------------------------------------------- SUBMISSION -------------------------------------------------------------------------- Submit original manuscripts (not published or considered elsewhere) with a page limit of 12 pages for full papers and 6 pages for short and tool papers (excluding bibliography and short appendix of up to 5 additional pages). Alternatively you may also submit an extended abstract of up to 3 pages (including bibliography) summarizing your ongoing work in the area of formal methods and blockchain. Authors of selected extended-abstracts are invited to give a short lightning talk. Extended abstracts will not occur in the workshop proceedings. Submission link: https://easychair.org/conferences/?conf=fmbc2025 Authors are encouraged to use LaTeX and prepare their submissions according to the instructions and styling guides for OASIcs provided by Dagstuhl. Instructions for authors: https://submission.dagstuhl.de/documentation/authors#oasics At least one author of an accepted paper is expected to present the paper at the workshop as a registered participant. -------------------------------- -------------------------------- PROCEEDINGS -------------------------------- All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. Accepted regular papers (full, short, and tool papers) will be included in the workshop proceeding, which will be published as a volume of the OpenAccess Series in Informatics (OASIcs) by Dagstuhl. -------------------------------- -------------------------------- PROGRAM COMMITTEE -------------------------------- PC CO-CHAIRS * Diego Marmsoler (University of Exeter, UK) (D.Marmsoler(a)exeter.ac.uk<mailto:D.Marmsoler@exeter.ac.uk>) * Meng Xu (University of Waterloo, Canada) (meng.xu.cs(a)uwaterloo.ca<mailto:meng.xu.cs@uwaterloo.ca>) PC MEMBERS * Massimo Bartoletti (University of Cagliari) * Bernhard Beckert (Karlsruhe Institute of Technology) * Franck Cassez (Mantle) * Denisa Diaconescu (University of Bucharest) * Maurice Herlihy (Brown University) * Sebastian Holler (Max Planck Institute for Security and Privacy) * Enrico Lipparini (University of Genoa) * Fan Long (University of Toronto) * Orestis Melkonian (Input Output (IOG)) * Baoluo Meng (GE Aerospace Research) * Burcu Kulahcioglu Ozkan (Delft University of Technology) * Gordon Pace (University of Malta) * Vincent Rahli (University of Birmingham) * Sophie Rain (TU Wien) * Augusto Sampaio (Federal university of Pernambuco) * Derek Sorensen (Certora) * Bas Spitters (Aarhus University) * Meng Sun (Peking University) * Mark Utting (The University of Queensland) * Adele Veschetti (TU Darmstadt) * Christoph Weidenbach (Max Planck Institute for Informatics) * Teng Zhang (Aptos Labs) Diego Marmsoler Lecturer (Education and Research), Computer Science University of Exeter, Innovation 1, Room 10 www: marmsoler.com<http://www.marmsoler.com> Twitter: @DiegoMarmsoler<https://twitter.com/DiegoMarmsoler>

1 0

Call for Submissions: CSL 2025 Workshop on Learning and Logic
by Steffen van Bergerem 02 Dec '24

02 Dec '24

*Call for Submissions* CSL 2025 Workshop on Learning and Logic (LeaLog@CSL) https://sites.google.com/view/lealog25 Amsterdam, Netherlands 10 February 2025 Co-located with the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) =================== About the workshop =================== The CSL 2025 Workshop on Learning and Logic is an on-site event happening on the 10th of February 2025 in Amsterdam, Netherlands. It will take place as part of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). The workshop brings together researchers who are working on topics at the intersection of learning and logic, ranging from the logical foundations of learnability and computational learning theory to logical analyses of machine learning models and applications of machine learning in knowledge representation and reasoning. The workshop will consist of invited talks and contributed talks. It does not have any proceedings, and therefore previously published or ongoing work are both encouraged to be presented. Topics for the presentation at the workshop include, but are not limited to, the following: - Logical analysis of machine learning architectures - Techniques for learning logical concepts - Computational learning theory - Logic for formal learning theory - Informational complexity of learning - Graph learning - Applications of ML in knowledge representation and data management - Neuro-symbolic integration - Statistical relational AI - Logical and epistemic aspects of distributed learning - Logical aspects of learning in multi-agent systems - Logical analysis of (iterated) belief dynamics and information change - Logical techniques for explainable AI - Data-driven techniques for temporal logic specification and verification ============================ Submissions ============================ Submissions consist of a title, a short abstract, and an extended abstract in the form of a PDF file (one page, excluding references). The link to the submission form can be found on the workshop website. ============================ Important dates and information ============================ Submission deadline: 8 January 2025 (Anywhere on Earth) Notification: 15 January 2025 * Event: 10 February 2025 * accepted submissions will receive a chance to register for the workshop and/or for CSL by 19 January without paying late registration fee. ============= Invited Speakers ============= - Alexandru Baltag (ILLC, University of Amsterdam) - Johan van Benthem (University of Amsterdam, Tsinghua University, and Stanford) - Dana Fisman (Ben-Gurion University) - Martin Grohe (RWTH Aachen) - Kristin Yvonne Rozier (Iowa State University) ============= Organisers ============= Steffen van Bergerem (Humboldt University of Berlin) Balder ten Cate (ILLC, University of Amsterdam) Aybüke Özgün (ILLC, University of Amsterdam) Sonja Smets (ILLC, University of Amsterdam)

1 0

[fm-announcements] NFM 2025 second CFP
by Dutle, Aaron M. (LARC-D320) via fm-announcements 21 Nov '24

21 Nov '24

17th NASA Formal Methods Symposium (NFM’25) 11-13 June 2025 Hampton Roads, VA Call for Papers Symposium Theme The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems. Topics of Interest · Advances in Formal Methods – Formal verification, model checking, and static analysis; interactive and automated theorem proving; program and specification synthesis, code transformation and generation; run-time verification and test case generation; techniques and algorithms for scaling formal methods; design for verification and correct-by-design techniques; requirements generation, specification, and validation. · Integration of Formal Methods – Use of ML techniques in formal methods; integration of formal methods and software engineering; integration of diverse formal methods techniques; integration of formal methods with simulation, analysis, and test approaches. · Formal Methods in Practice – Experience reports on applications of formal methods in industry; use of formal methods in education; applications of formal methods to concurrent and distributed systems, human-machine systems, autonomous systems, and fault-detection, diagnostics, and prognostics systems. Submission There are two categories of submissions: · Regular papers – Up to 15 pages plus references. Regular papers describe fully developed work and complete results. · Short papers — Up to 6 pages plus references. Short papers describe either novel and publicly available tools, case studies detailing applications of formal methods, or new emerging ideas in the topics of interest. All papers should be in English and describe original work that has not been published or submitted elsewhere. Authors of accepted papers must present their work in person at the conference. NFM prohibits the use of generative AI to create the textual narrative of the paper. However, the use of generative AI to create examples (such as text, tables, graphics, and code) that support the paper is permitted, but this must be disclosed in the paper. Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks and corrections, or systems that do language translations need not be disclosed in the paper. All submissions will be fully reviewed by members of the Program Committee. NFM is currently arranging to publish accepted regular and short papers in the Formal Methods subline of Springer’s Lecture Notes in Computer Science (LNCS). Authors should therefore use the LNCS style formatting described at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sprin…>. Papers must be submitted in PDF format through the EasyChair submission site, https://easychair.org/conferences/?conf=nfm2025<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…>. Important Dates Paper submission December 13, 2024 Author notification February 14, 2025 Camera ready deadline March 14, 2025 Symposium June 11-13, 2025 Location and Cost The symposium will be hosted by the Computer Science Department at the College of William & Mary, in historic Williamsburg, VA. Williamsburg is located about 150 miles south of Washington, D.C., and midway between Richmond and Norfolk on Interstate 64. It is home to an award-winning theme park, several recreation opportunities and the world's largest living history museum. For information about visiting the William & Mary campus, including lodging options, see www.wm.edu/about/visiting/<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.wm.ed…> There will be no registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, listen to the talks, and participate in discussions. However, all attendees must register. --- 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

SPIN 2025: Call for Papers
by Rozier, Kristin-Yvonne [AER E] 18 Nov '24

18 Nov '24

********************************************************** 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): 12 Mar 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)) Orna Grumberg (Technion, Israel) 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) ***************** This edition of SPIN will include artifact evaluation, cf. https://spin-web.github.io/SPIN2025/artifacts. We are now forming an Artifact Evaluation Committee headed by our artifact evaluation chairs: Julie Cailler, University of Lorraine & Inria, France (julie.cailler(a)loria.fr) Nian-Ze Lee, LMU Munich / National Taiwan University (nian-ze.lee(a)sosy.ifi.lmu.de) If you have experience in artifact creation and evaluation or a passion for tools and empirical experiments, you are welcome to nominate yourself via an email to the AEC chairs. ***************** -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ 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

[Vardi-list] Appeal to support SIGLOG, the LICS sponsor
by Moshe Vardi 17 Nov '24

17 Nov '24

Forwarding email from Catuscia Palamidessi. Moshe ---------- Forwarded message ---------- Date: Sun, 17 Nov 2024 10:22:09 +0100 From: catuscia <catuscia(a)lix.polytechnique.fr> Subject: [LICS] Appeal to support SIGLOG, the LICS sponsor Dear LICS colleagues, This message addresses an important and timely subject concerning the sustainability of SIGLOG within ACM. As some of you may already know, in 2022, ACM made the decision to increase the management fee (overhead) for its Special Interest Groups (SIGs), a fee that had remained steady for years. For smaller SIGs like ours, the minimum overhead increased from USD 10,000 to USD 25,000 annually. This change has significantly impacted SIGLOG's finances, and if we cannot find a way to pay the fee, we will be obliged to either merge SIGLOG with another SIG (the best choice, probably, would be SIGPLAN) or de-charter it altogether. We requested additional time from ACM to explore ways of securing the financial foundation necessary to keep SIGLOG independent. We explained that our plan includes to seek increased industry sponsorship, grow our membership, and conduct fundraising activities at LICS and other events. ACM responded positively, SIGLOG now has until July 31, 2025, to develop a concrete, viable financial plan. As a first step, we would like to ask you for support. This is not only a financial matter: to ensure our strength as a committed SIG, we need to increase our membership numbers. While the LICS community comprises around 2,600 people, SIGLOG currently has only about 200 members. We strongly encourage all LICS members to join SIGLOG. The membership fee is very affordable -- just 25 USD, a rate that has remained unchanged since the start of SIGLOG. We plan to maintain this rate, at least for students and early-career researchers, to support inclusivity. Another goal is to promote industry sponsorship. Many in our community have strong connections with industry partners, and securing initial sponsorship would provide vital support as we work toward more stable, long-term financial solutions. If you have connections who might be interested in supporting SIGLOG, now is the time to reach out and explore potential sponsorship opportunities. Finally, we invite your engagement, ideas, and shared experiences to help us build a sustainable future for SIGLOG. Your support is essential in ensuring that SIGLOG continues to exist as an independent entity dedicated to Logic. Thank you very much for your time and consideration. P.s. The SIGLOG web page is here: https://siglog.org/, and the instructions to join SIGLOG are here: https://siglog.org/membership/. Note that you don't need to have a separate ACM membership in order to subscribe to SIGLOG. Best regards, Catuscia Palamidessi SIGLOG's chair Also on behalf of the SIGLOG EC --------------------------------------------------------------------------- -------------------------- Catuscia Palamidessi Inria Saclay 1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing Office: +33 (0)1 74 85 42 49 Campus de l'École Polytechnique Email: catuscia(a)lix.polytechnique.fr 91120 Palaiseau, FR URL: www.lix.polytechnique.fr/~catuscia --------------------------------------------------------------------------- -------------------------- _______________________________________________ Vardi-list mailing list Vardi-list(a)mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list

1 0

First Call for Papers: DEON 2025
by Hackl, Andrea 30 Oct '24

30 Oct '24

The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) will be held June 30 - July 03, 2025 at TU Wien (Vienna, Austria). 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 - 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 01, 2025 - Paper submission deadline: March 08, 2025 - Notification of acceptance: May 08, 2025 - Camera-ready version: May 25, 2025 - Conference: June 30 - July 03, 2025 *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. *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. *Program Chairs* Agata Ciabattoni, Vienna University of Technology (TU Wien), Vienna, Austria John Horty, University of Maryland, USA Website: https://sites.google.com/view/deon-2025/home

1 0

FSCD 2025: Call for Workshop Proposals
by Carsten Fuhs 21 Oct '24

21 Oct '24

CALL FOR WORKSHOPS Tenth International Conference on Formal Structures for Computation and Deduction (FSCD 2025) 14-20 July 2025, Birmingham, UK https://fscd-conference.org/2025/ IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE). Workshop proposal: 12 December 2024 Notification: Late January 2025 Workshop programmes: 31 May 2025 FSCD 2025 Workshops: 14 July and 19-20 July 2025 OVERVIEW -------- FSCD 2025 will take place in Birmingham from 14th to 20th July. We invite proposals for workshops on topics of interest to the FSCD community. Proposals should include: - Workshop's name and URL if already available or from previous years. - A short scientific summary and justification of the proposed topic; this should include a discussion of the particular benefits of any topic related to FSCD. - A list of workshop organisers with contact information. - Potential invited speakers (please specify expected number and, if possible, tentative names) - Procedures for selecting presentations (if you plan a call for contributed talks or papers followed by a selection procedure, the submission date should be scheduled after the FSCD notification date, while the notification should take place before the early registration deadline). - Plans for publication, if any (e.g. proceeding, journal special issue, etc.) - Proposed format and agenda (e.g. paper presentations, tutorials, demo sessions). - The proposed duration (1 day or 2 days). - Expected number of participants, providing some data on previous years, if the workshop has already been organised in the past. - Any other relevant information and special wishes regarding the schedule (e.g. specific dates, workshops that should (not) be planned on the same day). LOCAL SUPPORT ------------- The conference organisers will provide a room, internet connection, coffee breaks, lunches and help with some local organisation. SUBMISSION ---------- Proposals must be submitted as a PDF of *at most three pages*, not including references by email to: fscd2025(a)gmail.com The workshop committee will determine the final list of accepted workshops based on thematic pertinence and time/space availability. WORKSHOP COMMITTEE ------------------ - Paul Blain Levy (University of Birmingham, UK) - Anupam Das (University of Birmingham, UK) - Cynthia Kop (Radboud University Nijmegen, Netherlands)

1 0