The third lecture will be given by Peter Nauer, the 2005 Turing Award winner and a Professor Emeritus at the University of Copenhagen.

[pi-lambda] talk by Martin Lange: "A simple proof of the exponential succinctness gap between CTL+ and CTL"As always, see the [ pi-lambda ] homepage for more info: [ http://www.brics.dk/pilambda/ ]

- fremlæggelse af ideer ti en datalogisk studenterforening ved repræsentanter fra "Det aktive studenter initiativ"- Informationer om den nye bacheloruddannelse- Premiere på kortfilmen Teaching Teaching & UnderstandingUnderstanding

Title: Grid Graph Reachability ProblemsSpeaker: Eric Allender, RutgersWe study the complexity of restricted versions of st-connectivity,which is the standard complete problem for NL. Grid graphs are auseful tool in this regard, since* reachability on grid graphs is logspace-equivalent to reachability in general planardigraphs, and* reachability…

Since 2001 the annual Danish Human-Computer Interaction Research Symposium has stimulated networking, andprovided an overview across the various parts of the Danish HCI research scene.

Lill KristiansenENME: An ENriched MEdia application utilizing context for session mobility in a telecom system;human and technical issues.Date: Friday, November 17 at 9:15-10.00 in Ada 333.Abstract: AWAREphone (and other simular systems such as 'AT&T active address book)is utilizing context/location/status PRIOR to placing a phone call.Coming from…