The International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022) was held from March 13 to 18, 2022.
The purpose of the workshop was to facilitate discussions, personal exchanges, and problem sharing among researchers worldwide, which had been stalled due to the Covid-19 pandemic. This was realized via a new online method, and 33 researchers gave lectures. Participants watched the recorded lecture videos and posted their questions to a given channel on Slack, a business chat tool, in advance to accommodate the time difference between participants. Speakers had 3 minutes to summarize their presentations and 7 minutes to answer questions during discussion time in person. More than 50 researchers participated in ReCAP 2022. In addition to normal sessions, two student sessions were held in which a total of 7 students made their presentations.
Discussions heated up every day during the workshop, sometimes continuing until after midnight. The results of the post-workshop questionnaires indicate that the satisfaction level of the participating researchers was very high. Though Covid-19 has made global exchange among researchers more difficult, we hope that ReCAP 2022 provided participants with the opportunity to engage with each other and their reasearch online, in a unique way that blended pre-recorded video materials and chat tools in addition to the standard Zoom meeting format.
