On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M3ODonnell: Difference between revisions
From WG 2.11
Jump to navigationJump to search
m 1 revision |
No edit summary |
||
| Line 2: | Line 2: | ||
John O'Donnell | |||
Title: | Title: | ||
Equational Reasoning with Circuit Transformations in Hydra | Equational Reasoning with Circuit Transformations in Hydra | ||
<br>Speaker: John O'Donnell | <br>Speaker: John O'Donnell | ||
< | <br> | ||
Abstract:<br> | Abstract:<br> | ||
TBA | TBA | ||
Latest revision as of 14:50, 16 December 2011
John O'Donnell
Title:
Equational Reasoning with Circuit Transformations in Hydra
Speaker: John O'Donnell
Abstract:
TBA
