KUBIC-NII Joint Seminar on Bioinformatics 2012 <br /><font size="3" color="#5d74... 1/2 ページ

UP | HOME

KUBIC-NII Joint Seminar on Bioinformatics 2012
organized by
Bioinformatics Center, Institute for Chemical Research, Kyoto University andNational Institute of Informatics

Date
Thursday, April 26, 2012

Venue
Kyoto University, Uji, Kyoto 611-0011, Japan
Bioinformatics Center, Institute for Chemical Research,
3F, Seminar Room CB316.

Access• Location and Transportation to Uji Campus of Kyoto University• Vicinity of Uji Campus• Uji Campus Map

Participants (alphabetical order)
Tatsuya Akutsu

Institute for Chemical Research, Kyoto University, JapanHei Chan

Institute of Statistical Mathematics, JapanMaxime Folschette

École Centrale de Nantes, France

Morihiro Hayashida

Institute for Chemical Research, Kyoto University, Japan

Katsumi Inoue

National Institute of Informatics, JapanJesper Jansson

The Hakubi Project, Kyoto University, Japan

Hitoshi Koyano

Institute for Chemical Research, Kyoto University, JapanLe Thi Anh Thư Pham Ho Chi Minh City University of Information Technology, Vietnam
Tony Ribeiro

Université d'Angers, France

Nicolas Schwind

National Institute of Informatics, Japan

Takehide Soh

Kobe University, Japan

Takeyuki Tamura

Institute for Chemical Research, Kyoto University, Japan

Tomoya Tanjo

Transdisciplinary Research Integration Center, Japan

Programme
9:30 - 10:00

Opening

10:00 - 10:30*Katsumi Inoue and Chiaki Sakama
Oscillating Behavior of Logic Programs

10:30 - 11:00*Takeyuki Tamura
Modeling and Analysis of Gene Regulatory Network

11:00 - 11:30*Maxime Folschette, Katsumi Inoue, Olivier Roux, Morgan Magnin, and Loic
Pauleve
Inferring Thomas' Modeling Interaction Graph and Parametrization from
Process Hitting Framework using ASP

11:30 - 13:00

Lunch

13:00 - 13:30*Tatsuya Akutsu
Theoretical and Practical Algorithms for Edit Distance between UnorderedTrees

13:30 - 14:00

Pierre Marquis and *Nicolas Schwind
Lost in Translation: Language Independence in Propositional Logic Application to Belief Revision and Belief Merging

14:00 - 14:30*Jesper Jansson
Fast Algorithms for Computing a Consensus of MUL-Trees

14:30 - 14:50

Coffee Break

14:50 - 15:20*Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara, and Katsumi Inoue
Azucar: A SAT-based CSP Solver using Compact Order Encoding

15:20 - 15:50*Morihiro Hayashida
Protein Complex Prediction via Improved Verification Methods using
Constrained Domain-Domain Matching

15:50 - 16:10

Coffee Break

16:10 - 16:40*Hei Chan
Representing Causality using Graphs and Identifying the Causal Effects

16:40 - 17:10*Hitoshi Koyano
Probability Theory on a Monoid of Strings and its Application to Molecular
Evolution

17:10 - 17:40*Tony Ribeiro
A Multi-Agent Reasoning Framework using Answer Set Programming in
Dynamic Environnement

http://research.nii.ac.jp/il/event/2012/04-26_kubic-nii/kubic-nii.html

2012/04/30

KUBIC-NII Joint Seminar on Bioinformatics 2012 <br /><font size="3" color="#5d74... 2/2 ページ

Author: Tomoya TANJO<tanjo at nii.ac.jp>
Date: 2012-04-16 11:47:55 JSTHTML generated by org-mode 6.33x in emacs 23

http://research.nii.ac.jp/il/event/2012/04-26_kubic-nii/kubic-nii.html

2012/04/30