[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] LPAR-18 participation




                      ==========================
                               LPAR-18
                             PARTICIPATION
                      ==========================

        ============================================================
                  The 18th International Conference on 
        Logic for Programming, Artificial Intelligence and Reasoning
                   Merida, Venezuela - March 11-15, 2012
                            www.LPAR-18.info 
        ============================================================

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 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 18th edition will be held in 
Merida, Venezuela.

LPAR-18 includes ...
+ IWIL-2012 - The 9th International Workshop on the Implementation of Logics
+ APS-6 - The 6th International Workshop on Analytic Proof Systems
+ Invited speakers 
  - Elvira Albert,     Complutense University of Madrid (Spain)
  - Kenneth McMillan,  Microsoft Research (USA)
  - Aart Middeldorp,   University of Innsbruck (Austria)
  - Boris Motik,       University of Oxford (UK)
+ Accepted papers 
  The programme includes 25 regular papers and 6 tool/system descriptions

-----------------------------------------------------------------------------
REGISTRATION

Registration for LPAR-18 is now open online, from the registration page on
the LPAR-18 web site - www.LPAR-18.info. The early registration deadline is
16th February.

-----------------------------------------------------------------------------