Kvalifikationseksamen, Anders Bach Nielsen

---

MADALGO talk; Seth Pettie, University of Michigan

Title: Analyzing Splay Trees Using Davenport-Schinzel Sequences

Speaker: Seth Pettie, University of Michigan

Abstract:

The splay tree is a dynamic binary search tree that is conjectured to be universally efficient in the following way. On any sequence of accesses the splay tree is conjectured to take time within a constant factor of the optimal (offline) dynamic binary search tree. Splay...

---

UIST 2008 Exam

Dato endnu ikke fastlagt, men regn med 2-3 dage i denne uge

---

Computer Science Day

Department of Computer Science, University of Aarhus

Computer Science Day 2008

June 20, 1315-1630, 2008
The Large Auditorium, INCUBA Science Park, Aabogade 15

The Department of Computer Science presents its research activities on June 20 from 1315-1630 in a tightly packed program of 10 talks. The presentations are aimed at a broad audience. The Computer Science Day is thus a unique opportunity...

---

[PL Seminar] Talk: Ken Friis Larsen

Title:
It is verified, No Dead Players in Monkey Island 2

Speaker:
Ken Friis Larsen
DIKU

Abstract:
MuDDy is an ML interface to the BuDDy binary decision diagram (BDD)
library written in C. This combination of an ML interface to a
high-performance C library is surprisingly fruitful. ML allows you to
quickly experiment with high-level symbolic algorithms before handing
over the...

---