VSL 2014: VIENNA SUMMER OF LOGIC 2014
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

Call for Papers

Call for Papers

Organization

Program Committee