Ecole: Tbilissi Summer School

Fri May 19 08:09:51 UTC 2000

From: Pascal Boldini <Pascal.Boldini at paris4.sorbonne.fr>

#################################################################

                     ANNOUCEMENT
                  Tbilisi Summer School
                 in Language, Logic, and Computation
                 29th August - 8 September 2000
                  Tbilisi, Georgia

The Georgian Centre for Language, Logic, and Speech, based at the Tbilisi
State University, will host Tbilisi Summer School, main purpose of which
is to make the students and young scholars acquainted with the modern state

of affairs in the mentioned fields of science, and - at the same time - to
further contacts and scientific collaboration between Western and Eastern
Scholars.

 LECTURERS
Jurij Apresjan, Moscow
Matthias Baaz, Vienna
Pascal Boldini, Paris
Marina Glavinskaja, Moscow
Michel Parigot, Paris
Carl Vogel,Dublin
Andrej Voronkov, Manchester

COURSES
- Foundations of linguistic semantics (Ju.Apresjan)
- On the generalisation of proofs and calculations (M.Baaz)
- Type theories for semantics and cognition (P.Boldini)
- Semantics of aspect (M.Glavinskaja)
- Proofs as programs (M.Parigot)
- Cognitive constraints on linguistic theory. (C.Vogel)
- Logical Foundations of deductive databases. (A.Voronkov).

SCHEDULE

Tuesday, August 29

12.00 - 13.00   Opening of the School
18.00 -    Banquet

Wednesday, August 30

10.00 - 13.00   M. Parigot. Proofs as programs
13.00 - 14.00   Lunch
14.00 - 17.00   Ju. Apresjan. Foundations of linguistic
    semantics

Thursday, August 31

10.00 - 13.00   M. Parigot. Proofs as programs.
13.00 - 14.00   Lunch
14.00 - 17.00   Ju. Apresjan. Foundations of linguistic
    semantics.

Friday, September 1

10.00 - 13.00   M. Glavinskaja. Semantics of aspect.
13.00 - 14.00   Lunch
14.00 - 17.00   C. Vogel. Cognitive Constraints on
    Linguistic Theory.

Saturday, September 2 Recreation (sight-seeing in Tbilisi and environs,
Sunday, September 3        excursion).

Monday, September 4

10.00 - 13.00   M. Glavinskaja. Semantics of aspect.
13.00 - 14.00   Lunch
14.00 - 16.00   C. Vogel. Cognitive Constraints on Linguistic
    Theory.

Tuesday, September 5

10.00 - 14.00   A. Voronkov. Logical foundations of deductive
    databases.
14.00 - 15.00   Lunch
15.00 - 17.00   C. Vogel. Cognitive Constraints on Linguistic
    Theory.

Wednesday, September 6

10.00 - 12.00   A. Voronkov. Logical foundations of deductive
    databases.
12.00 - 14.00   M. Baaz. On the generalization of proofs and
    calculations.
14.00 - 15.00   Lunch
15.00 - 17.00   P. Boldini. Type theories for semantics and
    cognition.

Thursday, September 7

10.00 - 12.00   M. Baaz. On the generalisation of proofs and
    calculations.
12.00 - 14.00   P. Boldini. Type theories for semantics and
    cognition.
14.00 - 15.00   Lunch

Friday, September 8

10.00 - 12.00   M. Baaz. On the generalization of proofs and
    calculations.
12.00 - 14.00   P. Boldini. Type theories for semantics and
    cognition.
14.00 - 15.00   Lunch
15.00 - 16.00   Closing of the School.
18.00    Banquet

STUDENTS
Besides local audience we shall be glad to see at the School foreign
students also. Participants fee for such persons will amount to $120
(excursion, banquet, reprints, etc.). They could be comfortably
accommodated at Georgian families (with two meals) - $40 per day.

LOCATION AND SIGHTSEEING TOURS

    Georgia is the ancient country situated between Black and Caspian seas,

Caucasus Mountains and Turkey. This is the country of Golden Fleece, myth
of
Argonauts, Jason and Medea, Promethee, chained to the Caucasus mountains.
Tbilisi - capital of Georgia - has more than 1 million in habitant. It is
situated some 100-150 km to the south of main Caucasus ridge, in the
beautiful valley of the river Mtkvari, surrounded by the green slopes of
the
Caucasus spurs. The city has a long (1500 year) history and abounds in
historical and cultural memorials. Georgia is famous for its high quality
wines, exquisite cuisine and cordial hospitality.

The main site of the Symposium, Tbilisi state University, is the chief
centre of education in the country, and has several outstanding scholars
in science, art and politics among its graduates.

As a route of excursion is chosen the Georgian Military Road going via
ancient
capital of Georgia - Mtskheta, with its abundant architectural and
historical
monuments, crossing the main ridge of Caucasus by the Cross Pass and
reaching
the final point of supposed trip - mountain resort Kazbegi with its Trinity
Church situated on the top of high peak facing the second (after Elbrus)
mountain - peak of Caucasus - Mkinvarcveri (Glacier - mountain).

  TRAVEL INFORMATION

The only real way of arrival in Tbilisi is by air. If direct flight from
the
point of your departure does not exist, the preferable ways are via
Istambul,
Frankfurt or Moscow.

ORGANISING COMMITTEE:
T.Khurodze (Clair, Pro-rector of Tbilisi State University)
R.Asatiani (Institute of Oriental Studies)
N.Chanishvili (Tbilisi State University)
G.Chikoidze (Institute of Control Systems)
K.Pkhakadze (Institute of Applied Mathematics)
Kh.Rukhaja (Institute of Aplied Mathematics).

   For additional information, please, use the following address:
George Chikoidze
Dept. of Language Modelling
Inst. of Control Systems
Georgian Academy of Sciences
34, K. Gamsakhurdia
380060 Tbilisi
Georgia
Phone: +9 9532 382136
E- mail: chiko at contsys.acnet.ge

#############################################################

***************************************************************************
Pascal Boldini     Tel : 01 44 39 89 58
ISHA
96 Boulevard Raspail                     Fax : 01 44 39 89 51
75006 Paris FRANCE
http://rimbaud.paris4.sorbonne.fr/~Boldini/
***************************************************************************

___________________________________________________________________
Message diffusé par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.biomath.jussieu.fr/LN/LN-F/
English version          : http://www.biomath.jussieu.fr/LN/LN/
Archives                 : http://web-lli.univ-paris13.fr/ln/