Volker Stolz @fm_volker@mastodon.social on Twitter: "@iFMconf @hvl_no Magne Haveraaen from @II_UiB giving the FMFun keynote on "Mismatches between Programmer Intuition and Programming Semantics - An Education Related Vurnerability" https://t.co ...
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science, 4624): Mossakowski, Till, Montanari, Ugo, Haveraaen, Magne: 9783540738572 ...
wadt 2018
Suksess for språklaboratoriet | Kommunikasjonsavdelingen | UiB
Jan Heering, Tony Sloane and Magne Haveraaen #29 of 109 - Pics - Anya's Homepage
Magne Haveraaen #12 of 109 - Pics - Anya's Homepage
Olaf Owe - Department of Informatics
Vinner av INF101-konkuransen kåret | Institutt for informatikk | UiB
Trine Ytre-Arne - Daglig leder - Signo arbeid og deltagelse | LinkedIn
Dr Anya on Twitter: "Now, Magne Haveraaen on abstracting error handling with 'alerts'. #hidays http://t.co/USzcstsWPD" / Twitter
CALCO Young Researchers Workshop CALCO-jnr 2009
.jpg "07.10.03 Colloquium. Magne Haveraaen (Bergen)")
07.10.03 Colloquium. Magne Haveraaen (Bergen)
Norsk Lur- og Bukkehornlag | Siden ingen så langt har tatt oppfordringen om å legge ut video med eget hornspill, tar lagets leder sjansen på å være først ute | Facebook
Lenore MULLIN | Professor Emeritus | BS Math, SUC New Paltz, NY, MS Physics, PhD CS, Syracuse U | University at Albany, The State University of New York, New York | UAlbany
Magne Haveraaen, Bergen | person | gulesider.no
SORS: Using an integrated implementation and specification language to design DSLs for HPC applications | BSC-CNS
Mikkel Magnus Thørrisen | University of Stavanger
Volker Stolz @fm_volker@mastodon.social on Twitter: "@iFMconf @hvl_no Magne Haveraaen from @II_UiB giving the FMFun keynote on "Mismatches between Programmer Intuition and Programming Semantics - An Education Related Vurnerability" https://t.co ...
Magne Haveraaen visiting Swansea | Theory
Magne Haveraaen #26 of 109 - Pics - Anya's Homepage
Juri VAIN | Professor | Professor | Tallinn University of Technology, Tallinn | TTU | Department of Software Science | Research profile
magne haveraaen | Eelco Visser | Flickr
Tor Arne JOHANSEN | Professor | University of Bergen, Bergen | UiB | Department of Earth Science | Research profile
Feira UiB sine 25- og 40-årsjubilantar
Magne Haveraaen #44 of 66 - Pics - Anya's Homepage
Michal WALICKI | University of Bergen, Bergen | UiB | Department of Informatics | Research profile
Helmer André Friis | Universitetet i Stavanger
