coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ITP / FLOC 2018 workshop application deadline

From: Jeremy Avigad <avigad AT cmu.edu>
To: hol-info AT lists.sourceforge.net, isabelle-users <isabelle-users AT cl.cam.ac.uk>, coq-club AT inria.fr, pvs AT csl.sri.com, agda AT lists.chalmers.se, ssreflect AT msr-inria.inria.fr, lean-user <lean-user AT googlegroups.com>, "HomotopyTypeTheory AT googlegroups.com" <homotopytypetheory AT googlegroups.com>
Cc: Assia Mahboubi <assia.mahboubi AT inria.fr>
Subject: [Coq-Club] ITP / FLOC 2018 workshop application deadline
Date: Thu, 15 Jun 2017 09:32:35 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=avigad AT cmu.edu; spf=None smtp.mailfrom=avigad AT andrew.cmu.edu; spf=None smtp.helo=postmaster AT mail-ot0-f179.google.com
Ironport-phdr: 9a23:HBW4Eh8QTDeSrf9uRHKM819IXTAuvvDOBiVQ1KB+0+gTIJqq85mqBkHD//Il1AaPBtSEraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze6/9pnRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiScIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CRWRPUMVfWTFfDIygdIYAFfYNMPxCooXhu1cDrx2zDhSsCuP1zT9Ig2f706kk3OQ7Dw7G2QwhFM8SvXTKrdX1O70dXv2ox6TP1zrDcfJW2Tjn54fVaR0uvfSMXa9qfcXP1EYvChrIg1ONooLrODOV0/4Cs2md7+d4W+Kvj2knpB1vrjSz28shiZPFhoUPylDL8yhy3YU7JcWgRUN5btOoCoZcuz+aOodsQc4uXXtktDs4x7ACv5OwYTIEx449xxHFbvyKa4iI7QznVOaWOTp4gWhqeLO7hxqr9kig1vHwWtC60FpXrCdIlsPAtn8K1xzU5ciHTuVy8l291jaI0gDf8uBEIUYqmqrHM5MswLE9moAOvUjdHiL6gkb7gLGMekk5+OWl7/zrYrD8qZ+dM490hBv+MqMrmsGnG+s4LAkOX2eB9uuhz7Ds50v5T6hQjvIonKjVqozVJcEGpqKjHQBaz5sj5w6lDzi6yNQYgWUHLFVddR2biIjpIkjCL+z8DfeimFuhiyxrxvDDPr35GJrBNHnDkLH7fbZ88UFQ0gQzzcoMr65TX7EGJLfyXEH2nNjZFQMidRez3vzsBdt6zIwTH2SCHuvRMbjbu1KM4u9qPvKBfpRd7DfmIvIo4/rjyGIilEUGVaKtm5AebTaxFbJ7IBPdKXHrm5IKFXoAlgs4Vu3jzlOYFXZLeW2aVLk4oCohCcStCoKHDomijLWp2CagAoYQbWBPDlWBC2yubIjAE+wXci+cJsJqjhQBTqLkSok71BjotQngyrMhIPCQsikVvJSmycN4/aWHkRw783lpFMmH+26KSG5wk2wSQCIux+Z0pkkrjh/J8a99hOBfDc1v9utEbgc3MoTN5+N9DN/2Vw3becqRUxCtRdDsSWUxSdc239gWclpsA9i+jh3ExTuCDLgSmLiGC4Yz77rHmXP2IpAu5WzB0fwDgkMrR9oHHHOniadzv1zaGY/GmkmxnKO3M6kQwXiepy+40WOSsRQAA0ZLWqLfUCVaPxOOoA==

Friends,

In *2018*, Interactive Theorem Proving (ITP) will be held on July 9-12 in Oxford, UK as part of the the Federated Logic Conference (FLOC):

http://www.floc2018.org/

http://www.floc2018.org/wp-content/uploads/2017/01/FLoC-2018-poster.pdf

The reason for this early announcement is that the deadline for workshop proposals is next Monday, July 19:

http://www.floc2018.org/workshops/

Applications are made to the FLOC organizing committee, but you have to list an affiliated conference. We would welcome any ITP affiliated workshops; so if you are interested in organizing one, please let us know.

Best wishes,

Jeremy Avigad and Assia Mahboubi

Program Committtee Chairs, ITP 2018

[Coq-Club] ITP / FLOC 2018 workshop application deadline, Jeremy Avigad, 06/15/2017