* [Caml-list] FSCD and CADE 2027 Call for Workshops
@ 2026-09-24 13:06 geoff
0 siblings, 0 replies; 2+ messages in thread
From: geoff @ 2026-09-24 13:06 UTC (permalink / raw)
To: caml-list
------------------------------------------------------------
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 21st to 26th August 2027.
We invite proposals for workshops 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
^ permalink raw reply [flat|nested] 2+ messages in thread* [Caml-list] FSCD and CADE 2027 Call for Workshops
@ 2026-09-25 13:18 Carsten Fuhs
0 siblings, 0 replies; 2+ messages in thread
From: Carsten Fuhs @ 2026-09-25 13:18 UTC (permalink / raw)
To: types-announce, cl-isabelle-users, ProofTheory, coq-club,
caml-list, clap, gt-scalp
------------------------------------------------------------
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2026-09-25 13:18 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-09-24 13:06 [Caml-list] FSCD and CADE 2027 Call for Workshops geoff
2026-09-25 13:18 Carsten Fuhs
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox