Tbilisi 2007: Seventh International Tbilisi Symposium on Language, Logic and Computation

Tbilisi 2007: Preliminary program

Preliminary program

General schedule

Monday Tuesday Wednesday Thursday Friday
9:00 - 10.00 Invited Lecture
Igor Boguslavsky
Tutorial Language 1
Regine Eckardt
Invited Lecture
Wolfgang Thomas
Tutorial Language 2
Regine Eckardt
Tutorial Language 3
Regine Eckardt
10:15 - 11.15 Tutorial Logic 1
Benedikt Löwe
Tutorial Logic 2
Benedikt Löwe
(Excursion) Invited Lecture
Guram Bezhanishvili
Tutorial Logic 3
Benedikt Löwe
11:30 - 12.30 Tutorial Computation 1
Jérôme Lang
Tutorial Computation 2
Jérôme Lang
Tutorial Computation 3
Jérôme Lang
Invited Lecture
R. Ramanujam
14.00 - 15.30 Session LaCo1/LoCo1
(see below)
Session LaLo2/LoCo2
(see below)
(Excursion) Session LaLo3/LoCo4
(see below)
Invited Lecture
Peter Bosch
15.45 - 17.15 Session LaCo2/LaLo1
(see below)
Session LaCo3/LoCo3
(see below)
(Excursion) Session LaCo4/LaLo4
(see below)
17.30 - 18.30 Invited Lecture
Glyn Morrill
Invited Lecture
Matthias Baaz
(Excursion) Invited Lecture
Frank Veltman

Detailed schedule for contributed talks

Session Language and Computation (LaCo1) Session Logic and Computation (LoCo1)
14.00 - 14.30 Nani Chanishvili
Syntactic and Semantic Structure of Georgian Sentence
Krzysztof R. Apt
Relative Strength of Strategy Elimination Procedures
14.30 - 15.00 George Chikoidze et al.
Three Aspects of Language Modelling
Fenrong Liu
Merging Two Models of Preference and Preference Change
15.00 - 15.30 Anna Chutkerashvili
On '-c'and 'ki' Particles in Georgian
Alexei Muravitsky
Satisfaction and Friendliness within Classical Logic
Session Language and Computation (LaCo2) Session Language and Logic (LaLo1)
15.45 - 16.15 Rusudan Asatiani
Dynamic Conceptual Model of the Linguistic Structuring of Space
Houda Anoun - Alain Lecomte
Towards a Logical Account of Binding Theory
16.15 - 16.45 Marika Jikia
Maximal Components of Different Lingual Units
Anna Pazelskaya
Three Kinds of Event Nominal Negation in Russian
16.45 - 17.15 Nana Shengelaia
On the General Character of Substitution Cohesion, and its Nature in Georgian
Irine Melikishvili
The Opposition Active/Inactive in Georgian Morphology

Session Language and Logic (LaLo2) Session Logic and Computation (LoCo2)
14.00 - 14.30 Anton Benz
Scalar Implicatures and Implicatures of Irrelevant Answers
Cigdem Gencer - Dick de Jongh
Unifiability in Extensions of K4
14.30 - 15.00 Sujata Ghosh - F. R. Velazquez-Quesado - E. Scorelle
A Logic for Assertion Networks
Ali Basak Karatay
A modal Formula Not First-Order Definable
15.00 - 15.30 Jeroen Groenendijk
Alternative Logical Semantics
Pavel Braslavsky
Incorporating Genre into Relevance Ranking
Session Language and Computation (LaCo3) Session Logic and Computation (LoCo3)
15.45 - 16.15 Stephan Oepen - U. Callmeier - D. Flickinger
Some Fine Points of Hybrid Natural Language Parsing
Nick Bezhanishvili - Dick de Jongh
Extendable Formulas in Two Variables in Intuitionistic Logic
16.15 - 16.45 Liana Lortkipanidze - N. Amirezashvili - L. Samsonadze
Modeling of Derivation in the Multilingual Expert System
Revaz Grigolia
On Medvedev's Logic of Finite Problems
16.45 - 17.15 Paul Meurer
A Computational Grammar for Georgian
Tashin Oner - Dick de Jongh
The Structure of Rigid Frames of Depth 3 Only

Session Language and Logic (LaLo3) Session Logic and Computation (LoCo4)
14.00 - 14.30 Adrian Brasoveanu - Donka F. Farkas
Exceptional Wide Scope as Anaphora to Quantificational Dependencies
Levan Uridia
Kripke Coalgebras over Set2
14.30 - 15.00 Sumiyo Nishiguchi
Quantifiers in Japanese
Clemens Kupke
Pair Preserving Functors
15.00 - 15.30 Jakub Szymanik
Computational Complexity of the Reciprocal Lifts and Strong Meaning Hypothesis
Luca Spada - A. di Nola - G. Georgescu
Forcing in Lukasiewicz Predicate Logic
Session Language and Computation (LaCo4) Session Language and Logic (LaLo4)
15.45 - 16.15 Zaal Kikvidze - Irine Chachanidze
Some Preliminaries for the Study of Covert Categories with Special Reference to Gender
Nina Gierasimczuk
Computational Epistemology for Quantifiers
16.15 - 16.45 Tatiana Reznikova - A. Bonch-Osmolovskaya - E. Rakhilia
Conseptualization of Pain: a Database for Lexical Typology
Sophia Katrenko - Pieter Adriaans
Towards Incorporating Semantic Information into Relation Learning Task
16.45 - 17.15 Olga Shemanaeva - E. Rakhilia - T. Reznikova
Dealing with Polysemy in Russian National Corpus: the Case of Adjectives
Kerstin Schwabe - Robert Flitter
Conditions on Question-embedding Predicates in German