Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FSCD 2025: Call for Workshop Proposals

Email Gateway (Oct 21 2024 at 18:17):

From: Carsten Fuhs <c.fuhs@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@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)

Last updated: Jan 04 2025 at 20:18 UTC