EthLisbon Morning Run takes place on Thursday, July 23, from 8:00 AM to 9:00 AM at Praça do Comércio in Lisbon.
Hosted by Verity during Onchain Lisbon Week, the event is a relaxed 5K group run through Lisbon. It is open to all paces, with the group running together and no participant left behind.
Participants meet near the statue in the center of Praça do Comércio. Running shoes are recommended, and the route is handled by the organizers.
Verity works on formal verification for Web3, using mathematical proofs to check that smart contracts behave as intended across possible execution paths.
