committee/

THE PEOPLE BEHIND THE CONFERENCE

CADE 2023

Conference on Automated Deduction

Partial roster coverageOfficial edition website ↗

Source-attributed rosters checked 2026-09-13. 5 collected records; 5 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official CADE-29 archive exposes chairs but linked EasyConferences site and advertised committee PDF were unreachable; no full PC/ERC roster extracted.

CADE 2023 Conference Chair

1 service records
CADE 2023 Conference Chair membership and source references
Person Role Affiliation as listed Evidence
Daniele GorlaIdentity not yet linkedConference Chair Not stated in source Conference website ↗Checked 2026-09-13

CADE 2023 Program Chairs

2 service records
CADE 2023 Program Chairs membership and source references
Person Role Affiliation as listed Evidence
Brigitte PientkaIdentity not yet linkedProgram Chairs Not stated in source Conference website ↗Checked 2026-09-13
Cesare TinelliIdentity not yet linkedProgram Chairs Not stated in source Conference website ↗Checked 2026-09-13

CADE 2023 Publicity chair

1 service records
CADE 2023 Publicity chair membership and source references
Person Role Affiliation as listed Evidence
Haniel BarbosaIdentity not yet linkedPublicity chair Not stated in source Conference website ↗Checked 2026-09-13

CADE 2023 Workshop, tutorial, competition chair

1 service records
CADE 2023 Workshop, tutorial, competition chair membership and source references
Person Role Affiliation as listed Evidence
Ivano SalvoIdentity not yet linkedWorkshop, tutorial, competition chair Not stated in source Conference website ↗Checked 2026-09-13