Please note that this newsitem has been archived, and may contain outdated information or links.
29 June 2012, Workshop on Algorithmics of Infinite State Systems (AISS), Dubrovnik, Croatia
This satellite workshop of LICS-2012 provides the opportunity to assess recent scientific advances and exchange ideas on the algorithmic theory of infinite state systems. Infinite state systems arise in many areas of computer science. Typical examples are recursive programs, communicating systems with unbounded buffers, and real time systems. Important algorithmic techniques dealing with infinite state systems include model checking, reachability and equivalence checking.
For more information, see http://www.informatik.uni-bremen.de/~goeller/AISS12
We invite submissions on the workshop topics. We do not plan to have a published proceedings or special issue for a journal. Theorefore, already published recent work is welcome too. Submission deadline is March 20th, 2012.
Please note that this newsitem has been archived, and may contain outdated information or links.