<div dir="ltr"><div>To join today's seminar online, please connect to:</div><div dir="ltr"><a href="https://us06web.zoom.us/j/85954603650?pwd=LMvYOqH0yoG1Z6emmmUuRqtXabE1Sl.1" target="_blank">https://us06web.zoom.us/j/85954603650?pwd=LMvYOqH0yoG1Z6emmmUuRqtXabE1Sl.1</a></div><div dir="ltr"><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Mar 6, 2025 at 7:20 AM Gömöri Márton <<a href="mailto:gomorim@gmail.com" target="_blank">gomorim@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div dir="ltr"><span style="font-family:"Fira Code"">Logic<span> </span>and<span> </span>Philosophy<span> </span>of<span> </span>Science<span> </span>Seminar</span><div>Department of<span> </span>Logic, Institute of<span> </span>Philosophy</div><div>Eötvös Loránd University Budapest</div><div>Múzeum krt. 4/i Room 224</div><div>_____________________________________________</div><div>P R O G R A M</div><div><br>The<span> </span>seminar<span> </span>is held in hybrid format, in person (Múzeum krt. 4/i Room 224) and online. Meeting link: <a href="https://tarski.elte.hu/lps" target="_blank">https://tarski.elte.hu/lps</a></div><div><br></div><div>7 March (Friday) 4:15 PM  Room 224 + ONLINE</div><div><br></div>Ambrus Kaposi<br><div>Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös University Budapest</div><div><br> </div>Proof as code</div></div><div dir="ltr"><div dir="ltr"><br></div><div dir="ltr">______________________________<div><div><div>Abstract is available from the seminar website:<span> </span><a href="http://lps.elte.hu/lps" target="_blank">http://lps.elte.hu/lps</a></div><div><br>The<span> </span>seminar<span> </span>is open to everyone, including students, visitors, and faculty<span> </span>members from all departments and institutes! Format: 60 minute lecture,<span> </span>coffee break, 60 minute discussion. <br></div></div></div></div></div></div>
</blockquote></div></div>
</div>