Welcome Reception and Registration
Session: Constraints (1)
13:00 - 13:30 Armin Wolf, Gunnar Schrader Weighted-Task-Sum - Scheduling Prioritised Tasks on a Single Resource 13:30 - 14:00 Sebastian Kuhnert Efficient Edge-Finding on Unary Resources with Optional Activities 14:00 - 14:30 Lukas Chrpa, Pavel Surynek, Jiri Vyskocil Encoding of Planning Problems and their Optimizations in Linear Logic Coffee Break
Session: Constraints (2)
15:00 - 15:30 Sagar Sen, Benoit Baudry, Doina Precup Partial Model Completion in Model Driven Engineering using Constraint Logic Programming 15:30 - 16:00 Ricardo Soto, Laurent Granvilliers Dynamic Parser Cooperation for Extending a Constrained Object-Based Modeling Language Coffee Break
Session: System Demonstrations
16:30 - 16:50 Ricardo Soto A Solver-Independent Platform for Modeling Constrained Objects Involving Discrete and Continuous Domains 16:50 - 17:10 Hans Tompits, Johannes Oetsch, Martina Seidl, Stefan Woltran Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT 17:10 - 17:30 Hans Tompits, Martin Gebser, Jörg Pührer, Torsten Schaub, Stefan Woltran spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics 17:45 GLP Meeting
Invited Talk
09:00 - 10:00 Ulrich Geske (University of Potsdam) A Guide for the Manual Construction of Difference List Procedures Coffee Break
Session: Databases, Verification
10:30 - 11:00 Jesus M. Almendros-Jimenez, Antonio Becerra-Teron, Francisco J. Enciso-Banos Integrating XQuery and Logic Programming 11:00 - 11:30 Ricardo Rocha, Pedro Costa, Michel Ferreira Tabling Logic Programs in a Database 11:30 - 12:00 Tristan Behrens, Jürgen Dix LTL Model Checking with Logic Based Petri Nets Lunch Break
Session: Languages (1)
13:15 - 13:45 Vitor Nogueira, Salvador Abreu Integrating Temporal Annotations in a Modular Logic Language 13:45 - 14:15 Grzegorz Nalepa, Igor Wojnicki Proposal of Visual Generalized Rule Programming Model for Prolog 14:15 - 14:45 Igor Wojnicki, Grzegorz Nalepa Prolog Hybrid Operators in the Generalized Rule Programming Model Coffee Break
Session: Constraints (3)
15:00 - 15:30 Slim Abdennadher, Marlien Edward Constraint-Based Examination Timetabling for the German University in Cairo 15:30 - 16:00 Slim Abdennadher, Mohamed Aly Constraint-Based University Timetabling for the German University in Cairo Excursion and Conference Dinner
Session: Languages (2)
09:00 - 09:30 Bernd Braßel, Frank Huch The Kiel Curry System KiCS 09:30 - 10:00 Francisco Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez Narrowing for Non-Determinism with Call-Time Choice Semantics 10:00 - 10:30 Martin Plümicke Java Type Unification with Wildcards Coffee Break
Session: Databases and Data Mining
11:00 - 11:30 Bernd Braßel, Michael Hanus, Marion Müller Compiling Entity-Relationship Diagrams into Declarative Programs 11:30 - 12:00 Martin Atzmueller, Frank Puppe Causal Subgroup Analysis for Detecting Confounding 12:00 - 12:30 Andreas M. Böhm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka Squash: A Tool for Designing, Analyzing and Refactoring Relational Database Applications 12:30 - 13:00 Martin Atzmueller, Dietmar Seipel Declarative Specification of Ontological Domain Knowledge for Descriptive Data Mining Conference End