Wednesday, April 10, 2019

[DMANET] Highlights of Logic, Games, and Automata: date announcements

Dear all,

*Save the date!*
The Highlights of Logic, Games, and Automata conference will be held
in *Warsaw,
Poland, on 17-20 September 2019*:

The important dates are:
10 June: Submission deadline
20 June: Notification
31 July: Early registration deadline
17 September: Tutorial
18-20 September: Conference

The week before (10-15 September) we will have the 3rd FoPSS School on
Nominal Techniques:

* 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.