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

FSCD 2025: First Call for Papers
by Carsten Fuhs 18 Oct '24

18 Oct '24

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

RHPL@FSTTCS 2024: Call for submissions and participation
by Abhisekh Sankaran 16 Oct '24

16 Oct '24

Dear colleague, As you may know, co-located with FSTTCS 2024 ( https://www.fsttcs.org.in/2024/), IARCS is organizing a Workshop on Research Highlights in Programming Languages (RHPL@FSTTCS). The focus of the workshop will be on all areas of Programming Languages, including but not limited to, Program Analysis and Verification, Applied Formal Methods, and Compilers. Please visit the webpage for more details: https://fmindia.cmi.ac.in/rhpl2024/ The objective of RHPL is to foster interactions between the attendees of the workshop, and more broadly between researchers working on Programming Languages and the traditional FSTTCS community of researchers working on Theoretical Computer Science and Formal Methods. Click here to register: https://fmindia.cmi.ac.in/rhpl2024/attend.html We solicit proposals for (1) Talks -- on recent work that has been published in good venues, or is mature in terms of approach and evaluation, and (2) Posters -- on early ideas that are promising but have not been developed fully. Selections of these proposals will be made based on the promise of research possibilities and their novelty. You may submit a proposal using this Google form: https://forms.gle/B3sj8xu4hrCKar2M9 The important dates are as below. Submission deadline (extended): October 22, 2024 (AoE) Notification: October 25, 2024 Early-bird registration deadline: November 15, 2024 (AoE) RHPL@FSTTCS: December 16-18, 2024 We look forward to your participation in the workshop. On behalf of the RHPL@FSTTCS workshop organizing committee: Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) (Co-Chair) Kartik Nagar (IIT Madras) Ganesan Ramalingam (Microsoft) Aseem Rastogi (Microsoft Research) Abhik Roychoudhury (National University of Singapore) Abhisekh Sankaran (Tata Consultancy Services Research) Divyesh Unadkat (Synopsys) (Co-Chair)

1 0

SEFM'24: Call for Participation
by Alexandre Madeira 03 Oct '24

03 Oct '24

========= Call for Participation ============ 22nd International Conference on Software Engineering and Formal Methods 4-8 November 2024 University of Aveiro, Portugal https://sefm-conference.github.io/2024/ ============================================ The 22nd edition of the International Conference on Software Engineering and Formal Methods will be held between 6 and 8 November 2024, with workshops taking place on 4 and 5 November 2024. *** Registration *** The registration website is open, see https://sefm-conference.github.io/2024/registration/ The deadline for early registration is October 15, 2024. **Invited Talks** Luís S. Barbosa, University of Minho, PT - "Paraconsistency for the working software engineer" Paula Herber, Universitat Munster, DE - "Formal Verification of Cyber-physical Systems using Domain-specific Abstractions" John van de Wetering, University of Amsterdam, the Netherlands - "Picturing Quantum Software" ** Accepted Papers ** The list of accepted papers is online on https://sefm-conference.github.io/2024/acceptedpapers/ ** Co-located events ** Some workshops are co-located with the main conference, see https://sefm-conference.github.io/2024/workshops/ ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/

1 0

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

02 Oct '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 at least 3 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…. Papers must be submitted in PDF format through the EasyChair submission site, https://easychair.org/conferences/?conf=nfm2025. 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 take place in Hampton Roads, VA. The exact location is still to be determined. 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

Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024
by Abhisekh Sankaran 29 Sep '24

29 Sep '24

Dear colleague, As you may know, FSTTCS 2024 (https://www.fsttcs.org.in/2024/) is going to be held in IIT Gandhinagar during 16-18 December. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It is a very visible forum for presenting original results in foundational aspects of Computer Science and Software Technology. In continuation from last year, this year too co-located with the main FSTTCS conference, IARCS is organizing a Workshop on Research Highlights in Programming Languages (RHPL@FSTTCS). The focus of the workshop will be on all areas of Programming Languages, including but not limited to, Program Analysis and Verification, Applied Formal Methods, and Compilers. The objective of RHPL is to foster interactions between the attendees of the workshop, and more broadly between researchers working on Programming Languages and the traditional FSTTCS community of researchers working on Theoretical Computer Science and Formal Methods. Please visit the webpage for more details: https://fmindia.cmi.ac.in/rhpl2024/ We solicit (1) Talk proposals: On recent work that has been published in good venues, or is mature in terms of approach and evaluation. (2) Poster proposals: On early ideas that are promising but have not been developed fully. Selections of these proposals will be made based on the promise of research possibilities and their novelty. You may submit a proposal using this Google form: https://forms.gle/B3sj8xu4hrCKar2M9. The important dates are as below. Submission deadline: October 15, 2024 (AoE) Notification: October 25, 2024 RHPL@FSTTCS: December 16-18, 2024 We look forward to receiving your talk/poster proposals to the workshop. On Behalf of the RHPL@FSTTCS workshop organizing committee: Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) (Co-Chair) Kartik Nagar (IIT Madras) Ganesan Ramalingam (Microsoft) Aseem Rastogi (Microsoft Research) Abhik Roychoudhury (National University of Singapore) Abhisekh Sankaran (Tata Consultancy Services Research) Divyesh Unadkat (Synopsys) (Co-Chair)

1 0

PhD position in Logic and Complexity, Sheffield (UK), Deadline: 30
by Jonni T Virtema 22 Sep '24

22 Sep '24

******************************************************* * PhD position in Quantitative logics and complexity theory * University of Sheffield, UK * Fully funded for 3.5 years (both UK Home and International rates) * Possible times to start: preferably February 2025 or earlier ******************************************************* I am looking for a motivated PhD student to join the Foundations of Computation group (https://www.sheffield.ac.uk/cs/research/groups/foundations-computation) of The University of Sheffield (https://www.sheffield.ac.uk/cs). The topic of the PhD project is quite flexible, but should relate to my current research directions in quantitative logics and complexity theory. Here possible directions are temporal logics, logical foundations of neural networks, and logical foundations of database theory (for more details: https://www.jobs.ac.uk/job/DJK909/phd-studentship-quantitative-logics-and-c…). This PhD studentship will fund the full (UK or Overseas) tuition fee and provide a tax-free stipend at the standard UKRI rate (currently £19,237 for 2024/25) for 3.5 years. In addition, both the Department and research group provide funding for attending conferences. Interested candidates are encouraged to contact me directly by email for further details (j.t.virtema(a)sheffield.ac.uk). For more details on the possible topics, the candidate may refer to my recent works at http://www.virtema.fi/. Best wishes, Jonni

1 0

PostDoc position, University of Warsaw
by Paweł Parys 18 Sep '24

18 Sep '24

PostDoc position in automata theory / algorithmic game theory, University of Warsaw ************************************************************************** - Application deadline: 18 Oct 2024 - Starting date: Jan 2025 or earlier - Salary: 7600 PLN/month before taxes (quite competitive in Poland) - Duration: 6 or 12 months - Project: "Computational aspects of infinite-duration games" funded by NCN - Principal investigator: Paweł Parys (www.mimuw.edu.pl/~parys) - Contact: parys(a)mimuw.edu.pl ************************************************************************** The project concerns solving parity games and other kind of games, and related questions (this is mostly a theoretical research). Candidates willing to work in other areas of automata theory are also encouraged to contact me. We promise a vibrant working atmosphere in the automata group at the University of Warsaw, and exciting and challenging research problems. The ideal candidate is expected to have: • PhD degree or equivalent in computer science or math, • solid background in formal methods and automata theory, • significant publication record, • strong motivation for research work in foundations of computer science, • advanced skills in written and spoken English. For details of application and recruitment procedure, please contact Paweł Parys at parys(a)mimuw.edu.pl

1 0

Call for Applications - Cluster of Excellence "Bilateral AI"
by Hackl, Andrea 18 Sep '24

18 Sep '24

================================================================= [Apologies for cross-postings] ================================================================= Cluster of Excellence Bilateral Artificial Intelligence Call for Applications For the recently established Cluster of Excellence CoE Bilateral Artificial Intelligence (BILAI), funded by the Austrian Science Fund (FWF), we are looking for more than 50 PhD students and 10 Post-Doc researchers (m/f/d) to join our team at one of the six leading research institutions across Austria (see below). In BILAI, major Austrian players in Artificial Intelligence (AI) are teaming up to work towards Broad AI. As opposed to Narrow AI, which is characterized by task-specific skills, Broad AI seeks to address a wide array of problems, rather than being limited to a single task or domain. To develop its foundations, BILAI employs a Bilateral AI approach, effectively combining sub-symbolic AI (neural networks and machine learning) with symbolic AI (logic, knowledge representation, and reasoning) in various ways. Harnessing the full potential of both symbolic and sub-symbolic approaches can open new avenues for AI, enhancing its ability to solve novel problems, adapt to diverse environments, improve reasoning skills, and increase efficiency in computation and data use. These key features enable a broad range of applications for Broad AI, from drug development and medicine to planning and scheduling, autonomous traffic management, and recommendation systems. Prioritizing fairness, transparency, and explainability, the development of Broad AI is crucial for addressing ethical concerns and ensuring a positive impact on society. The research team is committed to cross-disciplinary work in order to provide theory and models for future AI and deployment to applications. CoE Research Institutions: Johannes Kepler Universität Linz (JKU Linz) Technische Universität Wien (TU Wien) Alpen-Adria-Universität Klagenfurt (AAU) Institute of Science and Technology Austria (ISTA) Technische Universität Graz (TU Graz) Wirtschaftsuniversität Wien (WU Wien) The call for applications is available at https://www.bilateral-ai.net/jobs/.

1 0

Postdoc position in automata and concurrency theory at the University
by Sławomir Lasota 09 Sep '24

09 Sep '24

**************************************************************** Postdoc in automata and concurrency theory, University of Warsaw **************************************************************** We invite applications of motivated and research-focused individuals to carry out research on mathematical models of concurrent systems as part of the NCN project "Frontiers of automatic analysis of concurrent systems". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and formal verification. **************************************************************** - Application deadline: 30 Sept 2024 - Starting date: Jan 2025 or earlier - Duration: one year - Principal investigator: Sławomir Lasota (www.mimuw.edu.pl/~sl) - Contact: sl(a)mimuw.edu.pl **************************************************************** The successful candidate will be hosted by the automata theory group at the University of Warsaw, offering: - a vibrant working atmosphere, - exciting and challenging research problems, - competitive salary, - scientific collaborations worldwide. The ideal candidate is expected to have: - PhD degree or equivalent in computer science or math - solid background in formal methods or automata theory - excellent publication record - strong motivation for research work in foundations of computer science - advanced skills in written and spoken English. For details of application and recruitment procedure, please contact Sławomir Lasota at sl(a)mimuw.edu.pl

1 0

4 Senior RA Posts in Security at Lancaster (tight deadline)
by Marco Caminati 04 Sep '24

04 Sep '24

[feel free to circulate; apologies for cross/multiple postings] Dear colleagues, Please find below the advert for up to five posts of Research Associates at Lancaster University - School of Computing and Communications. Deadline 15/9. https://www.jobs.ac.uk/job/DIZ010/senior-research-associates-sculi-security… Kind regards, Marco Dr Marco Caminati | Assistant Professor (Lecturer) in Computer Science Lancaster University Leipzig room 604 | Strohsack-Passage Nikolaistraße 10 | 04109 Leipzig | Germany Landline: +49 341 339 77 646 www.lancasterleipzig.de GPS: 51.3410, 12.3782

1 0