[TYPES/announce] Book announcement: Transitions and Trees - An Introduction to Structural Operational Semantics

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all I would like to announce the publication this month of the following book, which may be of interest to you. best regards Hans -- Transitions and Trees An Introduction to St

[TYPES/announce] LOPSTR/PPDP 2010 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologize for multiple copies] *** CALL FOR PARTICIPATION *** LOPSTR 2010