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.

Recent Items
 
Preparing for FLoC 2006
 
Preparing for the Lang.NET Symposium
 
Logic, Language, Information and Computation
 
Logic Summer, Model Autumn: 2006 Season of Functional Programming
 
Moving Peano Ahead for OOPSLA
 
Searching for the Semantic Web
 
Metadata for the desktop
 
A Java int is not an Integer; that's the point!
 
Agile Scope Creep and How to Detect It
 
All that's needed isn't written down; how much more might be enough?

Archives
2004-05-30
2004-06-06
2004-06-13
2004-06-27
2004-08-22
2004-08-29
2004-10-03
2004-12-05
2005-01-23
2005-06-19
2005-08-14
2005-10-09
2006-01-01
2006-02-05
2006-02-12
2006-07-09
2006-07-16
2006-07-30
2006-08-06

Preparing for FLoC 2006

FLoC 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.)

posted by orcmid at 8/10/2006 06:13:29 PM