Preface This volume contains the papers presented at the 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, held in Paphos, Cyprus, on March 27, 2010, as satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010. The Workshop aimed at gathering together researchers with special interest at the convergence of life and computer science, with particular focus on the application of techniques and methods from concurrency. The papers contained in this volume present works on modelling, analysis, and validation of biological behaviours using concurrency-inspired methods and platforms, and bio-inspired models and tools for describing distributed interactions. The invited speaker, Alberto Policriti, gave a talk on mixing discrete and continuous modeling in systems biology. Out of the 15 submitted papers, 8 were accepted for presentation at the Workshop and for publication in this volume. We would like to thank the authors who showed interest in FBTC 2010. We also wish to thank the programme committee: Marco Antoniotti (University of Milan Bicocca, IT) Chiara Bodei (University of Pisa, IT) Luca Cardelli (Microsoft Research Cambridge, UK) Erik de Vink (Technische Universiteit Eindhoven, NL) François Fages (INRIA Paris-Rocquencourt, F) Anthony Finkelstein (University College London, UK) Radu Grosu (Stony Brook University, US) Jane Hillston (University of Edinburgh, UK) Anna Ingólfsdóttir (Reykjavik University, IS) Carolyn Talcott (SRI International, US) Adelinde Uhrmacher (University of Rostock, DE) Cristian Versari (University of Bologna, IT) together with the sub-reviewers Ezio Bartocci, Linda Brodo, Alberto Casagrande, Maria Rita Di Berardini, Paola Lecca, Carsten Maus, and Luca Tesei, for their hard work in reviewing the submitted papers. We are grateful to Alberto Policriti for accepting our invitation, and to George A. Papadopoulos, to Anna Philippou and to the whole Organizing Committee of ETAPS 2010 for their continuous support. We also wish to thank the Editorial Board of EPTCS for publishing these proceedings in their series, and gratefully acknowledge the kind support we had by Rob van Glabbeek in the editing process.
Proceedings of the Third Workshop From Biology To Concurrency and back. Electronic Proceedings in Theoretical Computer Science 19, 2010
MERELLI, Emanuela;
2010-01-01
Abstract
Preface This volume contains the papers presented at the 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, held in Paphos, Cyprus, on March 27, 2010, as satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010. The Workshop aimed at gathering together researchers with special interest at the convergence of life and computer science, with particular focus on the application of techniques and methods from concurrency. The papers contained in this volume present works on modelling, analysis, and validation of biological behaviours using concurrency-inspired methods and platforms, and bio-inspired models and tools for describing distributed interactions. The invited speaker, Alberto Policriti, gave a talk on mixing discrete and continuous modeling in systems biology. Out of the 15 submitted papers, 8 were accepted for presentation at the Workshop and for publication in this volume. We would like to thank the authors who showed interest in FBTC 2010. We also wish to thank the programme committee: Marco Antoniotti (University of Milan Bicocca, IT) Chiara Bodei (University of Pisa, IT) Luca Cardelli (Microsoft Research Cambridge, UK) Erik de Vink (Technische Universiteit Eindhoven, NL) François Fages (INRIA Paris-Rocquencourt, F) Anthony Finkelstein (University College London, UK) Radu Grosu (Stony Brook University, US) Jane Hillston (University of Edinburgh, UK) Anna Ingólfsdóttir (Reykjavik University, IS) Carolyn Talcott (SRI International, US) Adelinde Uhrmacher (University of Rostock, DE) Cristian Versari (University of Bologna, IT) together with the sub-reviewers Ezio Bartocci, Linda Brodo, Alberto Casagrande, Maria Rita Di Berardini, Paola Lecca, Carsten Maus, and Luca Tesei, for their hard work in reviewing the submitted papers. We are grateful to Alberto Policriti for accepting our invitation, and to George A. Papadopoulos, to Anna Philippou and to the whole Organizing Committee of ETAPS 2010 for their continuous support. We also wish to thank the Editorial Board of EPTCS for publishing these proceedings in their series, and gratefully acknowledge the kind support we had by Rob van Glabbeek in the editing process.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
