presentations

presentations for individual papers are not included here, they can be found on the publication page.

2025

Hur kan vi veta att datorn har rätt

Jeremias Berg

Apr 2025

Description Video

An overview for non-experts on methods of increasing trust in software. Given at the course Naturveteskaper Nu in 2025

2024

Vad menar man med AI

Jeremias Berg

Oct 2024

Description Video

An overview for non-experts on how machine learning works. Given at Finlandssvenska fysik- och kemidagarna 2024
Certifying Automated Reasoning

Jeremias Berg

Aug 2024

Description Slides

A presentation on certified automated reasoning I gave at the Helsinki Algorithms and Theory Days.

2023

Proof Logging for Maximum Satisfiability the past, the present, the future

Jeremias Berg

Mar 2023

Description Video Slides

An invited overview of the field of MaxSAT proof logging I gave as part of the Satisfiability: Theory, Practice, and Beyond program at the Simons institure.

2022

25 years of SAT Maximum Satisfiability for Real-World Optimization

Jeremias Berg

Aug 2022

Description Slides

An invited talk on recent developments in MaxSAT solving that I gave at the 2022 SAT conference.

2021

Abstract Cores in Implicit Hitting Set MaxSAT Solving

Jeremias Berg

Mar 2021

Description Video Slides

A longer tutorial on implicit hitting set-based optimization and our extension of abstract cores.
Optimiointa Deklaratiivisesti

Jeremias Berg

Jan 2021

Description Video Slides

An overview on my own research in Finnish I gave at an Accademy Club of the Young Accademy of Finland.
Preprocessing in MaxSAT Solving

Jeremias Berg

May 2021

Description Video Slides

An invited talk on MaxSAT preprocessing I gave as part of the Theoretical Foundations of SAT/SMT Solving workshop of the Simons Institute.
Maximum Satisfiability Solving

Jeremias Berg & Matti Järvisalo

May 2021

Description Video Slides

An invited talk on MaxSAT solving I gave with Matii Järvisalo as part of the Beyond Satisfiability workshop of the Simons Institute.

2020

Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings

Jeremias Berg

Sep 2020

Description Video Slides

A presentation on my soctoral research that I gave when accepting the 2020 Doctoral Research award from the ACP.