[TYPES/announce] FSCD 2016 Call for Workshops

[Sandra Alves]

[apologies for cross posting]
--------------------------------------------------------------------
FSCD 2016 First Call for Workshops
(Formal Structures for Computation and Deduction, June 2016, Porto, Portugal)
--------------------------------------------------------------------

FSCD 2016 will be the first edition of the International Conference on Formal Structures for  Computation and Deduction. The first FSCD will take place in Porto (Portugal), between 22 and 26 of June 2016, and will be followed by IJCAR (Coimbra, Portugal).

The FSCD conference was created by the communities behind the two major conferences:
* RTA (Rewriting Techniques and Applications)
* TLCA (Typed Lambda Calculi and Applications)

The new conference, Formal Structures for Computation and Deduction, will not only combine their scope but further extend it to cover all the inter-related formal areas that researchers in formal structures for computation and deduction engage in. Our community believes that these fields have evolved and developed richer connections with many both practical and theoretical aspects of computer science and logic research since the creation of RTA in 1983 and TLCA in 1993.

The FSCD 2016 organising committee invites proposals for satellite events that are related to topics covered by FSCD. FSCD aims to cover all aspects of formal structures for computation and deduction, from theoretical foundations to tools and applications. We encourage submissions in both the areas traditionally covered by RTA and TLCA as well as any of the new topics in the list available from: http://www.cs.mcgill.ca/~bpientka/fscd16.html <http://www.cs.mcgill.ca/~bpientka/fscd16.html>.
Workshops are expected to run for up to two days (possibilities of longer workshops should be discussed with the organisers). Attendance to workshops is open to participants of parallel events. We plan to schedule workshops in the last two days of the event, with one day (Sunday, June 26, 2016) reserved for workshops only. However, it will also be possible to run workshops on the other days in parallel with the main conference. 

Proposals should be submitted as a PDF file, containing the following information:
* Workshop title, description of the topic and its relevance to FSCD
* Names and affiliations of the organisers
* Pointers to information about past editions of the event (if applicable)
* Proposed workshop duration (from one day to two days) an proposed format (for example, paper presentations, tutorials, demo sessions, etc.)
* Plans for invited speakers or special sessions (round-table discussion, tutorials, etc.)
* Estimate on the number of participants
* Procedures for selecting papers and participants and plans for the publication of proceedings (informal proceedings distributed to participants, electronic journal, proceedings with separate selection process, etc.)
* Tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the FSCD 2016 organising committee will need the final files by June 1, 2016)
* A brief description (up to 120 words) of the event for the website and other publicity material of FSCD 2016
* Other potential organisational issues, such as special space requirements, etc.

The organisers of FSCD 2016 satellite events are expected to:
* Create and maintain a website for the event
* Deal with all the matters related to the event's programme, such as: form a PC; produce a call for papers for the event (if appropriate); review the submissions received; make acceptance decisions; appoint session chairs, etc
* Advertise the event through specialist mailing lists etc. to complement the publicity of FSCD 2016
* Prepare the informal pre-proceedings for the event (if applicable) as well as the event's programme, complying with the scheduling constraints given by the FSCD 2016 organising committee
* Prepare and organise the publication of formal (post)proceedings (if desired).

The FSCD 2016 organising committee will:
* Promote the event on the website and in the publicity material of FSCD 2016
* Deal with the scheduling and integration of the event's program into the overall program of the conference
* Deal with the registration for the event as a component of registration for FSCD
* Produce and distribute a USB memory stick containing the informal (pre)proceedings of the satellite events 
* Provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and lunch(es).

Since the priority of FSCD will be to keep registration fees for the conferences and workshops low, we will not be able to reimburse invited workshop speakers for travel or living expenses, although we anticipate waiving the registration fees for invited speakers. 

Submission:
Proposals to organise a satellite event for FSCD 2016, should be submitted by email to fscd2016 at dcc.fc.up.pt <mailto:fscd2016 at dcc.fc.up.pt>, or directly to the Workshop Chair, Sabine Broda (sbb at dcc.fc.up.pt <mailto:sbb at dcc.fc.up.pt>).  

Important Dates:
Submission of workshop proposals:       October 31, 2015 
Notification date:                     November 15, 2015 
Workshop dates:                         June 22-26, 2016 

For any additional information on FSCD please consult the conference webpages:
http://fscd2016.dcc.fc.up.pt <http://fscd2016.dcc.fc.up.pt/>
http://fscdconference.org <http://fscdconference.org/>

FSCD 2016 Conference Chair
Sandra Alves http://www.dcc.fc.up.pt/~sandra/ <http://www.dcc.fc.up.pt/~sandra/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150911/35046b73/attachment-0001.html>