BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Diagrammatic Operational Semantics for Digital Circuits - Dan Ghic
 a\, University of Birmingham
DTSTART:20170317T140000Z
DTEND:20170317T150000Z
UID:TALK71106@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:We introduce a general diagrammatic theory of digital circuits
 \, based on connections between monoidal cate- gories and graph rewriting.
  The main achievement of the paper is conceptual\, filling a foundational 
 gap in reasoning syntac- tically and symbolically about a large class of d
 igital circuits (discrete values\, discrete delays\, feedback). This compl
 ements the dominant approach to circuit modelling\, which relies on simula
 tion. The main advantage of our symbolic approach is the enabling of autom
 ated reasoning about parametrised circuits\, with a potentially interestin
 g new application to partial evaluation of digital circuits. Relative to t
 he recent interest and activity in categorical and diagrammatic methods\, 
 our work makes several new contributions. The most important is establishi
 ng that categories of digital circuits are Cartesian and form\, in the pre
 sence of feedback\, so-called dataflow categories\, which have expressive 
 iteration axioms. The second is producing a general yet simple graph-rewri
 te framework for reasoning about such categories in which the rewrite rule
 s are computationally efficient\, opening the way for practical applicatio
 ns.\n\nJoint work with Achim Jung and Aliaume Lopez
LOCATION:FW26
END:VEVENT
END:VCALENDAR