Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FSCD and CADE 2027 Call for Workshops

Email Gateway (Sep 25 2026 at 13:18):

From: Carsten Fuhs <c.fuhs@bbk.ac.uk>

FSCD and CADE 2027 Call for Workshops
Sat 21 -- Thu 26/Fri 27 August 2027
Nijmegen, the Netherlands
https://fscd-cade.science.ru.nl/

CADE and FSCD 2027 will take place in Nijmegen from 22nd to 26th August 2027.
We invite proposals of interest to either community. Proposals must be limited
to three pages, and should be submitted to Cynthia Kop <C.Kop@cs.ru.nl>.

Proposals should include:

• the workshop's name and URL if already available (or from previous years)
• which conference you mean to affiliate with (CADE, FSCD or both)
• a short scientific summary of the workshop's topic
• a list of workshop organisers with contact information

• procedure for selecting presentations (e.g., contributing talks, speaker
  invitations)

• proposed duration (e.g., 1/2, 1, 1.5 or 2 days)

• expected number of in-person participants, providing some data on previous
  years if the workshop has already been organised in the past

• special resources that may be required (e.g., a room for posters)

• preferred dates (see below)
• any other relevant information and special wishes about the schedule (e.g.,
  avoiding overlap with certain other workshops or business meetings)

Proposals for other colocated events, such as poster sessions or competitions,
should be submitted in the same way.

The available dates are in principle:

• Saturday 21 and Sunday 22 August for FSCD workshops, with an option for 27
  August in case there are many workshops.

• Saturday 21 and Thursday 26 August for CADE workshops, with an option for 27
  August in case there are many workshops, or two-day workshops.

However, on request, we may also schedule workshops / poster sessions /
competitions /during/ their affiliated conference (22-25 August for CADE and
23-26 August for FSCD) instead of before/after.

Workshop proposal submission deadline: 4 December 2026
Notification: January 2027

Last updated: Oct 08 2026 at 21:07 UTC