k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

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

From: Sergio Yovine <syovine AT dc.uba.ar>
To: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] K workshop/symposium at ASE'17?
Date: Mon, 06 Feb 2017 13:00:42 +0000

Grigore, nice idea!

On Mon, Feb 6, 2017 at 8:56 AM Dorel Lucanu <dlucanu AT info.uaic.ro> wrote:

This is a very good idea.
"Automatic Semantics Engineering" is nice but it could be confusing, at
least the acronym.
We may keep only "Semantics Engineering" and now the acronym is a part
of ASE.

Dorel

On 06/02/2017 13:49, Rosu, Grigore 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
>
>

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