Luni, 30 mai 2022, în cadrul seminarului de cercetare al Departamentului de Filosofie Teoretică, dr. Marian Cărborean de la Universitatea din București va susține conferința “Reasoning by brute force – implementing a natural deduction proof calculator with minimal heuristics”.
Evenimentul, organizat de Departamentul de Filosofie Teoretică în parteneriat cu Centrul de Cercetări în Logica, Filosofia și Istoria Științei din cadrul Universității din București, va avea loc online, prin intermediul platformei Zoom, începând cu ora 20:00.
Mai multe detalii despre invitat sunt disponibile aici, iar rezumatul în limba engleză al prezentării poate fi accesat aici.
Detaliile de conectare via Zoom vor fi trimise tuturor celor ce își exprimă dorința de participare scriind la adresa andrei.marasoiu@filosofie.unibuc.ro.
Limba de comunicare a evenimentului este engleza. Mai multe detalii despre conferință sunt disponibile pe pagina Facebook a seminarului și pe PhilEvents.