ELFT HÍRADÓ

[Gömöri Márton <gomorim AT gmail.com>]

To join today's seminar online, please connect to:
https://us06web.zoom.us/j/85954603650?pwd=LMvYOqH0yoG1Z6emmmUuRqtXabE1Sl.1

On Thu, Mar 6, 2025 at 7:20 AM Gömöri Márton <gomorim AT gmail.com> wrote:

> Logic and Philosophy of Science Seminar
> Department of Logic, Institute of Philosophy
> Eötvös Loránd University Budapest
> Múzeum krt. 4/i Room 224
> _____________________________________________
> P R O G R A M
>
> The seminar is held in hybrid format, in person (Múzeum krt. 4/i Room
> 224) and online. Meeting link: https://tarski.elte.hu/lps
>
> 7 March (Friday) 4:15 PM  Room 224 + ONLINE
>
> Ambrus Kaposi
> Department of Programming Languages and Compilers, Faculty of Informatics,
> Eötvös University Budapest
>
> Proof as code
>
> ______________________________
> Abstract is available from the seminar website: http://lps.elte.hu/lps
>
> The seminar is open to everyone, including students, visitors, and faculty
>  members from all departments and institutes! Format: 60 minute lecture, 
> coffee
> break, 60 minute discussion.
>