Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

[← Prev]  [Date]  [Next →] [← Prev]  [Thread]  [Next →]

Re: [pl-seminar] CAV16 practice talk

Date: Fri, 15 Jul 2016 08:20:47 -0500
From: Samuel Drews <sedrews@xxxxxxxx>
Subject: Re: [pl-seminar] CAV16 practice talk 
Reminder

Attached is a handout of the slides if you would like that for reference.


On 7/12/2016 11:34 AM, Samuel Drews wrote:
I will be giving a practice talk for my CAV16 paper, Effectively Propositional Interpolants, on Friday, July 15, 10am, in CS 2310. Please attend and give me feedback if you're available. 

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

Attachment: CAV16.pdf
Description: Adobe PDF document

[← Prev in Thread] Current Thread [Next in Thread→]
Previous by Date:  [pl-seminar] CAV16 practice talk, Samuel Drews
Next by Date:  [pl-seminar] ASE '16 practice talk, Alisa Maas
Previous by Thread:  [pl-seminar] CAV16 practice talk, Samuel Drews
Next by Thread:  [pl-seminar] Concept design for PL group name, Loris D'Antoni
Indexes:  [Date] [Thread]