Call for Participation: Kiel Declarative Programming Days 2013

From: Michael Hanus <>
Date: Mon, 12 Aug 2013 13:38:16 +0200 (CEST)

                     * Call for Participation *

              Kiel Declarative Programming Days 2013
                      September 11-13, 2013

  Early registration (and hotel reservation) deadline: August 15, 2013

The Kiel Declarative Programming Days 2013 unifies the following events:

* 20th International Conference on Applications of Declarative Programming
  and Knowledge Management
  (INAP 2013,

* 22nd International Workshop on Functional and (Constraint) Logic Programming
  (WFLP 2013,

* 27th Workshop on Logic Programming
  (WLP 2013,

All events will be jointly organized. Look at the web sites
about detailed registration, accommodation, and travel information.



The technical program includes:


  Tom Schrijvers (University of Ghent):
  Delimited Continuations for Prolog: An Overview


  James Gil de Lamadrid:
  FOBS-X: An Extensible Hybrid Functional-Object-Oriented Scripting Language
  Marcus Ermler:
  Towards a Verification Framework for Haskell by Combining
  Graph Transformation Units and SAT Solving
  Nikita Danilenko:
  And... Action! - Monoid Acts and (Pre)orders
  Chiaki Sakama:
  Debate Games in Logic Programming
  Alexander Bau and Johannes Waldmann:
  Propositional Encoding of Constraints over Tree-Shaped Data
  Marcus Ermler:
  A SAT-Based Graph Rewriting and Verification Tool implemented in Haskell
  Carlos Alberto Martínez-Angeles, Ines Dutra, Vítor Santos-Costa
  and Jorge Buenabad-Chavez:
  A Datalog Engine for GPUs
  Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers and Bertram Ludascher:
  uler/X: A Toolkit for Logic-based Taxonomy Integration
  Jomu George Mani Paret and Otmane Ait Mohamed:
  Coverage Driven Test Generation and Consistency Algorithm
  Alexander Šimko:
  Extension of Gelfond-Lifschitz Reduction for Preferred Answer Sets:
  Preliminary Report
  Christoph Beierle and Udo Lelitko:
  On an Approach to Implementing Exact Real Arithmetic in Curry
  Claus Zinn:
  Heuristic Search Over Program Transformations
  Baltasar Trancón Y Widemann and Markus Lepper:
  Some Experiments on Light-Weight Object-Functional-Logic Programming
  in Java with Paisley
  Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner:
  Construction of Explanation Graphs from Extended Dependency Graphs
  for Answer Set Programs
  Mário Abrantes and Luís Moniz Pereira:
  An Abductive Paraconsistent Semantics -- MHp
  Benny Höckner, Petra Hofstedt, Peter Sauer, Thilo Voertler and Thomas Hinze:
  Constraint-based Approach for an Early Inspection of the
  Feasibility of Cyber Physical Systems
  Thomas Eiter, Michael Fink, Thomas Krennwallner and Christoph Redl:
  HEX-Programs with Existential Quantification
  Guohua Liu, Tomi Janhunen and Ilkka Niemela:
  Introducing Real Variables and MIP Objective Functions
  to Answer Set Programming
  Mikus Vanags, Arturs Licis and Janis Justs:
  Meta-set calculus as mathematical basis for creating abstract,
  structured data store querying technology
  Gerald Berger and Hans Tompits:
  On Axiomatic Rejection for the Description Logic ALC
  Rana Awada, Pablo Barcelo and Iluju Kiringa:
  Sharing and Exchanging Data
  Ludwig Ostermayer, Geng Sun and Dietmar Seipel:
  Simplifying Rules Creation Using Domain Specific Languages in Drools
  Danny Munera, Daniel Diaz and Salvador Abreu:
  Towards Parallel Constraint-Based Local Search with the X10 Language


   Prof. Michael Hanus
   Institut fuer Informatik
   Christian-Albrechts-Universitaet zu Kiel
   D-24098 Kiel, Germany
   Phone: ++49-431-880-7271 or -7270 (Secr.)
   Fax : ++49-431-880-7613


You are receiving this message because you are a member of the
mailinglist ''.
To unsubscribe from (leave) this mailinglist, please go to this URL:
Received on Mo Aug 12 2013 - 13:40:17 CEST

This archive was generated by hypermail 2.3.0 : Sa Mai 25 2024 - 07:16:02 CEST