News - Page 2

Research within the Horizon 2020 project HyVar has been covered in Uniforum

2 Ph.D positions in the group of ``Precise modelling and analysis'' (PMA)  and the  ConSeRNS initiative available.

Application deadline: 13. April!

The deadline has expired.

Up-to 2  positions (PhD/Postdoc) in the group of "Precise modelling and analysis'' (PMA)  availabe.

The deadline has expired.

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

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.

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!

Here's a link to a shot of the (kind of) first oo program, from an NR technical report from 1965.

Thanks for Amund Tveit (and Rudi Schlatte and Olaf Owe) for digging that up.

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

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.

Final step of the PhD process for Silvia Lizeth Tapia Tarifa, the trial lecture and the public defense of her thesis, 7. May 2014. Congratulations!

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.

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.

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

The national daily newspaper Aftenposten covered the new European project Envisage about cloud computing and virtualized services. The corresponding article can be found here (in Norwegian)

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!

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

The deadline has expired.

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.

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.

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.

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.

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

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).

The Department of Informatics organizes and hosts the The 5th International Workshop on Harnessing Theories for Tool Support in Software HTTSS'11 is organized as satellite event to FACS'11.

The Department of Informatics organizes and hosts the International Workshop on Overcoming Challenges for Security and Dependability WOCSD'11 as satellite event to FCT'11.