[SMT-LIB] LPAR-21 in Botswana - Come join us!

Geoff Sutcliffe geoff at cs.miami.edu
Fri Mar 24 11:46:32 EDT 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!

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


More information about the SMT-LIB mailing list