Object Invariants in Specification and Verification K. Rustan M. Leino Microsoft Research, Redmond, WA Joint work with: Mike Barnett, Ádám Darvas, Manuel.
Writing specifications for object-oriented programs K. Rustan M. Leino Microsoft Research, Redmond, WA, USA 21 Jan 2005 Invited talk, AIOOL 2005 Paris,
Challenges in increasing tool support for programming K. Rustan M. Leino Microsoft Research, Redmond, WA, USA 23 Sep 2004 ICTAC Guiyang, Guizhou, PRC joint.
Chris Hecker spyparty.com …plus some ranting. SpyParty A Game About AI…
Soil Fertility Resources for Extension Agents National Association of County Agricultural Agents Annual Meeting and Professional Improvement Conference.
Virginia Point of Care Coordinators Point of Care Billing Strategies Christopher FETTERS President & Founder Nextivity.
How Leadership for Technology Is Distributed Among Leaders, Followers, and The Situation -Sara Dexter University of Virginia.
Outline Role govt should play (id disruptive tech, its commercialization) ? How integrated? Local vs. national, industry vs university roles Approach,
March 17, 2005IHE and medical Standards in Denmark 1 Integrating the Healthcare Enterprise What is IHE ? Charles Parisot, GE Healthcare IHE IT Infrastructure.
September, 2005What IHE Delivers 1 Lloyd Hildebrand, M.D., American Academy of Ophthalmology, Medical Information Technology Committee Chair IHE Eye Care.
Teachers and Innovative use of ICT A Marriage Searching for Quality Elsebeth K. Sorensen Aalborg University, Denmark ([email protected]) [email protected] Gunilla.
Learning, innovation and ICT A new discourse for eLearning Lieve Van den Brande, European Commission, DG Education and Culture Contact: [email protected].