h p://cs2bio12.di.unipmn.it/ - UniCam

hKp://cs2bio12.di.unipmn.it/ We solicit contribu.on of original results that address both theore.cal aspects of modeling and applied work on the comprehension of biological behavior. We encourage presenta.ons of interdisciplinary work conducted by teams composed of both life and computer scien.sts. © bugbog.com Systems Biology is a s%mula%ng field of applica%on for computer scien%sts and a promising resource for biologists. Aim of this workshop is to gather researchers in formal methods interested in the convergence of Computer and Life Sciences. Submission deadline: 2 April 2012 No>fica>on to authors: 16 May 2012 Formal Biological Modelling: Formal methods for the representa%on of biological systems and their dynamics (rewrite systems, process calculi, graph grammars, hybrid systems, etc.); Theore%cal links and comparison between different formal models for the modelling of biological processes; Quan%ta%ve (probabilis%c, %med, stochas%c, etc.) languages and calculi; Spa%al (geometrical, topological) languages and calculi. Formal Tes>ng and Valida>on of Biological Proper>es: Predic%on of biological behaviour from incomplete informa%on; Model Checking, Abstract Interpreta%on, Type Systems, etc. Tools and Simula>ons: Modelling, analysis and simula%on tools for systems biology; Emergence of proper%es in complex biological and medical systems; Tools for parallel, distributed, and mul%-­‐resolu%on simula%on; Detailed biological case-­‐studies. • Luca Cardelli • Gabriel Ciobanu • Francesca Cordero • Erik de Vink (Co-­‐chair) • François Fages • Jérôme Feret • Jasmin Fisher • Paola Giannini (Co-­‐chair) • Jane Hillston • Jean Krivine • Giancarlo Mauri • Emanuela Merelli • Paolo Milazzo • Gethin Norman • Ion Petre • David Safranek • Angelo Troina • Adelinde Uhrmacher • Verena Wolf A l l p a p e r s a c c e p t e d f o r presenta%on at the workshop will be published in a volume of Elsevier ENTCS. • Erik de Vink (PC-­‐chair) • Paola Giannini (PC-­‐chair) • Jean Krivine • Angelo Troina • Jane Hillston (University of Edinburgh, UK) • Gianluigi ZavaKaro (University of Bologna, IT)