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 |
Lunch | |
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 |
Coffee | |
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. |
Coffee | |
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" |
Lunch | |
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 |
Coffee | |
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) |
Lunch | |
13:00 - 15:30 | Discussion on the Collaboration between France and Japan |
Tea | |
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
http://www.takayama-gh.com/tgh_globaltop.html
Okada Ryokan
Address: 505, Hirayu, Takayama, Gifu 506-1433, Japan
Phone Number: +81 578 89 2336
http://www.nande.com/okada/
ACCOMMODATION
TRAVEL SUPPORT