[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(Apologies for the cross postings.)
--------------------------------------------------------------------
Call for Workshop and Tutorial Proposals
- FSCD 2023, 8th edition of the International Conference on Formal Structures
for Computation and Deduction
(https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/__;!!IBzWLUs!XEqE4_FzifZWe-_TPKpB9oDG9PqC5ETwnGTME_hkVd4mNWru6pdhq-081HKeeHP5PYSGD71Svl9ihEa5pwB7o9OCsmw1mdkGgXsO$
)
July 3-6, 2023
- CADE-29, the 29th Conference on Automated Deduction
(https://urldefense.com/v3/__https://easyconferences.eu/cade2023/__;!!IBzWLUs!XEqE4_FzifZWe-_TPKpB9oDG9PqC5ETwnGTME_hkVd4mNWru6pdhq-081HKeeHP5PYSGD71Svl9ihEa5pwB7o9OCsmw1mcfiZOcC$
)
July 1-4, 2023
Rome, Italy
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.
FSCD satellite events will take place before the main conference on July 1-2,
and CADE satellite events will take place after the main conference on July 4
(afternoon)-5. It is expected that satellite events would run for 1/2, 1 or 2
days (max 1 and 1/2 day for CADE satellite events), and be open to participants
of parallel events. Please note overlaps between FSCD workshops and CADE
conference and between CADE workshops and FSCD conference (see Important Dates
below).
PROPOSALS
--------------------
Proposals must be limited to three pages and should be submitted via easychair:
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=fscd23cade29ws__;!!IBzWLUs!XEqE4_FzifZWe-_TPKpB9oDG9PqC5ETwnGTME_hkVd4mNWru6pdhq-081HKeeHP5PYSGD71Svl9ihEa5pwB7o9OCsmw1mfg_ncDs$
Each proposal should consist of the following two parts.
1) A description part including:
- a short scientific justification of the proposed topic, its significance,
and the particular benefits of the workshop to the community, as well as a list
of previous or related workshops (if relevant);
- a brief description (up to 120 words) of the event for the website and
publicity material.
2) An organisational part including:
- contact information for the workshop organisers;
- proposed affiliated conference;
- estimate of the number of workshop participants;
- proposed format and agenda (e.g. paper presentations, tutorials, demo
sessions, etc.)
- potential invited speakers;
- procedures for selecting papers and participants;
- tentative schedule for paper submission and notification of acceptance;
- plans for dissemination, if any (e.g. a journal special issue);
- duration (which may vary from half a day to two days (max 1 and 1/2 days
for CADE));
- any other special requirements.
The Organising Committee of FSCD-CADE will determine the final list of accepted
workshops based on the recommendations from the Workshop Chairs of the hosting
conferences and availability of space and facilities.
The organisers of satellite events are expected to create and maintaina 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.
The FSCD-CADE 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 meeting
room; and provision of lunch and coffee breaks for participants.
The organisers may rely on one free registration for every workshop, to be used
e.g. for one invited speaker. No other cost will be covered by the local
organisation. Workshop organisers are encouraged to find sponsors for financing
workshop expenses.
IMPORTANT DATES
--------------------
Main Conferences:
CADE July 1-4, 2023
FSCD July 3-6, 2023
Workshops:
CADE July 4 (afternoon) and 5, 2023
FSCD July 1-2, 2023
Submission of workshop proposals: December 18th, 2022
Notification of success of proposals: December 23rd, 2022
--------------------
Best wishes,
Ivano Salvo
Workshop Chair
