k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] K-related open problems and challenges

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "k-user AT cs.illinois.edu" <k-user AT cs.illinois.edu>
Subject: [[K-user] ] K-related open problems and challenges
Date: Sat, 27 Feb 2016 13:36:17 +0000
Accept-language: en-US

Dear K users,

We have recently compiled a list of open problems and challenges related to K
and its foundations at:

http://fsl.cs.illinois.edu/index.php/Open_Problems_and_Challenges

Please feel free to contact us if you are interested in any of these
problems, or if you are already working on any of them.

Best,
Grigore

[[K-user] ] K-related open problems and challenges, Rosu, Grigore, 02/27/2016
- Re: [[K-user] ] K-related open problems and challenges, Dwight Guth, 02/27/2016
  - Re: [[K-user] ] K-related open problems and challenges, Omar Duhaiby, 02/27/2016
- Re: [[K-user] ] K-related open problems and challenges, Dorel Lucanu, 02/29/2016
  - RE: [[K-user] ] K-related open problems and challenges, Rosu, Grigore, 02/29/2016