Logic-ml

9 participants
1781 discussions

A Workshop in Honour of John Power on the occasion of his 60th Birthday
by Masahito Hasegawa 18 Nov '19

18 Nov '19

Workshop Announcement Categorical Algebra and Computation A Workshop in Honour of John Power on the occasion of his 60th Birthday 23rd December 2019 Research Institute for Mathematical Sciences, Kyoto University http://www.kurims.kyoto-u.ac.jp/~hassei/ajp60/ We are delighted to host a workshop in honour of John Power on the occasion of his 60th birthday at RIMS, Kyoto University. John, recently retired and now a honorary professor at Macquarie University, Sydney, is staying in Kyoto as a visiting professor of RIMS for the winter of 2019/2020. During his stay in Kyoto, John turns 60. John has made substantial contributions in category theory and its applications to computer science throughout his career. At the same time, he has been a wonderful teacher, mentor and friend to many of us, with his exceptional insights, kindness, and humour. Since the 1990's John has regularly visited Japan and worked with Japanese researchers, including several PhD students and young postdocs. John's presence has made great impact on Japanese research community of semantics of computation and related fields; John has co-authored a number of papers with young Japanese researchers and served as their mentor. This workshop will feature talks by John's friends and collaborators as well as young Japanese researchers who are under the influence of John's work in a broad sense. The speakers will include - Soichiro Fujii (Kyoto University) - Shin-ya Katsumata (NII, Tokyo) - Yoshiki Kinoshita (Kanagawa University) - Yuichi Komorida (NII, Tokyo) - Steve Lack (Macquarie University) - Ken Sakayori (University of Tokyo) and John Power. Registration Attendance is free. Please register at the workshop webpage http://www.kurims.kyoto-u.ac.jp/~hassei/ajp60/ so that we can estimate the number of participants. (We plan to supply tea, coffee and sweets during the break.) Venue The workshop will take place in the conference room 420 of the RIMS main building located in the North Campus of the university. For access information and maps see http://www.kurims.kyoto-u.ac.jp/en/access-01.html Organizers - Masahito Hasegawa (local organizer) (Kyoto University) - Ichiro Hasuo (NII, Tokyo) - Makoto Takeyama (Kanagawa University)

1 0

【投稿受付開始】第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
by Kazuyuki ASADA 11 Nov '19

11 Nov '19

皆様，（重複受信ご容赦ください）日本ソフトウェア科学会プログラミング論研究会は，第22回プログラミングおよびプログラミング言語ワークショップ（PPL 2020）を，2020年3月2日（月）～3月4日（水）に佐賀県嬉野市で開催いたします．このたび論文の投稿受付を開始いたしましたので，改めてCFPを送らせていただきます．理論・実装を問わずプログラミング・プログラミング言語に関する研究発表を幅広く募集します．どうぞ投稿をご検討ください．よろしくお願いいたします．森畑明昌（東京大学）平石拓（京都大学）（PPL 2020 プログラム共同委員長）（代理で浅田和之（東北大学）が送信しました） ================================================== 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 発表募集 2020年3月2日（月）-- 3月4日（水）佐賀県嬉野市「嬉野温泉和多屋別荘」 https://jssst-ppl.org/workshop/2020/ ** 重要な日程 ** カテゴリ1: 発表申込締切 2019年12月24日（火）17:00 (JST) 論文提出締切 2020年 1月 7日（火）17:00 (JST) 採否通知 2020年 1月31日（金）最終原稿締切 2020年 2月12日（水）カテゴリ2: 発表申込締切 2020年 1月21日（火）17:00 (JST) 採否通知 2020年 2月 3日（月）カテゴリ3: 発表申込締切 2020年 2月 3日（月）17:00 (JST) 採否通知 2020年 2月 7日（金）カテゴリ4: 発表申込締切 2020年 1月21日（火）17:00 (JST) 採否通知 2020年 2月 3日（月） ** PPL2020とは ** PPL2020は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．代表的なトピックは以下のようなものですが，これに限らず，プログラミング・プログラミング言語に関する研究発表を幅広く受け入れます．基礎理論: 意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン: 各種プログラミングパラダイム（オブジェクト指向・関数型・論理型・アスペクト指向，その他あらゆるパラダイムを含む），モジュール化，メタプログラミング，並行・並列・分散計算，型システム，言語や言語システム等の相互運用，領域限定言語など言語処理系技術: コンパイラ，インタプリタ，実行時システム，仮想機械，プログラム最適化，プログラム解析，プログラム変換，メモリ管理などプログラミング補助: プログラム検証器，デバッガ，プロファイラ，統合開発環境，プログラム合成，リファクタリングなどケーススタディ: ソフトウェア開発報告，プログラミング技法，ツールの紹介など応用: システムソフトウェア，Webシステム，データベースシステム，数値計算，ユーザーインタフェース，セキュリティ，プログラミング教育，人工知能・機械学習など ** 招待講演 ** PPL2020では，以下のお二方の招待講演を予定しております．石川冬樹（NII）関浩之（名古屋大学） ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1: 国内外で未発表の研究の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表カテゴリ4: サーベイ・チュートリアル発表カテゴリ1では，国内外で未発表の研究についての論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．会場で実りある議論ができるような，発展途上の研究を特に歓迎します．カテゴリ1の発表は，複数名の査読者によってその新規性・重要性・根拠の確かさ・説明の明瞭さを評価し，プログラム委員による議論によって採否を判断します．特に以下の点に注意してください． - 理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明示してあれば証明等が未完成でも構いませんが，証明等について議論できる程度の形式化は求められます． - 実装研究については，実装したソフトウェアやツールの有用性，実装のデザインチョイス，実装技術などが明瞭に説明されているかが重要です．論文中に明示してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ1で発表された研究のうち，PPL2020プログラム委員会により優れていると認められたものは， PPL2020終了後（2020年6月中旬投稿締切予定），「コンピュータソフトウェア」誌のPPL2020推薦論文としての投稿が可能です．推薦論文は，PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．また，特集号の締切後であっても，推薦を受けた研究もしくはそれをさらに発展させた研究をPPL推薦論文として「コンピュータソフトウェア」誌に投稿することが可能です．たとえば，PPLで発表した研究を国際会議等で発表した後，さらに発展させて推薦論文として投稿することができます．カテゴリ2では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，国内では未発表の研究成果の紹介を募集します．PPLとの関連性・プログラム全体のバランス・発表された媒体をもとに，プログラム委員による議論によって採否を判断します．カテゴリ3では，PPLに関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4では，既存研究のサーベイやツールのチュートリアルなど，PPLの聴衆にとって有益な学術知識の紹介を募集します．内容は未発表・既発表いずれでも構いません．PPLとの関連性・内容の重要性・発表者の経歴・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の2種類，ただし「発表賞」は既受賞者を除く）． ** 投稿・発表申込要領 ** すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2020 申込にあたってはEasyChairのアカウントが必要です．申し込み時にEasychair で入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の情報は上記ウェブページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度，もしくは英語200 words程度），キーワード（3つ以上）を提出してください．論文提出: 本文10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語， PDF形式．PPL2020ウェブページにて指定のスタイルファイルを利用のこと）を提出してください．最大ページ数を超える付録は投稿版に入れることができます（最終原稿においては削除いただく可能性があります）．著者のweb page等においてソースコードや実験データなどを載せて引用しても構いません．最大ページ数を超える付録やweb page等の情報については査読において考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上）と併せて提出してください．論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)についても明記してください．カテゴリ3（ポスター・デモ発表） ----------------------------- 希望する発表形態を明記して著者名，所属，発表タイトル，発表概要（200〜 300字程度），キーワード（3つ以上）を提出してください．発表形態については発表タイトル（Title欄）の最後の部分に括弧（）に入れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載してください．カテゴリ4 (サーベイ・チュートリアル発表) --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）提出してください． ** プログラム委員会 ** 安部達也千葉工業大学荒堀喜貴東京工業大学石崎一明日本IBM 今井敬吾岐阜大学岩崎英哉電気通信大学岩間太日本IBM 馬谷誠二神奈川大学江本健斗九州工業大学大岩寛産業技術総合研究所紙名哲生大分大学亀山幸義筑波大学川端英之広島市立大学川本裕輔産業技術総合研究所菊池健太郎東北大学木村大輔東邦大学小島健介京都大学新屋良磨秋田大学関山太朗国立情報学研究所叢悠悠東京工業大学寺内多智弘早稲田大学日高宗一郎法政大学平石拓京都大学 (プログラム共同委員長) 廣川直北陸先端科学技術大学院大学水島宏太オプト森口草介関西学院大学森畑明昌東京大学 (プログラム共同委員長) ** スポンサー（2019/11/11現在） ** ゴールドスポンサー株式会社オプトシルバースポンサー株式会社HERP 株式会社ぺあのしすてむ ** 問い合わせ先 ** ppl2020-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2020-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc

1 0

日本数学会2020年度年会講演申し込みが始まっています
by Teruyuki YORIOKA 10 Nov '19

10 Nov '19

みなさま静岡大学の依岡です．日本数学会2020年度年会講演申し込みが始まりました． http://mathsoc.jp/meeting/nichidai20mar/ 講演申し込みの締め切りは2019年11月29日（金）です．多数の方のお申し込みを願っています．ネットワークメンテナンスのため，締め切り間際である 2019年11月27日 03:00～05:00 および 11月28日 03:00～05:00 の予定で日本数学会のページおよびアクティベーション／講演申し込み／会合申し込み等の各サービスが利用できなくなるそうです．講演申し込みは時間に余裕を持って，なるべく早くにお申し込みください．

1 0

2020年度奨励研究生の募集開始
by Teruyuki YORIOKA 08 Nov '19

08 Nov '19

logic-ml, kisoron-ml 受信者の皆様静岡大学の依岡です．今年度からはじまりました「日本数学会奨励研究生」の来年度研究生の募集が始まりました． http://mathsoc.jp/publicity/news20191001/2020shourei.html 応募者は次のふたつのうちのいずれかに該当する必要があります． (1) 日本数学会の会員であって, 2020 年 4 月 1 日の時点で学位(博士)取得後 3 年以内(学位(博士)取得が 2017 年4月 2 日以後) の研究者. 学位(博士)取得見込みまたは会員申込中の者も申請可としますが, 採用時には学位(博士)を取得済みで, 会員となっている必要があります. (2) 2020 年度の日本学術振興会特別研究員(PD)に申請した者, または同年度外国人特別研究員(一般)において, 招へい研究者として申請した者. 日本学術振興会特別研究員に申請した方は，その申請書を日本数学会奨励研究生申請書を作成する際に大いにお役立てください．ご不明な点がありましたら私にお尋ねいただけましたら幸いです．よろしくお願いします．

1 0

J-B Joinet教授”Types and behavioral indiscernibility”　講演会　慶應大三田　11月7日　Nov. 7th 　Keio Univ.
by Mitsu Okada 06 Nov '19

06 Nov '19

ーーーーーーーーーーーーーーーーーーーーーーーーーーーー直前の告知となり申し訳けありませんが、11が月７日木曜日が講演会日の案内をさせていただければありがたいです。ご検討の程、お願い申し上げます。。　　　　　　　　　　　　　　　　　　　　　　　　　　岡田光弘　慶應義塾大学文学部哲学専攻　 ******************************************************************************************* Jean-Baptiste Joinet教授（Dept Philosophy, Univ Lyon) , 11月7日（木）Nov.7th (Thurs)　慶應大　Keio U. ****************************************************************************************** 三田ロジックセミナー Mita Logic Seminar 11月7日 November 7th 慶應義塾大学三田キャンパス Mita Campus, Keio University 講演者SPEAKER: Jean-Baptiste Joinet (Université de Lyon, IRPhiL, Idex Lyon) タイトルTITLE: Types and behavioral indiscernibility *************************************************************************** 参加自由、事前登録無し。お気軽にお立ち寄りください。No registration needed *************************************************************************** アブストラクトは以下をご覧ください。Abstract attached below. 日時Date: 11月7日(木) November 7th (Thu.), 16:30-18:00 場所Venue: 慶應義塾大三田キャンパス大学院校舎1階312番教室(下のキャンパスマップ３番) Classroom 312, 1F of Graduate School Building, Mita Campus, Keio University (#3 of the Campus Map below) 構内図Campus Map: https://www.keio.ac.jp/en/assets/download/maps/mita/map_mita.pdf お問い合わせ先:慶應義塾大学文学部岡田光弘研究室東京都港区三田2-15-45 三田ロジックセミナー Email: logic(a)abelard.flet.keio.ac.jp <mailto:[email protected]> ---------------------------------------------------------- アブストラクトABSTRACT: Types and behavioral indiscernibility In computing theory, the type of a program is an information partially specifying the task it performs. Within the framework of (what is usually called) the Proofs-as-Programs and Propositions-as-Types paradigm, a type (a.k.a. a proposition) is defined as a set of programs having some common behavior w.r.t. a specific undecidable property (the termination of execution when entering in interaction with contexts). The talk will be devoted to investigate the underlying classifying methodology used to define the notion of type (typing by closure by bi-orthogonality) which, in that particular case, is used to classify computational behaviors.

1 0

AWPL 2020: Asian Workshop on Philosophical Logic, Hangzhou (China), 7-9 Apr 2020
by 小野寛晰 05 Nov '19

05 Nov '19

===================================== AWPL 2020: 5th Asian Workshop on Philosophical Logic 7-9 April 2020 Hangzhou, China https://www.xixilogic.org/events/awpl2020/ <https://www.xixilogic.org/events/awpl2020/> ===================================== CALL FOR PAPERS The 5th Asian Workshop on Philosophical Logic, 7-9 April 2020, Hangzhou, China Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second, third and fourth workshops took place successfully in Guangzhou (2014), Taipei (2016) and Beijing (2018), respectively. The previous post conference proceedings were published in the Studia Logica book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles <http://www.springer.com/series/13080?detailsPage=titles>) with Springer. The Fifth Asian Workshop on Philosophical Logic (AWPL 2020) will be held in Hangzhou, China, on 7-9 April 2020, organized by the Institute of Logic and Cognition at Zhejiang University. The AWPL 2020 workshop is an event in the Zhejiang Logic for AI Summit (ZjuLogAI 2020, https://www.xixilogic.org/zjulogai/ <https://www.xixilogic.org/zjulogai/>) which takes place on 6-9 April 2020. All AWPL participants are invited to attend other events as well. AWPL 2020 and ZJULogAI are in collaboration with the Second Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning: Monotonicity in Logic and Language, 10-12 April 2020 (http://tsinghualogic.net/JRC/?page_id=1576 <http://tsinghualogic.net/JRC/?page_id=1576>) ------------------------ INVITED SPEAKERS To be confirmed. ------------------------ SUBMISSION All submissions should present original works not previously published. Submissions should be typeset in English, using the LNCS template (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…>), be prepared as a PDF file with at most 12 pages (including reference list, appendixes, acknowledgements, etc.), and be sent to the workshop electronically via EasyChair (https://easychair.org/conferences/?conf=awpl2020 <https://easychair.org/conferences/?conf=awpl2020>) by the corresponding author on time. It is assumed that, once a submission is accepted, at least one of its authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and submit to a post conference proceedings, to be published in the ?Logic in Asia? series. For questions please send email to awpl2020(a)xixilogic.org <mailto:[email protected]> ------------------------ IMPORTANT DATES Submission deadline: 30 November 2019 Notification: 1 January 2020 Workshop: 7-9 April 2020 ------------------------ PROGRAM COMMITTEE (to be confirmed) Thomas Ågotnes, University of Bergen Nick Bezhanishvili, University of Amsterdam Sujata Ghosh, Indian Statistical Institute Meiyun Guo, South-West University, China Fengkui Ju, Beijing Normal University Kok-Yong Lee, National Chung Cheng University Beishui Liao, Zhejiang University (chair) Hanti Lin, University of California Davis Fenrong Liu, Tsinghua University Hu Liu, Sun Yat-Sen University Xinwen Liu, Chinese Academy of Social Sciences Minghui Ma, Sun Yat-Sen University Hiroakira Ono, JAIST, Japan Eric Pacuit, University of Maryland R Ramanujam, Institute of Mathematical Sciences, India Olivier Roy, University of Bayreuth Katsuhiko Sano, Hokkaido University Yì N. Wáng, Zhejiang University (co-chair) Chin-Mu Yang, Taiwan National University Jiji Zhang, Lingnan University-- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html <http://www.dvmlg.de/mailingliste.html> Archive: http://www.illc.uva.nl/LogicList/ <http://www.illc.uva.nl/LogicList/> provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam

1 0

第54回MLG数理論理学研究集会
by Naosuke MATSUDA 29 Oct '19

29 Oct '19

第54回MLG数理論理学研究集会のご案内みなさま神奈川大学の松田です． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．第54回MLG数理論理学研究集会は以下の要領で開催させていただきます．多くの皆様のご参加をお待ちしております． ==開催要領== 期間： 2019年12月14日 (土) ～ 16日 (月) 場所：マホロバ・マインズ三浦〒238-0101 神奈川県三浦市南下浦町上宮田 3231 0120-046-891 幹事：松田直祐（神奈川大学） matsuda.naosuke(a)gmail.com 詳細は以下のページをご確認ください． https://sites.google.com/view/mlg2019/home ==参加希望== 参加希望者でホテルでの宿泊を希望される方は， 11月14日までに下記の情報を松田までお送りください．件名を「MLG2019」などとしていただけると助かります． -- 氏名：所属：宿泊：7日・8日（不要なものを削除してください）夕食：7日・8日（不要なものを削除してください）朝食：8日・9日（不要なものを削除してください）講演希望：あり・なし（不要なものを削除してください）講演題目：その他： -- == Naosuke Matsuda, Department of Information Sciences. Kanagawa University Tsuchiya 2946 Hiratsuka-shi, Kanagawa 259-1293, Japan

1 2

FLOPS 2020 Second Call for papers
by Keisuke Nakano 24 Oct '19

24 Oct '19

SECOND Call For Papers FLOPS 2020: 15th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 23-25 April, 2020, Akita, Japan https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ Writing down detailed computational steps is not the only way of programming. An alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style of programming include functional and logic programming, program transformation and rewriting, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming paradigm, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized Web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2020 will employ a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors' own related work should be in the third person (e.g., not "We build on our previous work …" but rather "We build on the work of …"). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2020 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). *** Important Dates *** 15 November 2019 (AoE): Abstract submission 22 November 2019 (AoE): Submission deadline 24 January 2020: Author notification 16 February 2020: Camera ready due 23-25 April 2020: FLOPS Symposium *** Programming Comittee *** Elvira Albert Universidad Complutense de Madrid María Alpuente Universitat Politècnica de València Edwin Brady University of St Andrews Michael Hanus CAU Kiel Nao Hirokawa JAIST Zhenjiang Hu Peking University John Hughes Chalmers University of Technology Kazuhiro Inaba Google Shin-Ya Katsumata National Institute of Informatics Ekaterina Komendantskaya Heriot-Watt University Leonidas Lampropoulos University of Pennsylvania Akimasa Morihata The University of Tokyo Shin-Cheng Mu Academia Sinica Keisuke Nakano Tohoku University (co-chair) Koji Nakazawa Nagoya University Enrico Pontelli New Mexico State University Didier Remy INRIA Ricardo Rocha University of Porto Konstantinos Sagonas Uppsala University (co-chair) Ilya Sergey Yale-NUS College Kohei Suenaga Kyoto University Tachio Terauchi Waseda University Kazushige Terui Kyoto University Simon Thompson University of Kent *** Organizers *** Keisuke Nakano Tohoku University, Japan (PC Co-Chair, General Chair) Kostis Sagonas Uppsala University, Sweden (PC Co-Chair) Kazuyuki Asada Tohoku University, Japan (Local Co-Chair) Ryoma Sin'ya Akita University, Japan (Local Co-Chair) Katsuhiro Ueno Tohoku University, Japan (Local Co-Chair) *** Contact Address *** flops2020 _AT_ easychair.org -------------------------------------------------------------------------------

1 0

[jssst-ppl] 准教授または講師公募(千葉大学大学院理学研究院数学・情報数理学研究部門)
by Takafumi SAKURAI 24 Oct '19

24 Oct '19

皆様、メーリングリストをお借りして、教員公募の案内をお送りいたします。複数お受け取りの場合はご容赦ください。 ------------------------------------------------------------ 職種および人員: 准教授または講師（任期なし）1名所属: 千葉大学大学院理学研究院数学・情報数理学研究部門専攻分野: 情報数理学（数理論理学、プログラム言語論、ソフトウェア基礎理論、アルゴリズム論、情報理論、符号理論、暗号理論等、科研費小区分 12030 数学基礎関連および 60010 情報学基礎論関連とその周辺）応募資格: 博士の学位を有すること着任予定時期: 令和2年4月1日以降のできるだけ早い時期応募期限: 令和元年12月20日必着提出書類や書類送付先などの詳細につきましては、公募要領 http://www.math.s.chiba-u.ac.jp/posts/koubo-info2019.pdf または JREC-IN 公募情報 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D119101395 をご覧ください。よろしくお願いいたします。桜井貴文(sakurai(a)math.s.chiba-u.ac.jp)

1 0

Fwd: [Newsletter 90] 日本数学会ニュースレター2019巻第10号(2019年10月22日発行）
by Teruyuki YORIOKA 23 Oct '19

23 Oct '19

logic-ml, kisoron-ml 受信者のみなさま静岡大学の依岡です． 9月に金沢大学で行われました分科会総会でご紹介しました「日本数学会奨励研究生」の募集が始まります．応募条件を満たす指導学生がいらっしゃいましたら，ぜひ応募を強く促してください．よろしくお願いします．「日本数学会奨励研究生」の募集について（11月1日～12月15日） ====================================================================== 日本数学会では, 「日本数学会奨励研究生」の募集を11月1日から開始いたします。日本数学会の会員であって学位 (博士) 取得後3年以内の有望研究者を「日本数学会奨励研究生」(以下、奨励研究生)として採用し研究奨励金を支給します。特に、経済的に困難な状況や研究施設が必ずしも十分ではない等の厳しい研究環境の下でも創意工夫を凝らして主体的に研究を進めている者を奨励することを目的としています。この制度の実施期間は、今年度から令和3年度までの3年間です。今回、令和2年度の募集を行いますので、希望者は下記URLからリンクされている募集要項を熟読の上、ご応募ください。 https://www.mathsoc.jp/publicity/news20191001/2020shourei.html

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml