Subject: Events and news relevant to the Laboratory for Foundations of Computer Science
List archive
- From: Carsten Fuhs <c.fuhs@bbk.ac.uk>
- To: termtools@lists.rwth-aachen.de, cade@itu.dk, categories@mta.ca, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, agda@lists.chalmers.se, types@lists.chalmers.se
- Subject: FSCD and CADE 2027 Call for Workshops
- Date: Fri, 25 Sep 2026 15:17:46 +0200
------------------------------------------------------------
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
- FSCD and CADE 2027 Call for Workshops, Carsten Fuhs, 09/25/2026
Archive powered by MHonArc 2.6.24.