次の方法で共有

Webcasts - the science behind Microsoft technologies

  • [アーティクル]

We are running a web cast series applicable for academics in May. Want to learn more about the science behind Microsoft technologies, and what comes out of Microsoft Research? Speakers and subjects included Erik Meijer talking about the importance of language design and Brendan Murphy talking about software failures in W2K and what this means for future versions. Full list below:

MSDN Webcast: Language Design: Helping Programmers Program Better (Level 300)
Tuesday, May 3, 2005
10:00 A.M.–11:00 A.M. Pacific Time

MSDN Webcast: Spec#: Adding Contracts to C# (Level 300)
Wednesday, May 4, 2005
10:00 A.M.–11:00 A.M. Pacific Time

MSDN Webcast: The Role of Code Identity and Code Identity Based Secrets in Distributed Computing (Level 300)
Tuesday, May 10, 2005
10:00 A.M.–11:00 A.M. Pacific Time

MSDN Webcast: Cω (C-Omega) (Level 300)
Wednesday, May 11, 2005
10:00 A.M.–11:00 A.M. Pacific Time

MSDN Webcast: Buffer Overflows (Level 300)
Tuesday, May 17, 2005
10:00 A.M.–11:00 A.M. Pacific Time

MSDN Webcast: Code Analysis at Microsoft: Helping Development and Customers (Level 300)
Wednesday, May 18, 2005
10:00 A.M.–11:00 A.M. Pacific Time

MSDN Webcast: Estimating the Risks Associated with Releasing Software (Level 300)
Friday, May 20, 2005
8:00 A.M.–9:00 A.M. Pacific Time

MSDN Webcast: Concrete Languages on Virtual Platforms (Level 300)
Friday, May 27, 2005
8:00 A.M.–9:00 A.M. Pacific Time

MSDN Webcast: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods Inside Microsoft (Level 300)
Tuesday, May 31, 2005
10:00 A.M.–11:00 A.M. Pacific Time

https://www.microsoft.com/events/series/msdnscience.mspx

Comments