Ph.D. Lecture by Joseph C. Okika
In partial fulfillment of the terms for obtaining the Ph.D.-degree, Joseph C. Okika will give a lecture on the following subject: "Analysis and Verification of Service Contracts"on 10th of June at 13.30 in room 0.2.12...[mere]
Dataloger gør det nemmere at søge om byggetilladelse
Forskere fra Institut for Datalogi har indgået samarbejde med virksomheden Dafolo A/S om udvikling af en ny løsning, der gør det enklere at søge om byggetilladelse ifm. en om- eller tilbygning. Med det nye system...[mere]
AAU project awarded in France
Two students working on the HAMAC project have been awarded the Handi’s Ability award from the French association Hanploi. The students are from l'Ecole Centrale d’Electronique and currently studying at a master program in...[mere]
Dafolo A/S og dataloger samarbejder om Danmarks bedste borgerserviceløsninger
Dafolo A/S og forskere fra Institut for datalogi samarbejder om udvikling af Danmarks bedste borgerserviceløsninger inden for en række områder, herunder bl.a. et nyt system, der vil gøre det langt nemmere at søge om for...[mere]
Foredrag ved Nikolai Tillmann og Mike Barnett, Microsoft
Onsdag d. 19. maj kl. 15.00-17.00 gæster Nikolai Tillmann og Mike Barnett fra Microsoft Institut for Datalogi, hvor de holder to interessante oplæg. Alle der udvikler og arbejder med software og programmering er velkomne til at...[mere]