News and Events: MoL and PhD defenses

Please note that this newsitem has been archived, and may contain outdated information or links.

2 December 2002, PhD defense, Rosella Gennari

Candidate: Rosella Gennari
Title: Mapping Inferences
Date: Monday 2 December 2002
Time: 11:00
Location: Doelenzaal (the small room), Oude Lutherse Kerk, Singel 411,
Amsterdam
Promotor: K.R. Apt
Copromotor: M. de Rijke

Keywords: efficient automated reasoning, CSPs, constraint propagation, modal logics, modal satisfiability.

For more information, see http://www.cwi.nl/~gennari/thesis

Please note that this newsitem has been archived, and may contain outdated information or links.