🚀 go-pugleaf

       			BULLETIN ANNOUNCEMENT
			=====================

	 -The applications of non-classical logics in Artificial Intelligence
have become more and more popular.

	 -Many automated proof procedures have been developed for these logics.

 	 -There are no natural means of exchanging information quickly about 
them (e.g. epistemic logics, temporal logics, deontic logics, logics ot theory
of change, non-monotonic logics ...)

	 Therefore :
	   We plan to edit an informal bulletin on applied non-classical 
logics and proof methods for them containing:
	(1)  short communications about current research work (1-2 pages)
	(2)  abstracts of papers
	(3)  presentations of research groups and projects
	(4)  information about seminars, workshops, conferences.

	If you are interested in this enterprise, please send to one of us the
 relevant information. If you would like to receive (free) this Bulletin 
 please send to one of us your name and direction and we shall put you on the
 mailing list.

	Please distribute this information among your colleagues.


Ewa ORLOWSKA			Luis FARINAS DEL CERRO
Polish Academy of Sciences	Universite Paul Sabatier
P.O. Box 22, 00-901 Warsaw	Langages et Systemes Informatiques
Poland				31062 Toulouse cedex - France

				e-mail:  geocub!farinas  on uucp