1st International Workshop on Interactions between Computer Science and Biology

10th of June 2010-Amsterdam, Netherlands

Affiliated to DisCoTec'10.


Workshop's Programme and Preliminary Proceedings

09:00-10:00 Invited Talk: Luca Cardelli
Algebras and Languages for Molecular Programming
10:00-10:30 Lars Hartmann, Neil D. Jones and Jakob Grue Simonsen
Programming in Biomolecular Computation
10:30-11:00 Coffee Break
11:00-11:30 Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei and Martino Pani
Bone Remodelling in BioShape
11:30-12:00 Oana Andrei and Muffy Calder
A Model and Analysis of the AKAP Scaffold
12:00-14:00 Lunch
14:00-14:30 Andrea Degasperi and Muffy Calder
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
14:30-15:00 Sara Montagna and Mirko Viroli
A Framework for Modelling and Simulating Networks of Cells
15:00-15:30 Peter Drabik, Andrea Maggiolo-Schettini and Paolo Milazzo
Modular Verification of Interactive Systems with an Application to Biology
15:30-16:00 Coffee Break
16:00-16:30 Andrea Degasperi and Muffy Calder
Process Algebra with Hooks for Models of Pattern Formation
16:30-17:30 Invited Talk: Jérôme Feret
Internal Coarse-graining of Molecular Systems

Valid HTML 4.01 Transitional

Last update: 07 June 2010, 12:35