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

==============================================================
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).

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



^ permalink raw reply	[flat|nested] only message 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:37 [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 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