1. Crank up SharePoint Adoption in Your Organization! Asif Rehmani SharePoint MVP and MCT @asifrehmani SharePoint-Videos.com 2. TM VisualSP in-context and on-demand Help…

1. 1 Nifty stuff that you can still do with Android Xavier 'xEU' Martin HES 2013 May 2th 2013 2. 2 Thank You!  This presentation is a compilation of original…

Slide 1Advanced programming tools at Microsoft K. Rustan M. Leino Microsoft Research, Redmond, WA, USA 16 May 2005 Distinguished lecture, York University Toronto, ON, Canada…

Slide 1The Spec# programming system K. Rustan M. Leino Microsoft Research, Redmond, WA, USA Lunch seminar, Praxis Bath, UK 6 Dec 2005 joint work with Mike Barnett, Robert…

Slide 1Demand-driven inference of loop invariants in a theorem prover K. Rustan M. Leino Microsoft Research, Redmond, WA, USA joint work with Francesco Logozzo École Polytechnique,…

Slide 1Object Invariants in Specification and Verification K. Rustan M. Leino Microsoft Research, Redmond, WA Joint work with: Mike Barnett, Ádám Darvas, Manuel Fähndrich,…

Slide 1Writing specifications for object-oriented programs K. Rustan M. Leino Microsoft Research, Redmond, WA, USA 21 Jan 2005 Invited talk, AIOOL 2005 Paris, France joint…

Slide 1Challenges in increasing tool support for programming K. Rustan M. Leino Microsoft Research, Redmond, WA, USA 23 Sep 2004 ICTAC Guiyang, Guizhou, PRC joint work with…

1.Brown Bag Lunch – Monetization 2.0 zanox Group |November24, 20092. zanoxAPAC General Information Countries served:Shanghai, China Generated sales volume:1.2 mill Euro…

1. CODECAMP 2012@hurrycaneSaturday, March 10, 12 2. Infrastructure as code Tools for DevOpsBogdan GâzaCODECAMP 2012 @hurrycaneSaturday, March 10, 12 3. $ whoami Student…