K-user mailing list

[Dorel Lucanu <dlucanu AT info.uaic.ro>]

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