fizinfo AT lists.kfki.hu

Subject: ELFT HÍRADÓ

List archive

[Fizinfo] Logic and Philosophy of Science Seminar, Ambrus Kaposi

From: Gömöri Márton <gomorim AT gmail.com>
To: mafla AT phil.elte.hu, "lps AT listbox.elte.hu" <lps AT phil.elte.hu>
Subject: [Fizinfo] Logic and Philosophy of Science Seminar, Ambrus Kaposi
Date: Sun, 2 Mar 2025 10:36:15 +0100
Authentication-results: smtp012.wigner.hu (amavis); dkim=pass (2048-bit key) header.d=gmail.com

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

[Fizinfo] Logic and Philosophy of Science Seminar, Ambrus Kaposi, Gömöri Márton, 03/02/2025