(Placeholder)
IN PERSON EVENT. Please RSVP so we can plan accordingly.
Talk:
John Krasnay will be sharing his lessons learnt from The Reasoned Schemer (https://mitpress.mit.edu/9780262535519/the-reasoned-schemer/)
It'll be a great introduction to Logic Programming and you can probably find a library in the programming language of your choice! Check out http://minikanren.org/
Agenda:
7 to 7:30: Entry and Mingling
7:30 to 8:30: Talk by John
8:30 to 9:00: Mingling and Exit
Thanks to Ronny and OneEleven for hosting!