Will, Slowly coming out from under everything. All my hiring chairs (both for a chair and for the department are over) My FAC (Faculty of Affairs Committee) chair responsibilities seem to be over. That's where we are an arm to the chair and amongst other things, evaluate every colleague and basically rank order everyone. It is exhausting, especially when I am also reading every single hiring file for both the chair slot and the general hiring slot. Mary has been wondering if I will every come back to Earth. I am pleased to announce, I am. My mom's 100th Birthday Party preparations for one week from this Friday (Don't forget that today is Mother's day; say hi to your mom) until the Sunday night will be over. I have a boat load of travel lined up, however.
Starting mid-June, A naming in Chicago A trip to Vienna (for Mary's relaxation) and to The Czech Republic (for "Curry On") from June 28 until the 10th of July a wedding in LA from July 30 until August 3rd ICFP and Scheme Workshop early September Possibly going to Strange Loop, but probably not this year, still contemplating it. A wedding in Denver in mid-October A trip to Sweden early-November I don't know where POPL is, but I am likely to go. That's my itinerary. Now, I have decided that I am perfectly happy trying to finish the 2nd edition of TRS, but I can't do it with your approach. I am sure that you are right about everything, but the approach doesn't work for me. We can talk more about it. Also, I had a chance recently to reread your submission to ICFP. It is quite good and quite a cogent argument for putting in the layer of indirection. I haven't worked through all the code, but I am rather impressed at how very clever the paper is. Things like Futamura Projections and John Reynolds "Definitional Interpreters" deserves a nod (In this paper, you don't need to actually read any of the code, just read the words.) It has appeared in HOSC. ... Dan It is good to have finally landed. Today, we are taking the "younger family" to Sunny Palace, under new ownership (quite good, now) at noon. That will be followed by taking Chinese Food to see the greats, and on the way, picking up Lola, I hope to be home in time for your show, but I will enter when I do. On Sun, May 10, 2015 at 8:41 AM, William Byrd <[email protected]> wrote: > 3pm Eastern/noon Pacific > > I'd like to talk about concatenative programming in Scheme and > miniKanren. Hopefully Michael Ballantyne will join us to talk about > implementing backjumping search for miniKanren. And we can catch up! > > --Will > > -- > You received this message because you are subscribed to the Google Groups > "minikanren" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/minikanren. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
