<a href="http://lists.cs.wisc.edu/mailman/listinfo/pl-seminar">pl-seminar</a> Archives Mail 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

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

pl-seminar Archives Mail Index