Aktuelle saker

Publisert 14. des. 2015 15:16

Anders Moen Hagalisletto tok doktorgrad ved PMA i 2007 der han utviklet et analyse verktøy PROSA for sikkerhetsprotokoller, baset på Maude. PROSA har nå blitt til et eget selskap

Publisert 21. aug. 2014 00:46

The first female mathematician to receive the prestigious Fields Medal is Maryam Mirzakhani from Stanford University. Mirzakhani said: "I will be happy if it encourages young female scientists and mathematicians. I am sure there will be many more women winning this kind of award in coming years." Mirzakhani was born and raised in Tehran, where as a young girl she dreamed of becoming a writer. By high school, however, her affinity for solving mathematical problems and working on proofs had shifted her sights.

The Fields Medal is given to young researchers under age 40, as opposed to the Abel Prize which is given to long life careers, usually to aged researchers.

 Read more at ICM2014.

Publisert 19. mars 2014 22:43

Leslie Lamport receives the Turing Award for 2013 with the citation: "For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency." Read more at ACM.

Publisert 13. jan. 2014 00:14

MIKAL VILLA talks about "Bitcoin: how it works in depth"

Thursday the 16th Jan. from 14:00 in Awk room (nr. 3118) of OJD House.

Publisert 2. mai 2012 12:44

The Abel Prize in mathematics is given this year to Endre Szemeredi, a Hungarian mathematician, who worked among others in the fields of combinatorics and theoretical computer science.

Publisert 23. apr. 2012 23:27

TURING CENTENARY FILM SERIES is part of the Turing Year, celebrating 100 years from the birth of Alan Turing.

We will be viewing films related to the work and life of Alan Turing for the next two months, each Friday, up until end of June.

We are happy if more people join in celebrating Alan Turing.

The hour of start is 17:00. The place is the IFI Library.

Publisert 23. apr. 2012 23:21

Alexander Meduna is visiting IFI from the Brno University of Technology and will give a talk on recent developments in pushdown automata. His interests span various fields of theoretical computer science, among others: graph theory, automata, formal languages, or compilers (with books written and edited on such topics).

His talk anounces as interesting, and adjacent discussions are welcome.

This special talk is in the Kristen Nygaard room at the 5th floor, from 13:15 on the Thursday of 10.

Publisert 15. feb. 2011 09:59
Publisert 15. feb. 2011 09:59
Publisert 15. feb. 2011 09:59
Publisert 15. feb. 2011 09:59
Publisert 15. feb. 2011 09:59

IT-forskningen ved Universitetet i Oslo kommer på førsteplass i Norden, sjetteplass i Europa og på 49.-plass i verden på den prestisjetunge rankinglista til Shanghai Jiao Tong-universitetet i Kina.

Publisert 9. nov. 2010 09:41
Publisert 23. juni 2008 14:43