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
