Fifth International Tbilisi Summer School in Logic and Language

Tbilisi 2009

Fifth International Tbilisi Summer School in Logic and Language

September 28 - October 2, 2009, Tbilisi, Georgia

supported by the french embassy in Georgia and organized by the Kurt Gödel Society.

This summer school will bring together international and Georgian scientists and students.

About Georgia

Registration

Participants from countries with currency problems - no fee

Participants from other countries Euro 200.- including accomodation for up to 7 nights

A registration form will soon be online.

IMPORTANT NOTE: All participants NOT from Georgia should contact Matthias Baaz at baaz@logic.at!

Program and Organizing Committee

Nino ANTIDZE
Rusudan ASATIANI
Matthias BAAZ
Guram BEZHANISHVILI
Nani CHANISHVILI
Gogi CHIKOIDZE
David GABELAIA
Revaz GRIGOLIA
Stefan HETZL
Marina IVANISHVILI
Michel PARIGOT
Chimurui RUKHAIA
Lali TIBUA
Daniel WELLER

Contact information

All inquiries should be submitted to the following address:

baaz@logic.at

Lecturers and Courses

Matthias Baaz, Vienna University of Technology, Austria: Epsilon calculus in classical and nonclassical logics
Lev Beklemishev, Steklov Institute for Mathematics Moscow, Russia: Beginnings of propositional proof complexity
Juliusz Chroboczek, University of Paris 7, France: Routing in the Internet and Wireless Mesh Networks
Sandor Jenei, Vienna University of Technology, Austria: Residuated lattices
Michel Parigot, University of Paris 7, France: An introduction to Deep inference
Luca Spada, University of Salerno, Italy: An introduction to many-valued logic and its algebraic semantics
Daniel Weller, Vienna University of Technology, Austria: From Cut-elimination by Reduction to Cut-elimination by Resolution

Venue

I.Javakhishvili Tbilisi State University, II building
I.Chavchavadze av.N3

United Nations Room (European style, III floor Georgian style, left handside from the entrance upstairs to II(III) floor, right handside in the middle of a corridor)

Program

Excursion

On Wednesday, September 30, we will - weather permitting - vist Schatili, the legendary capital of Chevsureti (Excursion and conference dinner are free for all participants.)

© 2009 Stefan Hetzl, Daniel Weller.

2009-09-04