School of Technology and Computer Science

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

Depth-Independent Lower Bounds on the Communication Complexity of Read-Once Boolean Formulas
Speaker:
Sagnik Mukhopadhyay
Date:
Saturday, 10 Dec 2011, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

On Some Special Cases of the Entropy Photon-Number Inequality
Speaker:
Naresh Sharma
Date:
Wednesday, 30 Nov 2011, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar