Printervenlig version

Nyt om navne

Christina Jakobsen has joined Daimi as a PhD student with start the 1st of October. Her research area and the title of the PhD is “User driven innovation as a strategy in building processes”. How do we involve the users of a future building in the process of deciding what to build? The main case study of the research is Aarhus main library’s project of both building a new building for the library (the ‘Multimediehus’ at Aarhus harbour) and rethinking the future use of libraries

Sebastian Erdweg started his PhD studies at Aarhus University in October 2008.   He belongs to the programming languages group and his supervisor is Klaus Ostermann.

 

Nekrolog

Bo Fibiger, lektor og studieleder ved IMV, adjungeret professor ved Aalborg Universitet    f. 19.2.1945, †20.10.2008

Vi har med sorg erfaret, at vores ven, kollega og studieleder Bo Fibiger mandag d. 20. oktober er afgået ved døden efter lang tids svær sygdom.

Bo Fibiger har betydet meget for instituttet. Han blev lektor i 1971 og var med til at oprette Institut for Informations- og Medievidenskab i 1986. Desuden har han deltaget i opbygning og udvikling af flere uddannelser. Hele hans virke afspejler en levende interesse for formidlings-problematikker og læring.

Bo Fibiger blev magister i nordisk sprog (1971) og interesserede sig bl.a. for partipolitisk sprogbrug. Han underviste sprog og massekommunikation og deltog på den baggrund i udviklingen af faget medievidenskab.

Arbejdsom og med brede interesser

Bo Fibiger har i løbet af sin karriere deltaget i et utal af bestyrelser og kommissioner, fra institutbestyrer, censorformand og studieleder til formand for fakultetsstudienævn og andre centrale universsitetsorganer. Desuden sad han i et stort antal styregrupper for projekter inden for medieområdet og via sit politiske virke i kommune og amt for SF i et endnu større antal råd og udvalg. Hele regionen har nydt godt af Bo Fibigers fabelagtige arbejdsomhed og brede interesser. Også i nordisk sammenhæng er resultater af Bos indsats.

På instituttet vil vi ikke mindst huske Bo som brobygger mellem områder og som initiativtager til en lang række tiltag inden for undervisning og forskning. Bo ville en masse og magtede utrolig meget. I det seneste årti udkrystalliseredes hans interesser især ved oprettelse og udvikling af læringsområdet i relation til informationsteknologi og vidensmedier.

Bo Fibiger blev studieleder for at yde en sidste kraftindsats for sit institut før pensionen. Det er ulykkeligt, at han næsten samtidig blev ramt af svær sygdom, som gjorde det i stigende grad svært for ham at arbejde videre med sine visioner for instituttets udvikling. Han fik dog den glæde at blive udnævnt til adjungeret professor ved Aalborg Universitet inden for læringsområdet i september 2008.

Bo vil blive savnet

En usædvanligt dedikeret kollega har afsluttet sin gerning Mange af hans tanker og visioner vil dog overleve og gro videre blandt kolleger og studerende. Vi har mistet en god ven. Vi bøjer hovedet i respekt for, hvad han var og har ydet. Bo vil blive savnet.

Æret være hans liv og virke.

Steffen Brandorff,
institutleder

Inger Bernhard udstiller på Katrinebjerg

På grund af Bo Fibigers død har Helle Fibiger aflyst sin tidligere annoncerede udstilling heroppe. I stedet har hun bedt en af sine kollegaer i kunstnergruppen "De Elleville", Inger Bernhard, om at tage over.

På trods af den triste baggrund glæder vi os derfor til at præsentere Inger Bernhards malerier. Det sker ved en fernisering i begyndelsen af november. Nærmere dato følger.

Læs mere om Inger Bernhard her

 

 

 

 

Ikke længere en særlig daimi-variant af Emacs..

Da der ikke længere er ressourcer i it-staben der kan tage sig af vedligeholdelse og support af "daimi-setup" i Emacs, vil vi snarest ændre vores installation til en standard Emacs uden
lokale tilpasninger.

Såfremt der er brugere uden for it-staben der ønsker at udbyde tilpasningsmoduler, kan de benytte /users/contrib software-området.

HUSK mailsystem omlægges i weekenden !

HUSK at vi skifter MAILSYSTEM, og det berører alle der får mail gennem Datalogis it-drift.

I weekenden fra  lørdag d. 1/11 til søndag d. 2/11 2008 lukkes Datalogisk Instituts nuværende mailsystem til fordel for det fælles NFIT mailsystem. Det vil berøre alle med en mailkonto hos Datalogi både ansatte + studerende blandt andet:  @cs.au.dk, @alexandra.dk, @madalgo.au.dk, @birc.dk....

Mail vil stå i kø i weekenden

Omlægningen sker ved at det gamle system lukkes ned om lørdagen kl. 14. Om søndagen efter kl. 14 forventes igen normalt drift på det nye system. I den mellemliggende periode vil indkommende e-mail gå i kø lokalt og blive efterleveret søndag.

BRUGERNE skal selv rette deres mailprogram!

Al mail, mailaliases og mail-forwards migreres og alle mailadresser bevares, men skiftet indebærer at brugerne skal skifte mailopsætning, før de igen kan læse/sende e-mail.

Oplysninger der skal rettes er:

Ny SMTP server:         smtp.nfit.au.dk
Ny IMAP server:         imap.nfit.au.dk
Man bør vælge sikker opkobling (SSL/TLS).

Ny webmail: webmail.nfit.au.dk

Det anbefales at man printer denne mail ud, eller læser den på den nye webmail: webmail.nfit.au.dk

Administratorer af Mailman lister skal være opmærksom på at lister der
ikke er flyttet fra daimi-mail til NFIT-serveren, holder op med at fungere !

Har du spørgsmål, så prøv FØRST AT CHECKE:

http://www.cs.au.dk/~glad/flytte-faq.html
http://www.nfit.au.dk/teknik/mail/home.htm
www.cs.au.dk/mail
 

Søren Ertmann
Datalogisk Institut
tlf. 8942 5711

DAIMI Friday Lecture Series

On Friday November 11, Susanne Bødker talks about

Transparency - looking back at three decades of research

at 14:15 - 15:00 in The Large Auditorium at IT-Huset. There will be coffee and cake from 14:00. The talk will be in English.

Abstract:
Since the early days of HCI, transparency has been a conceptual focus  and a concern for design - is it possible to make the computer go away, be unnoticed to the human user? Should the computer be viewed as a conversation partner or disappear just like we do not need to know about car engines to drive a car? The mid-1980 brought alternatives like the tool-perspective or the media perspective, and in my 1991 book, "Through the Interface", I proposed the wider perspective of mediation as the key to understanding and designing interaction.

Mediation and transparency continued to be debated on the international scene. EU chose the "disappearing  computer" to frame their research program for pervasive computing, and the Palcom project started from challenging this perspective. The so-called third wave of HCI brought further challenges to the perspective by proposing that the computer should not go away, or disappear and the computing should be noticeable, rather than unnoticed.

In the UUID project we have worked with new design principles for mediation and ubiquitous instrumental interaction, and the talk with draw upon trajectories through the local and global history of HCI as well on the most recent research.

---

DAIMI Friday Lecture calender Fall 2008

Previous talks

APV-opfølgning: AU´s motionscenter

Har du brug for at få rørt lemmerne efter en lang dag med stillesiddende arbejde foran computeren, så er det måske en idé at slå et smut forbi Aarhus Universitets Motionscenter.

Billig motion en spytklat fra IT-parken

For kun 60 kr/måned kan ansatte på Aarhus Universitet blive medlem af AU´s motionscenter. Motionscenteret ligger på Katrinebjergvej 89C, hvor Institut for Idræt tidligere havde til huse.

For medlemsgebyret får du mulighed for individuel træning, holdtræning, helsetjek og meget mere under kyndig vejledning fra instruktører og fysioterapeut.

Besøg Motionscenterets hjemmeside

Få en gratis prøvetime

Sådan bliver du medlem

 

Udvekslingsstuderende i Berlin

Så er endnu en af vores studerende draget ud i den store verden. Mikkel Gravgaard Nielsen er kandidatstuderende og beretter fra sit studieophold på Freie Universität i Vestberlin.

 

Jeg er endt som udvekslingsstuderende i Berlin, nærmere bestemt på Freie Universität i Vestberlin. Og hvorfor så lige her? Tjoh, jeg er jo ikke vældig berejst. Århus, hvor jeg har boet i et kvart århundrede passer mig egentligt ganske godt. Men på vej hjem fra en sjælden udlandsrejse (Polen, af alle steder) gjorde jeg holdt i Berlins spritnye, metalglinsende Hauptbahnhof med tog der krydsede hinanden i flere etager. Jeg gik en tur forbi Reichstag, igennem Brandenburger Tor og forbi et rumstationslignende ministerie fra Stasi-tiden. Det lyder måske banalt, men denne lille turistrundfart på egen hånd fik på en eller anden måde tændt gnisten i mig (måske var det bare den slående kontrast til Warszavas brunkulslugtende beton), og jeg tænkte, at her kunne jeg egentligt godt tænke mig at bo.

Først skal det praktiske i orden og så kan man nyde kulturlivet

Men nok om mine motiver, for der er vel egentligt ingen grund til at undskylde at man er flyttet til Berlin; her er godt gang i kultur- og bylivet med historiske bygninger, museer, cafér alle vegne, et overdådigt musikmiljø og meget andet, så her er nok at tage fat på. Inden man kan kaste sig ud i alt dette, skal man dog som udvekslingsstudent lige have fodfæste mht. alt det praktiske - det er jo ikke kun for sjov, man er her. 

Først og fremmest skal man have tag over hovedet. Jeg havde fået stillet et kollegieværelse til rådighed gennem Freie Universität, men heldigvis kiggede jeg forbi kollegiet en måned før studieopholdet og måtte konstatere, at stedet lignede Skjoldhøj på en dårlig dag og i øvrigt lå langt fra både universitetet og midtbyen. Så en hurtig tur på en netcafé gav mig kontakt til en tysker på min egen alder, som jeg nu lejer et møbleret værelse af. Alt i alt kan det anbefales at prøve at finde noget bolig selv hernede, da værelser generelt er billigere end i Århus, og udbudet er forholdsvist stort.

Tysk bureaukrati lever i bedste velgående

Herefter var det tid til at tage kampen op med det tyske bureaukrati. Min roommate kan stolt fortælle at Tyskland har lige så mange regler og love som resten af verdens lande tilsammen. Måske har de brug for nogle flere, for der var ingen procedurer for, hvad man gør ved 700 udvekslingsstuderende, der gerne vil indskrives på samme tid.

Løsningen blev at vi alle måtte stå i kø ved ét kontor, blot for hver især at få udleveret en blanket samt individuel vejledning til, hvor vi skulle have blanketten underskrevet. Efter at have stået i kø ved det næste kontor, skulle den underskrevne blanket så returneres til det første kontor med dertilhørende kø. I sådanne situationer kan det blot anbefales at slå de optimeringslystne områder i hjernen fra og lege lemming, for det skal bare overståes. Den gængse kommentar fra østberlinere er i øvrigt, "ork, det var meget værre under DDR".

Sprogbarrieren

Selvom Berlin er en meget international by, foregår det meste hernede på tysk. De fleste unge kan tale engelsk, men de er slet ikke vant til det i samme grad som i Danmark. Naturligt nok, da man ikke er udsat så meget for engelsk i medierne. Men selvom folk i nogen grad forventer at man prøver at gebærde sig på tysk, er de generelt ganske modtagelige overfor alle gebrokkende afarter. Når man bliver talt til, skal man til gengæld også selv spidse ører, for det er ikke let at forstå "berlinerish", som nogle gange synes at minde mere om fordrukkent hollandsk end det smukke Hochdeutsch man lærte i skolen. 

Undervisningen på universitetet foregår også på tysk, og selvom de fleste undervisere snakker tydeligt og med knap så meget dialekt, er man naturligvis stadig nød til at bruge lidt ektra energi for at omsætte talestrømmene til noget forståeligt, hvis man i barndomshjemmet ikke har haft tradition for ZDF-krimier og schlagermusik. Men mon ikke det kommer.

Dermed er jeg så småt ved at overkomme bureaukrati- og sprogbarriererne, og i næste indlæg vil jeg fortælle mere om universitetet og undervisningen, samt om hvad man kan beskræftige sig med i sin sparsomme fritid.

Grüße, 

Mikkel

 

IBM tilbyder certificeringer til datalogistuderende

I et samarbejde mellem datalogi og IBM har en række studerende fået mulighed for at udvide deres pensum med et frivilligt selvstudie, der giver de studerende en certificering, hvis de består.

Certificering kan gøre dig mere attraktiv på arbejdsmarkedet

Certificeringer bliver mere og mere udbredt. Både blandt virksomheder og blandt arbejdstagere. Virksomhederne kan bruge certificeringer til at sikre sig, at deres medarbejdere har den kunnen som virksomheden efterspørger. Som medarbejder i en IT virksomhed, kan du gennem certificeringer gøre dig selv mere attraktiv eller ligefrem uundværlig.

Ideen med at tilbyde muligheden for certificeringer til de flittige studerende kommer oprindelig fra USA. Tilbuddet er en del af ’IBM Academic Initiative’. Et tiltag som Datalogi på Århus Universitet er medlem af.
Den første certificering i samarbejdet mellem IBM og Datalogi er certificeringen ’DB2 9 Family Fundamentals’.

25 datalogistuderende har taget imod tilbuddet om certificering

Det er første gang, at IBM i Danmark tilbyder de studerende på datalogi at kunne tage en certificering. Et tilbud som 25 ud af 71 studerende på et obligatorisk database kursus tog imod.

Blandt de studerende som har taget imod tilbuddet, er Peter Birk Nielsen og Lasse Staal, som begge læser på andet år af deres datalogistudie.

- Da jeg hørte om tilbuddet på vores databasekursus, så jeg det som en god mulighed for at udbygge mit CV, fortæller Peter Birk Nielsen.

- Desuden er det en oplagt mulighed for at få en øget kompetence inden for et specifikt område, supplerer Lasse Staal.

Både Peter Birk Nielsen og Lasse Staal bestod eksamen, og har nu deres første certificering på plads. Og skal man tro de to studerende på Datalogi, så bliver det ikke deres sidste.

- Vi er helt sikkert klar til endnu et certificeringskursus, hvis det bliver udbudt engang i fremtiden. Selv om vi har skullet bruge noget af vores fritid på kurset, har det været en positiv oplevelse fortæller Peter og Lasse.

 

Dagens billede

OWNER MOST WANTED

 

- findested cykelparkeringen

Cyklerne blive fjernet som hittegods senest d. 1. december 2008

 

Se cyklerne i fuld størrelse

Offentlige arrangementer

Bemærk at IT-Forums arrangementer ikke er offentlige men kun for medlemmer. Aarhus Universitet er medlem af IT-Forum, hvilket betyder at medarbejdere samt de studerende der har specielle interesser i specifikke arrangementer, pg.a. opgaveskrivning inden for emnet, derfor kan komme gratis ind. Andre skal betale for det.

---

30.10.2008	PL-Seminar Talk: Olivier Danvy
	We derive two big-step abstract machines, a natural semantics, and the valuation function of a denotational semantics based on the small-step abstract machine for Core Scheme presented by Clinger at PLDI'98. Starting from a functional implementation of this small-step abstract machine, (1) we fuse its transition function with its driver loop, obtaining the functional implementation of a big-step abstract machine; (2) we adjust this big-step abstract machine so that it is in defunctionalized form, obtaining the functional implementation of a second big-step abstract machine; (3) we refunctionalize this adjusted abstract machine, obtaining the functional implementation of a natural semantics in continuation style; and (4) we closure-unconvert this natural semantics, obtaining a compositional continuation-passing evaluation function which we identify as the functional implementation of a denotational semantics in continuation style. We then compare this valuation function with that of Clinger's original denotational semantics of Scheme. Presented at the 2008 Workshop on Scheme and Functional Programming, Victoria, BC, September 2008. In preparation for the talk, it would be a good idea to look again at Will Clinger's denotational semantics of Scheme and at his PLDI'98 paper.
Tid/sted	kl. 15.15 til 16.45 - Turing-014
Info	http://www.cs.au.dk
31.10.2008	PL-seminar talk: Chung-chieh Shan
	Shifting the Stage: Staging with Delimited Control Chung-chieh Shan (joint work with Yukiyoshi Kameyama and Oleg Kiselyov) It is often hard to write programs that are efficient yet reusable. For example, an efficient implementation of Gaussian elimination should be specialized to the structure and known static properties of the input matrix. The most profitable optimizations, such as choosing the best pivoting or memoization, cannot be expected of even an advanced compiler because they are specific to the domain, but expressing these optimizations directly makes for ungainly source code. Instead, a promising and popular way to reconcile efficiency with reusability is for a domain expert to write code generators. Two pillars of this approach are types and effects. Typed multilevel languages such as MetaOCaml ensure _safety_: a well-typed code generator neither goes wrong nor generates code that goes wrong. Side effects such as state and control ease _correctness_: an effectful generator can resemble the textbook presentation of an algorithm, as is familiar to domain experts, yet insert _let_ for memoization and _if_ for bounds-checking, as is necessary for efficiency. However, adding effects blindly renders multilevel types unsound. We introduce the first two-level calculus with control effects and a sound type system. We give small-step operational semantics as well as a continuation-passing style (CPS) translation. For soundness, our calculus restricts the code generator's effects to the scope of generated binders. Even with this restriction, we can finally write efficient code generators for dynamic programming and numerical methods in direct style, like in algorithm textbooks, rather than in CPS or monadic style.
Tid/sted	kl. 10.00 til 11.00 - Turing-014
Info	http://www.cs.au.dk
31.10.2008	Forandringsledelse ved implementering af komplekse informationssystemer
	Forelæsningen vil fokusere på såvel teoretiske som praktiske aspekter ved forandringsledelse i forbindelse med implementering af komplekse informationssystemer. Der indledes med en oversigt over organisationsteorier og deres sammenhæng til forandringsledelse. Herefter vil en række modeller til forandringsledelse blive gennemgået mere detaljeret, og de vil blive relateret til et praktisk eksempel med implementering af et CRM system i en større dansk servicevirksomhed. Såfremt tiden tillader det, så vil Pers forskningsprojekt vedrørende "virksomhedssystemer jomfrurejse" blive berørt, hvor institutionel teori anvendes som teoretisk linse. Per er ansat på Handelshøjskolen, Aarhus Universitet er ph.d.-stipendiat og forsker i sammenhængen mellem virksomhedssystemer og organisationer. Per er endvidere medejer af ProConsulting, som arbejder med rådgivning og konsulentbistand inden for projektledelse og forandringsledelse. Per har ca. 25 års praktisk erfaring med projektledelse og er IPMA certificeret seniorprojektleder. Per har en baggrund som cand.it og ingeniør.
Tid/sted	kl. 14:15 - Lille Auditorium
Info	http://www.imv.au.dk
04.11.2008	Er netværk for folket eller er netværk for fjollet?
	Samfundet udvikler sig i en retning, hvor freelance-virksomheder og projektansættelser breder sig, og vi skifter jobs hurtigere, end træerne skifter blade. Allerede nu er dit professionelle netværk en af de faktorer, du bliver ansat på. Arbejdspladserne foregår, netværket består. Hvem kender du? Undersøgelser viser, at du som studerende hovedsageligt kender andre studerende. Er dit netværk det bedste til at hjælpe dig til dit første job, eller til hvor man finder den bedste café latte? Hvad skal du gøre for, at dit netværk bliver til din fordel? Hvordan bliver du en netværker, der har stort udbytte af dit netværkspotentiale. fordi andre med glæde hjælper dig frem.
Tid/sted	kl. 14.00 til 16.30 - Center for Entrepreneurship, Finlandsgade 25
Info	http://www.katrinebjerg.net
04.11.2008	CAGT Seminar: Orestis Telelis
	Title: On Pure and (approximate) Strong Equilibria of Facility Location Games We study social cost losses in Facility Location games, where n selfish agents install facilities over a network and connect to them, so as to forward their local demand (expressed by a non-negative weight per agent). Agents using the same facility share fairly its installation cost, but every agent pays individually a (weighted) connection cost to the chosen location. We study the Price of Stability (PoS) of pure Nash equilibria and the Price of Anarchy of strong equilibria (SPoA), that generalize pure equilibria by being resilient to coalitional deviations. For unweighted agents on metric networks we prove upper and lower bounds on P oS, while an O(ln n) upper bound implied by previous work is tight for non- metric networks. We also prove a constant upper bound for the SPoA of metric networks when strong equilibria exist. For the weighted game on general networks we prove existence of e-approximate (e = 2.718...) strong equilibria and an upper bound of O(ln W) on SPoA (W is the sum of agents weights), which becomes tight (ln n) for unweighted agents. Joint work with Thomas Dueholm Hansen.
Tid/sted	kl. 14.15 til 15.15 - Turing-14
Tilmeldning	http://www.cs.au.dk
05.11.2008	PL-Seminar talk: Olivier Danvy
	Title: Towards compatible and interderivable semantic specifications for the Scheme programming language, part II: reduction semantics and abstract machines We present a context-sensitive reduction semantics for a lambda-calculus with explicit substitutions and store and we show that the functional implementation of this small-step semantics mechanically corresponds to an abstract machine. This abstract machine is very close to the abstract machine for Core Scheme presented by Clinger at PLDI'98. This lambda-calculus with explicit substitutions and store therefore aptly accounts for Core Scheme. Presented at the 2008 Workshop on Scheme and Functional Programming, Victoria, BC, September 2008. Joint work with Malgorzata Biernacka.
Tid/sted	kl. 9:30 til 10:30 - Turing-014
Info	http://www.cs.au.dk

---