caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] CSL 2020 - Call for participation - tomorrow is the early registration deadline
@ 2019-12-04  6:55 EACSL Mail-Account
  0 siblings, 0 replies; 1+ messages in thread
From: EACSL Mail-Account @ 2019-12-04  6:55 UTC (permalink / raw)
  To: Thomas Schwentick

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


^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-12-04  6:55 [Caml-list] CSL 2020 - Call for participation - tomorrow is the early registration deadline EACSL Mail-Account

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox