2005
Stc
2005-12-12 9:30-10:30 BBL 509 Niels Reyngoud - Functional Design Patterns (master's thesis defence)
2005-12-01 Ivaylo Gochkov - AnWeb: a system for automatic support to web application verification?
2005-11-17 Lee Provoost - The evolution of the Java memory model
2005-11-14 11.00 - Extra Colloquium: Prof. Dr. Oege de Moor - Language Features for Program Monitoring
2005-11-10 Edwin van Rijkom - Screenweaver Open Source
2005-10-20 Eelco Dolstra - Secure Sharing Between Untrusted Users in a Transparent Source/Binary Deployment Model?
2005-10-13 Robert Verrips - A Survey of Legacy Migration
2005-10-06 Atze Dijkstra - Ruler: programming type rules?
2005-09-29 Arthur van Leeuwen - Building Verification Condition Generators by Compositional Extensions
2005-09-22 Martin Bravenboer - Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
2005-09-21 11.00 Robert van Herk - WebFunctions (master's thesis defense)
2005-09-15 Rene de Groot - Design and Implementation of Embedded Domain-Specific Languages (master's thesis defense)
2005-09-08 Koen Muilwijk - Extending XSLT
2005-08-24 (BBL room 471) Master's theses presentations
Gertjan van Montfoort - Quality of Service for remote UI
Guno Heitman - Web Portals and Serverside Integration (in Dutch) 2005-07-07 (BBL room 471)
Peter van Keeken - Empirical Research within Software Engineering 2005-06-30 (BBL room 471)
Rinus Plasmeijer - Programming the Web with Generic Editor Components 2005-06-23 (CGN room C004)
Kang Ning - Using Mobile Agents to Simplify Consumer Electronics Applications (master's thesis defense) 2005-06-09 (CGN room C004)
Gertjan van Montfoort - Checking correct usage of API's by means of static analysis? 2005-06-02 (CGN room C004)
Atze Dijkstra - Explicit implicit parameters 2005-05-26 (CGN room C004)
Andres Loeh - Qualified types and MLF 2005-05-19 (CGN room C004)
Wishnu Prasetya - A UNITY-based framework towards Component Based Systems 2005-05-12 (CGN room C004)
Piet van Oostrum - Upgrading a LaTeX package 2005-04-28 (CGN room C004)
Eelco Dolstra - Efficient Upgrading in a Purely Functional Component Deployment Model 2005-04-21 (CGN room C004)
Daan Leijen - Extensible records with scoped labels 2005-04-14 (CGN room C004)
Eric Eijkelenboom - Thesis Defense: Trends in Software Evolution? 2005-03-31 (CGN room C004)
Bart Groot - Thesis Defense: Implementing Traits in Java 2005-03-24 (CGN room C004)
Arthur van Leeuwen - Modular Predicate Transformer Semantics 2005-03-17 (CGN room C004)
Niels Janssen - Thesis Defense: Transformation Tool Composition 2005-03-10 (CGN room C004)
Patrick van Driel - The Quinity Solution Delivery Environment 2005-03-03 (CGN room C004)
Wouter Swierstra - Thesis Defense: Plug-and-play attribute grammars 2005-02-24 (CGN room C004)
Dick Eimers - Thesis Defense: Dynamic Updating for the JVM using Load-time Structural Reflection 2005-02-17 (CGN room C004)
Arthur Baars - Type safe self inspecting code 2005-02-10 (CGN room C004)
No colloquium due to ST Staff meeting. 2005-02-03 (CGN room C004)
Kang Ning - Thesis defense: Introduction and comparation of mobile agent systems 2005-01-31 (BBL room 471)
Tom Höfte - Thesis defense: Checking non-functional properties in the Koala domain 12:00 non-standard day, time and location 2005-01-27 (CGN room C004)
No colloquium. 2005-01-20 (CGN room C004)
Alexey Rodriguez Yakushev - Type Inference for Generic Haskell 2005-01-13 (CGN room C004)
No colloquium 2005-01-06 (CGN room C004)
Bastiaan Heeren - Type Class Directives -- PietVanOostrum - 05 Jan 2006