cfp
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| CFP LFMTP26, Logical Frameworks and Meta-Languages: Theory and Practice @FLOC, Lisbon, Portugal, July 24 |
|
0 | 30 | March 26, 2026 |
| HoTT/UF 2026: Call for contributions |
|
1 | 60 | March 6, 2026 |
| RocqPL call for presentation |
|
1 | 109 | October 24, 2025 |