Home
The Institute for Programming research and Algorithmics (IPA) is a KNAW recognised national inter-university research school. Its principal goal is to educate researchers in the field of programming research and algorithmics; this research field comprises:
the study and development of formalisms, methods, and techniques to design, analyse, and construct software systems and components.
IPA News
Cynthia Kop was awarded the IPA Dissertation Award 2012 for her thesis, contributing to the field of higher-order termination.
Upcoming defences
- 3rd Jun 2013, Sander van der Burg. A Reference Architecture for Distributed Software Deployment. Delft University of Technology. Read More…
- 12th Jun 2013, Martijn van den Heuvel. Composition and synchronization of real-time components upon one processor. Eindhoven University of Technology. Read More…
- 4th Jul 2013, John Businge. Co-evolution of the Eclipse Framework and its Third-party Plug-ins. Eindhoven University of Technology. Read More…
- 23rd Sep 2013, Lionel Elie Mamane. Interactive mathematical documents: creation and presentation. Radboud University Nijmegen. Read More…
News and External Activities
- 4 June, Twente University. The Annual CTIT Symposium. Participating in the event is open to anyone and is free of charge; registering is mandatory.