International conference on Formal Structures for Computation and Deduction

About FSCD

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms).

Programme Chair

  • Zena M. Ariola, University of Oregon

Programme Committee

  • M. Alpuente, University of Valencia
  • S. Alves, University of Porto
  • A. Bauer, University of Ljubljana
  • M. P. Bonacina, University of Verona
  • P-L. Curien, University Paris-Diderot
  • P. Dybjer, Chalmers University
  • U. De’Liguoro, University of Torino
  • M. Fernandez, King’s College London
  • M. Gaboardi, University of Buffalo
  • D. Ghica, University of Birmingham
  • S. Ghilezan, University of Novi Sad
  • J. Giesl, RWTH Aachen
  • S. Guerrini, University Paris 13
  • R. Harper, Carnegie Mellon University
  • M. Hasegawa, Kyoto University
  • N. Hirokawa, JAIST
  • P. Johann, Appalachian State University
  • O. Kammar, University of Oxford
  • D. Kesner, University Paris-Diderot
  • C. Kop, Radboud University
  • O. Laurent, ENS Lyon
  • D. Licata, Wesleyan University
  • A. Middeldorp, University of Innsbruck
  • J. Mitchell, Stanford University
  • K. Nakata, SAP Postdam
  • M. Pagani, University Paris-Diderot
  • E. Pimentel, U. Federal Rio Grande Do Norte
  • F. van Raamsdonk, Vrije University Amsterdam
  • G. Rosu, University of Illinois
  • A. Sabry, Indiana University
  • A. Stump, University of Iowa
  • P. Urzyczyn, University of Warsaw
  • T. Uustalu, Reykjavik University
  • S. Zdancewic, University of Pennsylvania

Call for Papers

See the pdf.

Call for Workshops

We invite proposals for workshops, tutorials or other satellite events, on any topic to related formal structures in computation, deduction and automated reasoning, from theoretical foundations to tools and applications.

Satellite events will take place on the 29 June and 4-5 July, before and after the main conference (30 June - 5 July). It is expected that satellite events would run for 1 or 2 days, and be open to participants of parallel events.


Proposals must be limited to three pages and should be submitted by email to Each proposal should consist of the following two parts.

  1. A description part including:
    • 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);
    • a brief description (up to 120 words) of the event for the website and publicity material.
  2. An organisational part including:
    • contact information for the workshop organizers;
    • proposed affiliated conference;
    • estimate of the number of workshop participants;
    • proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.)
    • potential invited speakers;
    • procedures for selecting papers and participants;
    • tentative schedule for paper submission and notification of acceptance;
    • 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 main conferences).
    • any other special requirements.

The Organizing Committee of FSCD-IJCAR 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.

The organizers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. Some amount of financial support may be offered to workshops, depending on the number of participants.

The FSCD-IJCAR organizing committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants.


  • Submission of workshop proposals: 15 November, 2019
  • Notification of success of proposals: 1 December, 2019
  • Main conference: 30 June - 3 July 2020
  • Workshop dates: 29 June, 4-5 July 2020