Bachelororientering

---

Pi-lambda talk: Peter Thiemann

Title: JavaGI: Generalized Interfaces for Java
Speaker: Peter Thiemann (Universität Freiburg, Germany)
Time and place: Tuesday, May 1, 2007 at 11:15 in Ada-018
Host: Olivier Danvy

Abstract:

JavaGI is an experimental language that extends Java 1.5 by generalizing the interface concept to incorporate the essential features of Haskell's type classes. In particular, generalized interfaces cater for...

---

Ph.d.-information

Hvis du er interesseret i at søge ind på ph.d.-studiet eller blot vil vide mere er vi klar med information om ph.d.-uddannelsen i datalogi og hvad der kræves for at søge ind på studiet.

Til stede ved mødet vil være repræsentanter fro ph.d.-udvalget suppleret med et par nuværende ph.d.-studerende.

Hvis du har spørgsmål vedrørende ph.d.-uddannelsen, men er forhindret i at møde op til mødet, er du...

---

PhD defence, Kevin Millikin

Kevin Millikin defends his PhD dissertation "A Structured Approach to the Transformation, Normalization and Execution of Computer Programs".

---

Pi-Lambda talk: Julia Lawall

Date and time:
May 2, 11:15-12:00, in Ada-018

Title:
Practical program transformation using temporal logic and model checking

Speaker:
Julia Lawall
DIKU

Host:
Olivier Danvy

Abstract:
Program transformations that affect the use of protocols, such as
open/read/write/close for files or malloc/free for memory, require taking
program control-flow into account, and thus cannot be...

---