September 30, 2007 Haskell Workshop
October 1 - 3, 2007 ICFP 2007
January 11, 2008 Dutch Functional Programming Day
Fr. BBL 071.
11:00 - 12:00, Levin Fritz, Balancing Cost and Precision of Approximate Type Inference in Python (thesis defense).
Fr. BBL 071.
15:00 - 16:00, Jeiel Schalkwijk, Smart Regression Testing with T2
Th. BBL 071.
12:00 - 13:00, Steven Keuchel, Generic Programming with Binders and
Scope (thesis defense).
13:00 - 14:00, Remy Willems, Compiler Optimization for Databases Programming Language
We. BBL 071.
11:00 - 12:00, Dragos Ionita, Binding Time Analysis for Program Specialization in the ESPranto Synchronous Parallel Language
13:00 - 14:00, Christiaan Hees, Strategies for Directed Generation of Test Sequences
Tu. BBL 071.
11:00 - 12:00. Ales Sturala, Record-based Logging
Mo. BBL 071. Reserved for thesis defense. Available time: 9:00 - 13:00.
The Center for Software Technology
headed by Doaitse Swierstra
is part of the Department of Information and Computing Sciences
of Utrecht University
The center focuses its research on generic programming, compiler construction techniques, program analysis, program transformation and formal verification of distributed algorithms.
The center provides courses in the area of programming and programming methodology for the bachelor programs computer science and information science at Utrecht University. The center also organizes the Master Program Software Technology.
The center employs some 20 faculty and Ph.D. students. The master program starts its fifth year
and now has almost 40 students over two years.