Program

February 22 (Mon), 2010

10:00-10:10	Opening Address
10:10-11:10	Plenary Lecture P.S. Thiagarajan (National University of Singapore) Computational and Verification Platforms for Systems Biology
11:10-11:45	David Hsu (National University of Singapore) Incremental Pathway Modeling
11:45-12:20	Chen Li (University of Tokyo) Simulation-Based Model Checking Approach to Cell Fate Specification during Caenorhabditis elegans Vulval Development by Hybrid Functional Petri Net with Extension
12:20-13:40	Lunch
13:40-14:40	Plenary Lecture Tetsuo Shibuya (University of Tokyo) Next-Generation Cancer Genome Analysis Pipeline
14:40-15:15	Atsushi Niida (University of Tokyo) A Novel Meta-Analysis Approach of Cancer Transcriptomes Reveals Prevailing Transcriptional Networks in Cancer Cells
15:15-15:50	Liu Bing (National University of Singapore) Computational and Experimental Analysis of the Complement System under Inflammation Conditions
15:50-16:10	Break
16:10-16:45	Yoshinori Tamada (University of Tokyo) Supercomputing on Gene Network Estimation with Bayesian Networks
16:45-17:15	Rui Yamaguchi (University of Tokyo) Systemic approach for finding differentially regulated genes and its application to search for biomarkers
18:00-19:30	Buffet Dinner

10:00-10:35	Joshua Chin Yen Song (National University of Singapore) A Decompositional Approach to the Bayesian Approximation of Pathways Dynamics
10:35-11:10	Andre Fujita (RIKEN & University of Tokyo) Granger Causality in Regulatory Networks: Extensions of Vector Autoregressive Models
11:10-11:45	Sucheendra Kumar Palinappan (National University of Singapore) Probabilistic Verification of Biological pathway Dynamics
11:45-12:20	Kaname Kojima (University of Tokyo) Comparison of Estimated Gene Network by State Space Model with Time Course Microarray Data of Different Conditions
12:20-12:30	Closing