Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

What, again? Automatic Deductive Synthesis of the Unification Algorithm

Richard J WaldingerArtificial Intelligence Center, SRI International[Home Page]

Notice:  Special time: 11:00 AM on Friday

Date:  Friday, July 16th 2021 at 11:00am

Location:  (Directions)

Join Remotely: 

Join by Zoom:

Join ZoomGov Meeting

Meeting ID: 160 2886 7898

One tap mobile
+16692545252,,16028867898# US (San Jose)
+15512851373,,16028867898# US

Dial by your location
        +1 669 254 5252 US (San Jose)
        +1 551 285 1373 US
        +1 646 828 7666 US (New York)
        +1 669 216 1590 US (San Jose)
        833 568 8864 US Toll-free

Unification is the construction of common instances of symbolic expressions. It is a central process in theorem proving, logic programming, type checking, and natural language processing. The automatic construction of algorithms for unification was an early target for program synthesis, but has never been fully achieved. We describe work in progress toward this goal. If successful, it could be applied to the construction of new unification algorithms for specific theories. This is a dry run for a talk to be given at UNIF 2021: The 35Th International Workshop on Unification ( this Sunday. Suggestions are solicited for improving the presentation.

   Bio for Richard J Waldinger

Richard Waldinger has been with the AI Center since 1969 and is now a Principal Scientist. He works on application of automatic deduction to artificial intelligence and software engineering. This includes program synthesis and verification, and planning, Most recently he has studied the use of deductive methods for natural-language question answering. He is the co-author (with Zohar Manna) of a series of textbooks on the relationship between logic and computer programming. He received a PhD from Carnegie Mellon University under Herbert A. Simon, and is a recipient of an SRI Fellowship, a AAAI Fellowship, and a Herbrand Award

   Note for Visitors to SRI

Photography or broadcast of the event is prohibited unless specifically authorized by SRI. Reporters must coordinate with SRI 24 hours in advance before attending.
Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E (or call Wilma Lenz at 650 859 4904, or Eunice Tseng at 650 859 2799). SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. Please check the Building E entrance signage.

SRI International
©2022 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy