Deutsch Imprint Contact Sitemap Search

			Home > Events > Veranstaltung
	Profile Departments Publications Projects Press and Media Events Event Archive Jobs & Career Fraunhofer Gesellschaft Fraunhofer IuK-Verbund Fraunhofer in Berlin		19th Workshop on (Constraint) Logic Programming University Ulm, Germany, February 21 - 23, 2005 (NEW!) The workshop on (constraint) logic programming is the annual meeting of the Society of Logic Programming (GLP e.V.) and brings together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria, and Switzerland. In 2005 the workshop will be organised in order to promote the cross-fertilising exchange of ideas and experiences among practitioners, researchers, and students from the different communities interested in the foundations, applications, and combinations of high-level declarative programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers, and demo presentations. 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 Optimisation —  Extensions: Functional Logic Programming, Object-oriented Programming —  Deductive Databases, Data Mining —  Non-monotonic 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 —  Rule-based Systems —  Implementation Techniques —  Software Techniques (e.g., Types, Modularity, Design Patterns) —  Applications (e.g., in Production, Management, Environment, Education, Medicine, Internet) —  Constraint/Logic Programming for Semantic Web Systems and Applications —  Reasoning on the Semantic Web —  Data Modelling 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 or interesting experiments (e.g., benchmarks) are also encouraged. Submission Submission is closed. Registration (NEW!) The registration for the workshop is open. Please, use the following W(C)LP 2005 registration form and follow the instruction therein. The deadline for regular registration is February, 16, 2005. Program Schedule (NEW!) The schedule of the technical and the social program is now available and can be downloaded here: W(C)LP 2005 Schedule Publication All accepted papers will be published as a technical report. In addition, it is planned to publish selected papers in form of post-conference proceedings in Springer Lecture Notes in Artificial Intelligence (LNAI) series. Program Chair Armin Wolf (Fraunhofer FIRST, Berlin, Germany) Program Committee Slim Abdennadher (German University Cairo, Egypt) Christoph.Beierle (FernUniveristät Hagen, Germany) Francois Bry (Ludwig Maximilians University, Munich, Germany) Henning Christiansen (Roskilde University, Denmark) Thom Frühwirth (University of Ulm, Germany) Ulrich Geske (Fraunhofer FIRST, Berlin, Germany) Michael Hanus (University of Kiel, Germany) Petra Hofstedt (Technical University Berlin, Germany) Steffen Hölldobler (Technical University Dresden, Germany) Christian Holzbaur (Vienna, Austria) Ulrich John (DaimlerChrysler Research, Berlin, Germany) Ulrich Neumerkel (Technical Universtiy Vienna, Austria) Alessandra Raffaeta (Universtiy Ca\' Foscari, Venezia, Italy) Georg Ringwelski (4C, Cork, Ireland) Hans Schlenker (Fraunhofer FIRST, Berlin, Germany) Tom Schrijvers (Catholic University Leuven, Belgium) Dietmar Seipel (University of Würzburg, Germany) Michael Thielscher (Technical University Dresden, Germany) Herbert Wicklicky (Imperial College, London, Great Britain) Armin Wolf (Fraunhofer FIRST, Berlin, Germany) Local Chair Thom Frühwirth (University of Ulm, Germany) Local Organisation Marc Meister (University of Ulm, Germany) Important Dates Registration: Deadline 4th February 2005 Submission of Papers: 14th November 2004 Notification of Acceptance: 15th December 2004 Camera-ready Versions: 21th January 2005 Local Information Venue and Further Local Information Hotels and Restaurants Contact Fraunhofer Institute for Computer Architecture and Software Technology FIRST Planning Technology PlanT Kekuléstraße 7 12489 Berlin Germany Dr. Armin Wolf phone: +49 (0) 30 / 63 92 - 18 64 or - 1800 fax: +49 (0) 30 / 63 92 - 18 05 e-mail: Armin Wolf WWW: Armin Wolf Back to the summary Event Archive   more
			print
			© 2010 Fraunhofer FIRST