coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LPAR-21 in Botswana - Come join us!

From: geoff AT cs.miami.edu (Geoff Sutcliffe)
To: coq-club AT inria.fr
Subject: [Coq-Club] LPAR-21 in Botswana - Come join us!
Date: Fri, 24 Mar 2017 11:40:23 -0400 (EDT)
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:wiPHbRBLT4HcxSrYZl5FUyQJP3N1i/DPJgcQr6AfoPdwSPv6ocbcNUDSrc9gkEXOFd2CrakV16yO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fdbghMizexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoJKSM3/mLZhMJwl69XvA6tqwBjz4LIfI2ZKPxzdb7dc9MAQmpBW95cVyNfDYO7YYsPAfEMMvpDr4XnolsOrAGxBQytBO/11DBHm2L21rA+3+ogDw7G2wIgH9wTu3rJsdX1KLsdUeS0zKnGwzXMcfZa1DHg44bGdRAhpOuDXbN2ccfJzUkvDxnKjk+JpYD7Ij+ZzOUNs26V7+pnU++klm0pqxlprzSywsoglJPFi4wIxlze9ih0xJw5KNy+RUVme9CrCoFQuDufN4ZuQsMtXWVouCEix70DpZG0YCwKx4ojxx7bcfOHdZKE7Q74VOqLJDd4hWhqeLe+hxqo70ev1/D8WtG10FZMsCVFjsHBum0J2hDN8MSKROZx8l2i1DuLzQze6/lIIUUumqraL54hzKQwlp0WsUnbES/5hkL2jKGYdkg/5ueo8P7rYrDnppCGMo90ixvyPbozlcyiGeg4KBQBX3CH+eSg073u5VH2QLJTjvEvjqbZtI3aKt8Aq66iAw5V154j5AylAzen1tQYh3gHI0hfdBKJlYi6c23Jdfv/FLK0h0mmuDZt3fHPeLP7UbvXKX2Wn7rmc7hV4FUazQs6yNEZ6p5JQvEuLfX9VAfKqcDTCh43PQH1kLWvM8l0yo5LATHHOaSeKq6H6VI=

****************************************************************************

The 21st International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-21

Cresta Riley's Hotel, Maun, Botswana
http://www.LPAR-21.info

CALL FOR PARTICIPATION

The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 21st LPAR
will be held will be held in Maun, Botswana, at Cresta Riley's Hotel, 7-12th
May 2017.

The conference features:
+ Over 30 high quality technical papers
+ Three invited talks:
- Rupak Majumdar, Max Planck Institute for Software Systems, Germany
- Stephen Muggleton, Imperial College London, United Kingdom
- Willem Visser, Stellenbosch University, South Africa
+ An LPAR quality social program
- Reception braai
- Full day excursion for game viewing
- African theme farewell dinner
+ The 12th International Workshop on the Implementation of Logics

Come join us in Africa!

****************************************************************************

[Coq-Club] LPAR-21 in Botswana - Come join us!, Geoff Sutcliffe, 03/24/2017