From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id C5CD0BB84 for ; Fri, 26 Sep 2008 11:35:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DANxJ3EjAXQImiGdsb2JhbACTHgEBARUinkCKDV+BBYMd X-IronPort-AV: E=Sophos;i="4.33,311,1220220000"; d="scan'208";a="15371873" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2008 11:35:32 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8Q9ZV8h019951 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 11:35:32 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DACtJ3EiCiAFmiGdsb2JhbACTHgEBARUinkKKD1+BBYMd X-IronPort-AV: E=Sophos;i="4.33,311,1220220000"; d="scan'208";a="17779996" Received: from leb.cs.unibo.it ([130.136.1.102]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 26 Sep 2008 11:35:31 +0200 Received: from [192.168.1.35] (unknown [151.16.86.62]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by leb.cs.unibo.it (Postfix) with ESMTP id 7369617ED9; Fri, 26 Sep 2008 11:35:13 +0200 (CEST) Message-ID: <48DCACFE.6000908@cs.unibo.it> Date: Fri, 26 Sep 2008 11:35:58 +0200 From: Mario Bravetti User-Agent: Thunderbird 2.0.0.17 (Windows/20080914) MIME-Version: 1.0 To: agents@cs.umbc.edu, aiia@di.unito.it, appsem@disi.unige.it, behavior@cs.ucsd.edu, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, concurrency@cwi.nl, Concurrency@listserver.tue.nl, csl@dbai.tuwien.ac.at, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, FMxSOCandBPM@cs.unibo.it, formal-methods@cs.uidaho.edu, generative@rz.tu-ilmenau.de, gragra@i3.informatik.rwth-aachen.de, grin@di.unipi.it, gulp-all@yahoogroups.com, hise-safety-critical@minster.cs.york.ac.uk, ic.eatcs@di.unipi.it, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, lics@informatik.hu-berlin.de, lics@research.att.com, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, m4m@science.uva.nl, maude-users@peepal.cs.uiuc.edu, members@fmeurope.org, moca-announce@list.it.uu.se, nvti-list@cwi.nl, oose@uni-paderborn.de, petrinet@informatik.uni-hamburg.de, qed@mcs.anl.gov, resist@laas.fr, rewriting@ens-lyon.fr, SAFE-NL@NIC.SURFNET.NL, SECURITY@FOSAD.ORG, sensoria-core@di.unipi.it, Sensoria@lists.tcs.ifi.lmu.de, seworld@cs.colorado.edu, stimdi-rek-subscribe@yahoogroups.com, theory-a@listserv.nodak.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it, types-announce@lists.seas.upenn.edu, formal-methods@cs.uidaho.edu, types-announce@lists.seas.upenn.edu, pvs@csl.sri.com, haskell@haskell.org, concurrency@tue.nl, ecoop-info@ecoop.org, coalgebras@iti.cs.tu-bs.de, lprolog@cs.umn.edu, list@prooftheory.org, moca-announce@list.it.uu.se, theorynt@listserv.nodak.edu, papm@inf.ed.ac.uk, categories@mta.ca, caml-list@inria.fr Subject: CONCUR 2009: Call for Affiliated Workshops Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48DCACE3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; unibo:01 unibo:01 semantics:01 logics:01 2009:98 2009:98 biological:98 short:01 proceedings:02 accompanied:02 submissions:04 concurrency:04 concurrency:04 concurrent:04 scope:04 CONCUR 2009: 20th International Conference on Concurrency Theory September 1-4, 2009 Bologna, Italy http://concur09.cs.unibo.it/ *Call for Affiliated Workshops* Conference Dates: September 1-4, 2009 Affiliated Workshop Dates: August 31, 2009 and September 5, 2009 The 20th Conference on Concurrency Theory will be held this coming summer in Bologna, Italy, and will be co-locate with the 7th Conference on Computational Methods in Systems Biology (CMSB) and the 6th International Workshop on Web Service and Formal Methods (WS-FM). Researchers and practitioners are invited to submit proposals for workshops on topics related to concurrency theory and its applications. Example topics include, semantics, logics, verification techniques for concurrent systems, and cross-fertilization between industry and academia. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, like formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. Proposals should include: * The name and the preferred date of the proposed workshop. * A very brief cv of the chairperson(s) or a link to some web page including such information. * A short scientific summary of the topic, its scope and significance (and possibly a description of past versions of the workshop, including, e.g., dates, organizers, submission and acceptance counts, and attendance). * Procedures for selecting papers, plans for dissemination (for example, proceedings and special issues of journals), and the expected number of participants. Important Dates: Workshop proposals due November 15th, 2008. Notification of acceptance: December 1st, 2008. Submissions to: concur09@cs.unibo.it The CONCUR organization offers: * Link from CONCUR and Workshop web sites. * Setup of meeting space, and related equipment. * Coffee-breaks. * On-line and on-site registration to the workshop. The main responsibility of organizing a workshop goes to the workshop chairperson(s), including: * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the CONCUR local organizers. Please contact the CONCUR organizers (Mario Bravetti and Gianluigi Zavattaro) for any further details at the address: concur09@cs.unibo.it