"... até que, em 1955, se mudou para as actuais instalações, no Largo Dr. Serafim Lopes Pereira, com a designação de Escola Industrial e Comercial de Leiria. ..." (daqui)
"Datam de 1897 as primeiras iniciativas para habilitar a cidade de Leiria com uma escola mista para formar professores para o ensino primário. Em 17 de Fevereiro foi criada por Decreto publicado no Diário do Governo de 26 do referido mês de 1898. ... Esta escola funcionou no edifício do extinto Convento de Santo Agostinho. ..." (daqui)