esiste un programmino che cambi il formato delle immagini?

ho un paio di centinaia di immagini jpg che vorrei convertire in gif...

Grazie
Giacomo