[CC] ================================================ AMAST Links 02 01

              2nd Workshop on Non-Standard Logics, NSL'95
                and Logical Aspects of Computer Science
                  Irkutsk, Russia, 15 - 17 June, 1994

  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:*
 o  modal and temporal logics, intermediate logics
 o  substructural logics, linear logic, relevant logics
 o  categorical logic
 o  lambda and combinatory calculi, type theory, term rewriting systems
 o  constructive mathematics
 o  recursion theory, generalized computability
 o  automated deduction, proof verification
 o  program logic, computer logic, semantics of functional and logic 
    programming
 o  non-monotonic reasoning, logics in artificial intelligence
  *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