CS2Bio'134th International Workshop on Interactions between Computer Science and Biology6th of June 2013 - Florence, ItalyAffiliated to DisCoTec'13. |
![]() |
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 |
Last update: 02 June 2013 |