CSPASP: The 5th JSPS KAKENHI Meeting

General Information

Date : July 29, 2016
Place : Room #419 on the 4th floor of Science and Technology Research Building 3, Rokkodai Campus, Kobe University [Campus Map: Building #65]
Address : 1-1 Rokkodai, Nada, Kobe 657-8501, Japan

Program (tentative)

July 29 (Fri.)

15:00 〜 15:45 Invited Talk
Learning DREAM Challenges [PDF]
Morgan Magnin (École Centrale de Nantes)
15:45 〜 16:00 Break
16:00 〜 17:00 Research Progress
Proposal of a SAT-based Method to Detect Deadlocks of Ordinary Petri Nets [PDF]
Tomoya Sunda (Kobe University), Naoyuki Tamura (Kobe University), Mutsunori Banbara (Kobe University), and Takehide Soh (Kobe University)
A Study on Pathway Analysis [PDF]
Takehide Soh (Kobe University)
17:00 〜 17:15 Break
17:15 〜 17:45 Discussion
Discussion about extended version of PATAT2016 and PPL2016 papers
Mutsunori Banbara (Kobe University)
18:30 〜 Dinner

Participants

Dinner

Date : July 29, 2016. 18:30-
Place : (Okonomi-yaki) Moriguchi. 1-10-11, Biwa-cho, Nada-ku, Kobe, 657-0041.
Participants : Morgan, Inoue, Tamura, Banbara, Soh, Kawahara, and Sunda

Date: 2016-08-02 21:35:33 JST