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.