Kisoron-ml March 2019

2 participants
2 discussions

LCC 2019（7月8日・パトラ）発表募集
by Akitoshi Kawamura 11 Mar '19

11 Mar '19

メーリングリストの皆様九大の河村と申します。7月に国際会議ICALPの併設集会としてギリシアのパトラで行われる「論理学と計算量」研究集会LCC 2019の御案内をお送りいたします。投稿は3～4ページで、締切は5月1日です。 =========================================================== First Call for Contributions LCC 2019 20th International Workshop on Logic and Computational Complexity July 8, 2019, Patras, Greece Collocated with ICALP 2019 http://www.cs.swansea.ac.uk/lcc/ =========================================================== LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The program will consist of invited lectures as well as contributed talks selected by the Program Committee. IMPORTANT DATES: * submission May 1, 2019 * notification May 20, 2019 * workshop July 8, 2019 SUBMISSION: Submissions must be in English and in the form of an abstract of about 3-4 pages. All submissions should be submitted through Easychair at: https://easychair.org/conferences/?conf=lcc19 We also welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback. PROGRAM COMMITTEE: Lauri Hella, Co-chair, Tampere University, Finland Monika Seisenberger, Co-chair, Swansea University, UK Sam Buss, University of California, San Diego, US Anupam Das, University of Copenhagen, Denmark Anuj, Dawar, University of Cambridge, UK Akitoshi Kawamura, Kyushu University, Fukuoka, Japan Arne, Meier, University of Hannover, Germany Lidia Tendera, University of Opole, Poland CONTACT: To contact the workshop organizers, please send an e-mail to lcc19(a)easychair.org -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

嘱託職員の募集
by 泉英明 06 Mar '19

06 Mar '19

数学基礎論メーリングリストの皆様千葉工業大学では下記の嘱託職員の公募を行っております。関係各位にご周知いただくとともに，適任者をご存知の場合は応募をお薦め下さいますようお願い申し上げます。千葉工業大学泉英明 --------------------------------------------- 千葉工業大学学生サポートセンター学習指導員(数学) 募集千葉工業大学教育センター数学教室山田宏文 1. 公募人員: 嘱託職員(教育系) １名 2. 応募資格: 修士以上の学位を有し，工業系大学の数学基礎教育に熱意のある方。 3. 業務内容: 高校数学および大学初年時の基礎的な数学に関する補習教育(学生の質問への対応，工学系学部 1・2 年生を対象とした補習授業を週に数回担当，数学補習授業等の教材の開発，補習教育に関わるデータ分析など) 4. 勤務日及び時間: 勤務日は月曜日から金曜日までの週 5 日。修業時間は午前 10時00から午後6時00分(うち休憩時間60分) 。休暇は, 初年度年次有給休暇 10 日付与，以後法令の定める範囲で付与。その他の休暇に関しては専任職員に準ずる。 5. 賃金: (1) 基本給: 月給 200,000 円 (2) 諸手当:通勤手当 6ヶ月定期代を年2回 (3) 賃金支給日: 毎月 20 日 (4) 昇格無 (5) 賞与有(1年に合計2ヶ月分を4回に分けて支給，ただし初年度6月賞与は3分の 2を支給) (6) 退職金無 6. 任期: 最長5 年(毎年更新の単年度契約) 、着任時期:2019年4月1日 7. 勤務地: 千葉工業大学新習志野キャンパス(千葉県習志野市芝園2-1-1) 8. 応募方法: メールに履歴書ファイルを添付し, 下記にご応募ください。 yamada.hirofumi(a)p.chibakoudai.jp 履歴書には、「高校卒業時からの学歴、取得学位、職歴、論文等の業績一覧、応募者の電子メールアドレス」、を記載のこと。 9. 締め切り: 2019年3月13日ただし、適任者が決まり次第、本公募は締め切りを待たず終了とする場合があります。 10. その他: 問い合わせは、山田宏文（千葉工業大学教育センター数学教室 yamada.hirofumi(a)p.chibakoudai.xn--jp)-u63b3a3fo4hi4bzog59j9dyk6332m. なお、勤務条件等（特に、上記4, 5, 6）に関する問い合わせは、下記まで：千葉工業大学新習志野教務課次長柿山正美（電話 047-454-9932）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml March 2019