среда, 10 сентября 2014 г.

Haifa Verification Conference

Вчера получил уведомление о том, что наша статья на конференцию HVC (http://www.research.ibm.com/haifa/conferences/hvc2014/) была принята:

The PC found the paper to be of borderline theoretical contribution,
but we all found the case study very interesting, and would therefore
like to offer you the opportunity to be accepted as a tool paper.
As a tool paper, your paper will be included in the proceedings (with
a smaller page limit), and you will have an opportunity to give a
(shorter) talk at the conference.
We would very much like to see your presentation at HVC, please let me
know if you are interested.
--Eran