- Termtools - lists.rwth-aachen.de

memory requirements for termCOMP
by Florian Frohn 11 Apr '25

11 Apr '25

Dear all, as I've mentioned in my previous mail, the next competition will run on the RWTH HPC cluster. I'll have to make a reservation for the nodes that we need at some point. To do so, I need to know which resources are required. Are the following specs *not* acceptable to anyone? Then please let me know soon (say, until the end of April). * 4 cores (as on StarExec) * 20840MiB memory (roughly 22Gb -- less than what we had on StarExec) Best Florian

1 0

termCOMP '25
by Florian Frohn 09 Apr '25

09 Apr '25

Dear all, termCOMP '25 will take place during WST '25 (3./4.9.). As StarExec will be discontinued in June, quite a few things will change. Hence, I'd like to give you a heads up. First, note that the results of previous competitions (even those from pre-StarExec times) have been archived [1]. In 2025, the competition will take place on the RWTH Aachen HPC cluster. The infrastructure for running the competition and displaying results is mostly ready (e.g., you can see the results of a test run that I've done today here [2]). We can use Docker, so it should be rather easy to participate. Currently, the intended workflow is as follows: 1. Build a docker image with your tool. During the competition, the following commands will be invoked within the docker container: * solver --name * solver --timeout=$timeout --category=$category $benchmark So an executable named "solver" must be available in your container. The former command must print the name of your solver to stdout. The latter is (hopefully) self-explaining. I'll provide a list with the exact category names at some point, but they will essentially be identical to the names of the corresponding TPDB directories. 2. Upload your docker image to docker hub [3]. 3. Register your tool by providing the identifier of your image on docker hub, and the categories where you want to participate. Presumably, we will again use a GitHub repository and pull requests to do that semi-automatically. Please let me know if the procedure outlined above doesn't work for you (and why). One major drawback of the new setup is that participants cannot test by themselves. Once the technical details are fixed, I can start running test jobs, but I won't be able to test all solvers shortly before the competition. Hence, if you want your solver to be tested before the first run, register as early as possible. Further "minor" changes compared to last year (also detailed here [4]): * We will use the new ARI format for all Integer Transition System categories, see [5] for details and [6] for a converter. * We plan to use CPF 3, see here [7] for details and a converter. * On the RWTH cluster, our computing time is limited. As it's difficult to predict how much testing will be needed on the new platform before the competition, I would like to run the competition with a 60 instead of 300s timeout to avoid running out of credits. If things go well, we can switch back to a 300s timeout in 2026. Please let me know if you have any questions / remarks / suggestions. Moreover, if somebody wants to propose a new category, please do so as early as possible, so that we have time to discuss the details. Best Florian [1] https://termcomp.github.io/ [2] https://termcomp.verify.rwth-aachen.de/Y2025/ [3] https://hub.docker.com/ [4] https://termination-portal.org/wiki/Termination_Competition_2025#Changes_wi… [5] https://termination-portal.org/wiki/Term_Rewriting#Integer_Transition_Syste… [6] https://github.com/TermCOMP/its-conversion [7] http://cl-informatik.uibk.ac.at/isafor/cpf3.html

1 0

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

03 Apr '25

(Apologies for multiple copies of this announcement. Please circulate.) --------------- Call for Location for FSCD 2027 The FSCD conference covers all aspects of Formal Structures for Computation and Deduction from theoretical foundations to applications. The annual FSCD conference comprises the main conference and a considerable number of affiliated workshops (expectedly, more than ten). We invite proposals for locations to host the 12th FSCD International Conference to be held at the end of august/beginning of september 2027. The deadline for proposals is *** Sat, May 24th, 2025 *** Proposals should be sent to the FSCD Steering Committee Chair (see contact information below). We encourage proposers to register their intention informally as soon as possible. For 2027, the Steering Committee wishes that the conference takes place either during the last week of August or the first one of September (i.e., week starting on August 23rd, 2027 or on August 30th). Previous (and upcoming) FSCD meetings include: FSCD 2016 in Porto (Portugal); FSCD 2017 in Oxford (UK) co-located with ICFP 2017; FSCD 2018 in Oxford (UK) as part of FLoC 2018; FSCD 2019 in Dortmund (Germany); FSCD 2020 in Paris (France) co-located with IJCAR 2020; FSCD 2021 in Buenos Aires (Argentina); FSCD 2022 in Haifa (Israel) as part of FLOC2022; FSCD 2023 in Rome (Italy) co-located with CADE 2023; FSCD 2024 in Tallinn (Estonia) co-located with LICS 2024 and ICALP 2024; FSCD 2025 in Birmingham (UK); FSCD 2026 in Lisbon (Portugal) as part of FLoC 2026. Selected proposals are to be presented at the business meeting of FSCD 2025 taking place in Birmingham in July 2025. The final decision about hosting and organising of FSCD 2027 will be taken by the SC after an advisory vote of the members of the community in attendance at the business meeting. Proposals should address the following points: * FSCD Conference Chair (complete name and current position), host institution, FSCD Local Committee (complete names and current positions), availability of student-volunteers. * National, regional, and local government and industry support, both organizational and financial. * Accessibility to the location (i.e., transportation) and attractiveness of the proposed site. Accessibility can include both information about local transportation and travel information to the location (flight and/or train connections), as well as estimated costs. * Proposed dates: they are expected to be either during the week starting on August 23rd, 2027, or that starting on August 30th. They should include allowing 2-3 days before and/or after the main conference for affiliated workshops. (Please also take into consideration holidays or local events during the period). * Estimated costs of registration for the conference and workshops, both for regular and student participants. * Conference and exhibit facilities for the anticipated number of registrants (including all workshop participants, typically around 200). For example: = number, capacity and audiovisual equipment of meeting rooms; = a large plenary session room that can hold all the registrants; = enough rooms for parallel session workshops/tutorials in the two days before and the two days after the main conference; = internet connectivity and workstations for demos/competitions; = catering services; = presence of professional staff. * Support for hybrid attendance to the conference. * Residence accommodations and food services in a range of price categories and close to the conference venue, for example, number and cost range of hotels, and availability and cost of dormitory rooms (e.g., at local universities) and kind of services they offer. * Other relevant information, which can include information about leisure activities and attractiveness of the location (e.g., cultural and historical aspects, touristic activities, etc...). Contact information: Patrick Baillot patrick.baillot(a)univ-lille.fr FSCD SC Chair

1 0

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

12 Feb '25

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

1 0

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

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

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

TRS / SRS categories done, C and LP running
by Florian Frohn 18 Jul '24

18 Jul '24

Dear all, the TRS and SRS categories are done! I just started the categories C and Logic Programming. https://termcomp.verify.rwth-aachen.de/Y2024/ Best Florian

5 5

Presentation of termCOMP results at 17:30
by Florian Frohn 05 Jul '24

05 Jul '24

Dear all, just a quick reminder: the presentation of the termCOMP results will be live-streamed in less than 1h (it's scheduled for 17:30). https://rwth.zoom-x.de/j/68473985705?pwd=ywoZl7Zc4wZVdq9hMdAkZUQ6C0Iwjp.1 It's in the middle of a session, so it won't necessarily start on time. I'll open the Zoom-Meeting at ~17:20. Best Florian

1 0

SAT 2024: Early bird registration ends in 10 days
by Sayantan Saha 05 Jul '24

05 Jul '24

=================================================== SAT 2024 International Conference on Theory and Applications of Satisfiability Testing 2024 Second Call for Participation Early bird registration deadline: July 15, 2024, 23:59 AoE Register now!: https://satisfiability.org/SAT24/registration.php =================================================== Important dates: - SAT 2024 conference: August 21 - 24, 2024 - Workshops: August 20, 2024 - Indian SAT+SMT School: August 18 - 19, 2024 Place: Tata Consultancy Services (TCS), Sahyadri Park - 2, Hinjewadi, Pune, India Website: https://satisfiability.org/SAT24/ About the conference SAT 2024 is the 27th edition of the International Conference on Theory and Applications of Satisfiability Testing (SAT). The scope of SAT 2024 includes all aspects of the theory and applications of propositional satisfiability, broadly construed. This also includes Boolean optimization, such as MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. SAT 2024 is the first time that SAT will take place in India. There will be co-located schools and workshops prior to the conference. The events are being organized by TCS Research and Indian Institute of Technology Bombay. Keynote Speakers - Martina Seidl, Johannes Kepler University, Austria - Cesare Tinelli, University of Iowa, USA - Moshe Y. Vardi, Rice University, USA Awards - A "Best Paper Award" and a "Best Student Paper Award" will be announced during the conference. - The "Fahiem Bacchus PhD Award in Satisfiability" will also be announced. This new award established by the SAT Association distinguishes one outstanding PhD thesis from the past two years in the field of Satisfiability, broadly construed. The award is named after Fahiem Bacchus who made significant contributions to the theory and practice of SAT as well as to the SAT community and the SAT Association. About the venue The venue of SAT 2024 is Tata Consultancy Services (TCS), Sahyadri Park - 2, Hinjewadi, Pune. Surrounded by the rolling hills of the Sahyadri ranges on three sides, this campus is a scenic and well-equipped setting for hosting SAT 2024. The campus has shared conference rooms, breakout areas, training rooms and a 500-seater multi-purpose auditorium. Pune is the second largest city after Mumbai (erstwhile Bombay) in the state of Maharashtra in western India. It is well-known for its salubrious climate, rich culture, a vibrant theatre and classical music scene, and its automotive and information technology industries. The city of Mumbai, with its associated tourist attractions, is a 3-hour pleasant drive from Pune. Registration The registrations for the conference, and the co-located schools and workshops, are now open. - Early registration deadline: July 15, 2024, 23:59 AoE - Registration link: https://satisfiability.org/SAT24/registration.php Grants & Travel Support Grants and travel support are available for student participants. The details can be found on the conference website: https://satisfiability.org/SAT24/registration.php. Co-located Schools and Workshops - Indian SAT+SMT school + Website: https://sat-smt.in/ + Dates: Aug 18 - 19, 2024 - Pragmatics of SAT + Website: http://www.pragmaticsofssat.org/2024/ + Dates: Aug 20, 2024 - International Workshop on Quantified Boolean Formulas and Beyond + Website: https://qbf24.pages.sai.jku.at/qbf/ + Dates: Aug 20, 2024 - Workshop on Counting, Sampling, and Synthesis + Website: https://mccompetition.org<https://mccompetition.org/> + Dates: Aug 20, 2024 Competitions Results of the 2024 editions of SAT competition, Pseudo-Boolean Solver competition and Model Counting competition will be announced at the conference. Sponsors - Diamond sponsors: TCS Research - Platinum sponsors: Artificial Intelligence Journal, Amazon Web Services - Gold sponsors: Cadence, Synopsis - Bronze sponsors: Google, Microsoft Partners - ACM India Council - Indian Association for Research in Computing Science (IARCS) - Association for Logic in India (ALI) For more information, please visit https://satisfiability.org/SAT24/. We look forward to seeing you in Pune! Best regards, SAT 2024 Organizing Committee =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you

1 0