7 Mar
2025
7 Mar
'25
2:13 p.m.
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(a)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.