| Event | When | Where | Deadline | |
| GeTFun 2.0 2014 |
Compositional Meaning in Logic | |
| Jul 22, 2014 - Jul 23, 2014 |
Vienna |
Apr 5, 2014 |
| TTL 2015 |
4th International Conference on Tools for Teaching Logic | |
| Jun 9, 2015 - Jun 12, 2015 |
Rennes, France |
Feb 13, 2015 |
| NAT@Logic 2015 |
NAT@Logic 2015 - Logic AT Natal | |
| Aug 31, 2015 - Sep 4, 2015 |
Natal, Brazil |
Apr 12, 2015 |
| GeTFun 4.0 2016 |
Compositional Meaning in Logic (satellite workshop of IJCAR 2016) | |
| Jul 1, 2016 - Jul 2, 2016 |
Coimbra |
Apr 15, 2016 |
| LSFA 2019 |
14th Workshop on Logical and Semantic Frameworks, with Applications | |
| Aug 24, 2019 - Aug 26, 2019 |
Natal, Brazil |
May 1, 2019 |
| ThEdu 2022 |
11th International Workshop on Theorem-Proving Components for Educational Software | |
| Aug 11, 2022 - Aug 11, 2022 |
Haifa, Israel |
May 9, 2022 |
|
