k-user AT lists.siebelschool.illinois.edu
Subject: K-user mailing list
List archive
2017/10
4 mails
Chronological Thread << < page # 1/1 > >>
- 17/10/26
- [[K-user] ] Model checking, K version 4, Daniel Schnetzer Fava
- [[K-user] ] Call for Participation: ICFP 2017, Lindsey Kuper
- [[K-user] ] Call for Workshop Proposals: ICFP 2018, Lindsey Kuper
- 17/10/30
- [[K-user] ] Call for Sponsorships: ICFP 2018, Lindsey Kuper
Archive powered by MHonArc 2.6.19.