Events: STCS Seminar

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:

Polynomial Approximations Over $\mathbb{Z}/{p^k}\mathbb{Z}$

Speaker:
Abhishek Bhrushundi (Rutgers University Department of Computer Science New Jersey United States of America  )
Organiser:
Prahladh Harsha
Date:
Tuesday, 18 Aug 2015, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:

Stable Point Processes, Branching Random Walks and a Prediction of Brunet and Derrida

Speaker:
Parthanil Roy (Indian Statistical Institute Statistics and Mathematics Unit 203, Barrackpore Trunk Road Kolkata 700108)
Organiser:
Sandeep K Juneja
Date:
Friday, 14 Aug 2015, 16:00 to 17:00
Venue:
AG-69
Category:

Dynamic Primal Dual Algorithms for Vertex Cover and Matching

Speaker:
Sayan Bhattacharya (Institute of Mathematical Sciences IV Cross Road, CIT Campus Taramani Chennai 600113)
Organiser:
Jaikumar Radhakrishnan
Date:
Wednesday, 12 Aug 2015, 14:30 to 15:30
Venue:
A-212 (STCS Seminar Room)
Category:

Community Detection in Networks: SDP Relaxations and Computational Gaps

Speaker:
Yihong Wu (University of Illinois at Urbana-Champaign 129, Coordinated Science Lab MC 228 1308 W. Main Street Urbana Illinois 61801 United States of America)
Organiser:
Vinod M. Prabhakaran
Date:
Tuesday, 28 Jul 2015, 14:30 to 15:30
Venue:
A-212 (STCS Seminar Room)
Category: