Workshop on Theoretical Foundations of Computer Science

International Institute of Information Technology, Bangalore (IIIT-B) is organising a “Summer School on Theoretical Foundations of Computer Science” that is sponsored by Sonata Software Ltd. The aim of this school is to encourage and promote interest in theoretical foundations of computer science among students and researchers. We identify a few selected topics in theoretical computer science and aim to conduct lectures in a tutorial fashion, primarily aimed at students with a basic understanding of theoretical computer science. This five-day event also features a few invited talks given by researchers from both academia and industry. The focus of the tutorial-style lectures will be on the foundations of the selected topics and will aim to include problem solving/hands-on sessions. The invited talks will focus on the state-of-the-art research on these or related topics and their applications.

The topics that we aim to cover are from Approximation Algorithms, Parameterised Algorithms and Complexity, Cryptography, Program Analysis and Formal Methods, and Theoretical Foundations of Distributed Computing. Since each of the above topics is itself broad, we only seek to give a very brief overview of the subject, and additionally some deeper insights into specific sub topics that may reflect the research interests of the speakers.

More details on workshop website.