2019:events
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
2019:events [2018/12/17 13:25] – created 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:// | ||
+ | * 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.1545053141.txt.gz · Last modified: 2020/11/19 11:42 (external edit)