Kisoron-ml July 2012

8 participants
11 discussions

SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 02 Jul '12

02 Jul '12

重複して届いている方はお許し下さい。今年のSLACS（記号論理と情報科学研究集会）の世話人をおおせつかっている京都産業大学の三好博之です。第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わるご講演を広く募集しています。 SLACS 2012のウェブページも近日中に作成致します。開催要項開催日：2011年9月15日（土）午前〜 9月16日（日）午後（講演が少ない場合は、開始を遅らせます）場所：京都産業大学むすびわざ館（京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 懇親会：9月15日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、　　・題目　　・講演者名　　・e-mail address 　　・所属　　・梗概　　・希望時間　　・講演に必要な道具などの情報を三好 hxm(a)cc.kyoto-su.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全な情報でも結構です。特に申込締切は設けませんが，プログラムを見積もるため未確定でも講演するかもしれないという意思表示は早めにして頂けるとありがたいです。なお，直前の9/12-14には京都大学RIMSで「証明論と複雑性」の研究会がございます（http://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html）ので続けてのご参加もしやすくなっております。多くの皆さんのご講演・ご参加をお待ちしております。京都産業大学理学部数理科学科　三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml July 2012