k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] K workshop/symposium at ASE'17?

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "k-user AT cs.illinois.edu" <k-user AT cs.illinois.edu>
Subject: [[K-user] ] K workshop/symposium at ASE'17?
Date: Mon, 6 Feb 2017 11:49:06 +0000
Accept-language: en-US

Dear K users,

The Automatic Software Engineering 2017 (ASE'17) conference will be held in
Champaign-Urbana, during the period Oct 30 - Nov 3, 2017
(http://www.ase2017.org/). ASE attracts between 200 and 400 software
engineers, many of them interested in symbolic execution, model checking,
even deductive verification.

We didn't have a K workshop for quite awhile. Would you be interested in
attending such an event in case we co-host it with ASE'17?

Also, should we try to expand the scope to include all semantic frameworks,
not only K? Something like "Automatic Semantics Engineering" ?

Grigore

[[K-user] ] K workshop/symposium at ASE'17?, Rosu, Grigore, 02/06/2017
- Re: [[K-user] ] K workshop/symposium at ASE'17?, Dorel Lucanu, 02/06/2017
  - Re: [[K-user] ] K workshop/symposium at ASE'17?, Sergio Yovine, 02/06/2017
- Re: [[K-user] ] K workshop/symposium at ASE'17?, Patrick Meredith, 02/06/2017