みなさま
湘南工科大学の松田直祐と申します。 以下の要領でラムダ計算と論理のセミナーを開催させていただきます。
[日程] 2024年3月8日(金)13:00 - 10日(日)12:00 [開催場所] ロッジ丘 949-6212 新潟県南魚沼郡湯沢町大字三国469-7 [世話人] 松田直祐(湘南工科大学) 新屋良磨(秋田大学) [ホームページ] https://sites.google.com/view/lls2024
講演枠や講演時間を事前に固定せず,当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています。議論し成果を挙げる場・学生の簡単な発表の場・研究者同士の交流の場など,さまざまな用途で利用していただければ幸いです。 ラムダ計算・論理の話題に拘わらず,周辺の分野についての講演を広く募集しております。 詳細や申し込み方法についてはホームページをご確認ください。