Termtools

Download

termtools@lists.rwth-aachen.de

November 2022

1 participants
2 discussions

FSCD-CADE 2023: Call for Workshop Proposals
by Carsten Fuhs 29 Nov '22

29 Nov '22

(Apologies for the cross postings.) -------------------------------------------------------------------- Call for Workshop and Tutorial Proposals - FSCD 2023, 8th edition of the International Conference on Formal Structures for Computation and Deduction (https://easyconferences.eu/fscd2023/) July 3-6, 2023 - CADE-29, the 29th Conference on Automated Deduction (https://easyconferences.eu/cade2023/) July 1-4, 2023 Rome, Italy We invite proposals for workshops, tutorials or other satellite events, on any topic related to formal structures in computation, deduction and automated reasoning, from theoretical foundations to tools and applications. FSCD satellite events will take place before the main conference on July 1-2, and CADE satellite events will take place after the main conference on July 4 (afternoon)-5. It is expected that satellite events would run for 1/2, 1 or 2 days (max 1 and 1/2 day for CADE satellite events), and be open to participants of parallel events. Please note overlaps between FSCD workshops and CADE conference and between CADE workshops and FSCD conference (see Important Dates below). PROPOSALS -------------------- Proposals must be limited to three pages and should be submitted via easychair: https://easychair.org/my/conference?conf=fscd23cade29ws Each proposal should consist of the following two parts. 1) A description part including: - a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant); - a brief description (up to 120 words) of the event for the website and publicity material. 2) An organisational part including: - contact information for the workshop organisers; - proposed affiliated conference; - estimate of the number of workshop participants; - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) - potential invited speakers; - procedures for selecting papers and participants; - tentative schedule for paper submission and notification of acceptance; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from half a day to two days (max 1 and 1/2 days for CADE)); - any other special requirements. The Organising Committee of FSCD-CADE will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. The organisers of satellite events are expected to create and maintaina website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. The FSCD-CADE organising committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants. The organisers may rely on one free registration for every workshop, to be used e.g. for one invited speaker. No other cost will be covered by the local organisation. Workshop organisers are encouraged to find sponsors for financing workshop expenses. IMPORTANT DATES -------------------- Main Conferences: CADE July 1-4, 2023 FSCD July 3-6, 2023 Workshops: CADE July 4 (afternoon) and 5, 2023 FSCD July 1-2, 2023 Submission of workshop proposals: December 18th, 2022 Notification of success of proposals: December 23rd, 2022 -------------------- Best wishes, Ivano Salvo Workshop Chair

1 0

FSCD 2023: First Call for Papers
by Carsten Fuhs 28 Nov '22

28 Nov '22

CALL FOR PAPERS Eighth International Conference on Formal Structures for Computation and Deduction (FSCD 2023) July 3-6, 2023, Rome, Italy https://easyconferences.eu/fscd2023/ In-cooperation with ACM SIGLOG and SIGPLAN IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: January 30, 2023 Submission: February 3, 2023 Rebuttal: March 24-28, 2023 Notification: April 13, 2023 Final version: April 27, 2023 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, 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; - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalization, 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 in 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 Semantics and Verification in new challenging areas: - Certification; - Security; - Blockchain protocols; - Data bases; - 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 ------------- We aim to have 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=fscd2023 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 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 program 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). PROGRAM COMMITTEE CHAIRS ----------------------- Marco Gaboardi, Boston University Femke van Raamsdonk, Vrije Universiteit Amsterdam Email: fscd2023 at easychair.org PROGRAM COMMITTEE ----------------- Martin Avanzini, INRIA Patrick Bahr, ITU Copenhagen Pablo Barenbaum, University of Quilmes (CONICET) & ICC Filippo Bonchi, University of Pisa Sabine Broda, University of Porto Valeria De Paiva, Topos Institute Andrej Dudenhefner, TU Dortmund Santiago Escobar, Universitat Politècnica de València Claudia Faggian, University of Paris (IRIF) Frank (Peng) Fu, Dalhousie University Silvio Ghilardi, University of Milano Clemens Grabmayer, GSSI or Gran Sasso Science Institute Nao Hirokawa, JAIST Mirai Ikebuchi, National Institute of Informatics Ambrus Kaposi, Eotvos Lorand University Ian Mackie, University of Sussex Radu Mardare, University of Strathclyde Aart Middeldorp, University of Innsbruck Anders Mortberg, University of Stockholm Daniele Nantes-Sobrinho, Imperial College London / University of Brasília Vincent van Oostrom, Independent researcher Grigore Rosu, University of Illinois Urbana-Champaign Luca Roversi, University of Torino Aleksy Schubert, University of Warsaw Jakob G. Simonsen, University of Copenhagen Alwen Tiu, Australian National University Valeria Vignudelli, CNRS/ENS Lyon Johannes Waldmann, HTWK Leipzig Sarah Winkler, University of Bolzano CONFERENCE CHAIR ---------------- Daniele Gorla, University of Rome - Sapienza WORKSHOP CHAIR -------------- Ivano Salvo, University of Rome - Sapienza STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Cynthia Kop, Radboud University Nijmegen PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Zena Ariola, University of Oregon Alejandro Díaz-Caro, Quilmes University & ICC/CONICET Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London Herman Geuvers (Chair), Radboud University Nijmegen Silvia Ghilezan, University of Novi Sad Jürgen Giesl, RWTH Aachen University Stefano Guerrini, Université de Paris 13 Delia Kesner, Université de Paris Diderot Naoki Kobayashi, University of Tokyo Cynthia Kop, Radboud University Nijmegen Luigi Liquori, Inria Daniele Nantes, Imperial College London / University of Brasília

1 0