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