[TYPES/announce] MeCBIC 2014 : 1st Call for Papers

Bogdan Aman baman at iit.tuiasi.ro
Tue May 6 06:20:13 EDT 2014


----------------------------------------------------------------
                        Call for Papers
                          MeCBIC 2014
                7th Workshop on Membrane Computing
              and Biologically Inspired Process Calculi
                16th September 2014, Bucharest, Romania

            http://profs.info.uaic.ro/~mecbic/mecbic2014/
================================================================
IMPORTANT DATES:

***  Abstract Submission: 	22 June, 2014
***  Paper Submission:  	29 June, 2014
***  Notification: 		9 August, 2014
***  Meeting: 			16 September, 2014

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

The 7th Workshop on Membrane Computing and Biologically Inspired Process
Calculi (MeCBIC 2014) will take place in Bucharest on 16th September 2014
as a related event of ICTAC 2014, the 11th International Colloquium on
Theoretical Aspects of Computing.

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=mecbic2014.

================================================================
AIMS AND SCOPE

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.

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)

================================================================
PAST EVENTS

The first edition of MeCBIC was held in Venice in 2006 (co-located with
ICALP 2006). The second MeCBIC was held in Iasi in 2008, the third one
took place in Bologna (as a satellite event of CONCUR 2009), the forth one
in Jena, the fifth in Paris and the sixth in Newcastle. The previous
proceedings of the MeCBIC workshops have been published as ENTCS volumes
171(2) and 227 (2006 and 2008), EPTCS volumes 11, 40 and 100 (2009, 2010
and 2012), in arXiv.org in 2011. A selection of revised papers from 2008,
2009 and 2009 appeared in Theoretical Computer Science volume 431 in 2012.

================================================================
PROGRAM COMMITTEE

Bogdan Aman (co-chair) - Romanian Academy, Iasi, RO
Roberto Barbuti - University of Pisa, Italy
Luca Cardelli - Microsoft, Cambridge, UK
jane Hillston - University of Edinburgh, UK
Florentin Ipate (co-chair) - University of Bucharest, RO
Jean-Louis Giavitto - IRCAM CNRS, Paris, France
Jetty Kleijn - Leiden University, NL
Jean Krivine - University Paris 7, France
Emanuela Merelli - University of Camerino, Italy
Gethin Norman - University of Glasgow, UK
Jun Pang - University of Luxembourg, LU
Anna Philippou - University of Cyprus, Cyprus
G. Michele Pinna - University of Cagliari, Italy
Franck Pommereau - University of Evry, France
Jason Steggles - Newcastle University, UK
György Vaszil - University of Debrecen, Hungary
Angelo Troina - University of Torino, Italy

**********************************************************************
Additional information about the workshop can be found on the MeCBIC 2014
web page http://profs.info.uaic.ro/~mecbic/mecbic2014/.
For information regarding the workshop and other queries, you can use
the chairs email addresses: bogdan.aman at iit.academiaromana-is.ro or
baman at iit.tuiasi.ro (Bogdan Aman) or florentin.ipate at ifsoft.ro (Florentin
Ipate)
**********************************************************************

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