Dear friends of hikes and mathematics,

you are cordially invited to a hike that will take place on Saturday, May 16, 2026.

We will meet at 8:30 at the bus stop Líšeň, hřbitov.

The planned route follows less-known paths, has a length of 11 km and an elevation of +470 -440 m. Buses back to Brno go regularly, once per hour.

During the trip, it will be possible to engage in one of the following activities:

1) A guided tour through the Ochoz cave. Compulsory equipment: an arbitrary helmet; a headlamp or a flashlight. The admission fee is voluntary (expected to be similar to the show caves' admission fees).
2) Spelunking in two nearby caves. Compulsory equipment: an arbitrary helmet; a headlamp; a change of clothes, ideally a coverall (it will be entirely covered with mud).

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 .

Dear friends of hikes and mathematics,

you are cordially invited to a hike that will take place on Saturday, March 28, 2026.

We will go to Doubravnik by the train that leaves from Kralovo Pole at 8:21 and from the main station at 8:07. You would need a ticket for 5 zones outside Brno.

The planned route has a length of 21 km and an elevation of +800 -550 m. We plan to return to Brno at 17:30.
There will be several possibilities to leave the route and return earlier.

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 .

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.

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 .