日本バイオインフォマティクス学会九州地域部会イベント
Yamaguchi Workshop on Computational Network Biology


日時:2016年3月21日(月・祝)
場所:山口大学理学部11番講義室
   (山口大学吉田キャンパス:
    http://www.yamaguchi-u.ac.jp/info/13/612.html )
問合せ先:山口大学大学院理工学研究科 松野浩嗣
     083-933-5697 matsuno{at}sci.yamaguchi-u.ac.jp

ホームページ:
http://genome.ib.sci.yamaguchi-u.ac.jp/YWCNB/

概要:
細胞モデリングの形式的手法の研究を中心としたワークショップを、Monika Heiner博士(ドイツ)とPauline Traynard博士(フランス)を招待して開催致します。ご興味のある方の参加をお待ちしております。

プログラム:
13:00 - 13:05 Opening Talk
 Prof. Dr. Hiroshi Matsuno (Yamaguchi University, Japan)

== Session 1 ==
13:05 - 13:40 Invited Talk: Prof. Dr. Monika Heiner (Brandenburg University of Technology, Germany)
 Analysis and repair of whole genome bacterial metabolic models for synthetic biology
13:40 - 15:15 Invited Talk: Dr. Pauline Traynard (Escuela Politecnica Naciona, France)
 Logical model of the mammalian cell cycle analyzed with model-checking

== Sesstion 2 ===
15:30 - 15:55 Dr. Sohei Ito (National Fisheries University, Japan)
 Qualitative analysis of gene regulatory networks using temporal logic
15:55 - 16:20 Dr. Fei Liu (Harbin Institute of Technology, China)
 Colored Hybrid Petri Nets for Modeling and Simulating the Delta-Notch
 Dependent Boundary Formation in the Drosophila Large Intestine
16:20 - 16:45 Dr. Heewon Park (Yamaguchi University, Japan)
 Statistical methodologies for high-dimensional genomic data analysis

== Sesstion 3 ==
17:00 - 17:25 Dr. Adrien Faure (Yamaguchi University, Japan)
 Towards a new definition of circuit functionality
17:25 - 17:45 Student Talk1
 Mr. Masashi Kubota (Yamaguchi University, Japan)
 Analyses of artificial genetic flip-flop circuits based on ordinary differential equation
17:45 - 18:05 Student Talk2
 Mr. Atsushi Mizuta (Yamaguchi University, Japan)
 Properties of Uniqueness on Dependent Shrink for Retention-Free Petri Nets

18:05 - 18:10 Closing Talk
 Dr. Manabu Sugii (Yamaguchi University, Japan)