A logic-based approach to cloud computing, lecture at the EATCS Young Researchers School, TelÄ¨, Czech Republic, 1 August 2014.

Alan Turing: het Enigma, bloemlezing van de biografie van Alan Turing, seniorenuniversiteit UHasselt, 17 maart 2014.

*DNAQL: A data model and query language for databases in DNA*, invited talk at EDBT/ICDT 2013, Genoa, Italy, 18 March 2013.

*Declarative semantics for declarative networking*, 25 July 2012, KRDB Seminar at Free University of Bozen-Bolzano. Also given at meeting on Foundations of XML, Houffalize, Belgium, 23--25 April 2012.

*Relative expressiveness within the calculus of relations*, 14 May 2012, Meeting on Finite Model Theory, Ecole de Physique des Houches.

*Temporal semantics for the Open
Provenance Model*, 28 February 2012, Dagstuhl Seminar
on Principles of Provenance.

*Towards a theory of dataspace
queries* invited tutorial given at the ER 2011
conference, held in Bruxelles, 31 October 2011. Also invited
tutorial at the BDA conference, held in Namur, 20-22 October 2009.

*A Crash Course in Database Queries*
is an invited tutorial given at the 26th ACM Symposium on
Principles of Database Systems, held in Beijing, 11-13 June 2007.

*Database Query Processing using
Finite Cursor Machines* given at the 11th
International Conference on Database Theory, held in Barcelona,
10-12 January 2007.

*Mining tree-query patterns and
associations in a large graph* given at the City
University of Hong Kong on 21 December 2006.

*The Semijoin Algebra* given at the
4th International Symposium on Foundations of Information and Knowledge
Systems, held in Budapest, 14-17 February 2006.

*Logical aspects of spatial
databases* given at the Workshop on Finite and Algorithmic Model
Theory, held in Durham, England, 9-13 January 2006.

*Mining frequent tree-conjunctive queries in
large graphs* given at a symposium on Recent Trends
in Relational Data Mining at the University of Leuven, 23
December 2004.

*Meta-SQL: Towards practical
meta-querying* given at the
9th International Conference on Extending
Database Technology in Heraklion, Crete, 14-18 March 2004.

*Database interrogation using
conjunctive queries* given at the 9th International Conference on
Database Theory in Siena, Italy, 8-10 January 2003.

*A reformulation of the XDuce
type system*
given at a meeting on Foundations of Semistructured Data
at Schloss
Dagstuhl in September 2001.
(Gzipped PostScript format.)

*Applications of Alfred Tarski's
Ideas in Database Theory* given
at the Annual Conference of the European Association
for Computer Science Logic, Paris, September 2001.
(Gzipped PostScript format.)

*Polymorphic type inference for the
relational algebra* given at the meeting of the
FNRS Contact Group on
Fundamental Computer Science at ULB, June 2001. (Gzipped PostScript format.)

*From complex-object to
semistructured query languages* given at the Aachen-Freiburg-Mainz
Seminar on Finite Model Theory in Aachen, November 2000.
(Gzipped PostScript format.)

*Constraint Databases*
given at a meeting on Finite Model Theory, Database Theory, and
Computer-Aided Verification at Schloss
Dagstuhl in October 1999. (Scanned-in copies of handwritten slides.)

*Abstract
state machines and computationally complete languages*
given at the ASM 2000 Workshop at
Monte Verità. (Powerpoint format.)

*Polynomial-space
query languages*
given at the 2000 meeting on Finite Model Theory at
CIRM.
(Powerpoint format.)

Last updated: Mon Jan 25 23:08:37 CET 2016 Jan Van den Bussche