Department of Computing Science (InCo) 

The Formal Methods Group 

The group of Formal Methods was formed in the beginning of 1998. The main research areas of this group are 

The group has strong working connections with the Programming Logic group of Chalmers in Gothenburg, the Coq group at INRIA-Rocquencourt in Paris, the LSV of the ENS at Cachan and the group of Formal Methods at PUC in Rio de Janeiro.

Research projects

Lists the members of the group with links to each member's personal page. 
Where we are 
The location, address and phone/fax number of the Computing Science department. 
Programming Logic around the World 
Other research groups, proof checkers, article archives, journals, etc.