A wireless power supply system includes a receiver device processing circuit that registers receiver device information with a system of an application provided to users of a space including transmitter device for wireless power supply. The information is related to a receiver device owned by a user of the application. A power supply request circuit causes the application to transmit a power supply request to the system. A linking processing circuit causes the system to associate the receiver device information of the receiver device with a power supply control system in response to receiving the power supply request. A power transmission processing circuit identifies a transmitter device that can transmit power to the receiver device, based on the receiver device information associated by the system and causes the power supply control system to transmit a power transmission request to the identified transmitter device.