Conference series Beta
International Joint Conference on Automated Reasoning
IJCAR
- Events
- 10 (2004 to 2020)
- Website
- http://www.ijcar.org/
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- automated reasoning
- Identifier
https://id.confref.org/series/s126hz0
Events (10)
20012020
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2020 | 10 | International Joint Conference on Automated Reasoning IJCAR 2020 | Paris | 2020-06-29 to 2020-07-02 |
| 2018 | 9th International Joint Conference on Automated Reasoning IJCAR 2018 | Oxford | 2018-07-14/17 | |
| 2016 | e1248j7 IJCAR 2016 | Coimbra | 2016-06-27 | |
| 2014 | e1248h9 IJCAR 2014 | Vienna | 2014-07-19/22 | |
| 2012 | e1248gb IJCAR 2012 | Manchester | 2012-06-25/29 | |
| 2010 | e1248fe IJCAR 2010 | Edinburgh | 2010-07-16/19 | |
| 2008 | e1248dj IJCAR 2008 | Austria | 2008-10-08 | |
| 2006 | e1248cm IJCAR 2006 | Seattle | 2006-08-16/20 | |
| 2004 | e1248bp IJCAR 2004 | Cork | 2004-04-07 | |
| 2001 | e1248ar IJCAR 2001 | Siena | 2001-06-18/23 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| ConfIDent |
|---|
Cite
International Joint Conference on Automated Reasoning. confref identifier s126hz0. https://id.confref.org/series/s126hz0
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.