The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems
Biology (FJ'09)


The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09) will be held in Corsica, France, from September 21st through the 25th.

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.

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".


PARTICIPANTS (Alphabetical)


Presentation abstracts are available here.


21st September (Monday)
Arrive at Corsica

22nd September (Tuesday)
09:00-9:30 Message from Jacques Demongeot [slide]
09:30-10:00 Katsumi Inoue and Hidetomo Nabeshima:
"Inferring Rules and Facts by Meta-level Abduction on SOLAR" [slide]
10:00-10:30 Discussion
10:45-11:15 Koji Iwanuma and Katsumi Inoue:
"Efficient Equational Consequence Finding Calculus on SOL with Ordering Constraints" [slide]
11:15-11:45 Discussion
11:45-12:15 L.Trilling joint work with F. Corblin, S. Tripodi, D. Ropers and E. Fanchon:
"Applying a Declarative Constraint-based Method to the Re-examination of a Discrete Genetic Regulatory Network" [slide1] [slide2]
12:15-12:45 Discussion
14:00-14:30 Hidetomo Nabeshima, Koji Iwanuma and Katsumi Inoue:
"Toward an Efficient Consequence Synthesis in SOL Tableaux" [slide]
14:30-15:00 Discussion
15:00-15:30 Pierre Siegel:
"Non-monotonic Reasoning and Abduction" [slide]
15:30-16:00 Discussion
16:15-16:45 Gauvain Bourgne and Katsumi Inoue:
"Protocols for Multi-agent Diagnosis using SOLAR" [slide]
16:45-17:15 Discussion
17:15-17:45 Yoshitaka Yamamoto, Katsumi Inoue and Koji Iwanuma:
"An Incremental Way for Finding Characteristic Hypotheses in CF-induction" [slide]
17:45-18:15 Discussion

23rd September (Wednesday)
08:30-9:00 Takehide Soh and Katsumi Inoue:
"An Implementation of a Model-based Abduction and its Application to Systems Biology"
9:00-9:30 Discussion
09:30-10:00 Adrien Elena:
"Robustness of Threshold Boolean Automata Networks to Iteration Modes. Application to Genetic Regulation Networks Modelling"
10:00-10:30 Discussion
10:45-11:15 Ishihata Masakazu, Kameya Yoshitaka and Sato Taisuke:
"An EM Algorithm Specialized for Shared BDDs" [slide]
11:15-11:45 Discussion
11:45-12:15 G. Favre and J-C. Faye:
"Role of the Rho (A,B,C) GTPases in Cancer Progression" [slide1] [slide2]
12:15-12:45 Discussion
14:00-14:30 Yoshitaka Kameya:
"A Comparison Among Unsupervised Discretization Methods for Time Series Data" [slide]
14:30-15:00 Discussion
15:00-15:30 Louise Trave-Massuyes:
"Comparative Analysis of the Model Based Diagnosis Approach From the Artificial Intelligence and AUtomatic Control Perspectives" [slide]
15:30-16:00 Discussion
16:15-16:45 Chiaki Sakama and Tran Cao Son:
"Interacting Answer Sets" [slide]
16:45-17:15 Discussion
17:15-17:45 Fabien Corblin, Hedi Ben Amor, Eric Fanchon, Laurent Trilling, Jacques Demongeot , Nicolas Glade:
"Applications of a Constraint-based Approach to Build and Re-examine Biological Regulatory and Formal Neural Networks"
17:45-18:15 Discussion

24th September (Thursday)
08:30-9:00 L. Hedjazi, T. Kempowsky-Hamon, M.-V. Le Lann and J. Aguilar-Martin:
"Pronostic of Breast Cancer Based on a Fuzzy Classification" [slide]
9:00-9:30 Discussion
09:30-10:00 Taisuke Sato:
"Generative Modelling by PRISM" [slide]
10:00-10:30 Discussion
10:45-11:15 Andrei Doncescu:
"Knowledge Representation in Systems Biology"
11:15-11:45 Discussion
14:00-17:30 Discussion: Integration of Biological Systems

25th September (Friday)
Leave from Corsica







Webmaster: Takehide Soh (E-mail soh at