DIMAP Logic Day 2015
DIMAP Logic Day 2015 will take place at DIMAP, University of Warwick, on June 1, 2015.
The goal is to bring together the UK community of researchers and graduate students interested in the study of logics, automata and games, and their applications. The event will provide exciting invited lectures presenting recent advances in the field, and also will provide lots of opportunity for discussions.
Warwick Mathematics Institute, Room B3.02 (3rd floor), University of Warwick
DIMAP Logic Day will start at 10am and will finish at 6pm: Programme.
Participation in the workshop is free, but all participants are asked to register at the link provided. Lunch, coffee and tea breaks will be provided.
To help us with organisation, please register as soon as possible, and at the latest by Monday, May 25.
|
Nathalie Bertrand |
Antonin Kucera |
Slawomir Lasota |
|
Davide Sangiorgi |
Sylvain Schmitz |
James Worrell |
| Marcin Jurdzinski | Ranko Lazic | Andrzej Murawski | Patrick Totzke |