Sixteenth International Tbilisi Summer School in Logic and Language (TbiLL
2022)
September 19-23, 2022, Tbilisi, Georgia
https://www.logic.at/tbilisi22/
Part of the Computational Logic Autumn Summit (CLAS 2022)
https://viam.science.tsu.ge/clas2022
=========================================================
This summer school is part of the Computational Logic Autumn Summit
(CLAS2022) co-organized by the Kurt Gödel Society in Tbilisi, Georgia. It
will take place September 19-23 2022. This Summer School is in addition to
the eminence of the invited scientists devoted to peace within the sciences.
The intended audience of the winter school includes bachelor, master and
PhD students as well as young researchers from the fields of computer
science and mathematics. The following lectures agreed to deliver classes
at the school:
-Bahareh Afshari (The Netherlands/Iran): Reasoning about Computation
-Matthias Baaz (Austria): Epsilon Calculus
-Lev Beklemishev (Russia): Foundations of Mathematics
-Nachum Dershowitz (Israel): The Church=Turing Theses
-Michel Parigot (France): Natural Deduction
-Jan von Plato (Finnland): Recent Discoveries in Gödel´s Shorthand Notebooks
==================
REGISTRATION
==================
For the registration visit the Easychair system:
https://easychair.org/conferences/?conf=clas2022
The registration fee is 200/250 Euro for students (early till July 31/late
till August 31) and 350/400 for non-students (early till July 31/late till
August 31), which will include access to school materials, coffee breaks,
and social events (excursion and banquet). The registration fee for an
accompanying person is 150 Euro and includes only social events.
==================
ORGANIZERS
==================
Matthias Baaz
Anela Lolic
Contact: baaz@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
