[TYPES/announce] Papers on Interactive Theorem Proving

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I would like to announce a recent special issue of the journal Sadhana -- published by the Indian Academy of Sciences -- on Interactive Theorem Proving and Verification, which may be of

[TYPES/announce] OOPSLA 2009 accepted research papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The following gives the list of accepted papers for OOPSLA 2009's research program, broken in to (somewhat arbitrary) groups and with the dates on which we plan to present them. This is

[TYPES/announce] CFP: Second Workshop on Hot Topics in Software Upgrades (HotSWUp 2009)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Several research teams are using type-based approaches to ensuring software update safety, so this CfP should be of interest to list members.

[TYPES/announce] (2nd) Call for FLoC 2010 Workshops

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] In 2010, the ACL2 Workshop and TPHOLs conference will be combining to form the ITP (Interactive Theorem Proving) conference. ITP 2010 will also be part of the FLoC combination of

[TYPES/announce] BLC 2009 meeting

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The following meeting is organised by the Swansea subsite of the last TYPES project and has at least one speaker in type theory, and might be of interest to the Types community.