CSLI (Center For The Study Of Language
And Information)
CSLI Menu (Current Page: Events) Archive of CSLI Calendars pointers to events in the bay area Stanford Events Calendar Coglunch Current CSLI Calendar CSLI Events information about CSLI CSLI people CSLI industrial affiliates publications research home
[Date Prev][Date Next][Date Index]

CSLI Calendar, Wednesday, 28 March 2007, vol. 22:28



 
                    CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________

28 March 2007                   Stanford               Vol. 22, No. 28
______________________________________________________________________

                     A weekly publication of the
       Center for the Study of Language and Information (CSLI)
      Stanford University, Cordura Hall, Stanford, CA 94305-4101
                    http://www-csli.stanford.edu/
                             ____________

            ACTIVITIES FROM 28 MARCH 2007 TO 5 APRIL 2007

WEDNESDAY, 28 MARCH 2007
 3:30pm SRI CCB Seminar Series [28-Mar-07]
        EK255, SRI International
        "SBML, SBGN, and BioModels.net"
        Michael Hucka
        Control and Dynamic Systems, CalTech
        Abstract below

 4:00pm SRI AI Seminar Series [28-Mar-07]
        EJ228, SRI International
        "Bridging the Gap Between Formal and Computational Semantics"
        Stephen Pulman 
        Oxford University
        http://www.ai.sri.com/seminars/
        Abstract below

THURSDAY, 29 MARCH 2007
all day Stanford 50 Conference [29-Mar-07]
        Stanford        
        "State of the Art and Future Directions of Computational
        Mathematics and Numerical Computing" 
        A conference celebrating the 50th anniversary of George
        Forsythe's arrival at Stanford and the 75th birthday of
        Professor Gene Golub 
        http://compmath50.stanford.edu/
        (registration fee of $125, students free [except for banquet])

12 noon Stanford Semantics and Pragmatics Workshop [29-Mar-07]
        Margaret Jacks Hall 460:126
        "Bridging the Gap Between Formal and Computational Semantics"
        Stephen Pulman 
        Oxford University
        http://www-linguistics.stanford.edu/semgroup/
        (see abstract for the 28 March SRI AI seminar below)

 4:00pm SRI AI Seminar Series [29-Mar-07]
        EJ228, SRI International
        "From an Adaptive Reminding System to a Virtual Coach"
        Nadine Richard 
        Japanese National Institute of Informatics
        http://www.ai.sri.com/seminars/
        Abstract below

 4:00pm PARC Forum [29-Mar-07]
        George Pake Auditorium at PARC
        "Optical Interference Special Effect Pigments: 
        From Banknote Security to Nail Polish" 
        Alberto Argoitia
        Flex Products, Division of JDSU
        http://www.parc.com/forum/

FRIDAY, 30 MARCH 2007
all day Stanford 50 Conference [30-Mar-07] 
        Stanford        
        "State of the Art and Future Directions of Computational
        Mathematics and Numerical Computing" 
        A conference celebrating the 50th anniversary of George
        Forsythe's arrival at Stanford and the 75th birthday of
        Professor Gene Golub 
        http://compmath50.stanford.edu/
        (registration fee of $125, students free [except for banquet])

 2:00pm Stanford Tech Briefing [30-Mar-2007]
        Turing Auditorium, Polya Hall
        "Stanford Webbishness"
        Tim Torgenrud
        IT Services
        (discusses how to use Movable Type, WordPress, wikis, etc at Stanford)
        http://techbriefings.stanford.edu/

SATURDAY, 31 MARCH 2007
all day Stanford 50 Conference [31-Mar-07] 
        Stanford        
        "State of the Art and Future Directions of Computational
        Mathematics and Numerical Computing" 
        A conference celebrating the 50th anniversary of George
        Forsythe's arrival at Stanford and the 75th birthday of
        Professor Gene Golub 
        http://compmath50.stanford.edu/
        (registration fee of $125, students free [except for banquet])

MONDAY, 2 APRIL 2007
 4:15pm Stanford Talk [2-Apr-07]
        Margaret Jacks Hall 460:126     
        "Generating Language with Personality for Dialogue Systems"
        Marilyn Walker
        Computer Science, University of Sheffield
        Abstract below

 4:15pm CS Talk [2-Apr-07]
        Packard 101
        "Integrated Models of Scenes and Objects"
        Antonio Torralba
        MIT
        http://cs.stanford.edu/calendar/abstract.php?eventId=2359
        Abstract below

TUESDAY, 3 APRIL 2007

WEDNESDAY, 4 APRIL 2007
 4:15pm EE380: Computer Systems Lab Colloquium [4-Apr-07]
        Gates B01 (HP Auditorium)
        title to be announced
        Mark Pinto      
        Applied Materials, Solar Business Group
        http://ee380.stanford.edu/contents.html

 5:30pm Tanner Lecture: Racial Stigma, Mass Incarceration and American Values
        Levinthal Hall, Stanford Humanities [4-Apr-07]
        Lecture 1: "Ghettos, Prisons and Racial Backlash"
        Glenn Loury 
        Economics, Brown University
        http://www.stanford.edu/dept/EIS/lectures_tanner.html

THURSDAY, 5 APRIL 2007
10:00am Tanner Lecture discussion seminar [5-Apr-07]
        Landau Economics, SIEPR A
        Glenn Loury 
        Economics, Brown University
        http://www.stanford.edu/dept/EIS/lectures_tanner.html

 4:15pm SSP10: Symbolic Systems Forum [5-Apr-07]
        Bldg. 380:380C (Math Corner)
        "Reward, Value and Choice: A Perspective on the Neurobiology
        of Decision Making"
        Bill Newsome
        Neurobiology, Stanford
        http://monkeybiz.stanford.edu/
        http://symsys.stanford.edu/ssp_events
        Abstract below

 5:30pm Tanner Lecture: Racial Stigma, Mass Incarceration and American Values
        Levinthal Hall, Stanford Humanities [5-Apr-07]
        Lecture 2: "Social Identity & the Ethics of Punishment"
        Glenn Loury
        Economics, Brown University
        http://www.stanford.edu/dept/EIS/lectures_tanner.html

FRIDAY, 6 APRIL 2007
10:00am Tanner Lecture discussion seminar [6-Apr-07]
        Landau Economics, SIEPR A
        Glenn Loury 
        Economics, Brown University
        http://www.stanford.edu/dept/EIS/lectures_tanner.html

 3:00pm Berkeley Information Access Seminar [6-Apr-07]
        107 South Hall (Berkeley)
        Title to be announced
        Kimiko Ryokai
        new joined to School of Information, Berkeley
        http://web.media.mit.edu/%7Ekimiko/
        http://www.ischool.berkeley.edu/about/news/topstories/ryokai10112006a
        http://courses.ischool.berkeley.edu/i296a-1/s07/schedule.html

 3:30pm Linguistics Department Colloquium [6-Apr-07]
        Margaret Jacks Hall 460:126
        Title to be announced
        Ann Banfield 
        UC Berkeley
        http://www-linguistics.stanford.edu/colloq/

 3:30pm SRI CSL Seminar Series [6-Apr-07]
        EK255, SRI International
        "Overview of Real-Time Maude and its Applications"
        Peter Olveczky
        University of Oslo
        http://www.csl.sri.com/
        Abstract below
                             ____________

Stanford Blood Center: Shortage of all types except AB+.  For an
appointment: http://bloodcenter.stanford.edu/ or call 650-723-7831.
It only takes an hour of your time and you get free cookies.
                             ____________

                        SRI CCB SEMINAR SERIES
             on Wednesday, 28 March 2007, 3:30pm - 5:00pm
                       EK255, SRI International

                   "SBML, SBGN, and BioModels.net"
                            Michael Hucka
                 Control and Dynamic Systems, CalTech

Systems biology by its nature requires collaborations between
scientists with expertise in biology, chemistry, computer sciences,
engineering, mathematics, and physics. Successful integration of these
disciplines depends on bringing to bear both social and technological
tools: namely, consortia that help forge collaborations and common
understanding, software tools that permit analysis of vast and complex
data, and agreed-upon standards that enable researchers to communicate
and reuse each other's results in practical and unambiguous ways. In
this presentation, I will discuss several international projects
(SBML, SBGN, and BioModels.net) aimed at addressing the last issue.

An important prerequisite for effective sharing of computational
models is reaching agreement on how to communicate them, both between
software and between humans. The Systems Biology Markup Language
(SBML) project is an effort to create a machine-readable format for
representing computational models at the biochemical reaction
level. By supporting SBML as an input and output format, different
software tools can operate on the same representation of a model,
removing chance for errors in translation and assuring a common
starting point for analyses and simulations. SBML has become the most
successful effort in this direction so far, with over 100 software
tools supporting it today.

A recently-created sister project is the Systems Biology Graphical
Notation (SBGN) project. It addresses the issue of consistent human
communication, by attempting to add more rigor and consistency to the
graphical network diagrams that often accompany published research on
models of biological reaction systems. The real payoff will come when
more people and software adopt such a common visual notation and it
becomes as familiar to them as circuit schematics are to electronics
engineers.

Finally, when developing and publishing computational models, it is
only natural to want to put them into a database. The BioModels.net
project is an effort to (1) provide a free, centralized,
publicly-accessible database of human-curated computational models in
SBML and other structured formats; (2) define agreed-upon standards
for model curation; and (2) define agreed-upon vocabularies for
annotating models with connections to biological data resources.

About the Speaker: Dr. Michael Hucka is a Senior Research Fellow at
Caltech. He is currently the co-director of the Biological Network
Modeling Center, an initiative to bring together a number of efforts
at Caltech in the area of computational systems biology. He is also
one of the principal developers of the Systems Biology Markup Language
(SBML), an international standard format for representing
computational models in a way that can be used by different software
systems to communicate and exchange those models. More recently, he
has been involved in starting the SBGN effort, the BioModels Database,
and the BioModels.net consortium. Dr. Hucka was previously a
postdoctoral scholar in the Division of Biology at Caltech, where he
worked on the GENESIS neural simulation package. He is also one of the
creators of NeuroML. His formal training is in computer science and
engineering.
                             ____________

                        SRI AI SEMINAR SERIES
             on Wednesday, 28 March 2007, 4:00pm - 5:30pm
                       EJ228, SRI International
                  http://www.ai.sri.com/seminars/

This talk will also be given in the Stanford Semantics and Pragmatics
Workshop, Margaret Jacks Hall 460:126 on Thursday, 29 March 2007 at 12
noon. 

    "Bridging the Gap Between Formal and Computational Semantics"
                            Stephen Pulman
                          Oxford University

The literature in formal linguistic semantics contains a wealth of
fine grained and detailed analyses of many linguistic phenomena. But
very little of this work has found its way into implementations,
despite a widespread feeling (among linguists at least) that this cant
be very difficult: just fix a grammar to produce the right logical
forms and hook them up to a theorem prover. In this talk I take a
representative analysis of adjectival comparatives and ask what steps
one would have to go through so as to use this analysis in a
computational setting like open domain question-answering. I then try
to identify some general conclusions that can be drawn from this
exercise.
                             ____________

                        SRI AI SEMINAR SERIES
             on Thursday, 29 March 2007, 4:00pm - 5:30pm
                       EJ228, SRI International
                  http://www.ai.sri.com/seminars/

        "From an Adaptive Reminding System to a Virtual Coach"
                            Nadine Richard
              Japanese National Institute of Informatics

With the ever-growing load of information, events and various
commitments we need to handle, the management of personal calendars
and todo lists becomes more and more difficult and time-consuming. We
are currently developing an adaptive, emotional, and expressive
interface agent, which learns when and how to notify users about tasks
and events. As suggested by its name, the ultimate purpose of our
TamaCoach project is to investigate virtual coaching, in the context
of personal time management. The next step is thus to define the basic
requirements for building a virtual coach, especially in terms of
interruption strategies and expressiveness, in order to provide an
adaptive system that actually motivates the user in achieving
self-assigned tasks.

About the Speaker: Nadine Richard achieved her Ph.D. in 2001 at ENST
(Ecole Nationale Superieure des Telecommunications, Paris). Initially
working on the description of behaviours for virtual agents, she
applied her model to robotic agents and Ambient Intelligence during a
first post-doc at ENST. Since September 2005, she is a post-doc
researcher at NII (National Institute of Informatics, Tokyo), in the
human-agent interaction group led by Prof. Seiji Yamada.
                             ____________

                            STANFORD TALK
                   on Monday, 2 April 2007, 4:15pm
                     Margaret Jacks Hall 460:126

     "Generating Language with Personality for Dialogue Systems"
                            Marilyn Walker
              Computer Science, University of Sheffield
                  http://www.dcs.shef.ac.uk/~walker/

Over the last fifty years, the "Big Five" model of personality traits
has become a standard in psychology, and research has systematically
documented correlations between a wide range of linguistic variables
and Big Five traits. A distinct line of research has explored methods
for automatically generating language that varies along personality
dimensions, which, in the main, has only superficially exploited the
psycholinguistic findings. In this talk, I will briefly summarize our
previous work on statistical language generation, and then present
PERSONAGE (PERSONAlity GEnerator), an extension of previous work that
implements and utilizes 29 different parameters related to
extraversion, an important aspect of personality. I will compare two
methods for generating personality-rich language: (1) overgeneration
and selection using statistical models trained from judge's ratings;
and (2) direct generation with particular parameter settings suggested
by the psycholinguistic literature. An evaluation shows that both
methods reliably generate utterances that vary along the extraversion
dimension, according to human judges, and identifies the parameters
that, in our domain, contribute most to judge's perceptions.
                             ____________

                               CS TALK
                   on Monday, 2 April 2007, 4:15pm
                             Packard 101
        http://cs.stanford.edu/calendar/abstract.php?eventId=2359

              "Integrated Models of Scenes and Objects"
                           Antonio Torralba
                                 MIT

Human scene understanding is remarkable: with only a brief glance at
an image, an abundance of information is available - spatial layout,
scene category, identity of main objects in the scene, etc. In
traditional computer vision, scene and object recognition are two
related visual tasks generally studied separately. By devising systems
that solve these tasks in an integrated fashion it is possible to
build more efficient and robust recognition systems. We argue that
multi-object recognition systems should be based on models which
consider the relationships between different object categories during
the training process. This approach provides several benefits. At the
lowest level, significant computational savings can be achieved if
different categories share a common set of features. More importantly,
jointly trained recognition systems can use similarities between
object categories to their advantage by learning features which lead
to better generalization. This inter-category regularization is
particularly important when few training examples are available, as is
common in many vision domains. In complex natural scenes, object
recognition systems can be further improved by using contextual
knowledge both about the objects likely to be found in a given scene,
and also the common spatial relationships between those objects.

About the Speaker: Antonio Torralba is a Research Scientist at the
Department of Computer Science and Artificial Intelligence at
MIT. Following his degree in telecommunications engineering, obtained
at the Universidad Politcnica de Catalua, Spain, he was awarded a
Ph.D. in Signal, Image, and Speech processing from the Institut
National Polytechnique de Grenoble, France.

Thereafter, he spent post-doctoral training at the Brain and Cognitive
Science Department and the Computer Science and Artificial
Intelligence Laboratory at MIT. His main areas of research are human
and computer vision, focusing on probabilistic methods for scene and
object recognition.
                             ____________

                    SSP10: SYMBOLIC SYSTEMS FORUM
                  on Thursday, 5 April 2007, 4:15pm
                     Bldg. 380:380C (Math Corner)
                http://symsys.stanford.edu/ssp_events

                      "Reward, Value and Choice:
        A Perspective on the Neurobiology of Decision Making"
                             Bill Newsome
                        Neurobiology, Stanford
                    http://monkeybiz.stanford.edu/

Mammals have evolved highly sophisticated mechanisms for efficient
harvesting of rewards in an uncertain environment. An animal's recent
history of choices and rewards permits near-optimal estimates of the
"value" of a particular choice or action in terms of the probability
of acquiring an associated reward. To study the neural mechanisms
underlying this behavior, we trained rhesus monkeys on a version of
Hernnstein's classic "matching" task.  Quantitative analysis of the
behavior permits a precise characterization of the computation that
the monkeys use to estimate reward probability, and neurophysiological
recordings have revealed potential neural substrates. We are currently
engaged in neuroimaging studies (fMRI) to identify additional brain
regions that are likely to contribute to value computations. The
current studies are central to an emerging neurobiology of decision
making.
                             ____________

                        SRI CSL SEMINAR SERIES
               on Friday, 6 April 2007, 3:30pm - 4:30pm
                       EK255, SRI International
                       http://www.csl.sri.com/

          "Overview of Real-Time Maude and its Applications"
                            Peter Olveczky
                          University of Oslo

Real-Time Maude is a tool that extends the rewriting logic-based Maude
system to support the executable formal modeling and analysis of
real-time systems. Real-Time Maude is characterized by its general and
expressive, yet intuitive, specification formalism, and offers a
spectrum of formal analysis methods, including: rewriting for
simulation purposes, search for reachability analysis, and temporal
logic model checking. Our tool is particularly suitable to specify
real-time systems in an object-oriented style, and its flexible
formalism makes it easy to model different forms of communication.
This modeling flexibility, and the usefulness of Real-Time Maude for
both simulation and model checking, has been demonstrated in advanced
state-of-the-art applications, including scheduling and wireless
sensor network algorithms, and communication and cryptographic
protocols.

This talk gives a high-level overview of Real-Time Maude and some of
its applications, and briefly discusses completeness of analysis for
dense-time systems.
                            ____________

                             END MATERIAL

The CSLI Calendar appears weekly on most Wednesdays throughout the
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://cslicalendar.stanford.edu/current
and the archives at
http://cslicalendar.stanford.edu/Archive

People on many of the CSLI computers can type 'help csli-calendar' to
see the current issue.

The CSLI Calendar is also posted each week to the su.events usenet
newsgroup (only available from computers on the Stanford network)

Information about CSLI's research program is available at
http://www-csli.stanford.edu/

For maps to the Stanford University rooms see
http://cslicalendar.stanford.edu/locations.shtml
                             ____________