News - Page 2

Published Sep. 8, 2014 3:54 PM

Final step of the PhD process for Muhammad Fadlisyah, the trial lecture and the public defense of his thesis, 8. September 2014. Congratulations!

Published Aug. 21, 2014 12:46 AM

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.

Published June 26, 2014 4:24 PM

Final step of the PhD process for Violet Ka I Pun, the trial lecture and the public defense of her thesis, 26. June  2014. Congratulations!

Published May 28, 2014 4:19 PM

Final step of the PhD process for Crystal Chang Din, the trial lecture and the public defense of her thesis, 27. May 2014. Congratulations!

Published May 23, 2014 9:23 AM

Members of our group have been cooperating with AnaCon, an Oslo-based company specializing in signalling systems, for instance used in railroads. Anacon is offering a summer job, and is looking for students with background in math/logic/formal methods. Further info can be found here.

Published Jan. 13, 2014 12:18 AM

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.

Published Oct. 16, 2013 11:01 AM

Final step of the PhD process for Fatemeh Kazemeyni, the trial lecture and the public defense of her thesis, 3. September 2013 Congratulations!

Published Oct. 7, 2013 8:37 AM

Final step of the PhD process for Mai Tran Thuong, the handing over of the certificate during the PhD ceremony in the Universitets aula, 19.Sept. 2013 (together with all the other graduates). Congratulations!

Published June 12, 2012 6:13 PM

A PhD position in the group of "Precise modelling and analysis'' (PMA) is availabe.

The deadline has expired.

Published May 30, 2012 2:40 PM

Heidelberg Laureate Forum - Abel, Fields and Turing Laureates Meet the Next Generation.

Winners of the prestigious Abel Prize, Fields Medal and Turing Award will meet ambitious young scientists starting with 23-27 September 2013. Agreement signed in Oslo on May 22nd on the occasion of the 10th Abel Prize Ceremony by Norwegian Academy of Science and Letters, International Mathematical Union, and Association for Computing Machinery.

Published Apr. 23, 2012 11:29 PM

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.


Published Apr. 23, 2012 11:18 PM

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). This talk is 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.

Published Feb. 28, 2012 1:48 PM

DEON 2012 - the 11th International Conference on Deontic Logic in Computer Science, is held during 16-18 July 2012, at University of Bergen.

Published Nov. 23, 2011 6:41 PM

The contribution "Formal Modeling and Analysis of Hybrid Systems in Rewriting Logic using Higher-Order Numerical Methods and Discrete-Event Detection" by Muhammad Fadlisyah (PMA), Peter Csaba Ölveczky (PMA), and Erika Abraham (RWTH Aachen) received the award as "best paper"  at CSSE 2011 (the CSI International Symposium on Computer Science and Software Engineering).