LPAR-18 participation
[email protected] (Geoff Sutcliffe)
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <[email protected]> |
==========================
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.
-----------------------------------------------------------------------------