[Swarm-Modelling] Call for papers: AMCA-POP 2010

[Paolo Milazzo]

[Apologies for multiple postings]


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

                  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/

                    Final 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)
- Giancarlo Mauri (University of Milano-Bicocca, Italy)


*** 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.


*** IMPORTANT DATES ***

Submission of abstracts (EXTENDED): 12 May 2010
Submission of papers (EXTENDED): 19 May 2010
Notification to authors: 15 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)