Wednesday, June 5, 2019

[DMANET] HIGHLIGHTS 2019: Last call for Presentations

Deadline: 10 June AoE

HIGHLIGHTS 2019: 7th annual conference on Highlights of LOGIC, GAMES, and

17-20 September 2019, Warsaw

HIGHLIGHTS 2019 is the seventh conference on Highlights of Logic, Games and
Automata that aims at integrating the community working in these fields.
Papers from these areas are dispersed across many conferences, which makes
them difficult to follow. A visit to the Highlights conference should offer
a wide picture of the latest research in the field and a chance to meet
everybody in the community, not just those who happen to publish in one
particular proceedings volume.

The conference is short (from 18 September to the mid-day on 20 September)
and it is preceded by the Highlights Tutorial Day (17 September). The
participation costs are modest and Warsaw is easy to reach.

The Contributed Presentations will be around ten minutes long. All speakers
will be also invited to contribute to a Poster Session, which will open new
ways of interaction at the conference for the whole Highlights community.

We encourage you to attend and present your best work, be it already
published or not, at the Highlights conference.

Representative areas include, but are not restricted to:
+ logic and finite model theory
+ automata theory
+ games for logic and verification

The main part of your submission is an abstract, which should serve as a
proposal for a presentation. Hence, submissions should have a single
author—the speaker. We expect you to present your favourite result of the
year, so there should be at most one submission per speaker. The Abstract
may include a list of co-authors.

There are no formal proceedings and we encourage submission of work
presented elsewhere. You may submit a pre-print of a paper that your
presentation is based on, but you are not required to do that.


10 June AoE: Submission deadline
20 June: Notification

3rd School on Foundations of Programming and Software Systems on
10-15 September 2019

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.