[PL-sem-jr] invitation to a practice presentation of our TAP-2010 paper
J. Ian Johnson
ianj at ccs.neu.edu
Wed Jun 23 14:48:13 EDT 2010
[Sent on behalf of Eugene Goldberg]
I am going to give a practice presentation of our TAP-2010 paper (attached and link: http://eigold.tripod.com/papers/tap-2010.pdf ):
Eugene Goldberg, Panagiotis Manolios "Generating High Quality Tests for Boolean Circuits by Treating Tests as Proof Encodings", TAP-2010, July 1-2, Malaga, Spain.
June 24 (Thursday), 2pm, room 166.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 241122 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/pl-sem-jr/attachments/20100623/b55eef8f/attachment-0001.pdf
More information about the Pl-sem-jr