日時: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)