Printervenlig version

Visioner for det kommende IT-bibliotek

Bygningerne i IT-Parken skal udvides indenfor en nærmere årrække. Biblioteket skal bl.a. flyttes til de nye bygninger. I den forbindelse er der blevet lavet en fokusgruppeundersøgelse blandt de studerende i IT-Byen, for at få et overblik over, hvordan biblioteket bliver brugt nu, hvilke ønsker de studerende har til biblioteket og hvad der kan gøres bedre i fremtiden.

Der er meget at tage fat på. Biblioteket skal have bedre læsefaciliteter. Det skal være et læringssted, et sted hvor man har lyst til og mulighed for at læse alene i fred eller sammen med sin læsegruppe. Som det er idag, mangler der noget så banalt som strømudtag til de bærbare computere. Læsepladserne mellem reolerne har støjproblemer, der er manglende dagslys, træk og larm fra kantinen. Disse ting er vigtigere for de studerende end "kliniske, sterile, institutionsinspirerede betonvægge, med 30 meter til loftet og noget vægkunst, som ingen forstår meningen af" (citat fokusgruppeundersøgelsen).

Læs hele rapporten her.

---

 

Alexandra Instituttets (sofa)fodboldturnering

Når nu Danmark ikke klarede skærene i kvalifikationsrunden, må det  personlige engagement i EM opdyrkes på anden vis. Derfor har  medarbejderne på Alexandra Instituttet indgået et væddemål om, hvem  der har udtænkt EM-drømme-porteføljen. Og heldige (og dygtige) er de,  der har valgt Tyrkiet og Rusland, der har været turneringens  underseedede hold, som det ses.

Pointsystem og -administrering er udtænkt og udført af Jako

 

 

 

 

 

 

 

 

---

 

Teknologikaravanens stoppede først i Kalundborg

Teknologikaravanen bringer i løbet af sommeren 2008 den nyeste teknologiske viden og innovation til 11 danske byer, og første stop skete onsdag den 18. Juni i Kalundborg Hallerne.

Teknologikaravanens mål er at bygge bro mellem erhvervslivet og forskningen og dermed rette op på det skæve Danmark. Den højteknologiske forskning og innovation har nemlig tendens til at skabe klynger omkring de største byer, og det skaber en ulighed mellem dem og mellemstore danske byer.

 

Blandt de 17 prototyper, karavanen bringer med sig, findes:

GoalRef - den intelligente bold, som ved hjælp af indlejret it kan oplyse, om der er mål. Håndbolden skal bruges ved VM i 2009.

See-mi - teknologi der redder liv i trafikken. Med en unik anvendelse af RFID-teknologi forebygger See-mi højresvingsulykker mellem cyklister og lastbiler.

3D EarSim er et simuleringsværktøj for ørekirurger. Det er vanskeligt at operere i mellemøret bl.a. pga. tindingebenets tætte koncentration af nerver. Derfor har forskere udviklet simuleringsværktøjet 3D EarSim til kirurgen.

 

Karavanen er skabt i samarbejde mellem kompetencecentrene ISIS Katrinebjerg ved Alexandra Instituttet, CISS, CSI og KnowledgeLab samt en række store og små virksomheder.

 

Se indslag på TV2 fra dagen

Læs mere på Teknologikaravanens egen hjemmeside.

Eller i denne artikel fra Katrinebjerg-nyt

 

 

 

 

 

---

 

Nyt fra DAIMI's udvalg

DAIMI's udvalg vil i Internt Nyt på skift præsentere nogle af ting de arbejder med. Indlæggene er ikke tænkt som et fyldigt referat over hvad der er sket over en længere periode, men vil koncentrere sig om en eller to aktuelle begivenheder.

I denne udgave beretter

• PhD-udvalget beretter om PhD-ansøgninger og revision af hjemmesiden
  
• Seminarudvalget beretter om Computer Science Day og Friday Lectures

 

Tidligere nyheder fra DAIMI's udvalg

 

Nyt fra PhD-udvalget

PhD-ansøgninger

PhD udvalget har netop afsluttet en af årets store opgaver, nemlig at evaluere ansøgninger til PhD studiet i Datalogi. Runden med deadline 15/5 er traditionelt  den med det største antal ansøgere. I skrivende
stund er der ikke truffet endelig beslutning om optag, men vi kan i hvert fald glæde os over et stort og meget stærkt felt af ansøgere.

Naturvidenskab har i øvrigt generelt mange velkvalificerede ansøgere i år, så den krise omkring rekruttering til naturvidenskab der tales så meget om, er tilsyneladende gået uden om naturvidenskab i Århus.

Revision af PhD udvalgets websider

Den næste ting vi skal i gang med er en gennemgribende revision af PhD udvalgets websider.

Traditionelt har materialet omkring PhD-optag og studier ligget for sig selv på BRICS' websider, da BRICS historisk har været et selvstændigt projekt og samtidig instituttes PhD skole. Men det er klart, at det ikke holder på sigt.

Selvom vi ikke har planer om at stoppe vores samarbejde med andre, f.eks. IMV, så er der ingen tvivl om at BRICS med tiden vil blive integreret helt med resten af instituttet, og det vil også blive afspejlet i websiderne.

PhD-udvalget

 

Nyt fra Seminarudvalget

Seminarudvalget blev etableret i december 2006 og har til opgave at skabe brede faglige arrangementer, der henvender sig til alle ansatte og studerende ved Datalogiske Institut.

 

Udvalget har siden oprettelsen bestået af: Anders Møller, Marianne Graves, Lars Kristensen, Klaus Marius Hansen, Christian Storm Pedersen (formand) og Marianne Dammand Iversen.

Friday Lectures

Vi startede vores arbejde med at etablere foredragsrækken "Friday Lectures", således at der mindst een fredag eftermiddag i hver måned er et foredrag, der appelerer til en bred skare af ansatte og studerende ved instituttet.

Indtilvidere er det blevet til 10 foredrag. Næste foredrag er fredag den 5. september, hvor Erik Ernst fortæller om "Little Programming Language Secrets".

Løbende information om foredragsrækken findes på www-siden:

http://www.cs.au.dk/fridaylectures

Computer Science Day

Derdover står vi for at arrangere "Computer Science Day", hvor den brede vifte af forskningsaktiviteter ved Datalogisk Institut præsenteres for medarbejdere, studerende, og alle andre. I år blev "Computer Science Day" afholdt fredag den 20. juni, hvor man i løbet af 3 timer gennem 10 korte foredrag fik et overblik over instituttets mangfoldige forskningsaktiviteter.

Arrangementet var velbesøgt af både studerende og medarbejdere ved datalogisk institut, men også flere "udefra" deltog i arrangementet. De 10 præsentationer fra dagen er tilgængelige på www-siden:

http://www.cs.au.dk/csd2008/

Vi håber at gøre "Computer Science Day" til en tradition, således at Datalogisk Institut hvert år den "næstsidste fredag" i juni afholder et arrangement, hvor instituttets forskningsgrupper præsenterer deres aktiviteter for medarbejdere, studerende og alle andre. Arrangementets form ligger på ingen måde fast og gode ideer modtages selvfølgelig gerne.

Seminarudvalget

 

 

---

Fremtidens elektroniske avis

Af: Michelle Bach Mikkelsen

Så er det første år på den nye uddannelse Bachelor i IT ved at være slut. Som kulmination på det sidste forløb – et syv ugers projekt, hvor de studerende skulle komme med deres bud på, hvordan fremtidens elektroniske avis vil se ud – var der arrangeret åbent hus, hvor gæster kunne komme og se og mærke prototyperne.

Hvilke udfordringer har den elektroniske avis i fremtiden? Det var dette spørgsmål de studerende fra uddannelsen Bachelor i IT stod overfor, da de skulle til at i gang med deres store eksamensprojekt i et tværfagligt forløb. De studerende kunne vælge mellem tre fora; Caféen, hjemmet eller busstoppestedet.

Nyhedslæsning på cafe.

Et af de mange forslag til nyhedslæsning på en cafe var ”GosHip.” Har var der stillet en rundt bord op med en touchscreen integreret, hvor der konstant poppede små sladderbobler op. Det var så muligt at sende nyheden videre ved at tage fat på den og kaste den videre til næste bord. Ideen med dette var at skabe interaktion i cafémiljøet.

Et samarbejde med ”RarBar” på Jægergårdsgade førte til borde med skærme, hvor brugeren selv kan generere sine nyheder. Derfra vil nyheden cirkulere fra bord til bord, hvor de andre gæster har mulighed for at læse og kommentere på dem. En feature her er muligheden for at sende en privatbesked fra sin mobil til et bestemt bord.

En anden gruppe leverede nyhedsservice til Baresso – her var der lagt mere vægt på fordybelse til formiddagsgæsterne, så her havde nyhederne en anden og tungere kaliber. Ved at bruge et Baresso-stamkort, kan brugeren logge sig på en skærm og derfra surfe sig til nyheder.

Fremtiden flytter ind.

Et bud på fremtidens avis i hjemmet stod blandt andet Mette Aagaard bag. Her er tanken, at nyhedsfladen integreres i familiens spisebord. Via en interaktiv touch screen, hvor nyheder bobler frem, kan det enkelte familiemedlem vælge den nyhed, hun har lyst til. Tanken er at det skal samle familien og give den noget at snakke om ved middagsbordet. Mette Aagaard fortæller med stor entusiasme om, hvilke ideer gruppen havde gjort sig: At det skulle være muligt at integrere blandt Youtube og radiostationer i bordet, så brugeren kan lytte til radio under madlavningen – i stedet for at have fjernsynet tændt i baggrunden.

Mens man venter på bussen…

To grupper havde lagt mærke til, at ventetiden ved busstoppestedet var ”død tid”. ”Folk står jo bare og stirrer ud i luften,” fortæller en af de studerende, som har været med til at lave ”News-stop” – deres bud på, hvordan fremtidens busstoppested ser ud. Fælles for deres løsninger er korte nyheder og info om bustider.

Den ene gruppe lagde mere vægt på brugertilpassede nyheder, som via brugerens personlige buskort aflæste hvilke nyheder, den enkelte bruger er mest interesseret i. Den anden gruppes forslag var en stor interaktiv skærm, hvor den ventende bruger kunne vælge en af de mange nyheder, som konstant ville blive opdateret, og når så bussen er 100 meter fra stoppestedet, dukker en lille notits op på skærmen.

Samtidig tager begge grupper også hensyn til miljøet. I deres research lagde de nemlig også mærke til de gratisaviser, som flyder omkring et busstoppested. ”De fleste læser kun ganske kort i en gratisavis og tager den sjældent med sig,” mente begge grupper.

De besøgende til udstillingen var imponeret: ”Det ligner mere et rigtigt program end en prototype” bedømte Daniel Laursen, Creative director hos CGads, som af ren nysgerrighed kom forbi.

 

 

 

 

 

 

---

Klaus Ostermann får 10 millioner kroner til grundforskning

Det Europæiske Forskningsråd (ERC) har netop uddelt de første 300 bevillinger til unge forskere i Europa. Klaus Ostermann, lektor på Datalogisk Institut, har fået 10 millioner kroner til et femårigt grundforskningsprojekt. Målet er at definere grundlaget for et nyt og stærkere programmeringssprog.

Det startede med mere end 9100 ansøgere til de såkaldte "starting grants", som ERC uddeler for at støtte unge europæiske forskere. 559 gik videre til anden runde, og af dem fik 300 en bevilling. Fire af bevillingerne gik til forskere med projekter på danske værtsinstitutioner – tre til Århus Universitet og en til Københavns Universitet. Klaus Ostermann fik 10 millioner kroner til projektet "ScalPL – A Scalable Programming Language". Ansøgningsproceduren var overraskende ubureaukratisk fortæller Klaus Ostermann:

- Man skulle blot indsende en ottesiders ansøgning indeholdende projektbeskrivelse, cv og titler på de vigtigste publikationer. Det er mit indtryk, at man i bedømmelsen kiggede meget på cv, publikationslisten og på hvor tit, ansøgeren er blevet citeret i de førende tidsskrifter.

Fokus på grundforskning

Klaus Ostermann mener, at ERC er gået meget målrettet efter ambitiøse grundforskningsprojekter. Og det fremhæver han som et meget positivt aspekt ved de nye forskningsmidler, der bliver givet inden for EU's såkaldte 7. rammeprogram.

- Der er i dag i høj grad en tendens til at give midler til projekter, der fokuserer på anvendt forskning. Men det er altså også nødvendigt at støtte grundforskningen, hvis vi skal skabe grundlaget for de mere langsigtede løsninger.

Og det er ikke fordi Klaus Ostermann har berøringsangst over for industrien. Han har selv arbejdet i to år hos Siemens og kunne sagtens forestille sig igen en dag at arbejde uden for universitetets mure.

Forfølger en gammel drøm

Selve forskningsprojektet "ScalPL – A Scalable Programming Language" forfølger en gammel drøm inden for datalogien. I stedet for at anvende forskellige sprog til forskellige domæner - HTML til websider, SQL til databaser osv. – er målet at definere et generelt sprog, der tillader programmører at udvikle domænespecifikke programmer. Klaus Ostermann forklarer:

- Målet er at designe et sprog til at designe sprog. Man har tidligere forsøgt at udvikle generelle programmeringssprog, men de har reelt ikke været stærke nok til at honorere de krav, domænespecifik programmering stiller. Vores mål er at definere et generelt sprog, der samtidig har de nødvendige abstraktionsmekanismer til de enkelte domæner.

 

---

Efterlysning af IT-studerende til Cleese-Festival

Hjælp os med at hjælpe andre til et grin

- et tilbud om at være med til at lave verdens største John Cleese Festival i Århus Festuge

John Cleese Society of Århus & Omegn står bag festivalen, der er en 9 dage lang John Cleese-happening – med daglige konkurrencer i gakkede gangarter, film, kabaret og en cafe med pythonske installationer – i Studenterhuset i den gamle Toldbod i Nordhavnsgade.

Vi er mange til at løfte festivalen, men kunne godt bruge nogle flere. Gerne folk med lyst og forstand på at programmere en computer til at samarbejde med web-cam og sensorer og folk, der gerne taster af nysgerrighed.

Vil kalder det, at vi pythoniserer festivalen. Gør den interaktiv med skøre påfund. Se idéerne nederst i mailen – og kom selv med nogle bedre. PS som frivillig får du VIP-behandling.

Konceptet

Cafe Fawlty Python Cirkus er en 265 kvadratmeter ombygget version af badehotellet Fawlty Towers og Monty Python’s Flying Cirkus, der kombinerer stort anlagte begivenheder og små, diskrete morsomheder:

• Midnatskabaret med byens komikere
• Permanent "How to irritate people-workshop"
• Romerske dørmænd
• Restaurantshow med menukort direkte fra Cleese-universet
• Stand-up for Cleese
• Film-kavalkade med kult-fremvisninger

Stedet byder sig til som et refugium for alle, der ikke har købt billet til noget andet. For en 20’er kan man droppe ind, se lidt film eller bare tage en kop kaffe eller øl.

Se mere på www.Cleese.dk

Eller kontakt en af de andre tossede frivillige:

Pytoniseringer, lyd og lys
Per Hougaard, 4085 9299, hougaard@danmedia.dk

Pythoniseringer
Niels Einar Veirum , 31506035, nev@aod.aau.dk

Scenografi/byggeri, gakkede gangarter
Thomas Kehlet , 4021 8945, thomas.kehlet@tdcspace.dk

Komik
Jan Svarrer , 2636 3418, info@jansvarrer.dk;

Resten
Lars Møller, 2162 7470, lars@journalisterne.dk

Tossede til pythoniseringer, EKSEMPLER

• Cafe med talende elghoved (I speak English.. mv)
• Talende Cleese-figur i entreen (welcome to Fawlty Towers… mv)
• En Austin udenfor taler, når den piskes med en pilekvist
• Bagvæg hvorpå der projiceres web-tv fra forskellige steder i festivalen
• I loungen viser en skærm en faktisk pejs med ild i fra et meget koldt sted
• I hall’en ud til toiletterne vises sketchen med gakkede gangarter i en båndsløjfe
• Enarmet tyveknægt med replikker
• Jukeboks med Monty Python sketcher
• Metafor-maskine
• Web-tv fra gakkede gangarter ved Domkirken
• Mini-katapult til at kaste legetøjskøer
• Stor katapult til at kaste køer i havnen
• Øvebane til gakkede gangarter
• Test (How to irritate people.)
• Åbent Åndværksted
• Hotelværelse, hvor der sker noget

 

---

Dagens billede

De strammer den nu lidt med tildeling af læsepladser i år :-)

 

 

 

---

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.

---

26.06.2008	End-User Control in Ubiquitous Systems
	Erik Grönvall, PhD, University of Siena, Italy. Abstract As more and more devices are embedded into the environment, there is  a risk that the user loses the understanding and control of the  system. In normal use this is not always a problem, but when for  example a breakdown occurs it is crucial that the user understand the  system to be able to handle the situation. The process to aid  heterogeneous users in the sense making and control of distributed  and ubiquitous systems becomes important. My talk will introduce  different typologies of users, and how they interact differently with  technological systems. Examples of these different user categories  can be system developers, expert users and laypeople. Technical and  user requirements to enable end-user control will be discussed,  ranging from a survey of existing middleware infrastructures and what  they offer in terms of end-user control to the state-of-the-art in  end-user programming and other means that allow end-users to control  devices and systems in the ambient. To support the theoretical discussion, two case studies will be  presented where end-user control has been investigated using a novel  framework for Palpable Computing. Palpable here means graspable and  understandable and is manifested in a conceptual framework and a  reference implementation of a middleware for ambient and ubiquitous  computer systems. The two case studies (Neonatal Intensive Care and  Aquatic therapy for children) address the fields of service and  device composition and inspection of running entities, both from a  technical and user perspective. The two case studies will present two  different approaches to achieve end-user control and will provide the  ground for further discussions related to end-user control. Finally, end-user control will be viewed from a political and  economical perspective and what impact open systems that allow post- production configuration and adaptation can have on the everyday life  in different situations and cultures. About Erik Grönvall Erik Grönvall has a Ph.D. in Information and Communication  Technologies (University of Florence) and holds a Post-doc position  at the University of Siena. He lectures e.g. Java and Physical  computing and is part of a multi-disciplinary research team that  develops technology for people that usually do not represent target  groups for novel technology. He acquired this interest while working  in the telecom and Smart home industry in Sweden where he developed  and installed IT solutions for example in elderly care centres. As a  consultant, he has been developing exhibitions related to innovative  technology in the home, presented for example at the Science museum  of London and Telecom 99 (Geneva). His current research interests can  be found in the borderline where the technology and the users meet  and include issues like end-user control, pervasive health and  personal fabrication. Host: Olav W. Bertelsen
Tid/sted	kl. 11:15 til 12:00 - Ada-018
Info	http://www.cs.au.dk/
26.06.2008	[PL Seminar] Talk: Jan Midtgaard
	Title: A Calculational Approach to Control-flow Analysis by Abstract Interpretation Speaker: Jan Midtgaard IRISA / INRIA Rennes - Bretagne Atlantique Abstract: We present a derivation of a control-flow analysis by abstract interpretation. Our starting point is a transition system semantics defined as an abstract machine for a small functional language in continuation-passing style. We obtain a Galois connection for abstracting the machine states by composing Galois connections, most notable an independent-attribute Galois connection on machine states and a Galois connection induced by a closure operator associated with a constituent-parts relation on environments. We calculate abstract transfer functions by applying the state abstraction to the collecting semantics, resulting in a demand-driven 0-CFA. We thereby provide a novel characterization of the analysis. Joint work with Thomas Jensen Biosketch: Jan Midtgaard is post-doctoral researcher at IRISA / INRIA Rennes. He received a PhD in computer science from BRICS, Department of Computer Science at the University of Aarhus in 2007. His education included notable visits to Harvard University and Ecole Normale Supérieure in Paris. Jan's research interests include program analysis and transformation, programming language implementation and semantics - and the combinations hereof. Host: Olivier Danvy
Tid/sted	kl. 13:00 til 14:00 - Turing-014
Info	http://www.cs.au.dk/
30.06.2008	[PL Seminar] Talk: Jens Palsberg
	Speaker: Jens Palsberg, UCLA, University of California, Los Angeles. Abstract: We show that register allocation can be viewed as solving a collection of puzzles. We model the register file as a puzzle board and the program variables as puzzle pieces; pre-coloring and register aliasing fit in naturally. For architectures such as x86, SPARC V8, and StrongARM, we can solve the puzzles in polynomial time, and we have augmented the puzzle solver with a simple heuristic for spilling. For SPEC CPU2000, the compilation time of our implementation is as fast as that of the extended version of linear scan used by LLVM, which is the JIT compiler in the openGL stack of Mac OS 10.5. Our implementation produces x86 code that is of similar quality to the code produced by the slower, state-of-the-art iterated register coalescing of George and Appel with the extensions proposed by Smith, Ramsey, and Holloway in 2004. Joint work with Fernando Pereira; presented at PLDI 2008. Host: Michael I. Schwartzbach
Tid/sted	kl. 13:00 til 14:00 - Turing-014
Info	http://www.cs.au.dk/
01.07.2008	CAGT/COMA Seminar: Vladimir Gurvich
	Title: Generating Vertices of a Polyhedron is Hard Speaker: Vladimir Gurvich, University of Aarhus and RUTCOR, Rutgers University. Abstract: We show that generating all negative cycles of a weighted graph is hard in both directed and undirected cases. More precisely, all negative cycles cannot be generated in time polynomial in the number of such cycles, unless P=NP. As a corollary we solve in the negative two well-known generating problems from linear programming: * Given an infeasble system of linear inequalities, generating all minimal infeasible subsystems (so-called Helly subsystems) is hard. Yet, for generating maximal feasible subsystems the complexity remains open. * Given a feasible system of linear inequalities, generating all vertices of the corresponding polyhedron is hard. Yet, the problem reamins open in the case of bounded polyhedra. Joint work with L. Khachiyan, E. Boros, K. Borys, K. Elbassioni and H.R. Tiwary
Tid/sted	kl. 14:15 til 16:00
Info	http://www.cs.au.dk/