BEGIN:VCALENDAR
METHOD:PUBLISH
X-WR-CALDESC:Coq庵 : ATND
X-WR-CALNAME:Coq庵 : ATND
X-WR-TIMEZONE:Asia/Tokyo
CALSCALE:GREGORIAN
PRODID:atnd.org/events/6022
VERSION:2.0
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZNAME:JST
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED;TZID=Asia/Tokyo:20100626T194034
DESCRIPTION:<h2>Coqプログラマーの集会を名古屋で行います</h2>\n証明支援器<a href="http://coq.inria.
 fr">Coq</a>は形式手法の一つである定理証明のためのツールですが、Coqのプログラミング言語としての側面や、Coqでソフトウェアを開発できるこ
 とは産業界においてあまり知られていません。\nCoq庵は、Coqを用いたプログラミングや、Coqを用いたソフトウェア設計と安全性の検証にフォーカスし、
 自由な情報交換を目的としたアンカンファレンスです。 \n\nバグのないプログラムの開発、関数型言語や形式手法に興味のある方など ぜひともご参加ください
 。\n<ul>\n <li>参加費: 200[円] </li>\n <li>時間: 13:15 - 17:30</li>\n <li>twitterハ
 ッシュタグ: <a href="http://www.google.co.jp/search?q=site%3Atwitter.com+%23CoqU
 n">#CoqUn</a></li>\n</ul>\n<h2>話者募集</h2>\n(* Coqについて話をしたいという方を募集します。\nここのコメ
 ントか、下記のメールアドレスにご一報ください。 *)\n締め切りました。\n<pre>\nRequire Import String.\nEval c
 ompute in ("y.imai" ++ "@" ++ "ocaml.jp")%string.\n</pre>\n<h3>プログラム</h3>\n
 <ul>\n  <li>13:15 受付、はじめのことば</li>\n  <li>13:30 初めてのCoq(yoshihiro503)</li>\n
   <li>14:00 Coqによる暗号アルゴリズムの暗号学的安全性検証(yamakiyoさん)</li>\n  <li> 10分休憩 </li>\n
   <li>14:40 (MoCo7さん)</li>\n  <li>15:10 一般たらいまわし関数の停止性を証明する(kikxさん)</li>\n 
  <li>15:40 Coqでガベージコレクションの証明(mzpさん)</li>\n  <li> 10分休憩 </li>\n  <li>16:20 ペ
 アプルービング</li>\n  <li>17:20 おわりのことば</li>\n</ul>\n<h2>ペアプルービング お題</h2>\nペアプルでは
 kikxさんが作成した<a href="http://as305.dyndns.org/aps/problem">anarchy proofのお題</
 a>に挑戦しましょう。自分なりに作った証明を投稿して通れば正解です。kikxさんには大感謝です。\n<h2>前日はOCamlMeeting</h2>\
 n前日には名古屋大学で<a href="http://ocaml.jp/um2010">OCaml Meeting 2010</a>が行われます。Co
 qユーザーなら参加しておきたいですね。\n<h2>ProofCafeもよろしく</h2>\n我々<a href="http://coq.g.haten
 a.ne.jp/keyword/ProofCafe">ProofCafe</a>は<a href="http://www.itpl.co.jp/oca
 ml-nagoya/">ocaml-nagoya</a>のメンバーを中心に名古屋で毎月第4土曜日に勉強会を行っています。Coqや検証ツールに興味のある
 方はこちらもどうぞご参加ください
DTEND;TZID=Asia/Tokyo:20100829T173000
DTSTAMP;TZID=Asia/Tokyo:20100626T194034
DTSTART;TZID=Asia/Tokyo:20100829T131000
CLASS:PUBLIC
LAST-MODIFIED;TZID=Asia/Tokyo:20100828T063507
SEQUENCE:0
SUMMARY:Coq庵
UID:atnd-6022
URL:http://atnd.org/events/6022
END:VEVENT
END:VCALENDAR