Date: | Thu, 03 Mar 2016 18:47:31 -0600 |
---|---|
From: | Venkatesh Srinivasan <venk@xxxxxxxxxxx> |
Subject: | [pl-seminar] Talks by PL professors on Friday |
|
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | Re: [pl-seminar] Name for PL group, Loris D'Antoni |
---|---|
Next by Date: | [pl-seminar] PL Seminar tomorrow, Aws Albarghouthi |
Previous by Thread: | [pl-seminar] Sign up to give a talk, Loris D'Antoni |
Next by Thread: | [pl-seminar] This monday - A symbolic decision procedure for symbolic alternating automata, Loris D'Antoni |
Indexes: | [Date] [Thread] |