| LSB 06 | Workshop on Logic and Systems Biology Seattle, August 15, 2006 |
Overview
Modern biology has made great advances in our knowledge of the workings of organisms at the molecular level. Although there is still much to be learned in this area, many biologists believe that the next major effort in their discipline will be to understand how these cellular components work together, in much the same way that the components of a computer are integrated. This system-level knowledge is essential to solving important problems like understanding the causes of diseases and discovering new drugs. As models of biological systems grow in complexity, researchers are experiencing some of the same problems that beset software designers and computer engineers. Some biologists have stressed the need for a formal framework in which to develop and test their models. Computer scientists have started to apply formal methods to building and analyzing models of biological systems. The lectures in this workshop will discuss progress and future directions in this interdisciplinary research.
Program
Invited Talks
-
Tuesday, August 15th, 09:00‑09:50
Anne Condon (University of British Columbia)
DNA and RNA Molecules: Glimpses Through an Algorithmic Lens -
Tuesday, August 15th, 10:30‑11:30
Larry Ruzzo (University of Washington)
Searching for Noncoding RNA [pdf] -
Tuesday, August 15th, 11:30‑12:15
Rajeev Alur (University of Pennsylvania)
Hybrid Systems Modeling for Regulatory Pathways [ppt] -
Tuesday, August 15th, 14:00‑14:45
Ilya Shmulevich (Institute for Systems Biology)
Insights from Boolean Modeling of Genetic Regulatory Networks [ppt] -
Tuesday, August 15th, 14:45‑15:30
Ashish Tiwari (SRI International)
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks [pdf] -
Tuesday, August 15th, 16:00‑17:00
Carolyn Talcott (SRI International)
Pathway Logic: A Logical Approach to Modeling Cellular Processes [pdf] -
Tuesday, August 15th, 17:00‑17:45
William Noble (University of Washington)
Two Bioinformatics Applications of Dynamic Bayesian Networks [ppt]
Organizer
|
|
Supported by |
|
|
|
