[Bioclusters] CMSB03 - deadline approaching

Michela de Concini bioclusters@bioinformatics.org
Tue, 22 Oct 2002 11:58:13 +0200


--============_-1176841604==_ma============
Content-Type: text/plain; charset="iso-8859-1" ; format="flowed"
Content-Transfer-Encoding: quoted-printable

Computational Methods in Systems Biology
University of Trento
24-26 February, 2003  Rovereto, Italy
www.science.unitn.it/~priami/cmsb.html


Molecular biology has until now mainly focussed on individual 
molecules, on their properties as isolated entities or as complexes 
in very simple model systems. However, biological molecules in living 
systems participate in very complex networks, including regulatory 
networks for gene expression, intracellular metabolic networks and 
both intra- and intercellular communication networks. Such networks 
are involved in the maintenance (homeostasis) as well as the 
differentiation of cellular systems of which we have a very 
incomplete understanding.
Nevertheless, the progress of molecular biology has made possible the 
detailed description of the components that constitute living 
systems, notably genes and proteins. Large scale genome sequencing 
means that we can (at least in principle) delimneate all 
macromolecular components of a given cellular system, and microarray 
experiments as well as large scale proteomics will soon give us large 
amounts of experimental data on gene regulation, molecular 
interactions and cellular networks. The challenge of the 21st century 
will be to understand how these individual components integrate to 
complex systems and the function and evolution of these systems, thus 
scaling up from molecular biology to systems biology. By combining 
experimental data with advanced formal theories from computer 
science, "the formal language for biological systems" to specify 
dynamic models of interacting molecular entities would be essential 
for
1. understanding normal behaviour of cellular processes, and how 
changes may affect the processes and cause disease. It may be 
possible to correlate genetic properties and symptoms in new and more 
efficient ways, based on an actual understanding of how various 
processes interact.
2. Providing predictability and flexibility to academic, 
pharmaceutical, biotechnology and medical researchers studying gene 
or protein functions. In particular, it may save time by reducing the 
number of experiments needed, if inadequate hypotheses could be 
excluded by computer simulation.

Topics of interest include, but are not limited to:

=85 Modelling languages for Systems Biology
=85 Concurrency theory in Systems Biology
=85 Constraint programming in Systems Biology
=85 Logical methods in Systems Biology
=85 Formal methods to analyse biomolecular systems
=85 Quantitative analysis of biomolecular systems
=85 Simulation techniques for Systems Biology
=85 Case studies

IMPORTANT DATES

=85 Nov 9, 2002  Submission deadline for papers and demos
=85 Nov 30, 2002  Notification of acceptance
=85 Dec 16, 2002  Camera-ready version due

PROCEEDINGS
The proceedings will be published in the Springer LNCS series and 
will be available at the workshop.

SUBMISSION
Authors are invited to submit .ps or .pdf original research papers as 
well as survey or tutorial papers of no more than 12 pages in LNCS 
format (see
http://www.springer.de/comp/lncs/authors.html
for instructions) at the address
concini@dit.unitn.it
=46or further information please contact us at the addresses 
[concini,priami]@dit.unitn.it. The papers will pass a peer review 
process and the accepted ones will appear in the proceedings.

INVITED SPEAKERS

=85 Ehud Shapiro, Weizmann Institute of Science, Israel
=85 To be announced

PROGRAMME COMMITTEE

=85 Charles Auffray, CNRS, Villejuif (F)
=85 Cosima Baldari, Universit=E0 di Siena (I)
=85 Alexander Bockmayr, Universit=E9 Henri Poincar=E9, Nancy (F)
=85 Luca Cardelli, Microsoft Research Cambridge (UK)
=85 Vincent Danos, Universit=E9 Paris VII (F)
=85 Pierpaolo Degano, Universit=E0 di Pisa (I)
=85 Fran=E7ois Fages, INRIA Rocquencourt (F)
=85 Drabl=F8s Finn, , Norwegian University of Science and Technology,=
 Trondheim (N)
=85 Monika Heiner, Brandenburg University of Technology at Cottbus - (D)
=85 Ina Koch, University of Applied Sciences Berlin, (D).
=85 John E. Ladbury, University College London (UK)
=85 Patrick Lincoln, SRI (USA)
=85 Satoru Miyano, University of Tokyo (JP)
=85 Gordon Plotkin, University of Edinburgh (UK)
=85 Simon Plyte, Pharmacia Corporation (I)
=85 Corrado Priami (CHAIR), Universit=E0 di Trento (I)
=85 Aviv Regev, Weizmann Institute of Science (IL)
=85 Magali Roux-Rouqui=E9, BSMI Pasteur Institute (F)
=85 Vincent Schachter, Hybrigenics  Paris (F)
=85 Masaru Tomita, Keio University (JP)
=85 Adelinde Uhrmacher, University of Rostock (D)
=85 Alfonso Valencia, CNB-CSIC Centro Nacional de Biotecnologia, 
Cantoblanco Madrid, (E)
=85 Olaf Wolkenhauer,  UMIST, Manchester (UK)

ORGANIZING COMMITTEE

Linda Brodo, Michela de Concini, Corrado Priami, Debora Schuch da Rosa Macha=
do
-- 
--============_-1176841604==_ma============
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type=3D"text/css"><!--
blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }
 --></style><title>CMSB03 - deadline approaching</title></head><body>
<div align=3D"center"><font face=3D"Arial" size=3D"+3"
color=3D"#000000"><b>Computational Methods in Systems
Biology</b></font></div>
<div align=3D"center"><font face=3D"Arial" size=3D"+3"
color=3D"#000000">University of Trento</font></div>
<div align=3D"center"><font face=3D"Arial" size=3D"+3" color=3D"#000000">24-=
26
=46ebruary, 2003&nbsp; Rovereto, Italy</font></div>
<div align=3D"center"><font face=3D"Arial" size=3D"+3"
color=3D"#000000">www.science.unitn.it/~priami/cmsb.html</font></div>
<div><font face=3D"Arial" size=3D"+3" color=3D"#000000"><br></font></div>
<div><font face=3D"Arial" size=3D"+3" color=3D"#000000"><br></font></div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000">Molecular biology
has until now mainly focussed on individual molecules, on their
properties as isolated entities or as complexes in very simple model
systems. However, biological molecules in living systems participate
in very complex networks, including regulatory networks for gene
expression, intracellular metabolic networks and both intra- and
intercellular communication networks. Such networks are involved in
the maintenance (homeostasis) as well as the differentiation of
cellular systems of which we have a very incomplete understanding.<br>
Nevertheless, the progress of molecular biology has made possible the
detailed description of the components that constitute living systems,
notably genes and proteins. Large scale genome sequencing means that
we can (at least in principle) delimneate all macromolecular
components of a given cellular system, and microarray experiments as
well as large scale proteomics will soon give us large amounts of
experimental data on gene regulation, molecular interactions and
cellular networks. The challenge of the 21st century will be to
understand how these individual components integrate to complex
systems and the function and evolution of these systems, thus scaling
up from molecular biology to systems biology. By combining
experimental data with advanced formal theories from computer science,
&quot;the formal language for biological systems&quot; to specify
dynamic models of interacting molecular entities would be essential
for<br>
1. understanding normal behaviour of cellular processes, and how
changes may affect the processes and cause disease. It may be possible
to correlate genetic properties and symptoms in new and more efficient
ways, based on an actual understanding of how various processes
interact.</font></div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000">2. Providing
predictability and flexibility to academic, pharmaceutical,
biotechnology and medical researchers studying gene or protein
functions. In particular, it may save time by reducing the number of
experiments needed, if inadequate hypotheses could be excluded by
computer simulation.<br>
<br>
Topics of interest include, but are not limited to:<br>
<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Modelling languages for
Systems Biology<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Concurrency theory in Systems
Biology<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Constraint programming in
Systems Biology<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Logical methods in Systems
Biology<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Formal methods to analyse
biomolecular systems<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Quantitative analysis of
biomolecular systems<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Simulation techniques for
Systems Biology</font></div>
<div><font face=3D"Symbol" size=3D"+3" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Case studies</font><br>
</div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000"><b>IMPORTANT
DATES</b><br>
<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Nov 9, 2002&nbsp; Submission
deadline for papers and demos<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Nov 30, 2002&nbsp;
Notification of acceptance<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Dec 16, 2002&nbsp;
Camera-ready version due</font><br>
</div>
<div><font face=3D"Arial" size=3D"+2"
color=3D"#000000"><b>PROCEEDINGS</b><br>
The proceedings will be published in the Springer LNCS series and will
be available at the workshop.</font><br>
</div>
<div><font face=3D"Arial" size=3D"+2"
color=3D"#000000"><b>SUBMISSION</b></font></div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000">Authors are invited
to submit .ps or .pdf original research papers as well as survey or
tutorial papers of no more than 12 pages in LNCS format
(see</font></div>
<div align=3D"center"><font face=3D"Arial" size=3D"+2"
color=3D"#000000">http://www.springer.de/comp/lncs/authors.html</font></div
>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000">for instructions) at
the address</font></div>
<div align=3D"center"><font face=3D"Arial" size=3D"+2"
color=3D"#000000">concini@dit.unitn.it</font></div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000">For further
information please contact us at the addresses
[concini,priami]@dit.unitn.it. The papers will pass a peer review
process and the accepted ones will appear in the
proceedings.</font><br>
</div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000">I<b>NVITED
SPEAKERS</b><br>
<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Ehud Shapiro, Weizmann
Institute of Science, Israel<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> To be announced</font><br>
</div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000"><b>PROGRAMME
COMMITTEE</b><br>
<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Charles Auffray, CNRS,
Villejuif (F)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Cosima Baldari, Universit=E0
di Siena (I)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Alexander Bockmayr, Universit=
=E9
Henri Poincar=E9, Nancy (F)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Luca Cardelli, Microsoft
Research Cambridge (UK)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Vincent Danos, Universit=E9
Paris VII (F)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Pierpaolo Degano, Universit=E0
di Pisa (I)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Fran=E7ois Fages, INRIA
Rocquencourt (F)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Drabl=F8s Finn, , Norwegian
University of Science and Technology, Trondheim (N)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Monika Heiner, Brandenburg
University of Technology at Cottbus - (D)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Ina Koch, University of
Applied Sciences Berlin, (D).<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> John E. Ladbury, University
College London (UK)</font></div>
<div><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Patrick Lincoln, SRI (USA)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Satoru Miyano, University of
Tokyo (JP)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Gordon Plotkin, University of
Edinburgh (UK)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Simon Plyte, Pharmacia
Corporation (I)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Corrado Priami (CHAIR),
Universit=E0 di Trento (I)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Aviv Regev, Weizmann Institute
of Science (IL)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Magali Roux-Rouqui=E9, BSMI
Pasteur Institute (F)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Vincent Schachter,
Hybrigenics&nbsp; Paris (F)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Masaru Tomita, Keio University
(JP)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Adelinde Uhrmacher, University
of Rostock (D)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Alfonso Valencia, CNB-CSIC
Centro Nacional de Biotecnologia, Cantoblanco Madrid, (E)<br>
</font><font face=3D"Symbol" size=3D"+2" color=3D"#000000">=85</font><font
face=3D"Arial" size=3D"+2" color=3D"#000000"> Olaf Wolkenhauer,&nbsp; UMIST,
Manchester (UK)</font><br>
</div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000"><b>ORGANIZING
COMMITTEE</b></font><br>
<font face=3D"Arial" size=3D"+2" color=3D"#000000"></font></div>
<div><font face=3D"Arial" size=3D"+2" color=3D"#000000">Linda Brodo, Michela
de Concini, Corrado Priami, Debora Schuch da Rosa Machado</font></div>
<x-sigsep><pre>-- 
</pre></x-sigsep>
</body>
</html>
--============_-1176841604==_ma============--