Mailing List Archives
Authenticated access
UW Madison
Computer Sciences Department
Computer Systems Lab
pl-seminar
Archives Mail Index
⇐First Page
←Prev Page
Pages: 1 |
2
Next Page→
Last Page⇒
Thread Index
Friday, December 03, 2021
Re: [madPL] Ralf Jung talk this Friday
, Aws Albarghouthi
Wednesday, December 01, 2021
[madPL] Fwd: Two Postdoc positions: Formal methods in control (Munich, Germany), ref 9y23z
, Thomas Reps
Monday, November 29, 2021
Re: [madPL] Ralf Jung talk this Friday
, Aws Albarghouthi
[madPL] Ralf Jung talk this Friday
, Aws Albarghouthi
Friday, November 19, 2021
[madPL] Reading Group today (11/19)
, Wiley Corning
Friday, November 12, 2021
[madPL] Reading Group 11/12
, Wiley Corning
Thursday, November 11, 2021
[madPL] Summer-internship opportunities for summer 2022
, Thomas Reps
Thursday, November 04, 2021
[madPL] Reading Group tomorrow 11/5
, ANVAY GROVER
Tuesday, November 02, 2021
[madPL] FW: Tenure-track position at UC Davis
, Thomas Reps
Friday, October 29, 2021
[madPL] Reading Group Today 10/29
, Wiley Corning
Monday, October 25, 2021
[madPL] FW: summer internships at Bell Labs
, LORIS D'ANTONI
Wednesday, October 13, 2021
[madPL] Reading Group 10/15
, Wiley Corning
Thursday, October 07, 2021
[madPL] Synthesis / SemGuS Reading Group - Prose - Friday at 1:10
, Keith Jens Carl Johnson
Wednesday, September 29, 2021
[madPL] social at 4pm this Friday 10/1
, ANVAY GROVER
Tuesday, September 21, 2021
[madPL] SemGuS Reading Group 9/24
, Wiley Corning
Friday, August 13, 2021
[madPL] Available position at Certora
, Thomas Reps
Wednesday, August 11, 2021
Re: [madPL] Loris leaves for sabbatical and Paulette Koronkevich (UBC) is in town social (8/10 at 3pm at the Terrace)
, Somesh Jha
Tuesday, August 10, 2021
Re: [madPL] Loris leaves for sabbatical and Paulette Koronkevich (UBC) is in town social (8/10 at 3pm at the Terrace)
, Wiley Corning
Re: [madPL] Loris leaves for sabbatical and Paulette Koronkevich (UBC) is in town social (8/10 at 3pm at the Terrace)
, JOHN CYPHERT
Re: [madPL] Loris leaves for sabbatical and Paulette Koronkevich (UBC) is in town social (8/10 at 3pm at the Terrace)
, Loris D'Antoni
Re: [madPL] Loris leaves for sabbatical and Paulette Koronkevich (UBC) is in town social (8/10 at 3pm at the Terrace)
, Loris D'Antoni
Monday, August 09, 2021
[madPL] Fwd: Multiple Faculty Openings in Software Engineering and Programming Languages at Oregon State University
, Loris D'Antoni
Friday, August 06, 2021
[madPL] blog post on how to build a quantum circuit simulator
, Aws Albarghouthi
Wednesday, August 04, 2021
Re: [madPL] Loris leaves for sabbatical and Paulette Koronkevich (UBC) is in town social (8/10 at 3pm at the Terrace)
, Loris D'Antoni
Tuesday, August 03, 2021
[madPL] Loris leaves for sabbatical and Paulette Koronkevich (UBC) is in town social (8/10 at 3pm at the Terrace)
, Loris D'Antoni
Thursday, July 29, 2021
[madPL] Terrace Social Today @3pm
, Wiley Corning
Re: [madPL] Synthesis / SemGuS Reading Group: Grammar Flow Analysis
, Loris D'Antoni
Tuesday, July 27, 2021
[madPL] Synthesis / SemGuS Reading Group: Grammar Flow Analysis
, Keith Jens Carl Johnson
Thursday, July 01, 2021
[madPL] SemGuS Reading Group 7/01 (today)
, Wiley Corning
Thursday, June 24, 2021
[madPL] SemGuS Reading Group 6/24 (happening now!)
, Wiley Corning
Thursday, June 17, 2021
[madPL] SemGuS Reading Group Jun 17
, Liam Hupfer
Thursday, June 10, 2021
Re: [madPL] Synthesis / SemGuS Reading Group
, EVAN XINGYE GENG
Wednesday, June 09, 2021
[madPL] Synthesis / SemGuS Reading Group
, EVAN XINGYE GENG
Tuesday, June 08, 2021
[madPL] POPL22 movie trailer
, Loris D'Antoni
Friday, June 04, 2021
[madPL] Fwd: Verification Mentorship Workshop 2021: Call for Participation
, Loris D'Antoni
Thursday, June 03, 2021
Re: [madPL] Synthesis / SemGuS Reading Group
, Keith Jens Carl Johnson
Re: [madPL] Synthesis / SemGuS Reading Group
, Aws Albarghouthi
Re: [madPL] PL lunch tomorrow noon
, YUHAO ZHANG
Re: [madPL] PL lunch tomorrow noon
, Aws Albarghouthi
[madPL] PL lunch tomorrow noon
, Qinheping HU
Wednesday, June 02, 2021
[madPL] FW: Disserattion Defense Tomorrow 1pm
, Qinheping HU
[madPL] Synthesis / SemGuS Reading Group
, Keith Jens Carl Johnson
Tuesday, June 01, 2021
[madPL] Disserattion Defense Tomorrow 1pm
, Qinheping HU
Friday, May 21, 2021
Re: [madPL] Kirshanthan Sundararajah madPL Seminar
, JOHN CYPHERT
Re: [madPL] Kirshanthan Sundararajah madPL Seminar
, JOHN CYPHERT
Re: [madPL] Kirshanthan Sundararajah madPL Seminar
, JOHN CYPHERT
Thursday, May 20, 2021
Re: [madPL] Lunch on Thursday?
, JORDAN J HENKEL
Re: [madPL] Lunch on Thursday?
, JORDAN J HENKEL
Re: [madPL] Lunch on Thursday?
, Aws Albarghouthi
Re: [madPL] Lunch on Thursday?
, Loris D'Antoni
⇐First Page
←Prev Page
Pages: 1 |
2
Next Page→
Last Page⇒
Thread Index
Mail converted by
MHonArc