[TYPES/announce] Proof-search in Type Theories workshop, 5th June, Paris: Call for talks / participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please feel free to forward this announcement to people who could be interested. Call for talks / participation Workshop on *Proof-search in Type Theories* *Thursday 5th June* (+

[TYPES/announce] Paper announcement: Mechanizing the Metatheory of LF

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] On behalf of co-authors Christian Urban and Stefan Berghofer, we are happy to announce the availability of the following technical report. This an extended version of a paper to appear in