onsdag, 29. oktober 2008

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]


onsdag, 29. oktober 2008

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]


mandag, 06. oktober 2008

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]