Home

Mini Workshop on Computational Approaches to Biology (Pisa, 18-26 October 2007)

The (mini) workshop on Computational Approaches to Biology has been organized at the Department of Computer Science of the University of Pisa, by the Unit of Pisa of the BISCA Project. Presentations covered four research fields:

  • application of process calculi to Systems Biology;
  • simulation of biological systems;
  • membrane computing;
  • evolutionary biology.

The program of the workshop has been the following (slides can be found here):

  • 18 October
    • 10.00-10.30 - Workshop opening
    • 10.30-12.30 - Jane Hillston, University of Edinburgh, "Calculi for Systems Biology"
    • 16.00-17.00 - Andrea Bracciali, Universita' di Pisa, "Expressive models for synaptic plasticity"
  • 19 October
    • 10.00-11.00 - Corrado Priami, Universita' di Trento e CoSBi center, "The Beta workbench"
    • 11.00-13.00 - Stephen Gilmore, University of Edinburgh, "Stochastic simulation for Systems Biology"
    • 16.00-17.00 - Cristian Versari, Universita' di Bologna, "Stochastic simulation of biological systems with multiple variable volumes"
  • 22 October
    • 10.00-12.00 - Gheorghe Paun, Romanian Academy, "Membrane computing: a quick introduction"
    • 15.00-17.00 - Vincenzo Manca, Universita' di Verona, "Discrete mathematical models of metabolism"
  • 23 October
    • 10.00-12.00 - Gheorghe Paun, Romanian Academy, "Spiking neural P systems"
    • 15.00-17.00 - Alberto Policriti, Universita' di Udine, "Hybrid systems and Systems Biology"
  • 24 October
    • 10.00-11.30 - Giancarlo Mauri, Universita' Milano-Bicocca, "Stochastic modelling of biological systems: membrane systems in Systems Biology"
    • 11.30-12.30 - Paolo Milazzo, Universita' di Pisa, "Compositional semantics and behavioral equivalences for P systems"
    • 25 October

    • 10.00-12.00 - Emanuela Merelli, Luca Tesei e Nicola Cannata, Universita' di Camerino, "Agent-based modeling and simulation in Systems Biology platform"
    • 12.00-13.00 - Claudio Felicioli, Universita' di Pisa, "Speciation models and stability emersion"
    • 15.00-16.30 - Orkun Soyer, CoSBi center, "Using evolutionary approaches to study signalling pathways"
    • 16.30-17.15 - Davide Chiarugi, Universita' di Siena, "Static and dynamic analysis of E.coli metabolic network"
    • 17.15-17.45 - Jan van Klinken, Universita' di Siena, "An efficient and flexible implementation of dynamical biological models"
  • 26 October
    • 10.00-11.30 - Luca Cardelli, Microsoft Research Cambridge, "Artificial biochemistry"