THE PEOPLE BEHIND THE CONFERENCE
CADE 2026
Conference on Automated Deduction
Source-attributed rosters checked 2026-09-13. 5 collected records; 3 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: FLoC page publishes IJCAR chair, PC co-chairs, representative but no PC member roster or workshop organizer names.
IJCAR 2026 IJCAR Conference Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| João F. FerreiraIdentity not yet linked | IJCAR Conference Chair | University of Porto | Conference website ↗Checked 2026-09-13 |
IJCAR 2026 IJCAR PC Co-Chair
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Armin Biere | IJCAR PC Co-Chair | University of Freiburg | Conference website ↗Checked 2026-09-13 |
| Carsten Lutz | IJCAR PC Co-Chair | Universität Leipzig | Conference website ↗Checked 2026-09-13 |
| Sara NegriIdentity not yet linked | IJCAR PC Co-Chair | Università degli Studi di Genova | Conference website ↗Checked 2026-09-13 |
IJCAR 2026 IJCAR Representative
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Magnus MyreenIdentity not yet linked | IJCAR Representative | Chalmers University | Conference website ↗Checked 2026-09-13 |