coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LPAR-20 in Fiji - Registration is open

From: geoff AT cs.miami.edu (Geoff Sutcliffe)
To: coq-club AT inria.fr
Subject: [Coq-Club] LPAR-20 in Fiji - Registration is open
Date: Thu, 15 Oct 2015 10:54:47 -0400 (EDT)
Authentication-results: mail3-smtp-sop.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:0oJKhRGFCM2F8JQd3PBjZZ1GYnF86YWxBRYc798ds5kLTJ75pMuwAkXT6L1XgUPTWs2DsrQf27aQ4/GrBjNIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/ni6biqtaMPE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdKMhCLdcET4OMmYv5cStuwOQYxGI4y4TX2IYnDJDGE7A7Rj/X9H8vjay9sVw3yeUdfbrUbswWDqs4uY4G1fTlC4bOmthoynsgctqgfcDrQ==

===============================================================================

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 now 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 - Registration is open, Geoff Sutcliffe, 10/15/2015