Email Gateway (Mar 30 2026 at 15:50): Email Gateway (Mar 30 2026 at 15:50):From: Carsten Fuhs <c.fuhs@bbk.ac.uk>
(Apologies for multiple copies of this announcement. Please circulate.)
Call for Location for FSCD 2028
The FSCD conference covers all aspects of Formal Structures for
Computation and Deduction from theoretical foundations to
applications. The annual FSCD conference comprises the main
conference and a considerable number of affiliated workshops
(expectedly, more than ten).
We invite proposals for locations to host the 13th FSCD International
Conference in summer 2028, with a preference for end of August/beginning
of September 2028. The deadline for proposals is
* Sat, May 23rd, 2026 *
Proposals should be sent to the FSCD Steering Committee Chair (see
contact information below). We encourage proposers to register their
intention informally as soon as possible. For 2028, the Steering
Committee would prefer that the conference takes place either during
the late August or very beginning of September (i.e., weeks starting
on August 21st, August 28th or September 4th), but other dates in
July-August will also be considered.
Previous (and upcoming) FSCD meetings include:
FSCD 2016 in Porto (Portugal);
FSCD 2017 in Oxford (UK) co-located with ICFP 2017;
FSCD 2018 in Oxford (UK) as part of FLoC 2018;
FSCD 2019 in Dortmund (Germany);
FSCD 2020 in Paris (France) co-located with IJCAR 2020;
FSCD 2021 in Buenos Aires (Argentina);
FSCD 2022 in Haifa (Israel) as part of FLoC 2022;
FSCD 2023 in Rome (Italy) co-located with CADE 2023;
FSCD 2024 in Tallinn (Estonia) co-located with LICS 2024 and ICALP 2024;
FSCD 2025 in Birmingham (UK);
FSCD 2026 in Lisbon (Portugal) as part of FLoC 2026;
FSCD 2027 in Nijmegen (The Netherlands) co-located with CADE 2027.
Selected proposals are to be presented at the business meeting of FSCD
2026 taking place in Lisbon in July 2026. The final decision about
hosting and organising of FSCD 2028 will be taken by the SC after an
advisory vote of the members of the community in attendance at the
business meeting.
Proposals should address the following points:
FSCD Conference Chair (complete name and current position), host
institution, FSCD Local Committee (complete names and current
positions), availability of student-volunteers.
National, regional, and local government and industry support, both
organizational and financial.
Accessibility to the location (i.e., transportation) and
attractiveness of the proposed site. Accessibility can include both
information about local transportation and travel information to the
location (flight and/or train connections), as well as estimated
costs.
Proposed dates: preferably late August or very beginning of September
(i.e., weeks starting on August 21st, August 28th or September 4th),
but other dates in July-August will also be considered. The dates
should include allowing 2-3 days before and/or after the main
conference for affiliated workshops. (Please also take into
consideration holidays or local events during the period).
Estimated costs of registration for the conference and workshops,
both for regular and student participants.
Conference and exhibit facilities for the anticipated number of
registrants (including all workshop participants, typically around 200).
For example:
= number, capacity and audiovisual equipment of meeting rooms;
= a large plenary session room that can hold all the registrants;
= enough rooms for parallel session workshops/tutorials in the two
days before and the two days after the main conference;
= internet connectivity and workstations for demos/competitions;
= catering services;
= presence of professional staff.
Support for hybrid attendance to the conference.
Residence accommodations and food services in a range of price
categories and close to the conference venue, for example, number
and cost range of hotels, and availability and cost of dormitory
rooms (e.g., at local universities) and kind of services they offer.
Other relevant information, which can include information about
leisure activities and attractiveness of the location (e.g.,
cultural and historical aspects, touristic activities, etc...).
Contact information:
Patrick Baillot
patrick.baillot@univ-lille.fr
FSCD SC Chair
Last updated: Apr 12 2026 at 02:50 UTC