[madPL] Fwd: Slides

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Extended slides from today's talk

---------- Forwarded message ---------
From: Anthony W. Lin <anthony.w.to@xxxxxxxxx>
Date: Wed, Aug 12, 2020 at 11:15 AM
Subject: Slides
To: JOHN CYPHERT <jcyphert@xxxxxxxx>, Loris D'Antoni <lorisdanto@xxxxxxxxx>

Hi guys,

Here are the slides from the talk - could be useful for some:

Best,

Anthony

--

Prof. Dr. Anthony W. Lin

AG Automated Reasoning

Department of Computer Science, Technische UniversitÃt Kaiserslautern, Germany

website:Âhttps://anthonywlin.github.io/

--

-Loris

Attachment: umad_aug_20.key
Description: Binary data