GitHub repository: soarlab/conferences
Description: Conferences on Software Verification and Analysis