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 (


Monday, June 12

Tuesday, June 13

Wednesday, June 14

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 ( if you want to attend.

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