The website is now live — more details coming soon!We (Stefan Ratschan, Jonathan Huerta y Munive, Andreea Costea, and I) are organising a new workshop, “AI, Proof and Verification (AIPV)”, co-located with FM 2026 in Tokyo this May.AIPV is intended as a forum for exchanging ideas, ideally with a hands-on and collaborative atmosphere rather than …
Continue reading AI, Proof and Verification (AIPV) is coming to Tokyo
I lived in Randwick for a few years in the 2010s. When I felt tired, sad, or stressed, I often went to the beaches in the evening to clear my mind. On sunny weekends, I enjoyed walking from Coogee to Bondi. I did not swim, but I watched beach life from a distance and enjoyed …
This TV news segment and Prof. Shunsuke Tanabe (田辺俊介) of Waseda University appear to have taken advantage of the Covid pandemic to promote the myth that the crime rates among Japanese and non-Japanese are the same. A Canadian media, called Japan Media Review, propagated this myth into the English language sphere. (https://youtu.be/6sQBcrjijj8?t=540) They managed to …
Continue reading Suspected Disinformation About Crimes by Foreigners in Japan
🎉 Proof Summit 2025 — Completed! We're happy to share that Proof Summit 2025 wrapped up last week with nearly 30 participants packing the seminar room at NII. The event featured lively discussions across academia, industry, and the hobbyist community.🧠 Proof Summit is a Japanese semi-academic theorem proving event, revived this year after the long …
Note: This post meanders across topics — from linguistics to economic history to personal memory. It is neither a scholarly essay nor a comprehensive analysis. I’m not a historian, economist, sociologist, linguist, legal expert, or scholar of genocide studies. This is simply a personal reflection, shaped by lived experience, informal learning, and casual observation. If you …
A little while ago, I visited the Japanese garden in Prague. It features a kare-sansui (dry landscape garden), and apparently, in May, there’s also a bonsai exhibition organized by the Czech Bonsai Association. For signage, they used the symbol of a Shinto torii gate. ⛩️ I don’t know why a torii was chosen to represent …
For a while, I plan to consciously adjust how I handle information.This isn't a sudden decision but a judgment based on specific experiences and accumulated reasoning over the past few years. However, due to various circumstances, I will describe it somewhat vaguely without detailing specific experiences. On Acquiring Information: Avoid sensational sources: Prolonged exposure to …
Continue reading Acquisition, Processing, and Dissemination of Information
Here’s a personal update: I’m back in Japan and have submitted my marriage registration with the love of my life! ❤️No, sorry, there was a typo. I have submitted a request for non-acceptance of marriage registration in Japan so that others cannot marry me without my consent. 😦 I know. This is already weird. Let …
During my two and a half years living in Cambridge and working for an IT company, I had many opportunities to talk with well-educated people and seemingly well-off individuals in the information and communication sectors. Strangely enough, almost all of them were homeowners or hoping to be. Even those who were renting at the time …
Continue reading Renting vs. Owning in the UK: A Personal Reflection
I am pleased to report the successful conclusion of the 5th International Workshop on Automated (Co)Inductive Theorem Proving (WAIT2024), held in Nancy, France, and collocated with IJCAR2024.This event featured a series of compelling talks, notably a theoretical presentation by Dr. Stefan Hetzl, praised for its clarity and accessibility, even for those with limited theoretical backgrounds.We …
United Reasoning 