img-logoInriaTTL2015
img-logoirisaTTL2015
img-logoReNaBIplateForme2013

Opening session ; Back to contents

The Fourth International Congress on Tools for Teaching Logic, was held in Rennes on June 9-12, 2015. There was lectures, discussion sessions, round tables and software demonstrations. The scientific talks has been recorded and you will be able to access to the lectures.

img-SophiePinchinatTTL2015

Opening Session (click to the image to start the video)

Sophie Pinchinat (Université Rennes 1/ IRISA), member of TTL Conference Organization Committee, opens the Conference and presents the Organization Committee:

Antonia Huertas Sanchez (Universitat Oberta de Catalunya, Spain) at 3:14 mn ; Joao Marcos (Universidade Federal do Rio Grande do Norte, Brazil) at 3:57 mn ; Maria Manzano (Universidad de Salamanca) at 4:48 mn ; François Schwarzentruber (ENS Rennes / IRISA) at 6:09 mn
Edition page Web: Alain Crenn - Service Communication & Médiation/ audiovisuel
© 2015 Inria Rennes - Bretagne Atlantique