Computer Science News
DIMAP Logic Day 2015
On June 1st 2015, our Division of Theory and Foundations, jointly with DIMAP, organized DIMAP Logic Day 2015. The goal of the event was to bring together the UK community of researchers and graduate students interested in the study of logics, automata and games.
The event had an outstanding list of invited speakers from leading academic institutions and research labs (Nathalie Bertrand, INRIA Rennes; Antonin Kucera, Brno; Slawomir Lasota, Warsaw; Davide Sangiorgi, Bologna, INRIA Sophia Antipolis; Sylvain Schmitz, Cachan, INRIA Saclay, Warwick; James Worrell, Oxford) presenting recent advances in logic in computer science, and attracted over 40 participants from the UK and abroad.