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

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

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:31 PM