[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------- Summer School and Conference "Mathematics, Algorithms, and Proofs" The Abdus Salam International Centre for Theoretical Physics (ICTP) Trieste, Italy, 11-29 August 2008 http://cdsagenda5.ictp.trieste.it/full_display.php?smr=0&ida=a07167 Deadline for applications: 25 March 2008 -------------------------------------------------------------------