![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 ... 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 ...](https://m.media-amazon.com/images/I/61XE-veMXOL._AC_UF1000,1000_QL80_.jpg)
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 ...
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 ...
![Tor Arne JOHANSEN | Professor | University of Bergen, Bergen | UiB | Department of Earth Science | Research profile Tor Arne JOHANSEN | Professor | University of Bergen, Bergen | UiB | Department of Earth Science | Research profile](https://i1.rgstatic.net/ii/profile.image/849343296843778-1579510630599_Q512/Tor-Arne-Johansen.jpg)
Tor Arne JOHANSEN | Professor | University of Bergen, Bergen | UiB | Department of Earth Science | Research profile
![Dr Anya on Twitter: "Now, Magne Haveraaen on abstracting error handling with 'alerts'. #hidays http://t.co/USzcstsWPD" / Twitter Dr Anya on Twitter: "Now, Magne Haveraaen on abstracting error handling with 'alerts'. #hidays http://t.co/USzcstsWPD" / Twitter](https://pbs.twimg.com/media/BgHv8orIQAARWFE.jpg)