========================================================================
1st International Workshop on
Applications of Membrane computing, Concurrency and
Agent-based modelling in POPulation biology (AMCA-POP)
25 August 2010 – Jena, Germany
Satellite event of CMC11
http://www.di.unipi.it/msvbio/AMCA-POP-2010/
First call for papers
========================================================================
The aim of the workshop is to investigate whether formal modelling and
analysis techniques could be applied with profit to systems of interest
for population biology and ecology. Papers are expected to present
results and experiences in the modelling of this kind of systems.
Moreover, papers by computer scientists about the applicability of in
this field of techniques they are used to work with, are also welcome.
Papers should deal with the use of modelling notations such as:
- Membrane systems
- Petri Nets
- Agent-based notations
- Process calculi
- Automata-based notations
- Rewriting systems
- Cellular automata
and with the application of analysis techniques such as:
- Simulation
- Model checking
- Abstract interpretation
- Type systems
to study systems of interest in disciplines such as:
- Population biology
- Ecosystem science
- Epidemiology
- Genetics
- Sustainability science
- Evolution
- Other disciplines in which population dynamics and interactions
with the environment are studied
*** INVITED SPEAKERS ***
- Mats Gyllenberg (University of Helsinki, Finland)
- TBA
*** SUBMISSION GUIDELINES ***
Papers should be written in English and not exceed 15 pages formatted
according to EPTCS guidelines (see http://info.eptcs.org/ for details).
Papers shall be submitted in PDF at
http://www.easychair.org/conferences/?conf=amcapop2010
Simultaneous submission to other conference or workshops with published
proceedings is not allowed. The workshop proceedings, containing all the
accepted papers, will be published in the EPTCS series. Publication of
selected and further refereed papers in a special issue of some
international journal is under consideration.
*** IMPORTANT DATES ***
Submission of abstracts: 28 April 2010
Submission of papers: 5 May 2010
Notification to authors: 9 June 2010
Final version due: 5 July 2010
*** PROGRAM COMMITTEE ***
- Roberto Barbuti (University of Pisa, Italy)
- Antonio Cerone (UNU-IIST, Macao SAR, China)
- Gabriel Ciobanu (Romanian Academy, Iasi, Romania)
- Mariangiola Dezani-Ciancaglini (University of Turin, Italy)
- Gabi Escuela (F.S. University, Jena, Germany)
- Mats Gyllenberg (University of Helsinki, Finland)
- Marta Kwiatkowska (Oxford University, UK)
- Paolo Milazzo (University of Pisa, Italy – Co-chair)
- Mario de J. Perez Jimenez (University of Sevilla, Spain – Co-chair)
- Ion Petre (Abo Akademi, Finland)
- Michael Sonnenschein (Oldenburg University, Germany)
- Luca Tesei (University of Camerino, Italy)
*** ORGANIZERS ***
- Roberto Barbuti (University of Pisa, Italy)
- Gabi Escuela (F.S. University, Jena, Germany)
- Paolo Milazzo (University of Pisa, Italy – Co-chair)
- Mario de J. Perez Jimenez (University of Sevilla, Spain – Co-chair)
- Ion Petre (Abo Akademi, Finland)
----
[[ 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] ]]
