We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
Btor2-Select accepted at CAV 2025

Talks of year 2025

Guest lectures, invited talks, and tutorials

  1. Dirk Beyer. The Transformation Game: Joining Forces for Verification (Keynote). Invited talk at 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025), 25. June 2025. Link to this entry Keyword(s): Software Model Checking, Transformations Presentation
    BibTeX Entry
    @invitedtalk{PetriNets25-Transformations, author = {Dirk Beyer}, title = {The Transformation Game: Joining Forces for Verification (Keynote)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-06-25_PetriNets25-Transformations_Dirk.pdf}, keyword = {Software Model Checking, Transformations}, day = {25}, field = {Computer Science}, month = {June}, venue = {<a href="https://petrinets25.github.io/web/speakers/">46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025)</a>}, }
  2. Dirk Beyer. FM-Tools: A Library of Tools for Formal Methods — Find, Use, Conserve, Execute (Lecture 3). Invited talk at Summer School on Fuzzing and Security, 28. May 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{FuzzingSchool25-3-FM-Tools-Library, author = {Dirk Beyer}, title = {FM-Tools: A Library of Tools for Formal Methods — Find, Use, Conserve, Execute (Lecture 3)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part3-FM-Tools-Library_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, }
  3. Dirk Beyer. The Transformation Game: Joining Forces for Verification (Lecture 2). Invited talk at Summer School on Fuzzing and Security, 28. May 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{FuzzingSchool25-2-Transformations, author = {Dirk Beyer}, title = {The Transformation Game: Joining Forces for Verification (Lecture 2)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part2-Transformations_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, }
  4. Dirk Beyer. Software Verification with CPAchecker (Lecture 1). Invited talk at Summer School on Fuzzing and Security, 28. May 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{FuzzingSchool25-1-CPAchecker, author = {Dirk Beyer}, title = {Software Verification with CPAchecker (Lecture 1)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part1-CPAchecker_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, }
  5. Dirk Beyer. A Unifying View on SMT-Based Software Verification (Guest Lecture). Invited talk at NTU Course, 22. April 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{NTU-GuestLectureNTU-UnifyingViewSMT, author = {Dirk Beyer}, title = {A Unifying View on SMT-Based Software Verification (Guest Lecture)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-04-22_GuestLectureNTU_UnifyingViewSMT_Dirk.pdf}, keyword = {Software Model Checking}, day = {22}, field = {Computer Science}, month = {April}, venue = {<a href="">NTU Course</a>}, }

Conference and other Presentations

  1. Dirk Beyer. Certifying Software Verification. Conference talk at Dagstuhl Seminar on Certifying Algorithms for Automated Reasoning, 03. June 2025. Link to this entry Keyword(s): Software Model Checking, Witnesses Presentation
    BibTeX Entry
    @conferencetalk{Dagstuhl25CertAlg-FM-Tools, author = {Dirk Beyer}, title = {Certifying Software Verification}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-06-03_Dagstuhl-CertAlg_Witnesses-2.0_Dirk.pdf}, keyword = {Software Model Checking, Witnesses}, day = {03}, field = {Computer Science}, month = {June}, venue = {Dagstuhl Seminar on Certifying Algorithms for Automated Reasoning}, }
  2. Dirk Beyer. Advances in Automatic Software Testing: Test-Comp 2025. Conference talk at FASE, 08. May 2025. Link to this entry Keyword(s): Software Testing, Competition on Software Testing Presentation
    BibTeX Entry
    @conferencetalk{FASE25-Test-Comp, author = {Dirk Beyer}, title = {Advances in Automatic Software Testing: Test-Comp 2025}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-08_FASE25_Test-Comp_Dirk.pdf}, keyword = {Software Testing, Competition on Software Testing}, day = {08}, field = {Computer Science}, month = {May}, venue = {FASE}, }
  3. Po-Chun Chien. MoXIchecker: An Extensible Model Checker for MoXI. Conference talk at SPIN, 07. May 2025. Link to this entry Keyword(s): SMT, Btor2, MoXIchecker Presentation
    BibTeX Entry
    @conferencetalk{SPIN-MoXIchecker, author = {Po-Chun Chien}, title = {{MoXIchecker}: {An} Extensible Model Checker for {MoXI}}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-07_SPIN_MoXIchecker_An_Extensible_Model_Checker_for_MoXI_Po-Chun.pdf}, keyword = {SMT, Btor2, MoXIchecker}, day = {07}, field = {Computer Science}, month = {May}, venue = {SPIN}, }
  4. Po-Chun Chien. CPV: A Circuit-Based Program Verifier. Conference talk at TACAS, 05. May 2025. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, Btor2 Presentation
    BibTeX Entry
    @conferencetalk{SVCOMP25-CPV, author = {Po-Chun Chien}, title = {{CPV}: {A} Circuit-Based Program Verifier}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-05_SVCOMP_CPV_A_Circuit-Based_Program_Verifier_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {05}, field = {Computer Science}, month = {May}, poster = {https://www.sosy-lab.org/research/pst/2025-05-05_ETAPS_CPV_Poster.pdf}, venue = {TACAS}, }
  5. Po-Chun Chien. Benchmark Presentation: Verifying Intel TDX Module. Conference talk at TACAS, 05. May 2025. Link to this entry Keyword(s): Software Model Checking, Competition on Software Verification Presentation
    BibTeX Entry
    @conferencetalk{SVCOMP25-IntelTDXBenchmarks, author = {Po-Chun Chien}, title = {Benchmark Presentation: Verifying {Intel} {TDX} Module}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-05_SVCOMP_Benchmark_Presentation_Verifying_Intel_TDX_Module_Po-Chun.pdf}, keyword = {Software Model Checking, Competition on Software Verification}, day = {05}, field = {Computer Science}, month = {May}, poster = {https://www.sosy-lab.org/research/pst/2025-05-05_ETAPS_Intel-TDX_Module_Benchmarks_Poster.pdf}, venue = {TACAS}, }
  6. Dirk Beyer and Jan Strejček. Improvements in Software Verification and Witness Validation: SV-COMP 2025. Conference talk at TACAS, 05. May 2025. Link to this entry Keyword(s): Software Model Checking, Competition on Software Verification Presentation
    BibTeX Entry
    @conferencetalk{TACAS25-SV-COMP, author = {Dirk Beyer and Jan Strejček}, title = {Improvements in Software Verification and Witness Validation: {SV-COMP 2025}}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-05_SVCOMP25_DirkJan.pdf}, keyword = {Software Model Checking, Competition on Software Verification}, day = {05}, field = {Computer Science}, month = {May}, venue = {TACAS}, }
  7. Dirk Beyer. FM-Tools: Find, Use, and Conserve Tools for Formal Methods. Conference talk at Dagstuhl Seminar on Information Exchange between Verifiers, 24. April 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @conferencetalk{Dagstuhl25InfoEx-FM-Tools, author = {Dirk Beyer}, title = {FM-Tools: Find, Use, and Conserve Tools for Formal Methods}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-04-24_Dagstuhl-InfoEx_FindUseConserveToolsFormalMethods_Dirk.pdf}, keyword = {Software Model Checking}, day = {24}, field = {Computer Science}, month = {April}, venue = {<a href="">Dagstuhl Seminar on Information Exchange between Verifiers</a>}, }
  8. Dirk Beyer and Jan Strejček. Improvements in Software Verification and Witness Validation: SV-COMP 2025. Conference talk at SV-COMP Workshop at Frauenchiemsee, Germany, 01. April 2025. Link to this entry Keyword(s): Software Model Checking, Competition on Software Verification Presentation
    BibTeX Entry
    @conferencetalk{SVCOMP25-SVCOMP, author = {Dirk Beyer and Jan Strejček}, title = {Improvements in Software Verification and Witness Validation: {SV-COMP 2025}}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-04-01_SVCOMP25_DirkJan.pdf}, keyword = {Software Model Checking, Competition on Software Verification}, day = {01}, field = {Computer Science}, month = {April}, venue = {<a href="">SV-COMP Workshop at Frauenchiemsee, Germany</a>}, }

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Last modified: Wed Jun 25 15:41:22 2025 UTC