ILLC Staff projects approved in the "NWO open competition" (round 2000)

In the "NWO open competition" (round 2000), the following projects in which ILLC staff is involved have been approved of:

• K.R. Apt (Uva/CWI): ALMA-0 and New Foundations for Declarative Programming (2 PhD students + 0.4 fte non-scientific personnel for 4 years, total of kf 604)
• K.R. Apt (Uva/CWI), F. Arbab(CWI), E.B.G. Monfroy (CWI): Coordination-Based Parallel Constraint Solving
• P.M.B. Vitanyi(CWI): Universal Learning (1 postdoc for 4 years + 1 PhD student + 0,25 fte non-scientific personnel for 4 years, total of kf 680)
• M. de Rijke (UvA), K.R. Apt (Uva/CWI): Simulation and Testing for Feature Interaction (1 postdoc for 4 years + 1 PhD student + 0,5 fte non-scientific personnel for 4 years, total of kf 597)
• Y.Venema (UvA), B.P.F. Jacobs (KUN), J.J.M.M. Rutten (CWI): Coalgebraic Model Logic: Theory and Applications
• J.F.A.K. van Benthem (UvA): "De kennis en rationaliteitsaannamen van speltheoretische oplossingsconcepten" (1 PhD student, B. de Bruin)

Furthermore Maarten de Rijke obtained an NWO grant of Kf 25 to subsidize the replacement of his lecturing duties.