coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ITP 2019: Final Call for Participation

From: "O'Leary, John W" <john.w.oleary AT intel.com>
To: "acl2 AT utlists.utexas.edu" <acl2 AT utlists.utexas.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "isabelle-users AT cl.cam.ac.uk" <isabelle-users AT cl.cam.ac.uk>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "mizar-forum AT mizar.uwb.edu.pl" <mizar-forum AT mizar.uwb.edu.pl>
Subject: [Coq-Club] ITP 2019: Final Call for Participation
Date: Fri, 23 Aug 2019 00:13:16 +0000
Accept-language: en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=john.w.oleary AT intel.com; spf=Pass smtp.mailfrom=john.w.oleary AT intel.com; spf=None smtp.helo=postmaster AT mga03.intel.com
Dlp-product: dlpe-windows
Dlp-reaction: no-action
Dlp-version: 11.2.0.6
Ironport-phdr: 9a23:K492px2naIRTeWa7smDT+DRfVm0co7zxezQtwd8ZsesXLP3xwZ3uMQTl6Ol3ixeRBMOHsqgC0raJ+Pu4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCejbb9oMRm7ogfcusYYjId+N6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhSEaPDA77W7XkNR9gqJFrhy8uxxxzY3aYICJO/VxZa7SZ88WSHBbU8pNSyBNHIWxZJYPAeobOuZYqpHwq1UXoxe9AwejGvngyiVIh3PuwKY01+MhEQHA3Ac9H90CvmnfodL3NKcVUeC1yrPEzDvZY/NR3Tfy9pLHcgohoPyXXLJwd9bRxlcrFw/fklqQronlMiqT2+8QvWab6O9gWviui24hswxxuiWgx8g2hobXm40V11bJ/jh6zoYtPdC0VUB2bNG+HJdNuSyXOJF6Tt4sTmxpoio3y70LtYamcCQW0pgr2gTTZ+Kbf4SU+B7vSfqdLDVgiH54eb+ygwy+/Vagx+DzTMW4zUxGoypHn9TKq3sDzQbc6tKdRft45kqh2SiA1wTU6uxcJEA0mrDUJ4Ivz7Iql5oTt1jDETHymEnskKCWcUAk9vCp6+ThfLrmuoeRO5J6hwzxKKgih8KyDOsiPgQTUWWW+P6w2bzj8EHhRbVFlPw2kq3XsJDAIsQbo7a0Aw1S0oYj7RazFTmn3M4fnXkDMl1KYgiHjojyNlHPJvD4Eemwg1C2nDh3wPDGO6XtAo/RIXjbjLfhYbF95lZAxwo01NBT/o5bCrUcIP3oQULxr9zZDhohMwOu2ernCdN91pkfWW2VGKOZPrnS4he04bdlKuKIPqcIpDL8MOQ+oePygG8wghkQcbTjlc8eY3TiNul6J0SCfWGqn8sMAW4R+AcyUbquwBeLXjJaT3KzRL4noDo7AYajAJ3YAJugyvTV1Si3F7VSZ3taERaHEX7scoieQLEXZXTWaoVqlSVBXry8Qacg0wuvvUn00fAveuHT42gTsY/p/Nlz/eza0x8oo3g8RcSa1ySMSW9ztmcJXCMtmrt4vFZ2x1mEy6d1xfpVCZYbs/NOVkI7M5Db5+h7EMzpHBnGY82CRVihWNqrRzc8UoR1i5UPeE93FtGmg1XexCewGJcek/qADZly+6mawnu7b5J80H/M2a0lghw7WcZVLkWtguh0/g2VDoWPjkbP0+7gbboH9CXW8CGY12vIt0ZdGkYkSbvedXsEYg3Nt9W/7UTHGfvmQ7EmIAJbjMCFMLZPQtjon1xcAur8MpLTb3/3g2P6TUKNx6GFds/kfH8A2Q3YCVoNiUYO4nzAOAQjQD+l9THwFjtrQBjILGfh+PNv7DuZSU8yhz7AJxlj0LqzvAFTgviRQukC9rMCpCol7T5zGQDujJrtF9Ocql85L+1natQn7QIfjDOLh0lGJpWlaptaqBsbegVzsVnp0kwuWIRGjcUu6ngtyVgrcP7K4BZ6bzqdmKvIFPjPMGCrpUKubbLb3hfV19PEov5SusR9kE3quUSSLmRn83hj1IAKgX6T782RSgsUTZ/1FE0w8koiqg==

FINAL CALL FOR PARTICIPATION

ITP 2019

The Tenth International Conference on Interactive Theorem Proving

8 to 13 September 2019 in Portland, Oregon, USA

https://itp19.cecs.pdx.edu/

Main conference: 9 September to 12 September

Affiliated events: 8 September and 13 September

ITP is the premier international conference for researchers from all

areas of interactive theorem proving and its applications.

INVITED SPEAKERS

Kevin Buzzard (Imperial College, London)

June Andronick (Data61|CSIRO and The University of New South Wales)

Martin Dixon (Intel)

CONTRIBUTED PAPERS

The program committee accepted 29 regular papers and 4 short papers

this year:

https://itp19.cecs.pdx.edu/accepted-papers/

AFFILIATED EVENTS

The following affiliated events will take place on either side of the

main conference:

* Coq Workshop 2019 (Sunday, 8 September)

* SpISA 2019: Workshop on Instruction Set Architecture Specification

(Friday, 13 September)

* ProofGround: Interactive Proving Contests (Friday, 13 September)

CONTACT

Up-to-date information and online registration and accommodation

information can be found at

https://itp19.cecs.pdx.edu/

itp19 at cecs.pdx.edu

[Coq-Club] ITP 2019: Final Call for Participation, O'Leary, John W, 08/23/2019