[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
================================================================= CALL FOR PARTICIPATION - PROGRAMME AVAILABLE EXPRESS'07 http://express07.pps.jussieu.fr/ 14th International Workshop on Expressiveness in Concurrency Monday, 3 September, 2007. Faculty of Social and Human Sciences, Universidade Nova de Lisboa, Lisbon, Portugal (5 min. from Gulbenkian Foundation) Affiliated with CONCUR 2007 !!! Early registration open until July 31st. !!! Register at http://concur07.di.fc.ul.pt/ ================================================================= SCOPE: The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. INVITED SPEAKERS: * Jos Baeten, Eindhoven. * Cédric Fournet, Cambridge (Joint with SecCo 2007 workshop). * François Laroussinie, Cachan. * Iain Phillips, London (Joint with GT-VC 2007 workshop). MORE INFORMATION AND PROGRAMME: http://express07.pps.jussieu.fr/ =================================================================