Confo

A little less than a month from today the Clojure/West conference takes place in Portland, OR. I attended the first Clojure/West and actually gave a talk entitled ClojureScript Anatomy. This year however I’m not presenting, but I’ll still be there.

tl;dr The Conf° collocated with Clojure/West is happening on the evening of Tues Mar. 19th and is only $50 to attend. Register before it’s too late.

My role at this year’s Clojure/West will be the emcee of the very exciting mini-conference The Conf° (only $50 to attend; register now). If you’re not familiar with the point of The Conf° then the easy explanation is that it’s about different aspects of relational logic using miniKanren. miniKanren has generated a lot of excitement in the Clojure community thanks to David Nolen’s implementation in core.logic and the amazing presentations by the authors of the definitive¹ reference on the subject The Reasoned Schemer — Daniel Friedman and William Byrd.

While the larger Clojure/West conference looks very exciting, including three days of awesomeness, The Conf° will be a quaint affair devoted to the wonders of miniKanren. However, as the schedule below shows, the focus is not entirely on Clojure. On tap for the evening is a healthy dose of not only Clojure goodness, but also Scheme, Haskell and maybe even something new:

• Introduction and hello by Me
• Logic programming in the wild by Gabriel Pickard
• Intro to CLP with core.logic by Ryan Senior
• Molog: Typed Functional Logic Programming in Haskell by Adam Foltzer
• The Architecture of core.logic by David Nolen
• core.logic.nominal by Nada Amin
• The Unreasonable Schemers by Dan Friedman and William Byrd

I can’t wait to join the fun. I hope to see you there too.

In the meantime, below you’ll find more information to help you gear up for The Conf°.

• What is relational logic?

• The Reasoned Schemer (available on Amazon) – The definitive book

• miniKanren.org – The definitive website

• miniKanren – The definitive source code

• Introduction to miniKanren

• clojure.core.logic and its primer

• Explorations in core.logic

:F

Posted by fogus on 2013.02.20.

Tags: clojure, confo, Haskell, minikanren

Categories: joyofclojure

0 Responses

Leave a Reply

Name (required)

Email (required, but never shared)

Web

About Send More Paramedics

My name is Fogus, although those intimate with my offline identity tend to call me Mike. I spend a lot of time with Clojure and ClojureScript as a contributor to the languages and an avid user. I also love to read and write. I can be found at various locations on the Internets, including: My […]more →