4th IEEE Symposium on Theoretical Aspects of Software Engineering
August 25 - 27, 2010, Taipei, Taiwan, ROC
Call-for-Papers
IEEE TASE 2010 aims to become a forum for the presentation and discussion of
new fundamental ideas in
software engineering of large-scale systems. Software engin
(Apologies if you receive multiple copies of this announcement)
*
Third International Conference on Verified Software:
Theories, Tools, and Experiments
Call for Conference & Workshop Papers
*** CONFERENCE PAPER SUBMISSION DEADLINE:
Live from (post-) Zurihac, I'm pleased to announce the 2010.1.0.0 (beta branch)
release of the Haskell Platform, supporting GHC 6.12.
http://hackage.haskell.org/platform/
The Haskell Platform is a comprehensive, robust development environment for
programming in Haskell. For new users the plat
There are three new packages on Hackage:
- monad-parallel 0.5
(http://hackage.haskell.org/package/monad-parallel)
- monad-coroutine 0.5
(http://hackage.haskell.org/package/monad-coroutine)
- Streaming Component Combinators 0.5
(http://hackage.haskell.org/package/scc)
The firs
Dreading the end of ZuriHac? Wish the Haskellian camaraderie could
continue?
Well, if you're able to make your way to Sydney, Australia between the
16th and 18th of July, then AusHac2010 is for _you_! It will be held
at the School of Computer Science and Engineering at the University of
New Sou
There are open PostDoc and PhD positions in the
"Programming Languages and Software Engineering"
group at Philipps-Universität Marburg.
Potential topics for these positions include, but are not limited to:
- software architecture and design techniques
- aspect-oriented and feature-oriented progra