--============_-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 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, "the formal language for biological systems" 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 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 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 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 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, 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============--