Goes to Coq, the proof assistant :)
It is good to see some recognition in the field... I was beginning to feel I was in the underdog of research areas, but I guess I was only uninformed. Congratulations to all the people that have worked and are working in Coq!!