You can convert Videos into different formats by using the convert media tool at: convert media
Batch operations is permitted where you can convert several files at the same time and download or share them when the conversion has been completed.