Friday lecturer: Marianne Graves Petersen

Interacting with your sofa:
Interaction design for pervasive computing

Abstract

The move of computing into the physical environment and into most aspects of everyday life challenges how we understand and design human computer interaction. This talk describes research that addresses this challenge and it provides a number of examples from current and previous projects.

Emerging technologies...

---

CAGT Seminar: Rocio Santillan: Phase transitions in satisfiability

Title: Phase transitions in satisfiability
Speaker: Rocio Santillan
Time: Tue Dec 11th 2007 14:15-15:15
Location: Turing-014
Abstract:

Phase transitions not only occur in physics but also in many problems in computer science. An especially important problem is the satisfiability problem, SAT, for Boolean formulas. K-SAT is the problem, where the formulas are restricted to clauses consisting of...

---

PhD forsvar Kari Rye Schougaard Nørgaard

---

Kvalifikationseksamen, Allan Grønlund Jørgensen

---

End of 2nd quarter

---