Fudan International Seminar on Analysis, PDEs and Fluid mechanics
The speaker: Professor Gisella Croce (Laboratoire de Mathematiques Appliquees du Havre)
Renginiai
A Crash Course About Formalizing Mathematics In Lean-3
The aim of this series of lectures is to give a brief introduction to formalization of mathematics in LEAN-3 , a proof assistant which has recently proven to be particular well-suited for encoding modern mathematics.
Sistemų analizės seminaras
Pirmadienį (gegužės 16 d.) 13 val. sistemų analizės seminare (MS Teams aplinkoje) doktorantūros studijų rezultatus pristatys Aleksas Vaitulevičius „Vėžinių zonų aptikimas iš funkcinių duomenų, sukonstruotų iš MRI-DCE nuotraukų“.
Tikimybių teorijos ir statistikos seminaras
|
Pradžia: Disertacijos gynimas: „Autonominė roboto navigacija taikant daugiakriterinius sprendimų priėmimo metodus“Vilniaus Gedimino technikos universitetas (VGTU) praneša, kad 2022 m. birželio 10 d. (penktadienį) 13 val. VGTU Senato posėdžių salėje (Saulėtekio al. 11, LT-10223 Vilnius) bus ginama Roko SEMĖNO daktaro disertacija „Autonominė roboto navigacija taikant daugiakriterinius sprendimų priėmimo metodus“. Diferencialinių lygčių katedros seminaras
|