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
Computing Science Colloquium
Stc
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 [[http://www.cs.uu.nl/docs/reach/bbl.php][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 %STARTINCLUDE% *2011-09-29* Fr. BBL 071. <br> 11:00 - 12:00, Levin Fritz, Balancing Cost and Precision of Approximate Type Inference in Python (thesis defense). *2011-08-26* Fr. BBL 071. <br> 15:00 - 16:00, Jeiel Schalkwijk, [[Smart Regression Testing with T2]] (thesis defense). *2011-08-25* Th. BBL 071. <br> 12:00 - 13:00, Steven Keuchel, Generic Programming with Binders and Scope (thesis defense). <br> 13:00 - 14:00, Remy Willems, [[Compiler Optimization for Databases Programming Language]] (thesis defense). *2011-08-24* We. BBL 071. <br> 11:00 - 12:00, Dragos Ionita, [[Binding Time Analysis for Program Specialization in the ESPranto Synchronous Parallel Language]] (thesis defense). <br> 13:00 - 14:00, Christiaan Hees, [[Strategies for Directed Generation of Test Sequences]] (thesis defense). *2011-08-23* Tu. BBL 071. <br>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. %STOPINCLUDE% *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). <br/> 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). <del>*2011-06-03*</del> holiday. <del>*2011-06-02*</del> 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, <del>11:45. Jeroen Leeuwestein. Title: TBA </del> Cancelled. *2011-05-20* Fr. BBL 065, 11:00 - 12:00. Ad Feelders, [[Learning with monotonicity constraints]]. *2011-05-19* Th. <br> BBL 165, 11:00 - 12:00. Bram Schuur. [[Instance chains: type class programming without overlapping instances]]. <br> BBL 165, 12:00 - 13:00. Erik Hesselink. [[Silk: making the semantic web functional]]. *2011-05-13* Fr. BBL 065, 11:00 - 12:00, <del>Ad Feelders, Learning with monotonicity constraints.</del> 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. <del>*2011-05-05*</del> liberation day. *2011-04-29* Fr. BBL <del>165</del> 065, time available 11:00 - 12:45. *2011-04-28* Th. BBL <del>065</del> 165, 11:45. Tamar Christina, [[Type systems using next generation Attribute Grammars]](Thesis Defense). <del>*2011-04-22*</del> holiday. <del>*2011-04-21*</del> exam week. *2011-04-15* Fr. BBL 061, 11:00. <del>Silja Renooij, [[Sensitivity in Graphical Models: Bayesian Network Sensitivity Functions for Arc Removal and Hidden Markov Models]]</del> 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. <br> 11:00, Facundo Domínguez, [[Exploiting Algebra-Coalgebra Duality for Program Fusion Extensions]]. <br> <del>11:45</del> 12:00, Gerben Verburg, [[Better Strategies for Parallel Haskell]] . <del>*2011-03-18*</del> exam week. <del>*2011-03-17*</del> 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]] <del>*2011-02-03*</del> 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* <del>11:00, Minnaert 211, Roland Geraerts, [[Path planning in virtual environments]]</del>, cancelled. <del>*2011-01-06*</del> happy new year :) exam week <del>*2010-12-30*</del> 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, [[DitaZonderPijn][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) <del>*2010-11-11*</del> 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* <br/> 11:00 - Gerard Michels (OU), [[GerardMichelsAbstract][Dealing with generalisation types in a heterogeneous relation algebra]]<br/> 12:00 - Julian Verdurmen, [[Comparing the combination of inclusion- and parametric polymorphism in programming languages]] *2010-09-16* 11:45 - [[http://www.cs.uu.nl/staff/jpm.html][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-<del>005</del>075, reserved for thesis defenses. <br/>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) <br/>10:00 Tom Lokhorst: [[Strictness Optimization in a Typed Intermediate Language]] <br/>11:00 Peter van de Werken: [[IDEAS: Improving the Functional Programming Domain]] *2010-07-08* %RED% 10.30-11.30 %ENDCOLOR%, 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) <br/> 12:00 - [[Intelligent Programming Tutors]] Peter van de Werken *2010-06-24* 11:00 - Steven Keuchel - [[TerminationCheckingInThePresenceOfMixedInductionAndCoinduction][Termination checking in the presence of mixed induction and coinduction]] <br/>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]] <br/> 12:00 - Joanna Gasiewska - [[ProgramVerificationWithObjectInvariantsOnTheExampleOfSpec][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) <br/> 12:00 - Vali Georgescul - [[Objects to unify type classes and GADTs]] <del>*2010-05-13*</del> Holiday *2010-05-06* 11:00 Mathijs Swint - [[Neon, Analyzing Errors in Helium]] (Thesis Defense) <br/> 12:00 Sebastian Menge (TU Dortmund) - [[Generic Inconsistency Management]] *2010-04-29* 11:00 Chris Eidhof - [[The Pesto Framework]] (Thesis Defense) <br/> 12:00 Tim Breedveld, [[Treating design patterns more formally]]. *2010-04-22* 11:00 - 12.00, CANCELLED <del>Eugene Zima, Wilfrid Laurier University (Canada), [[Chains of Recurrences with Applications]].</del> *2010-04-15* 11:45 - [[http://www.cs.uu.nl/~ariem/][Arie Middelkoop]] - [[First Class Tree Traversal Idioms with Nested Attribute Grammars]] *2010-04-08* 11:45 - [[http://www.cs.uu.nl/~ariem/][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]] <del>*2010-03-18*</del> 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* <!-- Exam week --> 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]] <del>*2010-01-07*</del> Winter stop <del>*2009-12-31* </del> Winter stop <del>*2009-12-24* </del> Winter stop *2009-12-17* <br/> 11.30-16.00 [[http://okmij.org/ftp/][Oleg Kiselyov]] and Ken Chan <br>1. [[Iteratee IO -- safe, practical, declarative, incremental input processing]] <br>2. [[Lightweight Static Guarantees]] <br>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* <br/> *2009-11-26* <br/> 11.00 Paul van der Ende. [[Creating webapplications using Haskell]]<br/> 12.00 Jeroen Bouwmans. [[Keyword Programming]] *2009-11-19* 11.00 Jean Joskin - [[Concise tree walks using attribute grammars: in Haskell and Java]] <br/> 12.00 Robert Stremler. [[Extending a Simple Functional Programming Language with Dependent Types]] (thesis defense). *2009-11-12* <del>11.45 Jean Joskin - [[Concise tree walks using attribute grammars: in Haskell and Java]]</del> <del>*2009-11-05*</del> 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* <br/> 11.45 José Pedro Correia ([[http://www.sig.nl/][SIG]]) - [[Classification of development activities using source code metrics]] *2009-09-17* (BBL room 471)<br/> 11.45 Sean Leather - [[Practical and Generic Incrementalization]] *2009-09-10* <br/> 11.45 Erik van Seters - Master thesis defense: wxFlashkell: [[Building Flash based GUI's in Haskell]] *2009-07-02 - 2009-08-27* **Vacation** <!-- Ralf Laemmel (Koblenz) - [[http://www.uni-koblenz.de/~laemmel/expression/][The expression problem]] --> *2009-06-25* (BBL room 471)<br/> 11.45 Eelco Lempsink - [[Generic type-safe diff and patch for families of datatypes]] (thesis defense) *2009-06-18* (BBL room 471)<br/> 11.45 Stefan Holdermans - [[Spreading the Joy]] *2009-06-04* (BBL room 471)<br/> 11.45 Elmar Keij - [[Static Testing: Using The Weakest Pre-condition]] (thesis defense) *2009-05-28* (BBL room 471)<br/> 11.45 Kasper Brink - [[Dependently Typed Grammar Transformations]] (thesis defense) *2009-05-14* (BBL room 471)<br/> *11.00* Ingmar van der Steen - [[Automated discovery of algebraic specifications from Java classes]] *2009-04-23* (BBL room 471)<br/> Ale¨ ¦turala - [[Dynamic typing in Cs 4][Dynamic typing in C# 4.0]] *2009-04-16* (BBL room 471)<br/> 11.45 Mathijs Swint - [[Comparing Mason to other plagiarism detectors]] *2009-04-09* (BBL room 471)<br/> 11.45 Arie Middelkoop - [[Algorithmic Type Inferencer Specifications for Declarative Type Systems]] *2009-04-02* (BBL room 471)<br/> 11.45 Xavier Pardonnet - [[Functional Self-Adjusting Programming]] *2009-03-12* (BBL room 471)<br/> 11.45 Jan van Eijck (UU, CWI) - [[Computational Semantics with Functional Programming]] *2009-03-05* (BBL room 471)<br/> 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)<br/> 11.45 Mart Kolthof - [[A Proxima editor for Shuffle: manipulating fragmented text visually]] (thesis defense) *2009-02-12* (BBL room 471)<br/> 11.45 S. Doaitse Swierstra - [[Typed Transformations of Typed Abstract Syntax]] *2009-02-05* (BBL room 471)<br/> 11:45 Xiaoyu Cui - [[Automated Model-based analysis of Web-based User Interface(UI)]] (thesis defense) *2009-01-22* (BBL room 471)<br/> 11.45 Sebastiaan Visser - [[Session Types In Haskell][Session Types In Haskell]] *2009-01-16* (BBL room *509*)<br/> 11.00 Conor !McBride (Strathclyde University) - [[Slicing it: indexed containers? in Haskell?]] *2009-01-15* (BBL room 471)<br/> 11.45 Mathijs Swint - [[Pugs Bootstrapping Perl 6 with Haskell][Pugs Bootstrapping Perl 6 with Haskell]] *2009-01-08* (BBL room 471)<br/> 11.45 Jeroen Weijers - [[Garbage Collection]] ----++ Even Earlier Talks [[2008][Colloquia in 2008]] [[2007][Colloquia in 2007]] [[2006][Colloquia in 2006]] [[2005][Colloquia in 2005]] [[2004][Colloquia in 2004]] [[2003][Colloquia in 2003]] [[2002][Colloquia in 2002]] [[2001][Colloquia in 2001]] ----++ Attendance The attendance of masters students is recorded [[MastersAttendance][here]]. [[AbstractTemplate][Template for abstracts]]