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

  • The call for nominations for the IPA Dissertation Award 2018 is now open. The deadline for nominations is 31 March, 2018. Read More…
  • The IPA Course on Software Engineering and Technology takes 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 defences

  • 17th Jan 2018 , Afshin Amighi. Specification and Verification of Synchronisation Classes in Java: A Practical Approach. Twente University. Read More…
[linkview show_cat_name=1 cat_name=”News and External Activities” link_orderby=rating target=blank link_items='{ “name_l”: “”, “right”:{ “description”: “” } }’ list_symbol=square]