Japanese
SLACS stands for "Symbolic Logic and Computer Science", which is an annual research meeting in Japan since 1985.