Institut for Datalogi: Nyhedsarkiv

2012
april 2012: 4 emne(r)
marts 2012: 2 emne(r)
februar 2012: 1 item
januar 2012: 1 item
2011
december 2011: 2 emne(r)
november 2011: 6 emne(r)
oktober 2011: 3 emne(r)
september 2011: 5 emne(r)
august 2011: 3 emne(r)
juli 2011: 3 emne(r)
juni 2011: 5 emne(r)
maj 2011: 4 emne(r)
april 2011: 6 emne(r)
marts 2011: 1 item
februar 2011: 2 emne(r)
januar 2011: 3 emne(r)
2010
december 2010: 2 emne(r)
november 2010: 4 emne(r)
oktober 2010: 4 emne(r)
juli 2010: 2 emne(r)
juni 2010: 3 emne(r)
maj 2010: 5 emne(r)
april 2010: 2 emne(r)
marts 2010: 5 emne(r)
februar 2010: 2 emne(r)
januar 2010: 4 emne(r)
2009
december 2009: 5 emne(r)
november 2009: 7 emne(r)
oktober 2009: 3 emne(r)
september 2009: 7 emne(r)
august 2009: 2 emne(r)
juli 2009: 2 emne(r)
juni 2009: 2 emne(r)
maj 2009: 3 emne(r)
april 2009: 3 emne(r)
marts 2009: 2 emne(r)
februar 2009: 4 emne(r)
januar 2009: 2 emne(r)
2008
december 2008: 3 emne(r)
november 2008: 2 emne(r)
oktober 2008: 3 emne(r)
september 2008: 4 emne(r)
august 2008: 6 emne(r)
juli 2008: 2 emne(r)
juni 2008: 4 emne(r)
maj 2008: 2 emne(r)

torsdag, 27. januar 2011

23-årig studerende koder ny formel-editor til LibreOffice 3.3

Studerende Jonas Finnemann Jensen fra Institut for Datalogi har programmeret en ny, visuel formel-editor til den netop lancerede kontorpakke LibreOffice 3.3 Se hele historien i version2[mere]

tirsdag, 11. januar 2011

Institut for Datalogi samler ledende forskere

Fra den 26. januar og 3 dage frem samles nogle af Europas førende forskere inden for formel verifikation af objekt orienteret software på Cassiopeia, Institut for Datalogi. Her vil de fremlægge deres nyeste forskningsresultater...[mere]

tirsdag, 11. januar 2011

PhD.-defense by Morten Kühnrich

In partial fulfillment of the terms for obtaining the Ph.D.-degree, Morten Kühnrich will give a lecture on the following subject: “Approaches to Formal Verification: Type Theory, Model Checking, and Process Algebra” on...[mere]