[TYPES/announce] Call for Participation: FLoC Workshop on Modules and Libraries for Proof Assistants

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation Second International Workshop on Modules and Libraries for Proof Assistants (MLPA'10)

[TYPES/announce] LSFA 2010 - Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multilple copies of this CFP.] --- LSFA 2010 - 5th Workshop on Logical and Semantic Frameworks, with Applications Call for Papers Scope Logical and semantic frameworks ar