This page is a stub. Please visit the full event page here.

Academic computer science is a vast area with many different goals and approaches. But “theory”, aka theoretical computer science, provides models and techniques for the formal analysis of these models; its profound influence can be found throughout computer science. Speakers from many different areas (VLSI design, asynchronous circuits, testing, verification, graphics, codes, computational complexity, networks, automata, grammars, etc.) will address the role of theory in computer science.
The goal of the Conference is to bring together speakers from many different areas to shed light on how theory is used in practice, and how practical problems can spur the development of theory.

The Conference will be hosted by the School of Computer Science at the University of Waterloo.