CSPASP: 第6回科研費ミーティング

開催情報 (Information)

日時:2016年12月2日(金)
Day:2 December 2016 (Fri.)
用務先:神戸大学自然科学総合研究棟3号館(東)4F 渕野グループ小会議室(420号室)
Venue:Room #420 on the 4th floor of Science and Technology Research Building 3, Rokkodai Campus, Kobe University [Campus Map: Building #65]
用務地:〒657-8501 神戸市灘区六甲台町1-1
Address:1-1 Rokkodai, Nada, Kobe 657-8501, Japan
共催CSPSATプロジェクト

プログラム (Program)

プログラムは下記の通りですが,発表の進行状況に合わせて「柔軟」に進めたいと思います.

12月2日(金) (2 December (Fri.))

09:30 〜 10:00 Opening
10:00 〜 12:00 Presentation
Master thesis defense timetabling problem solving [PDF]
Trung Huynh Thanh, Pham Quang Dung, Katsumi Inoue, Maxime Clement, and Emir Demirovic
Intentional Learning and Plan Acquisition in BDI-Agents [PDF]
Wulfrano Arturo Luna Ramirez, Maria Fasli, and Katsumi Inoue
12:00 〜 13:30 Lunch
13:30 〜 15:30 Presentation
解集合プログラミングによるソフトウェアテストの網羅 [PDF]
小俣 仁美,井上 克巳
SAT技術を用いた正規ペトリネットのデッドロック検出手法の研究 [PDF]
寸田 智也
擬似ブール制約のブール基数制約への符号化アルゴリズムの研究 [PDF]
南 雄之
15:30 〜 16:00 Discussion

参加者 (Participant)

Date: 2016-10-27 21:35:33 JST