2006
Stc
2006-12-21 11.45 (BBL room 471)Michiel Overeem - Beyond functional programming in Haskell: an introduction to OCaml 2006-12-14 11.45 (BBL room 471)
Thomas van Noort - Building GUIs in Haskell 2006-11-29 15.30 (BBL room 509)
Bogdan Dumitriu - Improving and Customizing Data-flow Transformations for Object-Oriented Programs(thesis defense) 2006-11-23 11.45 (BBL room 471)
Doaitse Swierstra - Rewriting Haskell Strings 2006-11-09 11.45 (BBL room 471)
Eric Bouwers - PHP-Sat - Analyzing PHP 2006-11-02 11.45 (BBL room 471)
Jurriaan Hage - Heuristics for type error discovery and recovery in Helium 2006-10-26 11.45 (BBL room 471)
Wishnu Prasetya - Web Cube: 2nd Prototype and the Theory Behind. 2006-10-19 11.45 (BBL room 471)
Sander Mak - The Pizza Compiler: extending Java in a functional way 2006-10-05 11.45 (BBL room 471)
Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Alexey Rodriguez - The ICFP Programming Contest 2006-09-28 13.30 (AARD-C008)
Arie Middelkoop - Uniqueness Typing (master's thesis defense) 2006-09-28 11.45 (BBL room 471)
Huanwen Qu - A System and Language for Building System-Specific, Static Analyses 2006-09-21 11.45 (BBL room 471)
Patrick Camphuijsen - Introduction to Scala: A multi-paradigm programming language 2006-09-14 11.45 (BBL room 471)
Johan Jeuring - Generating Generic Functions 2006-09-07 11.45 (BBL room 471)
Robert van Herk (Philips) - The Edutainment Sensor Platform 2006-08-31 11.00 (BBL room 509)
Ivaylo Gochkov - Development of a Web Cube prototype (master's theses defense) 2006-08-30 11.30 (BBL room 420)
Peter Nagel - Functional design patterns: structured reuse of functionality (master's theses defense) 2006-08-29 10.00 (BBL room 509)
Erik Slotboom - Succesvol informatiseren van maatschappelijke ketens - Over het praktisch nut van keteninformatisering voor ketenprojecten (master's theses defense, in Dutch) 2006-08-29 11.30 (BBL room 509)
Roy van den Broek - Build and Release Management with a Nix-based Build System (master's theses defense) 2006-08-28 09.00 (BBL room 416)
Peter van Keeken - Analysis of Helium programs obtained through logging (master's theses defense) 2006-08-28 10.30 (BBL room 416)
Huanwen Qu - Interactive Loop Parallelization for C Programs (master's theses defense)
2006-08-24 11.45 (BBL room 509)
Jory van Zessen - An Optimizer in Stratego for the Helium Core Language (master's theses defense) 2006-08-24 13.30 (BBL room 416)
Armijn Hemel - NixOS: the Nix based operating system (master's theses defense) 2006-07-13 11:15 (BBL room 509)
Ingmar Brouns? - Evaluating the performance of web applications (master's thesis defense) 2006-06-29 (BBL room 471)
Brad Alexander, School of Computer Science, University of Adelaide - From Natural Semantics to Stratego 2006-06-28 11:00 (BBL room 509)
Lee Provoost - A SOA-enabled Enterprise Content Management system (master's thesis defense) 2006-06-22 (BBL room 471)
Alexey Rodriguez Yakushev - Generic Views on Data Types 2006-06-15 (BBL room 471)
Huib van den Brink - The current and future optimizations performed by the Java HotSpot Compiler 2006-06-08 (BBL room 471)
Elmar Keij - Introduction to Java 2 Micro Edition (Java ME) 2006-06-01 (BBL room 471)
Bogdan Dumitriu - Component Composition with Scala 2006-05-18 (BBL room 471)
Paul Stravers (Philips Natlab) - Homogeneous Multiprocessing for the Masses 2006-05-17 15:00 (BBL room 509)
Christof Douma - Exceptional GRIN (master's thesis defense) 2006-05-11 (BBL room 471)
Raymon van Wanrooij - Reflex: A versatile kernel for multi-language AOP 2006-05-04 (BBL room 471)
Richard Nieuwenhuis - The Software Product Management Workbench: A Tool Supporting the Daily Activities of the Product Manager (master's thesis defense) 2006-04-27 (BBL room 471)
Merijn de Jonge (Philips NatLab) - The State of Art of Software Components at Philips: Research and Practice 2006-04-13 (BBL room 471)
Richard Nieuwenhuis - Simplifying EJB development with EJB 3.0 2006-04-12 11:00 (BBL room 416) Extra colloquium (in Dutch)
Niels van der Velden - ICP: Interactive C Parallelization (master's thesis defense) 2006-03-30 (BBL room 471)
Wishnu Prasetya - Brewing Your Own Verification Engine 2006-03-23 (BBL room 471)
Johan Jeuring - Feedback in an interactive equation solver 2006-03-16 (BBL room 471)
Johan Jeuring - Typed Contracts for Functional Programming 2006-03-09 (BBL room 471)
Arie Middelkoop - Functional Metapost Tool Demo 2006-03-02 Jurriaan Hage - Introduction to program analysis 2006-02-16 (BBL room 471)
Armijn Hemel - NixOS: A Status Report? 2006-02-09 (BBL room 471)
Gerrit van den Geest - Typed Quote/Antiquote? 2006-01-26 (BBL room 471)
Niels Reyngoud - Aspect Oriented Programming and Design Patterns 2006-01-19 (BBL room 471)
Koen Muilwijk - Automated Analysis of Unit Tests to Improve Understanding of Software Systems (master's thesis defense) 2006-01-18 10-11 Extra Colloquium (BBL room 471)
Prof. Dr. Andreas Zeller (Saarland University) - Mining Metrics to Predict Component Failures 2006-01-12 (BBL room 471)
Klaas van Schelven - Ajax: Rich internet applications? 2006-01-05 (BBL room 420)
Klaas van Schelven - Delegation in Java (master's thesis defense)