Convegno internazionale per il V centenario della nascita di Giovanni Pico della Mirandola (1963)