2019:events
                Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| 2019:events [2018/12/17 13:27] – [August] adolfont | 2019:events [2020/11/19 11:42] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== 2019 Events ====== | ====== 2019 Events ====== | ||
| + | * Deadlines | ||
| + | * EASE ([[https:// | ||
| + | * 15th December, 2019: Abstract submission | ||
| + | * 17th December, 2019: Paper submission | ||
| + | |||
| + | |||
| + | |||
| + | ===== May ====== | ||
| + | * CHASE 2019 http:// | ||
| + | |||
| + | ===== 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:// | ||
| ===== August ===== | ===== August ===== | ||
| - | * LSFA 2019 https:// | ||
| * CADE-27, Natal, Brasil, 25-30th August 2019 http:// | * CADE-27, Natal, Brasil, 25-30th August 2019 http:// | ||
| * An instance of CADE, the major international forum at which research on all aspects of automated deduction is presented: http:// | * An instance of CADE, the major international forum at which research on all aspects of automated deduction is presented: http:// | ||
| + | * LSFA 2019 https:// | ||
| + | * ThEdu Theorem Proving Components for Educational Software https:// | ||
| + | |||
| + | |||
| + | ===== September ===== | ||
| + | |||
| + | * ESEIW 2019: 16 - 20 SEPTEMBER, 2019. PORTO DE GALINHAS, BRAZIL. http:// | ||
| + | |||
| + | * CBSOFT 2019 (still no site, only 2018 http:// | ||
| + | |||
| + | |||
| + | ===== Undefined month ===== | ||
| + | |||
| + | * Agile Brazil 2019 https:// | ||
| + | |||
2019/events.1545053267.txt.gz · Last modified: 2020/11/19 11:42 (external edit)
                
                