[ 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
[ 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 all
[ 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.
--
[ 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 confere
[ 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.