Semináře

• Seminář aplikované matematické logiky
  30. 1. 2013 (středa), 14:00, místnost 318
  Radim Nedbal: A language with a constructive semantics for specifying Kripke structures
• Seminář oddělení výpočetních metod
  30. 1. 2013 (středa), 14:15, místnost 419
  Pavel Jiránek:  Interpretation of the backward error in numerical solution of elliptic partial differential equations
• Seminář oddělení nelineárního modelování
  31. 1. 2013 (čtvrtek), 13:00, místnost 318
  Jaroslav Hlinka (ÚI AV ČR): Nonlinear dependence and teleconnections in climate data: sources, relevance, nonstationarity, reliability