HIGHLIGHTS 2021: 9th annual conference on Highlights of LOGIC, GAMES, and
AUTOMATA
15-17 September 2021, online (originally planned to be held in Aachen)
See the full programme:
http://highlights-conference.org
Registration is open and **free**:
http://highlights-conference.org/register/
********************************************************
HIGHLIGHTS 2021 is the 9th conference on Highlights of Logic, Games, and
Automata that aims to integrate the diverse research community working in
the areas of Logic, Finite Model Theory, Automata Theory, Games and
Verification. Individual papers are dispersed across many conferences,
which makes them challenging to follow. Participating in 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 three-day conference (15-17 September) will be preceded by a tutorial
day
(14 September). This year's edition will be held online, with no
registration fees.
TUTORIALS (September 14)
+ Christoph Haase, "A guided tour through Presburger arithmetic and friends"
+ Michał Pilipczuk, "Old and new advances in model checking first order
logic"
KEYNOTES
+ Rajeev Alur
+ Balder ten Cate
+ Karoliina Lehtinen
+ Nutan Limaye
+ Joel Ouaknine
**********************************************************
*
* 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
