IUBio Biosequences .. Software .. Molbio soft .. Network News .. FTP

[Computational-biology] FBCT 2007: Call for participation

Nicola Cannata via comp-bio%40net.bio.net (by nicola.cannata from unicam.it)
Sat Jul 28 15:54:32 EST 2007

                        CALL FOR PARTICIPATION

                      First International Workshop

            From Biology To Concurrency and back (FBTC 2007)

                   Satellite workshop of CONCUR 2007

                  8 September 2007, Lisbon, Portugal




09.00-09.30 OPENING
09.30-10.00 SELECTED PAPER: Bogdan Aman and Gabriel Ciobanu
	Describing the Immune System Using Mobile Membranes
10.00-10.30 SELECTED PAPER: Cristian Versari and Nadia Busi
	Efficient Stochastic Simulation of Biological Systems with Multiple
Variable Volumes
10.30-11.00 COFFEE BREAK
11.00-12.00 INVITED TALK: David Harel, Weizmann Institute of Science, IL
	On the Benefits of Viewing Biological Artifacts as Concurrent Reactive Systems
12.00-12.30 SELECTED PAPER: Claudia Taeubner and Silke Eckstein
	Signal Transduction Pathways as Concurrent Reactive Systems: A
Modeling and Simulation Approach Using LSCs and 	the Play-Engine
12.30-14.00 LUNCH BREAK
14.00-14.30 SELECTED PAPER: Chiara Bodei
	A static analysis for Beta-Binders
14.30-15.00 SELECTED PAPER: Federica Ciocchetta and Jane Hillston
	Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
15.00-15.30 SELECTED PAPER: Ezio Bartocci and Flavio Corradini and
Maria Rita Di Berardini and Emilia Entcheva and 	Radu Grosu and Scott
A. Smolka
	Spatial Hybrid I/O Automata for Excitable Tissue Modelling
15.30-16.00 COFFEE BREAK
16.00-16.30 SELECTED PAPER:Luca Cardelli and Philippa Gardner and Ozan
	A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
16.30-17.00 SELECTED PAPER: Mathias John and Roland Ewald and Adelinde
M. Uhrmacher
	A Spatial Extension to the PI-Calculus
17.00-17.30 SELECTED PAPER: R. Barbuti and G. Caravagna and  A.
Maggiolo-Schettini and P.Milazzo
	An intermediate language for simulation of biological systems
17.30-18.00 SELECTED PAPER: J. Barnat and L. Brim and I. Černá and S.
Dražan and D. Šafránek
	Parallel Model Checking Large-Scale Genetic Regulatory Network with DIVINE


Every participant to the workshop MUST register online at the CONCUR
registration web page.
Early registration fee (not later than July 31) is 45 € per students
and 60 € regular. The registration includes access to all sessions of
the workshops, informal proceedings, and coffee breaks.
The workshop is held at the Faculty of Social and Human Sciences,
Universidade Nova de Lisboa, 5 minutes walking from the Gulbenkian



In computational theory, several formal approaches make use of biology as
inspiration for the development of problem solving techniques. Most of them
are taken from complex, inherently concurrent, systems. Some examples of
"biological inspired computing", are ant colonies, artificial immune systems,
cellular automata, genetic algorithms, membrane computing, neural networks,
organic computing, swarm intelligence.
On the other hand, concurrency has itself begun to inspire an emerging
research area in Biology. Regev and Shapiro indicated in 2002 the
Cells-as-Computation metaphor as the "much-needed abstraction for
biomolecular systems". Computers and biomolecular systems both start from a
small set of elementary components from which, layer by layer, more complex
entities are constructed with evermore sophisticated functions.
In computational systems biology, the abstractions, tools and methods used to
specify and study concurrent and distributed systems can therefore be
naturally adopted to model and better understand the complex biomolecular
systems. In this workshop we intend to explore this "cross-fertilization"
between computational sciences and biology, with a special attention to
concurrent models in biology and formal foundations in bio-inspired computing.


David Harel, Weizmann Institute of Science, IL

Andrew Adamatzky, University of the West of England, UK
Uwe Aickelin, University of Nottingham, UK
Nadia Busi, University of Bologna, IT
Nicola Cannata (Co-Chair), University of Camerino, IT
Luca Cardelli, Microsoft Research Cambridge, UK
Gabriel Ciobanu, Romanian Academy, RO
Flavio Corradini, University of Camerino, IT
Pierpaolo Degano, University of Pisa, IT
Marco Dorigo, Free University of Bruxelles, BE
Mark d'Inverno, Goldsmiths College University of London, UK
Michael G. Hinchey, NASA Software Engineering Laboratory, US
Anthony Finkelstein, University College London, UK
Christoph Flamm, University of Vienna , AT
Radu Grosu, Stony Brook State University of New York, US
Pascal Hitzler, University of Karlsruhe, DE
Anna Ingolfsdottir, Reykjavik University , IS
Céline Kuttler, Microsoft Research - University of Trento CoSBi, IT
Andrea Maggiolo-Schettini, University of Pisa, IT
Pietro Liò, University of Cambridge, UK
Vincenzo Manca, University of Verona, IT
Emanuela Merelli (Co-Chair), University of Camerino, IT
Luciano Milanesi, CNR-ITB Milano, IT
Frank Neumann, MPI für Informatik Saarbrücken, DE
Andrea Omicini, University of Bologna-Cesena, IT
Riccardo Piergallini, University of Camerino, IT
Corrado Priami, Microsoft Research - University of Trento CoSBi, IT
Ehud Shapiro, Weizmann Institute of Science, IL
Hartmut Schmeck, University of Karlsruhe, DE
Moshe Sipper, Ben-Gurion University, IL
Scott Smolka, Stony Brook State University of New York, US
Susan Stepney, University of York, UK
Jonathan Timmis, University of York, UK
Marco Tommasini, University of Lausanne, CH
Adelinde Uhrmacher, University of Rostock, DE

Nicola Cannata  and Emanuela Merelli
COmplex SYstem Research Group
Department of Mathematics and Computer Science
University of Camerino
Via Madonna delle Carceri 9
I-62032 Camerino (MC)
E-mail: (nicola.cannata,emanuela.merelli)@unicam.it


More information about the Comp-bio mailing list

Send comments to us at biosci-help [At] net.bio.net