Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
ETAPS is an umbrella venue for several established conferences and workshops. This year we have three contributions to ETAPS:
= Our paper Intermodeling, queries, and Kleisli categories will be presented at FASE'12
= Zinovy will deliver an invited talk Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond at the ACCAT'12 Workshop
= Yingfei and Zinovy were in the PC of the BX'12 Workshop, which is striving to be a visible point on the map. The next edition, BX'13, is already accepted to be affiliated with ETAPS'13. The program of BX'12 is here