public inbox for categories@mta.ca
 help / color / mirror / Atom feed
* announcement
@ 2023-01-24 22:33 Chikoidze
  0 siblings, 0 replies; 6+ messages in thread
From: Chikoidze @ 2023-01-24 22:33 UTC (permalink / raw)
  To: categories

To whom it may concern,

Dear Sir,

Please, be so kind as to include the Announcement of the Tbilisi Summer
School in your e-mail list.

I hope, you will find all necessary information in the Announcement itself.

Best regards,
George Chikoidze

Contact Person
of the Centre on Language, Logic, Speech
at the Tbilisi State University
Address: Dpt. of Language Modelling
         Inst. of Control Systems
         Georgian Academy of Sciences
         34, Gamsakhurdia Av.
         380060 Tbilisi
         Georgia
         Phone: + 995 32 38 21 36
         Fax: + 995 32 94 23 91
         E-mail: chiko@contsys.acnet.ge



                           ANNOUNCEMENT

                      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, the 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 students, the School also welcomes students from abroad.
The Participation fee for these students will be $120 (wich includes
excursion, banquet, reprints, etc.).Foreign students will be comfortably
accommodated with Georgian families (with two meals) for $40 per day.


LOCATION AND SIGHTSEEING TOURS

    Georgia is the ancient country situated between Black and Caspian seas,
the Caucasus  and Turkey. It is the country of the Golden Fleece, the myth of
Argonauts, Jason and Medea, and Prometheus, 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 old) 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.

During the School there will be an excursion over the famous Georgian
Military Road, which leads us through the  ancient capital of Georgia -
Mtskheta, with its abundant architectural and historical monuments - and
which brings us across the main ridge of the Caucasus by the Cross Pass.
The destination of the envisaged trip is the  mountain resort Kazbegi
with its Trinity Church situated on the top of high peak facing the second
mountain (after Elbrus), the peak of the Caucasus - Mkinvarcveri
(Glacier - mountain).


 TRAVEL INFORMATION

Tbilisi can only be reached  by air. If there are no direct trip between your
point of departure and Tbilisi, the most convenient connections are via
Istambul, Frankfurt or Moscow.


ORGANISING COMMITTEE:
T.Khurodze (Chair, 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 Applied 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@contsys.acnet.ge








^ permalink raw reply	[flat|nested] 6+ messages in thread

* announcement
@ 2013-05-03  5:22 Hvedri Inassaridze
  0 siblings, 0 replies; 6+ messages in thread
From: Hvedri Inassaridze @ 2013-05-03  5:22 UTC (permalink / raw)
  To: categories

Dear Colleagues,

I am pleased to inform you that George Janelidze has been just elected
Academician of the Georgian National Academy of Sciences.

With best wishes

Hvedri Inassaridze



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 6+ messages in thread

* announcement
@ 2011-07-05 13:03 Jiri Rosicky
  0 siblings, 0 replies; 6+ messages in thread
From: Jiri Rosicky @ 2011-07-05 13:03 UTC (permalink / raw)
  To: categories

Advanced Course and Workshop "Large-Cardinal Methods in Homotopy"
will take place in Barcelona, September 1-8. See
http://www.imub.ub.es/hocard11/

Jiri Rosicky


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 6+ messages in thread

* announcement
@ 2010-01-06  8:13 Jiri Rosicky
  0 siblings, 0 replies; 6+ messages in thread
From: Jiri Rosicky @ 2010-01-06  8:13 UTC (permalink / raw)
  To: categories

January 21-25, there will take place the Joint Mathematical Conference
CSASC 2010 with a session Triangulated Categories (chaired by C. Casacuberta
and me). See:
http://cms.jcmf.cz/csasc/index.html.en
I can provide more information.
Jiri Rosicky


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 6+ messages in thread

* announcement
@ 1998-01-19 13:45 categories
  0 siblings, 0 replies; 6+ messages in thread
From: categories @ 1998-01-19 13:45 UTC (permalink / raw)
  To: categories

Date: Sun, 18 Jan 1998 18:33:38 -0600
From: Brooke Shipley <bshipley@math.uchicago.edu>

Title:Algebras and modules in monoidal model categories
Authors: Stefan Schwede, Brooke E. Shipley
Email: schwede@math.mit.edu
Email2: bshipley@math.uchicago.edu

We construct model category structures for monoids and modules in
symmetric monoidal model categories which satisfy an extra axiom, the monoidal
axiom.  This paper was inspired in particular to deal with two of the new
symmetric monoidal categories of spectra, symmetric spectra and $\Gamma$-spaces.

This paper is available at the homotopy theory archive at

        http://hopf.math.purdue.edu

or via anonymous ftp at hopf.math.purdue.edu.   It will also be available 
through math.AT at xxx.lanl.gov.






^ permalink raw reply	[flat|nested] 6+ messages in thread

* announcement
@ 1997-07-04  1:12 categories
  0 siblings, 0 replies; 6+ messages in thread
From: categories @ 1997-07-04  1:12 UTC (permalink / raw)
  To: categories

Date: Thu, 3 Jul 1997 20:52:47 -0400 (EDT)
From: Michael Makkai <makkai@triples.math.mcgill.ca>

The following paper is announced:

		On weak higher dimensional categories

	by Claudio Hermida, Michael Makkai and John Power

Abstract: 

Inspired by the concept of opetopic set introduced in a recent paper by
John C. Baez and James Dolan, we give a modified notion called multitopic
set. The name reflects the fact that, whereas the Baez/Dolan concept is
based on operads, the one in this paper is based on multicategories. The
concept of multicategory used here is a mild generalization of the
same-named notion introduced by Joachim Lambek in 1969. Opetopic sets and
multitopic sets are both intended as vehicles for concepts of weak higher
dimensional category. Baez and Dolan define weak n-categories as
(n+1)-dimensional opetopic sets satisfying certain properties. The version
intended here, multitopic n-category, is similarly related to multitopic
sets. Multitopic n-categories are not described in the present paper; they
are to follow in a sequel. The present paper gives complete details of the
definitions and basic properties of the concepts involved in multitopic
sets. The category of multitopes, analogs of opetopes of Baez and Dolan,
is presented in full, and it is shown that the category of multitopic sets
is equivalent to the category of set-valued functors on the category of
multitopes. 



The paper is available by anonymous ftp from triples.math.mcgill.ca in
directory pub/makkai, or via the CRTC home page

	ftp://triples.math.mcgill.ca/crtc.html 

and click on "Makkai".  The paper is in nine files, each with a name
starting with `mult`; they are PostScript files. 

I will send a limited number of hard copies upon request.

Michael Makkai





^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2023-01-24 22:33 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-24 22:33 announcement Chikoidze
  -- strict thread matches above, loose matches on Subject: below --
2013-05-03  5:22 announcement Hvedri Inassaridze
2011-07-05 13:03 announcement Jiri Rosicky
2010-01-06  8:13 announcement Jiri Rosicky
1998-01-19 13:45 announcement categories
1997-07-04  1:12 announcement categories

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox