caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] FSCD 2019 - Call for Workshop Proposals
       [not found] <>
@ 2018-11-01 19:45 ` Sandra Alves
  0 siblings, 0 replies; 1+ messages in thread
From: Sandra Alves @ 2018-11-01 19:45 UTC (permalink / raw)
  To: cl-isabelle-users, types-announce, rewriting, ProofTheory, appsem, coq-club, caml-list, termtools, cade, categories, finite-model-theory, lfcs-interest, linear, GAMES, prog-lang, theorem-provers, theory-logic, agda, asl, las-lics, types, logic, fscd.conference, homotopytypetheory, univalent-mathematics, eutypes

[-- Attachment #1: Type: text/plain, Size: 3514 bytes --]

(Apologies for multiple copies of this announcement. Please circulate.)
FSCD 2019 Call for Workshop Proposals
(Formal Structures for Computation and Deduction, June 2019, Dortmund, Germany)

FSCD 2019 will be the fourth 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 24 June and 29-30 June, before and after 
the main conference on 25-28 June. It is expected that satellite events
would run for 1 or 2 days, and be open to participants of parallel events.


Proposals should be submitted by email directly to the local workshop chair, 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 2019 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. We will waive the registration fees for 
invited speakers to satellite events.


Submission of workshop proposals: November 30, 2019
Notification of success of proposals: January 13, 2019
Main conference: June 25-28, 2019
Workshop dates: June 24 and June 29-30, 2019

Best wishes,
Boris Düdder

Caml-list mailing list.  Subscription management and archives:
Bug reports:

[-- Attachment #2: Type: text/html, Size: 5242 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <>
2018-11-01 19:45 ` [Caml-list] FSCD 2019 - Call for Workshop Proposals Sandra Alves

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox