The Coq mailing list

["O'Leary, John W" <john.w.oleary AT intel.com>]

--------------------------------------------------------------------

ITP2019: Interactive Theorem Proving, Tenth International Conference

September 8-13 2019, Portland, OR, USA

http://itp19.cecs.pdx.edu

itp19 AT cecs.pdx.edu

--------------------------------------------------------------------

 

CALL FOR WORKSHOPS

 

The ITP conference series is concerned with all topics related to

interactive theorem proving, ranging from theoretical foundations to

implementation aspects and applications in system verification,

security, and formalization of mathematics. The tenth ITP conference,

ITP 2019, will be held at Portland State University between September

8 and 13, 2019.

 

Researchers and practitioners are invited to submit proposals for

co-located workshops on topics relating to interactive theorem

proving. Workshops can target the ITP community in general, focus on a

particular ITP system, or highlight more specific issues or recent

developments. Proposals for in-depth tutorials or tool introductions

are also welcome.

 

Co-located events will take place on 8 September and 13 September and

will be held on the same premises as the main conference. Conference

facilities are offered free of charge to the organizers. Workshop-only

attendees will enjoy a significantly reduced registration fee.

 

Detailed organizational matters such as paper submission and review

process, or publication of proceedings, are up to the organizers of

individual workshops. All accepted workshops will be expected to have

their program ready by 22 July 2019.

 

Proposals for workshops should contain at least the following pieces

of information:

 

- name and contact details of the main organizer(s)

- (if applicable:) names of additional organizers

- title and organizational style of workshop (tutorial, public

  workshop, project workshop, etc.)

- preferred length of workshop (half day or full day)

- estimated number of attendees

- short (up to one page) description of topic

- (if applicable:) pointers to previous editions of the workshop, or

  to similar events

 

Proposals should be submitted by email to itp19 AT cecs.pdx.edu, no later

than 9 December 2018. Selected workshops will be notified by 23

December 2018. The workshop selection committee consists of the ITP

program chairs and organizers:

 

Brian Huffman, Galois Inc

John O'Leary, Intel Corporation

Andrew Tolmach, Portland State University