| Date: | Fri, 23 Sep 2016 17:28:00 +0000 |
|---|---|
| From: | Thomas Reps <reps@xxxxxxxxxxx> |
| Subject: | [pl-seminar] FW: I shared "PVmsr2016sept.pptx" with you in OneDrive |
|
| [← Prev in Thread] | Current Thread | [Next in Thread→] |
|---|---|---|
| ||
| Previous by Date: | [pl-seminar] PL brunch, Loris D'Antoni |
|---|---|
| Next by Date: | [pl-seminar] This monday - A symbolic decision procedure for symbolic alternating automata, Loris D'Antoni |
| Previous by Thread: | [pl-seminar] FW: Google Research Internships 2017, Thomas Reps |
| Next by Thread: | [pl-seminar] Genesis: Switch Table Synthesis for Policy Enforcement in Multi-tenant Networks, Alisa Maas |
| Indexes: | [Date] [Thread] |