Research Day 2003

---

ICS Researchday 2003

April 28, 2003

Conferentiecentrum Woudschoten

http://www.woudschoten.nl/

---

Gerard Tel's pictures

---

Program

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 -- 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

Poster Presentations

information science

• Karianne Vermaas and Lidwien van de Wijngaert -- Broadband technology and services from a user perspective
• Hermi Schijf and Jan Herman Verpoorten -- Interpretatieproblemen met diagrammen
• Ion Juvina -- Human Factors in Web-asisted Personal Finance
• Joris Graaumans
• Joske Houtkamp -- Affective appraisal of 3D models of buildings
• Stacey Nagata -- Personal Assistance for Mobile Web Services
• Linda van den Brink -- Bruikbaarheid van transformatietalen voor gestructureerde documenten

intelligent systems

• Cees Pierik -- A convenient Hoare logic for Java
• Joris Hulstijn -- de agent-programmeertaal 3APL
• Jurriaan van Diggelen -- Dialogue Protocols for Ontological Commitment in Multi Agent Systems
• Henk-Jan Lebbink -- Dialogue Games: Agents in Conversation

decision support systems

• Danielle Sent
• Edwin de Jong
• Silja Renooij -- From qualitative to quantitative probabilistic networks

geometry, imaging and virtual environments

• Herman Haverkort
• Roland Geraerts -- Motion planning in virtual Environments
• 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
• Marc van Kreveld -- Schematization of Road Networks
• Zeger Knops -- Normalized Mutual Information Based Registration Using K-Means Clustering

software technology

• Andres Loh -- Generic Haskell: From Types to Programs
• Karina Olmos and Martin Bravenboer -- Program Transformation with Stratego/XT
• Martijn Schrage -- Proxima: A generic presentation-oriented XML editor
• Eelco Dolstra -- TraCE : Transparent Configuration Environments
• Bastiaan Heeren and Arjan van IJzendoorn -- Helium, for Learning Haskell
• Ade Azurat -- x-Mech : Towards scalable software verification

large distributed databases

• Carsten Riggelsen -- Learning Bayesian networks from incomplete data samples
• Rainer Malik -- Bioinformatics: Analysing SNPs in Rat
• Ronnie Bathoorn -- Spatio-Temporal Data Mining on Gene Expression Data
• Muhammad Subianto -- Visualization for Data Mining

algorithmic systems

• Hans Bodlaender -- Treewidth

---

Instructions for Poster Production

Posters can be printed by the FSB Repro in the Kruytgebouw. You should hand in your poster in PDF for a one page A4 page on a zip drive (formatted for DOS) or a CD-ROM. Posters usually are printed on A0 size sheets. In order to give the repro enough time for printing, make sure to bring it by April 17. The bill will be sent to ICS (code is 005/1000001/1501002). For questions call the repro at 3541.

---

Route to Woudschoten

See the website http://www.woudschoten.nl/ for detailed information

By public transport:

with the train to Driebergen Zeist and from there a traintaxi will get you in 10min to Woudschoten

with bus 54 richting Doorn (via Woudenberg) from Utrecht CS; from there to Woudshoten (bus station at the entrance of the Conference Centrum) it takes 40 min.