Logic, Language and Computation Workshop Announcement

[Mary Dalrymple]

----------------------------------------------------------------------------
        THE  SEVENTH CSLI WORKSHOP ON LOGIC, LANGUAGE, AND COMPUTATION
----------------------------------------------------------------------------

Dates: May 29 - 31 1998
Location: Cordura Hall Conference Room, Stanford University

This workshop brings together scholars having an interest in
logic - philosophers, linguists and computer scientists - with the
overall aim of facilitating interdisciplinary interaction.

It is organized by Johan van Benthem, Davd Beaver,
David Israel, Rob van Glabbeek, and Martina Faller.

This year's program has the usual lively mix of topics concerning
the sources and flow of information in the various disciplines that
CSLI was designed to bring together. It includes recent developments
in dynamic and epistemic logics, proof-based grammar formalisms,
underspecification and ambiguity, and other current issues in
computational logic and linguistic semantics. Special sessions
this year high-light multi-agent communication and cooperation,
as well as connections with information theory in the natural
sciences. As has become a tradition by now, the program includes contributions
by both established researchers and newcomers to the field.

See the LLC webpage for more information on speakers, abstracts and
schedule: http://www-linguistics.stanford.edu/Linguistics/llc

or contact Martina Faller (faller at csli.stanford.edu)


------------------------------------------------------------------
                    PRELIMINARY PROGRAM
------------------------------------------------------------------

Program subject to change.

--------------
Friday, May 29 
--------------

Morning         I. Computation and Logic

9:00-9:15       Opening Remarks

9:15-10:00      John Mitchell (Stanford University)
                Title tba

10:00-10:45     Grit Denker (SRI)
                "Specification of Distributed Systems -- 
                An Approach Combining Temporal Logic and Rewriting Logic"

10:45-11:00     Coffee Break

11:00-11:45     Iliano Cervesato (Stanford University)
                "The Linear Logical Framework LLF"

11:45-12:30     Harold Schellinx (CWI)
                "Classical Logic and Computation"

12.30-1.30      Lunch Break

Afternoon       II. Logic

1:30-2:15       Hans de Nivelle (CWI)
                Title tba

2:15-3:00       Maarten Marx (University of Amsterdam)
                Title tba

3:00-3:15       Coffee Break

3:15-4:00       Grigori Mints (Stanford University)
                "Reductions of finite and infinite proofs"

4:00-4:45       Martin Otto 
                (Stanford University and RWTH Aachen Technical University) 
                "Decision problems in two-variable logics"

----------------
Saturday, May 30
----------------

Morning         III. Logic and Computation

9:15-10:00      John-Jules Meyer (Utrecht University)
                "Formalising Motivational Attitudes of Agents Using
                the KARO"

10:00-10:45     Marc Pauly (CWI)
                "Axiomatizing Weak Propositional Dynamic Logic"

10:45-11:00     Coffee Break

11:00-11:45     Yiannis Moschovakis (UCLA)
                "The extensional representation of intensional notions"

11:45-12:30     Peter Gruenwald (CWI)
                "The Minimum Description Length Principle takes the 
                sting out of Subjective Probability"               

12:30-1:30      Lunch Break

Afternoon       IV. Communication and Cooperation

1:30-2:15       Yoav Shoham (Stanford University)
                "Savaging Savage, or, towards revealed-preference 
                foundations for game theory"

2:15-3:00       Giacomo Bonanno (UC Davis)
                Title tba
3:00-3:15       Coffee Break

3:15-4:00       Peter Godfrey-Smith (Stanford University)
                Title tba

4:00-4:45       Thomas Cover (Stanford University) 
                Title tba

6:00-7:00       Dinner

8:00            Party

--------------
Sunday, May 31
--------------

Morning         V. Language and Logic

9:15-10:00      Jeff Pelletier (Stanford University and University of Alberta)
                "Frege's Principle"

10:00-10:45     Martina Faller (Stanford University)
                "A vector space semantics for adjectival comparatives"
 
10:45-11:00     Coffee Break

11:00-11:45     Ronald Kaplan (Xerox PARC)
                "Underspecification and Free Choice"
                     
11:45-12:30     Timothy P. Fernando (Carnegie Mellon University)
                "BETWEEN SEMANTIC CONSTRUCTION AND SEMANTIC EVALUATION:
                Changing the context for entailment, presupposition 
                and ambiguity"

12:30-1:30      Lunch Break

Afternoon       VI. Language and Computation

1:30-2:15       Andrew Kehler (SRI)
                "Coherence, Reference, and the Theory of Grammar"

2:15-3:00       John Lamping (Xerox Parc)
                "Efficient Linear Logic Meaning Assembly"

3:00-3:15       Coffee Break

3:15-4:00       Stefan Kaufmann (Stanford University)  
                Title tba

4:00-4:45       Robert Moore (SRI and NASA Ames Research Center)
                "Practical Applications of Compositional Semantics"

4:45            Closing Remarks