[seqfan] talk announcement: Proving properties of OEIS sequences with Walnut

[Jeffrey Shallit]

I am writing to invite you to attend my talk on October 18.

You are also welcome to forward this announcement to anyone you think 
might be interested.

*Title: "**Using Walnut to Prove Results About Sequences in the OEIS"**
**Speaker:  Jeffrey Shallit, University of Waterloo**
**Date:  October 18 2022**
**Time:   12 Noon EDT (9 AM San Francisco; 6 PM France)
Place:  On Zoom, see below for link
*
Abstract:   Walnut is free software, originally created by Hamoon 
Mousavi, that can *rigorously* prove
properties of various kinds of infinite sequences, such as the 
Thue-Morse sequence, the Rudin-Shapiro sequence, the
infinite Fibonacci word, the infinite Tribonacci word, and dozens of 
related sequences.

In this talk I will show how *you* can use Walnut to prove conjectures 
about some sequences
contained in the On-Line Encyclopedia of Integer Sequences (OEIS).  I 
will illustrate
the ideas with several examples, and also talk about the limitations of 
Walnut.
I'll also answer any questions you might have about how to use it.

To join the talk, you will need Zoom.
The link to join the talk is below.


Links:
the OEIS: https://oeis.org

the Walnut page, where you can download it:
https://cs.uwaterloo.ca/~shallit/walnut.html

Zoom link for the talk:
*https://uwaterloo.zoom.us/j/92294606020?pwd=bFU3emRFaUdVOXEwM0pDc004N0dHUT09*

Meeting ID: 922 9460 6020
Passcode: 940446
One tap mobile
+16469313860,,92294606020#,,,,*940446# US
+16694449171,,92294606020#,,,,*940446# US

Dial by your location
         +1 646 931 3860 US
         +1 669 444 9171 US
         +1 669 900 9128 US (San Jose)
         +1 719 359 4580 US
         +1 253 215 8782 US (Tacoma)
         +1 301 715 8592 US (Washington DC)
         +1 309 205 3325 US
         +1 312 626 6799 US (Chicago)
         +1 346 248 7799 US (Houston)
         +1 386 347 5053 US
         +1 564 217 2000 US
         +1 646 558 8656 US (New York)
         833 548 0276 US Toll-free
         833 548 0282 US Toll-free
         877 853 5257 US Toll-free
         888 475 4499 US Toll-free
         +1 780 666 0144 Canada
         +1 204 272 7920 Canada
         +1 438 809 7799 Canada
         +1 587 328 1099 Canada
         +1 647 374 4685 Canada
         +1 647 558 0588 Canada
         +1 778 907 2071 Canada
         833 955 1088 Canada Toll-free
         855 703 8985 Canada Toll-free
Meeting ID: 922 9460 6020
Passcode: 940446
Find your local number: https://uwaterloo.zoom.us/u/ab7RMHqW7v

Join by SIP
92294606020 at zoomcrc.com

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (Amsterdam Netherlands)
213.244.140.110 (Germany)
103.122.166.55 (Australia Sydney)
103.122.167.55 (Australia Melbourne)
149.137.40.110 (Singapore)
64.211.144.160 (Brazil)
149.137.68.253 (Mexico)
69.174.57.160 (Canada Toronto)
65.39.152.160 (Canada Vancouver)
207.226.132.110 (Japan Tokyo)
149.137.24.110 (Japan Osaka)
Meeting ID: 922 9460 6020
Passcode: 940446