LPAR-21 in Botswana - Come join us!
Geoff Sutcliffe
geoff at cs.miami.edu
Fr Mär 24 16:41:12 CET 2017
****************************************************************************
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!
****************************************************************************
Mehr Informationen über die Mailingliste IFI-CI-Event