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

  • Registration for the next IPA Course, on Formal Methods, is open now. This course will take place at Eindhoven University of Technology from 11 – 15 June, 2018. The full program is available now. Registration closes Thursday May 31st. Read More…
  • The 2018 conference for ICT-Research in the Netherlands, ICT.OPEN 2018, took place in Amersfoort 19 – 20 March, 2018. IPA staff and PhD students were encouraged to participate, and IPA sponsors their attendance. Reimbursement requests should be sent by May 20th at the latest. Read More…
  • The IPA Course on Software Engineering and Technology took place from 29 January – 2 February, 2018. Read More…
  • Sung-Shik Jongmans receives the award for the best IPA dissertation of 2016 for his thesis Automata-Theoretic Protocol Programming,  which addresses topics in the intersection of coordination languages, compiler technology, distributed systems, and concurrency theory.

Upcoming events

  • 11th Jun – 15th Jun, 2018. Course: Formal Methods. Eindhoven University of Technology. Read More…

Upcoming defences