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