MDCC TechTalk - Nikolaj Bjorner MS Research

BLOG: TechTalk: Research in Software Engineering by Nikolaj Bjorner, Senior Researcher, Microsoft Research
27. maj 2011 09:00 - 10.30
Skrevet i Stud.blog


Publiceret d. 12. maj 2011 kl. 08.53


 
ANNONCE:
TechTalk

The Research in Software Engineering (RiSE) group hos Microsoft Research i Redmond er igen på besøg i Danmark!
Denne gang er det Nikolaj Bjorner, Senior Researcher, Microsoft Research som arbejder med software udvikling i lidt flere "dimensioner" nemlig validering og bevisførelse af software korrekthed.

Nikolaj vil bl.a fortælle om Z3 (motoren som ligger bag PEX), http://touchstudioapp.com og meget mere!

Tilmelding og det fulde prgram kan findes her:

https://msevents.microsoft.com/ (...)

For de lidt mere nørdede...
Nikolaj besøger også DIKU hvor han i flere detaljer gennemgår Z3 og den seneste forskning indenfor software verifikation.
Mig bekendt finder DIKU talken sted på DIKU d. 26. maj kl. 9-?, men tjek det endelig tidspunkt, når det bliver slået op, her:
http://www.diku.dk/ (...)

\martin

Kommentarer til blogindlæg



Kommentér
Ytringer på debatten er afsenders eget ansvar - læs debatreglerne

Mere fra Stud.blog


Nu kan du hente en beta af næste version af Windows Phone Developer Tools, nemlig version 7.1 Beta!!!
24. maj 2011 kl. 21.56 | læs »



TechTalk: Research in Software Engineering by Nikolaj Bjorner, Senior Researcher, Microsoft Research
27. maj 2011 09:00 - 10.30
12. maj 2011 kl. 08.53 | læs »



På den konkurrerende "kanal" version2 har de taget initiativ til en konference om Mobil App. udvikling.
3. maj 2011 kl. 08.25 | læs »



I dag er det national hjemmearbejdsdag, http://www.hjemmearbejdsdagen.dk, så arbejder du hjemme i dag eller er det bare en dag som alle andre?
2. maj 2011 kl. 13.57 | læs »



Hvis du er iPhone (iOS) udvikler og godt kunne tænke dig at udvikle apps til WP7, så er det lige blevet lidt nemmere!
2. maj 2011 kl. 11.31 | læs »









Mest læste seneste uge

Kan gratis sikkerhedssoftware virkelig beskytte din pc? Svaret er ja, hvis du vælger det rette produkt. Læs her en test af de mest pålidelige gratis sikkerhedsprogrammer.

Næsten 200 IBM-ansatte får med få timers varsel sidste arbejdsdag i dag. Ingen var orienteret forud for dagens massefyring, som effektueres øjeblikkeligt.

Flyselskabet SAS har brugt op mod trekvart milliarder kroner og seks år på at udskifte sit bookingsystem. Undervejs har der været flere projekt-udfordringer, som kulminerede en vinternat med en big bang-migrering.

Her er forklaringen på, at IBM Danmark med direktør Lars Mikkelgaard-Jensen i spidsen fyrer 170 medarbejdere.

IBM Danmark lader hovederne rulle.