Created in October 08, 2026
2026
I attended Symbolic Logic and Computer Science (SLACS) 2026, Ginza (Japan), 05-08 October 2026.