[Caml-list] LPAR-21 in Botswana - Come join us!

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

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!

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

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs