Sunday, August 25, 2019

[DMANET] Highlights of Logic, Games, and Automata: Last Call

Last call for registration for HIGHLIGHTS 2019.
REGISTRATION DEADLINE: 31 AUGUST 2019

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

17-20 September 2019, Warsaw
http://highlights-conference.org

COLOCATED EVENT:
+ School on Nominal Techniques - 3rd School on Foundations of Programming
and Software Systems (FOPSS), 10-15 September

================================================
HIGHLIGHTS 2019 is the 7th conference on Highlights of Logic, Games, and
Automata that aims to integrate the diverse research community working in
the areas of Logic and Finite Model Theory, Automata Theory, and Games for
Logic and Verification. Individual papers are dispersed across many
conferences, which makes them challenging to follow. A visit to the annual
Highlights conference offers a wide picture of the latest research in the
field and a chance to meet and interact with most of the members of the
research community. The speakers are encouraged to present their best
recent work at Highlights, whether already published elsewhere or not.

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.

Invited Tutorials
+ Sebastian Siebertz, Nowhere dense graph classes and algorithmic
applications
+ Guy Avni, Formal Methods Meets Algorithmic Game Theory

Invited Talks
+ Dmitry Chistikov, On the complexity of logics over the integers
+ Marie Fortin, Expressivity of first-order logic and star-free
propositional dynamic logic over ordered structures

Invited Spotlight Talks
Upper and Lower bounds for Reachability in Petri Nets and Vector Addition
Systems
+ Jérôme Leroux
+ Sylvain Schmitz

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