caml-list - the Caml user's mailing list
 help / Atom feed
From: EACSL Mail-Account <>
To: Thomas Schwentick <>
Subject: [Caml-list] CSL 2020 - Call for participation - tomorrow is the early registration deadline
Date: Wed, 4 Dec 2019 07:37:51 +0100
Message-ID: <> (raw)

Call for Participation
Computer Science Logic 2020
Barcelona, Catalonia, Spain
January 13 - 16, 2020

The European Association for Computer Science Logic, the department of
Computer Science of the Universitat Politècnica de Catalunya, and the
Institut de Matemàtiques de la Universitat de Barcelona kindly invite
you to participate in the 2020 edition of CSL that will be held in
Barcelona from Mon Jan 13 to Thu Jan 16, 2020.

# 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 across both basic and
application oriented research in mathematical logic and computer
science. CSL 2020 will be the 28th edition in the series. Please note
that CSL has moved from its former August/September slot and that CSL
2020 is the first conference in the series that takes place in

## Invited Speakers

Véronique Cortier, LORIA, France
Anuj Dawar, University of Cambridge, UK
Artur Jeż, University of Wroclaw, Poland
Delia Kesner, University Paris Diderot, France
Iddo Tzameret, Royal Holloway, UK

## Programme

Thirty-two contributions were selected for presentation at CSL 2020. A
full list is available at .

## Registration

To register, please follow the link and information provided on the
CSL website .

Note the early registration deadline: THURSDAY, DECEMBER 5, 2019.

For any questions please contact Albert Atserias (atserias at-sign or Juan Carlos Martínez (jcmartinez at-sign


                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically 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:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox