Tool session

In addition to standard sessions, CIAA 2019 will have a tool session. This session will be the occasion to demonstrate tools on automata to the CIAA audience. If you are interested in presenting your tool in this session, please send an e-mail to ciaa2019@saske.sk with a brief description of the tool by *** July 22 ***. The descriptions of the tools will appear on this webpage.