You are here:
(27 Nov 2007,
September 30, 2007
October 1 - 3, 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,
Mo. BBL 071. Reserved for thesis defense. Available time: 9:00 - 13:00.
Center for Software Technology
is part of the
Department of Information and Computing Sciences
The center focuses its research on generic programming, compiler construction techniques, program analysis, program transformation and formal verification of distributed algorithms.
Software Technology Colloquium
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.
Master Program Software Technology
Curriculum of the Department
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.
Faculty and staff
iew wiki text
ore topic actions
Topic revision: r66 - 27 Nov 2007,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?