Events: Synopsis Seminar

Formalizing Finite Set Combinatorics in Type Theory

Speaker:
Abhishek Singh
Organiser:
Prahladh Harsha
Date:
Wednesday, 15 Jan 2020, 11:30 to 13:00
Venue:
A-201 (STCS Seminar Room)
Category:

Some Derandomised Constructions in Quantum Information Processing

Speaker:
Aditya Nema
Organiser:
Pranab Sen
Date:
Tuesday, 17 Sep 2019, 16:00 to 18:00
Venue:
A-201 (STCS Seminar Room)
Category:

Studying Triangulations and Visibility Graphs of Planar Point Sets

Speaker:
Bodhayan Roy
Date:
Tuesday, 7 Apr 2015, 14:30 to 16:00
Venue:
AG-80
Category:

Hardness of Approximate Coloring

Speaker:
Date:
Tuesday, 10 Mar 2015, 16:00 to 17:00
Venue:
D-405 (D-Block Seminar Room)
Category:

Monte Carlo Based Methods for Pricing American Options

Speaker:
Date:
Tuesday, 26 Aug 2014, 14:30 to 16:00
Venue:
AG-80
Category: