tag:blogger.com,1999:blog-4376947664270917518.post3525843592997632734..comments2023-05-21T13:47:49.178+01:00Comments on Adventures in Programming Languages and Semantics: The bug-free myth: Why we trust verified softwareGianhttp://www.blogger.com/profile/04384217245734242968noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4376947664270917518.post-6726280498161111282009-10-14T11:41:51.979+01:002009-10-14T11:41:51.979+01:00Hi Francesco,
Pleasure to hear from you! I certa...Hi Francesco,<br /><br />Pleasure to hear from you! I certainly agree that integration into the compiler tool-chain is really important to getting people to actually start using the tools.<br /><br />I think I've got a few leads now - the International office provided me a few leads, and I've managed to decipher enough Danish to find a few more. I'll be over for a few days from the 21st next week for the Genie project, so I'm sure I'll speak to you more then.<br /><br />Thanks!<br />GianGianhttps://www.blogger.com/profile/04384217245734242968noreply@blogger.comtag:blogger.com,1999:blog-4376947664270917518.post-48326527341663631012009-10-14T11:36:12.274+01:002009-10-14T11:36:12.274+01:00Hi Gian, I am Francesco Zanitti (I will be one of ...Hi Gian, I am Francesco Zanitti (I will be one of your co-worker in the PLS group here at the ITU). First, compliments for your articles, I am quite new to all this stuff on formal verification and I like to see somebody who actually try to explain in practice the usefulness of these tools. Personally I think that we'll see a more spread usage of these tools when they will be available as some kind of compilation process (but still, I don't really know much so, maybe I will be proven wrong :) ).<br /><br />Anyway, actually me and my girlfriend found a flat on the internet (there are a lot of web sites who offer flats, the main problem is that usually they are in danish :p), or have you tried asking directly to the ITU? here is an extract from the email I received when the ITU offered me a position:<br />"Finding accommodation in Copenhagen can be difficult. If you would like the IT University of Copenhagen to help you look for accommodation, our International Office will be glad to assist you. Please contact the International Office by email (interoffice@itu.dk or mehe@itu.dk)."<br /><br />Hope that this helps, best regards<br /><br />fzc43nghttps://www.blogger.com/profile/02100927857356825585noreply@blogger.com