Lambda World es una conferencia cuyo objetivo es escalar el uso de los logros de la investigación en programación funcional durante los últimos 40 años en el entorno industrial. Aleks Nanevski y Anton Trunov han intentado llevarlo aún más lejos, mostrando tecnología moderna, como asistentes de prueba construidos sobre la base de los tipos dependientes. Este enfoque es altamente deseable en aquellas ramas industriales que necesitan altas garantías. Anton impartió un workshop sobre programación en Coq dirigido a desarolladores software y Aleks presentó una charla sobre automatización de pruebas utilizando las estructuras canónicas de Coq.
