CS2Bio'101st International Workshop on Interactions between Computer Science and Biology10th of June 2010-Amsterdam, NetherlandsAffiliated to DisCoTec'10. |
|
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 |
Last update: 07 June 2010, 12:35 |