caml-list - the Caml user's mailing list
 help / color / Atom feed
From: EACSL Mail-Account <eacsl.ls1@cs.tu-dortmund.de>
To: Thomas Schwentick <thomas.schwentick@cs.tu-dortmund.de>
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: <A103962F-1691-4F4B-9273-2C463DBA8853@cs.tu-dortmund.de> (raw)

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

http://www.cs.upc.edu/csl2020
==============================================================

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
January.

## 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 http://www.cs.upc.edu/csl2020/program.html .

## Registration

To register, please follow the link and information provided on the
CSL website http://www.cs.upc.edu/csl2020/registration.html .

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

For any questions please contact Albert Atserias (atserias at-sign
cs.upc.edu) or Juan Carlos Martínez (jcmartinez at-sign ub.edu).

==============================================================



                 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:
  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=A103962F-1691-4F4B-9273-2C463DBA8853@cs.tu-dortmund.de \
    --to=eacsl.ls1@cs.tu-dortmund.de \
    --cc=thomas.schwentick@cs.tu-dortmund.de \
    /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

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git