4th International Workshop on Interactions between Computer Science and Biology

6th of June 2013 - Florence, Italy

Affiliated to DisCoTec'13.


Preliminary Programme

09:30-10:30 Regular paper presentation
Usman Rauf, Sheema Sameen and Antonio Cerone
Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
Chiara Bodei, Roberta Gori and Francesca Levi
An analysis for causal properties of membrane interactions
10:30-11:00 Coffee Break
11:00-11:30 Regular paper presentation
Giovanni Pardini, Paolo Milazzo and Andrea Maggiolo Schettini
An algorithm for the identification of components in biochemical pathways
11:30-12:30 Invited Talk
Giuseppe Longo
Randomness, variability and diversity in biological dynamics (Abstract)
12:30-14:00 (14:30) Lunch
14:00-15:00 Invited Talk
Mario Rasetti
Towards a quantum model of life: big data, topology, field theory (Abstract)
15:00-16:00 Regular paper presentation
Maxime Folschette, Loïc Paulevé, Morgan Magnin and Olivier Roux
Under-approximation of reachability in multivalued asynchronous networks
Dimitiri Volchenkov, Jonathan Helbach, Marko Tscherepanow and Sina Kuehnel
Exploration-exploitation trade-off features a saltatory search behaviour
16:00-16:30 Coffee Break and Poster Exhibition
16:30-17:15 Tool presentation
Paolo Baldan, Nicoletta Cocco and Marta Simeoni
Representing and comparing metabolic pathways as Petri nets with MPath2PN and CoMeta
Matej Klement, David Safránek, Tadeás Ded, Ales Pejznoch, Ladislav Nedbal, Ralf Steuer, Jan Cervený and Stefan Mueller
Comprehensive modeling platform: a web-based framework for domain-specific biological models
Mohammad Mahdi Jaghoori, Sung-Shik T.Q. Jongmans, Frank De Boer, Julio Peironcely, Jean-Loup Faulon, Theo Reijmers and Thomas Hankmeier.
PMG: multi-core metabolite identification
17:15-17:45 Project Dissemination
Protein complex formation: a generalized model for sequential and probabilistic recruitment processes
Manuel Schölling, Rudolf Hanel and Stefan Thurner
Modelling experimental search for long-range interactions between DNA and restriction enzyme in BioShape
Pierre Ferreir, Matteo Gori, Sebastien Jaeger, Ilaria Nardecchia, Marco Pettini and Luca Tesei
A Spin-based model checking approach for genome-scale metabolic networks validation and analysis
Mara Sangiovanni, Roberto Pagliarini, Diego Di Bernardo and Adriano Peron
Homological backbones of brain functional networks
G. Petri, Paul Expert, Robin Carhart-Harris, Federico Turkheimer and Francesco Vaccarino
Data-driven clinical predictive rule (CPR) for pulmonary embolism
Matteo Rucco, Lorenzo Falsetti, Cinzia Nitti and Aldo Salvi
Bijections between uni- bi and tricellular maps for RNA structures
Hillary Han, Christian Reidys
17:30-18:00 Discussion and closing session

Valid HTML 4.01 Transitional

Last update: 02 June 2013