FSCD 2025: Call for Workshop Proposals

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                             CALL FOR WORKSHOPS
                      Tenth International Conference on
         Formal Structures for Computation and Deduction (FSCD 2025)
                       14-20 July 2025, Birmingham, UK
                      https://urldefense.com/v3/__https://fscd-conference.org/2025/__;!!IBzWLUs!Tp5M4ohYrxyu2tc1qdfKHZuSE0rPSHAS2pt1UcBovjMpOhCsyMrscktgU0uvXYYarxiyPxG6c26ajegSwF5bELJDLWYYFqA$ 

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:

     [email protected]

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)