2019:events
This is an old revision of the document!
Table of Contents
2019 Events
August
- CADE-27, Natal, Brasil, 25-30th August 2019 http://www.cade-27.info/
- An instance of CADE, the major international forum at which research on all aspects of automated deduction is presented: http://www.cadeinc.org/
- LSFA 2019 https://sites.google.com/view/lsfa2019/
- ThEdu Theorem Proving Components for Educational Software https://www.uc.pt/en/congressos/thedu
September
- ESEIW 2019: 16 - 20 SEPTEMBER, 2019. PORTO DE GALINHAS, BRAZIL. http://eseiw2019.com/
- CBSOFT 2019 (still no site, only 2018 http://cbsoft2018.icmc.usp.br/#/cbsoft).
2019/events.1545053520.txt.gz · Last modified: 2020/11/19 11:42 (external edit)