**Venue:**
Šámalova cottage, Jizera Mountains, Bedřichov 48, Czech Republic

**Programme:**
The workshop is mainly composed of invited lectures by guests and members of our Department of Theoretical Computer Science
for broader audience about current research trends, new interesting
results, and key open problems, providing a deeper insight into the
fields traditionally studied at our department including non-classical
logics, algebraic logic, extremal graph theory, neural networks, number
theory, which is enriched with a popular talk by a special guest on a
linguistic topic. The technical programme should inspire the
participants in their own research and lead to informal scientific
discussions that are an integral part of the workshop. Moreover, if you
have any interesting topics that can be shared with department members
please do not hesitate to send an annotation of your contribution to
Jirka Šíma (sima@cs.cas.cz).

**Schedule:**

*Monday, June 12*

**10:00**departure by bus from the Institute of Computer Science, Pod Vodárenskou věží 2, Prague 8**12:00**lunch**13:30**informal scientific discussions of project and working groups**18:00**dinner**19:30 - 20:15**Rostislav Horčík: Graph neural networks: An interesting interconnection between graph theory, logic, and machine learning**20:15 - 20:45**Štefan Porubský: Applications of Bernoulli numbers

*Evening Session (chairman: Jiří Šíma):*

*Tuesday, June 13*

**7:30**breakfast**9:00 - 9:45**Jan Hladký: Graph limits**9:45 - 10:15**Marta Bílková: Agents - groups - names - types**10:15 - 10:45**coffee break**10:45 - 11:30**Libor Běhounek: Towards the logic of non-being**11:30 - 12:15**Adam Přenosil: Build your own duality**12:15**lunch**14:00**informal scientific discussions of project and working groups**18:30**dinner**20:00 - 21:00**special guest Karel Oliva: Reflections on the mutual enrichment of the Czech and the English vocabularies**21:00**campfire (depending on the weather)

*Morning Session (chairman: Igor Sedlár):*

*Evening Session (chairman: Jiří Šíma):*

*Wednesday, June 14*

**7:30**breakfast**9:00 - 9:45**Mykhaylo Tyomkyn: On the Brown-Erdős-Sós conjecture**9:45 - 10:30**Diana Piguet: Tree embedding**10:30 - 11:00**coffee break**11:00 - 11:45**Vít Punčochář: The logic of problems**11:45 - 12:30**Igor Sedlár: Weighted programs**12:30**lunch**14:00**departure by bus from Šámalova cottage**15:30**arrival at the Institute of Computer Science, Prague

*Morning Session (chairwoman: Zuzana Haniková):*

**Registration:** The deadline for
registration has closed (about 30 registered participants) but there is a
possibility of a few more available places.
Please contact Katka Vacková via email (vackova@cs.cas.cz) if you want to attend.

**Registration Fee:**
6 000 CZK per person including accommodation, food, and transport by a small bus.