Skip to main content

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.

Venue and programme:

Warwick Mathematics Institute, Room B3.02 (3rd floor), University of Warwick

DIMAP Logic Day will start at 10am and will finish at 6pm: Programme.

Registration:

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.

Speakers:

nat.jpg

Nathalie Bertrand
INRIA Rennes

tony.png

Antonin Kucera
Brno

images_38.jpeg

Slawomir Lasota
Warsaw

photodavidesmall.jpg

Davide Sangiorgi
Bologna, INRIA Sophia Antipolis

sylvain.jpeg

Sylvain Schmitz
Cachan, INRIA Saclay, Warwick

ben.png

James Worrell
Oxford

Local organisers:

Marcin Jurdzinski Ranko Lazic Andrzej Murawski Patrick Totzke