# 次回ProofCafe 毎月第3土曜日開催です!
日程と内容は以下を参照してください。なお、参加登録は必須ではありません。気軽にお越しください。

https://proofcafe.connpass.com

- 06/17 Schedule/Proofcafe_66
- 時間: 14:30 - 17:30
- 場所: [名古屋大学](Access/名古屋大学)
- [The Little Prover](https://mitpress.mit.edu/books/little-prover)
- 資料: [https://drive.google.com/drive/folders/0B5rziAyUFgeJMWM4MGNhMDUtZTc3OC00OGVlLWE1ZjctZDUyNDg3MmE0ZDk4]()
- ソフトウェアの基礎: [http://proofcafe.org/sf/]()
- 問合せ: [\@suharahiromichi](https://twitter.com/suharahiromichi)
- Twitterハッシュタグ: [#ProofCafe](https://twitter.com/hashtag/proofcafe?f=tweets&vertical=default)
- [参加登録](https://proofcafe.connpass.com/event/)

![過去の勉強会の様子](http://images.instagram.com/media/2011/10/21/b783e5569e2b44529e451eca28b214fb_7.jpg)

# 2017年の活動
 -05/20 Schedule/Proofcafe_65
 -04/15 Schedule/Proofcafe_64
- 03/18 Schedule/Proofcafe_63
- 02/18 Schedule/Proofcafe_62
- 01/28 Schedule/Proofcafe_61

# 2016年の活動
- 12/10 Schedule/Proofcafe_60
- 10/22 Schedule/Proofcafe_59
- 09/17 Schedule/Proofcafe_58
- 07/16 Schedule/Proofcafe_57
- 06/18 [Schedule/Proofcafe_56]()
- 05/21 Schedule/Proofcafe_55
- 04/16 [NL名古屋](http://llnagoya.connpass.com/event/25541/)のためお休み
- 03/19 Schedule/Proofcafe_54
- 02/20 Schedule/Proofcafe_53
- 01/23 Schedule/Proofcafe_52

# 2015年の活動

- 12/19 Schedule/Proofcafe_51
- 09/19 [Schedule/Proofcafe_50]()
- 07/18 [Schedule/Proofcafe_49]()
- 06/27 [Schedule/Proofcafe_48]()
- 05/23はOSC nagoyaのためおやすみ
- 04/25 [Schedule/Proofcafe_47]()
- 03/28 [Schedule/Proofcafe_46]()
- 02/28 [Schedule/Proofcafe_45]()
- 01/24 [Schedule/Proofcafe_44]()

# 2014年の活動
- 12/27 [Schedule/Proofcafe_43]()
- [名古屋芋煮会2014](http://partake.in/events/9e6bb680-b09b-43bb-ae15-62d487b93934)
- 10/25 [Schedule/Proofcafe_42]()
- 09/27 [Schedule/Proofcafe_41]()
- 09/06 [Schedule/ProofSummit2014]()
- 07/26 [Schedule/Proofcafe_40]()
- 06/28 [Schedule/Proofcafe_39]()
- 05/24 [Schedule/Proofcafe_38]()
- 04/26 [StartSsreflect]()
- 03/22 [Schedule/Proofcafe_37]()
- 02/22 [Schedule/Proofcafe_36]()
- 01/25 [Schedule/Proofcafe_35]()

# 2013年の活動
- 12/28 [Schedule/ProofCafe_34]()
- 11/23 [名古屋芋煮会2013](http://partake.in/events/231cbdac-bd35-4abc-8a29-f24e90849820)
- 10/26 [Schedule/ProofCafe_33]()
- 09/28 [Schedule/ProofCafe_32]()
- 08/24 [ProofSummit 2013](http://partake.in/events/41ca44c0-c415-4f03-99da-5a6d2204941d)
- 07/27 [Schedule/ProofCafe_31]()
- 06/22 [オープンソースカンファレンス名古屋](http://www.ospn.jp/osc2013-nagoya/)に出展しました!
- 05/25 [Schedule/ProofCafe_30]()
- 04/27 [Schedule/ProofCafe_29]()
- 02/23 [Schedule/ProofCafe_28]()
- 01/26 [Schedule/ProofCafe_27]()

# 2012年の活動
- 12/22 [Schedule/ProofCafe_26]()
- 11/24 [Schedule/ProofCafe_25]()
- 10/27 [Schedule/ProofCafe_24]()
- 09/22 [Schedule/ProofCafe_23]()
- 09/02 [Proof Summit 2012](partake.in/events/3df37687-ccf7-440c-865c-3ddb1409f5df)
- 07/28 [Schedule/ProofCafe_22]()
- 06/23 [Schedule/ProofCafe_21]()
- 05/26 [ML名古屋](http://bit.ly/AvDQJz)
- 04/28 [Schedule/ProofCafe_20]()
- 04/07 Functional花見 [Schedule/FunctionalHanami2012]()
- 03/24 [Schedule/ProofCafe_19]()
- 02/25 [Schedule/ProofCafe_18]()
- 01/28 [Schedule/ProofCafe_17]()

# 2011年の活動
- 12/17 [Schedule/ProofCafe_16]()
- 11/26 [Schedule/ProofCafe_15]()
- 11/13 ProofCafe特別版 [証明ハッカソン](ProofThon)
- 10/22 [Schedule/ProofCafe_14]()
- 09/26 [Schedule/ProofSummit]()

# より昔の活動
[もっと昔の活動](http://coq.g.hatena.ne.jp/keyword/ProofCafe)