Archive by category 'Announcements'
December 18th, 2007 By recluze

LEO-II is a standalone, resolution-based higher-order theorem prover designed for fruitful cooperation with specialist provers for natural fragments of higher-order logic such as first-order and propositional logic. Currently LEO-II cooperates with the first-order automated theorem...

Read All
November 12th, 2007 By recluze

Updates on the group: 1. The group leader, Masoom Alam is back from Austria after completing his PhD. Now, we should be getting better communication and less noise in the group. 2. Our paper on formalization of UML and OCL meta-model has been accepted at INMIC 2007. We’ll be posting the theory...

Read All