[TYPES/announce] GALOP IV @ ETAPS 2009 CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- GaLoP IV 4th Workshop on Games for Logic and Programming Languages

[TYPES/announce] Call for abstracts: Quantum Physics and Logic (QPL VI), Oxford, April 8-9, 2009.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 6th QPL workshop on Quantum Physics and Logic April 8-9, 2009, Oxford, UK This event has as its goal to bring together researchers working on mathematical foundations of quantum physics,