Semináře
-
Seminar on Partial Differential Equations
4.6.2024 (úterý), 8:30, IM AS CR, Žitná 25, rear building, ground floor and online via Zoom
Imene Djebour
(Cergy Paris University):
Existence of strong solutions for a compressible fluid-solid interaction system with Navier slip boundary conditions
-
Seminar on Applied Mathematical Logic
5.6.2024 (středa), 16:00, ÚI AV ČR, Pod Vodárenskou věží 2, Praha 8, místnost 318
David Cerna
(Czech Academy of Sciences, Institute of Computer Science):
One is all you need: Second-order Unification without First-order Variables
Žádné komentáře:
Okomentovat