[pl-seminar] First PL Seminar

[JOHN CYPHERT <jcyphert@xxxxxxxx>]

Hi everyone,

Per the results of the doodle poll, let's plan on having the pl seminar on Wednesdays at 1pm.

Our first seminar will be Wednesday Jan 29 at 1pm in CS 4310.

Aws will be talking about some "half-baked ideas of how to synthesize recursive programs that also have neural networks inside them."

See you there,

John

P.S. Here again is the link to the sign up sheet.

https://docs.google.com/spreadsheets/d/1zbDXGHjHGxpHxy4SYciLhT8PlZsaSQKhvmDvK5Gjcpg/edit?usp=sharing

PL Seminar Schedule Spring 2020 Sheet1 Date,Speaker,Title,Abstract Jan 29,Aws,Neurosymbolic recursive program synthesis,I will show you half-baked ideas of how to synthesize recursive programs that also have neural networks inside them Feb 5 Feb 12 Feb 19 Feb 26 Mar 4 Mar 11 Mar 25 Apr 1 Apr 8 Apr 15 Apr 22 Apr 29 docs.google.com