BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Sonic Pi: Keeping the Rhythm - Emily Fox\, Churchill College
DTSTART:20151118T194000Z
DTEND:20151118T203000Z
UID:TALK62533@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:Sonic Pi is a piece of software combining musical concepts\, p
 rogramming techniques and sophisticated theory on keeping time. This talk 
 is aimed as an introduction to the features and underlying theory. I shall
  first give some background to what Sonic Pi is and why it was created\, a
 s well as demonstrate some of its flagship features. In particular\, there
  will be live coding in Sonic Pi\, example coded compositions and a demons
 tration of how you can recreate Pachelbel's Canon in D with just three aud
 io samples! Afterwards\, we shall focus on the underlying theory that allo
 ws it to function as a musical device. We shall examine the key idea of it
 s temporal semantics\, namely the separation between virtual time and actu
 al time\, which enables the indefinite keeping of a constant rhythm\, on a
  timesharing system with interrupts. To conclude\, we state and prove the 
 Time Safety lemma\, which is the correctness result for these temporal sem
 antics.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR