[TYPES/announce] DAMP 2009: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] C a l l f o r P a p e r s DAMP 2009: Workshop on Declarative Aspects of Multicore Programming Savannah, Georgia, USA --- January 20, 2

[TYPES/announce] [ESSLLI 2010] Call for Bids

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute as widely as possible and excuses for multiple posting. * Call for Bids to Host the 22-th ESSLLI, 2010 *

[TYPES/announce] Constructive Topology - Workshop G. Sambin 60

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Advances in Constructive Topology and Logical Foundations Workshop in Honour of the 60th Birthday of Giovanni Sambin Padua, Italy, 8-11 October 2008 http://www.math.unipd.it/60th

[TYPES/announce] [Calco'09] 1st cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *--* * Call for Papers * *