Saturday, May 24, 2008

The Swan Song of SEN2 at CWI

This is a guest post from MohammadReza Mousavi on an event held yesterday at CWI to "celebrate" the demise of the project SEN2 at CWI. This marks the end of an era at CWI, and for the concurrency community all over the world. My own research career and interests over the years have benefited from, and have been strongly influenced by, the work being carried out within SEN2 and collaborations with several researchers who have been affiliated with it. Thanks to Mahammad for this post reminding all the concurrency-theory community how important SEN2 has been for the field.

Yesterday at CWI, there was a celebration of (the funeral service for) 25 years of concurrency theory, practiced at SEN2.

The meeting was attended by some 100 participants. All SEN2 leaders and all its graduated Ph.D. students were present. Four distinguished speakers gave four very interesting talks. What comes next is a brief summary of what I can recall from these interesting presentations. An abstract of the talks can be found here.

  • Jos Baeten gave a brief history of 25 years of concurrency theory and practice at CWI. It all started with Jan Bergstra who cooperated with John Tucker (then at Leiden) and went on with the leadership of Jan Willem Klop, Jos Baeten, Frits Vaandrager, Jan Friso Groote, Wan Fokkink and Jaco van de Pol, all of whom after a short while became full professor at universities around the Netherlands. SEN2 has produced: about 1000 PAM talks (the last to begin given on June 18, 2008 by Jan Willem Klop), about 10 research projects, 25 Ph.D. thesis (2 in progress), hundreds of articles and CONCUR conferences (of which till now, 18 conference are held), which is a truly impressive track record.
  • Then, Gerard Holzmann gave a wonderful talk on the history and state of the art on Model Checking (with an emphasis on Spin). He divided the history of model checking into 4 development phases: formalisms (from 1978-1988), algorithms (from 1988-1998), veracity (from 1998-2008) and multi-core model-checking (I am not sure if I recall this one well, from 2008-2018).
  • The third speaker was Jan Bergstra, who is the father of concurrency theory in the Netherlands. (Mathematics Genealogy project counts about 50 pupils of his, see here.) He gave a very intriguing talk about many foundational issues for algebraic specification and process algebras. He said that he always believed in a number of dogmas including: superiority of total functions over partial functions, and also superiority of projective limit models to those induced by structural operational semantics. He made his point by defining a theory of meadows, which defines division as a total function (with 1/0 = 0). He showed that a very sensible algebraic theory can then be developed for meadows. Jan Bergstra stated (and to some extent showed) that this can simplify the foundations of mathematics even at the level taught in primary and high schools. His talk touched upon many other fundamental issues such as suitability of Turing Machines as the (only) foundational model for computability.
  • Finally, Moshe Vardi presented a nice overview of the development of temporal logics for industrial applications. He gave an overview on expressiveness and verification complexity for linear and branching temporal logics and the developments led to practical versions of such logics such as PSL and SVA (SystemVerilog Assertion). He concluded that SEN2 has not only produced a lot of fish, but trained many skilled fishermen for the Dutch TCS community and the latter is the main contribution of SEN2, which will last forever.
Let me conclude, on a personal note, by saying that, as usual, Moshe has expressed in a nutshell one of the main forms of impact, if not the main one, that any academic institution worth its salt should have: the development of highly skilled academics who will continue sowing the seeds for the future development of their science both nationally and abroad. I won't mention names, but it will be clear to any observer that SEN2 has played this role very well over its life span.

4 comments:

Anonymous said...

Did Jan Bergstra justify the "superiority of projective limit models" (what exactly does he mean?) over "those induced by structural operational semantics."?

Sadeq said...

As a general question, if that group was such advantageous for the world, why should it stopped with such a tragic funeral? Does the academic world not need such high class professors from SEN2 anymore?!

Mohammad Mousavi said...

To Anonymous: Well, it is a dogma and "superiority" is a subjective term. But he did give it a try. If I remember well (and many details have scaped my mind), he presented an overview of thread algebra for which he defined a model based on projective limits and argued that it is more elegant than models induced by SOS (I think this projective limit model is the same model as defined in his ICALP'03 paper with Inge Bethke).

Another point that Jan Bergstra did talk about but I forgot to mention is his criticism of our understanding of propositional logic. He presented
a reading of propositional logic in his talk and elaborated on its advantages over classic propositional logic.

It was a rather strong story and only somebody as influential as Jan Bergstra may afford to tell such fundamentally different stories, I believe.

Luca Aceto said...

Sadeq,

I am not in the Netherlands, but I believe that the demise of SEN2 is not due to scientific reasons. The home page for CWI states that

"The institute's strategy for the period up to 2012 is to concentrate research on four broad, societally relevant themes: Earth and life sciences; The data explosion; Societal logistics; Software as service."

Within this vision, SEN2 must have been considered redundant. Readers who know the background behind the decision to discontinue SEN2 will correct me if I am wrong.

The issue of whether a research institute like CWI should focus its research on "societally relevant themes" and on what themes deserves a post on its own. This is a rather sensitive matter also because it is one that I need to address here in Iceland right now :-)