Events: STCS Seminar

Formal Methods in Network Games

Speaker:
Shibashis Guha (The Université libre de Bruxelles Belgium)
Organiser:
Piyush Srivastava
Date:
Monday, 16 Sep 2019, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:

How to tell a tale of two tails?

Speaker:
Parthanil Roy (Indian Statical Institute Bangalore)
Organiser:
Sandeep K Juneja
Date:
Monday, 9 Sep 2019, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Community Detection in Preferential Attachment Graphs

Speaker:
Suryanarayana Sankagiri (ECE ILLINOIS Urbana Illinois 61801 United States of America)
Organiser:
Hariharan Narayanan
Date:
Monday, 19 Aug 2019, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Automated Reasoning for Replicated Systems

Speaker:
Kartik Nagar (Purdue University, USA )
Organiser:
N Raja
Date:
Thursday, 8 Aug 2019, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:

Polynomial to Exponential Transition in Ramsey Theory

Speaker:
Dhruv Mubayi (University of Illinois at Chicago Chicago, Illinois, U.S.)
Organiser:
Jaikumar Radhakrishnan
Date:
Tuesday, 6 Aug 2019, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category: