Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp

1792 discussions

証明論と計算論のワークショップの延期のお知らせ
by Ryoma Sin'ya 02 Mar '20

02 Mar '20

みなさま、秋田大の新屋です．新型コロナウイルスの感染拡大防止対策の政府方針を受け、本日本学から本ワークショップの中止・延期を指示されました．そのため、誠に残念ながら本ワークショップの開催を延期したいと思います．状況が落ち着いたころに開催したいと思いますので，日程については現時点で未定です．日程が決まり次第再度メーリングリストにて通知したいと思います．よろしくおねがいします．秋田大学　数理科学コース　新屋良磨 > Begin forwarded message: > > From: "Ryoma Sin'ya" <ryoma(a)math.akita-u.ac.jp> > Subject: [logic-ml] 証明論と計算論のワークショップ開催の案内@秋田大(3/23~3/25) > Date: February 3, 2020 15:37:06 JST > To: logic-ml(a)fos.kuis.kyoto-u.ac.jp, jssst-ppl(a)fos.kuis.kyoto-u.ac.jp > > みなさま， > > こんにちは、秋田大学の新屋と申します． > > 3月23日(月)--3月25日(水)の3日間，秋田大学にて証明論と計算論のワークショップを開催します． > 会場情報や講演者情報・プログラムを下記のページにて公開しています．皆様どうぞ奮ってご参加ください． > https://sites.google.com/view/proof-computation-akita/home <https://sites.google.com/view/proof-computation-akita/home> > > > 聴講参加は申し込み不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は > 3月6日(金)までに新屋に懇親会参加の旨をご連絡いただけると幸いです． > > > 秋田大学数理科学コース新屋良磨 > _______________________________________________ > Logic-ml mailing list > Logic-ml(a)fos.kuis.kyoto-u.ac.jp > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

名古屋ロジックセミナー中止のお知らせ
by 吉信康夫 27 Feb '20

27 Feb '20

みなさま：吉信＠名古屋大学です。新型コロナウイルスの感染拡大防止対策の政府方針を受けて、昨日本学においても、学外の参加者を含む本学での会議、イベントは原則中止または延期とするなどの方針が示されました。これを受け、3/2(月)に予定しておりました、薄葉季路さん(早稲田大学)による名古屋ロジックセミナーでの講演は中止とさせていただきます。直前のお知らせとなってしまい、みなさまにはご迷惑をおかけいたしますが、何卒ご理解賜りますようお願い申し上げます。吉信

1 0

Nagoya Logic Seminar
by 吉信康夫 21 Feb '20

21 Feb '20

皆様：名古屋大学の吉信です。以下の要領で名古屋ロジックセミナーを開催します。日時：3月2日(月) 15:30〜場所：名古屋大学大学院情報学研究科棟3階314室講演者：薄葉季路(早稲田大学) タイトル：Choiceless Loewenheim-Skolem property アブストラクト：ZFのもとで、Woodin は supercompact cardinal の limit になっている singular cardinalκについて、κ の successor cardinal がregularかつその上のclub filterがよいcompletenessを持つことなどを示したが、 Woodinの証明はforcingを絡めた複雑なものである。本講演ではZFのもとでのLoewenheim-Skolem theoremを意味するcombinatorical principleを導入し、 supercompact cardinalのlimitとなるcardinalではそのprincipleが成り立つこと、およびWoodinの定理の簡明な証明を与える。また、そのprincipleの応用についてなども触れる。名古屋ロジックセミナーについてはセミナーのページをごらんください。 http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 多数の方のご参加をお待ちしております。

1 0

Bx 2020 - FIRST CALL FOR PAPERS
by Kazutaka Matsuda 20 Feb '20

20 Feb '20

皆様，東北大学の松田です．今年の6月にSTAF (https://staf2020.hvl.no/)に併設して開催される，双方向変換に関する国際ワークショップ Bx 2020 の論文募集の案内をお送りいたします．どうぞ投稿をご検討いただけますと幸いです．今年は論文にLNCSスタイルを用いることになっておりますのでご注意ください．松田一孝（東北大学） ---------------------------------- Bx 2020 - FIRST CALL FOR PAPERS *********************************************************************** 9th International Workshop on Bidirectional Transformations (Bx 2020) June 22, 2020 (to be confirmed) as part of the STAF conference, Western Norway University of Applied Sciences, Bergen, Norway http://bx-community.wikidot.com/bx2020:home *********************************************************************** * Abstract submission: April 27, 2020 * Paper Submission (strict): May 4, 2020 OVERVIEW ========================================= Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2020 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. TOPICS ========================================= The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: * bidirectional programming languages and frameworks * data and model synchronization * view updating * inter-model consistency analysis and repair * data/schema (or model/metamodel) co-evolution * coupled software/model transformations * inversion of transformations and data exchange mappings * domain-specific languages for bx * analysis and classification of requirements for bx * bridging the gap between formal concepts and application scenarios * analysis of efficiency of transformation algorithms and benchmarks * survey and comparison of bx technologies * case studies and tool support CATEGORIES OF SUBMISSIONS ========================================= Five categories of submissions are considered: * Full Research Papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches, case studies * Tool Papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools * Experience Report (up to 8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects * Extended Abstracts and Short Papers (up to 5 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx * Talk Proposals (up to 2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories If your submission is not a Full Research Paper, please include the intended submission category in the Title field of EasyChair’s submission form. The bibliography is excluded from the page limits. All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools, and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers; short papers contain focused results, positions or perspectives that can be presented in full in just a few pages, and that correspondingly contain fewer results and that therefore might not be competitive in the full paper category. Talk proposals are expected to present work that is of particular interest to the community and worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and, for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g., via Share) or a dedicated website with relevant artifacts and tool access. All submissions will be peer-reviewed by at least three members of the program committee. If a submission is accepted, at least one author is expected to participate in the workshop to present it. Authors of accepted tool paper submissions are also expected to be available to demonstrate their tool at the event. PROCEEDINGS ========================================= The workshop proceedings (in a STAF 2020 joint volume for workshops), including all accepted papers (except talk proposals), shall be submitted after the conference to CEUR-WS.org for online publication. Pre-prints of all papers will be available via the workshop website at the beginning of the conference. Papers must follow the LNCS style available at: http://www.springer.com/lncs and must be submitted via EasyChair: https://easychair.org/conferences/?conf=bx2020 Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. IMPORTANT DATES ========================================= Abstract submission: April 27, 2020 Paper submission: May 4, 2020 (strict) Author notification: May 25, 2020 Pre-workshop camera ready: June 8, 2020 Workshop: June 22, 2020 (to be confirmed) PROGRAM CO-CHAIRS ========================================= The workshop is co-organized by Meng Wang (University of Bristol, UK) and Leen Lambers (Hasso Plattner Institute at the University of Potsdam, Germany). In case of questions, please contact the PC chairs at bx2020(a)easychair.org . Please find further information w.r.t. the Bx 2020 workshop at: http://bx-community.wikidot.com/bx2020:home and STAF 2020 conference at: https://staf2020.hvl.no/ PROGRAM COMMITTEE ========================================= Ravi Chugh, University of Chicago, USA Anthony Cleve, University of Namur, Belgium Alcino Cunha, University of Minho, Portugal Romina Eramo, University of L'Aquila, Italy Michael Johnson, Macquarie University, Australia Hsiang Shang Ko, Academia Sinica, Taiwan Ralf Lämmel, Facebook, UK Kazutaka Matsuda, Tohoku University, Japan Fernando Orejas, Universitat Politècnica de Catalunya, Spain Roly Perera, Alan Turing Institute, UK Perdita Stevens, The University of Edinburgh, UK Tarmo Uustalu, Reykjavik University, Iceland Jens Weber, University of Victoria, Canada Bernhard Westfechtel, University of Bayreuth, Germany =========================================

1 0

Deadline extended to Feb 23: MT-CPS 2020
by Kohei SUENAGA 16 Feb '20

16 Feb '20

皆様，（重複してお受け取りの場合はご容赦ください．）末永です． MT-CPS 2020 の投稿締め切りが 2 月 23 日まで延長されましたのでお知らせします．サイバーフィジカルシステムのテストやモニタリングを中心としたトピックを扱う CPS-IoT Week 2020 併設のワークショップです．どうぞ投稿をご検討ください．末永 ========================================================================== 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2020) https://sites.google.com/view/mt-cps2020/homePart of CPS-IoT Week 2020 https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/April 21, 2020 - Sydney, Australia ==========================================================================UPDATE:Deadline extended to February 23rd, 2020.* DescriptionCyber-physical systems (CPS) model the integration of computational modules, like decision logic, with physical phenomena in the environment, such as the phenomenon being controlled by the logic. Several CPS applications, such as self-driving cars and other autonomous ground/aerial/underwater vehicles, medical devices, surgical robots, as well as many Internet of Things (IoT) applications, particularly for Industrial IoT or Industry 4.0, are safety-critical, where human lives can be at stake. CPS exhibit complex and unpredictable behaviors, thus making their correctness and robustness analysis a challenging task. Given the gap between the complexity of such systems and the scalability of current formal methods, exhaustive formal verification remains an elusive goal. However, simulation-based lightweight verification techniques, such as monitoring and testing, achieve both rigor and efficiency by enabling the evaluation of systems according to the properties of their exemplar behaviors. The Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) aims to bring together researchers and practitioners interested in the problems of detecting, testing, measuring, and extracting qualitative and quantitative properties from individual behaviors of CPS.* Topics of interest include (but are not limited to):- Specification languages for monitoring and testing - Runtime verification and monitoring of CPS - Model/Software/Hardware/Processor-in-the-loop (MIL/SIL/HIL/PIL) testing - Testing the integration of heterogeneous components - Monitoring and testing of streaming and/or historical IoT data - Interpretation of multi-dimensional counter-examples - Black-box and white-box testing - Measuring and statistical information gathering for data-driven analyses - Simulation-based verification and parameter synthesis - Fault diagnostics, localization, and recovery - Combination of static and dynamic analysis - Applications and case studies from safety-critical domains* Workshop formatMT-CPS is intended to be a forum for exchanging the latest scientific activity and emerging trends between researchers and practitioners. We encourage submission of abstracts that address any of the aforementioned topics of interest and cover recently published or work in progress. In addition to the contributed material, the workshop will include a combination of invited talks from leading researchers and/or practitioners from industry, academia, and government research labs around the world.The workshop is intended to be an informal gathering about latest results and, as such, it will not have formal proceedings. However, we will make accepted abstracts and presentation material publicly available.Abstracts are submitted via Easychair: https://easychair.org/conferences/?conf=mtcps2020* Submission instructionsAbstracts should be in PDF form, up to 2 pages in length with 1-inch margins and at least 10-point font size, and may contain up to two figures. Abstracts should list the full names, affiliations, and contact information of all authors. If you are interested in demonstrating a technology you are working on at the workshop, please indicate so in your abstract submission.Abstracts will be reviewed by the Program Committee. Those that are selected for oral presentations will be posted on the workshop website, and will be part of the papers distributed to CPS-IoT Week participants.* Important DatesAbstract submission deadline: February 23, 2020 <-- extended! Notification: March 8, 2020 Final version: March 29, 2020 Workshop: April 21, 2020* Committee- Program Chairs Paolo Arcaini, National Institute of Informatics Kohei Suenaga, Kyoto University- Program Committee Houssam Abbas, Oregon State University Shaukat Ali, Simula Research Laboratory Ezio Bartocci, Vienna University of Technology Thao Dang, Verimag Jyotirmoy Deshmukh, University of Southern California Alexandre Donzé, Decyphir Georgios Fainekos, Arizona State University Ichiro Hasuo, National Institute of Informatics Bardh Hoxha, Souther Illinois University Baekgyu Kim, Toyota InfoTechnology Center Konstantinos Mamouras, Rice University Mohammad Mousavi, University of Leicester Jens Oehlerking, Robert Bosch GmbH Akshay Rajhans, MathWorks Kristin Yvonne Rozier, Iowa State University Oleg Sokolsky, University of Pennsylvania- Steering Committee Houssam Abbas, Oregon State University Ezio Bartocci, Vienna University of Technology Jyotirmoy Deshmukh, University of Southern California Georgios Fainekos, Arizona State University Sajed Miremadi, Volvo Cars Dejan Nickovic, AIT Austrian Institute of Technology Jens Oehlerking, Bosch -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

【参加募集（最終案内）】第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
by Ryosuke SATO 14 Feb '20

14 Feb '20

皆様（重複ご容赦ください），九州大学の佐藤です． 3月2日(月)〜4日(水)に，佐賀県嬉野市で開催される，第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) の参加登録の最終案内をいたします．参加登録の締切は明後日2月16日(日)です．締切までの参加費等のお支払いを忘れずにお願いいたします．多くの方々のご参加をお待ちしております． -------------------------------------------------------------------------- 第22回プログラミングおよびプログラミング言語ワークショップ（PPL2020） https://jssst-ppl.org/workshop/2020/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 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

TPLCV-2020 - Call for Papers
by 小野寛晰 14 Feb '20

14 Feb '20

[Please circulate. Apologies for multiple copies.] The Fifth Taiwan Philosophical Logic Colloquium (TPLCV-2020) With a main theme: “Epistemic Logic and Epistemology” Call for Papers 5th (Thursday)-7th (Saturday) of November, 2020 Venue: Department of Philosophy, National Taiwan University, Taipei, Taiwan. http://www.philo.ntu.edu.tw/?p=4382 Dear Friends: We are pleased to invite you to submit an abstract of a contributed talk to TPLCV-2020. Deadline of the submission: 30 June 2020 Notification of accepted contributed talk: 20 July, 2020 DESCRIPTION OF TPLCV-2020 It used to be the case that the issues discussed in formal epistemology are different from the ones debated in the so-called mainstream epistemology. But ever since the publication of Timothy Williamson’s Knowledge and Its Limits, the gap between formal epistemology and mainstream epistemology has been narrower and narrower. The fifth Taiwan Philosophical Logic (TPLCV-2020), a three-day event, will be devoted to exploring and discussing topics related to mainstream epistemology, formal epistemology, and the intersection between them. ABOUT TPLCs The Taiwan Philosophical Logic Colloquium (TPLCs) is one of two series of biennial conferences established since 2012 and is hosted by Department of Philosophy, National Taiwan University, Taiwan. (The other is the series of Taiwan Metaphysics Colloquium (TMCs), established since 2013). Funding is mainly sourced from annual donation by Ms. Wendy Huang and Shun Yih Ltd. The primary concern of this funding is to enhance the research of logic and analytic philosophy in Taiwan. The aim of TPLCs is to provide a forum for dialogues amongst philosophers and logicians with regard to a variety of significant issues and topics from philosophical and logical perspectives. We intend to bring together a group of logic-minded philosophers and philosophically oriented logicians. We hope that TPLCs and TMCs will become two series of inspiring events so as to promote the development of logic and analytic philosophy, especially philosophical logic, metaphysics, and epistemology, etc., in Asian area, especially in Taiwan. In order to bring in more philosophical discussions in TPLCs, the organizing committee has set as the main theme for each TPLC, a particular topic/issue/problem, which has drawn considerable discussion recently. We are hoping that there will be a certain portion of talks focusing on the proposed main theme. The main theme of TPLCV-2020 will be ''Epistemic Logic and Epistemology''. Keynote speakers Melvin Fitting (City University of New York) Matt McGrath (Rutgers University, New Brunswick) Invited speakers Patrick Blackburn (University of Roskilde, Denmark) N. J. J. Smith (Sydney University, Australia) And more to join us . . . A panel on margin for error principles in epistemology: Simon Goldstein (Australian Catholic University, Melbourne. Organizer) Julien Dutant (King’s College London) Jeremy Goodman (University of Southern California) . SUBMISSION OF ABSTRACTS FOR CONTRIBUTED TALKS All researchers working on various aspects of epistemic logic and general topics in epistemology are cordially invited to submit their abstracts. Authors should submit an (extended) abstract, which is about two but no more than four pages (A4 size, single space), together with some key words/phrases. Please note the details of all authors, including full names, titles, affiliations, email addresses). By convention, the first author will be the corresponding author, unless special notification is added. Each submission will be reviewed. Abstracts must be submitted in both document-format and in PDF- format, and sent to Kok-Yong Lee [kokyonglee.mu(a)gmail.com]. POST-CONFERENCE PUBLICATION TPLCs has been flourishing since 2012 and we have had several successful conferences. We have published two volumes of post-conference proceedings, i.e. Structural Analysis of Nonclassical Logics (TPLC 2-2014), and Philosophical Logic: Current Trends in Asia (AWPL-TPLC 3-2016), in the ‘Logic in Asia’ (LIAA) Book Series, a subseries of Studia Logica Library, by Springer in 2015 and 2017 respectively. A book-proposal for the post- conference proceedings for TPLC 4-2018 has been approved to be published as a Synthese special Issue entitled ‘Conditionals: Truth-Conditions, Probability and Causality’ (forthcoming), which will be included in the newly established book-series ‘Topic Collections’ of Synthese. Following the tradition of TPLCs, we are planning to publish the proceedings for TPLCV- 2020 as a new volume of the ‘Logic in Asia’ (LIAA) Book Series (Studia Logica Library, Springer), or some other venue. All authors of papers at the conference will be encouraged to submit a full length paper. All papers submitted will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post- conference paper will be published. A formal schedule concerning the submission of manuscripts and some other details will be announced after the conference. Based on our previous experience, the deadline of the submission of manuscripts is more likely to be around the end of June, 2021. TRAVEL GRANTS FOR STUDENTS AND JUNIOR RESEARCHERS Free accommodation and travel awards for students and junior researchers have been made available by the organizing committee. In some cases, full compensation of expenses is possible. If you are eligible for application, please send the message to Kok Yong Lee (kokyonglee.mu(a)gmail.com) when you submit the abstract. The details, including general information about the awards and the instructions of application, will be announced later on the website (http://www.philo.ntu.edu.tw/?p=4382). ORGANIZATION COMMITTEE Lok-Chi Chan (National Taiwan University) Szu-Ting Chen (National Tsing Hua University, Taiwan.) Duen-Min Deng (National Taiwan University) Kok Yong Lee (National Chung Cheng University) Churn-Jung Liau (Academia Sinica) Hsuan-Chih Lin (Soochow University, Taiwan) Ren-June Wang (National Chung Cheng University) Syraya Chin-Mu Yang (Chair, National Taiwan University) FURTHER CONTACT: Kok Yong Lee [kokyonglee.mu(a)gmail.com] Lok-Chi Chan [lokchan(a)ntu.edu.tw] Syraya Chin-Mu Yang [cmyang(a)ntu.edu.tw]

1 0

Nagoya logic seminar
by 吉信康夫 13 Feb '20

13 Feb '20

皆様：名古屋大学の吉信です。以下の要領で名古屋ロジックセミナーを開催します。日時：2月20日(木) 15:30〜場所：名古屋大学大学院情報学研究科棟3階322室講演者：静間荘司(大阪府立大学) タイトル：無限版「囚人と帽子のパズル」と集合論アブストラクト：何人かの囚人が色を塗られた帽子を被っている状況で、自身の被っている帽子の色を当てるパズルを総称して「囚人と帽子のパズル」と呼んでいます。囚人の人数、被せられる帽子の色の候補数を無限にしたパズルは21世紀から集合論の結果を応用することで様々な戦略が見つかっています。本発表ではパズルに関する概略と先行研究から知られている戦略の選択公理からの構築方法を紹介し、研究成果としてパズルの戦略存在性に関する結果の応用例を提示します。名古屋ロジックセミナーについてはセミナーのページをごらんください。 http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 多数の方のご参加をお待ちしております。

1 0

27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers
by 小野寛晰 08 Feb '20

08 Feb '20

[Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2020 27th Workshop on Logic, Language, Information and Computation August 4th to 7th, 2020 Lima, Peru ORGANISATION Universidad de Ingenieria y Tecnologia, Lima, Peru Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held at Universidad de Ingenieria y Tecnologia, Lima, Peru from August 4th to 7th, 2020. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2020 EasyChair website. (Please go to http://wollic.org/wollic2020/instructions.html <http://wollic.org/wollic2020/instructions.html> for instructions.) PROCEEDINGS The proceedings of WoLLIC 2020, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2020 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Catarina Dutilh Novaes (VU Amsterdam) Santiago Figueira (Universidad de Buenos Aires, Argentina) Andreas Herzig (IRIT, France) Cláudia Nalon (UnB - Brazil) Giselle Reis (CMU - Qatar) STUDENT GRANTS ASL sponsorship of WoLLIC 2020 will permit ASL student members to apply for a limited travel grant (deadline: 90 days before the event starts). Visit https://aslonline.org/meetings/student-travel-awards/ <https://aslonline.org/meetings/student-travel-awards/> for details. IMPORTANT DATES April 15, 2020: Full paper deadline May 23, 2020: Author notification May 30, 2019: Final version deadline (firm) PROGRAMME COMMITTEE Carlos Areces (Cordoba, Argentina) Arthur Amorim Azevedo (CMU, USA) Paul Brunet (UCL, UK) Nina Gierasimczuk (Technical University of Denmark, Denmark) Helle Hansen (TU Delft, The Netherlands) Justin Hsu (University of Wisconsin–Madison, USA) Fairouz Kamareddine (Heriot-Watt University, UK) Sandra Kiefer (Aachen University, Germany) Clemens Kupke (Strathclyde University, Scotland) Konstantinos Mamouras (Rice University, USA) Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) Larry Moss (Indiana Univ, USA) Claudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Samsung Research, USA) Elaine Pimentel (UFRN, Brazil) Revantha Ramanayake (TU Wien, Austria) Jurriaan Rot (Radboud University, The Netherlands) Yamilet Serrano (UTEC, Peru) Alexandra Silva (Univ College London) (Co-Chair) Christine Tasson (IRIF, France) Sebastiaan Terwijn (Radboud University, The Netherlands) Renata Wassermann (Univ São Paulo) (Co-Chair) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Ernesto Quadro-Vargas (Universidad de Ingenieria y Tecnologia, Lima, Peru) (Local chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death. It is a joint production (still on its course) of The Mathematical Sciences Research Institute (MSRI) and George Csicsery (Zala Films): ‘Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani’. “The biographical film is about Maryam Mirzakhani, a brilliant woman, and Muslim immigrant to the United States who became a superstar in her field. The story of her life will be complemented with sections about Mirzakhani’s mathematical contributions, as explained by colleagues and illustrated with animated sequences. Throughout, we will look for clues about the sources of Mirzakhani’s insights and creativity." (http://www.zalafilms.com/secrets/ <http://www.zalafilms.com/secrets/>) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2020/ <http://wollic.org/wollic2020/>

1 0

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

06 Feb '20

皆様（重複ご容赦ください），九州大学の佐藤です． 3月2日(月)〜4日(水)に，佐賀県嬉野市で開催される，第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) の参加登録をご案内いたします．会議のプログラムを公開いたしました： https://easychair.org/smart-program/PPL2020/ 参加登録の締切は2月16日(水)です．多くの方々のご参加をお待ちしております． -------------------------------------------------------------------------- 第22回プログラミングおよびプログラミング言語ワークショップ（PPL2020） https://jssst-ppl.org/workshop/2020/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml