The deadlines for paper submission have been extended (ICFEM 2010)

<div>

<div class="Section1">

<p class="MsoNormal"><span lang="EN-US">***************************************************************<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
ICFEM 2010<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp; 12th International
Conference on Formal Engineering Methods<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ***&nbsp;
Call For Papers&nbsp; ***<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Nov 16-19, 2010<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Shanghai, China<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
http://www.sei.ecnu.edu.cn/icfem2010/<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; The deadlines
for paper submission have been extended.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Abstract
Submission: 4 June, 2010 (New)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Full-paper submission: 11 June, 2010 (New)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">***************************************************************<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">ICFEM brings together
those interested in the application of formal <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">engineering methods
to computer systems. Researchers and <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">practitioners, from
industry, academia, and government, are <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">encouraged to attend,
and to help advance the state of the art. We <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">are interested in
work that has been incorporated into real <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">production systems,
and in theoretical work that promises to bring <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">practical, tangible
benefit.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">ICFEM 2010 will be
organized by Software Engineering Institute, <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">East China Normal
University. Any inquiries can be sent to <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">icfem2010 <at> sei.ecnu.edu.cn.
<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">AREA AND TOPICS<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Submissions related
to the following principal themes are encouraged, <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">but any topics
relevant to the field of formal methods and <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">their support
environments will also be considered: <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Formal
model-based development and code generation<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Abstraction
and refinement<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Formal
specification and modelling<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Software
verification<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Formal
approaches to software testing<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Software
model checking<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Formal
methods for object and component systems<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Analysis and
models for concurrency<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Formal
methods for cloud computing<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Tool
development and integration<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Software
safety, security and reliability<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Experiments
involving verified systems<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Applications
of formal methods<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">SUBMISSION AND
PUBLICATION<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Submissions to the
conference must not have been published or be <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">concurrently
considered for publication elsewhere. All submissions <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">will be judged on the
basis of originality, contribution to the <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">field, technical and
presentation quality, and relevance to the <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">conference. The
proceedings will be published in the Springer Lecture <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Notes in Computer
Science series.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Papers should be
written in English and not exceed 16 pages in LNCS <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">format (see
http://www.springer.de/comp/lncs/authors.html for <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">details). Submission
should be done through the ICFEM 2010 submission <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">page
(http://www.sei.ecnu.edu.cn/icfem2010/), handled by the EasyChair <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">conference system.
All queries should be sent to the e-mail address <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">icfem2010 <at> sei.ecnu.edu.cn.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">IMPORTANT DATES<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">June 4, 2010:
Abstract submission deadline (New)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">June 11, 2010:
Full-paper submission deadline (New)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">July 30, 2010:
Acceptance/rejection notification<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">August 13, 2010:
Final version due<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">ORGANIZATION
COMMITTEE<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Conference Chair: <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jifeng He (East China
Normal University, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Program Co-Chairs: <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jin Song Dong
(National University of Singapore, Singapore)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Huibiao Zhu (East
China Normal University, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">PROGRAM COMMITTEE<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Yamine AIT AMEUR
(LISI/ENSMA, France)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Farhad Arbab (CWI and
Leiden University, The Netherlands)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Nazareno Aguirre
(Universidad Nacional de R&iacute;o Cuarto, Argentina)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Bernhard Aichernig
(Graz University of Technology, Austria)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Keijiro Araki (Kyushu
University, Japan)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Richard Banach
(University of Manchester , UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jonathan Bowen
(University of Westminster, UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Karin Breitman
(Pontifical Catholic University of Rio de Janeiro, Brazil)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Michael Butler
(University of Southampton, UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Andrew Butterfield
(Trinity College Dublin, Ireland)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Ana Cavalcanti
(University of York, UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Wei-Ngan Chin
(National University of Singapore, Singapore)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jim Davies (Oxford
University, UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jin Song Dong
((National University of Singapore, Singapore, Co-Chair)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Zhenghua Duan (Xidian
University, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Colin Fidge
(Queensland University of Technology, Australia)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">John Fitzgerald
(Newcastle University, UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Joaquim Gabarro
(Universitat Polit&egrave;cnica de Catalunya, Spain)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Stefania Gnesi
(Istituto di Scienza e Tecnologie dell&rsquo;Informazione &lsquo;A.
Faedo&rsquo;, Italy)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Mike Hinchey
(University of Limerick, Ireland)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Thierry Jeron (INRIA
, France)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Gerwin Klein (NICTA,
Australia)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Kim Larsen (Aalborg
University, Denmark)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Michael Leuschel
(Heinrich-Heine Universit&auml;t D&uuml;sseldorf, Germany)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Xuandong Li (Nanjing
University, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Shaoying Liu (Hosei
University, Japan)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Zhiming Liu
(UNU/IIST, Macau)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Tiziana Margaria
(University of Potsdam, Germany)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Brendan Mahony (DSTO,
Australia)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Tom Maibaum (McMaster
University, Canada)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Dominique Mery (LORIA
&amp; Universit&eacute; Henri Poincar&eacute; Nancy 1, France)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Huaikou Miao
(Shanghai University, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Flemming Nielson
(Technical University of Denmark, Denmark)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jun PANG (University
of Luxembourg, Luxembourg)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Geguang Pu (East
China Normal University, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Shengchao Qin (Durham
University, UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Zongyan Qiu (Peking
University, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Anders P. Ravn (Aalborg
University, Denmark)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Augusto Sampaio
(Universidade Federal de Pernambuco, Brazil)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Marjan Sirjani
(Reykjavik University, Iceland)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Graeme Smith
(University of Queensland, Australia)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jing Sun (University
of Auckland, New Zealand)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jun Sun (National
University of Singapore, Singapore) <p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Kenji Taguchi
(National Institute of Informatics, Japan)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Yih-Kuen Tsay
(National Taiwan University, Taiwan)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">T.H. Tse (The
University of Hong Kong, Hong Kong)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Sergiy Vilkomir (East
Carolina University, USA)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Heike Wehrheim
(University of Paderborn, Germany)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Wang Yi (Uppsala
University, Sweden)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Hai Wang (Aston
University, UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Ji Wang (National
University of Defense Technology, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Xu Wang (UNU/IIST,
Macau)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jim Woodcock
(University of York, UK)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jian Zhang (Chinese
Academy of Sciences, China)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Huibiao Zhu, China
(East China Normal University, China, Co-Chair)<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">STEERING COMMITTEE<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Keijiro Araki, Japan<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jin Song Dong,
Singapore<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Chris George, Canada<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jifeng He, China<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Mike Hinchey, Ireland<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Shaoying Liu (Chair),
Japan<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">John McDermid, UK<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Tetsuo Tamai, Japan<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">Jim Woodcock, UK<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

</div>

</div>

Deadline Extension: CFP: AHSWN - An International Journal, Special Issue on User-oriented, Service-oriented and Spontaneous Wireless Ad Hoc Networks

[Apologize in advance for cross-postings]

-----------------------------------------------------------------------------------------------------------------------

Call for Papers

Ad Hoc & Sensor Wireless Networks: An International Journal
Special Issue on
User-oriented, Service-oriented and Spontaneous Wireless Ad Hoc Networks

http://www.oldcitypublishing.com/AHSWN/AHSWN.html

Overview

There are many Ad Hoc Wireless Networks where several types of users and services must be integrated. In a
user-oriented network, the service quality and the corresponding service for each user must be
guaranteed. On the other hand, the user behaviour and the services offered for the users could affect to
the wireless ad hoc network performance. A spontaneous ad hoc network enables a group of users to work
together collaboratively coming together at the same time, and very close to each other, to be able to
communicate. They seek to imitate human relationships in order to work together in groups, running on an
existing technology. The devices used for this type of networks have limited resources, few computing
capacity and low energy consumption. They can be used for the integration of ser
 vices and users in order to solve a problem or to carry out a specific task, or for sharing services and
resources, with no dependence on a central server. The range of environments in whic!
 h these networks can be applied is 
wide and may include many user collaboration ad hoc wireless systems.

Authors are invited to submit complete unpublished papers, which are not under review in any other
journal. The topics suggested can be discussed in term of concepts, state of the art, standards, designs,
implementations, running experiments or applications. 

Topics of interest include, but are not limited to:

- Network protocols and architectures
- Self-organization and self-configuration algorithms
- Nodes cooperation and distributed coordination
- Security, privacy, data integrity, authentication and trust
- Energy models, design and management
- Integration with other systems
- Location and mobility management 
- Resource provisioning, dynamic resource management and quality of service
- Fault tolerance and reliability 
- Modelling and simulation techniques 
- Design and deployment of embedded system platforms
- Software platforms and development tools 
- Practical implementations, developments and real-world experiences 

Important dates:

Paper submission: June 15, 2010 (Extended Deadline)
Acceptance notification: September 15, 2010
Final Papers:  October 15, 2010
Tentative Publication: 1st quarter 2011

Submission Guidelines:

The submitted papers must be written in English and describe original research work which is not published
nor currently under review by other journals or conferences.  Papers previously published in
conference/workshop proceedings can be considered, but should be substantially extended. An
electronic copy of the complete manuscript and any supplementary material should be sent by e-mail to the
corresponding editor (jlloret <at> dcom.upv.es). Each submission must be clearly identified as a
submission for this special issue by writing the Special Issue title in the subject. The submission must
include the title, abstract of your paper, and the corresponding author's name and affiliation. All the
submissions will be subject to peer review in accordance with the journal review procedures. They wil
 l be rigorously reviewed based on the quality: originality, high scientific quality, organization and
clarity of writing, and support provided for assertions and conclusion.

Submission Format:

All submissions should be made as Microsoft Word or pdf documents. All manuscripts must be submitted in
English. Manuscripts submitted as Microsoft Word documents should be double-spaced, presented in an
easily readable, standard font and size (such as 10 or 12 pt. Times or Arial). All pages should be numbered.
Manuscripts submitted as pdf documents are encouraged to follow the layout guidelines provided by the
publisher (http://www.oldcitypublishing.com/Layout%20Guidelines.pdf). More information about
the paper format is provided in:
http://www.oldcitypublishing.com/AHSWN/AHSWN%20Contributor%20notes.html

Guest Editors

Jaime Lloret (corresponding editor)
Department of Communications, 
Polytechnic University of Valencia, Spain
E-mail: jlloret <at> dcom.upv.es

Lei Shu
Nishio Lab., Department of Multimedia Engineering,
Graduate School of Information Science and Technology, Osaka University, Japan
E-mail: lei.shu <at> ieee.org

Raquel Lacuesta
Higher Polytechnic School of Teruel 
University of Zaragoza, Sapin
E-mail: lacuesta <at> unizar.es

Min Chen
School of Computer Science and Engineering
Seoul National University, Seoul Korea
Email: ubcminchen <at> gmail.com

2nd CfP AWPN 2010

--------------------------------------------------------------------------------------------------------------------------------------

                                    SECOND CALL FOR PAPERS
        17. Workshop ALGORITHMEN UND WERKZEUGE FÜR PETRINETZE
                        07. und 08. Oktober 2010 in Cottbus

--------------------------------------------------------------------------------------------------------------------------------------

Termine:
---------------

Einsendeschluss für lange Beiträge:    1.        August         2010
Einsendeschluss für kurze Beiträge:    1.        September   2010
Anmeldung:                                            15.       
September   2010
Workshop:                                           07./08.    
Oktober        2010

Ausrichtung:
----------------------

Veranstalter:
                            Fachgruppe "Petrinetze und verwandte 
Systemmodelle" der GI

Ausrichter:
                            Monika Heiner
                            Brandenburgische Technische Univeristät Cottbus
                            Walther-Pauer-Str. 2
                            03046 Cottbus
Ziel:
-------

Wir wollen Entwickler und Anwender von Petrinetzbasierten Algorithmen 
und Werkzeugen zusammenzubringen und damit die Abstimmung zwischen 
Angebot und Nachfrage nach Petrinetzbasierter Technologie verbessern.

Der Workshop bietet Vorträge über Algorithmen, Werkzeuge, Fallstudien 
sowie Werkzeugdemonstrationen mit Bezug zu Petrinetzen oder verwandten 
Systemmodellen.

Inhaltliche Schwerpunkte:
--------------------------------------------

  * Entscheidungsalgorithmen für dynamische Eigenschaften
  * Zustandsraumreduktion
  * Temporale Logik und Model-Checking
  * Analyse mit algebraischen und linear-algebraischen Methoden
  * Simulationsverfahren
  * Datenstrukturen und Algorithmen in Werkzeugen
  * Benutzungsschnittstellen und Visualisierung
  * Schnittstellen und (XML-) Austauschformate für Petrinetzwerkzeuge
  * Fallstudien zur Validierung von Modellierungstechniken
  * Software-Engineering- und Workflow-Managementwerkzeuge
  * Mit Petrinetzen verwandte Modelle und Methoden

Beiträge:
---------------

Ergebnisse können in Form von Vorträgen bzw. Werkzeugdemonstrationen
präsentiert werden. Ein Beitrag kann als langer oder kurzer Beitrag 
eingereicht werden. Die beiden Formen unterscheiden sich in ihrer 
Zielsetzung und im Verfahren.
Ein langer Beitrag beschreibt ein Ergebnis entsprechend üblicher Standards
für Workshops. Er ist in englischer Sprache verfasst. Er umfasst nicht 
mehr als 15 Seiten und muss bis zum 1. August 2010 eingereicht werden. 
Er wird nach gängigen Standards begutachtet, wobei das Programmkomitee 
identisch ist mit dem Steering-Committee erweitert um den Ausrichter. 
Ausgewählte Langbeiträge können eingeladen
werden für den LNCS-ToPNoC-Band zu den Workshops der Konferenz PETRI 
NETS 2010. Für
diesen Band findet eine weitere Begutachtung auf Zeitschriftenniveau 
statt, wobei die Gutachten für AWPN berücksichtigt werden.

Ein kurzer Beitrag beschreibt eine Idee oder Work in Progress. Er ist in 
deutscher oder englischer Sprache verfasst. Er umfasst nicht mehr als 6
Seiten und muss bis zum 1. September 2010 eingereicht werden. Für kurze 
Beiträge
findet kein Auswahlverfahren statt, aber die Beiträge werden auf 
Relevanz sowie die
Einhaltung eines wissenschaftlichen Mindeststandards hin geprüft.
Ausgewählte Kurzbeiträge können nach dem Workshop in einer Ausgabe des 
Petri Net
Newsletter veröffentlicht werden.

Schriftliche Ausarbeitungen und Werkzeugpräsentationen bitte an Martin 
Schwarick (ms <at> informatik.tu-cottbus.de) im PDF-Format (DIN A4) ohne 
Seitenzahlen oder Kopf-/Fußzeilen schicken. Bitte dabei den Springer 
LNCS-Stil (http://www.springer.com/comp/lncs/Authors.html) verwenden.

Die Beiträge werden als CEUR-WS-Proceedings veröffentlicht, die 
Teilnehmer erhalten eine gedruckte Version in Form eines internen 
Forschungsberichts der BTU Cottbus ausgehändigt.

Vorträge:
----------------

Unabhängig von der Art des eingereichten Beitrages beträgt die Länge 
eines Vortrages 20 Minuten, gefolgt von 10 Minuten Zeit für Diskussion. Die
Sprache des Workshops ist deutsch, es sind aber auch Vorträge in 
englischer Sprache willkommen. Overheadprojektor, Beamer und ein PC 
stehen zur Verfügung.

Steering Committee:
----------------------------------

  * Jörg Desel (Stellvertreter)
  * Ekkart Kindler
  * Kurt Lautenbach
  * Robert Lorenz
  * Daniel Moldt
  * Rüdiger Valk
  * Karsten Wolf (Sprecher)

Webseite:
----------------

Die Webseite für den Workshop mit aktuellen und weitergehende 
Informationen zur Einreichung, Anmeldung, Anreise und zum Programm 
verfügbar ist online
unter
http://www-dssz.informatik.tu-cottbus.de/AWPN2010 (in Vorbereitung)

Viele Grüße aus Cottbus,

Martin Schwarick

Petri Nets 2011 - Call for Workshops and Tutorials

Petri nets 2011, Kanazawa, Japan

Call for Workshop Proposals

**********************************************************
We also welcome
proposals for high-quality
Tutorials on Petri nets or related to Petri nets,
from academic research to industrial applications.
Expressions of interest
with a title and brief technical description
can be sent to
the chairs of the Workshop & Tutorial Committee
Wil van der Aalst and Jetty Kleijn (see below)
until June 7.
Full tutorial proposals are due January 5th 2011.
**********************************************************

**********************************************************
************ Call for Proposals for Workshops ************
***********        Petri nets 2011           *************
**********************************************************

The 32nd International Conference on Application and Theory
of Petri Nets and Concurrency (Petri nets 2011)
will take place in Kanazawa, Japan
(as usual in the full last week of June).
For this major event, we are now inviting people
to submit proposals for workshops.

The purpose of the workshops is to provide an informal setting for
workshop participants to discuss technical issues, exchange research
ideas, and to discuss and or demonstrate applications.
These workshops may be driven by fundamental academic interests or by
needs from specific application domains.
We encourage a diversity of workshops relating to Petri nets or other
models of concurrency.

All workshop proposals must be written in English.

Proposals for workshops should be no more than 3 pages in length and
submitted to the W&T chairs before June 7, 2010 (see below).

A workshop proposal should include a draft call-for-papers containing at
least the following information:

- Title and brief technical description of the workshop, specifying the
goals and the technical issues that will be its focus.

- A brief description of why and to whom the workshop is of interest.

- The names and contact information (web page, email address) of the
Program Committee (PC) chairs, i.e., the workshop organizers.
Moreover, a tentative list of workshop PC members should be given. We
suggest one or two PC chairs and at least 10 PC members coming from
different countries.

Moreover, the following additional information is requested:

- A list of related workshops or similar events to be held in the same
year or within the previous two years.

- If the workshop has taken place before:
-- How often has the workshop taken place so far?
-- Which conference(s) has the workshop been collocated with so far? --
Number of participants in the last installment.

- A discussion of the proposed format and agenda.

- The proposed duration (half, one or two days).

- Procedures for selecting participants and papers.

- Potential invited speakers.

- Expected number of participants.

- A description of the qualifications of the workshop organizers with
respect to organizing this workshop (e.g., papers published in the
proposed topic area, previous workshop organization, other relevant
information).

Each workshop program committee (in particular the chairs) will be
responsible for the following:

- Producing a web page and a "Call for Papers/Participation" for their
workshop.

- Providing a brief description of the workshop for the Petri Nets
conference web page and program and providing a workshop web page the
Petri Nets conference can refer to for details.

- Selecting the papers for the workshop proceedings and providing the
camera ready copies ready for publication.

- All advertising of the workshop beyond web page advertising.

- Appointing session chairs, etc.

The local organization of the Petri net conference will take care of the
production of each (informal) workshop proceedings. After the
conference we will invite a number of the best workshop papers to
contribute to a Joint Post-proceedings, to be published in the new
subseries of Lecture Notes in Computer Science (LNCS) entitled
"Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC),
i.e., a selection of papers from all workshops will be combined into a
single volume. The revised papers will go through an additional round of
reviewing. Note that the W&T chairs will be responsible for liaison with
the publisher, organising the additional round of reviewing and the final
selection.
The workshop chairs will play an important role in suggesting papers and
the final selection. See www.springer.com/lncs/topnoc
for more information about ToPNoC.

Submission of Workshop Proposals

Proposals may be submitted in any one of the following formats:
ASCII text, PostScript, PDF or Microsoft Word.
Please send your proposals and any inquiries by electronic mail to both
chairs of the Workshop & Tutorial Committee:

- Wil van der Aalst
  E-mail: w.m.p.v.d.aalst <at> tue.nl
- Jetty Kleijn
  E-mail: kleijn <at> liacs.nl

Dates:
- Deadline workshop proposals: before June 7 2010
- Notification of decision workshops: August 1st 2010

- Workshops dates: Monday and/or Tuesday - June 20/21 2011 -
before the conference proper

W&T committee Petri Nets 2011
- Wil van der Aalst
  E-mail: w.m.p.v.d.aalst <at> tue.nl
- Jonathan Billington
  E-mail: Jonathan.Billington <at> unisa.edu.au
- Susanna Donatelli
  E-mail: susi <at> di.unito.it
- Jetty Kleijn
  E-mail: kleijn <at> liacs.nl

1st CfP 5th International Workshop Models <at> run.time

********************************************************************************
5th International Workshop Models <at> run.time
In conjunction with MODELS  2010, OSLO, NORWAY, October 3-8, 2010

http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT10/
********************************************************************************

Motivation:
We are witnessing the emergence of new classes of application that are 
highly complex, inevitably distributed, and operate in heterogeneous and 
rapidly changing environments. Examples of such applications include 
those from pervasive and Grid computing domains. These systems are 
required to be adaptable, flexible, reconfigurable and, increasingly, 
self-managing. Such characteristics make systems more prone to failure 
when executing and thus the development and study of appropriate 
mechanisms for runtime validation and monitoring is needed.
In the model-driven software development area, research effort has 
focused primarily on using models at design, implementation, and 
deployment stages of development.  This work has been highly productive 
with several techniques now entering the commercialisation phase. The 
use of model-driven techniques for validating and monitoring run-time 
behaviour can also yield significant benefits. A key benefit is that 
models can be used to provide a richer semantic base for run-time 
decision-making related to system adaptation and other run-time 
concerns. For example, one can use models to help determine when a 
system should move from a consistent architecture to another consistent 
architecture. Model-based monitoring and management of executing systems 
can play a significant role as we move towards implementing the key 
self-* properties associated with autonomic computing.

Goal:
The goal of this workshop is to look at issues related to developing 
appropriate model-driven approaches to managing and monitoring the 
execution of systems. We build on the previous events where we have 
succeeded in building a community and bringing about an initial 
exploration of the core ideas of Models <at> run.time and now seek:
- experiences with actual implementations of the concept
- rationalisation of the various concepts into overall architectural 
perspectives
- to make explicit the specific roles that models play at runtime.
- impact on software engineering methodologies
- to continue to assemble a network of researchers in this emerging 
area, building on the results of the earlier editions.

Workshop format:
The workshop participants will be selected based on their experience and 
ideas related to this new and emerging field. You are invited to apply 
for attendance by sending a full-paper (8-12 pages) or a position paper 
(5-6 pages) in PDF. The paper must conform to the Springer LNCS 
formatting guidelines: http://www.springer.com/computer/lncs (it is the 
same format of the Conference, see conference website for more 
information).  Submissions will be reviewed by at least 3 PC members. 
The authors will be notified about acceptance before the MODELS 2010 
early registration deadline. Candidates for best papers (if finally 
chosen) can be just taken from the category of full-papers.
A primary deliverable of the workshop is a report that clearly outlines 
(1) the research issues and challenges in terms of specific research 
problems in the area, and (2) a synopsis of existing model-based 
solutions that target some well-defined aspect of monitoring and 
managing the execution of systems. Potential attendees are strongly 
encouraged to submit position papers that clearly identify research 
issues and challenges, present techniques that address well-defined 
problems in the area, and are supported by small demos.
The workshop aims to:
-  Integrate and combine research ideas from the areas cited above.
-  Provide a "state-of-the-research" assessment expressed in terms of 
research issues, challenges, and   accomplishments. This assessment can 
be used to guide research in the area.
-  Continue to build a network of researchers in this area, building on 
the previous editions.
-  Plan and promote further events on these topics.
We strongly encourage authors to address the following topics.  Labelled 
research topics with (*) are crucially important:
-  What a runtime model looks like and how does it evolve? (*)
-  How can runtime models be maintained? (*)
-  How can runtime models be validated?
-  What abstractions over runtime phenomena are useful?
-  Role of requirement at runtime, requirements reflection (*)
-  How are the abstractions tied to the types of adaptations supported? (*)
-  How do these abstractions evolve over time? (*)
-  Are new abstractions created during runtime? (*)
-  How are the causal relationships with executing code realized? (*)
-  What is the role of reflection in maintaining the causal connection 
between models and runtime system?
-  The relevance and suitability of different model-driven approaches to 
monitoring and managing systems during runtime
-  Examples of how models can be used to validate and verify the 
behaviour of the system at runtime (*)
-  Compatibility (or tension) between different model-driven approaches
-  How do models at other phases of the SE lifecycle relate to the 
corresponding runtime models?
-  Small demos and tools that support the use of models <at> run.time (*)

Organizers:
Nelly Bencomo (main contact), Lancaster University, UK
Gordon Blair, Lancaster University, UK
Franck Fleury, SINTEF, Oslo, Norway
Cedric Jeanneret, Universitat Zurich, Switzerland

Important Dates:
Deadline Submission: Friday July 30th
Notification of acceptance: Friday August 20th (or before early 
registration at MODELS10)
Workshop at MoDELS: TBA

Program Committee:
Uwe Assman, Dresden, Germany
Franck Chauvel, Peking University, China
Betty Cheng, Michigan State University, USA
Peter J. Clark, Florida International University, USA
Fabio Costa, Federal University of Goias, Brazil
Jeff Gray, University. of Alabama, USA
Holger Giese, Universität Potsdam, Germany
Oystein Haugen, SINTEF, Norway
Jozef Hooman, ESI, The Netherlands
Gang Huang , Peking University, China
Paola Inverardi, University of L'Aquila.
Jean-Marc Jezequel, Triskell Team,IRISA, France
Rui Silva Moreira, UFP & INESC, Portugal
Flavio Oquendo, University of Brittany , France
Arnor Solberg, SINTEF, Norway
Thaís Vasconcelos Batista, UFRN, Brasil

Further Information Web site: 
http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT10/
Contact:  Nelly Bencomo nelly <at> comp.lancs.ac.uk

ICGT'10 Doctoral Symposium: Last Call for Contributions - Deadline: June 11

[Our apologies if you receive multiple copies of this announcement]
=====================================================================

                     Call for Abstract Submission 

                     ICGT 2010 Doctoral Symposium
           <http://wwwhome.cs.utwente.nl/~molm/ICGT10-DS/> 

                 An event to be held during ICGT 2010  
         5th International Conference on Graph Transformation
        Enschede (Netherlands), September 29 - October 1, 2010
                  <http://www.utwente.nl/icgt2010/>

----------------------------------------------------------------------

The  ICGT  2010 Doctoral  Symposium  will  consist  of some  technical
sessions  held   during  the   ICGT  2010  Conference,   dedicated  to
presentations by  PhD students and by young  researchers who completed
their doctoral studies within the past two years.

ICGT  2010  aims  to  bring  together  researchers  and  practitioners
interested in the foundations and applications of graph transformation
to a variety of areas. A non-exhaustive list of topics of interest can
be found on the conference web pages:

         <http://www.utwente.nl/projecten/icgt2010/scope/>

Within  ICGT  2010,  the  Doctoral  Symposium will  provide  a  unique
opportunity  for  doctoral  students  and  young  researchers  (having
defended their thesis  at most two years previously)  to interact with
established researchers of the graph transformation community and with
other students.

The Doctoral Symposium will be held on a date to be determined, during
the regular activities of the ICGT 2010 conference.

Presentations  for the  Doctoral  Symposium will  be  selected by  the
Program Committee according  to originality, significance, and general
interest, on  the basis  of submitted three-pages  abstracts. Accepted
abstracts, revised according to the comments by the reviewers, will be
included in the LNCS proceedings of the ICGT Conference.

After  the  conference,  selected  authors of  presentations  will  be
invited to  submit a full  paper for the refereed  post-proceedings of
the Doctoral  Symposium, which  will be published  as a volume  of the
Electronic  Communications  of  the  EASST  (European  Association  of
Software Science and Technology).

----------------------------------------------------------------------

                           Important Dates

June 11, 2010                     Submission deadline for abstracts
June 25, 2010                     Notification of acceptance
July 6, 2010                      Final abstract due
September 29 - October 1, 2010    ICGT 2010 Conference in Enschede
October 15, 2010                  Invitation of full papers
December 1, 2010                  Submission deadline for full papers

----------------------------------------------------------------------

                             Submissions

The abstracts must be up to three pages long including references, and
should  be formatted  using  the standard  Springer-Verlag LNCS  style
<http://www.springer.de/comp/lncs/authors.html>.  Each abstract can be
authored  by  a single  young  resarcher  (a  PhD student,  or  having
defended the thesis in the last two years).

The abstracts  have to be  submitted electronically via  the EasyChair
system, at the URL

        <http://www.easychair.org/conferences/?conf=icgt10ds>

When submitting, the  author should send an email  to Andrea Corradini
<andrea <at> di.unipi.it>, declaring  either to be  a PhD student,  or that
he/she  defended the  thesis in  year 2008  or later.  In  both cases,
please indicate the name of the PhD supervisor.

Full papers  submitted after  the invitation for  the post-proceedings
can be co-authored by other researchers.

----------------------------------------------------------------------

                         Program Committee

Paolo Baldan (University of Padova, Italy)
Luciano Baresi (University of Milano, Italy)
Michel Bauderon (University of Bordeaux, France)
Andrea Corradini (Chair - University of Pisa, Italy)
Juan de Lara (Autonomous University of Madrid, Spain)
Maarten de Mol (University of Twente, The Netherlands)
Hartmut Ehrig (Technical University of Berlin, Germany)
Gregor Engels (University of Paderborn, Germany)
Annegret Habel (University of Oldenburg, Germany)
Reiko Heckel (University of Leicester, UK)
Dirk Janssens (University of Antwerp, Belgium)
Barbara Koenig (University of Duisburg-Essen, Germany)
Hans-Joerg Kreowski (University of Bremen, Germany)
Mark Minas (Universitaet der Bundeswehr Muenchen, Germany)
Ugo Montanari (University of Pisa, Italy)
Mohamed Mosbah (University of Bordeaux, France)
Fernando Orejas (Technical University of Catalonia, Spain)
Francesco Parisi-Presicce (University of Roma La Sapienza, Italy)
Mauro Pezze' (University of Milano Bicocca)
Detlef Plump (University of York, UK)
Gabriele Taentzer (University of Marburg, Germany)
Emilio Tuosto (University of Leicester, UK)

----------------------------------------------------------------------

                         Organizing committe

Andrea Corradini, Pisa (I)
Maarten de Mol, Enschede (NL)

----------------------------------------------------------------------

                             Contacts

For any information about the  ICGT 2010 Doctoral Symposium, feel free
to contact either  Andrea Corradini (email: andrea <at> di.unipi.it, phone:
+39  050 2212786),  or  Maarten de  Mol (email:  M.J.deMol <at> utwente.nl,
phone: +(31)53-4894476)

----------------------------------------------------------------------

Cfp: Software Verification and Testing at ACM SAC 2011

                  Call for papers

   ==============================================
   26th Annual ACM Symposium on Applied Computing
      Software Verification and Testing Track
       March 21 - 25, 2011, TaiChung, Taiwan

    http://www.acm.org/conferences/sac/sac2011/

Important dates

* Aug 24th 2010: Submission deadline
* Oct 12th 2010: Notification of acceptance/rejection
* Nov 2nd 2010: Camera-ready versions due

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists 
from different areas of computing over the past twenty-five years. The 
forum represents an opportunity to interact with different communities 
sharing an interest in applied computing.

SAC 2011 is sponsored by SIGAPP and will be hosted by Tunghai 
University, TaiChung, Taiwan.

Software Verification and Testing Track

We invite authors to submit new results in formal verification and 
testing, as well as development of technologies to improve the usability 
of formal methods in software engineering. Also welcome are detailed 
descriptions of applications of mechanical verification to large scale 
software. Possible topics include, but are not limited to:

- tools and techniques for verification of large scale software systems
- real world applications and case studies applying software verification
- static and run-time analysis
- abstract interpretation
- model checking
- theorem proving
- correct by construction development
- model-based testing
- verification-based testing
- symbolic execution
- analysis methods for dependable systems
- software certification and proof carrying code

Submissions guidelines

Paper submissions must be original, unpublished work. Submissions should 
be in electronic format, via the START site:
https://www.softconf.com/b/sac11-tp/. Author(s) name(s) and address(es) 
must not appear in the body of the paper, and self-reference should be 
avoided and made in the third person. Submitted paper will undergo a 
blind review process. Authors of accepted papers should submit an 
editorial revision of their papers that fits within five two-column 
pages (an extra three pages, to a total of eight pages, may be available 
at a charge). Please comply to this page limitation already at 
submission time.  Publication of accepted articles requires the 
commitment of one of the authors to register for the conference and 
present the paper. Accepted papers will be published in the ACM SAC 2011 
proceedings.

Program committee

Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Yves Bertot, INRIA, Sophia Antipolis, France
Laura Brandan-Briones, Universidad Nacional de Córdoba, Argentina
Jan Cederquist (track chair), Instituto Superior Técnico, Portugal
Amy Felty, University of Ottawa, Canada
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Dilian Gurov, Royal Institute of Technology, Sweden
Joshua Guttman, Worcester Polytechnic Institute and The MITRE
Corporation, USA
Chris Hankin, Imperial College, UK
Jay Ligatti, University of South Florida, USA
MohammadReza Mousavi, Eindhoven University of Technology, The Netherlands
Jun Pang, University of Luxembourg, Luxembourg
Antonio Ravara, New University of Lisbon, Portugal
Fausto Spoto, University of Verona, Italy

help on INA on firing rule with capacity

 Please help me on how to run analysis using INA under firing rule of
normal with capacities.

The .pnt file is attached. It does not work the way that each place
has a capacity.

best
yuh

 Please help me on how to run analysis using INA under firing rule of
normal with capacities.

The .pnt file is attached. It does not work the way that each place
has a capacity.

best
yuh

Final CfP 4th MeCBIC, 23-24 August, Jena (Germany)

---------------------------------------------------------------

                       2nd Call for Papers
                           MeCBIC 2010
                4th Workshop on Membrane Computing
             and Biologically Inspired Process Calculi
            http://www.info.uaic.ro/~mecbic/mecbic2010/
                 Jena, Germany, 23-24 August 2010

        Affiliated to CMC11, Conference on Membrane Computing
                http://cmc11.uni-jena.de/index.html

                     *** IMPORTANT DATES ***

            Title and Abstract: 	18 June, 2010
              Paper Submission: 	25 June, 2010 (firm deadline)
                  Notification: 	31 July, 2010
                 EPTCS version: 	12 Aug., 2010

================================================================

Biological membranes play a fundamental role in the complex reactions which take place in cells of living
organisms. The importance of this role has been considered in two different types of formalisms recently
introduced. Membrane systems were introduced as a class of distributed parallel computing devices
inspired by the observation that any biological system is a complex hierarchical structure, with a flow
of materials and information that underlies their functioning. The modeling and the analysis of
biological systems has also attracted the interest of the process algebra research community. Thus the
notions of membranes and compartments have been explicitly represented in a family of calculi, such as
Ambients and Brane Calculi. A cross fertilization of the two research areas has recen
 tly started. A deeper investigation of the relations between these related formalisms is interesting, as
it is important to understand the similarities and the differences.

The main aim of the workshop is to bring together researchers working in membrane computing, in
biologically inspired process calculi (ambients, brane calculi, etc.) and in other related fields to
present recent results and to discuss new ideas concerning such formalisms, their properties and
relationships. Original research papers (including significant
work-in-progress) on the membrane systems or biologically inspired process calculi are sought. Papers
on the relationship between membrane systems and biologically inspired process calculi are
particularly welcome. 
Related formal approaches in which cell compartments play an important role are also within the scope of
the workshop.

Topics of interest include (but are not limited to):

*  Biologically inspired models and calculi;
*  Biologically inspired systems and their applications;
*  Analysis of properties of biologically inspired models and languages;
*  Theoretical links and comparison between different models/systems.

*** Invited Speaker: Andrew Phillips (Microsoft Research, Cambridge, UK)
 	    Stochastic Simulation of Process Calculi

*** SUBMISSION GUIDELINES ***

Authors are invited to submit a PDF version of their papers (of about 15
pages) using the EPTCS style (http://www.eptcs.org/). Papers must report previously unpublished work
and not be submitted concurrently to another conference with refereed proceedings. Authors should
submit their papers via EasyChair (http://www.easychair.org/conferences/?conf=mecbic2010). We
also encourage the submission of short papers, limited to 8 pages, presenting new tools or platforms
related to the topics of MeCBIC 2010.

*** DISSEMINATION ***

The workshop proceedings will be available electronically, and then published in the Electronic
Proceedings in Theoretical Computer Science.

After the workshop, extended and additionally refereed papers will be published in a special issue of
Theoretical Computer Science including selected papers of both MeCBIC 2009 and MeCBIC 2010.

*** PROGRAM COMMITTEE ***

*  Joern Behre, Friedrich Schiller University, Jena, DE
*  Luca Cardelli, Microsoft Research, Cambridge, UK
*  Matteo Cavaliere, CSIC-CNB, Madrid, Spain
*  Gabriel Ciobanu, ICS, Romanian Academy, Iasi, RO (co-chair)
*  Federica Ciocchetta, CoSBi, Trento, Italy
*  Flavio Corradini, University of Camerino, Italy
*  Erzsebet Csuhaj-Varju, CARI, Hungarian Academy, Budapest, HU
*  Erik de Vink, Technische Universiteit Eindhoven, NL
*  Marian Gheorghe, University of Sheffield, UK
*  Jean-Louis Giavitto, University of Evry, France
*  Thomas Hinze, Friedrich Schiller University, Jena, DE
*  Maciej Koutny, Newcastle University, UK (co-chair)
*  Paolo Milazzo, University of Pisa, Italy
*  Angelo Troina, University of Torino, Italy
*  Claudio Zandron, University of Milano-Bicocca, Italy
*  Gianluigi Zavattaro, University of Bologna, Italy

================================================================