[Apologies if you receive multiple copies] Call for Papers ================ 24th Workshop on (Constraint) Logic Programming =============================================== Cairo, Egypt, September 14-16, 2010 URL: http://met.guc.edu.eg/events/wlp2010/ General ------- The workshops on constraint logic programming are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. Previous workshops have been held in Germany, Austria and Switzerland. The technical program of the workshop will include an invited talk, presentations of refereed papers and demo presentations. Previous workshops took place in Potsdam(2009), Dresden (2008), Würzburg (2007), Vienna (2006), Ulm (2005), Potsdam(2004), Dresden(2002), Kiel (2001), ... Topics ------ Contributions are welcome on all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including, but not limited to (the order does not reflect priorities): * Foundations of Constraint/Logic Programming * Constraint Solving and Optimization * Extensions: Functional Logic Programming, Objects * Deductive Databases, Data Mining * Nonmonotonic Reasoning * Dynamics, Updates, States, Transactions * Interaction of CP/LP with other formalisms like Agents, XML, JAVA * Program Analysis, Program Transformation, Program Verification, Meta Programming * Parallelism and Concurrency * Answer-set Programming * Implementation Techniques * Software Techniques (e.g., Types, Modularity, Design Patterns) * Applications (e.g., in Production, Environment, Education, Internet) * Constraint/Logic Programming for Semantic Web Systems and Applications * Reasoning on the Semantic Web * Data Modeling for the Web, Semistructured Data, and Web Query Languages The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Proceedings ----------- The proceedings will be published as a technical report of the Department of Computer Science, German University in Cairo. Submission ---------- Authors are invited to submit an extended abstract (no longer than 10 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format (11pt) before June 27, 2010 via EasyChair - URL: http://www.easychair.org/conferences/?conf=wlp2010 All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted too. If you have any problems with submitting papers, please send an email to slim.abdennadher_at_...210... Important Dates - Deadline Extension ------------------------------------ Submission of papers: July 20, 2010 Notification of acceptance: August 19, 2010 Early-Registration Deadline: August 20, 2010 Camera-ready papers: August 31, 2010 Workshop: September 14-16, 2010 Program committee ----------------- Slim Abdennadher - German University Cairo Christoph Beierle - FernUniv. Hagen Francois Bry - LMU Munich Carmen Gervet - German University Cairo Ulrich Geske - Univ. Potsdam Michael Hanus - CAU Kiel Steffen Holldobler - TU Dresden Petra Hofstedt - TU Cottbus Bharat Jayaraman - University at Buffalo Ulrich John - SIR Plan GmbH Frank Raiser - Ulm University Dietmar Seipel - Univ. Wuerzburg Michael Thielscher - TU Dresden Hans Tompits - TU Wien Armin Wolf - Fraunhofer FIRST Pascal van Hentenryck - Brown University Mark Wallace - Monash University Chair (Contact) --------------- Prof. Dr. Slim Abdennadher Study Dean, Faculties of Engineering Dean of Faculty of Media Engineering New Cairo City Main Entrance El Tagamoa El Khames T: (+202) 758-999-0 F: (+202)2-758-999-1 E: slim.abdennadher_at_...210...Received on Thu Jun 10 2010 - 11:35:00 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST