Deadline for early bird registration: 31 August.
HIGHLIGHTS 2019: 7th annual conference on Highlights of LOGIC, GAMES, and
AUTOMATA
17-20 September 2019, Warsaw
http://highlights-conference.org
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.
SCOPE:
Representative areas include, but are not restricted to:
+ logic and finite model theory
+ automata theory
+ games for logic and verification
================================================
COLOCATED EVENT:
3rd School on Foundations of Programming and Software Systems on
NOMINAL TECHNIQUES
10-15 September 2019
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/
*
**********************************************************
Posts
