Revision 02eca0701a630c504b3888e70122a2cb9420fdc1
Schedule
次回ProofCafe 毎月第3土曜日開催です!
あけましておめでとうございます！1月はセンター試験による教室使用のため、第4土曜日にします。 Software Foundations を読みましょう。
- 01/23 Schedule/Proofcafe_52
- 時間: 14:30 - 17:30
- 場所: 名古屋大学
- ソフトウェアの基礎: http://proofcafe.org/sf/
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
- 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
- 10/26 Schedule/ProofCafe_33
- 09/28 Schedule/ProofCafe_32
- 08/24 ProofSummit 2013
- 07/27 Schedule/ProofCafe_31
- 06/22 オープンソースカンファレンス名古屋に出展しました!
- 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
- 07/28 Schedule/ProofCafe_22
- 06/23 Schedule/ProofCafe_21
- 05/26 ML名古屋
- 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特別版 証明ハッカソン
- 10/22 Schedule/ProofCafe_14
- 09/26 Schedule/ProofSummit