Bisimulation invariance for monadic second-order logics

Room / venue details: 156
Address: Old Arts, Parkville - 3010, Australia