Smart Contract Verification

CSG Tech Talk this Wednesday!

Hey y'all! Hope everyone had a great spring break, and welcome back! This Wednesday at 7pm in ECSS 2.410, we are going to have an amazing talk from officer Také about technical concepts and cryptographic techniques used to create secure blockchain smart contracts. As usual, there will be free pizza!

Also, stay tuned for a big announcement coming soon this week!

Where? ECSS 2.410
When? Mar 22nd @ 7 PM