Instituut voor Programmatuurkunde en Algoritmiek

Institute for Programming research and Algorithmics


It is the principal goal of the Institute for Programming research and Algorithmics (IPA) 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, analyze, and construct software systems and components.

News

Agenda

Monday December 17, 2012 Eindhoven University of Technology
Eindhoven

Workshop on Formal Methods in Industry

The programme can be found here.

The workshop starts at 13:30, and will be followed by the PhD defence of Ammar Oseiwaran at 16:00.
Registration is free of charge, but is required due to the limited number of available seats. For details, please visit the workshop's website.


 
Monday 21 January - Friday 25 January, 2013 Technische Universiteit Eindhoven
Eindhoven

IPA Advanced Course on Software Engineering and Technology

Details regarding registration and postings regarding the programme can be found here.


 

Ph.D. defences in 2012

Ph.D. defences in 2011