[ecoop-info] Call for papers: Workshop on Computational Models for Cell Processes (CompMod 2011)

Ion Petre ipetre at abo.fi
Mon Feb 7 13:56:51 CET 2011

Apologies for multiple copies

                           CompMod 2011
  3rd International Workshop on Computational Models for Cell Processes
            Aachen, Germany, September 10, 2011
                  In conjunction with CONCUR 2011

===          Deadline for submissions: May 23, 2011      ===

Computational systems biology is an exciting new application area for
applied mathematics and computer science. This workshop of the 22nd
International Conference on Concurrency Theory (CONCUR) fosters an 
excellent platform gathering researchers in formal methods and related 
fields that are interested in the wealth of opportunities and challenges in
systems biology.

We seek papers and extended abstracts in all areas that relate to the
relevance and potential of formal methods and computational modeling
and simulation in systems biology. In particular, we welcome
contributions that present biological processes requiring special
computational and formal techniques that have not been investigated so
far in the context of formal methods, as well as extensions of formal
methods formalisms introduced to improve their applicability to
biology. Topics of interest include, but are not limited to:

 - Formal models for cellular pathways
 - Qualitative biological modeling
 - Quantitative formal methods
 - Theoretical comparison of formalisms for biological processes
 - Biologically-inspired extensions to formal methods, concurrency
   theory, or logical methods
 - Differential, discrete and/or stochastic modeling languages
 - Reconstruction of biological networks based on empirical data
 - Decomposition and modularization of large biological networks
 - Applications of formal methods and computational modeling
 - Membrane systems as a modeling platform
 - Process calculi as a biomodeling platform
 - Formal methods for synthetic biology

Authors are invited to submit extended abstracts or full papers of up
to 15 pages formatted according to EPTCS guidelines. Submissions can
be uploaded at www.easychair.org/conferences/?conf=compmod2011.
Simultaneous submission to other conferences or workshops with
published proceedings is not allowed. A special issue of the Transactions 
on Computational Systems Biology, based on the workshop, is planned 
after the workshop.

 - Adelinde Uhrmacher, University of Rostock, Germany
 - Verena Wolf, Saarland University, Germany

 - Submission:    May 23, 2011
 - Notification:  June 25, 2011
 - Final version: July 25, 2011
 - Workshop:      September 10, 2011

- Ralph Back, Abo Akademi, Finland
- Vincent Danos, University of Edinburgh, UK
- Francois Fages, INRIA Paris-Rocquencourt, France 
- Russ Harmer, Harvard Medical School, US
- Monika Heiner, Brandenburg University of Technology Cottbus, Germany
- Jane Hillston, University of Edinburgh, UK
- Ina Koch, University of Frankfurt, Germany
- Giancarlo Mauri, University of Milan-Bicocca, Italy
- Emanuella Merelli, University of Camerino, Italy
- Ion Petre, Abo Akademi, Finland (co-chair)
- Alberto Policriti, University of Udine, Italy
- Corrado Priami, Microsoft Research & University of Trento, Center for
Computational and Systems Biology, Italy
- Angelo Troina, Universita degli Studi di Torino, Italy
- Adelinde Uhrmacher, University of Rostock, Germany
- Erik de Vink, Eindhoven University of Technology, the Netherlands

 - Ion Petre, ipetre 'at' abo.fi
 - Erik de Vink, evink 'at' win.tue.nl

Venue: University of Aachen, Germany

Prof. Ion Petre
Department of IT, Åbo Akademi University
Computational Biomodelling Laboratory
Turku 20520, Finland

More information about the ecoop-info mailing list