<?xml-stylesheet type="text/xsl" href="http://community.research.microsoft.com/utility/FeedStylesheets/opml.xsl" media="screen"?><opml version="2.0">
  <head>
    <title>Microsoft Research Community</title>
    <dateCreated>Tue, 24 Nov 2009 17:00:31 GMT</dateCreated>
  </head>
  <body>
    <outline text="Microsoft Research Weblogs">
      <outline type="rss" text="The AlpineInker" title="The AlpineInker" description="&lt;h1&gt;&lt;a href=&quot;http://community.research.microsoft.com/blogs/alpineinker/default.aspx&quot;&gt;The AlpineInker&lt;/a&gt;&lt;/h1&gt;&#xD;&#xA;&lt;h3&gt;Ken Hinckley&amp;#39;s blog exploring the savage frontiers of pen, touch, and mobile devices&lt;/h3&gt;&#xD;&#xA;&#xD;&#xA;&lt;img src=&quot;http://research.microsoft.com/Users/kenh/images/cliffs.jpg&quot; alt=&quot;&quot; /&gt;&#xD;&#xA;&#xD;&#xA;&lt;h5&gt;The official blog of the &lt;b&gt;&lt;a href=&quot;http://research.microsoft.com/users/kenh/InkSeine/index.html&quot;&gt;InkSeine&lt;/a&gt;&lt;/b&gt; project at Microsoft Research&lt;/h5&gt;&#xD;&#xA;&#xD;&#xA;" xmlUrl="http://community.research.microsoft.com/blogs/alpineinker/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/alpineinker/default.aspx" />
      <outline type="rss" text="TechFest Live!" title="TechFest Live!" description="Real-time postings about the technology on display during TechFest, Microsoft Research&amp;#39;s annual project showcase.&#xD;&#xA;" xmlUrl="http://community.research.microsoft.com/blogs/techfestlive/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/techfestlive/default.aspx" />
      <outline type="rss" text="Dan on eScience" title="Dan on eScience" description="Dan’s notes on how computing, IT and research can benefit scientific research. " xmlUrl="http://community.research.microsoft.com/blogs/dan_on_escience/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/dan_on_escience/default.aspx" />
      <outline type="rss" text="WWT Data Blog" title="WWT Data Blog" description="Details of the many datasets in the WorldWide Telescope. This includes all-sky surveys, individual study images from various telescopes, panoramas, etc." xmlUrl="http://community.research.microsoft.com/blogs/wwt_data_blog/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/wwt_data_blog/default.aspx" />
      <outline type="rss" text="Infer.NET Team Blog" title="Infer.NET Team Blog" description="Infer.NET is a .NET framework for machine learning. It provides state-of-the-art algorithms for probabilistic inference from data.  Various Bayesian models such as Bayes Point Machine classifiers, TrueSkill matchmaking, hidden Markov models, and Bayesian networks can be implemented using Infer.NET.&#xD;&#xA;" xmlUrl="http://community.research.microsoft.com/blogs/infernet_team_blog/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/infernet_team_blog/default.aspx" />
      <outline type="rss" text="Surface Computing Research" title="Surface Computing Research" description="Ongoing Surface Computing projects at MSR and Microsoft, and related musings." xmlUrl="http://community.research.microsoft.com/blogs/surface_computing_research/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/surface_computing_research/default.aspx" />
      <outline type="rss" text="99%" title="99%" description="" xmlUrl="http://community.research.microsoft.com/blogs/ginav/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/ginav/default.aspx" />
      <outline type="rss" text="Z3: Theorem Prover" title="Z3: Theorem Prover" description="Z3 is a new high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 has already been integrated with Spec#/Boogie, and HAVOC. We are currently integrating Z3 with Pex, SAGE, Yogi, Vigilante, and SLAM. It can read problems in SMT-LIB and Simplify formats." xmlUrl="http://community.research.microsoft.com/blogs/z3theorem_prover/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/z3theorem_prover/default.aspx" />
      <outline type="rss" text="kodu" title="kodu" description="" xmlUrl="http://community.research.microsoft.com/blogs/kodu/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/kodu/default.aspx" />
      <outline type="rss" text="Dreams Come True" title="Dreams Come True" description="Updates on program management life at Microsoft Research." xmlUrl="http://community.research.microsoft.com/blogs/dreams/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/dreams/default.aspx" />
      <outline type="rss" text="Santosh Balasubramanian&amp;#39;s Weblog" title="Santosh Balasubramanian&amp;#39;s Weblog" description="" xmlUrl="http://community.research.microsoft.com/blogs/santoshb/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/santoshb/default.aspx" />
      <outline type="rss" text="Software Reliability Research" title="Software Reliability Research" description="Improving software quality via automated tools and techniques." xmlUrl="http://community.research.microsoft.com/blogs/software_reliability_research/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/software_reliability_research/default.aspx" />
      <outline type="rss" text="Research Interns " title="Research Interns " description="" xmlUrl="http://community.research.microsoft.com/blogs/interns/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/interns/default.aspx" />
      <outline type="rss" text="Christos Gkantsidis&amp;#39; blog" title="Christos Gkantsidis&amp;#39; blog" description="" xmlUrl="http://community.research.microsoft.com/blogs/gkantsidis/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/gkantsidis/default.aspx" />
      <outline type="rss" text="Savas Weblog" title="Savas Weblog" description="" xmlUrl="http://community.research.microsoft.com/blogs/savasweblog/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/savasweblog/default.aspx" />
    </outline>
    <outline text="Socio-Digital Systems">
      <outline type="rss" text="Technology Trends" title="Technology Trends" description="" xmlUrl="http://community.research.microsoft.com/blogs/trends/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/trends/default.aspx" />
      <outline type="rss" text="Work Blog" title="Work Blog" description="" xmlUrl="http://community.research.microsoft.com/blogs/work/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/work/default.aspx" />
    </outline>
    <outline text="Microsoft Research New England Group Blog">
      <outline type="rss" text="Microsoft Research New England Group Blog" title="Microsoft Research New England Group Blog" description="" xmlUrl="http://community.research.microsoft.com/blogs/newengland/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/newengland/default.aspx" />
      <outline type="rss" text="Friends of Microsoft Research New England" title="Friends of Microsoft Research New England" description="" xmlUrl="http://community.research.microsoft.com/blogs/friends_of_microsoft_research_new_england/rss.aspx" htmlUrl="http://community.research.microsoft.com/blogs/friends_of_microsoft_research_new_england/default.aspx" />
    </outline>
  </body>
</opml>