[loginf] call for papers AISS 2014

Markus Lohrey lohrey at informatik.uni-leipzig.de
Wed Jan 22 13:51:24 CET 2014


Workshop "Algorithmics of Infinite State Systems (AISS)"
             Vienna, July 18, 2014
         (satellite workshop of CSL-LICS 2014)

http://www.informatik.uni-bremen.de/~goeller/AISS14/Algorithmics_on_Infinite-State_Systems.html

The workshop 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.

We invite submissions on the following topics (no order) as well
as thereto related areas:

- abstract machine models for infinite state systems
 (e.g. pushdown systems, higher-order pushdown systems, counter automata)
- Petri nets
- automatic structures
- well-structured transition systems
- rewriting formalisms for infinite state systems
 (e.g. ground tree rewriting)
- higher-order recursion schemes
- algorithmic model theory
- games on infinite arenas
- model checking for infinite state systems
 (e.g. model checking for MSO, FO, CTL, LTL, mu-calculus)
- equivalence checking for infinite state systems
 (e.g. bisimulation equivalence checking)
- decomposition techniques for infinite state systems
 (e.g. Feferman/Vaught decompositions)
- reachability in infinite state systems


***Invited Speakers***

- Joel Ouaknine (University of Oxford)
- Olivier Serre (Universite Paris 7)

***Submissions***

Submissions should consist of an abstract of at most 4 pages.
We do not plan to have a published proceedings or special issue
for a journal. Theorefore, already published recent work is
welcome too.

Submissions should be made via the easy chair system:

https://www.easychair.org/conferences/?conf=aiss2014


***Programm committee***

- Tomáš Brázdil (Brno)
- Stefan Goeller, (Bremen, co-chair)
- Peter Habermehl (Paris)
- Christof Löding (Aachen)
- Markus Lohrey (Siegen, co-chair)
- Sylvain Salvati (Bordeaux)


***Important dates***

- Submissions by May 15, 2014
- Notification by June 1st, 2014
- Workshop: July 18, 2014


***Contact***

Stefan Goeller
University of Bremen
goeller at informatik.uni-bremen.de

Markus Lohrey
University of Siegen
lohrey at eti.uni-siegen.de


-------------- n?chster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20140122/6836ba2b/attachment.html>


More information about the loginf mailing list