The non-personal home page of Bart Demoen

Address: Department of Computer Science, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium.
Phone: +32 (0)16 327547
Email: Bart Demoen

De Vlaamse Programmeerwedstrijd is aan zijn tweede editie toe !

The Department of Computer Science is part of the

Faculty of Engineering

K.U.Leuven

and also organises the Bachelor/Master Informatics within the Faculty of Science.

mijn kuloket, Toledo , Calendar , zoek personeel , zoek student.
bach informatica , master informatica , master toegepaste informatica
Schakelprogramma voor master (toegepaste) informatica
bachelor ingenieur cw , master ingenieur cw , lerarenopleiding technologie , AVL , EasyChair

My interests are in

implementation: the next LP system, memory management, inductive learning systems, tabling, CHR, CLP
theory: automata, computability, algebra

The book with The First 10 Prolog Programming Contests can be downloaded for free.

Ik geef (of ben betrokken bij) de volgende vakken in 2009-2010:

Automaten en Berekenbaarheid
Complexiteit van algoritmen
Didactiek technologie met concretisering: informatica - techniek Samen met G. Vandersickel
Concretisering thema's vakdidactiek: informatica Wordt verzorgd door G. Vandersickel
Reflectie en ontwikkeling van technologie-onderwijs: informatica - techniek Wordt verzorgd door Prof. B. Martens
Geschiedenis van de informatica Samen met 6 collegas
Stage technologie: informatica - techniek Samen met G. Vandersickel
Stage technologie: informatica, techniek - Deel 1 Samen met G. Vandersickel
Stage technologie: informatica, techniek - Deel 2 Samen met G. Vandersickel
Pedagogisch-didactisch seminarie: wiskunde - technologie - natuurwetenschappen Samen met 8 collegas

Ik geef het vak Compiler Constructie om de twee jaar, en niet in 2009-2010.

In 2008-2009 gaf ik:

Fundamenten voor de Informatica - vanaf nu door Prof. H. Blockeel
Besturingssystemen - vanaf nu door Prof. P. Verbaeten
Fundamenten voor de Computerwetenschappen - vanaf nu door Prof. D. Clarke

Ik coordineerde Vergelijkende Studie van Imperatieve Programmeertalen - dat wordt opnieuw door Prof. E. Steegmans gegeven.

Info i.v.m. eindwerken

Diverse dienstverlening ...

afdelingshoofd van de afdeling Informatica van het departement Computerwetenschappen.
lid van de de POC Informatica.
lid van het Faculteitsbestuur Wetenschappen.

Other work:

Some of my research or involvements:

Together with Remko Tronçon and Tom Schrijvers, I maintain the ALP web site.
HAL
A Prolog compiler to Java - joint with P. Tarau (rather old: 1996)
Publications in informatics - if you can't find something, ask me. I update this sometimes - last time: 23-4-2002
Publications from a previous life.
dProlog
hProlog

All Prolog programming contests with all the questions.
The comp.lang.prolog FAQ

CICLOPS'2002 was held in Copenhagen, Denmark at the occasion of ICLP'02. Here are the proceedings and other material related to it
I am co-editor of the Logic Programming Pearls Section of the Journal of Theory and Practice of Logic Programming

I am member of the program committees of COLA2009 , CICLOPS2009 , SAC 2010 and FLOPS 2010

Together with Vladimir Lifschitz, I have co-chaired ICLP'04: 6-10 September 2004, St-Malo, France.