School of Technology and Computer Science

Events: Seminar

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:
Seminar

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:
Seminar

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

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:
Seminar

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