Logic List Mailing Archive

CfWorkshops: FSCD 2025: Formal Structures for Computation and Deduction, 14-20 July 2025, Birmingham (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@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)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php