2019:events
2019 Events
Deadlines
-
15th December, 2019: Abstract submission
17th December, 2019: Paper submission
May
July
August
-
An instance of CADE, the major international forum at which research on all aspects of automated deduction is presented:
http://www.cadeinc.org/
-
-
September
Undefined month
2019/events.txt · Last modified: 2020/11/19 08:42 (external edit)