Logic-ml January 2020

4 participants
4 discussions

Call for Applications: 100 grants - “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information” at CLE/Unicamp, Brazil
by Hitoshi Omori 22 Jan '20

22 Jan '20

皆様、 Walter Carnielli先生の依頼で、代理投稿させていただきます。どうぞよろしくお願い致します。大森仁 ************************************* Call for Applications: 100 grants - “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information” at CLE/Unicamp, Brazil *https://splogic.org* Important deadlines & procedures: -Applications from January 15th to February 22th, 2020 -Notification of acceptance till March 23th, 2020 -Fast application track: https://splogic.org/call-for-entries/ - For further info: cle.fapesp.logic(a)gmail.com ************************************ We are delighted to inform that the “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SPLogiC”, promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp),Brazil, will be held at Unicamp from July 13th to 24th, 2020. The School, funded by Sao Paulo Research Foundation (FAPESP), celebrates the 90th anniversary of Newton da Costa and aims at: - Providing an overview of the state-of-art methodology and research on contemporary logic (featuring non-classical logics), rationality and information. - Attracting qualified candidates to work on research institutions in the State of São Paulo. The program comprises 9 courses and 9 plenary talks delivered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions by the students. Topics to be covered include: • History and Philosophy of Paraconsistent Logics • The Australian, Belgian Brazilian,and Israeli schools on paraconsistency • Logic and Reasoning • Logic and Information • Logic and Argumentation • Methodological aspects on interpreting, translating and combining logics • Logic, Probabiity and Artificial Intelligence. The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the two weeks. Undergraduate, graduate students and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. For additional information visit the WebSite: https://splogic.org We look forward to receiving you! Itala M. Loffredo D’Ottaviano, Coordinator Walter Carnielli, Advisory Committee Chair ----------------------------------------------- Centre for Logic, Epistemology and the History of Science State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil ----------------------------------------------- Walter Carnielli https://waltercarnielli.com/

1 0

【参加募集】第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
by Ryosuke SATO 22 Jan '20

22 Jan '20

皆様（重複ご容赦ください），九州大学の佐藤です． 3月2日(月) 〜 4日(水)に，佐賀県嬉野市で開催される，第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) の参加登録を開始いたしましたので，ご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は2月16日(水)です．どうぞお早めのご登録をお願い致します．また，カテゴリ3 (ポスター・デモ発表) の発表申込締切が2月3日(金) 17:00 (JST) となっております．こちらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第22回プログラミングおよびプログラミング言語ワークショップ（PPL2020） https://jssst-ppl.org/workshop/2019/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2020年3月2日(月) 〜 4日(水) 会場: 佐賀県嬉野市嬉野温泉「和多屋別荘」 PPL2020 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2020/registration.html 参加登録締切：2020年2月16日(水) 問い合わせ先： ppl2020-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2020-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プラチナスポンサー KLab株式会社・ゴールドスポンサー株式会社オプト・シルバースポンサー株式会社HERP 株式会社フィックスターズ・プログラム委員会平石拓 (京都大学)[プログラム共同委員長] 森畑明昌 (東京大学)[プログラム共同委員長] 安部達也 (千葉工業大学) 荒堀喜貴 (東京工業大学) 石崎一明 (日本 IBM) 今井敬吾 (岐阜大学) 岩崎英哉 (電気通信大学) 岩間太 (日本 IBM) 馬谷誠二 (神奈川大学) 江本健斗 (九州工業大学) 大岩寛 (産業技術総合研究所) 紙名哲生 (大分大学) 亀山幸義 (筑波大学) 川端英之 (広島市立大学) 川本裕輔 (産業技術総合研究所) 菊池健太郎 (東北大学) 木村大輔 (東邦大学) 小島健介 (京都大学) 新屋良磨 (秋田大学) 関山太朗 (国立情報学研究所) 叢悠悠 (東京工業大学) 寺内多智弘 (早稲田大学) 日高宗一郎 (法政大学) 廣川直 (北陸先端科学技術大学院大学) 水島宏太 (オプト) 森口草介 (関西学院大学) ・組織委員会佐藤亮介 (九州大学)[組織委員長] 浅田和之 (東北大学)[組織副委員長] 塚田武志 (東京大学)[財務担当] 木村大輔 (東邦大学)[財務副担当] 叢悠悠 (東京工業大学)[会場担当] 新屋良磨 (秋田大学)[会場副担当] 関山太朗 (国立情報学研究所)[渉外担当] 平石拓 (京都大学)[プログラム共同委員長] 森畑明昌 (東京大学)[プログラム共同委員長] ================================================================

1 0

RC 2020 Second CFP
by Kazutaka Matsuda 17 Jan '20

17 Jan '20

皆様，東北大学の松田です．来年の7月9-10にオスロで開催される国際会議 RC 2020 の第二回論文募集の案内をお送りいたします．前回（第一回）からの主な情報の差分は招待講演者の情報です．具体的には，RC 2020の招待講演が以下の方々に決定いたしました． Marek Perkowski (Portland State University, US) Perdita Stevens (University of Edinburgh, Scotland) 何卒投稿をご検討いただければ幸いです． ------------- We apologize if you receive multiple copies of this Call for Papers. Please distribute to anyone who may be interested. ======================================================================= 12th Conference on Reversible Computation (RC 2020) July 9th-10th, 2020, Oslo, Norway Abstract Submission: January 31th, 2020 Submission Deadline: February 7th, 2020 https://reversible-computation-2020.github.io/ ======================================================================= Reversible computation has a growing number of promising application areas such as low power design, coding/decoding, debugging, testing and verification, database recovery, discrete event simulation, reversible algorithms, reversible specification formalisms, reversible programming languages, process algebras, and the modeling of biochemical systems. Furthermore, reversible logic provides a basis for quantum computation with its applications, for example, in cryptography and in the development of highly efficient algorithms. First reversible circuits and quantum circuits have been implemented and are seen as promising alternatives to conventional CMOS technology. The conference will bring together researchers from computer science, mathematics, and physics to discuss new developments and directions for future research in Reversible Computation. This includes applications of reversibility in quantum computation. Research papers, tutorials, tool demonstrations, and work-in-progress reports are within the scope of the conference. Invited talks by leading international experts will complete the program. Contributions on all areas of Reversible Computation are welcome, including---but not limited to---the following topics: * Applications * Architectures * Algorithms * Bidirectional transformations * Circuit Design * Debugging * Fault Tolerance and Error Correction * Hardware * Information Theory * Physical Realizations * Programming Languages * Quantum Computation * Software * Synthesis * Theoretical Results * Testing * Verification ===== Important Dates ===== Abstract submission: January 31, 2020 Submission deadline: February 7, 2020 Notification to authors: March 20, 2020 Final version: April 10, 2020 Conference: July 9 - July 10, 2020 ===== Invited speakers ===== Marek Perkowski (Portland State University, US) Perdita Stevens (University of Edinburgh, Scotland) ===== Special issue ===== After the conference, authors of best papers will be invited to submit an extended version of their work for a special issue in a relevant journal of the field. The name of the selected journal will be published on the RC website in the next days. ===== Paper submission ===== Interested researchers are invited to submit full research papers (16 pages maximum), tutorials (16 pages maximum), as well as work-in-progress or tool demonstration papers (6 pages maximum) in Springer LNCS format. Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Contributions must be written in English and report on original, unpublished work, not submitted for publication elsewhere. Submissions not adhering to the specified constraints may be rejected without review. Each paper will undergo a peer review of at least 3 anonymous reviewers. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. Papers can be submitted electronically in pdf via the RC 2020 interface of the EasyChair system: https://easychair.org/conferences/?conf=rc2020 ===== General Chair ===== Rudolf Schlatte University of Oslo Norway ===== Program Chairs ===== Ivan Lanese University of Bologna/INRIA Italy Mariusz Rawski Warsaw University of Technology Poland ===== Program Committee ===== * Gerhard Dueck (University of New Brunswick, Canada) * Robert Glück (University of Copenhagen, Denmark) * Jarkko Kari (University of Turku, Finland) * Jean Krivine (CNRS, France) * Martin Lukac (Nazarbayev University, Kazakhstan) * Kazutaka Matsuda (Tohoku University, Japan) * Claudio Antares Mezzina (Università di Urbino, Italy) * Lukasz Mikulski (Nicolaus Copernicus University, Poland) * Torben Ægidius Mogensen (University of Copenhagen, Denmark) * Claudio Moraga (TU Dortmund University, Germany) * Iain Phillips (Imperial College London, UK) * Krzysztof Podlaski (University Of Lodz, Poland) * Markus Schordan (Lawrence Livermore National Laboratory, US) * Peter Selinger (Dalhousie University, Canada) * Mathias Soeken (Ecole Polytechnique Fédérale de Lausanne, Switzerland) * Milena Stankovic (University of Nis, Serbia) * Himanshu Thapliyal (University of Kentucky, US) * Irek Ulidowski (University of Leicester, UK) * German Vidal (Universitat Politecnica de Valencia, Spain) * Robert Wille (Johannes Kepler University Linz, Austria) * Tetsuo Yokoyama (Nanzan University, Japan) ===== Contacts ===== rc2020(a)easychair.org https://reversible-computation-2020.github.io/

1 0

第52回TRSミーティング参加者募集のご案内
by Nao Hirokawa 03 Jan '20

03 Jan '20

皆様来年2月20日〜22日に石川県加賀市で行われます「第52回TRSミーティング」の参加者募集案内をお送り致します。本ミーティングは口頭発表からなるインフォーマルな国内集会でして、項書換え分野の発表だけでなくその隣接分野、応用分野の発表も大歓迎です。参加をご検討頂けると幸いです。廣川直 (JAIST) ====================================================================== CALL FOR PARTICIPATION 52nd TRS Meeting February 20 - 22, 2020, Kaga, Ishikawa https://www.jaist.ac.jp/~hirokawa/trs-meeting/original/52.html ====================================================================== The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk of approximately 15 to 60 minutes in English on their research activities. The subject of the talk is not required to be one's original result; for example, explaining an interesting paper is perfectly OK. See also: http://www.jaist.ac.jp/~hirokawa/trs-meeting/ * Information Date: February 20 (Thu) - 22 (Sat), 2020 Venue: Hotel Arrowle (http://www.arrowle.co.jp/) 5-1 Shibayama-cho, Kaga, Ishikawa, Japan Registration fee: tba (but most likely around 26,000 JPY) Accommodation fees: - 7,850 JPY per night for a single room - 6,200 JPY per night for a twin room shared with two persons * Registration Please send the following registration form to Nao Hirokawa <hirokawa(a)jaist.ac.jp> by January 7 (Tue), 2020. ---------------------------------------------------------------------- Registration Form of the 52nd TRS Meeting Name: Affiliation: Title of talk (*): Duration of talk (*): Preference on your room: [single / shared] [Male / Female] (leave one) Requests/comments (on foods, partial participation, etc.): ---------------------------------------------------------------------- The items marked with * can be sent later.

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml January 2020