There is an Automata Conference there May 17-19. I volunteered at one of them a few years ago. I recommend it highly.
