Welcome to Orcmid's Lair, the playground for family connections, pastimes, and scholarly vocation -- the collected professional and recreational work of Dennis E. Hamilton

Recent Items
 
A Turn at Live Blogging
 
There Are No Ordinary Moments
 
Shared Identity Surprises - How Not To Do Single Sign-On
 
Congratulations ODF, OSI Draft International Standard 26300
 
Weight Loss and the Cravings
 
Party on the 10 island! Aftermath
 
Party on the 10 island!
 
Tom Clancy's Jack Ryan Novels
 
Serious Camp Fu 2.0
 
Happy Birthday, Ted

A Turn at Live Blogging

2006-08-11: I’m at a workshop one day before the 2006 Federated Logic Conference (FLoC’06) here in Seattle.  My initial tasks are to confirm wireless connectivity and setting the configuration on Quadro, my current Tablet PC.   I’ve also obtained all of my registration materials and I will move to the first workshop in a few minutes.  This post is also a day late, but I was resolved to actually perform it from the conference and here it is.

{tags: orcmid FLoC2006 logic language computation PCC Proof-Carrying Code}

It is either very simple or a little complicated to explain my participation for these 9 days.  There is an amazing confluence of conference opportunities in the Pacific Northwest over the next few months, and I did not know when there might be another opportunity for me.

With regard to the subject matter, it is a long-standing but neglected interest that I would like to re-invigorate.

That’s the simple answer and I’ll stick with it for now.  More posts from Professor von Clueless and on Numbering Peano will deal with the technical bits.

Starting out, this is my first live blogging from an event.  Sitting down to confirm WiFi access, I just heard a fellow speaking Italian to his computer, so I have now introduced myself to three Italian-speaking visitors who are also early arrivals, two from Venezia (fighting jealousy here) and one from Malta.  The young man from Malta is currently in Japan on an internship, demonstrating the international reach of this conference.

This is a test post, so I am not going to embellish it farther.  It is already overdue.

posted by orcmid at 8/12/2006 11:58:08 AM