集会の目的と対象分野
SLACS は、記号論理学と計算機科学の研究者の相互交流を目的として開かれている研究集会で、今年で21回目になります。
対象は、記号論理学や計算機科学、あるいはその両方に関わる話題全般で、プログラミング言語の基礎理論、形式的論理、アルゴリズムの理論などが主たるトピックですが、これに留まらず広い範囲の発表を歓迎します。
形式張らない研究集会を目指していますので、完成した話はもちろん、発展途上の話題など積極的な参加をお待ちしております。
なお、当研究集会の参加は無料で、申し込みの必要はございません。
どなたでもご自由に参加できますので、皆様のお越しを心よりお待ち申し上げております。