qnli question: Who was the president of Czechoslovakia during the dissolution of the Warsaw Pact? sentence: On 1 July 1991, the Czechoslovak President Václav Havel formally declared an end to the Warsaw Treaty Organization of Friendship, Co-operation, and Mutual Assistance which had been established in 1955.