**Hierarchical reasoning in local theory extensions and applications**

(invited talk at SYNASC 2014, Timisoara, September 2014)

slides [.pdf]

**Hierarchical and modular reasoning in complex theories**

(tutorial at CADE 2009, August 2009)

all slides [.pdf]

**Reasoning in complex theories and applications**

(tutorial at KI 2008, September 23, 2008)

all slides [.pdf]

** Efficient hierarchical reasoning about functions over numerical domains**

(talk at KI 2008, September 26, 2008)

all slides [.pdf]

**Locality and subsumption testing in EL and some of its extensions**

(talk at AiML 2008, Nancy, September 2008)

all slides [.pdf]

**Hierarchical and modular reasoning in complex theories: The case of local theory extensions.
**

(invited talk at joint session of FroCos 2007 and FTP 2007)

all slides [.pdf]

**Interpolation in local theory extensions**

(talk at IJCAR-06, Seattle, August 2006)

all slides [.pdf]

**Applications of hierarchical reasoning in the verification of complex systems.**

(talk given at PDPAR'06 by my coauthor, Swen Jacobs)

all slides [.pdf]

**Hierarchic reasoning in local theory extensions**;

(talk at CADE-05, Tallinn, Estonia, July 2005)

all slides [.pdf]

main slides [.pdf]

**Automated theorem proving by resolution in non-classical logics**

(invited talk at JIM'03, Metz, September 2003)

all slides
[.pdf]

**Representation theorems and the semantics of (semi)lattice based
logics**

(invited talk at the 31th ISMVL, May 21-23, 2001, Warsaw,
Poland)

all slides
[.pdf)]

main slides [.pdf]