Past events

Automated Test Generation Using Concolic Testing

Speaker:
Koushik Sen (University of California, Berkeley Department of Electrical Engineering  and Computer Sciences 581 Soda Hall # 1776 United States of America)
Organiser:
R K Shyamasundar
Date:
Tuesday, 3 Jun 2014, 11:30 to 12:30
Venue:
AG-66 (Lecture Theatre)
Category:

Multidimensional Scaling and Isomap

Speaker:
Organiser:
Sarat Babu Moka
Date:
Friday, 30 May 2014, 14:30 to 16:00
Venue:
D-405 (D-Block Seminar Room)
Category:

Extensional Crisis and Proving Identity

Speaker:
Ashutosh Gupta (Institute of Science and Technology Am campus 1 3400 Klosterneuburg Austria)
Organiser:
Paritosh K Pandya
Date:
Monday, 26 May 2014, 16:00 to 17:00
Venue:
D-405 (D-Block Seminar Room)
Category:

Hardness of Hypergraph Coloring

Speaker:
Organiser:
Girish Varma
Date:
Friday, 23 May 2014, 10:00 to 11:00
Venue:
AG-80
Category:

Sparse Process Flexibility Designs: Is Long-Chain Really Optimal?

Speaker:
Vineet Goyal (Columbia University Industrial Engineering and Operations Research 500 West, 120th Street New York, NY 10027 United States of America)
Organiser:
Sandeep K Juneja
Date:
Thursday, 22 May 2014, 16:00 to 17:00
Venue:
AG-80
Category:

Discrete Thermodynamics

Organiser:
Manoj Gopalkrishnan
Date:
Wednesday, 21 May 2014, 16:00 to 17:00
Venue:
D-405 (D-Block Seminar Room)
Category:

Bits to Barrels: Computational Challenges in the Energy Industry

Speaker:
Vianney Koelman (Head Shell's Computational Centre of Expertise Bangaluru  )
Date:
Friday, 16 May 2014, 16:00 to 17:00
Venue:
AG-66 (Lecture Theatre)
Category:

A Geometric Approach to the Global Attractor Conjecture

Organiser:
Manoj Gopalkrishnan
Date:
Monday, 12 May 2014, 16:00 to 17:00
Venue:
D-405 (D-Block Seminar Room)
Category:

Reliable, Deniable, Hidable Communication: Using Noise as Camouflage

Speaker:
Sidharth Jaggi (The Chinese University of Hong Kong Department of Information Engineering Room 706, Ho Sin-Hang Engineering Building Shatin, N.T. Hong Kong)
Organiser:
Vinod M. Prabhakaran
Date:
Monday, 5 May 2014, 16:00 to 17:30
Venue:
D-405 (D-Block Seminar Room)
Category:

Secure Information Flow: Formal Modelling, Analysis and Practical Applications

Speaker:
N.V. Narendrakumar (School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road Navy Nagar Mumbai 400005)
Organiser:
John Barretto
Date:
Friday, 2 May 2014, 14:30 to 16:00
Venue:
D-405 (D-Block Seminar Room)
Category: