Begivenheder

Computer development in Denmark started in 1955, when the Academy of Technical Sciences (ATV) created Regnecentralen as an independent ATV-institute.

For 50 år siden – i januar 1960 - blev programmeringssproget Algol diskuteret og finpudset på et internationalt møde med 13 deltagere fra Danmark, England, Frankrig, Holland, Schweiz, Tyskland og USA. Peter Naur færdigredigerede rapporten ALGOL 60, udgivet af Regnecentralen Februar 1960. Mødet 13.

DIKU Talk by Niklas Gustafsson, software architect at Microsoft Corporation.

Abstracts:

Parallel Computing Platform
With Visual Studio 2010, Microsoft is shipping a broad set of technologies to support programmers in their quest of taking full advantage of the emerging parallel hardware.

Speaker: Charles Consel, INRIA / University of Bordeaux

Time & Place:
Thursday 25th February, 10:30

Abstract:
Because caregivers support people with disabilities in their daily life, they are most qualified to devise practical approaches to address these disabilities.

PhD-defence by Jesper Andersen

Abstract
Collateral evolution is the problem of updating several library-using programs in response to API changes in the used library.

DIKU afholder institutmøde den 26. februar 2010.
Program:
1. DIKUs regnskab for 2009 og budget 2010
2. Strategi-handlingsplan
3. Science Advisory Board Report

Vedlagt er udkast til handlingsplan for implementering af DIKUs strategi.
Udkastet bygger bl.a. på input fra DIKUs strategidag den 22.

Den 1. marts 2010 markerer DIKU officielt ansættelsen af instituttets to nye professorer med en dobbelt tiltrædelsesforelæsning ved hhv. Jørgen Bansler og Kasper Hornbæk.
Begivenheden fejres med en efterfølgende reception.

Ph.d. studerende Rune M. Friborg

Resumé:

Det stigende antal kerner i dagens processorer stiller større krav til, at der pro-grammeres med samtidighed for øje. Men, at skrive korrekte programmer, der kan udnytte flere kerner, er svært.

Informal Seminar on Logic and Its Foundation

We are a group of mainly philosophers and computer scientists, most of
us with a background in mathematics, which have broad interest in logic
and its foundation and in pure logic as well as philosophical issues
that arise here.

By Stanley Durrleman, PhD student from France, INRIA Sophia-Antipolis, ASCLEPIOS group.

Abstract:
One of the main goals of Computational Anatomy is to analyze how anatomical structures vary in a population.

Så er det blevet tid til Kantinens generalforsamling. Mød op og vær med til at præge din kantine! :)

Generalforsamlingen finder sted:
Fredag d. 12. marts 2010 kl. 13.37 i Kantinens hyggehjørne

Emfysem er en nedbrydning af lungevævet, som forekommer når man får kronisk obstruktiv lungesygdom (KOL), tidligere kendt som rygerlunger.

Thomas Friis Antonsen, Rikke Hamilton Persson, Anja Westh-Liljenbøl

We present a mathematical model of the Pickup and Delivery Problem with
Cross Docking and Last-In-First-Out Order (pdpcd-lifo), which has not
previously been formally described.

.I dette projekt beskrives, designes og implementeres et objektorienteret distribueret delt hukommelses system til Python.
Systemet kaldes pyOODSM.

Motivationen for at udvikle DSM systemer, kommer fra udviklingen inden for high performance computing, hvor man i stigende grad baserer sig på hardware, der ikke har delt hukommelse.

I dette projekt beskrives, designes og implementeres et
objektorienteret distribueret delt hukommelses system til Python.
Systemet kaldes pyOODSM.

Motivationen for at udvikle DSM systemer, kommer fra udviklingen inden
for high performance computing, hvor man i stigende grad baserer sig
på hardware, der ikke har delt hukommelse.

Snart færdiguddannet?
Bliv klar til arbejdsmarkedet på en inspirationsdag for it-studerende arrangeret af PROSA.

Er du ved at være færdig med dit it-studie? Så venter arbejdsmarkedet på dig. Men hvordan finder du netop den vej, som passer dig?

Mød:

It-rekrutteringskonsulenten: Det kigger arbejdsgiverne efter
Nyuddannede it-professionelle: Sådan klarede vi den
Karriererådgiveren: Sådan får du dit første job
PROSA-juristen: Undgå at blive snydt - og få en høj løn
A-kasse-konsulenten: Sådan får du dagpenge at leve for

PROSA giver en sandwich og alt det, du skal vide, når du er ved at være færdig med it-studie.

Arrangementet er gratis for alle it-studerende - tag dine medstuderende med!
Tilmeld dig arrangementet her

PROSA - Forbundet af It-professionelle

09.00: Coffee and Croissants in the Atrium
09.30: Welcome and introductions by Gunnar Wille
09.45: Team 1 presents Plane Weaver
10:00: The evaluation team comments
10.15: Team 2 presents Office Rage
10:30: The evaluation team comments
10.45: Team 3 presents Creaky Old Memory
11:00: The evaluation team comments
11.15: Break
11.30: Team 4 presents Don Q
11.45: The evaluation team comments

I dette speciale foretages en undersøgelse af om machine learning
teknikker kan anvendes til at lave forecast modeller for tidsserier.
Undersøgelsen er foretaget med udgangspunkt i en konkret
problemstilling for Urban. Formålet med specialet at lave modeller,
baseret på machine learning, til at forecaste hvor mange gratis
aviser, der kan afsættes fra Urbans standere.

Demand and development of sensor networks is steadily increasing and is
already being applied by many industries and researches worldwide. But
collection and post processing of information in such sensor networks,
traditionally exploits complex and inflexible units.

Masters defense:
The scope of this thesis is set within the field of teaching computer science. The author has developed a set of real-world experiments designed for the pre-college audience.

Mange tror at maskinoversættelse, altså et program der kan oversætte
fra f.eks. engelsk til fransk, er et job for lingvister, men det er
langt fra tilfældet.

Snarere er det bliver det mere og mere et ingeniørjob. I statistisk
baserede systemer bruges ingeniørdyder som statistik, modellering og
Bayes teorem om sandsynligeder således flittigt.

Der vil være optagelser i dikus kantine på søndag fra ca. kl 20
Da det helst skal være uden folk, vil vi fra introen bede folk som at
sætte sig at arbejde et andet sted.

Mvh.

Harlem Klub.

Der vil være optagelser i dikus kantine på søndag fra ca. kl 20
Da det helst skal være uden folk, vil vi fra introen bede folk som at
sætte sig at arbejde et andet sted.

Mvh.

Harlem Klub.

DKUUG inviterer alle til Donald Axel's foredrag om shell-programmering.

Om foredraget

Som alle ved er det lidt besværligt at bruge kommandolinien, men den er nødvendig - der er et text-interface til alle computerens funktioner.

Shell scripts er måden, computeren startes op på, og shell script findes - med andre navne - på alle computere (også Apples Mac etc.

KU har udskrevet en konkurrence om udvikling af en vidensbydel omkring Nørre Campus og Rigshospitalet.

Konkurrencen skal give ideer til en udviklingsplan, der kan sikre samarbejde mellem vidensinstitutioner og virksomheder og skabe et mere levende arbejds- og studiemiljø omkring de kommende nybygninger, herunder Niels Bohr Science Park og udbygningen af Panum.

Kom og bidrag med dine synspunkter over kildevand og kage. Tilmelding er på http://noerrecampus.ku.dk/nyt/310834/tilmelding/ og du kan læse mere om konkurrencen på www.campus.ku.dk/vidensbydel.

Har du styr på dine kompetencer? Deltag på et workshopforløb over to eftermiddage, som hjælper dig med forvandlingen fra studerende til fremtidig medarbejder, fra teoretisk til praktisk tilgang, fra universitet til arbejdsmarked.

Første workshop handler om, hvilke kompetencer du skal have som it-medarbejder.

Oral defence of M.Sc. thesis: DikuSTM: A Transactional Memory Library for C++ and C++0x

Defender: Jesper Alf Dam
Censor: Kasper Graversen
Supervisor: Jyrki Katajainen
Place: Computer room 3-1-25

Abstract:

As multicore processors become increasingly common, robust concurrent programming techniques are getting increasingly important.

The Faculty of Science has recently established the Space Science Center as a newinterdisciplinary center.

Dansk Selskab for Datalogi (www.datalogi.dk) inviterer til årets faglige eftermiddag, hvor medlemmer/dataloger fra erhvervslivet og fra forsknings- og undervisnings-sektoren kan komme og få en ultrakort faglig opdatering om nogle af de spændende kandidatkurser mv., som tilbydes de datalogistuderende på de videregående IT uddannelser.

Efter en mindre pause genoptager DORS atter vores
karrierearrangementer. Meningen er at give studerende og andre som har
interesse i operationsanalyse mulighed for at danne sig et indtryk af
hvilke virksomheder som bruger operationsanalyse og hvordan.

Om eftermiddagen den 15.

Så er det igen snart blevet tid til forårets "DIKULAN: The Challenge". I denne omgang finder dette sted fra den 16. til 18. april, og foregår som altid i Kantinen.

Som altid vil der være gode muligheder for at vise hvem der er 1337, hvem der pwner flest n00bs, hvordan man river en bunke zerglings rundt i manegen, hvordan man snitter et hold terrorister i smadder - og slår bomben fra, samt selvfølgelig hvordan rigtige mænd (eller kvinder) laver headshots med en shotgun. Alt sammen med bind for øjnene. Der vil igen være storskærm til finale og nævneværdige events.

DIKULAN
Så er det igen snart blevet tid til forårets "DIKULAN: The Challenge". I denne omgang finder dette sted fra den 16. til 18.

Så er det igen snart blevet tid til forårets "DIKULAN: The Challenge". I denne omgang finder dette sted fra den 16. til 18. april, og foregår som altid i Kantinen.

Som altid vil der være gode muligheder for at vise hvem der er 1337, hvem der pwner flest n00bs, hvordan man river en bunke zerglings rundt i manegen, hvordan man snitter et hold terrorister i smadder - og slår bomben fra, samt selvfølgelig hvordan rigtige mænd (eller kvinder) laver headshots med en shotgun. Alt sammen med bind for øjnene. Der vil igen være storskærm til finale og nævneværdige events.

DIKULAN
Så er det igen snart blevet tid til forårets "DIKULAN: The Challenge". I denne omgang finder dette sted fra den 16. til 18.

Så er det igen snart blevet tid til forårets "DIKULAN: The Challenge". I denne omgang finder dette sted fra den 16. til 18. april, og foregår som altid i Kantinen.

Som altid vil der være gode muligheder for at vise hvem der er 1337, hvem der pwner flest n00bs, hvordan man river en bunke zerglings rundt i manegen, hvordan man snitter et hold terrorister i smadder - og slår bomben fra, samt selvfølgelig hvordan rigtige mænd (eller kvinder) laver headshots med en shotgun. Alt sammen med bind for øjnene. Der vil igen være storskærm til finale og nævneværdige events.

DIKULAN
Så er det igen snart blevet tid til forårets "DIKULAN: The Challenge". I denne omgang finder dette sted fra den 16. til 18.

Har du styr på dine kompetencer? Deltag på et workshopforløb over to eftermiddage, som hjælper dig med forvandlingen fra studerende til fremtidig medarbejder, fra teoretisk til praktisk tilgang, fra universitet til arbejdsmarked.

Første workshop handler om, hvilke kompetencer du skal have som it-medarbejder.

<span class="inline inline-left"><a href="http://alumni.ku.dk/karriereboers/"><img src="" alt="" title="" class="image image-_original " width="160" height="55" /></a></span>Kom foran i jobkøen! På alumneforeningen Kubulus´ 6. karrierebørs får du friske input til dine karrieredrømme og gode råd til, hvordan du allerede som studerende knækker finanskrisen.
<ul>
<li>Mød spændende virksomheder så som Novozymes, Siemens, TDC, Trygvesta, Accenture m.fl.</li>
<li>"Succes trods krise". Jobindex´ direktør Kaare Danielsen giver dig gode råd</li>
<li>Få CV-lyntjek ved professionelle karrierekonsulenter fra DM/MA og DJØF</li>
<li>Deltag i sessioner om det gode CV og om at komme foran i jobkøen</li>
</UL>

DKUUG inviterer alle til Asbjørn Sloth Tønnesens foredrag om XEN virtualisering

Om foredraget

XEN er en open source virtuel maskine, som gør det muligt at køre flere instanser af forskellige operativsystemer samtidigt på en fysisk maskine.

I løbet af aftenen vil vi udover den teoretiske gennemgang af XEN, også gennemføre en installation af XEN, og et par virtuelle maskiner.

Title:
Curve Evolution in Subspaces and Exploring the Metameric Class of Histogram of Gradient Orientation based Features using Nonlinear Projection Methods

Abstract:
This thesis deals with two unrelated issues, restricting curve evolution to subspaces and computing image patches in the equivalence class of Histogram of Gradient orientation based features using nonlinear projection me

PROSA-zombie
FRIHEDENS SLAGMARK ER DIGITAL !
Privacy, net-neutralitet, forbrugerrettigheder og ytringsfrihed møder modstand og liberale rettigheder bliver ikke automatisk overført til den digitale verden.

I løbet af dette år afgøres nettets fremtid. En ny global aftale (ACTA) bliver diskuteret bag lukkede døre, og kan have en ødelæggende effekt på nettet som vi kender det.

ZOMBIE-OPTOG
Derfor laver PROSA - Forbundet af It-professionelle - et "Zombie-optog", hvor vi vil markere at ACTA forhandlingerne skal frem i lyset, og at det som offentligheden har fået nys om er hjernedødt!

(Støjvogn, dusinvis af Zombier, sygeplejesker samt højt humør).

Bevar friheden på nettet!

Master Thesis Defence by Anders Markussen 5/5, 15.00 @ DIKU SC, all are welcome!

Supervisor: Kasper Hornbæk

Censor: Morten Hertzum, RUC

Summary:
Over the past years, interaction with Wall-Size Displays (WSDs) has become an increasingly popular research topic.

Next MiG day will be Friday the 7th of May at eScience / DIKU.

http://code.google.com/p/migrid/wiki/MiGDays

Everybody's welcome, but please send me an email if you would like to
attend.

Further time and location details will be announced on the wiki page.

Kære studerende!

Det er blevet tid til den årlige generalforsamling i foreningen bag dikutal. Bestyrelsen er på valg og vi siger samtidig farvel til et par bestyrelsesmedlemmer der stopper. Ud over alt det formelle vil der også mulighed for at få en snak med bestyrelsen og stille spørgsmål til driften.

Det foregår:
Fredag d. 7. maj, kl. 13:37 i kantinens sofagruppe.

Der er øl og vand til de fremmødte.

CV DEBUGGING AND ICECREAM
PROSA giver is og cv-tjek

Den 12. maj mellem kl. 11-13 giver PROSA is til it-studerende på DIKU i kantinen. Samtidigt kan du få din ansøgning og cv set efter. Vi giver dig individuel feedback og gode råd til, hvordan du kan komme tættere på drømmejobbet.
Du kan også få svar på spørgsmål om a-kassefrister og -regler, så du kan modtage dagpenge, hvis du ikke har job efter endt studie. Hør også om PROSAs mange andre tilbud til it-professionelle.
Vil du være sikker på at få dit cv tjekket, så book en tid ved at sende en mail til bsc@prosa.dk.

Vi ses!
PROSA – Forbundet af It-professionelle

PhD-defence by Glennie Helles
Abstract:

Predicting the tertiary structure of proteins from their primary sequence - known as ab initio protein structure prediction - is considered one of today's most challenging problems in molecular biology.

Talk by Ron Kimmel

Abstract
Gromov-Hausdorff distance (d_GH) measures the discrepancy between metric spaces. Until recently, it has been applied mainly in theoretical exploration of metric spaces in metric geometry like the recent Hamilton-Perelman celebrated proof of Poincare conjecture.
At the same time it was also introduced into the field of shape analysis.

PhD-defense by Ketut Fundana

Abstract

Image segmentation aims to partition a given image into semantically meaningful regions or objects with consistent properties.

<img src="" style="float: right">
Den 21. maj 2010 kl. 14.00 forsvarer Martin Zachariasen, ph.d. og institutleder ved Datalogisk Institut, KU, den naturvidenskabelige doktorgrad med sin afhandling:

<div align="center"><b>
Fixed Orientation Interconnection Problems:
Theory, Algorithms and Applications
</b></div>

Forsvaret, der finder sted på engelsk, forventes at vare 2½ time, og efterfølges af en reception. Det foregår i Anneksauditorium A, Studiestræde 6, København K.

Opponenter:
Professor Ronald Graham, Dept. of Computer Science and Engineering, UCSD La Jolla, CA 92093-0404, USA
Professor Jens Vygen, Research Institute for Discrete Mathematics, University of Bonn, Lennéstr. 2, D-53113 Bonn, Germany.

Eksemplarer af disputatsen kan erhverves gratis ved henvendelse til forfatteren via e-mail: martinz @ diku.dk

Målet med dette speciale er at designe og udvikle en mulighed for at benytte distribuerede pointere fra Python. Der er udviklet et C-bibliotek der implementerer distribuerede pointere samt et Python-modul til anvendelse af dette.

DKUUG inviterer alle til Jon Bendtsens foredrag om Linux VServer
virtualisering tirsdag den 25. maj 2010 klokken 18:00 - 21:00 i
lokale M4 i Symbion på Fruebjergvej 3, 2100.

Om foredragsemnet: Linux VServer

Linux VServer er en udvidelse til Linux kernen således at man
samtidig kan køre flere adskilte og forskellige userlands på den
samme kerne.

- mød blandt andre videnskabsminister Charlotte Sahl-Madsen

Regeringen fremlagde i sidste uge en politisk aftale om genopretningen af dansk økonomi. Hvad er de langsigtede konsekvenser for Danmark som videnssamfund? Hvordan sikres ny vækst fremover, og hvor skal den komme fra?

I lighed med tidligere år holder vi endnu engang en studie- og karrieremesse, bedre kendt under navnet D-dag.

På messen har virksomheder og kandidatstuderende mulighed for at mødes, udstille projekter og virksomhedspræsentationer samt udveksle interesser.

Der vil være fadølsanlæg, spændende projekter, innovative virksomheder og livlig stemning.

Invitationer udsendes til medlemmer

There are still available “seats” for the Accenture Go-karting event on June 3rd. Sign-up for the event is still open for submissions.

Program:
Nyt fra ledelsen om bl.a. DIKUs jubilæum – (symposium og skrift), om DIKUs flytning til HCØ og om arbejdsmiljøet.
News from the department about i.a. DIKU’s 40th anniversary (symposium and antology), DIKU’s relocation to HCØ and about working environment activitites.

Der serveres en let forfriskning efter mødet
Refreshments will be served after the meeting.

Søndag den 6. juni 2010 starter vi kl. 9 om morgenen med lidt morgenmad og spiller brætspil indtil vi segner om aftenen. DICON er DIKU's brætspilsdag og bliver traditionen tro holdt i DIKU's kantine hvor alle fra DIKU og deres venner er velkomne til at spille nye og spændende eller gamle og nostalgiske brætspil med hinanden.

Der plejer at dukke minimum 25 mennesker op, så der bliver rig mulighed for at spille det man gerne vil spille. DICON råder over en del spil som vil stå til fri afbenydelse. Dog opfordrer vi folk til selv at tage spil med da dette giver et større udvalg.

Der serveres morgenmad kl. 9:00 som kommer til at koste 15 kr. Sidste tilmelding til morgenmad er dagen før DICON. på doodle http://www.doodle.com/5ff9cawhiu8567k9 - selve arrangementet kræver ikke tilmelding, man kan blot dukke op og have det sjovt.

Specialeforsvar af Rabia Granlund

Abstract:
The pathogenesis of osteoarthritis (OA) includes a series of complex events in the whole joint.

Oral defence of M.Sc.

PhD-defence by Christian Wulff-Nilsen

Abstract:
Algorithms for network problems play an increasingly important role in modern society. The graph structure of a network is an abstract and very useful representation that allows classical graph algorithms such as Dijkstra and Bellman-Ford to be applied. Real-life networks often have additional structural properties that can be exploited.

CALL FOR PARTICIPATION IN

ACM STUDENT RESEARCH COMPETITION

PACT 2010

Parallel Architectures and Compilation Techniques 2010

http://pactconf.org

Important Dates
Deadline for Submission: June 17, 2010
Notification of Acceptance: July 5, 2010
Workshop and tutorials: September 11-12, 2010
Conference: September 13-15

PROSA - Forbundet af It-professionelle - inviterer til grillfest for frihed på nettet.

Gameboy-musik, it-folk og billigbajere.

Vi starter omkring klokken 16:00 og fortsætter til 22:00.

http://www.facebook.com/event.php?eid=135559729790979

Kom og nyd sommeren med os!

BEMÆRK: Denne invitation er til alle kvindelige studerende eller eks-studerende; Derfor hvis du er mand/fyr/dreng/knægt bedes du blot se bort fra dette arrangement.

---

Kære alle diku- og eks-dikupiger

Årets diku-pigemiddag er nu en realitet (wee) og vi vil meget gerne indbyde dig og alle andre kvindelige diku-studerende og eks-diku-studerende til middag på DIKU lørdag den

DKUUG inviterer alle til Jon Bendtsens foredrag om NUT (Network UPS Tools) mandag den 21. juni 2010 klokken 18:00 - 21:00 i lokale M4 i Symbion på Fruebjergvej 3, 2100.

Om foredraget:

NUT (Network UPS Tools) er en samling programmer og drivere som gør dig i stand til at overvåge og administrere UPS hardware.

CFIR: Get F'IT - Business Process Management - Hvilke processer skal der sættes strøm til?

CFIR og IT-Universitetet inviterer til get F'IT fyraftensmøde om business process management i den finansielle sektor.

DIKU-talk with professor Peter Giblin, University of Liverpool

The talk is followed by a reception. All are welcome!
Scientific Host: The Image Group at DIKU

Abstract:
This is joint work with James Damon (UNC Chapel Hill) and Gareth Haslinger (Liverpool). We consider the mutual interactions of apparent contours, marking curves, shade and cast shadow boundaries, on surfaces which are smooth or piecewise smooth, such as valley/ridge creases and corners of various types. We consider only stable illumination but allow up to codimension 2 in the viewing.

POETS Summer of Code is a project course that offers students the opportunity to develop software using state-of-the-art technologies for a novel process-oriented event-driven ERP platform.

• Develop in Haskell, Java, or maybe even a language you design and deploy on Android phones or regular desktop computers
• Get ECTS
• Have lots of fun while doing so

Mads Mayntz Kierulff

Censor: Brian Nielsen, AAU
Supervisor: Brian Vinter, DIKU

NumPy is a module for Python. It is well known because of how easy it is to write scientic programs in. This is mainly due to its multidimensional array structure called ndarray.
It supports a great number of useful operations on ndarrays.

Morten Abildgaard Bentsen

Censor: Brian Nielsen, AAU
Supervisor: Brian Vinter, DIKU

In recent years computer simulations have become an invaluable tool for scientists of many disciplines. In many cases computer simulations are carried out with high productivity tools that allow rapid prototyping, but lack in performance.

Still looking for something foundational and enlightening to do after the Spring semester has ended? Looking for a good reason to stay in or visit Copenhagen, the world's most livable city (*), in the summer time? Then read on...

Ph.D. mini-course:
Kleene Algebra and Kleene Algebra with Tests
Dexter Kozen, Cornell University

Date: June 30-July 2, 2010

Sponsors: Ph.D.

Jan Wieberg

Censor: Josva Kleist, NDGF
Supervisor: Brian Vinter, DIKU

For years now the tendency has been that for data to become ever more vital to our lives and our work. Persistent storage devices have vastly increased in capacity but technologies that ensure data safety and no downtime are not yet as ubiquitous.

Så udløses spændingen! Alle medarbejdere og studerende inviteres med, når vinderen af arkitektkonkurrencen for laboratorie- og undervisningsbyggeriet Niels Bohr Science Park kåres.

Siden 12. februar 2010, hvor konkurrencen blev skudt i gang, har alle måtte vente på, hvad resultatet af anstrengelserne hos de fem prækvalificerede rådgiverteams bød på. Den 30.

Still looking for something foundational and enlightening to do after the Spring semester has ended? Looking for a good reason to stay in or visit Copenhagen, the world's most livable city (*), in the summer time? Then read on...

Ph.D. mini-course:
Kleene Algebra and Kleene Algebra with Tests
Dexter Kozen, Cornell University

Date: June 30-July 2, 2010

Sponsors: Ph.D.

Abstract:
Chronic Obstructive Pulmonary Disease (COPD) or Smokers’ Lungs is a major disease burden worldwide. Computed Tomography (CT) scans has been shown to be a viable solution for observing the effects and identifying the different subtypes of COPD, such as emphysema, which is the destruction of lung tissues, and bronchitis, the inflammation of the airway walls.

Still looking for something foundational and enlightening to do after the Spring semester has ended? Looking for a good reason to stay in or visit Copenhagen, the world's most livable city (*), in the summer time? Then read on...

Ph.D. mini-course:
Kleene Algebra and Kleene Algebra with Tests
Dexter Kozen, Cornell University

Date: June 30-July 2, 2010

Sponsors: Ph.D.

Søren Laursen

Censor: Morten Frank, Nordea
Supervisor: Brian Vinter, DIKU

Abstract
Within The Minimum Intrusion Grid (MiG) a user can work as on other grids. A job is dened and executed on a resource that matches the criteria specied. In other projects involving MiG, people has build wrappers around MiG that created job and controlled the jobs.

Rasmus Ebdrup Sørensen and Simon Bognolo

Censor: Morten Frank, Nordea
Supervisor: Brian Vinter, DIKU

Over the last years, multi-core cpu’s have become increasingly more common,
which has lead to a demand for easy representation of concurrency in
application development.

Seventh Workshop on Virtual Reality Interaction and Physical Simulation VRIPHYS 2010
November, 2010
Copenhagen, Denmark

Conference Chairs:

• Kenny Erleben, University of Copenhagen
• Jan Bender, University of Karlsruhe
• Matthias Teschner, University of Freiburg

For further information please visit http://vriphys2010.inrialpes.fr/

We are pleased to announce the seventh Workshop on Virtual Reality Interaction and Physical Simulation VRIPHYS 2010. The workshop is hosted by the University of Copenhagen, Denmark. It is organized in cooperation with Eurographics.

Forberedelse til søndag den 18.: Skim kapitel 0x100 og 0x200 i
"Hacking: The Art of Exploitation", og installér IDA Pro.

Vi mødes på øvelsesgangen kl. 9:00. Be there or be square.

Titel: Succeskriterier ved indførelse af it-systemer i offentlige virksomheder belyst ved eksemplet ESDH, elektronisk sags- og dokumenthåndtering
Vejleder: Erik Frøkjær
Censor: Morten Hertzum

Resume:
Arbejdet har vist nogle overraskende resultater: (1) Ingen af 9 undersøgte organisationer har planlagt eller gennemført samlede effekt- og nytteevalueringer.

Titel: Hvad betyder usability? Automatiseret søgning efter brugbarhedsrelaterede ord i mere end 15000 softwareanmeldelser fra Amazon.com.

Vejledere: Kasper Hornbæk, Jakob Grue Simonsen
Censor: Morten Hertzum

Resume:
Dette speciale undersøger begrebet usability ved en kvantitativ analyse af mere end 15000 softwareanmeldelser.

On Sparse Representations and Sparse Coding

Sparse modeling is a form of dimensionality reduction which has recently received an increasing amount of attention in several research communities including statistics and machine learning as well as signal analysis and functional analysis.

On Sparse Representations and Sparse Coding

Sparse modeling is a form of dimensionality reduction which has recently received an increasing amount of attention in several research communities including statistics and machine learning as well as signal analysis and functional analysis.

On Sparse Representations and Sparse Coding

Sparse modeling is a form of dimensionality reduction which has recently received an increasing amount of attention in several research communities including statistics and machine learning as well as signal analysis and functional analysis.

On Sparse Representations and Sparse Coding

Sparse modeling is a form of dimensionality reduction which has recently received an increasing amount of attention in several research communities including statistics and machine learning as well as signal analysis and functional analysis.

On Sparse Representations and Sparse Coding

Sparse modeling is a form of dimensionality reduction which has recently received an increasing amount of attention in several research communities including statistics and machine learning as well as signal analysis and functional analysis.

On Sparse Representations and Sparse Coding

Sparse modeling is a form of dimensionality reduction which has recently received an increasing amount of attention in several research communities including statistics and machine learning as well as signal analysis and functional analysis.

Anders Pedersen: Accessing CUDA in PyCSP

While GPGPU (General Purpose Computing on Graphics Processing Units), using architectures such as NVidias CUDA, provides a structure for highly efficient concurrent programming, it does so at an added complexity compared to concurrent programming on the CPU.

Jakob Jensen and Dirk Hasselbalch: PyCSP.dht

Dirk Hasselbalch 11:30
Jakob Jensen 12:30

We have designed, implemented, tested and benchmarked PyCSP.dht, a variant of PyCSP with PyCOS---a mutable Distributed Hash Table (DHT) implemented as part of the solution---as its backing directory service.

Type Inference for Bimorphic Recursion
Makoto Tatsuta
National Institute of Informatics, Tokyo, Japan

Abstract:
Bimorphic recursion is restricted polymorphic recursion such that every recursive call in the body of the definition of a function has the same type.

DKUUG inviterer alle til Franz Maltens Buemanns
introduktionsworkshop i TYPO3 CMS tirsdag den 31. august 2010
klokken 18:00 - 21:00 i lokale M4 i Symbion på Fruebjergvej 3, 2100.

Om workshoppen

TYPO3 er et modent open source CMS i enterpriseklassen.

Title: Typed Interactive Memory Management
Who: Johhny Bock Andersen (Anoq)
Where: Meeting room A (ground floor)
When: Wednesday September 8 at 09.15.

This thesis gives a general overview of some commonly used methods and
paradigms for automatic memory management.

Det Naturvidenskabelige Fakultet (Science) inviterer alle ansatte og studerende ved Science til Idræts- og testningsdag på Institut for Idræt fredag d. 10. september kl. 12.30-16.30.

DKUUG inviterer alle til Linux installfest på lørdag den 11.
september 2010 klokken imellem 10:00 - 17:00 i Symbion på
Fruebjergvej 3, 2100. Du behøver ikke detage hele dagen, bare nogle
timer er nok, tilmelding ønskes.

Bagefter holder vi grill aften fra 17 - ?? her kræves tilmelding.

Kom og få hjælp til at prøve Linux eller måske FreeBSD.

Saa er det tid til endnu en omgang SATYR Revy, billetterne kan erhverves paa Cafeen? til 75 kr per billet.

Der afholdes baade fremvisning d. 24 og d. 25 september. Der afholdes ogsaa fest, dog skal man vaere opmaerksom paa at d. 24 er der kun almindelig frebar paa Cafeen? hvorimod der om loerdagen er dedikeret revyfest paa Cafeen? fra kl. 22.30.

Fredag d.

Saa er det tid til endnu en omgang SATYR Revy, billetterne kan erhverves paa Cafeen? til 75 kr per billet.

Der afholdes baade fremvisning d. 24 og d. 25 september. Der afholdes ogsaa fest, dog skal man vaere opmaerksom paa at d. 24 er der kun almindelig frebar paa Cafeen? hvorimod der om loerdagen er dedikeret revyfest paa Cafeen? fra kl. 22.30.

Fredag d.

I år fejrer DIKU sit 40 års jubilæum. DIKU er ikke blot det første datalogiske institut på universitetsniveau i Danmark - men også et af de ældste i verden. Derfor markeres jubilæet med et symposium, der hylder den nyttige software og dens udviklere:

Useful Software Celebration day holdes d. 30. september 2010, kl. 9.00 – 18.00.

Ud over muligheden for at hilse på medstuderende, kolleger eller andre med tilknytning til DIKU, kan du bl.a. opleve spændende oplæg fra DIKUs grundlægger, professor emeritus Peter Naur, Charles Simonyi, direktør for Intentional Software Corporation og professor emeritus Brian Randell, Newcastle University.
Der er også reception og underholdning. Se programmet og tilmeld dig på http://www.diku.dk/jubilee.

Der er tilmeldingsfrist torsdag den 16. september. Det er gratis at deltage.

Gratis middag for de nye studerende i DIKUs kantine. Mere info kommer senere.

Non-rigid Modeling and Simulation

The focus is on computational and mathematical aspects of non-rigid
modeling in interactive physics simulation. The targeted audience is
PhD students in Science (mainly eScience, Computer Science, IT and
Physics) working with computational and mathematical modeling and
simulation.

Non-rigid Modeling and Simulation

The focus is on computational and mathematical aspects of non-rigid
modeling in interactive physics simulation. The targeted audience is
PhD students in Science (mainly eScience, Computer Science, IT and
Physics) working with computational and mathematical modeling and
simulation.

Non-rigid Modeling and Simulation

The focus is on computational and mathematical aspects of non-rigid
modeling in interactive physics simulation. The targeted audience is
PhD students in Science (mainly eScience, Computer Science, IT and
Physics) working with computational and mathematical modeling and
simulation.

Næste DIKULAN afholdes d. 19/11-21/11.

Billetsalget starter d. 25/10 i kantinen og på nettet.

Glæd jer!

Næste DIKULAN afholdes d. 19/11-21/11.

Billetsalget starter d. 25/10 i kantinen og på nettet.

Glæd jer!

Næste DIKULAN afholdes d. 19/11-21/11.

Billetsalget starter d. 25/10 i kantinen og på nettet.

Glæd jer!

Kantinens sagnomspundende klippeklisterdag med hjemmelavede æbleskiver, glögg, og andet godt. Mere info kommer senere

Årets julefrokost med lækkert hjemmelavet julebord, pladevender, bar og rigeligt snaps. Mere info kommer senere.

Årets julefrokost med lækkert hjemmelavet julebord, pladevender, bar og rigeligt snaps. Mere info kommer senere.