From: Alex Simpson <Alex.Simpson@fmf.uni-lj.si>
To: "categories@mta.ca" <categories@mta.ca>
Subject: CSL 2021 - Call for Participation
Date: Mon, 16 Nov 2020 22:45:36 +0100 [thread overview]
Message-ID: <E1kesIn-0007Lf-Kl@rr.mta.ca> (raw)
Readers of the categories mailing list may be interested in the online
CSL conference, which takes place from Jan 25-28 2021
---
The European Association for Computer Science Logic invites
you to participate in the 2021 edition of CSL, which will be held online
from Mon Jan 25 to Thu Jan 28, 2021, organised by the Faculty of
Mathematics and Physics at the University of Ljubljana
# The Conference
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). It is an
interdisciplinary conference spanning both basic and
application-oriented research in mathematical logic and computer
science. CSL 2021 will be the 29th edition in the series. CSL moved away
from its former August/September slot in 2020. CSL 2021 is the second
conference in the series that takes place in January.
## Invited Speakers
- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Universit?? de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland
## Programme
Thirty-four contributed papers have been selected for presentation at
CSL 2021; see the
[list of accepted papers](https://csl2021.fmf.uni-lj.si/accepted-papers/)
## Registration
To register, please follow the link and information provided on the
[CSL website](https://csl2021.fmf.uni-lj.si)
The registration deadlines are:
- *14th December 2020*: deadline for speaker registration. At least one
author of every contributed paper must register as a speaker.
- *11th January 2021*: deadline for non-speaker registration. All
participants must register. Note that student non-speaker registration
is free of charge.
If you have any questions, please contact the local organisers
<csl2021@fmf.uni-lj.si>.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2020-11-16 21:45 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1kesIn-0007Lf-Kl@rr.mta.ca \
--to=alex.simpson@fmf.uni-lj.si \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).