BioConcur
Workshop on Concurrent
Models in Molecular Biology
Marseille, 6 September 2003
Aims | Location | Programme Committee | Preliminary Schedule | Important Dates | Organizers
The workshop is affiliated to
Post-genomics
Systems Biology is trying to reconstruct networks of biochemical interactions
(metabolic networks, extra and intracellular networks, networks of genetic
regulation) of such a complexity, that there already is a very strong incentive
towards formal modeling of both the processes observed and the means of
observations.
Pionnering
work of Regev, Shapiro and various collaborators has shown that some varieties
of π-calculus may prove excellent tools for compositional and modular
modeling of protein level interactions. The purpose of the BioConcur workshop
is to bring to the attention of researchers in Logic and Concurrency, this
completely new and potentially huge field of application, and to help in
understanding if and how biological systems may be described, manipulated and
analysed with the methods of Concurrency Theory.
11.10-11.45:
Control Flow Analysis for BioAmbients
Flemming Nielson, Hanne Riis Nielson, Corrado Priami and Debora Schuch da Rosa
11.45-12.20:
PML: Toward a High-Level Formal Language for Biological Systems
Bor-Yuh Evan Chang and Manu Sridharan
12.30-14.00: lunch break
14.00-15.00:
The Biology of Information
Walter Fontana (Santa Fe Institute)
15.00-15.35:
Biological Regulatory Networks
Gilles Bernot, Franck Cassez, Jean Paul Comet, Franck Delaplace,
Cecile Muller, Olivier Roux and Olivier Roux
15.35-16.00: coffee break
16.00-16.35:
Cell Cycle Control in Eukaryotes: a BioSpi model
Paola Lecca and Corrado Priami
16.35-17.10:
Formal Molecular Biology done in CCS
Vincent Danos and Jean Krivine
The workshop will be held in
Marseille. It is a satellite workshop of CONCUR 2003.
For venue and
registration see the CONCUR 2003 web
page.
Luca Cardelli (Microsoft Research, Cambridge),
Vincent Danos, co-chair (CNRS, University Paris VII),
Josée Desharnais (University of Laval),
Anna Ingolfsdottir (Aalborg University, BRICS),
Cosimo Laneve, co-chair (University of Bologna),
Gordon Plotkin (University of Edinburgh),
Corrado Priami (University of Trento),
Aviv Regev (Harvard University),
Vincent Schachter (Genoscope, Evry),
Proceedings of the meeting will be published as a volume in Elsevier's ENTCS series. Papers must contain original contributions and not be significantly longer than 10 pages. Papers should be submitted by email as PostScript or pdf files (email to: bioconcur@pps.jussieu.fr; subject: BIOCONCUR-submission). A separate message (to: bioconcur@pps.jussieu.fr; subject: BIOCONCUR-abstract) should also be sent, containing authors, title, and a text-only abstract.
|
Deadline for submission: |
8 June 2003 |
|
Notification of acceptance: |
6 July 2003 |
|
Final version due: |
August |
|
Workshop dates: |
6 September 2003 |
Vincent
Danos
Équipe Preuves, Programmes, Systèmes, Université Paris
VII, 175 Rue du Chevaleret, 75013 PARIS
Cosimo
Laneve
Dipartimento di Scienze dell’Informazione, Università di Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy.
email: bioconcur@pps.jussieu.fr