Celebration Event for Frank de Boer’s 60th Birthday

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.