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

  • ICT.OPEN takes place from 24-25 March, 2015 and replaces this year’s Spring Days. Look here for our reimbursement scheme and conditions.
  • Call for Nominations for the IPA Dissertation Award. Deadline for nomination: 6 March. Read more…

Upcoming defences

  • 30th Mar 2015, Anja Guzzi. Supporting Developers’ Teamwork from within the IDE. Delft University of Technology. Read More…
  • 31st Mar 2015, Elisa Costante. Privacy throughout the Data Cycle. Eindhoven University of Technology. Read More…
  • 8th Apr 2015, Atze van der Ploeg. Efficient Abstractions for Visualization and Interaction. Universiteit van Amsterdam. Read More…
  • 21st Apr 2015, Roel Verdult. The (in)security of proprietary cryptography. Radboud University Nijmegen. Read More…
  • 24th Apr 2015, Stefan Dietzel. Resilient In-network Aggregation for Vehicular Networks. Twente University. Read More…
  • 26th May 2015, Yanjindulam Dajsuren. On the Design of an Architecture Framework and Quality Evaluation for Automotive Software Systems. Eindhoven University of Technology. Read More…
  • 17th Jun 2015, Sjoerd Cranen. Getting the point — Obtaining and understanding fixpoints in model checking. Eindhoven University of Technology. Read More…
  • 27th Aug 2015, Joeri de Ruiter. Lessons learned in the analysis of the EMV and TLS security protocols. Radboud University Nijmegen. Read More…