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