Research Day 2003 Program

Center
<center>

<h1>Program of the ICS Researchday 2003</h1>

<h3>April 28, 2003</h3>

</center>

10:00 Coffee and Opening

10:30 First poster session

   * Karianne Vermaas and Lidwien van de Wijngaert -- Broadband technology and services from a user perspective
   * Hermi Schijf and Jan Herman Verpoorten -- Interpretatieproblemen met diagrammen
   * Cees Pierik -- A convenient Hoare logic for Java
   * Joris Hulstijn -- de agent-programmeertaal 3APL
   * Roland Geraerts -- Motion planning in virtual Environments
   * Andres Loh -- Generic Haskell: From Types to Programs
   * Karina Olmos and Martin Bravenboer -- Program Transformation with Stratego/XT
   * Carsten Riggelsen -- Learning Bayesian networks from incomplete data samples
   * Danielle Sent
   * Joris Graaumans

12:00 Lunch

14:00 Second poster session

   * Ion Juvina -- Human Factors in Web-asisted Personal Finance
   * Joske Houtkamp -- Affective appraisal of 3D models of buildings
   * Jurriaan van Diggelen -- Dialogue Protocols for Ontological Commitment in Multi Agent Systems
   * Mirela Tanase -- Partial Shape-based Image Retrieval by Decomposition based on the Straight Line Skeleton
   * Jaesook Cheong -- Fixturing a polygon with less than four contacts
   * Martijn Schrage -- Proxima: A generic presentation-oriented XML editor
   * Eelco Dolstra -- <nop>TraCE : Transparent Configuration Environments
   * Rainer Malik -- Bioinformatics: Analysing SNPs in Rat
   * Zeger Knops -- Normalized Mutual Information Based Registration Using K-Means Clustering
   * Herman Haverkort

15:30 Tea break

16:00 Third poster session

   * Stacey Nagata -- Personal Assistance for Mobile Web Services
   * Linda van den Brink -- Bruikbaarheid van transformatietalen voor gestructureerde documenten
   * Henk-Jan Lebbink -- Dialogue Games: Agents in Conversation
   * Silja Renooij -- From qualitative to quantitative probabilistic networks
   * Ronnie Bathoorn -- Spatio-Temporal Data Mining on Gene Expression Data
   * Muhammad Subianto -- Visualization for Data Mining
   * Bastiaan Heeren and Arjan van IJzendoorn -- Helium, for Learning Haskell
   * Ade Azurat -- x-Mech : Towards scalable software verification
   * Marc van Kreveld -- Schematization of Road Networks
   * Hans Bodlaender -- Treewidth
   * Peter Bosman -- Learning Probabilistic Models for Enhanced and Scalable Evolutionary Optimization

17:30 Borrel

18:15 Dinner


<!--
   * Set PREV_SKIN = printnotitle
   * Set PAGEHEADER = 
-->