k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

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

From: Patrick Meredith <pmeredit AT gmail.com>
To: "Rosu, Grigore" <grosu AT illinois.edu>
Cc: "k-user AT cs.illinois.edu" <k-user AT cs.illinois.edu>
Subject: Re: [[K-user] ] K workshop/symposium at ASE'17?
Date: Mon, 6 Feb 2017 08:32:42 -0500

Sounds like a cool idea to me.

On Mon, Feb 6, 2017 at 6:49 AM, Rosu, Grigore <grosu AT illinois.edu> wrote:

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

-Patrick

[[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