School of Technology and Computer Science

Events: Project Seminar

An Introduction to Epistemic Logics
Speaker:
Suhail Sherif
Date:
Friday, 8 Jan 2016, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category:
Project Seminar

Constant Depth Circuit Complexity of Powering
Speaker:
Nikhil S Mande
Organiser:
Nikhil S Mande
Date:
Wednesday, 18 Mar 2015, 16:15 to 17:15
Venue:
D-405 (D-Block Seminar Room)
Category:
Project Seminar

Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism
Speaker:
Abhishek Singh
Date:
Friday, 20 Feb 2015, 11:00 to 12:30
Venue:
D-405 (D-Block Seminar Room)
Category:
Project Seminar

Distance Preserving Minors in Graphs
Speaker:
Kshitij Gajjar
Organiser:
Kavitha Telikepalli
Date:
Tuesday, 20 Jan 2015, 16:00 to 17:30
Venue:
D-405 (D-Block Seminar Room)
Category:
Project Seminar

An Attempt to Derandomize the Random Unitary Matrices Used for Decoupling in Quantum Information Theory
Speaker:
Gowtham Raghunath Kurri
Organiser:
Jaikumar Radhakrishnan
Date:
Monday, 8 Dec 2014, 12:00 to 13:00
Venue:
D-406 (D-Block Conference Room)
Category:
Project Seminar