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*:
http://highlights-conference.org/

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:
https://www.mimuw.edu.pl/~fopss19/

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************