Events: Seminar

The Analysis and Design of Network Congestion Games

Speaker:

Umang Bhaskar (California Institute of Technology 1200 E. California Blvd. Pasadena, CA 91125 United States of America)

Organiser:

Kavitha Telikepalli

Date:

Thursday, 5 Jun 2014, 12:00 to 13:00

Venue:

AG-80

Category:

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