types-announce@lists.seas.upenn.edu

2011-02-25 Thread Isabelle Perseil
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS : UML&FMÂ’2011 4th INTERNATIONAL WORKSHOP ON UML&FORMAL METHODS

[TYPES/announce] CfP: Theoretical Aspects of Computing (ICTAC 2011) - DEADLINE EXTENDED

2011-02-25 Thread Antonio Cerone
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second Call for Papers ICTAC 2011 International Colloquium on Theoretical Aspects of Computing URL: http://www.ictac.net/ictac2011/ 31 August - 2 September 2011, Johannesburg, South Africa

[TYPES/announce] CFP: Workshop on Theory and Practice of Delimited Continuations (deadline extension - 11 March)

2011-02-25 Thread Noam Zeilberger
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** full paper deadline extended *** *** 11 March *** Call for Papers TPDC 2011