25 Years of Concurrency Theory at CWI.
Speakers: Jos Baeten, Gerard Holzmann, Jan Bergstra, Moshe Vardi.
The SEN2 group at CWI has played a prominent role in concurrency theory since the early 80's, with an emphasis on algebraic techniques for the specification and verification of software systems. Five consecutive leaders of SEN2 started research groups at Dutch universities. Now that concurrency theory is so well established in The Netherlands, CWI has decided to shift the focus of SEN2 to service-oriented computing.
This workshop celebrates the achievements of 25 years of concurrency theory, and looks ahead to the next 25 years.
| Programme | |
|---|---|
| 12:30 | Reception and lunch (foyer Turing hall) |
| 13:30 - 13:40 | Introduction Jan Karel Lenstra |
| 13:40 - 14:00 | Jos Baeten (intro Wan Fokkink) "25 years of concurrency theory and SEN2" |
| 14:00 - 14:45 | Gerard Holzmann (intro Jaco van de Pol) "The Evolution of Software Model Checking" |
| 14:45 - 15:00 | Break |
| 15:00 - 15:45 | Jan Bergstra (intro Jan Friso Groote) "Loose algebraic specifications for numbers, propositions and threads" |
| 15:45 - 16:30 | Moshe Vardi (intro Frits Vaandrager) "The Design of A Formal Property-Specification Language" |
| 16:30 | Closing, drinks |
Speakers
Jos Baeten
Jos Baeten was the head of SEN2 until 1991, when he became professor of Theoretical Computer science at Eindhoven University of Technology. There he has built a large research group in formal methods.
Gerard Holzmann
Gerard Holzmann developed at Bell Labs the SPIN model checker, which in 2001 was awarded the ACM System Software Award. Since 2003 he is leading the NASA JPL Laboratory for Reliable Software. He is JPL fellow, and member of the US National Academy of Engineering.
Jan Bergstra
Jan Bergstra was involved in SEN2 from the start. In 1985 he was appointed professor in Programming and Software Engineering at the University of Amsterdam, and professor in Applied Logic at Utrecht University. His research covers lambda-calculus, process algebra, abstract data types, and more recently program algebra. He is visiting professor at the University of Wales Swansea.
Moshe Vardi
Moshe Vardi is Karen Ostrum George Professor in Computational Engineering at Rice University since 2000. His research covers database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He was awarded three IBM Outstanding Innovation Awards, and is member of the US National Academy of Engineering.
In 2006, Gerard Holzmann and Moshe Vardi were awarded the ACM Kanellakis Theory and Practice Award for their pioneering work on verification tools for software and hardware.
