[TYPES/announce] QBFEVAL'18 - Deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for any cross-posting] ** QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event

[TYPES/announce] FLoC 2018 Workshop: Twenty years of deep inference

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Only two days left for submission ... TWENTY YEARS OF DEEP INFERENCE Oxford, July 7, 2018 Part of FLoC 2018