DTAI

Location: 200A, Room 05.128
Schedule: Tuesday, February 17, 2009.

• 10:00: Ilkka Niemelä, Stable Models and Difference Logic
• 11:00-11:15: Coffee break
• 11:15: David G. Mitchell, Grounding Based on the Relational Algebra
• 13:30: Maarten Mariën, Ph.D. defense, Model Generation for ID-Logic (in the Arenberg Castle)

See website symposium for more information.

On Friday, December 19, the Declarative Languages and Artificial Intelligence research group of the Katholieke Universiteit Leuven organizes the symposium "Consistency Handling in Relational Databases" at the Computer Science Department of the K.U. Leuven, Celestijnenlaan 200A, 3001 Heverlee, Belgium.

Attending the symposium is free, but registration is required (by December 16).

Program:

13:00 - "Distance Semantics for Reasoning with Inconsistency in Information Systems" by Ofer Arieli (Academic College of Tel-Aviv, Israel)
14:00 - "Consistent Query Answering: The First Ten Years" By Jan Chomicki (University at Buffalo, NY, USA)
15:00 - Coffee break
15:30 - "Consistent query answering under primary key constraints ". By Jef Wijsen Université de Mons-Hainaut, Mons, Belgium
17:00 - PhD Defense Álvaro Cortés: "Towards a Logical Reconstruction of a Theory for Locally Complete Databases"

For more information about the program, registration and location, please visit:http://www.cs.kuleuven.ac.be/~alvaro/phddefense/symposium.html

The 2nd International Workshop on Logic and Search (LaSh 2008) will be held on November 6-7th 2008, in the city of Leuven, Belgium.

More info

On Friday 11 May 2007, The Declarative Languages and Artificial Intelligence (DTAI) research group of the Katholieke Universiteit Leuven organizes a symposium on "Recent Developments in Knowledge Representation". Speakers at this event will be:

• Thomas Eiter (Technische Universitaet Wien, Austria)
• Davy Van Nieuwenborgh (Vrije Universiteit Brussel, Belgium)
• Michael Gelfond (Texas Tech University, USA)

The symposium will be followed by the PhD defense of Joost Vennekens, who will defend his thesis "Algebraic and Logical Study of Constructive Processes in Knowledge Representation" (in Dutch).

More information about the event can be found at: http://www.cs.kuleuven.be/~joost/phd/program.html

This event is supported by the FWO-WOG "Declarative Methods in Computer Science".