[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FSCD 2022 SATELLITE WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for workshops on
topics of interest to the Formal Structures for Computation and Deduction
(FSCD) community.
FSCD 2022 will be the seventh edition of the International Conference on Formal
Structures for Computation and Deduction, a merger of two former conferences,
the International Conference on Rewriting Techniques and Applications (RTA) and
the International Conference on Typed Lambda Calculi and Applications (TLCA).
FSCD 2022 will be part of the Eighth Federated Logic Conference (FLoC), which
will host ten conferences and their affiliated workshops. FLoC 2022 will be
held (health guidelines permitting) at the Technion, in Haifa, Israel, from
July 31 to August 12, 2022.
For information regarding FLoC, see
http://floc2022.org
FSCD invites proposals for workshops, tutorials or other satellite events, on
any topic related to formal structures in computation, deduction and automated
reasoning, from theoretical foundations to tools and applications.
Each workshop proposal should consist of the following two parts:
• A short scientific justification of the proposed topic, its
significance, and the particular benefits of the workshop to the community, as
well as a list of previous or related workshops (if relevant).
• An organizational part including:
• contact information for the workshop organizers;
• proposed affiliated conference (i.e. FSCD);
• estimate of the number of workshop participants (please note
that small workshops, i.e. of fewer than ~13 participants, will likely be
cancelled or merged);
• proposed format and agenda (e.g. paper presentations,
tutorials, demo sessions, etc.);
• potential invited speakers (note that expenses of workshop
invited speakers are not covered by FLoC or FSCD);
• procedures for selecting papers and participants;
• plans for dissemination, if any (e.g. a journal special issue);
• duration (which may vary from one day to two days);
• preferred period (pre- or post-FLoC);
• virtual/hybrid backup plans (including platform preference).
The FLoC Organizing Committee will determine the final list of accepted
workshops based on the recommendations from the workshop chairs of the hosting
conferences and availability of space and facilities.
For workshop guidelines, further details and FAQ, see
http://floc2022.org/workshops
Proposals should be submitted through EasyChair:
https://easychair.org/conferences/?conf=floc2022workshops
IMPORTANT DATES
Proposal deadline: September 27, 2021
Notification: November 1, 2021
Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022
Post-FLoC workshops: Thursday & Friday, August 11–12, 2022
CONTACT INFORMATION
Questions regarding workshop proposals should be sent to the FSCD workshop
chair:
• Nachum Dershowitz ([email protected])
Questions regarding FSCD may be addressed to the FSCD program chair:
• Amy Felty ([email protected])
Questions regarding FLoC may be sent to the FLoC workshop chairs:
• Shaull Almagor ([email protected])
• Guillermo A. Perez ([email protected])
