WLP 2012
Workshop on Logic Programming
Bonn, Germany
GENERAL
Home
Topics at a glance
Call for Papers
Important Dates
SUBMISSIONS
Guidelines
Accepted Papers
Proceedings
PROGRAMM
Invited Talks
Schedule
VENUE
Travel to/in Bonn
Accomodation
Sightseeing in Bonn
RELATED GROUPS
Mathematical Logic
Fraunhofer IAIS
Intelligent Databases
ORGANIZATION
Program Committee
Local Organization
FORMER WORKSHOPS
Vienna 2011
Cairo 2010
Potsdam 2009
Dresden 2008
Würzburg 2007
Vienna 2006
Ulm 2005
Potsdam 2004
Dresden 2002
Kiel 2001
Schedule
Monday, September 24
11:00-13:30
Registration and Welcome Coffee
13:30-14:00
Opening
14:00-15:00
Invited Talk I
(Chair: tba)
Ralf Hinze (University of Oxford):
The Computational Essence of Sorting Algorithms
15:00-15:30
Coffee Break
15:30-17:00
Technical Session I:
Constraints and Logic Programming (Chair: tba)
15:30-16:00
Giacoma Monreale and Ugo Montanari:
Soft Constraint Logic Programming for Electric Vehicle Travel Optimization
16:00-16:30
Heike Stephan and Stefan Brass:
A Variant of Earley Deduction With Partial Evaluation
16:30-17:00
Hendrik Decker:
Causes for Checking the Integrity of the Evolution of Databases
17:00-18:00
GLP Meeting / Coffee Break
19:30
Joint Dinner at the restaurant
Ente
Tuesday, September 25
09:30-10:30
Invited Talk I
(Chair: tba)
Jan Wielemaker (University of Amsterdam):
What is next after 25 years of SWI-Prolog?
10:30-11:00
Coffee Break
11:00-12:30
Technical Session II:
Application of Logic Programming (Chair: tba)
11:00-11:30
Richard Tantius, Daniel Speicher, and Andreas Behrend:
An Application of Update Propagation on Logic Programs Representing Java Source Code
11:30-12:00
Ludwig Ostermayer and Dietmar Seipel:
Knowledge Engineering for Business Rules in PROLOG
12:00-12:30
Daniel Speicher and Andri Bremm:
Clone Removal in Java Programs as a Process of Stepwise Unification
12:30-13:30
Lunch
13:30-14:30
System Descriptions
(Chair: tba)
13:30-14:00
Slim Abdennadher and Mahitab Sharawy:
CHR meets Google Docs
14:00-14:30
Christian Schneiker and Dietmar Seipel:
Declarative Web Programming with PROLOG and XUL
14:30-15:00
Coffee Break
15:00-16:00
Technical Session III:
Languages and Semantics (Chair: tba)
15:30-15:30
Johannes Oetsch, Jörg Pührer and Hans Tompits:
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming
15:30-16:00
Jan Christiansen, Michael Hanus, Fabian Reck, and Daniel Seidel:
A Denotational Semantics for Weak Encapsulation in Curry
17:00-18:00
Excursion to Arithmeum
19:00
Joint Dinner
© Andreas Behrend June 8, 2012
Intelligent Databases Group
University of Bonn