April 03, 2016, Eindhoven, The Netherlands
This event is to celebrate the 60th anniversary of Professor Frank S. de Boer. Frank is a prominent member of the research community in formal methods and theoretical computer science. A brief look through his lengthy publication list reveals a broad area of interest and a versatile modus operandi, compared to many of his colleagues: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.
Location
Symposium:
Eindhoven University of Technology, The Netherlands
TU/e Science park
Room 8 in the Auditorium building (nr. 1 in this map)
Further information can be found here.
Dinner:
Restaurant Vestdijk 47
Vestdijk 47
Eindhoven
The way from the Auditorium to the restaurant is shown in this map.
The dinner will start at 18:30 with a drink in honour of Frank.
If you have any dietary restrictions (vegetarian, allergic, etc.), please send an email to Erika Abraham before March 18, 2016.
For more information on location and accommodation please consult the ETAPS 2016 website http://www.etaps.org/ .
Program (pdf)
09:00-09:20 | Jan Rutten | Opening |
09:20-09:40 | Michiel Helvensteijn, Farhad Arbab | Time Travel in Stories and Games |
09:40-10:00 | Davide Ancona, Angelo Ferrando, Viviana Mascardi | Comparing Trace Expressions and LTL for Runtime Verification |
10:00-10:20 | Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga | Compositional Verification Applied to (Parameterised) Hybrid Systems |
10:30-11:00 | Coffee break | |
11:00-11:20 | Mariangiola Dezani, Luca Padovani, Paula Severi, Emilio Tuosto | On Sessions and Infinite Data |
11:20-11:40 | Clemens Dubslaff, Philipp Chrszon, Christel Baier, Joachim Klein, Sascha Klüppelholz | Modeling Role-Based Systems with Exogenous Coordination |
11:40-12:00 | Marjan Sirjani, Ehsan Khamespanah | On Time Actors |
12:00-12:20 | Nobuko Yoshida | The Upscale project: Actors and sessions |
12:30-14:00 | Lunch | |
14:00-14:20 | Jurriaan Rot, Stijn de Gouw | Effectively Eliminating Auxiliaries |
14:20-14:40 | Björn Engelmann, Ernst-Rüdiger Olderog | A Sound and Complete Hoare Logic for Dynamically-Typed Languages |
14:40-15:00 | Reiner Hähnle, Nathan Wasser, Richard Bubel | Array Abstraction with Symbolic Pivots |
15:00-15:20 | Bernhard K. Aichernig, Florian Lorber, Martin Tappler | Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking |
15:30-16:00 | Coffee break | |
16:00-16:20 | Jozef Hooman | Industrial Application of Formal Models Generated from Domain Specific Languages |
16:20-16:50 | Frank de Boer | Closing |
18:30 | Dinner |
Festschrift
To honour Frank’s achievements, the following Festschrift collects a number of papers by Frank’s collaborators over the years. Their broad range of topics reflects Frank’s versatility.
Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Erika Ábrahám, Marcello Bonsangue and Einar Broch Johnsen (editors)
Volume 9660 of LNCS, Springer International Publishing, 2016.