Computing Science Colloquium

CSC is a weekly series of research talks organized by the Computing Science Master Programme. The colloquium takes place each Thursday, usually at 11:00 or 11:45 in the BBL building. The room may vary; check the details below. There are also colloquium talks on Friday, also usually at 11.00; in the Minnaert or BBL building.

Feel free to reserve a vacant place. Please double check your date. We have reserved a room on every thursday, from 11:00 - 12:45, except when it falls on an exam week, or holidays. We have an additional room reserved on fridays, where we would put algorithmic related topics on. YOUR date should normally fall in those pre-reserved days/time. If you need to deviate, please contact a colloquium coordinator.

Future Talks

2011-09-29 Fr. BBL 071.
11:00 - 12:00, Levin Fritz, Balancing Cost and Precision of Approximate Type Inference in Python (thesis defense).

2011-08-26 Fr. BBL 071.
15:00 - 16:00, Jeiel Schalkwijk, Smart Regression Testing with T2 (thesis defense).

2011-08-25 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 (thesis defense).

2011-08-24 We. BBL 071.
11:00 - 12:00, Dragos Ionita, Binding Time Analysis for Program Specialization in the ESPranto Synchronous Parallel Language (thesis defense).
13:00 - 14:00, Christiaan Hees, Strategies for Directed Generation of Test Sequences (thesis defense).

2011-08-23 Tu. BBL 071.
11:00 - 12:00. Ales Sturala, Record-based Logging (thesis defense).

2011-08-22 Mo. BBL 071. Reserved for thesis defense. Available time: 9:00 - 13:00.

2011-07-14 Th. BBL 165, Bodo Naumann, Workflow Description Language Comparison (thesis defense) 11:00 - 12:45.

2011-07-01 Fr. BBL 065, time available 11:00 - 12:45.

2011-06-30 Th. BBL 165, 11:00 - 12:00, Calin Juravle, Automatic Program Analysis for Data Parallel Kernels (thesis defense).
BBL 165, 12:00 - 13:00, Andreas Resios, GPU performance prediction using parametrized models (thesis defense).

2011-06-24 Fr. BBL 065, time available 11:00 - 12:45.

2011-06-23 Th. BBL 165, 11:00 - 12:00, Remy Willems, Summary of Pointer Analysis Techniques.

2011-06-17 Fr. BBL 065, Stefan Kratsch, Kernelization for treewidth - Analysis of preprocessing 11:00 - 12:00.

2011-06-16 Th. BBL 165, time available 11:00 - 12:45.

2011-06-10 Fr. BBL 065, time available 11:00 - 12:00. Roel Bertens, Discretization of Continuous-valued Feature Variables in Naive Bayesian Networks (thesis defense).

2011-06-09 Th. BBL 165, 11:00 - 12:00. Diederik Roijers, Probability Estimation and Competence Models for Rule and Strategy-based e-Tutoring Systems (thesis defense).

*2011-06-03* holiday.

*2011-06-02* holiday.

2011-05-27 Fr. BBL 065, 11:00 - 12:00. Marnix Kammer, Graph Algorithmic Techniques for Plagiarism Detection.

2011-05-26 Th. BBL 165, 11:45. Jeroen Leeuwestein. Title: TBA Cancelled.

2011-05-20 Fr. BBL 065, 11:00 - 12:00. Ad Feelders, Learning with monotonicity constraints.

2011-05-19 Th.
BBL 165, 11:00 - 12:00. Bram Schuur. Instance chains: type class programming without overlapping instances.
BBL 165, 12:00 - 13:00. Erik Hesselink. Silk: making the semantic web functional.

2011-05-13 Fr. BBL 065, 11:00 - 12:00, Ad Feelders, Learning with monotonicity constraints. Gerrit Wiltink, Wissel je Wachtwoord Wisselaar: Would YOU trust your government to generate your passwords?

2011-05-12 Th. BBL 165, time available 11:00 - 12:45.

2011-05-06 Fr. BBL 065, time available 11:00 - 12:45.

*2011-05-05* liberation day.

2011-04-29 Fr. BBL 165 065, time available 11:00 - 12:45.

2011-04-28 Th. BBL 065 165, 11:45. Tamar Christina, Type systems using next generation Attribute Grammars(Thesis Defense).

*2011-04-22* holiday.

*2011-04-21* exam week.

2011-04-15 Fr. BBL 061, 11:00. Silja Renooij, Sensitivity in Graphical Models: Bayesian Network Sensitivity Functions for Arc Removal and Hidden Markov Models Cancelled.

2011-04-14 Th. BBL 201, 11:00. Jules van Kempen, Revenue Management in KLM: Why and how we differentiate in ticket prices and overbooking.

2011-04-08 Fr. BBL 061, time available 11:00 - 12:45.

2011-04-07 Th. BBL 201, time available 11:00 - 12:45.

2011-04-01 Fr. BBL 061, time available 11:00 - 12:45.

2011-03-31 Th. BBL 201, time available 11:00 - 12:45.

2011-03-25 Fr. BBL 061, time available 11:00 - 12:45.

2011-03-24 Th. BBL 201.
11:00, Facundo Domínguez, Exploiting Algebra-Coalgebra Duality for Program Fusion Extensions.
11:45 12:00, Gerben Verburg, Better Strategies for Parallel Haskell .

*2011-03-18* exam week.

*2011-03-17* exam week.

2011-03-11 Fr. BBL 061, 11:00, Hans Bodlaender, Kernelisation: Analysis of Preprocessing

2011-03-10 Th. BBL 201, time available 11:00 - 12:45.

2011-03-04 Fr. BBL 061, time available 11:00 - 12:45.

2011-03-03 Th. BBL 201, time available 11:00 - 12:45.

2011-02-25 Fr. BBL 061, time available 11:00 - 12:45.

2011-02-24 Th. BBL 201, time available 11:00 - 12:45.

2011-02-18 Fr. BBL 061, time available 11:00 - 12:45.

2011-02-17 Th. BBL 201, 11:00 - 11:45, Levin Fritz, Automatic Optimization of GPGPU Programs. Time available 11:45 - 12:45.

2011-02-11 Fr. BBL 061, time available 11:00 - 12:45.

2011-02-10 Th. BBL 201, 11:45. Tom Hastjarjanto, Parallel Extensions for .NET framework 4.0.

2011-02-04 Fr. Min 211, 11:00. Tim Toorop, Wireless sensor network flow column generation

*2011-02-03* Exam week.

2011-01-28 Fr. MIN 211, time available 11:00 - 12:45.

2011-01-27 Th. BBL 061, 11:00 - 11:45. Matthijs van Leeuwen, Exceptional Model Mining.

2011-01-21 Fr. MIN 211, time available 11:00 - 12:45.

2011-01-20 Th. 11:45, BBL-061, Jean Joskin, Attribute Evaluation on a Shared Memory Multiprocessor (thesis defense).

2011-01-14 Fr. MIN 211, time available 11:00 - 12:45.

2011-01-13 Th. BBL 061, time available 11:00 - 12:45.

2011-01-07 11:00, Minnaert 211, Roland Geraerts, Path planning in virtual environments? , cancelled.

*2011-01-06* happy new year exam week

*2010-12-30* winter break

2010-12-23 11:45, BBL-061, Dragos Ionita, A Library for Light-Weight Information-Flow Security in Haskell

2010-12-17 11.00, Minnaert 211, Pieter van Eede, Public Transport Timetabling

2010-12-16 11:45, BBL-061, Nico Verwer, DITA specialisaties maken zonder pijn

2010-12-09 11:45, BBL-061, Andreas Resios, Hoopl: Dataflow optimizations made easy

2010-12-03 11.00, Minnaert 211, Linda van der Gaag, When in Doubt, Be Indecisive

2010-12-02 11:45, BBL-061, Atze Dijkstra, Javascript? Haskellscript!!

2010-11-25 11:45, BBL-061, Calin Juravle, Iteratee: Teaching an Old Fold New Tricks.

2010-11-19 11:00, Minnaert 211, Dr Christian Schaffner (CWI, Amsterdam), Position-Based Quantum Cryptography: Impossibility and Constructions.

2010-11-18 vacant (earlier planned talk by Calin Juravle is moved to 25th)

*2010-11-11* Exam week

2010-11-04 vacant

2010-10-29 15:30, BBL205, Dirk-Jan Hoppenbrouwe, Planning of medication administrations.

2010-10-28 vacant

2010-10-21 vacant

2010-10-14 11:45, BBL 079, Paul van der Ende - Extending the UHC LLVM backend: Adding support for accurate garbage collection (Thesis defense)

2010-10-08 15.30, BBL 079, Stephan Leemhuis, Scheduling classrooms for the Beta Faculty.

2010-10-07 vacant

2010-09-30 vacant

2010-09-29 15:00, BBL 083. Bas van Schaik, answering reachability queries on very large directed graphs -- introducing a new data structure using bit vector compression (thesis defense).

2010-09-23
11:00 - Gerard Michels (OU), Dealing with generalisation types in a heterogeneous relation algebra
12:00 - Julian Verdurmen, Comparing the combination of inclusion- and parametric polymorphism in programming languages

2010-09-16 11:45 - José Pedro Magalhães: A generic deriving mechanism for Haskell

2010-08-31 9:00 - 13:00, BBL 061, reserved for thesis defenses.

2010-08-27 14:30 - 16:45, BBL-005075, reserved for thesis defenses.
15:45 Jeroen Bouwmans: Managing consistency between dependent objects

2010-08-26 9:00 - 13:00, BBL-079, reserved for thesis defenses. (note that it is also in an exam week)
10:00 Tom Lokhorst: Strictness Optimization in a Typed Intermediate Language
11:00 Peter van de Werken: IDEAS: Improving the Functional Programming Domain

2010-07-08 10.30-11.30 , BBL 061, Optimizing closures in lazy functional languages Atze van der Ploeg (Thesis Defense)

Earlier Talks

2010-07-01 11:00 - Declarative Graph Rewriting Vali Georgescul (Thesis Defense)
12:00 - Intelligent Programming Tutors Peter van de Werken

2010-06-24 11:00 - Steven Keuchel - Termination checking in the presence of mixed induction and coinduction
12:00 - Brian Vermeer - Holmes: Hunting for Haskell Frauds (Thesis Defense)

2010-06-17 11:00 - Bodo Naumann - Spicey, translating entity relationship models into functional prototypic applications
12:00 - Joanna Gasiewska - Program verification with object invariants on the example of Spec#

2010-06-10 11:00 - Ingmar van der Steen: Datatype Generic Programming in Java (Thesis Defense)

2010-06-03 11:45 Arjan van IJzendoorn - No code, just glory

2010-05-27 (Note: exam week) 11:45 - Martijn van Steenbergen, Generic Selections of Subexpressions. Location: BBL 001.

2010-05-20 11:00 - Sebastiaan Visser - Persistent Data Structures in Haskell (Thesis Defense)
12:00 - Vali Georgescul - Objects to unify type classes and GADTs

*2010-05-13* Holiday

2010-05-06 11:00 Mathijs Swint - Neon, Analyzing Errors in Helium (Thesis Defense)
12:00 Sebastian Menge (TU Dortmund) - Generic Inconsistency Management

2010-04-29 11:00 Chris Eidhof - The Pesto Framework (Thesis Defense)
12:00 Tim Breedveld, Treating design patterns more formally.

2010-04-22 11:00 - 12.00, CANCELLED Eugene Zima, Wilfrid Laurier University (Canada), Chains of Recurrences with Applications.

2010-04-15 11:45 - Arie Middelkoop - First Class Tree Traversal Idioms with Nested Attribute Grammars

2010-04-08 11:45 - Arie Middelkoop - Fun With Attribute Grammars

2010-04-01 11:00 Jeroen Weijers - Feedback oriented Security Analysis - (Thesis Defense)

2010-03-25 11:45 Timon Bijlsma - Tapping the power of OpenCL for Haskell arithmetic

*2010-03-18* Exam week

2010-03-11 Jurriaan Hage - Improving Type Error Diagnostics for Generic Java

2010-03-04 vacant

2010-02-25 11:45 Stefan Holdermans - On the Role of Minimal Typing Derivations in Type-driven Program Transformation

2010-02-18 11:45 Ben Clifford - Swift: a scripting system for high performance computing.

2010-02-11 12.00 Jeroen Goudsmit - An optimal implementation of the lambda-calculus

2010-02-04 11.00 - 13:00 Final presentations of Advanced Compiler Construction Seminar

2010-01-28 11.45 Stefan Holdermans - Making "Stricterness" More Relevant

2010-01-21 12.00 Paul Visschers - Nix: a functional package manager

2010-01-14 11.45 Tamar Christina - Call-pattern specialization in Haskell

*2010-01-07* Winter stop

*2009-12-31* Winter stop

*2009-12-24* Winter stop

2009-12-17
11.30-16.00 Oleg Kiselyov and Ken Chan
1. Iteratee IO -- safe, practical, declarative, incremental input processing
2. Lightweight Static Guarantees
3. Clicking on Delimited Continuations

2009-12-10 11.45 Erik Hesselink - Generic programming with fixed points for parametrized datatypes - thesis defense.

2009-12-03

2009-11-26
11.00 Paul van der Ende. Creating webapplications using Haskell
12.00 Jeroen Bouwmans. Keyword Programming

2009-11-19 11.00 Jean Joskin - Concise tree walks using attribute grammars: in Haskell and Java
12.00 Robert Stremler. Extending a Simple Functional Programming Language with Dependent Types (thesis defense).

2009-11-12 11.45 Jean Joskin - Concise tree walks using attribute grammars: in Haskell and Java

*2009-11-05* Exam week

2009-11-02 Monday, 13:00. a guest talk by Kevin Hammond, from University of St. Andrews. Location: Minnaert 208. Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems

2009-10-29

2009-10-22 11.45 Erik Hesselink - Data Parallel Haskell

2009-10-15

2009-10-08

2009-10-01 11.45 Joeri van Eekelen - Universes for Generic Programs

2009-09-24
11.45 José Pedro Correia (SIG) - Classification of development activities using source code metrics

2009-09-17 (BBL room 471)
11.45 Sean Leather - Practical and Generic Incrementalization

2009-09-10
11.45 Erik van Seters - Master thesis defense: wxFlashkell: Building Flash based GUI's in Haskell

2009-07-02 - 2009-08-27 *Vacation*

2009-06-25 (BBL room 471)
11.45 Eelco Lempsink - Generic type-safe diff and patch for families of datatypes (thesis defense)

2009-06-18 (BBL room 471)
11.45 Stefan Holdermans - Spreading the Joy

2009-06-04 (BBL room 471)
11.45 Elmar Keij - Static Testing: Using The Weakest Pre-condition (thesis defense)

2009-05-28 (BBL room 471)
11.45 Kasper Brink - Dependently Typed Grammar Transformations (thesis defense)

2009-05-14 (BBL room 471)
11.00 Ingmar van der Steen - Automated discovery of algebraic specifications from Java classes

2009-04-23 (BBL room 471)
Aleš Šturala - Dynamic typing in C# 4.0

2009-04-16 (BBL room 471)
11.45 Mathijs Swint - Comparing Mason to other plagiarism detectors

2009-04-09 (BBL room 471)
11.45 Arie Middelkoop - Algorithmic Type Inferencer Specifications for Declarative Type Systems

2009-04-02 (BBL room 471)
11.45 Xavier Pardonnet - Functional Self-Adjusting Programming

2009-03-12 (BBL room 471)
11.45 Jan van Eijck (UU, CWI) - Computational Semantics with Functional Programming

2009-03-05 (BBL room 471)
11.45 Marcos Viera/Doaitse Swierstra - Attribute Grammars Fly First-Class: How to do aspect oriented programming in Haskell

2009-02-19 (BBL room 471)
11.45 Mart Kolthof - A Proxima editor for Shuffle: manipulating fragmented text visually (thesis defense)

2009-02-12 (BBL room 471)
11.45 S. Doaitse Swierstra - Typed Transformations of Typed Abstract Syntax

2009-02-05 (BBL room 471)
11:45 Xiaoyu Cui - Automated Model-based analysis of Web-based User Interface(UI) (thesis defense)

2009-01-22 (BBL room 471)
11.45 Sebastiaan Visser - Session Types In Haskell

2009-01-16 (BBL room 509)
11.00 Conor McBride (Strathclyde University) - Slicing it: indexed containers? in Haskell?

2009-01-15 (BBL room 471)
11.45 Mathijs Swint - Pugs Bootstrapping Perl 6 with Haskell

2009-01-08 (BBL room 471)
11.45 Jeroen Weijers - Garbage Collection

Even Earlier Talks

Colloquia in 2008

Colloquia in 2007

Colloquia in 2006

Colloquia in 2005

Colloquia in 2004

Colloquia in 2003

Colloquia in 2002

Colloquia in 2001

Attendance

The attendance of masters students is recorded here.

Template for abstracts