Third Vienna Tbilisi Summer School in Logic and Language

NOTE: The successful series of summer schools in Tbilisi will continue in 2008:
Please visit the website of the Fourth International Tbilisi Summer School in Logic and Language

Tbilisi 2007

Third Vienna Tbilisi Summer School in Logic and Language

24-28 September 2007, Tbilisi, Georgia

supported by the french ECO-NET project "computational interpretations of modal logics" and organized by the Kurt Gödel Society.

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

Contact information

All inquiries should be submitted to the following address:

tbilisi07@logic.at

Lecturers and Courses

Matthias Baaz and Stefan Hetzl: Cut-Elimination
Lev Beklemishev: Provability Logic
Guram Bezhanishvili and Mamuka Jibladze: Lattices and Topology
David Gabelaia and Balder ten Cate: Model theory for modal logic
Revaz Grigolia: Modal and Temporal Logic
Yves Legrandgérard: Internet network protocols & Logically valid formulas
Pascal Manoury: Functional programming, inductive data types and proofs
Michel Parigot: Proofs as programs: an introduction to proof theory

Venue

Program

© 2008 Stefan Hetzl.

2007-07-16