CSL’23 -- CALL FOR WORKSHOPS
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.pimen...@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.
--
CSL chairs
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWR8Q3YNW1_Ys7OYUapUrUs9JXQ_3WSG51LeC0DDCLO3A%40mail.gmail.com.
