The 11th NII Collaborative Research Meeting

General Information

Fri 23 to Sat 24 March 2018
Room #421 on the 4th floor of Science and Technology Research Building 3, Rokkodai Campus, Kobe University
神戸大学自然科学総合研究棟3号館(東)4F 渕野グループ プレゼンテーション室 (421号室)
[Campus Map: Building #65]
1-1 Rokkodai, Nada, Kobe 657-8501, Japan
〒657-8501 兵庫県神戸市灘区六甲台町1-1


Fri 23 March 2018

10:00 〜 12:00 Discussion
Collaborative research topics 2018
12:00 〜 13:00 Lunch
13:00 〜 14:00 Invited talk
Modeling and inferring delays in biological regulatory networks using ASP
Morgan Magnin (Ecole Centrale de Nantes/LS2N)

joint work with Emna Ben Abdallah, Tony Ribeiro, Olivier Roux, and Katsumi Inoue.
14:00 〜 14:10 Break
14:10 〜 16:10 Research Presentation (40min. for each)
Local Search Techniques for Learning from Interpretation Transitions
Tony Ribeiro (Ecole Centrale de Nantes/LS2N)
Identification of Key Components and Modification of Models by Model Checking
Xinwei Chai (Ecole Centrale de Nantes/LS2N)
Augmenting Model Transformation with Constraints to Generate Explorable Target Model Spaces
Théo Le Calvar (University of Angers)

joint work with Fabien Chhel, Frédéric Jouault, and Frédéric Saubion
16:10 〜 16:30 Break
16:30 〜 17:30 Research Presentation
On Robustness in Nurse Scheduling Problem
Tenda Okimoto (Kobe University)
18:30 〜 Dinner

Sat 24 March 2018

10:00 〜 12:00 Discussion
番原睦則 (神戸大学)

Participants (alphabetical order)

Mutsunori Banbara Kobe University, Japan *
Xinwei Chai Ecole Centrale de Nantes/LS2N, France (D) *
Naoki Hayama Kobe University, Japan (M) *
Naoki Iino Kobe University, Japan (B) *
Tetsuya Ikuta Kobe University, Japan (B) *
Katsumi Inoue National Institute of Informatics, Japan *
Théo Le Calvar University of Angers, France (D) *
Morgan Magnin Ecole Centrale de Nantes/LS2N, France * (+1)
Tenda Okimoto Kobe University, Japan
Shusuke Ohno Kobe University, Japan (B) *
Tony Ribeiro Ecole Centrale de Nantes/LS2N, France * (+1)
Naoyuki Tamura Kobe University, Japan *

Note that the symbol * means he/she joins the dinner.


Date : 2018年3月23日(金) 18:30〜
兵庫県神戸市灘区桜口町5-1-8 ウエルブ六甲道5番街2番館1F

Date: 2018-03-06 21:35:33 JST