caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] CSL 2021: 2nd CFP
@ 2020-05-04 17:33 Jean Goubault-Larrecq
  0 siblings, 0 replies; only message in thread
From: Jean Goubault-Larrecq @ 2020-05-04 17:33 UTC (permalink / raw)
  To: agda, agents, announce, ASL, caml-list, categories, cca-l, CIE,
	Concurrency <concurrency@listserver.tue.nl>,
	conferences, coq-club, dbworld, EASST, finite-model-theory,
	fm-announcements, folli, games, GraTra, ifmsig, lfcs-interest,
	LICS, linear, listsbcci-l, logic, newsletter, nwpt-info,
	PetriNet, prog-lang, Proof complexity, ProofTheory,
	rewriting-request, SIGSOFT-L, socinfo, theorem-provers, theory,
	theory-logic, theorynt

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

Second call for papers (CSL'21)

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

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL), see
https://www.eacsl.org/. It is an interdisciplinary conference,
spanning across both basic and application oriented research in
mathematical logic and computer science.  CSL'21 will be held on
January 25-28, 2021, in Ljubljana, Slovenia, at least in principle;
the current sanitary crisis will quite certainly have some impact in
this respect.

Submission guidelines:
----------------------

Submitted papers must be in English and must provide sufficient detail
to allow the Programme Committee to assess the merits of the paper. Full
proofs may appear in a clearly marked technical appendix which will be
read at the reviewers' discretion. Authors are strongly encouraged to
include a well written introduction which is directed at all members of
the PC.

The CSL 2020 conference proceedings will be published in Leibniz
International Proceedings in Informatics (LIPIcs), see
https://submission.dagstuhl.de/documentation/authors. Authors are
invited to submit contributed papers of no more than 15 pages in LIPIcs
style (not including references), presenting unpublished work fitting
the scope of the conference.

Papers may not be submitted concurrently to another conference with
refereed proceedings. The PC chairs should be informed of closely
related work submitted to a conference or a journal.

Papers authored or co-authored by members of the PC are not allowed.

At least one of the authors of each accepted paper is expected to
register to the conference, and present their papers, whether
physically or online, depending on the situation and the available
means of organisation in January 2021.


Important dates:
----------------

   paper submission: July 1, 2020 (AoE)
   notification: September 25, 2020
   conference: January 25-28, 2021

List of topics:
---------------

    automated deduction and interactive theorem proving
    constructive mathematics and type theory
    equational logic and term rewriting
    automata and games, game semantics
    modal and temporal logic
    model checking
    decision procedures
    logical aspects of computational complexity
    finite model theory
    computational proof theory
    logic programming and constraints
    lambda calculus and combinatory logic
    domain theory
    categorical logic and topological semantics
    database theory
    specification, extraction and transformation of programs
    logical aspects of quantum computing
    logical foundations of programming paradigms
    verification and program analysis
    linear logic
    higher-order logic
    nonmonotonic reasoning

Program Committee:
------------------

* Andreas Abel, University of Gothenburg, Sweden
* Zena M. Ariola, University of Oregon, USA
* Jeremy Avigad, Carnegie Mellon University, USA
* Christel Baier, Technische Universität Dresden, Germany (co-chair)
* Jasmin Blanchette, Vrije Universiteit Amsterdam, the Netherlands
* Jean Goubault-Larrecq, ENS Paris-Saclay, France (co-chair)
* Masahito Hasegawa, Kyoto University, Japan
* Jean-Baptiste Jeannin, University of Michigan, USA
* Michael Kaminski, Technion Haifa, Israel
* Delia	Kesner, Université de Paris, France
* Laura Kovács, Vienna University of Technology, Austria
* Martin Lange, University of Kassel, Germany
* Sławomir Lasota, Warsaw University, Poland
* Florin Manea, Georg-August Universität Göttingen, Germany
* Stefan Milius, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany
* Antoine Mottet, Charles University, Czech Republic
* Andrzej Murawski, University of Oxford, UK
* Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil
* Sophie Pinchinat, IRISA Rennes, France
* Simona Ronchi Della Rocca, Università di Torino, Italy
* Krishna S, IIT Bombay, India
* Peter	Selinger, Dalhousie University, Canada
* Sebastian Siebertz, Universität Bremen, Germany
* Alex Simpson, University of Ljubljana, Slovenia (organizer)
* Marie Van Den Bogaard, Université Libre de Bruxelles
* Yde Venema, Universiteit van Amsterdam, the Netherlands

Organization Committee:
-----------------------

   Alex Simpson  (University of Ljubljana, chair)
   Andrej Bauer  (University of Ljubljana)
   Daniel Ahman  (University of Ljubljana)


Contact:
--------

Please send all questions about submissions to the PC co-chairs:
csl2021@easychair.org

^ 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 --
2020-05-04 17:33 [Caml-list] CSL 2021: 2nd CFP Jean Goubault-Larrecq

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