Resumé:
Hvad der gik galt i 5 store offentlige IT projekter, eksemplificeret ved Sundhedsplatformen. Og hvad man kan gøre ved det.
Vi fandt 36 dødsårsager i disse projekter og senere 20 metoder til at forhindre det.
Den vigtigste metode er Problemorienterede Krav (SL-07): Lad være med at skrive hvad systemet skal gøre, men hvad det skal bruges til. Så kan leverandøren bruge det han har, og kunden kan vurdere hvor godt forslaget er.

Hermed indkaldes til ordinær generalforsamling i henhold til vedtægterne

Torsdag den 13. juni 2019 kl. 16.00

Generalforsamlingen afholdes:
Store Auditorium, DIKU (den runde bygning)
Universitetsparken 3, 2100 København Ø

 Dagsorden:

Bestyrelsen har i det forløbne år bestået af de minimalt krævede fire medlemmer, hvoraf én udtræder ved denne generalforsamling. Vi forventer yderligere fratrædelser ved generalforsamlingen i 2020. Idet bestyrelsen anser det for vigtigt at få etableret en stabil ledelse af foreningen også på længere sigt, skal vi opfordre potentielle bestyrelsesmedlemmer til at tilkendegive deres interesse overfor bestyrelsen i god tid inden generalforsamlingen.

Bestyrelsen foreslår uændrede satser:

- Studerende: kr. 60, Pensionister: kr. 30, Andre: kr. 150

Bestyrelsen har fremsat forslag til ændring af vedtægterne som vist efterfølgende.

Forslag til behandling på generalforsamlingen skal sendes til datalogi@datalogi.dk senest 2. juni 2019.

På valg er følgende:

   - Hans-Henrik Kaaber (sekretær) – ønsker ikke at genopstille

Bestyrelsen består i øvrigt af:

   - Eric Jul (formand)

   - Niels Christian Juul (næstformand)

   - Birgitte Tågholt (kasserer)

Bestyrelsen skal ifølge vedtægternes §4 bestå af fire til seks medlemmer.

Kandidater kan melde sig til bestyrelsen eller opstille på selve generalforsamlingen.

Alle medlemmer af foreningen kan opstille.

Revisorer er.

   - Nils Andersen 

   - Lars G. Jakobsen

Disse er ikke på valg i år.

”Beslutning om foreningens ophør kan træffes på en generalforsamling, hvor der i indkaldelsen er stillet forslag herom, og kræver tilslutning fra mindst 2/3 af de fremmødte medlemmer. Efterfølgende beslutning om disponering af foreningens formue træffes af generalforsamlingen ved almindeligt flertal.”

Det faldende aktivitetsniveau kan gøre det nødvendigt på et tidspunkt at gennemføre en nedlukning af foreningen. Bestyrelsen foreslår, at vedtægterne justeres, således at dette kan ske i god ro og orden, såfremt det måtte blive nødvendigt.

Tid: 23. oktober 2018 kl.17:00 til ca. 19:30.
Sted: Aud. D på Niels Bohr Institutet, Blegdamsvej 17, 2100 København Ø
Vejledende tilmelding på https://doodle.com/poll/6favx389fmyh6nuw. 

 Velkommen til sæsonens første medlemsmøde hvor vi præsenterer årets bedste specialer fra 2017.

 Nr. 1:
Anders P.K. Dalskov: “End-to-End Encrypted Cloud Storage: A security analysis of SpiderOak ONE”

We examine in the following thesis the proprietary cloud storage application SpiderOak ONE developed and maintained by the Cloud Storage Provider SpiderOak. In a nutshell, the Cloud Storage Provider claims that, due to the user’s data being encrypted before it leaves the user’s computer, only the user (or someone knowing the user’s password) can access the data. In particular, the Cloud Storage Provider cannot read any of the user’s files. We set out to examine this claim. As the application in question does not provide any kind of source code, and little in way of documentation, we first describe how we reverse engineered the application. We then provide a formal description of the authentication protocols used by the application, how it handles cryptographic keys, file encryption and password changes. Finally, we demonstrate several concrete attacks, which a malicious storage provider can carry out that weakens — or entirely breaks — the confidentiality of the user’s password and thus the confidentiality of the user’s stored data.

We disclosed our findings in a responsible manner and SpiderOak updated their product.

Nr. 2:
Kristian Jagd and Mathias Thulstrup Johansen: ”Speech Recognition Systems with Kaldi: Speech-enabling Applications with an Improved Method for Generating Recognizers”

The aim of this thesis is to simplify the process of building and using speech recognizers with the Kaldi toolkit. This is done by creating a tool, which makes it easier and faster for developers to use the open source, speech recognition toolkit Kaldi.

The thesis presents general background information about speech recognition and the speech recognition toolkit Kaldi. An analysis shows why Kaldi is difficult to use for developers who are new to speech recognition. Based on this information, we derive the requirements specification for our tool. We then describe and discuss how the tool is designed and implemented.

Lastly, the developed tool has undergone a user evaluation. The evaluation indicates that the tool does indeed allow the target users to setup and test a speech recognizer based on a Deep Neural Network (DNN) much faster than when using Kaldi without the tool.

 ---OOO---

Efter fremlæggelserne er der som sædvanlig lidt at drikke og mulighed for at stille yderligere spørgsmål til foredragsholderne eller til almindelig faglig/social snak.

Lars Bak spent the last 30 years designing and implementing object-oriented programming languages. His passion for this area started in 1986 when implementing a runtime system for BETA. Since then, Lars has left marks on several software systems: Self, Strongtalk, JVM HotSpot, JVM CLDC HI, OOVM Smalltalk, V8, and Dart, and lately Toit. In 2018, he received the Dahl-Nygaard prize for design and implementation of several object-oriented systems. Lars has a master’s degree in computer science at Aarhus University from 1988.

Árrangementet holdes sammen med Institut for Naturfagenes Didaktik, som har besøg af Tom Haigh – og med ITU som co-host.

Yderligere information: http://diku.dk/begivenhedsmappe/begivenheder-2018/datahistorisk-foredrag-ved-tom-haigh/

Programmering af stadigt større og mere komplekse supercomputere

Beregningsdrevet forskning oplever et voldsomt løft ved at supercomputere bliver stadigt større og man kan derfor simulere med stadigt større opløsning eller over længere tid. Samtidigt med at computerne bliver større bliver de stadigt vanskeligere at programmere og det ventes at den første computer der leverer en exaflops vil anvende mere end 100M processor-kerner. Alene udfordringen i at skrive programmer der kører parallelt på millioner af processorer er voldsom, hvis man dertil ligger udfordringer med at optimere hukommelsestilgang og I/O flow bliver opgaven så uoverskuelig at de fleste forskere vil opgive at skrive egne programmer til disse maskiner.

Foredraget vil introducere udfordringerne i og fremtiden for supercomputere, og vil derefter gå videre til at introducere projektet Bohrium ( www.bh107.org ) som er en just-in-time compiler der udvikles i eScience gruppen på Niels Bohr Instituttet, hvis formål er at gøre det muligt for forskere at skrive deres programmer i et høj-produktivitets sprog, typisk Python, og så kunne afvikle dem på supercomputere.

Indtagelse af stadigt stærkere og mere komplekse øl

Tiden hvor en øl aldrig kunne være andet end en pilsner er for længst passeret og alle supermarkeder har i dag et rimeligt udvalg af de mest populære alternativer til pilsneren. I denne ølsmagning vil vi prøve at kommer lidt længere ud i alternative øl. Der vil være en forklaring på øltyper og brygmetoder og anekdoter fra øllets verden.

Tid: 28. september 1630-1800

Sted: Copenhagen Business School, Kilevej 14, lokale Ks71.

(OBS: Nyt lokale)

Forfatterne til de nominerede specialer præsenterer deres arbejde:

Silas Nyboe Ørting: Automatic estimation of emphysema extent in low-dose CT scans of the lungs. Datalogisk Insititut KU (Vinder af prisen for bedste datalogispeciale, 2016).

Mikkel Kragh Mathiesen: Infinite-Dimensional Linear Algebra for Efficient Query Processing. Datalogisk Institut, KU.

Thomas Jensen: Global Selections with Fine-Grained Access Control. Datalogisk Institut, KU.

Arni Einarsson: Guidelines for designing immersive videos to support learning activities: Case study of new eyes on the world.
Datalogisk Institut, KU.

Beskrivelser af specialerne kan ses i forårets medlemsblad.