[Agda] Submit to ITP 2021 (Interaction theorem proving): abstracts due 25 January

[Andreas Abel]

Dear colleagues,

please consider submitting a paper to ITP 2021

   http://easyconferences.eu/itp2021/

(colocated with LICS in Rome, or online).

Excerpts from the call for papers:

ITP welcomes submissions describing original research on all aspects of 
interactive theorem proving and its applications. Suggested topics 
include, but are not limited to, the following:

     formalizations of computational models
     improvements in theorem prover technology
     formalizations of mathematics
     integration with automated provers and other symbolic tools
     verification of security algorithms
     industrial applications of interactive theorem provers
     formal aspects of hardware and software
     user interfaces for interactive theorem provers
     use of theorem provers in education
     concise and elegant worked examples of formalizations (proof pearls)

Submissions will undergo single-blind peer review. They should be no 
more than 16 pages in length excluding bibliographic references and are 
to be submitted in PDF format via EasyChair via the following link: 
https://easychair.org/conferences/?conf=itp2021

We also welcome short papers, which can be used to describe interesting 
work that is still ongoing and not fully mature. Such a preliminary 
report is limited to 6 pages and may consist of an extended abstract.

Important Dates

     Abstract submission deadline: January 25, 2021
     Paper submission deadline: February 1, 2021
     Author notification: March 25, 2021
     Camera-ready copy due: April 20, 2021
     Conference: June 29-July 1, 2021

Publication Details

The conference proceedings will be published in the LIPIcs series 
(“Leibniz International Proceedings in Informatics”). This was chosen in 
large part because of its commitment to free and open access to all papers.

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/