This days keynote was a presentation of Fortress, a new programming language by Sun that targets mathematicians using Fortran today.
Fortress introduces many interresting ideas, most importantly the idea to minimize the concepts the compiler needs to know, and providing a good way to extend both syntax and semantics of the language.