farinas@geocub.UUCP (Luis Farinas) (01/13/88)
CURRENT ANNOUNCEMENT AND CALL FOR PAPERS ---------------------------------------- SUMMER SCHOOL & CONFERENCE ON MATHEMATICAL LOGIC honourably dedicated to the 90th anniversary of Arend Heyting September 13-23, 1988 Chaika near Varna (BULGARIA) ORGANIZED BY: Sofia University, Bulgarian Academy of Sciences TOPICS of the meeting: * recursion theory * modal and non-classical logics * intuitionism and constructivism * related applications to computer science * life and work of Arend Heyting (1898-1980) INVITED LECTURERS: M.Cresswell V.Lifschitz G. Sacks D.de Jongh L.Maksimova D.Skordev A. Ditchev G.Mints G.Takeuti D.Harel A.Muchnik A.Toelstra M.Kanovich H.Nishimura D.van Dalen A.Kechris D.Normann A.Visser B.Kushner H.Ono S.Wainer Submission to the conference are invited from the above areas and will be evaluated by the Programme Commitee. We shall expect 5 copies of a draft full paper (in English) of no more than 15 double spaced pages, containing original contributions. Papers should reach the PC chairman by the deadline below, accompanied by a one page abstract. DEADLINES : March, 15: Submission June,15: Notification August,15: final version for publication in the proceedings ORGANIZATION COMMITTEE : Valentin Goranko : local arragements Lyubomir Yvanov : Treasurer Solomon Passy: Secretary Petio Petkov: Chairman Tinko Tinchev Please send all correspondence to the appropriate member of the organization committee. HEYTING'88 Sector of Logic Mathematics Faculty boul. Anton Ivanov 5 SOFIA 1126 BULGARIA