[Prev][Next][Index][Thread]

Third Logical Biennial Conference, Bulgaria, June '90

		   First Announcement & Call for Papers

			  THIRD LOGICAL BIENNIAL
			 in honour of S.C. Kleene
	      June 6 - 15, 1990; Chaika near Varna; Bulgaria

Kleene'90 is the third edition of the Logical Biennial, succeeding
Goedel'86 and Heyting'88.  Its scientific programme includes a Summer
School with invited lectures, a Conference with selected contributions,
discussions and informal seminars, and will focus on the following

TOPICS          Recursion Theory
                Modal & Non-Classical Logic
                Proof Theory
                Logic in Theoretical Computer Science
                Applications of Logic to Mathematics
                Kleene Session

The PROGRAMME COMMITTEE presently consists of:

     M. Beeson
     Johan van Benthem (Amsterdam)           George Metakides (Brussels)
     William Blok (Christchirch, NZ)         Albert Meyer (Cambridge, MA)
     George Boolos (Cambridge, MA)           Dale Miller (Philadelphia)
     Samuel Buss (La Jolla)                  Grigorii Mints (Tallinn)
     Barry Cooper (Leeds)                    Yiannis Moschovakis (Los Angeles)
     Kosta Dosen (Belgrade)                  Anil Nerode (Ithaca)
     Leo Esakia (Tbilisi)                    Jeff Paris (Manchester)
     Ronald Fagin (San Jose)                 Solomon Passy (Sofia)
     Solomon Feferman (Stanford)             Petio Petkov (Sofia)
     Melvin Fitting (Bronx)                  Gian-Carlo Rota (Cambridge, MA)
					     Gerald Sacks (Cambridge, MA)
					     Richard Shore (Ithaca)
     George Gargov (Sofia)                   Theodore Slaman (Chicago)
     Jean-Yves Girard (Paris)                Craig Smorynski (Westmont)
     Robert Goldblatt (Wellington)           Ivan Soskov (Sofia)
     Valentin Goranko (Sofia)                Gaisi Takeuti (Urbana)
     Lyubomir Ivanov/Chairman (Sofia)        Tinko Tinchev (Sofia)
     Alexander Kechris (Pasadena)            John Tucker (Swansea)
     Antonin Kucera (Prague)                 Vladimir Uspenski (Moscow)
     Manuel Lerman (Storrs)

Some of the expected INVITED SPEAKERS are:

M. Arslanov					S. Artemov
G. Boolos					K. Dosen
I. Esakia					M. Fitting
J.-Y. Girard					A. Kechris
J. Krajicek					A. Kucera
J. Lambek					M. Lerman
Y. Moschovakis					A. Nerode
D. Scott					G. Takeuti
A. Urquhart					D. Vakarelov
F. Veltman					J. Zucker

SUBMISSIONS to the Conference from the abovementioned areas will be evaluated
by the Programme Committee for inclusion in the Proceedings.  Papers must
contain original contributions, be clearly written, and include appropriate
reference and comparison with related work.  Five copies of a draft full
paper of no more than 15 double-spaced standard pages accompanied by one-page
camera-ready ABSTRACT should reach the PC Chairman according to the following

DEADLINES      November         15, 1989 -- submission
                  March         15, 1990 -- notification
                    May         20, 1990 -- final version due

GRANTS          There will be a limited number of grants covering the local
expenses during the Meeting.  Applicants should send a Curriculum Vitae, list
of publications and a cover letter describing their request.  Applications
should reach the OC Chairman prior to November 15, 1989.

ORGANIZING COMMITTEE    Valentin Goranko, Lyubomir Ivanov,
                        Solomon Passy, Petio Petkov/Chairman

Please, direct requests for inclusion in the mailing list and all
correspondence regarding the Meeting to the Chairman at

MAILING ADDRESS         Kleene'90; Mathematics Faculty;
                        Blvd. Anton Ivanov 5; Sofia 1126; Bulgaria
CABLES kleene90; mathemat faculty; sofia 1126; bulgaria
PHONES ( +359.2) 62561, exts. 598, 524