+1 I'd be happy to give an Agda/dependent types related talk.
On Fri, May 27, 2011 at 3:41 PM, Matt Harrington <[email protected]>wrote: > > Hi all, > > Great to see some activity on the BayFP list. > > I'm considering organizing a Bay Area functional programming conference in > October. There are lots of people in the area who've made the conceptual > leap to functional programming, and putting them all together in one place > could yield interesting results. We probably all have a lot in common. > > I've already reached out to the local Clojure, Scala, F#, and Erlang > communities. I haven't had a chance to meet with anyone from the Haskell or > LISP/Scheme groups, but given the enthusiasm I've seen so far I'm guessing > many of them would be on board. > > Brainstorming about ideas... Has anone seen Andrei Alexandrescu's talk > "Three Cool Things About D"? If not, it's worth seeing. I think it's also > a good format to follow. We could have a series of talks along the same > lines, e.g. "Three Cool Things about Clojure", or even "Three Cool Things > about Category Theory". There'd also be breakout rooms for more specific > talks, and time for an informal unconference kind of thing. I've been > kicking around this format for a while, and I think things jelled over lunch > with a friend who confirmed that the format makes sense. > > In short, it would be like ICFP & CUFP, but with less of an academic feel. > > If you're interested in speaking, or have any comments/ideas, please let me > know either on or off the list. > > The cost would be kept low, around $25, and it'd be either in San Francisco > or Mountain View. Initially, I was thinking of Saturday, September 24, but > coincidentally that's the same day as CUFP in Tokyo. So, the tentative date > is Saturday, October 1. > > Matt Harrington > > > -- > You received this message because you are subscribed to "Bay Area > Functional Programmers" > To unsubscribe from this group, send email to > [email protected] > For more options, visit this group at > http://groups.google.com/group/bayfp?hl=en -- Respectfully, Larry Diehl -- You received this message because you are subscribed to "Bay Area Functional Programmers" To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/bayfp?hl=en
