The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems
Biology (FJ'08) will be held in Hida-Takayama, Japan, during October
30th, 31st, November 1st, 2nd and 3rd.
The symposium covers three theoretical research areas: knowledge representation in biological systems, modeling by logical inferences, prediction of biological behavior. This research has been applied to metabolic pathways of yeast/E-coli and recently to decision of therapy in breast cancer. The results will bring new hints to knowledge discovery in biological systems modeling and analysis.
The goal of this second symposium is to analyze the results and to decide the research strategy for the second period of the project JST-CNRS.
This symposium is sponsored by LAAS-CNRS, Toulouse, France and National Institute of Informatics, Tokyo, Japan, as a part of: the JST-CNRS Strategic International Cooperative Program between France and Japan "Knowledge-based Discovery in Systems Biology".
Title: Analysis and Control of Deterministic and Probabilistic Boolean Networks.
|Moving to Hida-Takayama|
|9:30||Meeting at the entrance lobby of NII|
|10:00||Bus leaves for Takayama|
|Around 16:00||Arrive at the Takayama Green Hotel|
|9:00 - 9:10||Greetings by Katsumi Inoue & Andrei Doncescu|
FJ 2nd Year: What has been achieved?
|Session: Breast Cancer Data Analysis|
Baptiste Tauzin, Yoshitaka Kameya, Yoshitaka Yamamoto and Andrei Doncescu*:
Machine learning analysis of Breast Cancer BRCA1 dependently
|10:20 - 11:00||
Prognostic Markers in Breast Cancer: From Gene to Cure
Yoshitaka Kameya*, Andrei Doncescu and Yoshitaka Yamamoto:
An Empirical Study on Rule-based Analysis for Breast Cancer Data
|Session: Reasoning about Uncertainty for Systems Biology|
Constraint-based Probabilistic Modeling (Toward non-Horn Statistical Abduction)
Masakazu Ishihata*, Yoshitaka Kameya, Taisuke Sato and Shin-ichi Minato:
Propositionalizing the EM Algorithm by BDDs
Algorithmic Propositional Fuzzy Reasoning
|Session: Deductive Inference for Systems Biology|
|15:20-16:00||Luis Farinas del Cerro:
How to Produce Information about a Given Entity Using Automated Deduction Methods
Effective Equality Computation in SOLAR
SOLAR 2.0: A New Implementation of Consequence Finding Procedure SOL
|Session: SAT Techniques for Systems Biology|
|17:30-18:10||Takehide Soh* and Katsumi Inoue:
A SAT-based Approach for Analyzing Biochemical Pathways
|18:10-18:50||Ateet Bhalla* and Katsumi Inoue:
Boolean Satisfiability Based Hypothesis-Finding for Systems Biology
|Session: Invited Talk:|
Analysis and Control of Deterministic and Probabilistic Boolean Networks.
|Session: Complexity, Modeling and Simulation of Biological Systems|
Motifs in Regulatory Networks and Their Structural Robustness
|11:10-11:40||Emmanuel Montseny* and Andrei Doncescu:
Resolution of Fed-Batch Bioreactor Control Problems via Operatorial Parametrizing
|11:40-12:10||Céline Casenave* and Gérard Montseny:
"Diffusive Identification of Nonlinear Volterra Models for Dynamic Biological Systems"
|Session: Knowledge Discovery in Systems Biology|
|13:30-14:10||Oliver Ray*, Ken Whelan and Ross King:
Nonmonotonic Inference for Metabolic Networks
|14:10-14:50||Yoshitaka Yamamoto* and Katsumi Inoue:
CF-induction for Hypothesis Enumeration
|15:10-15:50||Chiaki Sakama* and Katsumi Inoue:
Brave Induction and its Application to Systems Biology
Logical Approach of Metabolic Pathways
|Session: Project Meeting by All Members|
|10:00||Check-out Takayama Green Hotel and Move to Okada Ryokan (by bus)|
|13:00 - 15:30||Discussion on the Collaboration between France and Japan|
|16:00 - 18:00||Discussion of Future Work and Next Symposium|
|Leaving from Hida-Takayama|
|10:00||Bus leaves for Tokyo|
|Around 17:00||Arrive at NII|
Takayama Green Hotel
Address: 2-180, Nishinoisshiki-cho, Takayama, Gifu 506-0031, Japan
Phone Number: +81 577 33 5500
Address: 505, Hirayu, Takayama, Gifu 506-1433, Japan
Phone Number: +81 578 89 2336