[pl-seminar] CAV16 practice talk

[← Prev] [Date] [Next →]

[← Prev] [Thread] [Next →]

[pl-seminar] CAV16 practice talk

Date:	Tue, 12 Jul 2016 11:34:54 -0500
From:	Samuel Drews <sedrews@xxxxxxxx>
Subject:	[pl-seminar] CAV16 practice talk

I will be giving a practice talk for my CAV16 paper, EffectivelyPropositional Interpolants, on Friday, July 15, 10am, in CS 2310. Pleaseattend and give me feedback if you're available.

[← Prev in Thread]	Current Thread	[Next in Thread→]
[pl-seminar] CAV16 practice talk, Samuel Drews <= Re: [pl-seminar] CAV16 practice talk, Samuel Drews

Previous by Date:	Re: [pl-seminar] PLDI16 practice talk, Aws Albarghouthi
Next by Date:	Re: [pl-seminar] CAV16 practice talk, Samuel Drews
Previous by Thread:	[pl-seminar] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop, Loris D'Antoni
Next by Thread:	Re: [pl-seminar] CAV16 practice talk, Samuel Drews
Indexes:	[Date] [Thread]