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.

- 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 2006-08-20 2006-10-08 2006-10-22 2006-10-29 2006-11-26 2007-04-29 2007-11-04 2007-11-11 2007-11-18 2008-01-06 2008-01-13 2008-01-27 2008-02-10 2008-02-24 2008-05-04 2008-05-25 2008-06-08 2008-06-15 2009-06-21 2009-11-08 2010-04-25


Blog Feed

Recent Items
 
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 mor...
 
Abstract or concrete? Maybe both.
 
A mesh of agreements, I am, I am
 
Service interface experiences
 
Compiling Num.java 0.1x

  

visits to Miser Project pages

The nfoCentrale Blog Conclave
 
Millennia Antica: The Kiln Sitter's Diary
 
nfoWorks: Pursuing Harmony
 
Numbering Peano
 
Orcmid's Lair
 
Orcmid's Live Hideout
 
Prof. von Clueless in the Blunder Dome
 
Spanner Wingnut's Muddleware Lab (experimental)

nfoCentrale Associated Sites
 
DMA: The Document Management Alliance
 
DMware: Document Management Interoperability Exchange
 
Millennia Antica Pottery
 
The Miser Project
 
nfoCentrale: the Anchor Site
 
nfoWare: Information Processing Technology
 
nfoWorks: Tools for Document Interoperability
 
NuovoDoc: Design for Document System Interoperability
 
ODMA Interoperability Exchange
 
Orcmid's Lair
 
TROST: Open-System Trustworthiness

 

Logic Summer, Model Autumn: 2006 Season of Functional Programming

For reasons that are not entirely clear to me, the Pacific Coast is the beneficiary of some major conferences that relate to logic and computation, with varying relationships to functional programming and perspectives on computational abstractions:

• WoLLIC 2006, July 18-21 at Stanford University, Stanford, California.  Workshop on Logic, Language, Information and Computation
    
• 2006 Lang.NET Symposium, July 31 – August 2 (new dates) at Microsoft, Redmond, Washington.
     
• FLoC 2006, August 10–22, Seattle, Washington.  The 2006 Federated Logic Conference, marking the Gödel Centenary.  Including, under one tent:
• August 12–15, three parallel conferences:
  LICS: IEEE Symposium on Logic in Computer Science
  RTA: Conference on Rewriting Techniques and Applications (August 12–14)
  SAT: International Conference on Theory and Applications of Satisfiability Testing
• August 17–20, three parallel conferences:
  CAV: Conference on Computer Aided Verification
  ICLP: International Conference on Logic Programming
  IJCAR: International Joint Conference on Automated Reasoning
• Plus one and two-day workshops preceding, between, and following the blocks of parallel conferences
      
• ICFP 2006: September 16–21, Portland, Oregon. International Conference on Functional Programming, with several workshops at the front and on the rear of the September 18–20 conference days.
      
• PLOP 2006: October 21–23, Portland, Oregon.  Pattern Languages of Programming Design 2006.
      
• OOPSLA 2006: October 22–26, Portland, Oregon.  ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications.

And if you want a break between ICFP and PLOP-OOPSLA in the Pacific Northwest, one might consider

• MoDELS 2006: October 1–6, Genova, Italy.  ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems. Formerly the UML series of conferences.

¶ posted by orcmid at 7/14/2006 02:55:00 PM

  <$BlogBacklinkTitle$>  

<$BlogBacklinkSnippet$>
posted by <$BlogBacklinkAuthor$> at <$BlogBacklinkDateTime$>