**************************
* Call for Participation *
**************************
Kiel Declarative Programming Days 2013
September 11-13, 2013
http://www-ps.informatik.uni-kiel.de/kdpd2013/
--------------------------------------------------------------------
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,
http://www.dcc.fc.up.pt/INAP-2013/)
* 22nd International Workshop on Functional and (Constraint) Logic Programming
(WFLP 2013,
http://www-ps.informatik.uni-kiel.de/wflp2013/)
* 27th Workshop on Logic Programming
(WLP 2013,
http://www-ps.informatik.uni-kiel.de/wflp2013/)
All events will be jointly organized. Look at the web sites
about detailed registration, accommodation, and travel information.
======================================================================
TECHNICAL PROGRAM
The technical program includes:
INVITED TALK:
Tom Schrijvers (University of Ghent):
Delimited Continuations for Prolog: An Overview
ACCEPTED PAPERS:
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
----------------------------------------------------------------------
CONTACT
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
Email: mh_at_informatik.uni-kiel.de
----------------------------------------------------------------------
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Aug 12 2013 - 13:40:11 CEST