10 Apr
2019
10 Apr
'19
9:27 a.m.
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/