Part 1 General considerations on verifaction, Serge Sur. Part 2 Existing agreements and instruments - provisions and practices of verification: the Geneva protocol on chemical and biological methods of warfare (1925) and related procedures, Gilles Cottereau; the Antarctic Treaty (1959), Gilles Cottereau; the Nuclear Test Limitation Treaties (1963, 1974, 1976, 1990), Jozef Goldblat; the Outer Space and the Moon Treaties (1967, 1979), Du Shuhua; the Tlatelolco Treaty (1967), Miguel Estrada Oyuela; the Nuclear Non-Proliferation Treaty (1968), Adolf von Baeckman; the Seabed Treaty (1971), Ahmed Mahiou; the Biological Weapons Convention (1972), Andrzej Karkoszka; the ABM Treaty (1972), Michael Kokeev and William C. Potter; the SALT Agreement (1972 and 1979), Ellis Morris; The ENMOD Convention (1977), Anguel Anastassov; the Conventional Weapon Convention (1981), Anguel Anastassov; the Rarotonga Treaty (1985), Trevor Findlay; the Final document of the Stockholm Conference (1986), Henny van der Graaf; the INF Treaty (1987), William C. Potter and Michael Kokeev. Part 3 Conclusions: round table, Serge Sur.