concurrencywg.blogspot.com
Concurrency Theory IFIP WG1.8: Changes at the helm of WG1.8 and plans for the near future
http://concurrencywg.blogspot.com/2008/09/changes-at-helm-of-wg18-and-plans-for.html
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. Tuesday, September 09, 2008. Changes at the helm of WG1.8 and plans for the near future.
concurrencywg.blogspot.com
Concurrency Theory IFIP WG1.8: September 2008
http://concurrencywg.blogspot.com/2008_09_01_archive.html
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. Thursday, September 25, 2008. I just learned that WG1.8 member Moshe Vardi. Wan Fokkink an...
cmsb09.cs.unibo.it
CMSB09 - Related events
http://cmsb09.cs.unibo.it/events.html
The 7th Conference on Computational Methods in Systems Biology. 20th International Conference on Concurrency Theory. WS-FM 2009 - International Workshop on Web Services and Formal Methods. EXPRESS 2009 - International Workshop on Expressiveness in Concurrency. FMWS 2009 - International Workshop on Formal Methods for Wireless Systems. ICE 2009 - International Workshop on Interaction and Concurrency Experience. Infinity 2009 - International Workshop on Verification of Infinite-State Systems.
concur2014.org
CONCUR 2014 - Past Editions
http://www.concur2014.org/past_editions.php
CONCUR 2013 - Buenos Aires, Argentina. CONCUR 2012 - Newcastle, UK. CONCUR 2011 - Aachen, Germany. CONCUR 2010 - Paris, France. CONCUR 2009 - Bologna, Italy. CONCUR 2008 - Toronto, Canada. CONCUR 2007 - Lisbon, Portugal. CONCUR 2006 - Bonn, Germany. CONCUR 2005 - San Francisco, USA. CONCUR 2004 - London, UK. CONCUR 2003 - Marseille, France. CONCUR 2002 - Brno, Czech Republic. CONCUR 2001 - Aalborg, Denmark. CONCUR 2000 - Pennsylvania, USA. CONCUR 1999 - Eindhoven, Netherlands. CONCUR 1998 - Nice, France.
ice09.dimi.uniud.it
ICE 2009 » Home
http://ice09.dimi.uniud.it/index.php?page=home
2nd Interaction and Concurrency Experience. 31st August - Bologna, Italy. DEADLINE FINAL VERSION: 20 October 2009. Aim of the workshops (ICEs). Interaction and Concurrency Experiences (ICEs) is intended as a series of international scientific meetings oriented to researchers in various fields of theoretical computer science. The timeliness and novelty of these events relies both on the variety of the topics that will be treated on each event and on the adopted paper selection mechanism.
jorgeaperez.net
Service - Jorge A. Pérez
http://www.jorgeaperez.net/service
Jorge A. Pérez. International Colloquium on Automata, Languages, and Programming / Track B - PC member). 9th Interaction and Concurrency Experience. PrE- and POst-DEployment VErification TEchniques. 31st ACM/SIGAPP Symposium On Applied Computing. SAC 2016)/ Tra ck:. Service-Oriented Architectures and Programming. 12th International Colloquium on Theoretical Aspects of Computing - Cali, Colombia - Organizing and program committee. 3rd Workshop in Behavioral Types, co-located with CONCUR'14.