Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FSCD 2021: Third Call for Workshop Proposals -...


view this post on Zulip Email Gateway (Dec 10 2020 at 11:53):

From: Carsten Fuhs <carsten@dcs.bbk.ac.uk>


Call for Workshop Proposals
FSCD 2021 - Extension 20th December 2020 -
https://fscd2021.dc.uba.ar
Buenos Aires, Argentina
Main Conference: 19-22 July 2021
Workshops: 17-18 and 23-24 July 2021


FSCD 2021 will be the sixth edition of the International Conference
on Formal Structures for Computation and Deduction. Due to the
Covid 19 pandemic situation, the 2021 edition of FSCD and its
satellite workshops will be held online.

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

Satellite events will take place online on the 17-18 and 23-24 July,
before and after the main conference (19-22 July). It is expected
that satellite events would run for 1 or 2 days, and be open to
participants of parallel events.

PROPOSALS


Proposals must be limited to three pages and should be submitted via
EasyChair

https://easychair.org/conferences/?conf=fscd2021 (Workshops track)

Each proposal should consist of the following two parts.

1) A description part including:

(*) The FSCD Workshops Scheduling Committee will include one of the
organisers of each accepted workshop and have the role to concoct a
scientifically coherent program of all workshops mitigating
superpositions of connected talks. This organisational effort will
require that each workshop finalise their selection of talks and
invited speakers within a common pertinent deadline to be defined
so that possible overlaps can be minimised. Please, consider this
when preparing the tentative schedule of your workshop proposal.

The Organising Committee of FSCD will determine the final list of
accepted workshops based on the recommendations from the Workshop
Chairs and availability of space and facilities.

The organisers 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 Organising 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 virtual meeting room and technical support will be
provided by the FSCD organising committee.

IMPORTANT DATES


Submission of workshop proposals: 20 December, 2020 - Extended -
Notification of success of proposals: 30 December, 2020


Best regards,
Carlos Lopez Pombo, Mauricio Ayala-Rincon
FSCD 2021 Workshop Chairs


Last updated: Jul 15 2022 at 23:21 UTC