- 06/18 Schedule/Proofcafe_56
- 時間: 14:30 - 17:30
- 場所: [熱田集会室1F和室](https://goo.gl/LsiIKK)
- [The Little Prover](https://mitpress.mit.edu/books/little-prover) (JR熱田駅より徒歩約9分、名鉄神宮前より徒歩約8分)
- 資料: [https://drive.google.com/drive/folders/0B5rziAyUFgeJMWM4MGNhMDUtZTc3OC00OGVlLWE1ZjctZDUyNDg3MmE0ZDk4]()
- ソフトウェアの基礎: [http://proofcafe.org/sf/]()
- 問合せ: [\@yoshihiro503](https://twitter.com/yoshihiro503)
- Twitterハッシュタグ: [#ProofCafe](https://twitter.com/hashtag/proofcafe?f=tweets&vertical=default)
- ~~名古屋大学 理学部A館、多元数理科学棟の場所: [http://www.math.nagoya-u.ac.jp/ja/direction/campus.html]()~~
- [参加登録](http://proofcafe.connpass.com/event/33550/)