Editing Schedule (section)

== Thursday, June 12, 2014 ==
{| class="wikitable" style="width=:60%" border="1"
!  Time  !! Description
|-
| 7:00am || breakfast
|-
| 9:00am || '''Keynote:''' Seung Woo Shin, UC-Berkeley, ''Verifying CRN implementations''
|-
| 9:45am || coffee break 
|-
| 10:15am || small group problem solving 
|-
| 12:00pm || lunch 
|-
| 1:00pm || Meet back to discuss afternoon plan
|-
| 3:00pm || Progress discussion 
|-
| 3:30 || Break
|-
| 6:30pm || dinner
|-
|}