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

The dates for the next Lentedagen are set. The Lentedagen will take place from Wednesday April 21 to Friday April 23, 2010. Both the theme and the location are not decided upon yet.
A Google Group IPA Informal, meant for informal discussions amongst the members of the Institute for Programming research and Algorithmics, exists for a while already. This group is meant for slightly to completely informal discussions. The group is hosted at Google here: http://groups.google.com/group/ipa-informal/ For this one does need a Google account.
Photos of both the IPA Course on Software Technology & Egineering and the IPA Herfstdagen on Quantitative Methods for Embedded Systems are available on http://picasaweb.google.com/ipapicsnl.

Agenda

January 19, 2010

Ph.D. Defense of C.J. Boogerd

Focusing Automatic Code Inspections

Summary of the thesis

Faculty of Electrical Engineering, Mathematics, and Computer Science
Technische Universiteit Delft

January 22, 2010

Ph.D. Defense of M.R. Neuhäußer

Model Checking Nondeterministic and Randomly Timed Systems

Faculty of Electrical Engineering, Mathematics & Computer Science
Universiteit Twente

April 21 - 23, 2010

IPA Lentedagen 2010

The theme of the Lentedagen is not fixed yet.

Registration deadline is not set yet.

Ph.D. Defenses in 2010

22 January 2010, M.R. Neuhäußer
Model Checking Nondeterministic and Randomly Timed Systems
Faculty of Electrical Engineering, Mathematics & Computer Science, UT
19 January 2010, C.J. Boogerd
Focusing Automatic Code Inspections
Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD