Past Events

Some Closure Results for Polynomial Factorization and Applications

Speaker: 

Mrinal Kumar

Organisers: 

Ramprasad Saptharishi

Time: 

Monday, 7 January 2019, 11:00 to 12:00

Venue: 

Abstract : In a sequence of seminal results in the 80's, Kaltofen showed that if an n-variate polynomial of degree poly(n) can be computed by an arithmetic circuit of size poly(n), then each of its factors can also be computed an

From Monetary to Non-Monetary Mechanism Design via Artificial Currencies

Speaker: 

Krishnamurthy Iyer

Organisers: 

Sandeep K Juneja

Time: 

Thursday, 20 December 2018, 16:00 to 17:00

Venue: 

Abstract: Non-monetary mechanisms for repeated allocation and decision-making are gaining widespread use in many real-world settings.  Our aim in this work is to study the performance and incentive properties of simple mechanisms

Formal Methods for Building a Multi-Robot Task Server

Speaker: 

Rupak Majumdar

Organisers: 

Paritosh K Pandya

Time: 

Monday, 17 December 2018, 16:00 to 17:00

Venue: 

Webpage: 

https://people.mpi-sws.org/~rupak/

Abstract: In this talk, I will talk about synthesis challenges that arose in our attempts to build Antlab, an end-to-end system that takes streams of user task requests and executes them using collections of robots. In Antlab, eac

Identifying Low-dimensional Data in High-dimensional Spaces

Speaker: 

Anindya De

Organisers: 

Piyush Srivastava

Time: 

Tuesday, 11 December 2018, 14:00 to 15:00

Venue: 

Abstract: Motivated by the problem of feature selection in machine learning, the problem of testing juntas, i.e., checking if a Boolean function on the n-dimensional hypercube only depends on k<<n coordinates, has attracted

Pages