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. 

Organizers: Márton Gömöri and Zalán Molnár