Section: Dissemination

Popularization

• K. Chaudhuri organized a half-day tutorial on Abella as a satellite event of CADE 2015 in Berlin. The slides from the talk are available as [40] , and the tutorial web-site is: http://abella-prover.org/tutorial . This event was co-organized with Gopalan Nadathur, professor of Computer Science at the University of Minnesota, USA.

• G. Reis participated in “Fête de la Science” as an assistant to the programming activities.