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