2009 May 14th(Thursday), 15th(Friday)
University of Yamanashi, 4-3-11, Takeda, Kofu 400-8511, Japan. Integrated Information Processing Center 4F, Conference room.
| Gauvain Bourgne | National Institute of Informatics, Japan |
| Petr Buryan | Czech Technical University, Czech |
| Andrei Doncescu | LAAS-CNRS, France |
| Katsumi Inoue | National Institute of Informatics, Japan |
| Koji Iwanuma | University of Yamanashi, Japan |
| Hidetomo Nabeshima | University of Yamanashi, Japan |
| Takehide Soh | The Graduate University for Advanced Studies, Japan |
| Gabriel Synnaeve | TIMC-IMAG, France |
| Yoshitaka Yamamoto | University of Yamanashi, Japan |
| Day 1 (May 14th) | |
| 13:30 - 14:15 | Katsumi Inoue "Abducing Rules with Predicate Invention" |
| 14:15 - 15:00 | Yoshitaka Yamamoto "CF-induction for Hypothesis Enumeration" |
| 15:00 - 15:45 | Gabriel Synnaeve "Dealing with Numerical Values in Logic Modeling" |
| (15 minutes Break) | |
| 16:00 - 17:30 | Andrei Doncescu (At the practical room, 2F in A-3 building east) "Pertinence of Data or The Science Like a Conversation" |
| Day 2 (May 15th) | |
| 9:30 - 10:15 | Takehide Soh "A SAT-based Approach for Analyzing Biochemical Pathways" |
| 10:15 - 11:00 | Gauvain Bourgne "Knowledge Discovery through Automated Experimentation" |
| (15 minutes Break) | |
| 11:15 - 12:00 | Petr Bryan "ILP and Grammatical Evolution" |
| 12:00 - 12:45 | Hidetomo Nabeshima "Toward for Effective Abductive Computation in SOL Tableau Calculus (tentative)" |
Takehide Soh: soh at nii.ac.jp
Back to Events