Foredrag om "Formal Verification of Object-oriented Software"
Peter Schmitt fra Universität Karlsruhe holder foredrag om "Formal Verification of Object-oriented Software" mandag d. 10. november. Foredraget starter kl. 14.30 og afholdes i lokale 0.2.90. Abstract: ...[mere]
Foredrag om "Why Functional Programming Matters in Practice"
Christian Kirkegaard fra Netcompany holder et foredrag om "Why Functional Programming Matters in Practice" torsdag d. 6. november. Foredraget starter kl. 13.00 og afholdes i lokale 0.2.90. Du kan finde mere...[mere]
Datalogi Camp ’08 - Kreativitet og idéudvikling på højt plan
Når det umulige bliver muligt Fra 15-17. Oktober går det løs når 20-25 studerende kaster sig ud i et nyt og meget anderledes undervisningskursus på Institut for Datalogi. Sammen skal de inden for 48 timer et sted uden for lands...[mere]


