[TYPES/announce] HAIS 2009.- 2ND CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (HAIS´09) combines symbolic and sub-symbolic techniques to construct more robust and reliable problem solving models. This may include aspects as: Typed, untyped, or polymorphic lambda calcu

[TYPES/announce] Call for Papers: OOPSLA 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] OOPSLA Research Program Call for Papers Abstract Submission Deadline March 19, 2009 Full Papers Due March 23, 2009 Author response PeriodMay 1-2, 2009 Notificatio