You are here: News & Events

News & Events

News

No articles found in this list

Events

Tue Sep 05
09:00-10:00 | Turing-024
formøde for IT-udvalg
Tue Sep 05
09:30-11:00 | Ada-018
Thesis Exam. Søren Olesen: Framework for Boardgames.
Fri Sep 08
13:15-14:00 | Turing-024
ALCOM seminar, Sariel Har-Peled

On low dimensional coresetsSariel Har-PeledUniversity of Illinois, Urbana-Champaign (UIUC).In this talk we will review some low-dimension geometric approximationalgorithms that work by extracting a small subset oftheinput, and performing the computation on this small subset.Such subsets, referred to as coresets, had emerged as a powerful tool,and…

Tue Sep 12
09:00-10:30 | Ada-018
IT-udvalgsmøde med Kurt
Fri Sep 15
13:15-14:00 | Turing-024
ALCOM Seminar, Daniel Andersson

Title: Improved Algorithms for Discounted Payoff GamesAbstract:This talk is devoted to the design and analysis of combinatorialalgorithms for solving one-player versions of several prominentinfinite duration games pertinent to automated verification ofcomputerized systems.We present the first two strongly polynomial algorithms for…

Mon Sep 18
13:15-14:15 | eReception
[Pi-Lambda]: Talk (Martin Lange)
Thu Sep 21
15:15-16:15 | eReception
[Pi-Lambda]: Talk (Glynn Winskell)
Tue Sep 26
14:00-15:00 | Ada-018
Jing Sun Thesis exam: Software Architecture Conformance checking
Comments on content: 
Revised 24.08.2011