[TYPES/announce] [Extended abstract deadline] Last Call for Papers MeCBIC 2013 -- workshop ICALP, Riga, 7th July

Bogdan Aman baman at iit.tuiasi.ro
Tue Apr 23 06:16:29 EDT 2013


                                 MeCBIC 2013
                      7th Workshop on Membrane Computing
                  and Biologically Inspired Process Calculi
                        7th July 2013, Riga, Latvia

http://profs.info.uaic.ro/~mecbic/mecbic2013/
================================================================

*** Abstract Submission: 28 April, 2013
*** Paper Submission: 04 May, 2013 (firm!)

The 7th Workshop on Membrane Computing and Biologically Inspired Process
Calculi (MeCBIC 2013) will take place in Riga on 7th July 2013 as a
related event of ICALP 2013, the 40th International Colloquium on
Automata, Languages and Programming. (http://www.icalp2013.lu.lv/)

If your work is related to MeCBIC topics, it is now a good opportunity to
submit a paper (of about 16 pages), using the web page
http://www.easychair.org/conferences/?conf=mecbic2013.

The modeling and the analysis of biological systems has attracted the
interest of several research communities. The main aim of the workshop is
to bring together researchers in concurrency theory, formal methods, and
related fields that are interested to present recent results and to
discuss new ideas concerning such formalisms, their properties and
relationships. We welcome contributions that address both theoretical and
applied contributions related to the relevance and potential of formal
methods in biology. Topics of interest include (but not limited to):

- Biologically inspired models and calculi (rewrite systems, process
calculi, Petri nets, etc.);
- Theoretical links and comparison of different biological inspired formal
models;
- Qualitative biological modeling;
- Quantitative formal methods;
- Modelling, analysis and simulation tools for biologically inspired systems.

Invited Speaker:
Ovidiu Radulescu, University of Montpellier 2
Life made simple : model reduction as a tool for computational biology

The workshop proceedings will be published in the Electronic Proceedings
in Theoretical Computer Science. After the event, papers presented at the
workshop will be invited to be furtherly extended and submitted to a
special issue of a visible journal (indexed by DBLP, SCOPUS, Web of
Science, etc)
More details at http://profs.info.uaic.ro/~mecbic/mecbic2013/

Program Committee
Bogdan Aman (co-chair) - Romanian Academy, Iasi, RO
Roberto Barbuti - University of Pisa, Italy
Luca Cardelli - Microsoft, Cambridge, UK
Gabriel Ciobanu (co-chair) - Romanian Academy, Iasi, RO
Erik de Vink - TU Eindhoven, NL
Marian Gheorghe - Sheffield, UK
Paola Giannini - University Piemonte Orientale, Italy
Jean-Louis Giavitto - IRCAM CNRS, Paris, France
Jane Hillston - University of Edinburgh, UK
Jetty Kleijn - Leiden University, NL
Maciej Koutny - Newcastle University, UK
Emanuela Merelli - University of Camerino, Italy
Paolo Milazzo - University of Pisa, Italy
Gethin Norman - University of Glasgow, UK
Anna Philippou - University of Cyprus, Cyprus
Franck Pommereau - University of Evry, France
Jason Steggles - Newcastle University, UK
Angelo Troina - University of Torino, Italy

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.



More information about the Types-announce mailing list