Research within the Horizon 2020 project HyVar has been covered in Uniforum
News - Page 2
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.
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!
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.
Final step of the PhD process for Fatemeh Kazemeyni, the trial lecture and the public defense of her thesis, 3. September 2013 Congratulations!
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!
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.
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.
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).