Table of Contents

2019 Events
- May
- July
- August
- September
- Undefined month

2019 Events

Deadlines
- EASE (International Conference on Evaluation and Assessment in Software Engineering) 2020:
  - 15th December, 2019: Abstract submission
  - 17th December, 2019: Paper submission

May

CHASE 2019 http://www.chaseresearch.org/workshops/chase2019

July

WASHES: IV Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software (WASHES 2019)
- Submissão de artigos até: 18 de Março 2019
- https://sites.google.com/view/washes2019

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).

Undefined month

Agile Brazil 2019 https://www.agilebrazil.com/2019/