AISS Home Page
Algorithmics of Infinite State Systems 2014
Overview
AISS 2014 is the 2nd Workshop on Algorithmics for Infinite State Sytems.
Detailed information on AISS 2014 can be found on the AISS 2014 website.
Invited Speakers
- Joel Ouaknine (Oxford)
- Olivier Serre (Paris)