(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!