 |
privacy |
||
|
Collaborative articulation of how abstraction and language is employed in the computational manifestation of numbers -- including analysis of the role of syntax, semantics, and meaning in the specification and use of software interfaces.
Blog Feed Recent Items 
The nfoCentrale Blog Conclave nfoCentrale Associated Sites |
2006-08-10Preparing for FLoC 2006FLoC Begins. Tomorrow, August 11, is the first day of my attendance at the 2006 Federated Logic Conference. I will be attending the workshop on Proof Carrying Code (PCC). I’ll also be collecting all of my tickets and proceedings for the tracks and workshops I’m registered for. There are several places where I want to be in three places at once. Most of the time, I’ll go to a session that I don’t have any proceedings paper for. But I expect to adjust as I go through the marathon 9 days that I’ll be attending. {tags: orcmid FLoC2006 logic language computation} At lang.NET 2006 I managed to connect to the wonderfully-fast wired LAN in Microsoft Building 20. I also managed to mess up my wireless connection for home use—my Tablet PC can no longer see or be seen by my workgroup computers—and I haven’t resolved that yet. But the wired LAN connection works great at home, with everything visible the way it is supposed to be. I am content for now to reserve wireless operation for on-the-road use, such as in the WIFI area of the FLoC venue. Every time I have an outside event to attend, I do a little more to make Quadro, my Tablet PC, ready for travel. Beside bringing over a lot of electronic documents on conference-related topics, I now have blogging software running on Quadro. I may actually manage to “live blog” from the venue. This initial post is confirmation that I have BlogJet working and connected properly. (I also see that use of “BlogJet” in the text causes a link to be created automatically. How cute.)
|
||
|
You are navigating The Miser Project. |
template created 2004-05-31-22:34 -0700 (pdt)
by orcmid |