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

Photos from selected previous events are available at ipapicsnl at PicasaWeb.
A Google Group IPA Informal, meant for slightly to completely informal discussions amongst the members of IPA, exists for a while already. Note: one does need a Google account for this.

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

17 December 2012, A. Osaiweran
Formal Development of Control Software in the Medical Systems Domain
Faculty of Mathematics and Computer Science, TU/e
7 December 2012, W. Kuiper
Compositional Synthesis of Safety Controllers
Faculty of Electrical Engineering, Mathematics & Computer Science, UT
5 December 2012, W. Heijstek
Software Architecture Design in Global and Model-Centric Software Development
Faculty of Mathematics and Natural Sciences, UL
1 December 2012, L.J.P. Engelen
From Napkin Sketches to Reliable Software
Faculty of Mathematics and Computer Science, TU/e
29 November 2012, D.E. Nadales Agut
A Compositional Interchange Format for Hybrid Systems: Design and Implementation
Faculty of Mechanical Engineering, TU/e
13 November 2012, C.L.M. Kop
Higher Order Termination
Faculty of Sciences, Department of Computer Science, VUA
8 November 2012, F.P.M. Stappers
Bridging Formal Models - An Engineering Perspective
Faculty of Mathematics and Computer Science, TU/e
30 October 2012, H. Rahmani
Analysis of Protein-Protein Interaction Networks by Means of Annotated Graph Mining Algorithms
Faculty of Mathematics and Natural Sciences, UL
1 October 2012, S.D. Vermolen
Software Language Evolution
Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD
27 August 2012, K. Verbeek
Algorithms for Cartographic Visualization
Faculty of Mathematics and Computer Science, TU/e
5 July 2012, F. Heidaran
Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference
Faculty of Science, Mathematics and Computer Science, RU
23 February 2012, T. Dimkov
Alignment of Organizational Security Policies: Theory and Practice
Faculty of Electrical Engineering, Mathematics & Computer Science, UT
17 February 2012, S. Sedghi
Towards Provably Secure Efficiently Searchable Encryption
Faculty of Electrical Engineering, Mathematics & Computer Science, UT
11 January 2012. Z. Hemel
Methods and Techniques for the Design and Implementation of Domain-Specific Languages
Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD
10 January 2012, A. Khosravi
Optimal Geometric Data Structures
Faculty of Mathematics and Computer Science, TU/e
9 January 2012, A. Middelkoop
Inference of Program Properties with Attribute Grammars, Revisited
Faculty of Science, UU
9 January 2012, M.F. van Amstel
Assessing and Improving the Quality of Model Transformations
Faculty of Mathematics and Computer Science, TU/e

Ph.D. defences in 2011

20 December 2011, J. Wang
Spiking Neural P Systems
Faculty of Mathematics and Natural Sciences, UL
20 December 2011, S. Kemper
Modelling and Analysis of Real-Time Coordination Patterns
Faculty of Mathematics and Natural Sciences, UL
15 December 2011, L.C.L. Kats
Building Blocks for Language Workbenches
Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD
15 December 2011, H.J.S. Basten
Ambiguity Detection for Programming Language Grammars
Faculty of Science, UvA
6 December 2011, M. Izadi
Model Checking of Component Connectors
Faculty of Mathematics and Natural Sciences, UL
30 November 2011, R. Middelkoop
Capturing and Exploiting Abstract Views of States in OO Verification
Faculty of Mathematics and Computer Science, TU/e
28 November 2011, A.N. Tamalet
Towards Correct Programs in Practice
Faculty of Science, Mathematics and Computer Science, RU
14 November 2011, C.P. Tsirogiannis
Analysis of Flow and Visibility on Triangulated Terrains
Faculty of Mathematics and Computer Science, TU/e
2 November 2011, M. Raffelsieper
Cell Libraries and Verification
Faculty of Mathematics and Computer Science, TU/e
27 October 2011, P.J.A. van Tilburg
From Computability to Executability -- A process-theoretic view on automata theory
Faculty of Mathematics and Computer Science, TU/e
25 October 2011, Y.-J. Moon
Stochastic Models for Quality of Service of Component Connectors
Faculty of Mathematics and Natural Sciences, UL
3 October 2011, S. Georgievska
Probability and Hiding in Concurrent Processes
Faculty of Mathematics and Computer Science, TU/e
3 October 2011, Z. Protic
Configuration management for models: Generic methods for model comparison and model co-evolution
Faculty of Mathematics and Computer Science, TU/e
28 September 2011, M. Atif
Formal Modeling and Verification of Distributed Failure Detectors
Faculty of Mathematics and Computer Science, TU/e
15 September 2011, S. Malakuti
Event Composition Model: Achieving Naturalness in Runtime Enforcement
Faculty of Electrical Engineering, Mathematics & Computer Science, UT
1 July 2011, M.E. Andres
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems
Faculty of Science, Mathematics and Computer Science, RU
21 June 2011, C. Krause
Reconfigurable Component Connectors
Faculty of Mathematics and Natural Sciences, UL
12 May 2011, M. van der Bijl
On changing models in Model-Based Testing
Faculty of Electrical Engineering, Mathematics & Computer Science, UT
11 May 2011, J. Proença
Synchronous coordination of distributed components
Faculty of Mathematics and Natural Sciences, UL
21 April 2011, A. Moralı
IT Architecture-Based Confidentiality Risk Assessment in Networks of Organizations
Faculty of Electrical Engineering, Mathematics & Computer Science, UT
1 February 2011, B.J. Arnoldus
An Illumination of the Template Enigma: Software Code Generation with Templates
Faculty of Mathematics and Computer Science, TU/e
20 January 2011, E. Zambon
Towards Optimal IT Availability Planning: Methods and Tools
Faculty of Electrical Engineering, Mathematics & Computer Science, UT
19 January 2011, L. Astefanoaei
An Executable Theory of Multi-Agent Systems Refinement
Faculty of Mathematics and Natural Sciences, UL
13 January 2011, R. Bakhshi
Gossiping Models: Formal Analysis of Epidemic Protocols
Faculty of Sciences, Department of Computer Science, VUA