Si andan con la necesidad de convertir un video a GIF animado, acá les quiero recomendar un excelente programita que nos permite hacer justamente eso. Podemos elegir la sección del video a convertir, especificar la calidad del GIF, el tamaño, etc.
Lo bueno es que soporta muchos archivos de video de entrada como AVI, MPEG, WMV, ASF, y Quick Time, los cuales podemos convertir a GIF. Además de todo esto podemos agregarle más de 50 efectos distintos a los GIF animados.
Enlace | Video to GIF Converter 5.20