News archive


Innolec lectures - Itai Ben-Yaacov - Continuous first-order logic and metric structures PDF Print

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 PDF Print

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 PDF Print

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 PDF Print

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 PDF Print

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
 
«StartPrev12345678910NextEnd»

Page 1 of 56