[TYPES/announce] CfP: WORKSHOP RP'2010

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Call for Papers = 4th WORKSHOP ON REACHABILITY PROBLEMS, RP'2010 (August 27-29, 2010, Masaryk University, Brno, Czech Republic) co-located

[TYPES/announce] E.W. Beth Dissertation Award 2010 - deadline extended

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] E. W. Beth Dissertation Prize: 2010 call for nominations Deadline extended: May 16, 2010 !!! Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.org)

[TYPES/announce] First Call for papers for the workshop Classical Logic and Computation (CLC'10) - 21-22 August 2010 - Brno, Czech Republic

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] As usual, apologies for multiple copies. This is the first call for papers for: International Workshop on Classical Logic and Computation (CLC'10)