Concurrency Theory IFIP WG1.8

This blog is meant as a discussion forum for the members of the IFIP WG1.8 on Concurrency Theory. Members of the WG also use it to contribute posts related to concurrency theory at large. Members of the concurrency theory community are welcome to comment on the posts or solicit discussion on topics they find of interest for the research community on concurrency theory using this blog.

Monday, October 12, 2009

IFIP 1.8 workshop on FORMAL METHODS FOR EMBEDDED SYSTEMS

Here is the call for participation for an event organized the WG. Do take part if you happen to be in Eindhoven for FM week! ============...

Thursday, September 25, 2008

Vardi Receives The Blaise Pascal Medal in Computer Science For 2008

I just learned that WG1.8 member Moshe Vardi is the recipient of the Blaise Pascal Medal in Computer Science for 2008 of the European Acad...

Tuesday, September 09, 2008

Changes at the helm of WG1.8 and plans for the near future

I apologize for not posting much on this blog of late. Life has been very hectic and the organization of ICALP 2008 took its toll on me, but...

Monday, July 14, 2008

ICALP 2008

ICALP 2008 is now over. We had nearly 500 people attending the main conference and its affiliated events. It was a lot of work to ...

Saturday, October 06, 2007

Frits Vaandrager's Answers

I have received a contribution from Frits Vaandrager to the discussion arising from the CONCUR workshop. I am very pleased to post them here...

Friday, October 05, 2007

Joost-Pieter Katoen On The Need for Probabilistic and Stochastic Modelling

I am posting this message on behalf of Joost-Pieter Katoen, who sent me his reaction to one of the questions posed to the panel members duri...

Monday, September 24, 2007

Luca de Alfaro in the News

At CONCUR 2007, I learned that our colleague and member of WG1.8 Luca de Alfaro has recently hit the news for his work on an evaluation of ...

View web version

Powered by Blogger.