Schema: CREATE TABLE table_name_25 (launch_date VARCHAR, name VARCHAR)
Question: When did Edoardo Amaldi launch?
SQL: SELECT launch_date FROM table_name_25 WHERE name = "edoardo amaldi"