Workshop on Abduction and Induction
in Artificial Intelligence and Bioinformatics (AIAI'07)
and
The First Franco-Japanese Symposium
on Knowledge Discovery in Systems Biology (FJ'07)
15th-18th September, 2007
Hotel Aquabella
Aix-en-Provence, France.
http://www.aquabella.fr/
(Wi-fi connection supplied)
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".
http://www.jst.go.jp/inter/pj/en_list_PJ_fr.htm
The photograph in Aix-en-Provence
PROGRAMME (as of 15th September)
FRIDAY, 14TH SEPTEMBER
Hotel Aquabella, Aix-en-Provence
Pre-Meeting by Organizers /
Preparation
SATURDAY, 15TH SEPTEMBER
Hotel Aquabella, Aix-en-Provence
Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI'07)
http://www.doc.ic.ac.uk/~or/AIAI07/
Participants (18):
Dalal Alrajeh (Imperial College London, UK),
Joseph Aguilar-Martin (LAAS-CNRS, France),
Chitta Baral (Arizona State University, USA),
Gauvain Bourgne (Univ. Paris IX, France),
Henning Christiansen (Roskilde University, Denmark),
Jacques Demongeot (TIMC-IMAG Laboratory, France),
Andrei Doncescu (LAAS-CNRS, France),
Katsumi Inoue (National Institute of Informatics, Japan),
Koji Iwanuma (University of Yamanashi, Japan),
Antonis Kakas (University of Cyprus, Cyprus),
Yoshitaka Kameya (Tokyo Institute of Technology, Japan),
Hidetomo Nabeshima (University of Yamanashi, Japan),
Oliver Ray (University of Bristol, UK),
Chiaki Sakama (Wakayama University, Japan),
Taisuke Sato (Tokyo Institute of Technology, Japan),
Pierre Siegel (Univ. Provence, France),
Louise Trave-Massuyes (LAAS-CNRS, France),
Yoshitaka Yamamoto (The Graduate University for Advanced Studies, Japan).
Schedule
09:15 OPEN Ray, Inoue, Doncescu
Overview of AIAI'07 and FJ'07 arrangements (15min)
09:30 INVITED TALK Chitta Baral
On the use action languages for biological modeling (45min)
10:15 Christiansen
Logic-statistic modeling and analysis of biological sequence data: A Research Agenda (30min)
10:45 COFFEE
11:15 Ray
Nonmonotonic abductive inductive learning (30min)
11:45 Alrajeh, Ray, Russo, Uchitel
Using Abduction and Induction for Operational Requirements Elaboration (30min)
12:15 LUNCH
14:00 Bourgne, El Fallah Seghrouchni, Maudet
Towards refinement of abductive or inductive hypothesis through propagation (30min)
14:30 Iwanuma, Inoue, Nabeshima
Reconsideration of circumscriptive induction with pointwise circumscription (30min)
15:00 COFFEE
15:30 Sakama, Inoue
Equivalence issues in abduction and induction (30min)
16:00 Aguilar-Martin
Fuzzy logic connectives in abductive inference and clustering (30min)
16:30 PANEL DISCUSSION
A. Kakas (chair), biologists from FJ'07 (panelists)
Abduction and Induction in Bioinformatics (1h20)
17:30 CLOSE
20:00 DINNER
SUNDAY, 16TH SEPTEMBER
EXCURSION
09:15 Departure by bus from Hotel Aquabella
- Casis - Les Calanques (boat trip) - Casis (lunch) - Marseille (Notre Dame de la Garde and Vieux Port) -
Note: Each participant will pay directly the fare for the boat excursion as well as lunch at a restaurant.
18:00 Return to Hotel Aquabella
19:30 BANQUET / Gala dinner
MONDAY, 17TH SEPTEMBER
Hotel Aquabella, Aix-en-Provence
The First Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'07)
http://research.nii.ac.jp/~ki/event/fj07.html
Participants (19):
Joseph Aguilar-Martin (LAAS-CNRS, France),
Henri Angelino (National Institute of Informatics, Japan),
Celine Cazenave (LAAS-CNRS, France),
Henning Christiansen (Roskilde University, Denmark),
Jacques Demongeot (TIMC-IMAG Laboratory, France),
Andrei Doncescu (LAAS-CNRS, France),
Gerald Goma (INSA-INRA-CNRS, France),
Katsumi Inoue (National Institute of Informatics, Japan),
Koji Iwanuma (University of Yamanashi, Japan),
Yoshitaka Kameya (Tokyo Institute of Technology, Japan),
Emmanuel Montseny (LAAS-CNRS, France),
Gerard Montseny (LAAS-CNRS, France),
Hidetomo Nabeshima (University of Yamanashi, Japan),
Oliver Ray (University of Bristol, UK),
Chiaki Sakama (Wakayama University, Japan),
Taisuke Sato (Tokyo Institute of Technology, Japan),
Pierre Siegel (Univ. Provence, France),
Louise Trave-Massuyes (LAAS-CNRS, France),
Yoshitaka Yamamoto (The Graduate University for Advanced Studies, Japan).
Schedule
09:15 OPEN Inoue, Doncescu
Introduction to the JST-CNRS strategic international cooperative program (15min)
09:30 Demongeot
On metabolic pathways modelling (1h30)
11:00 COFFEE
11:30 G. Montesny, Cazenave
Introduction to diffusive representation and applications (1h)
12:30 LUNCH
14:00 Yamamoto, Inoue, Doncescu
Integration of abduction and induction in biological networks using CF-induction + system demonstration (40min)
14:40 Nabeshima
Consequence finding with SOLAR-C + system demonstration (30min)
15:10 Ray
Applications and methods of logic- based abduction and induction in bioinformatics (40min)
15:50 COFFEE
16:20 Iwanuma
A short introduction to sequential data mining (20min)
16:40 Nabeshima
An introduction to SAT planning on pathway problems (20min)
17:00 Kameya
An introduction to PRISM and its applications + system demonstration (40min)
17:40 Sato
Propositinonalized probabilistic modeling and statistical learning in PRISM (40min)
19:30 DINNER
TUESDAY, 18TH SEPTEMBER
Hotel Aquabella, Aix-en-Provence
The First Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'07)
09:15 Goma
Microbial bioreactors/bioreactions: tools for basic knowledge on "holistic biology" (40min)
09:55 E. Montseny
Linearization of dynamic systems by time-nonlocal operatorial transformations and application to biological systems (35min)
10:30 COFFEE
11:00 Doncescu
Reasoning about uncertainty in biological systems (30min)
11:30 PROJECT MEETING 1:
Defining biochemical problems in the FJ project (1h)
12:30 LUNCH
14:00 PROJECT MEETING 2:
Discussion for future work and the next symposium (1h)
15:00 WALK-AROUND
19:30 DINNER
Webpage maintained
by Katsumi Inoue