Nineteenth International Tbilisi Summer School in Logic and Language
Kutaisi International University, Kutaisi, Georgia
September 4th-7th 2025 (https://www.logic.at/tbilisi25/)
co-located events: JELIA 2025 (https://viam.science.tsu.ge/jelia2025/)
TbiLLC 2025 (
https://events.illc.uva.nl/Tbilisi/Tbilisi2025/)
===================================================================
Lecturers & Topics
M. Baaz & M. Gamsakhurdia - Gödel Logics
S. Ghilardi - Categorical Logic: A Gentle Introduction
M. Jibladze - TBA
V. Marra - TBA
F. Honsell - Constructive Type Theories and Logical Frameworks
Excursion & Dinner
Free for all registered participants of JELIA 2025. Others have to pay 60
Euros
Registration & Inquiries
Registration is free. For any questions, please contact mariami@logic.at
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
