The Coq mailing list

[Carsten Fuhs <c.fuhs AT bbk.ac.uk>]

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