ICTAC

International Colloquium on Theoretical Aspects of Computing

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