ICTAC

International Colloquium on Theoretical Aspects of Computing

Ana Cavalcanti, University of York, UK

Martin Leucker (Chair), University of Lübeck, Germany

Zhiming Liu, Southwest University, China

Tobias Nipkow, Technische Universität München, Germany

Augusto Sampaio, Universidade Federal de Pernambuco, Brazil

Natarajan Shankar, SRI, USA

Tarmo Uustalu, Tallinn University of Technology, Estonia