2004

Stc

2004-12-23 (CGN room C004) - Wilco Niessen - Thesis Defence: Evaluating Repositories: Standards, Techniques and Performance Simulation? - 11.45 hrs

2004-12-16 (CGN room C004) - Daan Leijen - Impredicative Higher-Rank Types

2004-12-13 (CGN room C004) - Jeroen Gordijn - Thesis Defence: A protocol for 'in-flight' simulation- 10.30 hrs

2004-12-02 (CGN room C004) - Jeanne Hofmans: Effective Testing Strategies

2004-11-25 (CGN room C004) -
Eric Eijkelenboom - Source Model Analysis: an Evaluation of the JJTraveler Visitor Combinator Framework?

2004-11-12 (CGN room B020, 15.00)
Eelco Dolstra - Nix: A Safe and Policy-Free System for Software Deployment?

2004-11-11 (BBL room 471) -
Dave Clarke (CWI) - Coordination and Reconfiguration in Reo

2004-11-04 (BBL room 471) -
Eric Kamps (Philips) - Application domains for software transformations in Philips Semiconductors

2004-10-28 (BBL room 471) -
Rui Guerra - Generic validation of XPath data bindings

2004-10-21 (BBL room 471) -
Martin Bravenboer - Concrete Syntax For Objects (special edition)?

2004-10-15 (BBL room 420) 10:00 - 11:30 Roland Backhouse (Nottingham University) - Algorithmic Problem Solving

2004-10-14 (BBL room 471)
Johan Jeuring - XComprez: overview and plans?

2004-10-07 (BBL room 471) -
Karl Trygve Kalleberg - Abstract Syntax Trees and I

2004-09-30 (BBL room 471) -
Bart Groot - Interoperability in Polylingual Software Systems

2004-09-23 (BBL room 471) -
Remy Jansen (CWI) - Deliver and the Case Study at Exact Software

2004-09-16 (BBL room 471)
Jan Odijk (UIL-OTS) - The Rosetta Machine Translation System

2004-09-9 (BBL room 471)
Piet van Oostrum - Teaching in Bolivia

2004-09-02 16:00 (BBL room 426)
Doaitse Swierstra an Eelco Visser - Introduction for new master students

2004-08-27 (BBL room 509)
Final Master Presentations (part II)

  • 10.15 Kamal Sayah
  • 11.30 Faridah Liduan
  • 13.15 Niels Egberts
  • 14.30 Alexey Rodriguez Yakushev

2004-07-01 (CGN room C004)
Wishnu Prasetya - Seuss-way of Multi-programming

2004-06-24 (CGN room C004)
Ade Azurat - A Formalism of Component Framework

2004-06-17 (CGN room C004)
Randy Marques (Atos Origin) - Coding Standards - Given the ANSI C Standard why do I still need a Coding Standard?

2004-06-10 (CGN room C004)
Robert Guitink (Quinity) - Functionele design patterns (vervolg)? (In Dutch)

2004-06-03 (CGN room C004)
Martin Bravenboer - Concrete Syntax For Objects

2004-05-27 (CGN room C004)
Jeroen Snijders - Generics in Java

2004-05-17 (BBL 416)
Carroll Morgan - Herman's Ring: a program-logic analysis?

2004-05-13 (BBL 509)
Kees Koster - Best-Only Parsing for Natural Languages

2004-05-06 (BBL 509)
Sjaak Brinkkemper - Research and Education in ProductSoftware

2004-04-29 (BBL 509)
Doaitse Swierstra - Online, Linear Pretty Printing?

2004-04-22 (BBL 509)
Robert Guitink (Quinity) - Functionele design patterns en user interface patterns (in Dutch)

2004-04-15 (Unnik room 311)
Tobias Kuipers (Software Improvement Group, Amsterdam) - The System Analysis Toolkit

2004-04-01 (Unnik room 311)
Merijn de Jonge - Decoupling Source Trees into Build-Level Components

2004-03-25 (Unnik room 311)
Eelco Dolstra - Imposing a Memory Management Discipline on Software Deployment

2004-03-18 (Unnik room 311)
Arthur van Leeuwen - Modular semantics

2004-03-11 (Ruppert room 114)
Rob van Ommering -- Building product populations with Koala2

2004-03-04 (Unnik - room 201)
Daan Leijen - Record-oriented Programming

2004-02-26 (Unnik - room 311)
Rob Vermaas -- xDoc An Extendible Documentation Generator

2004-02-19 (Unnik room 201)
Armijn Hemel -- Having 'fun' with RPM

2004-02-12 (Ruppert room 114)
Jeanne Hofmans -- Incommunicado: Efficient Communication for Isolates?

2004-02-05 (Unnik Room 222)
Wilco Niessen -- Aspect Oriented Programming with AspectJ in Java

2004-01-22 (BBL 505)
Jozef Kruger -- An optimizer for AutoBayes