We are a reading club interested in topics related to programming languages (PL) and formal methods (FM). Get together to read and discuss research papers that are interesting to us. The goal is to learn and help each other learn.
We are a reading club interested in topics related to programming languages (PL) and formal methods (FM). Get together to read and discuss research papers that are interesting to us. The goal is to learn and help each other learn.