[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS IEEE Workshop on Service Discovery and Composition in Ubiquitous and Pervasive Environments with IEEE GLOBECOM07, 26-30 November 2007, Washington DC Please visit http://hpcl.seas.gwu.edu/~bakhouya/SUPE'07.htm for submission guidelines and http://www.ieee-globecom.org/2007 for more information Accepted papers will be available on IEEExplore. The program committee would welcome submissions from researchers in type systems on topics relating to abstract data types; type systems for object-oriented, concurrent, distributed, and mobile programming Best regards, J.Gaber -- Dr J.Gaber Université de Technologie de Belfort-Montbéliard Rue Thierry Mieg 90010 Belfort Cedex, France voice: +33 (0)3-8458-3252, +33 (0)6-8134-6243 fax: +33 (0)3-8458-3342 emails: [EMAIL PROTECTED], [EMAIL PROTECTED]