It's only $50 to attend.
I'm particularly excited about hearing Nada Amin (who works on many neat things, included type related ones at EPFL - home of Scala) will be giving a really fun talk on nominal logic programming. Expect brain melting of the best kind!
Finally, going off topic just a bit, if there are any overly ambitious students looking at this thread - the Clojure community is putting together the list of project ideas for Google Summer of Code 2013 - http://dev.clojure.org/display/community/Project+Ideas. I'd like to see quite a few enhancements to core.logic! Of course we're equally excited about core.typed, ClojureScript, better tooling for beginners and more! Please, feel free to post your own ideas.
The bits about generating programs using MiniKanren was truly mind blowing.
What Kanren does is show how functional programming and logic programming can be viewed as roughly the same thing.
It's interesting that generalized parsing is also more or less like logic programming.
So functional programming w/delimited continuations == generalized parsing == logic programming. Sorta.