Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CSL'23 - Call for workshops


view this post on Zulip Email Gateway (Mar 24 2022 at 09:40):

From: Bartek Klin <klin@mimuw.edu.pl>
CSL’23 -- CALL FOR WORKSHOPS

https://csl2023.mimuw.edu.pl/

Computer Science Logic 2023 (CSL’23) will be held in Warsaw, Poland, between 13 and 16 February 2023. Following the long tradition of this event, we invite researchers and practitioners to submit proposals for co-located workshops on topics relating to mathematical logic and computer science. Workshops can target the logic in computer science community in general, focus on particular applications, or highlight more specific issues or recent developments.

Co-located events will take place Friday February 17, 2023 and will be held on the same premises as the main conference. Conference facilities are offered free of charge to the organisers. Workshops-only attendees will enjoy a significantly reduced registration fee.

Detailed organisational matters such as paper submission and review process, or publication of proceedings, are up to the organisers of individual workshops. All accepted workshops/tutorials will be expected to have their program ready by 17 January 2023.

Proposals for workshops should contain at least the following pieces of information:

- name and contact details of the main organiser(s)
- (if applicable:) names of additional organisers
- title
- preferred length of workshop (between half day and one day)
- estimated number of attendees
- short (up to one page) description of topic
- (if applicable:) pointers to previous editions of the workshop, or to similar events
- The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/LNCS...).

Proposals are invited to be submitted by email to e.pimentel@ucl.ac.uk, no later than 20 April 2022. Selected events will be notified by 30 April 2022. The workshop selection committee consists of the CSL program chairs and the conference organisers.

CSL 2023 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come.

Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not. This should be definitely decided by the end of November 2022.


Last updated: Jul 15 2022 at 23:21 UTC