Search results

Page title matches

• People:Akihisa Yamada
  |firstname=Akihisa |lastname=Yamada
  642 bytes (97 words) - 08:43, 25 January 2023

Page text matches

• People:Akihisa Yamada
  |firstname=Akihisa |lastname=Yamada
  642 bytes (97 words) - 08:43, 25 January 2023
• Termination Competition
  * [https://group-mmm.org/~ayamada/ Akihisa Yamada], AIST Tokyo Waterfront From 2018 to 2023, the organizer was Akihisa Yamada.
  7 KB (905 words) - 10:03, 16 April 2024
• Termination Competition 2019
  at the discretion of the organizer, Akihisa Yamada. * Akihisa Yamada, NII, Japan
  7 KB (1,068 words) - 09:25, 12 June 2020
• Termination Competition 2015 Registration
  * TRS relative: by Akihisa Yamada
  2 KB (263 words) - 08:47, 29 July 2015
• Termination Competition 2018
  * Akihisa Yamada, NII, Japan * Akihisa Yamada, NII, Japan
  7 KB (1,049 words) - 09:55, 12 June 2020
• 19th International Workshop on Termination
  '''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
• Termination Competition 2017
  * Akihisa Yamada, Universität Innsbruck, Austria * Akihisa Yamada, Universität Innsbruck, Austria (CPF and TPDB)
  7 KB (962 words) - 08:48, 11 June 2018
• Termination Competition Steering Committee
  * [https://group-mmm.org/~ayamada/ Akihisa Yamada], NII Tokyo
  3 KB (403 words) - 10:30, 21 October 2019
• Termination Competition 2024
  * Akihisa Yamada, AIST Tokyo Waterfront
  6 KB (886 words) - 15:59, 15 April 2024
• Termination Competition 2023
  * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
  6 KB (954 words) - 08:32, 12 September 2023
• Termination Competition 2020
  * Akihisa Yamada (Organizer), AIST Tsukuba
  7 KB (999 words) - 09:55, 3 July 2020
• Termination Competition 2021
  * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
  7 KB (1,024 words) - 06:44, 14 July 2021
• Termination and Complexity Competition 2016
  * 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
• Termination Competition 2022
  * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
  8 KB (1,232 words) - 14:09, 7 November 2022