Events: Seminar

Human-in-the-Loop Embedded Systems: Specification, Design, and Verification

Speaker:
Dr. Sanjit A. Seshia (University of California, Berkeley Department of Electrical Engineering and Computer Sciences 253 Coray Hall # 1770 Berkeley, CA 94720-1770 United States of America)
Organiser:
Paritosh K Pandya
Date:
Thursday, 2 Jan 2014, 14:00 to 15:00
Venue:
D-460 (D-Block Conference Room)
Category:

Asymptotic Optimality of Constant-Order Policies for Lost Sales Inventory Models with Large Lead Times

Speaker:
Professor David A. Goldberg (Georgia Institute of Technology H. Milton Stewart School of Industrial and Systems Engineering 765 Ferst Drive Room 437 Groseclose United States of America)
Organiser:
Sandeep K Juneja
Date:
Thursday, 2 Jan 2014, 11:30 to 12:30
Venue:
AG-80
Category:

Some Complexity Aspects of Secure Multiparty Computation

Speaker:
Manoj M. Prabhakaran (University of Illinois at Urbana-Champaign Department of Computer Science 1110 West Springfield Urbana, IL 61801 United States of America)
Organiser:
Vinod M. Prabhakaran
Date:
Wednesday, 1 Jan 2014, 14:30 to 15:30
Venue:
AG-69
Category:

Strategizing in Communication

Speaker:
Rohit Parikh (City University of New York Department of Computer Science 365, Fifth Avenue New York, NY 10016-4309 United States of America)
Organiser:
N Raja
Date:
Monday, 30 Dec 2013, 11:30 to 12:30
Venue:
AG-80
Category:

Efficiency of a Two-stage Market for Capacity Allocation

Speaker:
Amar Prakash Azad (Centre National de la Recherche Scientifique (CNRS) Laboratory of Signals and Systems 91191 Gif-sur-Yvette (South Paris) France)
Organiser:
Sandeep K Juneja
Date:
Tuesday, 24 Dec 2013, 11:30 to 12:30
Venue:
AG-80
Category: