🚀 go-pugleaf

FYI; note that social science applications are specifically requested.
Jim

-------------------------------------------------------------------------
Jim Cassell                                    CASSELL@UNCVM1.OIT.UNC.EDU
Institute for Research in Social Science       CASSELL@UNCVM1.BITNET
University of North Carolina-Chapel Hill       Phone:  919-962-0782
Chapel Hill, NC  27599-3355                    Fax:    919-962-4777
-------------------------------------------------------------------------
----------------------------Original message----------------------------
                  First Call for Papers - Please Post
                              Logic At Work
                        APPLIED LOGIC CONFERENCE
            December 17-19, 1992, University of Amsterdam

Twenty years ago, logic was mainly applied to mathematical
and philosophical problems.  Nowadays the term applied logic
has a far wider meaning, as various applications of logical
methods in computer science, formal linguistics and other
fields testify.

Such applications are by no means restricted to the use of
known logical techniques: at its best applied logic involves
a dialogue between logical theory and the problem domain.
Ultimately, these applications may change the face of logic
itself.  A variety of non-standard logics (for example
modal, temporal and intuitionistic logics, and various
lambda calculi) have assumed increasing importance and new
systems (such as update semantics, dynamic logic, and
various non-monotonic logics) have emerged in response to
the new questions.

It is the aim of this conference to bring together those
researchers - whether logicians with an interest in
applications, or workers in other fields with an interest in
logical methods - whose work is best described as applied
logic, in the belief that the issues raised in applying
logic transcend traditional disciplinary borders.  The
conference comprises invited lectures and contributed talks.
The invited speakers are:

   Hajnal Andreka * Johan van Benthem * Peter Gardenfors
         Dov Gabbay * Larry Moss * Istvan Nemeti
             Yoav Shoham * Keith Stenning.

The Program Committee welcomes theoretical and computational
contributions in areas including, but not limited to:

               reasoning under change
           reasoning under limited resources
             reasoning under uncertainty
     applications of logic in the social sciences
        methodological issues in applied logic

The Deadline for extended abstracts (8-12 pages) is
September 15, 1992.  All abstracts will be refereed by the
Program Committee consisting of Patrick Blackburn
(University of Utrecht), Michael Masuch (CCSOM), John-Jules
Meyer (Free University of Amsterdam), Laszlo Polos (CCSOM)
and Frank Veltman (University of Amsterdam), plus anonymous
referees.  Notification of acceptance by November 1, 1992.
Full papers for publication in the proceedings are due on
December 15, 1992.  The deadline for registration is
December 1st, 1992.  Registration fee for academic
participants: Dfl. 400 or US$ 240 (50% discount for graduate
students).  For nonacademic participants: Dfl. 2,000 or
US$ 1,200.  Abstracts (preferably hard copy, prepared in
LaTeX) to: APLOC-conference, CCSOM, University of Amsterdam,
Oude Turfmarkt 151, 1012 GC Amsterdam, The Netherlands.
Email: aploc@ccsom.nl, fax: +31-20-626 4873, telephone:
+31-20-525 2852.  For local arrangements and information:
Michel Vrinten, CCSOM, email: michel@ccsom.nl