Email Gateway (Aug 22 2022 at 18:19): Email Gateway (Aug 22 2022 at 18:19):From: "O'Leary, John W" <john.w.oleary@intel.com>
ITP2019: Interactive Theorem Proving, Tenth International Conference
September 8-13 2019, Portland, OR, USA
http://itp19.cecs.pdx.edu
itp19@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:
title and organizational style of workshop (tutorial, public
workshop, project workshop, etc.)
preferred length of workshop (half day or full day)
Proposals should be submitted by email to itp19@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
Last updated: Apr 20 2024 at 12:26 UTC