Date: | Mon, 11 Dec 2017 08:10:18 -0600 |
---|---|
From: | Calvin Smith <cjsmith@xxxxxxxxxxx> |
Subject: | [pl-seminar] Talk today at noon |
|
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | Re: [pl-seminar] madPL holiday party, Loris D'Antoni |
---|---|
Next by Date: | Re: [pl-seminar] madPL holiday party, Loris D'Antoni |
Previous by Thread: | [pl-seminar] Talk today, Calvin Smith |
Next by Thread: | [pl-seminar] Talk today: On The Unreasonable Effectiveness of Boolean SAT Solvers, Aws Albarghouthi |
Indexes: | [Date] [Thread] |