[TYPES/announce] FSCD 2017 - Call for Workshop Proposals

[Jamie Vicary]

--------------------------------------------------------------------
FSCD 2017 First Call for Workshops
(Formal Structures for Computation and Deduction, September 2017, Oxford, UK)
http://www.cs.ox.ac.uk/conferences/fscd2017
--------------------------------------------------------------------

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:
    http://www.cs.ox.ac.uk/conferences/fscd2017/cfp.html
Satellite events will take place on 7-9 September, after the main
conference on 3-6 September. It is expected that satellite events
would run for 1 or 2 days, and be open to participants of parallel
events.

PROPOSALS

Proposals should be submitted by email directly to the workshop chair
jamie.vicary at cs.ox.ac.uk, with the following information:
 * title of the satellite event, description of the topic and its
relevance to FSCD;
 * names and affiliations of the organizers;
 * pointers to information about past editions of the event, if applicable;
 * proposed event duration and format (for example, paper
presentations, tutorials, demo sessions, etc);
 * plans for invited speakers or special sessions;
 * estimate of the number of participants;
 * procedures for selecting papers and participants and plans for the
publication of proceedings, if any;
 * tentative schedule for paper submission and notification of acceptance;
 * a brief description (up to 120 words) of the event for the website
and publicity material;
 * any other special requirements.

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.

IMPORTANT DATES

Submission of workshop proposals: January 30, 2017
Notification of success of proposals: February 13, 2017
Main conference: September 3-6, 2017
Workshop dates: September 7-9, 2017

Best wishes,
Jamie Vicary, Workshop Chair
http://www.cs.ox.ac.uk/people/jamie.vicary/
http://www.cs.ox.ac.uk/conferences/fscd2017