GENERAL INFORMATION
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".
TOPICS OF INTEREST
- Complexity of biological systems
- Knowledge discovery in biology by logical reasoning
- Knowledge representation of biological systems
- Modeling of biological systems
- Simulation of biological systems
- Relevance of logical hypotheses
- Inference systems in first-order-logic
- Clustering for data mining
- Applications of SAT solvers
- Decisional systems in cancer therapy
PARTICIPANTS (Alphabetical)
- Joseph AGUILAR MARTIN (LAAS-CNRS, France)
- Hedi BEN AMOR (TIMC-IMAG, France)
- Gauvain BOURGNE (NII, Japan)
- Jacques DEMONGEOT (TIMC-IMAG, France)
- Andrei DONCESCU (LAAS-CNRS, France)
- Adrien ELENA (TIMC-IMAG, France)
- Jean-Charles FAYE (ICR, France)
- Katsumi INOUE (NII, Japan)
- Masakasu ISHIHATA (Tokyo Institute of Technology, Japan)
- Koji IWANUMA (University of Yamanashi, Japan)
- Yoshitaka KAMEYA (Tokyo Institute of Technology, Japan)
- Hidetomo NABESHIMA (University of Yamanashi, Japan)
- Chiaki SAKAMA (Wakayama University, Japan)
- Taisuke SATO (Tokyo Institute of Technology, Japan)
- Pierre SIEGEL (SNC, France)
- Takehide SOH (NII, Japan)
- Laurent TRILLING (TIMC-IMAG, France)
- Yoshitaka YAMAMOTO (University of Yamanashi, Japan)
PRESENTATION ABSTRACTS
Presentation abstracts are available here.
PROGRAMME OVERVIEW
| 21st September (Monday) | |
| Arrive at Corsica | |
| Opening | |
| 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 |
| Lunch | |
| 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 |
| Lunch | |
| 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 |
| Lunch | |
| 14:00-17:30 | Discussion: Integration of Biological Systems |
| 25th September (Friday) | |
| Closing | |
| Leave from Corsica | |
VENUE
- Best Western Corsica Hotels Bastia Centre,
Jean Zuccarelli, Bastia, 20200, France
SYMPOSIUM ORGANIZERS
- Prof. Katsumi Inoue, National Institute of Informatics, Japan
- Prof. Andrei Doncescu, LAAS-CNRS, France
- Prof. Jacques Demongeot, TIMC-IMAG, France
PROGRAM CHAIR
- Mr. Takehide Soh, The Graduate University for Advanced Studies, Japan
ARRANGEMENTS
- Ms. Caroline Messina Dos Santos, TIMC-IMAG, France
- Ms. Cristèle Soller, LAAS-CNRS, France
- Dr. Gauvain Bourgne, National Institute of Informatics, Japan
- Ms. Michi Tanaka, National Institute of Informatics, Japan
Link
CONTACT
- Takehide Soh: soh at nii.ac.jp
Webmaster: Takehide Soh (E-mail soh at nii.ac.jp)