coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: ijcar2016 AT mat.uc.pt
To: coq-club AT inria.fr
Subject: [Coq-Club] IJCAR 2016: WORKSHOPS
Date: Mon, 16 May 2016 18:50:28 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ijcar2016 AT mat.uc.pt; spf=Pass smtp.mailfrom=ijcar2016 AT mat.uc.pt; spf=None smtp.helo=postmaster AT nmail.mat.uc.pt
Importance: Normal
Ironport-phdr: 9a23:XBwR5B+VIU1ryv9uRHKM819IXTAuvvDOBiVQ1KB91+gcTK2v8tzYMVDF4r011RmSDdSdsawP0rKH+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt+U1Zr8jrjjs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYjck87NZNWrnWeKExTLoQTGh3cjN92Mq+vh7aCACL+3E0U2MMkxMODRKWwgv9W8LwsCDzrLAlgXeyOMTqC60/Hyy+vPQjcwPhlCpSb21xy2rQkMEl0PNW

IJCAR 2016: WORKSHOPS

International Joint Conference on
Automated Reasoning
27 June - 2 July, 2016
University of Coimbra, Portugal

On 1 July and 2 July the following workshop will take place at IJCAR 2016.

For deadlines of submissions and further information, please visit the
corresponding webpages.

GeTFun (Compositional Meaning in Logic)
July 1st-2nd, http://sqig.math.ist.utl.pt/GeTFun/4.0
SMT (Satisfiability Modulo Theories)
July 1st-2nd, http://smt-workshop.cs.uiowa.edu/2016/
ARQNL (Automated Reasoning in Quantified Non-Classical Logics)
July 1st, http://iltp.de/ARQNL-2016/
HaTT 2016 (Hammers for Type Theories)
July 1st, http://hatt2016.inria.fr/
LRPP (Logics for Resources, Processes, and Programs)
July 1st, http://www.loria.fr/~galmiche/LRPP2016.html
UITP (User Interfaces for Theorem Provers)
July 2nd, http://www.informatik.uni-bremen.de/uitp/
PAAR (Practical Aspects of Automated Reasoning)
July 2nd, http://cs.ru.nl/paar16/
Social Aspects of Proofs
July 2nd, https://pathsnottakenblog.wordpress.com/
Vampire
July 2nd, http://easychair.org/smart-program/Vampire2016/Overview.html

Reinhard Kahle
IJCAR Workshop Chair.