I'm looking forward to fogus's BOF summary. Dan Friedman (author of The Little Schemer, The Seasoned Schemer, The Reasoned Schemer, and many other excellent books and papers) and William Byrd were in attendance. They gave a pretty stunning presentation on miniKanren.

Is there a copy of their interpreter available? I'd like to see how the relations are setup to be able to "run backwards".

They said they would send it along, but they wanted to make the parser relational as well. When I get it I'll do a write up about it.

I believe the official Kanren/miniKanren source is at http://kanren.sourceforge.net and the cKanren source is at https://github.com/calvis/cKanren

I think he was asking about the interpreter they demoed during their talk. A more up-to-date version of miniKanren as well as many interesting variants can be found here: http://code.google.com/p/iucs-relational-research/

Don't miss the link near the top to the repo of speaker slides. I really hope videos are made available.

The plan is to release the videos as they are produced by ConFreaks.net. I suspect they will be on blip.tv. I'm unaware of a definite release schedule.

Were the BOFs recorded too? I'd love to see the miniKaren presentation by Dan Friedman & William Byrd.