[eclipse-clp-users] Last call: CFP: 24th Workshop on (Constraint) Logic Programming -- Sept 14-16 Cairo, EGYPT

From: Carmen Gervet <carmen.gervet_at_guc.edu.eg>
Date: Thu, 10 Jun 2010 13:58:04 +0300
[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_guc.edu.eg

 

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_guc.edu.eg

 
Received on Thu Jun 10 2010 - 11:35:00 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET