Online Activities

IMAR scientific seminars and lectures


Other activities


Forthcoming activities

Logic Seminar: Verifying the Conversion into CNF in Dafny

Thursday, January 20, 2022, 10:00 A presentation given at the Logic Seminar (https://los.cs.unibuc.ro/seminar-logic.html). Speaker: Ştefan Ciobâcă (Alexandru Ioan Cuza University of Iaşi) Title: Verifying the Conversion into CNF in Dafny Abstract: We present two computer-verified implementations of the CNF conversion for propositional logic. The two implementations are fully verified: functional correctness and termination is machine-checked…

Read more

Moduli and Friends Seminar: Bounded and unbounded cohomology of diffeomorphism and homeomorphism groups

Contact person: Martin Palmer-Anghel (mpanghel@imar.ro) Seminar webpage: https://mdp.ac/pce2020/seminar.html Location: online (Zoom; connection details on request) Tuesday, January 25, 2022, 15:00 – 16:30 Title: Bounded and unbounded cohomology of diffeomorphism and homeomorphism groups Speaker: Sam Nariman (Purdue University) Abstract: Bounded cohomology for groups and spaces was originally defined by Gromov in the 80’s and it is…

Read more

Operator Theory Seminar: Connes’ embedding conjecture and complexity theory, XI

Thursday, January 20th, 2022, 15:00 A presentation given at the Operator Theory Seminar. Speaker: Liviu Paunescu (IMAR) Title: Connes’ embedding conjecture and complexity theory, XI Abstract (of the whole series of talks): In the first talks we will present the statement of Connes’ conjecture and prove an equivalent formulation. Subsequently we will discuss the main…

Read more

Useful links

[back to imar.ro]
Create your website with WordPress.com
Get started
%d bloggers like this: