Hola, en mi caso para convertir videos a Gif utilizo Iwisoft Free Video Converter y sólo a veces Format Factory.. otra aplicación es Handbrake (muy conocida), aunque creo que nunca lo he llegado a probar.. estos programas tambien ofrecen conversión entre distintos formatos de video o contenedores y la posibilidad de jugar con las pistas de audio y su orden, muy útil si quieres pasar películas a un TDT PVR que sólo soporta un canal..