On November 1, IPA organises the IPA PhD Workshop. The SIREN // NL event takes place on Tuesday, November 2. The November 3 programme gives a caleidoscopic overview of research by IPA students.
| 9:00-10:00 | Registration |
| 10:00-11.00 | Hans Zantema: SAT solving, Sudokus, and why NP-hard is not hard at all |
| 11:00-11.15 | Break |
| 11:15-11.30 | Opening IPA PhD Workshop |
| 11:30-12.30 | IPA PhD Workshop (Session 1) |
| Gergely Alpár: Identity Management for Mobile Devices | |
| Maarten Jacobs: Revocable Privacy | |
| 12:30-13.30 | Lunch |
| 13:30-15.00 | IPA PhD Workshop (Session 2) |
| Jeroen Keiren: Tailoring Process Equivalences to Parity Games | |
| Jan Rochel: Optimal Evaluation of Functional Programming Languages | |
| Marijn Schraagen: Complete Similarity Blocking for Record Linkage Using Bit Vectors | |
| 15:00-15.15 | Break |
| 15:15-16.15 | IPA PhD Workshop (Session 3) |
| Ngo Minh Tri: Verification of Confidentiality of Multithreaded Programs | |
| Michiel Helvensteijn en Stijn de Gouw: MIST: A Verified Programming Language | |
| 16:15-16.30 | Break |
| 16:30-17.15 | Asia van de Mortel-Fronczak: Supervisory Control Synthesis |
| 17:15-18.00 | Wim Hesselink: Mechanical Verification of a Mutual Exclusion Algorithm with Nonatomic Variables |
| 18:15-20:30 | Diner |
| 20:30 | Social Event |
| 10:00-11:00 | Presentations by IPA PhD Students |
| Pim Vullers: Privacy in e-Ticketing - Attribute-proving for Smart Cards | |
| Elzbieta Krepska: Distributed Processing of Large-Scale Graphs | |
| 11:00-11:30 | Break |
| 11:30-12:30 | Presentations by IPA PhD Students |
| Alexandra Silva: A decision procedure for bisimilarity of generalized regular expressions | |
| Marcel van Amstel: Analysis of Model Transformations | |
| 12:30-13:30 | Lunch |
| 13:30-15:00 | Presentation by IPA PhD Students |
| Cynthia Kop: Termination of Higher Order Rewriting | |
| Frank Stappers: A 2x2 Switch Case Study | |
| 15:00-15:15 | Closing |