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


Thursday, April 26, 2012


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


Participants (alphabetical order)

Tatsuya AkutsuInstitute for Chemical Research, Kyoto University, Japan
Hei ChanInstitute of Statistical Mathematics, Japan
Maxime FolschetteÉcole Centrale de Nantes, France
Morihiro HayashidaInstitute for Chemical Research, Kyoto University, Japan
Katsumi InoueNational Institute of Informatics, Japan
Jesper JanssonThe Hakubi Project, Kyoto University, Japan
Hitoshi KoyanoInstitute for Chemical Research, Kyoto University, Japan
Le Thi Anh Thư PhamHo Chi Minh City University of Information Technology, Vietnam
Tony RibeiroUniversité d'Angers, France
Nicolas SchwindNational Institute of Informatics, Japan
Takehide SohKobe University, Japan
Takeyuki TamuraInstitute for Chemical Research, Kyoto University, Japan
Tomoya TanjoTransdisciplinary Research Integration Center, Japan


9:30 - 10:00
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
13:00 - 13:30
*Tatsuya Akutsu
Theoretical and Practical Algorithms for Edit Distance between Unordered Trees
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

Author: Tomoya TANJO <tanjo at nii.ac.jp>

Date: 2012-04-16 11:47:55 JST

HTML generated by org-mode 6.33x in emacs 23