coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: geoff AT cs.miami.edu (Geoff Sutcliffe)
- To: coq-club AT inria.fr
- Subject: [Coq-Club] LPAR-20 in Fiji - Register now
- Date: Fri, 6 Nov 2015 07:59:59 -0500 (EST)
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=Pass smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT mcclellan.cs.miami.edu
- Ironport-phdr: 9a23:db0KKhFrHE78Zp8nqdzK7p1GYnF86YWxBRYc798ds5kLTJ75pM2wAkXT6L1XgUPTWs2DsrQf27eQ6/iocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLvj6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MlZFK7+Yq4QTLpCDT1gPXpmytfssEzMQAyB6FMXSSMTkxNNAk7I4AyyHrj8tSX0/tFgxCKePMP4QPFnCnyZ8653RUqw2288PDkj/TSPhw==
===============================================================================
The 20th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
Suva, Fiji, 23rd-28th November 2015
www.LPAR-20.info
CALL FOR PARTICIPATION
Registration for LPAR-20 is still open ... follow the link from the conference
web page. Information about travel to Fiji, and accomodation in Suva, is also
available on the web page. Come join us for the focussed workshops, the high
quality conference, and the renowned LPAR social events.
===============================================================================
- [Coq-Club] LPAR-20 in Fiji - Register now, Geoff Sutcliffe, 11/06/2015
Archive powered by MHonArc 2.6.18.