Keynote Speakers
More information regarding our invited speakers will be announced in this page as it becomes available.
Edith Elkind (University of Oxford)
Title: Group Fairness in Collective Decisions: From Multiwinner Voting to Participatory Budgeting
Many cities around the world allocate a part of their budget based on residents' votes, following a process known as participatory budgeting. It is important to understand which outcomes of this process should be viewed as fair, and whether fair outcomes could be computed efficiently. In this talk, we overview recent progress on this topic. We first focus on a special case of participatory budgeting where all candidate projects have the same cost (known as multiwinner voting), formulate progressively more demanding notions of fairness for this setting, and identify efficiently computable voting rules that satisfy them. We then discuss the challenges of extending these ideas to the general model.
Susan Schneider (Florida Atlantic University)
Title: The Global Brain Argument
Geoff Sutcliffe (University of Miami)
Title: The TPTP World – Infrastructure for Automated Reasoning
The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics. The data, standards, and services provided by the TPTP World have made it increasingly easy to build, test, and apply ATP technology. This talk reviews the core features of the TPTP World, describes key service components of the TPTP World, and presents some successful applications in Mathematics. Recent work in non-classical logics, and future work verifying generative AI system results, will also be discussed.