Ok, ho risolto, usando questa funzione trovata in giro:

strftime('%a, %x', strtotime(sprintf("%04d-W%02d-%1d", $year, $week, $giorno)));

se a qualcuno interessasse...

Ciao