[Proof Complexity] MIAO seminars this week

[Jakob Nordström]

Hi all,

This is just a reminder that we have an unusually busy MIAO seminar week ahead of us with the following seminars:

Tuesday Apr 22 at 14:00 in seminar room N116, Universitetsparken 1, University of Copenhagen, and on Zoom
Catalytic computing: A primer
(Ian Mertz, Charles University)

Wednesday Apr 23 at 14:00 in seminar room E:1426, Ole Römers väg 3, Lund University, and on Zoom
Trustworthy formal methods for hardware design correctness
(Zhengqi Yu, Institute of Science and Technology Austria)

Thursday Apr 24 at 14:00 in seminar room E:1426, Ole Römers väg 3, Lund University, and on Zoom
Proofs and search problems
(Noah Fleming, Memorial University)

Friday Apr 25 at 10:00 (note the time!) in seminar room E:1426, Ole Römers väg 3, Lund University, and on Zoom
Quantified Boolean formulas, proof and strategy extraction
(Leroy Chew, Technische Universität Wien)

We will run these seminars as hybrid seminars, with local participants warmly welcome to the University of Copenhagen and Lund University, respectively, and other participants equally warmly welcome to join virtually at https://lu-se.zoom.us/j/61925271827 . As usual, please feel free to share this information with colleagues who you think might be interested. We are also hoping to record most of the seminars and post on the MIAO Research YouTube channel https://youtube.com/@MIAOresearch for people who would like to hear the talks but cannot attend.

More information about these and other MIAO seminars can be found at https://jakobnordstrom.se/miao-seminars/ . If you do not wish to receive these announcements, or receive several copies of them, please send a message to jn at di.ku.dk.

Best regards,
Jakob Nordström


Jakob Nordström, Professor
University of Copenhagen and Lund University
Phone: +45 28 78 38 11 / +46 70 742 21 98
https://jakobnordstrom.se