Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
2006
Stc
*2006-12-21* 11.45 (BBL room 471)<br> Michiel Overeem - [[Beyond functional programming in Haskell: an introduction to OCaml]] *2006-12-14* 11.45 (BBL room 471)<br> Thomas van Noort - [[Building GUIs in Haskell]] *2006-11-29* 15.30 (BBL room *509*)<br> Bogdan Dumitriu - [[Improving and Customizing Data-flow Transformations for Object-Oriented Programs]](thesis defense) *2006-11-23* 11.45 (BBL room 471)<br> [[http://www.cs.uu.nl/~doaitse][Doaitse Swierstra]] - [[Rewriting Haskell Strings]] *2006-11-09* 11.45 (BBL room 471)<br> Eric Bouwers - [[PHP-Sat-Analyzing PHP][PHP-Sat - Analyzing PHP]] *2006-11-02* 11.45 (BBL room 471)<br> [[http://www.cs.uu.nl/~jur][Jurriaan Hage]] - [[Heuristics for type error discovery and recovery in Helium]] *2006-10-26* 11.45 (BBL room 471)<br> [[http://www.cs.uu.nl/wiki/WP][Wishnu Prasetya]] - [[Web Cube: 2nd Prototype and the Theory Behind]]. *2006-10-19* 11.45 (BBL room 471)<br> Sander Mak - [[The Pizza Compiler: extending Java in a functional way]] *2006-10-05* 11.45 (BBL room 471)<br> Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Alexey Rodriguez - [[The ICFP Programming Contest]] *2006-09-28* 13.30 (AARD-C008)<br> [[Students.Arie Middelkoop][Arie Middelkoop]] - [[Uniqueness Typing]] (master's thesis defense) *2006-09-28* 11.45 (BBL room 471)<br> [[Students.Huanwen Qu][Huanwen Qu]] - [[ A System and Language for Building System-Specific, Static Analyses]] *2006-09-21* 11.45 (BBL room 471)<br> [[Students.Patrick Camphuijsen][Patrick Camphuijsen]] - [[Introduction to Scala: A multi-paradigm programming language]] *2006-09-14* 11.45 (BBL room 471)<br> [[http://www.cs.uu.nl/~johanj][Johan Jeuring]] - [[Generating Generic Functions]] *2006-09-07* 11.45 (BBL room 471)<br> Robert van Herk (Philips) - [[The Edutainment Sensor Platform]] *2006-08-31* 11.00 (BBL room 509)<br> Ivaylo Gochkov - [[Developing of a Web Cube prototype][Development of a Web Cube prototype]] (master's theses defense) *2006-08-30* 11.30 (BBL room 420)<br> Peter Nagel - [[Functional design patterns: structured reuse of functionality]] (master's theses defense) *2006-08-29* 10.00 (BBL room 509)<br> 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)<br> [[Students.Roy van den Broek][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)<br> [[Students.Peter van Keeken][Peter van Keeken]] - [[Analysis of Helium programs obtained through logging]] (master's theses defense) *2006-08-28* 10.30 (BBL room 416)<br> [[Students.Huanwen Qu][Huanwen Qu]] - [[Interactive Loop Parallelization for C Programs]] (master's theses defense)<br> *2006-08-24* 11.45 (BBL room 509)<br> Jory van Zessen - [[An Optimizer in Stratego for the Helium Core Language]] (master's theses defense) *2006-08-24* 13.30 (BBL room 416)<br> Armijn Hemel - [[NixOS: the Nix based operating system]] (master's theses defense) *2006-07-13* 11:15 (BBL room 509) <br> [[Students.Ingmar Brouns][Ingmar Brouns]] - [[Evaluating the performance of web applications]] (master's thesis defense) *2006-06-29* (BBL room 471) <br> Brad Alexander, School of Computer Science, University of Adelaide - [[From Natural Semantics to Stratego]] *2006-06-28 11:00* (BBL room 509) <br> [[Students.Lee Provoost][Lee Provoost]] - [[A SOA-enabled Enterprise Content Management system]] (master's thesis defense) *2006-06-22* (BBL room 471) <br> [[http://www.cs.uu.nl/~alexey/][Alexey Rodriguez Yakushev]] - [[Generic Views on Data Types]] *2006-06-15* (BBL room 471) <br> [[Students.Huib van den Brink][Huib van den Brink]] - [[The current and future optimizations performed by the Java HotSpot Compiler]] *2006-06-08* (BBL room 471) <br> [[Students.Elmar Keij][Elmar Keij]] - [[Introduction to Java 2 Micro Edition][Introduction to Java 2 Micro Edition (Java ME)]] *2006-06-01* (BBL room 471) <br> [[Students.Bogdan Dumitriu][Bogdan Dumitriu]] - [[Component Composition with Scala]] *2006-05-18* (BBL room 471) <br> Paul Stravers (Philips Natlab) - [[Homogeneous Multiprocessing for the Masses]] *2006-05-17 15:00* (BBL room 509) <br> [[Students.Christof Douma][Christof Douma]] - [[Exceptional GRIN]] (master's thesis defense) *2006-05-11* (BBL room 471) <br> [[http://www.cs.uu.nl/intra/Wanrooij][Raymon van Wanrooij]] - [[Reflex: A versatile kernel for multi-language AOP]] *2006-05-04* (BBL room 471) <br> [[Students.RichardNieuwenhuis][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) <br> Merijn de Jonge (Philips <nop>NatLab) - [[The State of Art of Software Components at Philips: Research and Practice]] *2006-04-13* (BBL room 471) <br> [[Students.RichardNieuwenhuis][Richard Nieuwenhuis]] - [[Simplifying EJB development with EJB 3_0][Simplifying EJB development with EJB 3.0]] *2006-04-12 11:00 (BBL room 416) Extra colloquium (in Dutch)* <br> [[Students.Niels van der Velden][Niels van der Velden]] - [[ICP: Interactive C Parallelization]] (master's thesis defense) *2006-03-30* (BBL room 471)<br> [[http://www.cs.uu.nl/staff/wishnu.html][Wishnu Prasetya]] - [[Brewing Your Own Verification Engine]] *2006-03-23* (BBL room 471)<br> [[Main.Johan Jeuring][Johan Jeuring]] - [[Feedback in an interactive equation solver]] *2006-03-16* (BBL room 471) <br> [[Main.Johan Jeuring][Johan Jeuring]] - [[Typed Contracts for Functional Programming]] *2006-03-09* (BBL room 471) <br> [[Main.Arie Middelkoop][Arie Middelkoop]] - [[Functional Metapost Tool Demo]] *2006-03-02* [[Main.Jurriaan Hage][Jurriaan Hage]] - [[Introduction to program analysis]] *2006-02-16* (BBL room 471) <br> Armijn Hemel - [[NixOS: A Status Report]] *2006-02-09* (BBL room 471) <br> [[Students.GerritVanDenGeest][Gerrit van den Geest]] - [[Typed Quote/Antiquote]] *2006-01-26* (BBL room 471) <br> [[Students.NielsReyngoud][Niels Reyngoud]] - [[Aspect Oriented Programming and Design Patterns]] *2006-01-19* (BBL room 471) <br> [[Students.KoenMuilwijk][Koen Muilwijk]] - [[AutomatedAnalysisofUnitTeststoImproveUnderstandingofSoftwareSystems][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) <br> [[http://www.st.cs.uni-sb.de/~zeller/][Prof. Dr. Andreas Zeller]] (Saarland University) - [[Mining Metrics to Predict Component Failures]] *2006-01-12* (BBL room 471) <br> [[Students.KlaasVanSchelven][Klaas van Schelven]] - [[Ajax: Rich internet applications]] *2006-01-05* (BBL room 420) <br>[[Students.KlaasVanSchelven][Klaas van Schelven]] - [[Delegation in Java]] (master's thesis defense)