日程決定のお知らせ

まだ、発表者など何も決定していませんが、 会場と日程だけ決定しました。 今年は 9/17-24 に奈良で ICFP 2016 が開催されるので、それに合わせて 9/25 に京都で開催します。

詳細が決まりしだい追記します。

追記 9/24

お勧め移動方法についてです。 京都駅から会場最寄りのバス停「京大農学部前」へのルートです。

1. 市営バスのみ
   • ルート
     • 京都駅前（A2乗り場）→[市営バス17]→京大農学部前
   • 具体例
     • http://yahoo.jp/dZVRAN
2. 市営烏丸線→市営バス
   • ルート
     • 京都駅→[市営烏丸線]→今出川
     • 烏丸今出川→[市営バス102 or 203]→百万遍、京大農学部前
   • 具体例
     • http://yahoo.jp/qeNMqA
3. 市営バス＋徒歩
   • ルート
     • 京都駅前（D2乗り場）→[市営バス206]→百万遍
     • 百万遍→[徒歩]→会場
     • 206バスは遅いとの情報もあり
   • 具体例
     • http://yahoo.jp/LhrXKd

追記 7/22

• ProofSummit 2016の日に湘南会議前日の歓迎会が重なってるというご指摘があり、開催時間を多少繰上げました。
• 同時開催予定の「関数型言語の集い」イベントはキャンセルになりました

追記 9/24

• プログラムを決定しました。

プログラム

• 11:00-11:30 ksknac さん: 内容未定
• 11:35-12:05 kdxu さん: generic programming + dependent typesで何か(仮)
• 昼休憩60分
• 13:10-13:40 erutuf13 さん: Coq で機械学習した話(仮)
• 13:45-14:15 kaizen_nagoya さん: 「JAXA/IPA クリティカルソフトウェアワークショップ　言語系発表とその後」
• 小休憩20分
• 14:40-15:20 pi8027 さん: 「線形算術の量化子除去の原理」
• 15:25-16:00 eldesh さん: 「VerifastによるPOSIX正規表現マッチングの検証に向けて」

発表者

募集中です。何か発表できそうな方は、コメントとかに、記入お願いします（内容と時間を書いていただけると助かります）。

発表者予定 (9/24時点) : まだ発表枠空いてますので、是非とも発表お願いします。

発表順は、発表者の都合で変更されることがあります。早めに帰りたい場合などは発表順を先にしますので、教えてください。

• masterq さん -> 取り消し(当日別件だそうです)
• pi8027 さん : Coq で Fourier-Motzkin elimination の実装と Farkas' lemma の証明を行った話ができそうです。もしくは、聴衆に重複が無ければ6月の IPSJ PRO で発表した内容でも。
• kdxu さん : generic programming + dependent typesで何か発表したいです
• erutuf13 さん : Coq で機械学習した話がしたいです
• ksknac さん : 内容未定
• eldesh さん : VerifastでCプログラムの証明の話
• kaizen_nagoya さん : 過去のWOCSの言語系の発表の一覧