[Date Prev][Date Next][Date Index]
CSLI Calendar, Wednesday, 25 June 2003, vol. 18:39
CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________
25 June 2003 Stanford Vol. 18, No. 39
______________________________________________________________________
A weekly publication of the
Center for the Study of Language and Information (CSLI)
Stanford University, Ventura Hall, Stanford, CA 94305-4115
http://www-csli.stanford.edu/
____________
ACTIVITIES FROM 25 JUNE 2003 TO 4 JULY 2003
THURSDAY, 26 JUNE 2003
all day CSLI Workshop
Cordura 100
"Barwise and Situation Semantics"
http://www.cs.tcd.ie/Tim.Fernando/sa-b.html
preregistration required
Information below
4:00pm SRI AI Seminar Series
EJ228, SRI International
"Exponential Auction: Automated Mechanism Design for Agent Coalitions"
Eric I Hsu
SRI
http://www.ai.sri.com/seminars/
Abstract below
TUESDAY, 1 JULY 2003
4:15pm Logic Seminar
Bldg. 380:381T (math corner)
"The equational theory of fixed points"
Zoltan Esik
CS Dept, University of Szeged, Hungary
http://www-logic.stanford.edu/seminars.html
Abstract below
THURSDAY, 3 JULY 2003
4:00pm SRI AI Seminar Series
EJ228, SRI International
"SPARK (SRI Procedural Agent Realization Kit)"
David Morley
SRI
http://www.ai.sri.com/seminars/
Abstract below
FRIDAY, 4 JULY 2003 - University Holiday
____________
Stanford Blood Center status: shortage of O+, O-, A-, B+, AB+, and
AB-. For an appointment: http://bloodcenter.stanford.edu/ or call
650-723-7831. It only takes an hour of your time.
____________
CSLI WORKSHOP
on Thursday, 26 June 2003, all day
Cordura 100
A workshop co-located with CONTEXT '03
http://www.cs.tcd.ie/Tim.Fernando/sa-b.html
The workshop registration fee is $35
The late Jon Barwise was, among many other things, the first director
of the Center for the Study of Language and Information at Stanford.
His book with John Perry, Situations and Attitudes, appeared some
twenty years ago (in 1983), launching situation semantics, a semantic
framework that analyzes context in terms of situations.
This workshop provides a forum for works addressing the following
question: What problems, issues and/or insights connected with
situation semantics and Barwise motivate your research today? And how?
A special issue of Research on Language and Computation and/or Journal
of Applied Logic is projected, based on the workshop.
Anyone interested in attending the workshop is asked to email
Tim.Fernando@cs.tcd.ie (to give us an idea of the numbers to expect).
Tentative Schedule
9:15am Opening Address: John Perry (Stanford) TBA
10:15am Sun-Joo Shin (Yale)
"Diagrams and a Theory of Seeing"
10:55am Break
11:10am Robin Cooper (Gothenburg)
"Austinian truth in Martin-Lof type theory"
11:50am Jonathan Ginzburg (London)
"Situation Semantics: the ontological balance sheet"
12:30pm Lunch
1:30pm Alice ter Meulen (Groningen)
"Naturalized facts for counterfactuals"
2:10pm Sheila Glasbey & John Barnden (Birmingham)
"'In the murky depths of my mind': Towards a Situation-Based
Discourse Semantics for Metaphor"
2:50pm Break
3:05pm Satoshi Tojo & Ken Kaneiwa (Japan)
"Toward a proper semantics for the logic of occurrence"
3:45pm I. Emre Sahin & Varol Akman (Bilkent)
"In search of intended meaning: Investigating Barwise's
equation C_R(S,c)=P"
4:25pm Break
4:40pm Closing Address:Keith Devlin (Stanford)
"Extending Barwise and Perry's Relational Theory of Meaning"
Programme Committee
Varol Akman, Bilkent Jonathan Ginzburg, London
Keith Devlin, Stanford Alice ter Meulen, Groningen
Tim Fernando, Dublin Jerry Seligman, Auckland
Email workshop inquiries to Tim.Fernando@cs.tcd.ie.
____________
SRI AI SEMINAR SERIES
on Thursday, 26 June 2003, 4:00pm - 5:30pm
EJ228, SRI International
http://www.ai.sri.com/seminars/
"Exponential Auction:
Automated Mechanism Design for Agent Coalitions"
Eric I Hsu
Artificial Intelligence Center, SRI International
http://www.ai.sri.com/~hsu/
Mechanisms (like auctions) serve to aggregate agents' individual
preferences into a socially desirable outcome, while de-motivating
them from altering the final selection by reporting exaggerated
desires. Established results in Game Theory show that no mechanism can
eliminate untruthfulness in all but a special, unrealistic subset of
settings. However, the emerging field of automated mechanism design
seeks to generate a specialized, untamperable, mechanism for any given
setting via straightforward linear programming. However, initial
efforts assume a finite enumeration of possible outcomes and agent
preferences. Exponential auction was developed to address one of these
concerns, extending the space of outcomes to the real numbers, as
might be useful in typical setting involving prices and times. In
doing so, it relies on a novel method of execution that is
nondeterministically pegged to an exponential random variable. If
there is interest the speaker will also devote a few minutes to a
couple of other Stanford research projects dealing with the Semantic
Web and the integration of qualitative information into statistical
machine learning.
About the Speaker: Eric Hsu has been a Research Engineer at SRI since
1999, working under Charlie Ortiz and others. He is on leave to attend
Stanford until Winter.
____________
LOGIC SEMINAR
on Tuesday, 1 July 2003, 4:15pm-5:30pm
Math Corner 380:381T
http://www-logic.stanford.edu/seminars.html
"The equational theory of fixed points"
Zoltan Esik
CS Dept, University of Szeged, Hungary
We argue that all Cartesian fixed point models in computer science,
including ordered, metric and categorical models, share the same
equational properties. The models satisfying these equational
properties are called iteration categories. We provide an axiomatic
treatment and discuss decidability and complexity issues. We also
provide several applications to concurrency and language theory.
____________
SRI AI SEMINAR SERIES
on Thursday, 3 July 2003, 4:00pm - 5:30pm
EJ228, SRI International
http://www.ai.sri.com/seminars/
"SPARK (SRI Procedural Agent Realization Kit)"
David Morley
Artificial Intelligence Center, SRI International
SPARK (SRI Procedural Agent Realization Kit) is a procedural reasoning
framework intended as a replacement for PRS. It is still in its
infancy, with the first official release being at the end of June
(coinciding with or as part of the first CALO project release)
____________
END MATERIAL
The CSLI Calendar appears weekly on Wednesdays throughout the academic
year. Announcements, abstracts, and other information to appear in
the Calendar should be submitted to the editor, who reserves the right
to decide what does or does not go in the calendar
mailto:incalendar@csli.stanford.edu
Requests to be added to the mailing list should be sent to
majordomo@csli.stanford.edu. With the lines in the body of the text
of either
subscribe csli-calendar
for the long form or
subscribe csli-short-calendar
for the short form (i.e., no abstracts). Problems with subscribing or
unsubscribing should be sent to
owner-csli-calendar@csli.stanford.edu.
The full current issue is at
http://www-csli.stanford.edu/Archive/calendar/current.shtml
and the archives at
http://www-csli.stanford.edu/Archive/calendar/
People on most of the CSLI computers can type 'help csli-calendar' to
see the current issue.
The CSLI Calendar is also posted each week to
news://nntp-csli.stanford.edu/csli.bboard.
and
news://news.stanford.edu/su.events
Information about CSLI's research program is available at
http://www-csli.stanford.edu/
For maps to the Stanford University campus see
http://www.stanford.edu/home/visitors/maps.html
____________