The Coq mailing list

[Wiebe van der Hoek <WiebevanderHoek AT csc.liv.ac.uk>]

Dear reader,

we like to draw your attention to a new journal

        Knowledge, Rationality and Action,

which will be published as a special section of Synthese.
Moreover, the two issues of 2004 will appear also as
an affordable Kluwer book.

The aim of the section is to provide a platform for
researchers in a formal approach to the process
comprising rational behaviour: from gathering and
representing information, via reasoning and
decision making up to acting.

More information is attached. Submissions to the journal
are welcome at www.editorialmanager.com/synt
Word and pdf-files with the information are also available
via http://www.csc.liv.ac.uk/~wiebe/

If you require more information, please refer to
Wiebe van der Hoek
Editor in Chief
wiebe AT csc.liv.ac.uk
---------------------------------------------------------------
Wiebe van der Hoek             http://www.csc.liv.ac.uk/~wiebe/
Department of Computer Science      tel (+44 151) 794 7480/3672
University of Liverpool             fax (+44 151)      794 3715
Liverpool L69 7ZF, United Kingdom           
wiebe AT csc.liv.ac.uk