Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FSCD 2023: Call for Location


view this post on Zulip Email Gateway (Oct 30 2021 at 10:17):

From: Carsten Fuhs <carsten@dcs.bbk.ac.uk>
(Apologies for multiple copies of this announcement. Please circulate.)


Call for Location for FSCD 2023

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 8th FSCD International Conference to be held during the summer of 2023. 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.

The deadline for proposals is * 22nd January 2022 *. 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.

The proposals will be put forward to the FSCD mailing list for an indicative vote (the results of which will not be made public), after which the final decision about hosting and organising of FSCD 2023 will be taken by the SC.

Proposals should address the following points:

Contact information:
Herman Geuvers
herman@cs.ru.nl
FSCD SC Chair


Last updated: Jul 15 2022 at 23:21 UTC