Mailing List ArchivesAuthenticated access |
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}
|
Mailing List ArchivesAuthenticated access |
|
| Date: | Tue, 06 Feb 2018 16:41:35 -0600 |
|---|---|
| From: | "Loris D'Antoni" <loris@xxxxxxxxxxx> |
| Subject: | [pl-seminar] Special madPL seminar on Thursday at 12.15 in CS2310 |
|
George Argyros from Columbia will give a talk at 12.15 in CS2310 this Thursday on using formal methods to extract program models in black box settings. (see this Oakland paperÂhttps://www.cs.columbia.edu/~angelos/Papers/2016/bba.pdf)
More to follow, but for now, please mark your calendar. If you are interested in meeting George, please sign up here https://docs.google.com/ Cheers, -Loris |
| [← Prev in Thread] | Current Thread | [Next in Thread→] |
|---|---|---|
| ||
| Previous by Date: | Re: [pl-seminar] Semester talks for Spring 2018, Loris D'Antoni |
|---|---|
| Next by Date: | Re: [pl-seminar] FW: Special madPL seminar on Thursday at 12.15 in CS2310, Loris D'Antoni |
| Previous by Thread: | [pl-seminar] Slides from today's talk "Tips on Writing a Research Paper", Thomas Reps |
| Next by Thread: | Re: [pl-seminar] FW: Special madPL seminar on Thursday at 12.15 in CS2310, Loris D'Antoni |
| Indexes: | [Date] [Thread] |