[ 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
-------------------------------------------------------------------
