|
|
Innolec lectures - Itai Ben-Yaacov - Continuous first-order logic and metric structures |
|
|
|
Lectures between 18.11. - 21.11.2025, DMS building (lecture rooms M3, M5 and M6)
Itai Ben-Yaacov
Continuous first-order logic and metric structures
Tue 18.11. 15:00-14:00 (M3) Wed 19.11. 14:00-15:00 (M5) Thu 20.11. 11:00-12:00 (M6) Fri 21.11. 14:00-15:00 (M5)
Abstract: In this series of lectures I will cover as much as possible the basic notions and tools pertaining to continuous first-order logic as a logical framework for studying metric structures. I shall attempt to cover mostly points where there are some "surprises" when compared with classical logic. - Syntax and semantics. Compactness. Types and type spaces. - Approximate homogeneity (and approximate saturation) in separable structures. - Definable sets. - Type isolation, omitting types, Ryll-Nardzewski characterisation of separable categoricity. If time allows, I might also discuss other, related topics, such as the recently very much studied affine logic.
|
|
Last Updated on Monday, 10 November 2025 16:03 |
|
|
Mathematical hike - Saturday, October 18, 2025 |
|
|
|
Dear friends of hikes and mathematics, you are cordially invited to a hike that will take place on Saturday, October 18, 2025.
We will go to Nihov by the train that leaves from Kralovo Pole at 8:07 and from the main station at 7:53. You would need a ticket for 5 zones outside Brno. The planned route of length 21 km, with elevation +600 -800 m, mostly avoids marked trails and will lead us to Tisnov (with frequent connections to Brno). There are several places to leave the route, with connections to Brno every two hours.
We look forward to seeing you!
Pavel Francírek and Michal Kunc, organizers
If you have questions, send them to
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
. |
|
Last Updated on Friday, 10 October 2025 10:19 |
|
Innolec lectures - Pablo Emilio Verde - Bayesian Modeling in Data Science: a Practical Approach using R and BUGS/JAGS |
|
|
|
Lectures between 19.5. - 21.5.2025, DMS building (rooms M3, M4, MP2 and seminar room, 2nd floor )
courde: MABMDS Bayesian Modeling in Data Science: a Practical Approach using R and BUGS/JAGS
Dr. Pablo-Emilio Verde (Heinrich-Heine-Universität Düsseldorf)
19.5.2025:
- Bayesian uncertainty quantification
- Bayesian analysis of single-parameter models
- MCMC with R and BUGS/JAGS
10:00 - 12:00, seminar room, 2nd floor 12:00 - 13:00, room M3 14:00 - 18:00, seminar room, 2nd floor
20.5.2025:
- Posterior predictions: Bayesian model checking of multiple-parameter models
- Bayesian approaches for missing data
- Bayesian regression models: Ridge Regression, LASSO and variable selection, Robustification of nonlinear models, Risk analysis and logistic regression
09:00 - 13:00, seminar room, 2nd floor 14:00 - 15:00, room MP2 15:00 - 16:00, room M3
21.5.2025:
- Machine learning and Bayesian Adaptive Regression Trees (BART)
- Bayesian Nonparametrics
- Bayesian hierarchical modeling
09:00 - 10:00, room M4 14:00 - 18:00, seminar room, 2nd floor |
|
Last Updated on Wednesday, 14 May 2025 09:23 |
|
49th mathematical hike - Saturday, May 24, 2025 |
|
|
|
Dear friends of mathematics, mathematical hike 49, to which we cordially invite you, will take place on Saturday May 24th 2025. Meet at 9:30 at the tram 1 terminus in Řečkovice.
The route is 20 km along hiking paths and also following some roadways, with the finish back in Řečkovice. More precisely: - From Řečkovice to Mokrá Hora, then along the red trail through Lelekovice to the Babí lom lookout tower and to Kuřim. - From Kuřim to the Baba Nature Park, through it to Řečkovice. You can end your participation also after 13 km in Kuřim, from where it is possible to return to Brno by train or bus.
Looking forward to see you,
Pavel Francírek and Jonatan Kolegar, organizers
If you have questions, send them to
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
. |
|
Last Updated on Wednesday, 30 April 2025 07:10 |
|
Innolec lectures - Jonathan Kirby - Model Theory, Exponentiation and Quasiminimality |
|
|
|
Lectures between 31.3. - 3.4.2025, DMS building (M4, M5 and seminar room, 2nd floor )
Jonathan Kirby
Model Theory, Exponentiation and Quasiminimality
Mon 31.3. 14:00-15:00 (seminar room, 2nd floor) Tue 1.4. 11:00-12:00 (M4) Wed 2.4. 14:00-15:00 (M5) Thu 3.4. 10:00-11:00 (seminar room, 2nd floor)
Abstract: Model Theory is a way of looking at mathematical concepts which is sensitive to the choice of language we use to describe them. One of its achievements is to classify different mathematical theories according to their complexity. In this series of talks I will survey some of the work done towards understanding the model theory of exponential fields, including the real exponential and Zilber’s approach to the complex exponential field. We know from Wilkie that the real exponential field is not too complicated (it is o-minimal) and this has good consequences in geometry, in number theory, and even in machine learning. For the complex exponential, we do not know if it is tame (quasiminimal) or whether it is maximally complicated (interpreting both reals and integers). I will explain progress towards proving that it is tame.
|
|
Last Updated on Friday, 21 March 2025 16:17 |
|
|
More Articles...
-
27.1. - 30.1.2025: CaLiForNIA kick-off conference
-
48th mathematical hike - Saturday, December 21, 2024
-
MUNI Seminar series - Machine Learning in Banking & Finance - JOSEF TEICHMANN
-
47th mathematical hike - Saturday, November 9, 2024
-
Innolec lectures - Benno van den Berg - Effective Kan Fibrations
-
Visit of a delegation from Indonesia
-
MUNI Seminar Series - Tamar Ziegler - Sign patterns of the Mobius function
-
Public talk - October 16, 2024 - doc. RNDr. Michal Veselý, Ph.D.: Non-almost periodic and non-asymptotically almost periodic solutions of difference and differential equations
-
International Workshop “Smooth and Analytic Regularity in CR Geometry”, July 16-18, 2024
-
46th mathematical hike - Saturday, July 13, 2024
|
|
|
Page 1 of 56 |