A Polynomial time Algorithm for the Minimum Generating set Problem for Groups STCS Seminar Speaker: Dhara ThakkarOrganisers: Varun RamanathanTime: Tuesday, 3 October 2023, 16:00 Venue: via Zoom in A201 Webpage: https://sites.google.com/iitgn.ac.in/dharathakkar Read more about A Polynomial time Algorithm for the Minimum Generating set Problem for Groups
Harnessing Multiple BMC Engines Together for Efficient Formal Verification STCS Seminar Speaker: Ansuman BanerjeeOrganisers: Shibashis GuhaTime: Tuesday, 17 October 2023, 16:00 Venue: A-201 (STCS Seminar Room) Webpage: https://www.isical.ac.in/~ansuman/ Read more about Harnessing Multiple BMC Engines Together for Efficient Formal Verification
Load Balancing under Data Locality: Extending Mean-Field Framework to Constrained Large-Scale Systems STCS Seminar Speaker: Debankur MukherjeeOrganisers: Sandeep K JunejaTime: Tuesday, 21 November 2023, 16:00 to 17:00 Venue: A201 Webpage: https://www.isye.gatech.edu/users/debankur-mukherjee Read more about Load Balancing under Data Locality: Extending Mean-Field Framework to Constrained Large-Scale Systems
To be Announced STCS Seminar Speaker: Srivatsan SridharOrganisers: Vinod M. PrabhakaranTime: Tuesday, 12 December 2023, 16:00 to 17:00 Venue: A201 Read more about To be Announced