Logic List Mailing Archive
10th CSLI Workshop on Logic, Language and Computation - May 25-27 (fwd)
---------- Forwarded message ----------
Date: 18 May 2001 17:17:22 -0700
From: Richard Zach <zach@math.berkeley.edu>
Subject: 10th CSLI Workshop on Logic, Language and Computation - May 25-27
The following conference is free and all are welcome to attend.
For more information, visit the web site, or contact
dlafave@stanford.edu
Tenth Annual CSLI Workshop on
Logic, Language, and Computation
May 25-27, 2001
Cordura Hall 100 - CSLI, Stanford University
<http://www-linguistics.stanford.edu/llc/01>
For each of the last nine years, CSLI has hosted a Workshop on Logic,
Language, and Computation. The program has involved a lively mix of
topics at the interfaces of logic, computer science, linguistics,
philosophy, and
psychology. As has become tradition by now, the program includes
contributions by both established researchers and newcomers to the
field.
The workshop is open to all.
Conference Schedule
Talks are 30 minutes with a 15-minute question and answer session. The
breakfasts, lunches, and dinner are free to all who register.
Registration is free.
-------------
Friday, May 25, 2001
-------------
8:30 - 9:00 Breakfast
Session 1 : Logic and Computation - Chair : TBA
9:15 - 10:00 Bernd Finkbeiner (Stanford University)
Symbolic Language Containment Checking
10:00 - 10:45 Tomas Uribe (Stanford University)
Some Combinations of Model Checking and
Deduction
10:45 - 11:00 Coffee Break
11:00 - 11:45 Harald Ruess (SRI International)
Deconstucting Shostak
11:45 - 12:30 Rineke Verbrugge (University of Groningen)
A knowledge-based algorithm for the Internet
protocol TCP
12:30 - 1:30 Lunch
Session 2: Logic and Philosophy of Logic and Language -
Chair: Richard Zach - Stanford University
1:30 - 2:15 Kenneth Taylor (Stanford University)
What is in a Name?
2:15 - 3:00 Patrick Scotto di Luzio (Stanford University)
Hacking Brandom: An Expressivist Demarcation of
Logic
3:00 - 3:15 Coffee Break
3:15 - 4:00 Darko Sarenac (Stanford University)
Preserving relevant connexions
4:00 - 4:45 Eva Hoogland (University of Amsterdam)
A general picture of definability
4:45 - 5:30 Edward Zalta (Stanford University)
A Precise Answer to the Question,
"What is Mathematical Language About?"
------------
Saturday 26, 2001
------------
8:30 - 9:00 Breakfast
Session III - Logic and Language - Chair : David Beaver (Stanford
University)
9:15 - 10:00 Srini Narayanan (SRI International)
Metaphor, Simulation Semantics and Event
Structure:
A Computational Model
10:00 - 10:45 Cleo Condoravdi (Xerox PARC)
TBA
10:45 - 11:00 Coffee Break
11:00 - 11:45 Geoffrey K. Pullum and Barbara C. Scholz (UCSC and SJSU)
Two applications of logic,
two conceptions of natural language
11:45 - 12:30 Dorit Ben-Shalom (Ben Gurion University of the Negev)
A weakened end-extension decidable system
of predicate logic
12:30 - 1:30 Lunch
Session IV - Logic and Computation - Vaughan Pratt (Stanford University)
1:30 - 2:15 Peter Selinger (Stanford University)
On the semantics of classical logic
2:15 - 3:00 Valeria de Paiva (Xerox PARC)
Soundness and Completeness is not enough:
Linear Type Theories and Their Models
3:00 - 3:15 Coffee Break
3:15 - 4:00 Alexandru Baltag (University of Amsterdam)
Computing Epistemic Updates:
decidable logics for belief change and
communication
4:00 - 4:45 Samson Abramsky (Oxford University)
Sequentiality vs. concurrency in games and logic
5:00 - 7:00 Dinner
8:00 - Party
---------------
Sunday May 27, 2001
---------------
8:30 - 9:00 Breakfast
Session V - Probability and Information - Chair : TBA
9:15 - 10:00 Stefan Kaufmann (Stanford University)
TBA
10:00 - 10:45 Tom Griffiths (Stanford University)
A Psychological Theory of Randomness
10:45 - 11:00 Coffee Break
11:00 - 11:45 Robert van Rooy (University of Amsterdam)
Information and Optimality
11:45 - 12:30 Michael Strevens (Stanford University)
Bayesian Confirmation Theory:
Inductive Logic, or Mere Logical Framework?