Logic-ml February 2020

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

8 participants
14 discussions

Call for contributions: TEASE-LP 2020
by Hiroshi UNNO 05 Feb '20

05 Feb '20

皆様、筑波大学の海野です。来年4月下旬に開催される ETAPS 2020 併設のワークショップ TEASE-LP 2020 の発表募集をお送りいたします。論理プログラミングの確率・高階拡張や、検証、型推論、AIへの応用といった近年のトレンドを扱うワークショップです。どうぞ参加・発表をご検討ください。 -- 海野広志筑波大学システム情報系情報工学域 ========================================================================== Call for Contributions Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020) Dublin, Ireland, 25 April 2020 (co-located with ETAPS 2020) www.coalg.org/tease-lp Logic programming is a framework for expressing programs, propositions and relations as Horn clause theories, with the purpose of performing automatic inference in these theories. Horn clause theories are famous for their well-understood declarative semantics, in which models of logic programs are given inductively or coinductively. At the same time, Horn clauses give rise to efficient inference procedures, usually involving resolution. Logic programming found applications in type inference, verification, and AI. While logic programming was originally conceived for describing simple facts, it was extended to account for much more complex theories. This includes higher-order theories, inductive and coinductive data, and stochastic/probabilistic theories. The aim of this workshop is to bring together researchers that work on extensions of logic programming and inference methods, and to foster an exchange of methods and applications that have emerged in different communities. Venue and Event --------------------------- TEASE-LP 2020 will be held in Dublin, Ireland, co-located with ETAPS 2020 on 25 April 2020. Invited Speakers --------------------------- * Keynote: Luke Ong, University of Oxford, GBR * Tutorial: Uli Sattler, University of Manchester, GBR Important Dates --------------------------- Abstract submission: Wednesday, 26 February 2020 AoE Notification: Wednesday, 25 March 2020 AoE Camera-ready copy: Wednesday, 1 April 2020 AoE Workshop: Saturday, 25 April 2020 Topics --------------------------- The central idea of this workshop is to discuss the theory of logic programming and associated topics that have as well the goal to automatically infer knowledge and proofs. Our intention is to bring together researchers that work on the numerous topics that contribute to automatic proof inference and foster an exchange that may lead to advances in the theory of logic programming. Topics of interest include, but are not limited to, the following: * Proof theory (e.g. focalised and uniform proofs), * Logic programming beyond the classical Horn clause theories (e.g. coinduction, higher-order Horn clauses, probabilities, categorical logic, inductive LP), * Extensions of logic programming (e.g. DataLog, description logic, relational programming), * Advanced implementations (e.g. λProlog, ELPI, miniKanren), * Type theory (e.g. polarised λ-calculus, proofs-as-programs, types for logic programming), * Semantics (e.g. classical, categorical, algebraic, coalgebraic) , and * Applications. Programme Committee --------------------------- Henning Basold (chair), Leiden University, NLD Nikolaj Bjørner, Microsoft Research, USA William Byrd, University of Alabama at Birmingham, USA Gopal Gupta, The University of Texas at Dallas, USA Ekaterina Komendantskaya (chair), Heriot-Watt University, GBR Dale Miller, INRIA and LIX/Ecole Polytechnique, FRA Gopalan Nadathur, University of Minnesota, USA Frank Pfenning, Carnegie Mellon University, USA Hiroshi Unno, University of Tsukuba, JPN Noam Zeilberger, University of Birmingham, GBR Submission Instructions --------------------------- Since the aim of the workshop is to foster exchange and discussions on trends, extensions, applications and semantics of logic programming, we invite presentations of possibly already published as well as ongoing work. Submissions should be abstracts of at most two pages in EPTCS style (http://style.eptcs.org/) and will be only be published in the informal pre-proceedings and on the website of the workshop. Post-proceedings volume may be solicited by the PC, based on the quality of contributions. Contributions should be submitted via the Easychair system: https://easychair.org/my/conference?conf=teaselp2020 All contributions will be refereed by the programme committee and it is expected that at least one of the authors will be present during the workshop.

1 0

2nd Call for submissions: MT-CPS 2020
by Kohei SUENAGA 03 Feb '20

03 Feb '20

皆様，（重複してお受け取りの方はご容赦ください．）京都大学の末永です．来年4月下旬に開催される CPS-IoT Week 2020 併設のワークショップ MT-CPS 2020 の 2nd call for presentation をお送りします． https://sites.google.com/view/mt-cps2020/ サイバーフィジカルシステムのモニタリングとテストを中心として関連するトピックに関する発表を募集しております． CPS-IoT Week の会議 (HSCC, ICCPS, IPSN, RTAS, IC2E, ICFC, IoTDI) で論文が accept された皆様は特にご発表をご検討いただけると幸いです．宜しくお願いいたします．末永 ========================================================================== 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2020) https://sites.google.com/view/mt-cps2020/home Part of CPS-IoT Week 2020 https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/ April 21, 2020 - Sydney, Australia ========================================================================== * Description Cyber-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 format MT-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 instructions Abstracts 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 Dates Abstract submission deadline: February 16, 2020 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

証明論と計算論のワークショップ開催の案内@秋田大(3/23~3/25)
by Ryoma Sin'ya 03 Feb '20

03 Feb '20

みなさま，こんにちは、秋田大学の新屋と申します． 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日(金)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．秋田大学数理科学コース新屋良磨

1 0

RC 2020 deadline extension
by Kazutaka Matsuda 03 Feb '20

03 Feb '20

皆様，東北大学の松田です．来年の7月9-10にオスロで開催される国際会議 RC 2020 の〆切が1週間延長されましたので，改めてご案内をお送りいたします．何卒投稿をご検討いただけますと幸いです． -------------------------------------------------- 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) Deadline extension July 9th-10th, 2020, Oslo, Norway Abstract Submission: February 7th, 2020 (extended) Submission Deadline: February 14th, 2020 (extended) 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: February 7, 2020 (extended) Submission deadline: February 14, 2020 (extended) 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 to a special issue to be published in Science of Computer Programming (Elsevier). ===== 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)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2020