Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
LPAR-17 submission deadlines
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: geoff@c...
Subject: LPAR-17 submission deadlines
                  The 17th International Conference on 
        Logic for Programming, Artificial Intelligence and Reasoning

             Yogyakarta, Indonesia  -  October 10th-15th, 2010

                   Abstract submission deadline - 1st June
                   Paper submission deadline    - 8th June

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 17th LPAR
will be held in Yogyakarta, Indonesia.

Conference Chair: Steffen Hoelldobler
Programme Chairs: Chris Fermueller, Andrei Voronkov

Submissions of two kinds are welcome:
* Regular papers that describe solid new research results. 
* Experimental and tool papers that describe implementations of systems, 
  report experiments with implemented systems, or compare implemented systems.

See the web site for all
the details.