[TYPES/announce] Positions for PhD–students and PostDocs

2011-07-29 Thread Baskar
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Positions for PhD–students and PostDocs ***

[TYPES/announce] CfPart: TIME'11

2011-07-29 Thread Martin Leucker
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TIME 2011 Call for Participation Eighteenth International Symposium on Temporal Representation and Reasoning Lu