School of Technology and Computer Science

Events: Seminar

Welfare and Profit Maximization with Procurement Costs
Speaker:
Ankit Sharma Carnegie Mellon University School of Computer Science 5000 Forbes Avenue Pittsburgh PA 15213-3891 United States of America
Organiser:
Kavitha Telikepalli
Date:
Tuesday, 3 Jan 2012, 14:30 to 15:30
Venue:
AG-80
Category:
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