orcmid:
2017-09-06: Day 100 Beard Growth
orcmid:
Checking the SML manifestation of ‹ob› Primitives
orcmid:
‹ob› Soundness Approach for the SML Manifestation
orcmid:
‹ob› Computational Manifestation in SML/NJ
orcmid:
‹ob› Mathematical Structure - Primitive Notions
orcmid:
‹ob› Mathematical Structure - Notation
orcmid:
2017-06-07 The Microsoft Enthusiast Tax
orcmid:
2017-01-01 Bull-Cow Game
orcmid:
DChanges 2014: Nigel Whitaker
orcmid:
DChanges 2014: Sonya Maier
orcmid:
DChanges 2014: Stephen Coakley & Cheng Thao
orcmid:
DChanges 2014: Ethan V. Munson
orcmid:
DChanges 2014: Jean-Yves Vion-Dury
orcmid:
DChanges 2014: Workshop Attendees
orcmid:
2013-06-20: MURATA Makoto
orcmid:
2012-07-25 Jean Hollis Weber
orcmid:
2012-06-15 Raj Reddy and Ed Feigenbaum
orcmid:
2012-06-15 Hamilton and Bachman at ACM Turing Centenary Celebration
orcmid:
2012-06-14 1974 Turing Laureate Donald Knuth
orcmid:
2012-06-15 2007 Turing Award Laureate Edmund Clarke
orcmid:
2010-10-14 Steve Ballmer speaking wih students
orcmid:
2010-10-14 Ballmer Responds to Audience Question
orcmid:
2010-10-14 Ballmer Absorbing a Question
orcmid:
2010-10-14 Steve Ballmer responds to Q&A Topics
orcmid:
2010-10-14: Steve Ballmer Sees a Friend in the Audience
orcmid:
2010-10-14: Alexandra Savelieva waits for Ballmer Lecture Event
orcmid:
DII Workshop: 2008-10-23 Dinner - Jean Paoli
orcmid:
ODC2008: 2008-02-11 Keynotes
orcmid:
FLoC2006: Ruth Davis and John Allen
orcmid:
FLoC2006: PCC - Ruth Davis
