Elsnet
 
   


ELSNET-list archive

Category:   E-CFP
Subject:   LPAR-17 submission deadlines
From:  
Email:   geoff_(on)_cs.miami.edu
Date received:   20 May 2010
Deadline:   01 Jun 2010
Start date:   10 Oct 2010

============================================================ The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================ Yogyakarta, Indonesia - October 10th-15th, 2010 http://www.computational-logic.org/lpar-17/Home.html --------------------------------------- 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 http://www.computational-logic.org/lpar-17/Home.html for all the details. =============================================================================== _______________________________________________ Elsnet-list mailing list Elsnet-list_(at)_mailman.let.uu.nl http://mailman.elsnet.org/mailman/listinfo/elsnet-list
 

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 27-05-2010 by Steven Krauwer Disclaimer / Contact ELSNET