# 11月は[名古屋芋煮会](http://partake.in/events/9e6bb680-b09b-43bb-ae15-62d487b93934)のためおやすみです。

芋煮を作って食べましょう！

- [名古屋芋煮会2014](http://partake.in/events/9e6bb680-b09b-43bb-ae15-62d487b93934)
- 日時: 11/22(土) 11:00~
- 場所: 大高緑地公園 デイキャンプ場

# 次回ProofCafe 毎月第4土曜日開催です!

- 12/27 [Schedule/Proofcafe_43]()
- 時間: 13:30 - 17:30
- 場所: 名古屋大学 [多元数理科学棟](http://www.math.nagoya-u.ac.jp/ja/direction/campus.html)?
- 参加登録: [#ProofCafe - Partake](準備中)


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

# 2014年の活動
- 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)