[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(Apologies for multiple copies of this announcement. Please circulate.)
---------------
Call for Location for FSCD 2021
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 6th FSCD International Conference
to be held during the summer of 2021. 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.
Therefore, for 2021, we particularly encourage proposals outside Europe.
The deadline for proposals is *** 31st March 2019 ***. Proposals should be sent
to the FSCD Steering Committee Chair (see contact information above). We
encourage proposers to register their intention informally as soon as possible.
Selected proposals are to be presented at the business meeting of FSCD 2019
taking place at Dortmund in June 2019. The final decision about hosting and
organising of FSCD 2021 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.
Appropriateness of the proposed dates (including consideration of
holidays/other events during the period), hotel prices, and access to dormitory
facilities for students.
Estimated costs on registration for the conference and workshops, both for
regular and student participants.
Conference and exhibit facilities for the anticipated number of registrants
(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 sessions/workshops/tutorials; internet
connectivity and workstations for demos/competitions; catering services; and
presence of professional staff.
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:
Delia Kesner
[email protected]
FSCD SC Chair
