FSCD 2017, co-located with ICFP 2017, will be the second edition of the International Conference on Formal Structures for Computation and Deduction. The FSCD conference was created by the communities behind two major conferences, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications). The first event took place in Porto, Portugal in June 2016 and was extremely successful, attracting 186 participants and 11 workshops.
We invite proposals for workshops, tutorials or other satellite events, on any topic to related formal structures in computation and deduction, from theoretical foundations to tools and applications. A full list of suggested topics is given here:
Satellite events will take place on 3 September and 8-9 September, before and after the main conference on 4-7 September (TBC). It is expected that satellite events would run for 1 or 2 days, and be open to participants of parallel events.
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 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.
The FSCD 2017 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; distribution of a USB memory stick containing the informal pre-proceedings; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants. We will waive the registration fees for invited speakers to satellite events.
Jamie Vicary, Workshop Chair