School of Technology and Computer Science

Past events

Are we thinking about the world the right way?
Organiser:
John Barretto
Date:
Thursday, 12 Jan 2012, 16:00 to 17:00
Venue:
AG-80
Category:
Colloquium

Mitochondrial Variability
Date:
Tuesday, 10 Jan 2012, 11:30 to 12:30
Venue:
A-269 (DAA Seminar)
Category:
Seminar

Short Proofs of the Quantum Substate Theorem
Speaker:
Ashwin Nayak Dept. of Combinatorics and Optimization Faculty of Mathematics University of Waterloo 200 University Avenue West Waterloo, Ontario N2L 3G1 Canada
Organiser:
John Barretto
Date:
Monday, 9 Jan 2012, 11:30 to 12:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Fighting Boolean Circuits: New Correlation Bounds and Pseudorandom Generators
Speaker:
Srikanth Srinivasan Rutgers University DIMACS New Brunswick New Jersey United States of America
Organiser:
John Barretto
Date:
Wednesday, 4 Jan 2012, 11:30 to 12:30
Venue:
A-212 (STCS Seminar Room)
Category:
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

Malware Detection by Behavioural Approach and Protection by Access Control
Speaker:
N.V. Narendra Kumar
Date:
Monday, 19 Dec 2011, 11:30 to 12:30
Venue:
AG-66 (Lecture Theatre)
Category:
PhD Thesis 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