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

  • Call for Nominations for the best IPA dissertation of 2016. Deadline for nominating is 31 March. Read more…
  • ICT.OPEN 2017 takes place from 21-22 March, 2017. Read more…
  • Jurriaan Rot¬†receives the award for the best IPA dissertation of 2015 for his thesis Enhanced Coinduction, which studies fundamental enhancements to the coinduction proof and definition technique

Upcoming defences