[TYPES/announce] Post-doctoral position in coalgebraic logic at DFKI Bremen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Thanks for distributing the job advertisement below.] The German Research Center for Artificial Intelligence (DFKI GmbH) is seeking a Postdoctoral Researcher for its Safe and Sec

[TYPES/announce] CiE 2011 - 2nd call for papers: Deadline 14 January 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] _ CiE 2011: Computability in Europe Models of Computation in Context So

[TYPES/announce] CfP: FCT 2011 - Fundamentals of Computer Theory, 18th International Symposium

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Sorry for possible multiple copies of this announcement. Call for Papers FCT 2011 18th International Symposium on