The 2nd Workshop (NSL'95) will be held in Irkutsk (near Lake Baikal), Russia, June 15 - 17, 1995. This is organized as an activity of the joint project on the study of non-standard logics between logicians in Japan and Siberia. The Workshop will be amalgamated with the Conference on Applied Logic. NSL'94 was held at Kanazawa, Japan, Dec. 5-8, 1994.
Organizing Committee:
H. Ono (JAIST), Yu. Ershov (Novosibirsk) (co-chair),
S. Goncharov (Novosibirsk), Y. Komori (Shizuoka),
L. Maksimova (Novosibirsk), A. Mantsyvoda (Irkutsk),
M. Sato (Tohoku), V. Rybakov (Krasnoyarsk),
M. Takahashi (Tokyo Institute of Technology), Y. Toyama (JAIST).
Scope:
Contributed Papers are invited from any research topic related to non-standard logics and logical aspects of computer science. Deadline of submitting abstracts is April 5, 1995. Abstracts written in English, in LateX-form, not more than one page long, should be sent to
Larisa Maksimova
Institute of Mathematics, Siberian Branch of Russian Acad. of Sci.
630090 Novosibirsk, Russia
Fax: +7 3832 35 78 08; Email: lmaksi@math.nsk.su
Information on registration:
Nikolai Peryazev, Irkutsk Univ, K.Marx str. 1, 664003 Irkutsk Russia
Tel: +7 3952 332178 Fax: +7 3952 332204 Email: applog@uni.irkutsk.su