k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- 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.