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