[TYPES/announce] FSCD 2022 call for workshops

[Nachum Dershowitz]

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 (nachum at tau.ac.il)

Questions regarding FSCD may be addressed to the FSCD program chair:

      • Amy Felty (afelty at uottawa.ca)

Questions regarding FLoC may be sent to the FLoC workshop chairs:

      • Shaull Almagor (shaull at technion.ac.il)
      • Guillermo A. Perez (GuillermoAlberto.Perez at uantwerpen.be)