This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
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