Automata and Logic Workshop in AKITA