School of Technology and Computer Science

Events: Seminar

Refined Approaches to Randomized Rounding
Speaker:
Nikhil Bansal Eindhoven University of Technology Department of Maths. & Computing Science HG 9.01 P.O. Box 513 5600 MB Eindhoven The Netherlands
Organiser:
John Barretto
Date:
Tuesday, 3 Jan 2012, 11:30 to 12:30
Venue:
AG-69
Category:
Seminar

The Role of Knowledge in Games
Organiser:
John Barretto
Date:
Monday, 2 Jan 2012, 10:30 to 11:30
Venue:
AG-69
Category:
Seminar

A Logic of Interactive Proofs
Speaker:
Simon Kramer University of Luxembourg Interdisciplinary Centre for Security and Trust Campus Kirchberg, F103 6, rue Richard Coudenhove- Kalergi 1359  Luxembourg
Date:
Monday, 19 Dec 2011, 11:30 to 12:30
Venue:
AG-80
Category:
Seminar

Observing Markov Chains by Timed Automata
Speaker:
Joost-Pieter Katoen RWTH Aachen University LS2: Software Modeling and Verification D-52056 Aachen Germany
Date:
Friday, 16 Dec 2011, 11:30 to 12:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Generalized Network Sharing bound and Two-Unicast Networks
Speaker:
Sudeep Kamath University of California at Berkeley Department of Electrical Engineering and Computer Science California 94720 United States of America
Organiser:
Vinod M. Prabhakaran
Date:
Wednesday, 14 Dec 2011, 14:00 to 15:00
Venue:
AG-69
Category:
Seminar