The UHC repository has been moved to https://github.com/UU-ComputerScience/uhc
20120320 Change of repository
. Mar 29 the svn repo will become readonly, Mar 30 we will switch to github. (Postponed from Mar 15/16)
, and local page
I have started a UHC blog
Version 1.1.0 is released, read more here
We have a job opening for a PhD, see here
Generics in UHC: deriving can now be done generically.