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: [EMAIL PROTECTED] 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: [EMAIL PROTECTED] ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
