[ecoop-info] CfPart: Tutorial on Comp. SysBio, Workshop on Computational Models for Cell Processes

Ion Petre ipetre at abo.fi
Tue Oct 6 13:50:09 CEST 2009

Call for participation for two events connecting computer science and
in conjunction with Formal Methods 2009:

1. Tutorial on Computational Systems Biology
	Eindhoven, the Netherlands, November 2, 2009
	Registration deadline: October 16, 2009

2. Second International Workshop on Computational Models for Cell Processes
           Eindhoven, the Netherlands, November 3, 2009
	Registration deadline: October 19, 2009

1. Tutorial on Computational Systems Biology (November 2, 2009, full day
- Lecturers: Ion Petre and Ralph-Johan Back, Abo Akademi University, Finland

- Content: This one-day tutorial provides an introduction to computational 
systems biology, starting with a crash course on molecular biology for 
computer scientist and continuing with discrete, continuous and stochastic 
modeling techniques, as well as formal methods-based approaches. A 
demonstration is included on Copasi (Complex Pathway Simulator), a useful 
tool for modeling and simulating sysbio projects. The well-known heat 
shock response, that the lecturers and their research groups have been 
working on already for some years, will serve as a running example 
connecting the various topics.

- Registration deadline: October 16, 2009

2. Workshop on Computational Models for Cell Processes (November 3, 2009)

Computational systems biology is an exciting new application area for
applied mathematics and computer science. This workshop of the 16th
International Symposium on Formal Methods fosters an excellent platform
gathering researchers in formal methods and related fields that are
interested in the wealth of opportunities and challenges in systems biology.

- Jasmin Fisher (Microsoft Research Cambridge)
- Hidde de Jong (INRIA Grenoble - Rhone-Alpes)
- Grzegorz Rozenberg (University of Leiden)

- Bogdan Aman and Gabriel Ciobanu. Mobile Membranes with Timers 
- Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo Schettini and Paolo
Milazzo. On the Interpretation of Delays in Delay Stochastic Simulation of
Biological Systems 
- Jiri Barnat, Lubos Brim, Ivana Cerna, Sven Drazan, Jana Fabriková and
David Safranek. BioDiVinE: A Framework for Parallel Analysis of Biological
- Daniela Besozzi, Paolo Cazzaniga, Matteo Dugo, Dario Pescini and Giancarlo
Mauri. A study on the combined interplay between stochastic fluctuations and
the number of flagella in bacterial chemotaxis 
- Luca Bortolussi and Alberto Policriti. Hybrid Semantics of Stochastic
Programs with Dynamic Reconfiguration. 
- Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether and Angelo
Troina. Modelling an Ammonium Transporter with SCLS 
- Laurence Loewe, Stuart Moodie and Jane Hillston. Quantifying the implicit
process flow abstraction in SBGN-PD diagrams with Bio-PEPA 
- Heike Siebert. Dynamical and Structural Modularity of Discrete Regulatory

- Registration: http://www.win.tue.nl/fm2009/ 
- Registration deadline: October 19, 2009 
- Late registration: after October 19, including on-site registration
- Workshop: November 2, 2009

- Ralph Back, Abo Akademi, Finland
- Lubos Brim, Masaryk University, Czech Republic
- Muffy Calder, University of Glasgow, UK
- Eugen Czeizler, Abo Akademi, Finland
- Vincent Danos, University of Edinburgh, UK
- Russ Harmer, University of Paris 7, France
- Monika Heiner, Brandenburg University of Technology Cottbus, Germany
- Jane Hillston, University of Edinburgh, UK
- Ina Koch, Max Planck Institute for Molecular Genetics, Germany
- Vincenzo Manca, University of Verona, Italy
- Giancarlo Mauri, University of Milan-Bicocca, Italy
- Satoru Miyano, University of Tokyo, Japan
- Andrei Paun, Louisiana Tech University, US
- Ion Petre, Abo Akademi, Finland
- Jaco van de Pol, University of Twente, the Netherlands
- Alberto Policriti, University of Udine, Italy
- Erik de Vink, Eindhoven University of Technology, the Netherlands
- Ion Petre, ipetre 'AT' abo.fi
- Erik de Vink, evink 'AT' win.tue.nl
- Ralph-Johan Back, backrj 'AT' abo.fi
VENUE: Technische Universiteit Eindhoven, the Netherlands

More information about the ecoop-info mailing list