The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems
Biology (FJ'08)


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
19:00 Dinner

Session: Opening
9:00 - 9:10 Greetings by Katsumi Inoue & Andrei Doncescu
09:10-09:30 Katsumi Inoue:
FJ 2nd Year: What has been achieved?
Session: Breast Cancer Data Analysis
09:30-10:10 Baptiste Tauzin, Yoshitaka Kameya, Yoshitaka Yamamoto and Andrei Doncescu*:
Machine learning analysis of Breast Cancer BRCA1 dependently
10:20 - 11:00 Magali Lacroix:
Prognostic Markers in Breast Cancer: From Gene to Cure
11:00-11:40 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
13:10-13:50 Taisuke Sato:
Constraint-based Probabilistic Modeling (Toward non-Horn Statistical Abduction)
13:50-14:30 Masakazu Ishihata*, Yoshitaka Kameya, Taisuke Sato and Shin-ichi Minato:
Propositionalizing the EM Algorithm by BDDs
14:30-15:10 Joseph Agular-Martin:
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
16:00-16:40 Koji Iwanuma:
Effective Equality Computation in SOLAR
16:40-17:20 Hidetomo Nabeshima:
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
19:30 Dinner

Session: Invited Talk:
09:00-10:20 Tatsuya Akutsu:
Analysis and Control of Deterministic and Probabilistic Boolean Networks.
Session: Complexity, Modeling and Simulation of Biological Systems
10:30-11:10 Jacques Demongeot:
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
15:50-16:30 Andrei Doncescu:
Logical Approach of Metabolic Pathways
19:00 Dinner

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
19:00 Dinner

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

Okada Ryokan
Address: 505, Hirayu, Takayama, Gifu 506-1433, Japan
Phone Number: +81 578 89 2336







Webmaster: Takehide Soh (E-mail soh at