Eighth International Tbilisi Summer School in Logic and Language

Tbilisi 2012

Eighth International Tbilisi Summer School in Logic and Language

Sep. 24–Sep. 28, 2012, Tbilisi, Georgia

Supported by the CNRS-GNSF project "Structural and computational properties of logical structures" and the ANR-FWF project "Structural and Computational Proof Theory" (I-603 N18), and organised by the Kurt Gödel Society.
The aim of this summer school is to bring international and Georgian scientists and students together.

Registration

Participants from countries with currency problems: no fee.
If you want to register, contact Matthias Baaz for details: baaz@logic.at

Contact information

All inquiries should be sent to Matthias Baaz: baaz@logic.at

Venue

Ivane Javakhishvili Tbilisi State University,
Chavchavadze Avenue, no. 1.
I.Block I.Floor
Petre Melikishvili Auditorium

Lecturers and Topics

Matthias Baaz, Vienna: Origins and Aims of Proof Theory
Konstantin Korovin, Manchester: An introduction to instantiation based Automated Reasoning
Ori Lahav, Tel Aviv: Studying Sequent Systems via Non-deterministic Many-Valued Matrices
Michel Parigot, Paris: Computational Interpretations of Proof Systems

The second half of the conference is dedicated to the presentation of selected lectures of the Turing Centenary Conference in Manchester commemorating Alan Turing's 100th birthday. Introductory comments are given by Matthias Baaz and Konstantin Korovin.

Program

Monday, Sep 24	09:00-10:30
	11:00-12:30	Michel Parigot
	14:30-16:00	Konstantin Korovin
	16:30-18:00	Ori Lahav
Tuesday, Sep 25	09:00-10:30	Michel Parigot
	11:00-12:30	Matthias Baaz
	14:30-16:00	Konstantin Korovin
	16:30-18:00	Ori Lahav
Wednesday, Sep 26	Excursion (see below)
Thursday, Sep 27	09:00-10:30
	11:00-12:30	Turing Conference Lecture
	14:30-16:00	Turing Conference Lecture
	16:30-18:00	Turing Conference Lecture
Friday, Sep 28	09:00-10:30	Turing Conference Lecture
	11:00-12:30	Turing Conference Lecture
	14:30-16:00	Turing Conference Lecture
	16:30-18:00	Turing Conference Lecture

Please note that on Monday, Sep 24 and on Thursday, Sep 27, the summer school opens at 11:00.

Excursion

The summer school excursion will consist of a visit of Kacheti. The conference dinner will follow to the excursion. (Details will be added later). All participants of the summer school are invited to participate in the excursion and the dinner.

Programme and Organising Committee

Nino Antidze
Rusudan Asatiani
Matthias Baaz
Guram Bezhanishvili
Nani Chanishvili
Gogi Chikoidze
David Gabelaia
Revaz Grigolia
Marina Ivanishvili
Michel Parigot
Khimurui Rukhaia
Lali Tibua
Daniel Weller

Impressum gem. § 25 MedienG (Österreich): Matthias Baaz; c/o TU Wien; 1040 Wien. technische Betreuung: Daniel Weller; Wien. Für extern gelinkte Seiten wird keine Haftung übernommen, und die Verfasser distanzieren sich vom Inhalt gelinkter Seiten.

2012-08-27