Akitoshi Kawamura

• Pinwheel schedules for small instances

Papers

See DBLP.

Events (past)

• 17th International Conference on Reachability Problems (RP) October 11–13, 2023
• 17th Asian Logic Conference (ALC) October 9–13, 2023
• Workshop: Continuity, Computability, Constructivity — From Logic to Algorithms (CCC 2023) September 25–29, 2023

Positions in Japan

• PhD and MSc programs at RIMS

• Academic job postings in Japan: JREC-IN
• JSPS postdoc programs: standard (12–24 months) and short-term (1–12 months)
• JSPS summer program for post-doctoral researchers and graduate students from USA, UK, France, Germany, Canada and Sweden