====== 2019 Events ======

  * Deadlines
    * EASE ([[https://www.ntnu.edu/web/ease2020/full-call?fbclid=IwAR2s5sPS6tJjsO4Z0mgYW9UQvL7Opm9yi4Osgxs79PjS-P9T8dAdvxn91HU|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/