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.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.