School of Technology and Computer Science

Past events

Phase Transitions in Random k-satisfiability Problems
Speaker:
Sumedha (NISER PO: Sainik School Khorda District Bhubaneswar Odisha)
Date:
Monday, 12 Oct 2015, 16:00 to 17:00
Venue:
A-304 (Theoretical Physics Seminar Room)
Category:
Special Random Interactions

The Bit-Probe Complexity of Set Membership
Speaker:
Mohit Garg
Organiser:
Kavitha Telikepalli
Date:
Thursday, 8 Oct 2015, 14:30 to 15:30
Venue:
AG-80
Category:
PhD Synopsis Seminar

Optimal Offline and Competitive Online Strategies for Transmitter-Receiver Energy Harvesting
Speaker:
Rahul Vaze
Date:
Tuesday, 6 Oct 2015, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:
STCS Colloquium

Hashing Based Almost-uniform Generation and Model Counting
Speaker:
Supratik Chakraborty (Indian Institute of Technology Department of Computer Science and Engineering Powai Mumbai 400076)
Organiser:
Umang Bhaskar
Date:
Tuesday, 22 Sep 2015, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:
STCS Colloquium

Studying Triangulations and Visibility Graphs of Planar Point Sets
Speaker:
Bodhayan Roy
Date:
Wednesday, 16 Sep 2015, 11:00 to 12:00
Venue:
AG-66 (Lecture Theatre)
Category:
PhD Thesis Seminar

Algebraic Methods in Distributed Graph Algorithms
Speaker:
Ami Paz (Technion Israel Institute of Technology Department of Computer Science Haifa 3200 Israel)
Organiser:
Kavitha Telikepalli
Date:
Tuesday, 15 Sep 2015, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:
STCS Seminar

MobileDiagnosis® Model: Use of m-Technology in Rural Health Care and Education
Speaker:
Livia Bellina (Founder and President of Mobile Diagnosis Palermo via Sciuti 180 90144 Italy)
Date:
Friday, 11 Sep 2015, 16:00 to 17:00
Venue:
AG-66 (Lecture Theatre)
Category:
ASET Colloquium

Drainage Networks and the Brownian Web
Speaker:
Rahul Roy (Indian Statistical Institute Stat. Math. Unit 7, S.J.S. Sansanwal Marg New Delhi 110016)
Organiser:
Umang Bhaskar
Date:
Tuesday, 8 Sep 2015, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:
STCS Colloquium

Statistical Model Checking for Unbounded Temporal Properties
Speaker:
Przemyslaw Daca (Institute of Science and Technology Am Campus 1 A - 3400 Klosterneuburg Austria)
Organiser:
Ashutosh Gupta
Date:
Tuesday, 1 Sep 2015, 15:30 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:
STCS Seminar

A Deterministic Polynomial Time Algorithm for Word Problem Over the Free Skew Field
Speaker:
Ankit Garg (Princeton University Department of Computer Science 35, Olden Street Princeton, NJ 08544 United States of America)
Organiser:
Umang Bhaskar
Date:
Tuesday, 25 Aug 2015, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:
STCS Colloquium