ProTaGoNist is a group of people from the Netherlands working with proof tools.
Within the Dutch Graduate School IPA , the Institute for Programming research and Algorithmics, several research groups are participating with a strong interest in theorem proving and proof checking, and in the application of this technology for proving program correctness. The day will consist of a number of talks on different proof tools and their uses, and a discussion. ProTaGoNist also aims at improving the informal relations between people working in the field of theorem proving. Therefore, the day will be concluded with a dinner. The event will take place at the University of Utrecht, De Uithof , Leuvenlaan 4, in the new Minnaert building room 211.