工程合同解除的程序主要包括以下几种情况：
协商解除
程序：当事人双方通过协商达成一致，决定解除合同。协商解除的关键在于双方的自愿和平等，需要确保双方的权利和义务得到妥善处理。
法定解除
程序：根据《民法典》等相关法律法规，施工合同在以下情况下可以依法解除：
不可抗力：因不可抗力致使不能实现合同目的时，当事人可以解除合同。不可抗力通常包括自然灾害、政府行为等无法预见、无法避免且无法克服的客观情况。
明确不履行：在履行期限届满前，当事人一方明确表示或者以自己的行为表明不履行主要债务时，对方可以解除合同。
通知对方：当事人一方依法主张解除合同的，应当通知对方。合同自通知到达对方时解除。通知中应明确解除合同的原因和后果。
协商处理：在通知对方后，双方应就合同解除后的善后事宜进行协商处理，包括工程款的结算、已完成工程的交付等。
争议解决：如果双方对合同解除存在争议，可以通过协商、调解、仲裁或诉讼等方式解决。
单方解除
程序：
当事人一方未通知对方，直接以提起诉讼或者申请仲裁的方式依法主张解除合同，人民法院或者仲裁机构确认该主张的，合同自起诉状副本或者仲裁申请书副本送达对方时解除。
单方解除工程建设合同的，要通知对方当事人，解除合同通知送达对方后，工程建设合同解除。对解除合同效力有争议的，可以向法院起诉。
催告程序
程序：当发包人出现违约行为并导致施工无法进行时，施工单位需首先向发包人发出要求其在合理期限内履行的催告。催告的内容必须明确，方式必须可以证明。
总结：
工程合同解除的程序包括协商解除、法定解除和单方解除。无论采取哪种解除方式，都需要遵循一定的程序，包括通知对方、协商处理、争议解决等步骤。在单方解除的情况下，当事人需要按照法律规定发出解除合同的通知，并保留相关证据。如果对解除合同效力有争议，可以通过协商、调解、仲裁或诉讼等方式解决。