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.

This school is primarily intended for third year onwards undergraduate (BE/BTech/BSc/BCA) and post graduate (ME/MTech/MSc/PhD) students of computer science and related disciplines. Researchers and faculty members are also welcome. Pre-requisites to participate in this workshop are a basic understanding of discrete mathematics, data structures and algorithms. Hence this workshop would be suitable for undergraduate students who have completed at least 4 semesters in a typical computer science, information technology or related streams.