Український гірничий форум – 2020 : матеріали міжнар. конф., 4-5 листопада 2020 р.