Date：March 21st, 2016
Venue：Lecture room 11, Faculty of Science, Yamaguchi University
(Yoshida campus, Yamaguchi University:
http://www.yamaguchi-u.ac.jp/info/13/612.html )
Contact：Hiroshi Matsuno, Graduate School of Science and Engineering,
Yamaguchi University, +81-83-933-5697 matsuno{at}sci.yamaguchi-u.ac.jp
Homepage: http://genome.ib.sci.yamaguchi-u.ac.jp/YWCNB/
Program:
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)
