[PL-sem-jr] invitation to a practice presentation of our TAP-2010 paper

[J. Ian Johnson]

[Sent on behalf of Eugene Goldberg]

Hi,

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.

Best regards,
Eugene Goldberg
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tap-2010.pdf
Type: application/pdf
Size: 241122 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/pl-sem-jr/attachments/20100623/b55eef8f/attachment-0001.pdf