BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
 M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20111123T101644Z
DTSTART:20111130T140000Z
DTEND:20111130T160000Z
SUMMARY:The Geometry of Synthesis: How to make hardware out of software
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}s4-gvc6ibf3
 -3ob63f
DESCRIPTION:Speaker: Dr Dan Ghica\n\nCompared to CPUs\, custom circuits c
 an be faster\, use less energy and be less susceptible to tampering\, so
  there are situations when rather than executing a computer program on a
  processor\, as is usually the case\, it is desirable to generate a fixe
 d\, static\, custom-designed digital circuit which  implements its behav
 iour. This problem\, "hardware compilation"\, raises many difficult conc
 eptual and technical challenges\, one of which is the synthesis of funct
 ion calls. I will describe the progress we made in solving this problem\
 , by using recent theoretical developments from programming  language th
 eory. I will also describe a prototype compiler constructed using this a
 pproach.\n\nBio: Dan R. Ghica is a Senior Lecturer in Computer Science a
 t the University of Birmingham\, UK. His research concerns the applicati
 on  of programming-language theoretical ideas such as game semantics\, t
 ype systems\, and category theory\, to automated program verification an
 d hardware synthesis. He obtained his PhD in Computer Science in 2002 fr
 om Queen's University\, Canada\, after which he worked as a postdoctoral
   researcher at the University of Oxford (2002-2005). In 2005 he joined 
 the University of Birmingham as a Lecturer. Between 2006-2011 he held a 
 prestigious EPSRC Advanced Research Fellowship\, titled "A Unified Appro
 ach to Compositional Software Modelling\, Analysis and Verification".\n
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Kilburn Lecture Theatre 1.4\, Kilburn Building\, Manchester
END:VEVENT
END:VCALENDAR