60th TRS meeting

News

October 10, 2024: Naively edited photo.
October 7, 2024: Added dinner information.
September 29, 2024: Added the title and abstract of the invited talk, and tentative program.
July 1, 2024: Announced invited speaker.
June 6, 2024: This page is created.

Invited Talk

Speaker: Tobias Nipkow
Title: Alpha-Beta Pruning Explored, Extended and Verified
Abstract
Alpha-beta pruning is an efficient search strategy for two-player game trees. It was invented in the late 1950s and is at the heart of most implementations of combinatorial game playing programs. In this talk I will survey my recent formalizations and verifications of a number of standard variations of alpha-beta pruning. Findings include: Basic variants already having a property ascribed to an improved version Authors being confused about which algebraic structure they actually work in Generalizations to new algebraic structures The implementation in a famous paper is flawed

Program

October 7 (Mon)

10:00 – 12:00	Free Discussion
14:30 – 15:30	Invited Talk
	Alpha-Beta Pruning Explored, Extended and Verified Tobias Nipkow
15:30 – 15:50	Break
15:50 – 16:30	All-Path Reachability for Starvation Freedom Under Process Fairness Naoki Nishida Nagoya U.
16:30 – 17:20	On algorithms to solve Quadratic Diophantine equation Yuto Nakamura JAIST
17:20 – 18:00	What I formalized in Isabelle/HOL Yasuhiko Minamide Science Tokyo
18:30 –	Dinner Trattoria&Pizzeria LOGIC Odaiba (map)

October 8 (Tue)

10:00 – 10:40	Formalizing Logically Constrained Rewriting in Isabelle/HOL Akihisa Yamada AIST
10:40 – 11:20	TBA Tetsuya Sato Science Tokyo
11:20 – 12:00	A Formalization of the Lévy-Prokhorov Metric in Isabelle/HOL Michikazu Hirata Science Tokyo
12:00 – 14:00	Lunch Break
14:00 – 14:50	Linear Termination is Undecidable Aart Middeldorp U. Innsbruck (online)
14:50 – 15:30	Disproving Termination of O-like Combinators by Tree Automata Munehiro Iwami Iwate Prefectural University (online)
15:30 – 15:50	Break
15:50 – 16:30	Proof Automation Based On Completion In Coq Soichi Yajima Kyoto U.
16:30 – 17:10	Lexicographic Combinations of Reduction Pairs Nao Hirokawa JAIST
17:10 –	Business Meeting
18:00 –	Dinner Haibana 南風花アクアシティお台場店 (map)

October 9 (Wed)

10:00 – 10:40	Proving Absence of Spiraling Terms by Semantic Path Orders Teppei Saito JAIST
10:40 – 11:20	TBA Mirai Ikebuchi Kyoto U.
11:20 – 12:00	Applicative Multiset Path Orders Wataru Yachi JAIST

About TRS meeting

Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk of approximately 15–60 minutes in English on their research activities. See also Rewriting Researchers Forum for further information. We should like to invite all of you to the upcoming TRS Meeting held online. Partial participation is also welcome.

Basic Information

Dates:: October 7 – October 9, 2024
Venue:: AIST Tokyo Waterfront Annex, Meeting Room 1 (会議室1), 11th floor
Fees:: Free

Registration

Please send the registration form below to Akihisa Yamada (akihisa.yamada at aist.go.jp) no later than September 23.

----------------------------------------------------------------------
              Registration Form of the 60th TRS meeting

Name:
Affiliation:
Title of talk (*):
Duration of talk (*):
----------------------------------------------------------------------
The items marked with * can be sent later.

Participants

Aart Middeldorp (U. Innsbruck, online)
Akihisa Yamada (AIST)
Michikazu Hirata (Science Tokyo)
Mirai Ikebuchi (Kyoto U.)
Mizuhito Ogawa (JAIST)
Munehiro Iwami (Iwate Prefectural U., online)
Nao Hirokawa (JAIST)
Naoki Nishida (Nagoya U., hybrid)
Soichi Yajima (Kyoto U.)
Teppei Saito (JAIST)
Tetsuya Sato (Science Tokyo)
Tobias Nipkow
Wataru Yachi (JAIST)
Yasuhiko Minamide (Science Tokyo)
Yuto Nakamura (JAIST)

Contact

Akihisa Yamada