GENERAL INFORMATION
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".
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
IMPORTANT DATE
- Registration: July 31st
- Title and Abstract Submission: September 30th
- Symposium: October 30th - November 3rd
INVITED SPEAKER
- Prof. Tatsuya Akutsu
Bioinformatics Center, Institute for Chemical Research, Kyoto University, Japan
Title: Analysis and Control of Deterministic and Probabilistic Boolean Networks.
PARTICIPANTS
- Prof. Joseph Aguilar-Martin (LAAS-CNRS, France)
- Prof. Henri Angelino (National Institute of Informatics, Japan)
- Dr. Ateet Bhalla (Technical University of Lisbon, Portugal)
- Dr. Céline Casenave (LAAS-CNRS, France)
- Prof. Jacques Demongeot (TIMC-IMAG, France)
- Prof. Andrei Doncescu (LAAS-CNRS, France)
- Prof. Luis Farinas del Cerro (IRIT, France)
- Prof. Katsumi Inoue
(National Institute of Informatics/ The Graduate University for Advanced Studies/Tokyo Institute of Technology, Japan) - Mr. Masakazu Ishihata (Tokyo Institute of Technology, Japan)
- Prof. Koji Iwanuma (University of Yamanashi, Japan)
- Prof. Yoshitaka Kameya (Tokyo Institute of Technology, Japan)
- Dr. Magali Lacroix (Institute Claudius Regaud, France)
- Dr. Emmanuel Montseny (LAAS-CNRS, France)
- Prof. Hidetomo Nabeshima (University of Yamanashi, Japan)
- Dr. Oliver Ray (University of Bristol, England)
- Prof. Chiaki Sakama (Wakayama University, Japan)
- Prof. Taisuke Sato
(Tokyo Institute of Technology/ National Institute of Informatics, Japan) - Mr. Takehide Soh (The Graduate University for Advanced Studies, Japan)
- Mr. Yoshitaka Yamamoto (The Graduate University for Advanced Studies, Japan)
PROGRAMME OVERVIEW
- 30th October (Thursday)
| 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 |
- 31st October (Friday)
| 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 |
- 1st November (Saturday)
| 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 |
- 2nd November (Sunday)
| 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 |
- 3rd November (Monday)
| Leaving from Hida-Takayama | |
| 10:00 | Bus leaves for Tokyo |
| Around 17:00 | Arrive at NII |
VENUE
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
- Oct 30th - Nov 1st Takayama Green Hotel
- Nov 2nd Okada Ryokan
TRAVEL SUPPORT
- Ms. Nami Noguchi, JTB Corp., Japan
E-mail: n_noguchi466 at jtb.jp
SYMPOSIUM ORGANIZERS
- Prof. Katsumi Inoue,
National Institute of Informatics/The Graduate University for Advanced Studies/Tokyo Institute of Technology, Japan - Prof. Andrei Doncescu, LAAS-CNRS, France
- Mr. Yoshitaka Yamamoto, The Graduate University for Advanced Studies, Japan
LOCAL ARRANGEMENTS
- Ms. Miki Ohhori, National Institute of Informatics, Japan
- Mr. Takehide Soh, The Graduate University for Advanced Studies, Japan
Link
CONTACT
- Yoshitaka Yamamoto: yy at nii.ac.jp
- Takehide Soh: soh at nii.ac.jp
Webmaster: Takehide Soh (E-mail soh at nii.ac.jp)