If convicted, he will face … is as (in)formal as If he is convicted, he will face …
There is nothing intrinsically formal or informal in reduced subordinate (aka adverbial) clauses: Although innocent, he was found guilty. Roads are slippery when wet.