# 次回ProofCafe
- 04/27 [Schedule/ProofCafe_29]()
- 時間: 14:30 - 17:30
- 場所: [未定]()
- 参加登録: [PARTAKE: ProofCafe](http://partake.in/events/b2924ad5-5fad-4e45-9cc5-46a682b5e8a2)
- [ソフトウェアの基礎](http://proofcafe.org/sf/) 今回は[SfLib_J](http://proofcafe.org/sf/SfLib_J.html)から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)

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

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