| Overture | |
| 10:30-11:00 | C. Raynaud, Presentation of IASI/GEMO Team [slide] |
| 11:00-12:30 | Session 1: Reasoning K. Inoue, Research on Consequence Finding [ slide] T. Sato, Constraint-based Probabilistic Modeling for Statistical Abduction[ slide] |
| Lunch | |
| Distributed Reasoning | |
| 14:00 - 15:45 | Session 2: Distributed Consequence Finding P. Chatalic, Decentralized Reasoning with Inconsistencies in Peer-to-Peer Inference Systems [ slide] F. Goasdoué, Peer-to-Peer Inference Systems and (Non-)Conservative Extension of a KB [ slide] N. Abdallah, DL-LiteR in the light of propositional logic for decentralized data management [ slide |
| Break | |
| 16:15 - 17:30 | Session 3: Distributed Diagnosis G. Bourgne, Distributed Hypothesis Finding using SOLAR [ slide] V. Armant, Distributed Consistency-Based Diagnosis [ slide] |
| 17:30 - 18:45 | Discussion Distributed Hypothesis Finding : Problems and Applications |
| 19:00 | Dinner |
| Bioinformatic | |
| 10:30-12:00 | Session 4 : Bioinformatic applications S. Cohen-Boulakia, Presentation of BioInfo\AMIB G. Synnaeve, Inductive Logic Programming applied to Systems Biology [ slide] |
| Lunch | |
| 13:30-14:45 | Discussion Tools for Systems Biology |
| Break | |
| SAT solvers | |
| 15:15 - 16:30 | Session 5 : SAT and its applications L. Simon, Predicting Learnt Clauses Quality in Modern SAT Solvers [ slide] T. Soh, A SAT-based Approach for Analyzing Biochemical Pathways [ slide] |
| 16:30 | Open Discussion |