Updated HaL 3 program

A short update on the program for HaL 3 (Haskell in Leipzig), which I mentioned earlier: there are two more interesting talks on the agenda now - one about using Haskell in the software industry, the other on program verification for big software projects :-)

You can find the full updated announcement on the HaL3 website.