Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

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

[pl-seminar] [pl-reading] D3 : Data-Driven Disjunctive Abstraction

Date: Tue, 15 Mar 2016 10:34:18 -0500
From: Tushar Sharma <tsharma@xxxxxxxxxxx>
Subject: [pl-seminar] [pl-reading] D3 : Data-Driven Disjunctive Abstraction
HI all,

This is a reminder for the PL-reading talk at noon today in 4310. The topic is D3: Data-Driven Disjunctive Abstraction by H. Peleg, S. Shoham and E. Yahav.
Link to the abstract: http://www.cs.wisc.edu/events/2726

Thanks,
Tushar Sharma


[← Prev in Thread] Current Thread [Next in Thread→]
  • [pl-seminar] [pl-reading] D3 : Data-Driven Disjunctive Abstraction, Tushar Sharma <=
Previous by Date:  [pl-seminar] PL Seminar tomorrow, Aws Albarghouthi
Next by Date:  [pl-seminar] pl-seminar today: Invariant Synthesis (practice talk for ESOP 2016), Jason Breck
Previous by Thread:  [pl-seminar] PL Group Photo, Loris D'Antoni
Next by Thread:  [pl-seminar] [PL Seminar] No seminar talk tomorrow, Qinheping HU
Indexes:  [Date] [Thread]