|firstname=Akihisa
|lastname=Yamada
...
642 bytes (97 words) - 08:43, 25 January 2023
at the discretion of the organizer, Akihisa Yamada.
* Akihisa Yamada, NII, Japan
...
7 KB (1,068 words) - 09:25, 12 June 2020
* TRS relative: by Akihisa Yamada
...
2 KB (263 words) - 08:47, 29 July 2015
* Akihisa Yamada, NII, Japan
* Akihisa Yamada, NII, Japan
...
7 KB (1,049 words) - 09:55, 12 June 2020
'''Session 1''': Keynote & Probabilistic Termination (Chair: Akihisa Yamada)
'''Session 6''': termCOMP 2023 and business meeting (Chair: Akihisa Yamada)
...
11 KB (1,420 words) - 17:02, 17 August 2023
* Akihisa Yamada, Universität Innsbruck, Austria
* Akihisa Yamada, Universität Innsbruck, Austria (CPF and TPDB)
...
7 KB (962 words) - 08:48, 11 June 2018
* [https://group-mmm.org/~ayamada/ Akihisa Yamada], AIST Tokyo Waterfront
...
3 KB (405 words) - 09:36, 18 September 2025
'''Session 1''': Keynote & Probabilistic Termination (Chair: Akihisa Yamada)
'''Session 6''': termCOMP 2023 and business meeting (Chair: Akihisa Yamada)
...
11 KB (1,385 words) - 07:20, 16 July 2026
* [1] Martin Avanzini, Ugo Dal Lago, and Akihisa Yamada. On probabilistic term rewriting. <i>Science of Computer Programming</i>, 2
...
3 KB (525 words) - 15:55, 28 October 2026
* [1] Martin Avanzini, Ugo Dal Lago, and Akihisa Yamada. On probabilistic term rewriting. <i>Science of Computer Programming</i>, 2
...
3 KB (552 words) - 15:56, 28 October 2026
From 2018 to 2023, the organizer was Akihisa Yamada.
...
6 KB (838 words) - 04:31, 28 September 2026
* Akihisa Yamada, AIST Tokyo Waterfront
...
6 KB (819 words) - 09:09, 8 September 2025
* Akihisa Yamada, AIST Tokyo Waterfront
...
6 KB (902 words) - 13:34, 5 July 2024
* Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
...
6 KB (954 words) - 08:32, 12 September 2023
* Akihisa Yamada (Organizer), AIST Tsukuba
...
7 KB (999 words) - 09:55, 3 July 2020
* Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
...
7 KB (1,024 words) - 06:44, 14 July 2021
*
Akihisa Yamada, Universität Innsbruck, Austria (TPDB)
Send new problems for the competition to
akihisa.
yamada<at>uibk.ac.at
...
7 KB (1,056 words) - 21:06, 5 September 2016
* Akihisa Yamada
...
8 KB (1,188 words) - 10:01, 25 August 2026
* Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
...
8 KB (1,232 words) - 14:09, 7 November 2022
