<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-9">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="margin:0px;font-size:12pt;color:rgb(0, 0, 0) !important"><span style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;font-size:9pt;font-family:Arial, Helvetica, sans-serif">Merhabalar,</span></span></span><span style="margin:0px;background-color:rgb(255, 255, 255) !important;display:inline !important"></span></span>
<div style="margin:0px;font-size:12pt;color:rgb(0, 0, 0) !important">
<div style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;font-size:9pt;font-family:Arial, Helvetica, sans-serif"><br>
</span></span></div>
<div style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;font-size:9pt;font-family:Arial, Helvetica, sans-serif">20 Nisan Çarşamba günü saat 15.00'de
Imperial College London'dan Kevin Buzzard</span></span><span style="margin:0px;font-size:9pt;font-family:Arial, Helvetica, sans-serif"> Galatasaray Üniversitesi'nde bir konuşma verecektir. Konuşma Microsoft Teams üzerinden online olarak yapılacaktır. İlgilenenler
ozgeulkem@gmail.com adresine mail atabilirler. </span><span style="margin:0px;font-size:9pt;font-family:Arial, Helvetica, sans-serif">Konuşmanın detaylarını aşağıda bulabilirsiniz.</span><br>
</div>
<div style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;font-size:9pt;font-family:Arial, Helvetica, sans-serif"><br>
</span></div>
<div style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;font-size:9pt;font-family:Arial, Helvetica, sans-serif">Sevgiler,</span></div>
<span style="margin:0px;background-color:rgb(255, 255, 255) !important"><span style="margin:0px;font-size:9pt;font-family:Arial, Helvetica, sans-serif">Özge Ülkem</span></span><br>
</div>
<span style="margin:0px;font-size:12pt;color:rgb(0, 0, 0) !important"></span><br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-size:small;background-color:rgb(255, 255, 255);font-family:Calibri, Arial, Helvetica, sans-serif">Title: Teaching proofs to a computer.</span>
<div style="font-size:small;background-color:rgb(255, 255, 255);font-family:Calibri, Arial, Helvetica, sans-serif">
<br>
</div>
<span style="font-size:small;background-color:rgb(255, 255, 255);font-family:Calibri, Arial, Helvetica, sans-serif">Abstract: We all know about computer algebra packages like Maple or Matlab, which can be used to do calculations. But there are other computer
programs called things like Coq or Lean or Isabelle/HOL, which can be used to check or generate mathematical proofs. Such systems have existed for decades but it is only recently that the research mathematical community have begun to take them seriously. I
will give an overview of what has been happening over the last few years, and also why I think it might begin to matter to our community. I don't think that computers will be automatically proving the Riemann Hypothesis any time soon, but I do think that maybe
they will soon be able to help us with our research, in areas where Maple and Matlab are no use. I will assume the audience has a basic mathematical background but I will not assume any knowledge of computers or computer proof systems.</span><br>
</div>
</body>
</html>