[TYPES/announce] (Submissions can be updated till April 25 AoE) ATVA 2024 2nd CfP
tb_Azw4J=en__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oe4UqYrk$ > and R Venkatesh <https://urldefense.com/v3/__https://dblp.org/pid/77/2661-1.html__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oe7z2GV6$ >, TCS Research CONTACT For any questions, please contact the PC chairs: Aina Niemetz (niem...@cs.stanford.edu) S. Akshay (aksha...@cse.iitb.ac.in) Sriram Sankaranarayanan (srir...@colorado.edu) Ichiro Hasuo, General Chair (i.ha...@acm.org) Best regards, Jie An (Publicity Chair of ATVA 2024) National Institute of Informatics, Tokyo, Japan https://urldefense.com/v3/__https://leslieaj.github.io/__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oSdaYxiM$
[TYPES/announce] [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleague, Apologies if you receive multiple copies of this call-for-papers of the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024), Kyoto, Japan, October 21-24, 2024. ATVA 2024: Call for Papers The 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA), will take place in Kyoto, Japan, October 21-24, 2024. For more information, see https://urldefense.com/v3/__https://atva-conference.org/2024/__;!!IBzWLUs!Wh7iNvIdKYStL5UC49D9mxH2OWep5lbTS61WwKGqLHsjaH3VCivCBG9Onj4pe8KEMPM0ZJbYslJheEft74XEwPDaj0Lo$ . SCOPE ATVA 2024 is the 22nd in a series of symposia aimed at bringing together academics, industrial researchers, and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following non-exhaustive list of topics: - Formalisms for modeling hardware, software, and embedded systems - Specification and verification of finite-state, infinite-state, and parameterized system - Program analysis and software verification - Analysis and verification of hardware circuits, systems-on-chip, and embedded systems - Analysis of real-time, hybrid, priced, weighted, and probabilistic systems - Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification - Analytical techniques for safety, security, and dependability - Testing and runtime analysis based on verification technology - Analysis and verification of parallel and concurrent systems - Verification in industrial practice - Synthesis for hardware and software systems - Applications and case studies - Automated tool support PAPER SUBMISSION Submissions will be accepted in two categories: - Regular Research Papers (18 pages max, excl. references, must be anonymized) - Tool Papers (10 pages max, excl. References, not anonymized). Please note that, for the first time at ATVA, the submission process for regular research papers will be double blind and will include a rebuttal/author response period. Also, an artifact evaluation will be under-taken, which will be optional for regular papers and mandatory for tool papers. Submissions authored or co-authored by members of the program committee are allowed and encouraged. Accepted papers in both categories will be published in Springer’s Lecture Notes in Computer Science series. At least one author of each accepted paper is expected to register and present the paper at the conference. A few outstanding papers will be selected for a distinguished paper award. All papers must be submitted through EasyChair: https://urldefense.com/v3/__https://easychair.org/conferences?conf=atva2024__;!!IBzWLUs!Wh7iNvIdKYStL5UC49D9mxH2OWep5lbTS61WwKGqLHsjaH3VCivCBG9Onj4pe8KEMPM0ZJbYslJheEft74XEwJI0Zsrs$ . IMPORTANT DATES (all dates AOE): Paper submission: April 19, 2024 AE submission for tool papers: May 2, 2024 Author response/rebuttal period: June 4 - June 7, 2024 Author notification: June 19, 2024 AE submission for regular papers: June 25, 2024 AE notification: August 10, 2024 Final version due: August 15, 2024 Conference dates: Oct 21-24, 2024 Conference webpage: https://urldefense.com/v3/__https://atva-conference.org/2024/__;!!IBzWLUs!Wh7iNvIdKYStL5UC49D9mxH2OWep5lbTS61WwKGqLHsjaH3VCivCBG9Onj4pe8KEMPM0ZJbYslJheEft74XEwPDaj0Lo$ CONTACT For any questions, please contact the PC chairs: Aina Niemetz (niem...@cs.stanford.edu) S. Akshay (aksha...@cse.iitb.ac.in) Sriram Sankaranarayanan (srir...@colorado.edu) Ichiro Hasuo, General Chair (i.ha...@acm.org) Best regards, Jie An (Publicity Chair of ATVA 2024) National Institute of Informatics, Tokyo, Japan https://urldefense.com/v3/__https://leslieaj.github.io/__;!!IBzWLUs!Wh7iNvIdKYStL5UC49D9mxH2OWep5lbTS61WwKGqLHsjaH3VCivCBG9Onj4pe8KEMPM0ZJbYslJheEft74XEwBpWcXHi$
[TYPES/announce] (Extended Deadline, May 11 AoE) ATVA 2023 call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers ** ATVA 2023 ** 24-27 October 2023 Singapore https://urldefense.com/v3/__https://atva-conference.org/2023/__;!!IBzWLUs!QhjwHQ97YBq8WhSvMFl_ZD4ovWMHr5ouFzBCCHi7HFc3bNFOP4Dfc2BJKpSlldSv3WzrjkviEXYVaUNgBJvwVXVsZ9-s$ 21st International Symposium on Automated Technology for Verification and Analysis *** NEW: extended deadlines: May 11, 2023 (AoE) *** ## Important Dates * Abstract submission deadline: April 27, 2023 (AoE) ==> May 11, 2023 (AoE) NEW * Paper submission deadline: May 4, 2023 (AoE) ==> May 11, 2023 (AoE) NEW * Paper notification: June 30, 2023 (AoE) * Camera-ready deadline: July 25, 2023 (AoE) * Conference: October 24 – October 27, 2023 (UTC +8) ATVA 2023 is the 21st in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics: * Formalisms for modeling hardware, software and embedded systems * Specification and verification of finite-state, infinite-state and parameterized system * Program analysis and software verification * Analysis and verification of hardware circuits, systems-on-chip and embedded systems * Analysis of real-time, hybrid, priced, weighted and probabilistic systems * Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification * Analytical techniques for safety, security, and dependability * Testing and runtime analysis based on verification technology * Analysis and verification of parallel and concurrent systems * Analysis and verification of deep learning systems * Analysis and verification of blockchain based systems * Verification in industrial practice * Synthesis for hardware and software systems * Applications and case studies * Automated tool support ## Submissions ATVA welcomes submissions in the following two categories: * Regular research papers (18 pages, excluding references) * Tool papers (6 pages, excluding references) Submissions must be in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website. Adding line numbers (package lineno) is highly recommended. Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation. The URL must also contain a set of examples, and a user manual that describes usage of the tool through examples. In case the tool needs to be downloaded and installed, the URL must contain instructions for installation of the tool on Linux/Windows/MacOS. For (regular and tool) papers reporting experiments, uploading an artifact on a long-term available platform is recommended (though not compulsory) Papers must be submitted through EasyChair. https://urldefense.com/v3/__https://easychair.org/conferences/?conf=atva2023__;!!IBzWLUs!QhjwHQ97YBq8WhSvMFl_ZD4ovWMHr5ouFzBCCHi7HFc3bNFOP4Dfc2BJKpSlldSv3WzrjkviEXYVaUNgBJvwVW1D1jXP$ Accepted papers in both categories will be published in Springer's Lecture Notes in Computer Science series. At least one author of each accepted paper is expected to register and present the paper at the conference. A best paper award will be given to an outstanding paper; the award will come with a 1000€ cash prize provided by Springer. ## Committees General Chair * Jin Song DONG, National University of Singapore Program Co-Chairs * Jun Sun, Singapore Management University * Étienne André, Université Sorbonne Paris Nord Publicity Chair: * Lei Bu, Nanjing University Local Organization Chair * Xiaofei Xie, Singapore Management University Program committee * Mohamed Faouzi Atig (Uppsala University) * Saddek Bensalem (VERIMAG) * Udi Boker (Reichman University, Herzliya, Israel) * Lei Bu (Nanjing University) * Krishnendu Chatterjee (Institute of Science and Technology (IST)) * Yu-Fang Chen (Academia Sinica) * Chih-Hong Cheng (Fraunhofer IKS) * Yunja Choi (Kyungpook National University) * Thao Dang (CNRS/VERIMAG) * Susanna Donatelli (Dipartimento di Informatica) * Alexandre Duret-Lutz (EPITA's Research Lab (LRE)) * Bernd Finkbeiner (CISPA Helmholtz Center for Information Security) * Stefan Gruner (University of Pretoria) * Osman Hasan (National University of Sciences and Technology (NUST)) * Ichiro Hasuo (National Institute of Informatics) * Jie-Hong Roland Jiang (National Taiwan University) * Ondrej Lengal (Brno University of Technology) * Shang-Wei Lin (Nanyang Technological Univ
[TYPES/announce] Postdoc & Scientific Programmer Positions in Tokyo
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute, apologies for multiple postings.] Open Postdoc & Scientific Programmer Positions in Tokyo Hasuo Laboratory <https://urldefense.com/v3/__https://group-mmm.org/eratommsd__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F8zLkjWC9$ > at the National Institute of Informatics <https://urldefense.com/v3/__https://www.nii.ac.jp/en/__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F81b76IYh$ >, Tokyo, Japan invites applications for a scientific programmer and a postdoc researcher. The positions are funded by a JST ERATO project (scientific research) and a JST START project (practical development towards a research-oriented startup), and their scopes are largely the application of foundational research on logic and semantics to real-world problems. See below for the specific scope of each position. The positions are for ~2.5 years max. We are also constantly looking for PhD students. https://urldefense.com/v3/__https://group-mmm.org/eratommsd/call-for-students-ja/__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F89a4ZHvj$ Thanks a lot for your consideration. Best, Ichiro Position 1: PostDoc Researcher, Category Theory and Practical Model Checking Algorithms https://urldefense.com/v3/__https://group-mmm.org/eratommsd/postdoc-researcher-category-theory-and-practical-model-checking-algorithms-oct-2022/__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F87q9uph3$ We aim to push the landscape of categorical studies (especially on coalgebras) to the modeling of state-of-the-art practical algorithms for formal verification (model checking, game solving, system abstraction, etc.). The position will be especially suited for researchers with coalgebraic and related backgrounds who want to see their results in action as practical verification algorithms. Key publications: - Kori et al., CAV'22 https://urldefense.com/v3/__https://link.springer.com/chapter/10.1007/978-3-031-13185-1_12__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F8793XR6J$ - Komorida et al., LICS'21 https://urldefense.com/v3/__https://arxiv.org/abs/2105.10164__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F80a4wpFf$ Position 2: PostDoc Researcher, Theorem Proving for Automated Driving https://urldefense.com/v3/__https://group-mmm.org/eratommsd/postdoc-researcher-theorem-proving-for-automated-driving-oct-2022/__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F8-XvAwjS$ We aim to develop a comprehensive set of techniques for proving the safety of automated driving. Its core consists of a custom-made program logic and its proof checker; however, elements outside conventional theorem proving studies will be pursued, too, such as heuristics for proof discoveries, implementation of safety proofs in automated driving cars, studying the roles of safety proofs in explainability and social acceptance of automated driving, etc. The position is highly recommended for theorem proving researchers who wish to apply their expertise to a hot application domain (namely automated driving), and furthermore, obtain novel theoretical insights in return from the real-world application. The commercialization of the research output is also planned, with the founding of a spin-off startup (cf. our call for a scientific programmer below). Key publication: - Hasuo et al., IEEE Trans. Intelligent Vehicles, to appear. https://urldefense.com/v3/__https://arxiv.org/abs/2207.02387__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F82tBPpkZ$ Position 3: Scientific Programmer towards a Research-Oriented Startup https://urldefense.com/v3/__https://group-mmm.org/eratommsd/open-position-for-a-scientific-programmer-towards-a-research-oriented-startup/__;!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F81AQ0dzW$ A programmer position under government research funding towards a research-oriented startup. An excellent opportunity for those who value both the scientific pursuit of novelties and industrial and social impacts. We look for programmers with a formal logic background. Come join us on the venture! ====== Ichiro Hasuo Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp https://urldefense.com/v3/__http://group-mmm.org/*ichiro/__;fg!!IBzWLUs!TFlcPMXSygs1uyMkZ3cDFTVaozt6ZEWvuji-pdNbWAMXKBdRqVEqr4iUzY7_4-wdk1NsywhboVjSTrusXj2F86jT7V9U$
[TYPES/announce] Postdoc position in Tokyo: model checking and optimization metaheuristics
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute, apologies for multiple postings.] Open Position for a PostDoc Researcher (Model Checking Extended with Optimization Metaheuristics, April 2022) ERATO Hasuo Metamathematics for Systems Design Project (ERATO MMSD <https://urldefense.com/v3/__https://group-mmm.org/eratommsd/__;!!IBzWLUs!BDZN4rGPRuQkPWQZcGBZBnmH8ZJjFN7noYdQLXvoXdEnxRidC1Otggp1onYqYgQRJpapZnvmkdVIGw$ >) invites applications for a postdoc researcher. We aim to combine model checking and optimization metaheuristics, in order to scale formal verification techniques up to real-world industrial problems that are complex and black-box. We aim to do so, at the same time, in a way guided by solid meta-theoretical foundations such as those which we've presented in LICS and CAV. We thus explore new shapes of application of logic to modern software and systems. The position will be especially suited for those who have experience in model checking research and who wish to expand their research portfolio. Some further details are found below. See https://urldefense.com/v3/__https://group-mmm.org/eratommsd/open-position-for-a-postdoc-researcher-march-2022/__;!!IBzWLUs!BDZN4rGPRuQkPWQZcGBZBnmH8ZJjFN7noYdQLXvoXdEnxRidC1Otggp1onYqYgQRJpapZntWM2LN3g$ for full details. Thanks a lot for your consideration. Best, Ichiro - JOB DESCRIPTION The candidate will work at National Institute of Informatics <https://urldefense.com/v3/__https://www.nii.ac.jp/en/__;!!IBzWLUs!BDZN4rGPRuQkPWQZcGBZBnmH8ZJjFN7noYdQLXvoXdEnxRidC1Otggp1onYqYgQRJpapZnuG1qA_zw$ >, Tokyo, Japan, and will pursue a novel extension of model checking techniques (temporal logic, automata theory) with optimization metaheuristics (evolutionary computation, stochastic optimization, statistical machine learning). The goal is to overcome two major challenges that currently limit the applicability of formal verification techniques to real-world industrial systems, namely *scalability* and the *absence of white-box models*. In our endeavor towards the goal, we do not mind relying on testing, rather than exhaustive verification; this puts us somewhat closer to so-called *lightweight formal methods*. That said, our theoretical development shall be nothing "lightweight." We believe that there is a great theoretical depth here--we will explore the depth using logical, automata-theoretic, and/or categorical machinery. This *theory of * *"lightweight" formal methods* will significantly expand the current landscape of application of logic to software. The position should be especially suited for model checking researchers who wish to expand their research portfolio. We find case studies in our industrial collaborations and seek applicability to those real-world problems (they are mostly from the manufacturing industry). At the same time, we seek rigorous logical/automata-theoretic/categorical foundations for the solutions we come up with--so our work stays well in the realm of the formal verification community. We work in an interdisciplinary environment, and the candidate will be constantly exposed to interaction with control theory, software engineering, automated driving, and category theory. The candidate will work closely with Prof. Ichiro Hasuo <https://urldefense.com/v3/__https://group-mmm.org/*ichiro/__;fg!!IBzWLUs!BDZN4rGPRuQkPWQZcGBZBnmH8ZJjFN7noYdQLXvoXdEnxRidC1Otggp1onYqYgQRJpapZnvIjprMSA$ > and a few other team members. It is possible that the candidate be granted an academic title (such as Project Assistant/Associate Professor). References The following are some outcomes of our efforts so far. They are listed here in order to exemplify concrete topics. Note that the topics of these papers are diverse, and the candidate is not expected to follow all of them. A good match with one of them would suffice. - Masaki Waga, Étienne André, Ichiro Hasuo: Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) 2019: 520-539. doi <https://urldefense.com/v3/__https://doi.org/10.1007/978-3-030-25540-4_30__;!!IBzWLUs!BDZN4rGPRuQkPWQZcGBZBnmH8ZJjFN7noYdQLXvoXdEnxRidC1Otggp1onYqYgQRJpapZnvga5DGng$ > arXiv <https://urldefense.com/v3/__https://arxiv.org/abs/1905.04486__;!!IBzWLUs!BDZN4rGPRuQkPWQZcGBZBnmH8ZJjFN7noYdQLXvoXdEnxRidC1Otggp1onYqYgQRJpapZnu9kaTOGw$ > (The topic is the theory of timed automata, which strikes a balance between theory and applicability.) - Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo: Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CAV (2) 2020: 349-371 doi <https://urldefense.com/v3/__https://link.springer.com/chapter/10.1007/978-3-030-53291-8_19__;!!IBzWLUs!BDZN4rGPRuQkPWQZcGBZBnmH8ZJjFN7noYdQLXvoXdEnxRidC1Otggp1onYqYgQRJpapZnsMk8ASZA$ > arXiv <https://urlde
[TYPES/announce] post-doc & programmer positions in Tokyo, Japan
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We have two open positions (post-doc and a scientific programmer) at NII, Tokyo, Japan. The scope is the combination of logic and optimization metaheuristics. They are funded by the ERATO MMSD project (extended till March 2025). Please find further details at https://urldefense.com/v3/__https://group-mmm.org/eratommsd/open-positions/__;!!IBzWLUs!BZrieZ9BFdwav9IJXEE2J9SUW4Se9KXJ7zF76na_tZjW5MD9i8he0VLcFP4JIOys4AONs0qArMuE1A$ Thanks a lot for your consideration. Best, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp https://urldefense.com/v3/__http://group-mmm.org/*ichiro/__;fg!!IBzWLUs!BZrieZ9BFdwav9IJXEE2J9SUW4Se9KXJ7zF76na_tZjW5MD9i8he0VLcFP4JIOys4AONs0pd3Imx0w$
[TYPES/announce] CFP: 6th Workshop On Monitoring And Testing Of Cyber-physical Systems (MT-CPS 2021)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Sorry for multiple postings] Call for Papers 6th Workshop on Monitoring And Testing Of Cyber-physical Systems MT-CPS 2021 May 18, 2021 - Online https://sites.google.com/virginia.edu/mt-cps2021 Part of CPS-IoT Week 2021 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 on the website of the workshop. Important Dates: * Abstract submission deadline: March 18, 2021 23:59pm (AoE) * Notification: April 19, 2020 * Final version: May 4, 2020 * Workshop: May 18, 2020
[TYPES/announce] ICFEM 2020: Deadline Extension (24 May)
University of Defense Technology, China Yu-Fang Chen, Academia Sinica, Taiwan Yean-Ru Chen, National Cheng Kung University, Taiwan Wei-Ngan Chin, National University of Singapore, Singapore Ranald Clouston, Australian National University, Australia Sylvain Conchon, Universite Paris-Sud, France Florin Craciun, Babes-Bolyai University, Romania Jeremy Dawson, Australian National University, Australia Frank De Boer, Centrum Wiskunde & Informatica (CWI), Netherlands Yuxin Deng, East China Normal University, China Jin Song Dong, Griffith University and NUS, Australia Naipeng Dong, University of Queensland, Australia Zhenhua Duan, Xidian University, China Marc Frappier, Université de Sherbrooke, Canada Lindsay Groves, Victoria University of Wellington, New Zealand Ichiro Hasuo, National Institute of Informatics, Japan Xudong He, Florida International University, United States Zhe Hou, Griffith University, Australia Pao-Ann Hsiung, National Chung Cheng University, Taiwan Fuyuki Ishikawa, National Institute of Informatics, Japan Fabrice Kordon, LIP6/Sorbonne Universite & CNRS, France Yi Li, Nanyang Technological University, Singapore Xuandong Li, Nanjing University, China Shang-Wei Lin, Nanyang Technological University, Singapore Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, Southwest University, China Shuang Liu, Tianjin University, China Brendan Mahony, DSTO, Australia Jim McCarthy, Defence Science and Technology, Australia Dominique Mery, Université de Lorraine, France Stephan Merz, Inria Nancy, France Shin Nakajima, National Institute of Informatics, Japan Jun Pang, University of Luxembourg, Luxembourg Yu Pei, The Hong Kong Polytechnic University, China Shengchao Qin, Teesside University, United Kingdom Silvio Ranise, FBK-Irst, Italy Elvinia Riccobene, University of Milan, Italy Adrian Riesco, Universidad Complutense de Madrid, Spain David Sanan, Nanyang Technological University, Singapore Klaus-Dieter Schewe, Zhejiang University, China Harald Sondergaard, The University of Melbourne, Australia Meng Sun, Peking University, China Jing Sun, The University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design, Singapore Alwen Tiu, The Australian National University, Australia Elena Troubitsyna, KTH, Sweden Hai H. Wang, University of Aston, United Kingdom Bow-Yaw Wang, Academia Sinica, Taiwan Virginie Wiels, ONERA / DTIM, France Zhiwu Xu, Shenzhen University, China Naijun Zhan, Chinese Academy of Sciences, China Jian Zhang, Chinese Academy of Sciences, China Jaco van de Pol, Aarhus University, Denmark Peter Ölveczky, University of Oslo, Norway
[TYPES/announce] ICFEM'20 deadline extended to 17th May 2020
University of Defense Technology, China Yu-Fang Chen, Academia Sinica, Taiwan Yean-Ru Chen, National Cheng Kung University, Taiwan Wei-Ngan Chin, National University of Singapore, Singapore Ranald Clouston, Australian National University, Australia Sylvain Conchon, Universite Paris-Sud, France Florin Craciun, Babes-Bolyai University, Romania Jeremy Dawson, Australian National University, Australia Frank De Boer, Centrum Wiskunde & Informatica (CWI), Netherlands Yuxin Deng, East China Normal University, China Jin Song Dong, Griffith University and NUS, Australia Naipeng Dong, University of Queensland, Australia Zhenhua Duan, Xidian University, China Marc Frappier, Université de Sherbrooke, Canada Lindsay Groves, Victoria University of Wellington, New Zealand Ichiro Hasuo, National Institute of Informatics, Japan Xudong He, Florida International University, United States Zhe Hou, Griffith University, Australia Pao-Ann Hsiung, National Chung Cheng University, Taiwan Fuyuki Ishikawa, National Institute of Informatics, Japan Fabrice Kordon, LIP6/Sorbonne Universite & CNRS, France Yi Li, Nanyang Technological University, Singapore Xuandong Li, Nanjing University, China Shang-Wei Lin, Nanyang Technological University, Singapore Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, Southwest University, China Shuang Liu, Tianjin University, China Brendan Mahony, DSTO, Australia Jim McCarthy, Defence Science and Technology, Australia Dominique Mery, Université de Lorraine, France Stephan Merz, Inria Nancy, France Shin Nakajima, National Institute of Informatics, Japan Jun Pang, University of Luxembourg, Luxembourg Yu Pei, The Hong Kong Polytechnic University, China Shengchao Qin, Teesside University, United Kingdom Silvio Ranise, FBK-Irst, Italy Elvinia Riccobene, University of Milan, Italy Adrian Riesco, Universidad Complutense de Madrid, Spain David Sanan, Nanyang Technological University, Singapore Klaus-Dieter Schewe, Zhejiang University, China Harald Sondergaard, The University of Melbourne, Australia Meng Sun, Peking University, China Jing Sun, The University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design, Singapore Alwen Tiu, The Australian National University, Australia Elena Troubitsyna, KTH, Sweden Hai H. Wang, University of Aston, United Kingdom Bow-Yaw Wang, Academia Sinica, Taiwan Virginie Wiels, ONERA / DTIM, France Zhiwu Xu, Shenzhen University, China Naijun Zhan, Chinese Academy of Sciences, China Jian Zhang, Chinese Academy of Sciences, China Jaco van de Pol, Aarhus University, Denmark Peter Ölveczky, University of Oslo, Norway == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp http://group-mmm.org/~ichiro/
[TYPES/announce] fwd: 2020 HSCC CfP -- Submissions due October 23
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 23rd ACM International Conference on Hybrid Systems: Computation and Control April 21-24, 2020 Sydney Australia https://berkeleylearnverify.github.io/HSCC_2020/ Hybrid Systems: Computation and Control (HSCC) 2020 is the 23rd in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical systems with an emphasis on computational aspects. By drawing on strategies from computation and control, the hybrid systems field offers techniques that are applicable to both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). Papers in the conference are expected to range over a wide spectrum of topics from theoretical results to practical considerations, and from academic research to industrial adoption. Topics of interest include, but are not limited to - Mathematical foundations - Computability and complexity analysis - Verification, validation, and testing - Modeling paradigms and techniques - Design, synthesis, planning, and control - Nonlinear and safety-critical control - Programming and specification languages - Network science and network-based control - Security, privacy, and resilience for cyber-physical systems with focus on computation and control - Autonomy, artificial intelligence and machine learning in CPS - Design automation for CPS, including design formalisms, techniques and tools for the above topics - Applications and industrial case studies in: automotive, transportation, autonomous systems, avionics, energy and power, robotics, medical devices, manufacturing, systems and synthetic biology, models for the life sciences, and other related areas. SPECIAL TRACKS This year, HSCC will have three special tracks on interdisciplinary topics of increasing interest and importance to CPS: (1) Artificial Intelligence and Machine Learning in CPS (autonomous and semi-autonomous CPS, learning-based CPS, deep learning, intersection of robotics/AI and CPS, etc.), and (2) Design Automation for CPS (modeling, specification, verification, synthesis, composition, hierarchy, languages, etc. for CPS design). (3) Autonomy and Robotics. The submission requirements and review process for special track papers will be the same as regular papers. The main reason to have a special track is to broaden the HSCC pool of papers in the direction of these topics. PAPER SUBMISSION INFORMATION HSCC invites submissions in the categories of regular papers including special track papers (max 10 pages), and case study and tool papers (max 6 pages). We will employ a double blind reviewing process and will have a rebuttal phase to provide authors the opportunity to reply to reviewer concerns. AWARDS HSCC will have an ACM SIGBED Best Paper Award, all regular papers will be automatically eligible for this award. HSCC will also award an "HSCC Test-Of-Time Award". The rules for eligibility, nomination and selection of the paper for this award can be found here. Repeatability evaluation: Papers that pass repeatability evaluation process will receive the "artifact evaluated" badge and there will be a Best RE Award. Best Demo/Poster: All demos and posters accepted for presentation at HSCC’20 will be eligible for the best demo/poster award. IMPORTANT DATES Paper submission deadline: October 23, 2019 (AOE) Tool paper repeatability package submission deadline: October 28, 2019 (AOE) Rebuttal phase: December 4-6, 2019 Acceptance/rejection notifications: December 23, 2019 (tentative) Poster/demo session submission: Typically mid-january (after notification) Camera-ready: February 14, 2020 Conference dates: April 21-24, 2020 HSCC 2020 will be part of the thirteenth Cyber Physical Systems Week (CPS Week), and co-located with the International Conference on Cyber-Physical Systems (ICCPS), Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), Conference on Internet-of-Things Design and Implementation (IOTDI), and related workshops. -- Ricardo Sanfelice Professor of Electrical and Computer Engineering Director, Cyber-Physical Systems Research Center Graduate Director, Electrical and Computer Engineering University of California, Santa Cruz Websites: https://hybrid.soe.ucsc.edu https://cps.ucsc.edu Youtube: https://www.youtube.com/c/HybridSystemsLaboratory
[TYPES/announce] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] Dear colleagues, For our research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and some are still open), together with research assistants (PhD students) and internship students. The project runs until March 2022. http://group-mmm.org/eratommsd This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. In order to deal with the complexity of real-world cyber-physical systems, we need to rely on empirical, learning-based and data-driven measures for quality assurance (such as search-based testing). At the same time, we are finding logical and automata-theoretic methods---the bedrock of formal verification and synthesis--playing pivotal roles also in those empirical quality assurance measures. This way, our project offers an exciting scientific environment that mixes formal methods, software engineering and machine learning. We also collaborate closely with https://www.autonomoose.net/, an automated driving project at Waterloo, Canada. The following are prerequisites for application. - Your background in one of the following fields: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic or category theory - Your willingness to dive into the heterogeneous (and thus exciting!) scientific environment as described in the above For more about the project, including our recent activities and output, please visit http://group-mmm.org/eratommsd About the open positions, the page http://group-mmm.org/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp http://group-mmm.org/~ichiro/
[TYPES/announce] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] Dear colleagues, For our research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and some are still open), together with research assistants (PhD students) and internship students. The project runs until March 2022. http://group-mmm.org/eratommsd This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. In order to deal with the complexity of real-world cyber-physical systems, we need to rely on empirical, learning-based and data-driven measures for quality assurance (such as search-based testing). At the same time, we are finding logical and automata-theoretic methods---the bedrock of formal verification and synthesis--playing pivotal roles also in those empirical quality assurance measures. This way, our project offers an exciting scientific environment that mixes formal methods, software engineering and machine learning. We also collaborate closely with https://www.autonomoose.net/, an automated driving project at Waterloo, Canada. The following are prerequisites for application. - Your background in one of the following fields: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic or category theory - Your willingness to dive into the heterogeneous (and thus exciting!) scientific environment as described in the above For more about the project, including our recent activities and output, please visit http://group-mmm.org/eratommsd About the open positions, the page http://group-mmm.org/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp http://group-mmm.org/~ichiro/
[TYPES/announce] FORMATS 2019 Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** apologies for multiple copies. Ichiro *** Call for papers FORMATS 2019 August 26-3 Amsterdam, the Netherlands co-located with CONCUR https://lipn.univ-paris13.fr/formats2019/ Objective Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behaviour depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. Topics The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems. In 2019, FORMATS aims at being more inclusive wrt to applications, notably real-time systems. Typical topics include (but are not limited to): Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.). Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication). Paper Submission FORMATS 2019 solicits high-quality papers reporting research results and/or experience reports related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Submissions should not exceed 15 pages in length (excluding references, that are therefore not limited). Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. It is likely FORMATS 2019 will solicit also tool papers (more information TBA). Papers will be submitted electronically via EasyChair online submission system (https://easychair.org/conferences/?conf=formats2019) Publication and best paper award The proceedings of FORMATS 2019 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems. Important Dates Abstract submission: April 21, 2019 Paper submission: April 24, 2019 Notification of acceptance: June 12, 2019 Final version due: June 29, 2019 Conference: August 26-31, 2019
[TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] [New! Our positions are being filled up, but there still are a few open ones] Dear colleagues, For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for - senior researchers and - postdocs together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic and category theory. For more about the project please visit http://group-mmm.org/eratommsd About the open positions http://group-mmm.org/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org http://group-mmm.org/~ichiro/
[TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] Dear colleagues, For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic and category theory. For more about the project please visit http://group-mmm.org/eratommsd About the open positions http://group-mmm.org/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org
[TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] Dear colleagues, For our new 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic and category theory. For more about the project please visit http://group-mmm.org/eratommsd About the open positions http://group-mmm.org/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro === Ichiro Hasuo Nationai Institite of Informatics, Japan http://group-mmm.org/~ichiro/
[TYPES/announce] 10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] Dear colleagues, For our new 5.5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for 10+ senior researchers and postdocs, together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application (esp. in automotive industry). The project covers diverse areas that include: formal methods, programming languages, software science, software engineering, control theory, machine learning, numerical optimization, user interface, mathematical logic and category theory. For more about the project please visit http://www-mmm.is.s.u-tokyo.ac.jp/eratommsd/about.html About the open positions http://www-mmm.is.s.u-tokyo.ac.jp/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro === Ichiro Hasuo Dept. Computer Science, The University of Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/
[TYPES/announce] MT-CPS Call for Abstracts (Vienna, April 11 2016)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for Multiple Copies] Call for Abstracts 1st Workshop on Monitoring and Testing of Cyber-Physical Systems Part of CPS Week 2016 11 April 2016, Vienna, Austria http://mtcps16.ait.ac.at/ Description Cyber-physical systems (CPS) are integrations of heterogeneous collaborative entities that interact between themselves and with their physical environment. CPS exhibit complex and unpredictable behaviors, thus making their correctness and robustness analysis a challenging task. In order to address their full complexity, there is an emergent need for formal, yet efficient and scalable methods for the verification and analysis of CPS. Light-weight verification techniques, such as monitoring and testing, achieve both rigour and efficiency by enabling the evaluation of systems according to the properties of their individual behaviours. The MT CPS workshop aims at bringing together researchers and practitioners interested in the problems of detecting, testing, measuring and extracting qualitative and quantitative properties from CPS behaviors. Topics of interest include (but are not limited to): - Specification languages for monitoring and testing - Runtime verification and monitoring - Black-box and white-box testing - Measuring and statistical information gathering - Simulation-based verification and parameter synthesis - Diagnostics, error localization and repair - Combination of static and dynamic analysis - Applications and case studies Workshop Format MT CPS workshop is intended to be a forum for exchanging the latest scientific trends between researchers and practitioners interested in the field of light-weight verification and analysis of CPS. As a consequence, the workshop will NOT have formal proceedings. We encourage submission of abstracts that address any of the aforementioned topics of interest and cover recently published results as well as the work in progress. Important Dates Abstract submission deadline: February 14, 2016 Notification: March 5, 2016 Early registration: March 10, 2016 Workshop: April 11, 2016 Submission instructions Abstracts are submitted via https://easychair.org/conferences/?conf=mtcps2016. 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, and the submission should indicate whether the abstract will be presented as a poster, orally, or both. Abstracts will be reviewed by the Program Committee. Those that are selected for oral and poster presentations will be distributed to workshop participants and posted on the workshop website. Program Chairs Radu Grosu, Vienna University of Technology, Austria Oded Maler, VERIMAG, France Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria Program Committee Xavier Avon, EASii-IC, France Ezio Bartocci, Vienna University of Technology, Austria Sergiy Bogomolov, IST Austria, Austria Harald Brandl, AVL List GmbH, Austria Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Technical Center, USA Alexandre Donzé, UC Berkeley, USA Georgios Fainekos, Arizona State University, USA Thomas Ferrère, Mentor Graphics, France Christoph Grimm, Kaiserslautern University of Technology, Germany Radu Grosu, Vienna University of Technology, Austria Ichiro Hasuo, University of Tokyo, Japan Thomas Klotz, Bosch Sensortec GmbH, Germany Scott Little, Intel, USA Oded Maler, VERIMAG, France Thang Nguyen, Infineon Technologies AG, Austria Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria Sriram Sankaranarayanan, University of Colorado at Boulder, USA
[TYPES/announce] HSCC 2016: Call for Papers
Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA Repeatability Evaluation Chair Ian M. Mitchell, University of British Columbia, Canada Demo/Poster Chair James Kapinski, Toyota Motors, USA Program Committee Shun-ichi Azuma, Kyoto University, Japan Christel Baier, TU Dresden, Germany Ezio Bartocci, TU Vienna, Austria Calin Belta, Boston University, USA Spring Berman, Arizona State University, USA Mireille Broucke, University of Toronto, Canada Krishnendu Chatterjee, IST Austria, Austria Alessandro Cimatti, Fondazione Bruno Kessler, Italy Alessandro D'Innocenzo, University of L'Aquila, Italy Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Motors, USA Xu Chu Ding, United Technology Research Center, USA Alexandre Donzé, UC Berkeley, USA Martin Fränzle, University in Oldenburg, Germany Antoine Girard, University of Grenoble, France Ichiro Hasuo, University of Tokyo, Japan Jun-ichi Imura, Tokyo Institute of Technology, Japan Franjo Ivancic, Google NY, USA Taylor Johnson, UT Arlington, USA Agung Julius, Rensselaer Polytechnic institute, USA Sertac Karaman, MIT, USA Joost-Pieter Katoen, RWTH Aachen University, Germany Marta Kwiatkowska, University of Oxford, UK Jun Liu, University of Waterloo, Canada Daniele Magazzeni, King's College London, UK Manuel Mazo Jr, TU Delft, The Netherlands Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA Jens Oehlerking, Robert Bosch GmbH, Germany Meeko Oishi, University of New Mexico, USA Necmiye Ozay, University of Michigan, USA Andreas Podelski, University of Freiburg, Germany Pavithra Prabhakar, Kansas State University, USA Maria Prandini, Politecnico di Milano, Italy Akshay Rajhans, The MathWorks, USA S Ramesh, General Motors RD, India Sriram Sankaranarayanan, Univ. of Colorado, Boulder, USA Oleg Sokolsky, University of Pennsylvania, USA Herbert Tanner, University of Delaware, USA Ufuk Topcu, UT Austin, USA Ashuthosh Trivedi, IIT Bombay, India Jana Tumova, KTH, Sweden Verena Wolf, Saarland University, Germany Majid Zamani, Technical University of Munich, Germany Naijun Zhan, Chinese Academy of Sciences, PR China Paolo Zuliani, Newcastle University, UK Steering Committee Rajeev Alur, University of Pennsylvania, USA Werner Damm, OFFIS, Germany John Lygeros, ETH Zurich, Switzerland Oded Maler, Verimag, France Paulo Tabuada, UCLA, USA Claire Tomlin, University of California Berkeley, USA
[TYPES/announce] Post-doc in Japan: JSPS Postdoctoral Fellowship
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, Let me advertise **JSPS Postdoctoral Fellowship**, a postdoctoral fellowship for foreign researchers to work in Japan, funded by the Japanese government via the funding body JSPS. https://www.jsps.go.jp/english/e-fellow/postdoctoral.html Unlike common post-doc positions in which a principal investigator (PI) gets positions and calls for applications to fill them, an application to JSPS Postdoctoral Fellowship is made jointly by a foreign researcher and a host researcher in Japan. Your first step therefore would be to contact a prospective host researcher. (So please note that I'm advertising not positions that I have, but a scheme that you can use with me or other researchers in Japan as your host. Note also that this is not an official advertisement by JSPS either :) Some further notes: - Fellowships are awarded for a period of 12 to 24 months. - The fellowship will award: * A round-trip air ticket * A monthly maintenance allowance of approx. JPY 360,000 (I'd say this is quite enough for living even in Tokyo. Believe me, Japan is not an expensive place as is commonly believed!) * A settling-in allowance of approx. JPY 200,000, overseas travel accident and sickness insurance coverage, etc. In addition you will get your own grant money of max. JPY 1,500,000 per year, for your trips, computers, books, etc. Sounds OK, doesn't it? - There are two application paths: 1) through Open Recruitment in Japan; and 2) through an Overseas Nominating Authority, including the Royal Society (UK), CNRS (France), NWO (the Netherlands), etc. https://www.jsps.go.jp/english/e-fellow/long_list.html It seems that the latter path is often less competitive. In fact the common kind of post-doc positions (a PI gets them and he/she advertises them) is somewhat rare in Japan. Therefore many researchers, including myself, are waiting for your contact on an application of JSPS Postdoctoral Fellowship! There are other funding opportunities for foreign post-docs as well; I myself would be very happy to seek opportunities for promising researchers with similar research interests. Thank you, Ichiro - Ichiro Hasuo Lecturer, Dept. Computer Science, The University of Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro
[TYPES/announce] QPL 2014: Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies) CALL FOR PARTICIPATION The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. There will be full programme of contributed talks, and invited lectures from: Giulio Chiribella (Tsinghua) Masahito Hassei Hasegawa (Kyoto) Masanao Ozawa (Nagoya) The schedule and list of accepted contributions can be found on the webpage, as well as local information and registration details. The registration will be closed on ** Sunday 25 May ** with application for travel support closing earlier on Wednesday 7 May, AoE. Best wishes and hope to see you in Kyoto, QPL 2014 Local Organizers Ichiro Hasuo (chair) Naohiko Hoshino Yoshihiko Kakutani Susumu Nishimura
[TYPES/announce] QPL 2014: 2nd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] CALL FOR PAPERS The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006),Reykjavik (2008), Oxford (2009), Oxford (2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013). INVITED SPEAKERS Giulio Chiribella (Tsinghua) Masahito Hassei Hasegawa (Kyoto) Masanao Ozawa (Nagoya) IMPORTANT DATES Submission Deadline: 13th Apr, 2014 Notification of Acceptance: 4th May Papers Ready: 11th May Workshop: 4th-6th June SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Selected contributions will further be invited to a special issue in the journal New Generation Computing. Submissions should be prepared using LaTeX (use of the EPTCS style is encouraged), and must be submitted in PDF format. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2014 TRAVEL SUPPORT We encourage participation by graduate students. Students will pay a reduced registration fee. We will also provide limited financial support to students for travel and accommodations (non-students can also apply but priority is given to students). Further information is found on the workshop website. PROGRAMME COMMITTEE Dan Browne (UCL) Giulio Chiribella (Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS Grenoble) Mehrnoosh Sadrzadeh (QMUL) Peter Selinger (Dalhousie) Rob Spekkens (Perimeter) Bas Spitters (Nijmegen) Jamie Vicary (Oxford CQT Singapore) Mingsheng Ying (UTS Sydney Tsinghua) LOCAL ORGANISATION Ichiro Hasuo (Tokyo, chair) Naohiko Hoshino (Kyoto) Yoshihiko Kakutani (Tokyo) Susumu Nishimura (Kyoto) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie)
[TYPES/announce] Post-doc in Japan: JSPS Postdoctoral Fellowship
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, Let me advertise **JSPS Postdoctoral Fellowship**, a postdoctoral fellowship for foreign researchers to work in Japan, funded by the Japanese government via the funding body JSPS. https://www.jsps.go.jp/english/e-fellow/postdoctoral.html Unlike common post-doc positions in which a principal investigator (PI) gets positions and calls for applications to fill them, an application to JSPS Postdoctoral Fellowship is made jointly by a foreign researcher and a host researcher in Japan. Your first step therefore would be to contact a prospective host researcher. (So please note that I'm advertising not positions that I have, but a scheme that you can use with me or other researchers in Japan as your host. Note also that this is not an official advertisement by JSPS either :) I can only answer questions if I am to be your host.) Some further notes: - Fellowships are awarded for a period of 12 to 24 months. - The fellowship will award: * A round-trip air ticket * A monthly maintenance allowance of approx. JPY 360,000 (I'd say this is quite enough for living even in Tokyo. Believe me, Japan is not an expensive place as is commonly believed!) * A settling-in allowance of approx. JPY 200,000, overseas travel accident and sickness insurance coverage, etc. In addition you will get your own grant money of max. JPY 1,500,000 per year, for your trips, computers, books, etc. - There are two application paths: 1) through Open Recruitment in Japan (the next round to be closed in mid April); and 2) through an Overseas Nominating Authority, including the Royal Society (UK), CNRS (France), NWO (the Netherlands), etc. https://www.jsps.go.jp/english/e-fellow/long_list.html It seems that the latter path is often less competitive. In fact the common kind of post-doc positions (a PI gets them and he/she advertises them) are somewhat rare in Japan. Therefore many researchers, including myself, are waiting for your contact on an application to JSPS Postdoctoral Fellowship! There are other funding opportunities for foreign post-docs as well; I myself would be very happy to seek opportunities for promising researchers with similar research interests. Thank you, Ichiro - Ichiro Hasuo Lecturer, Dept. Computer Science, The University of Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro
[TYPES/announce] QPL 2014: Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies) CALL FOR PAPERS The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006),Reykjavik (2008), Oxford (2009), Oxford (2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013). INVITED SPEAKERS Giulio Chiribella (Tsinghua) Masahito Hassei Hasegawa (Kyoto) Masanao Ozawa (Nagoya) IMPORTANT DATES Submission Deadline: 13th Apr, 2014 Notification of Acceptance: 4th May Papers Ready: 11th May Workshop: 4th-6th June SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Selected contributions will further be invited to a special issue in the journal New Generation Computing. Submissions should be prepared using LaTeX (use of the EPTCS style is encouraged), and must be submitted in PDF format. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2014 STUDENT TRAVEL SUPPORT We encourage participation by graduate students. Students will pay a reduced registration fee. We will also be able to provide limited financial support to students for travel and accommodations. Further information is found on the workshop website. PROGRAMME COMMITTEE Dan Browne (UCL) Giulio Chiribella (Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS Grenoble) Mehrnoosh Sadrzadeh (QMUL) Peter Selinger (Dalhousie) Rob Spekkens (Perimeter) Bas Spitters (Nijmegen) Jamie Vicary (Oxford CQT Singapore) Mingsheng Ying (UTS Sydney Tsinghua) LOCAL ORGANISATION Ichiro Hasuo (Tokyo, chair) Naohiko Hoshino (Kyoto) Yoshihiko Kakutani (Tokyo) Susumu Nishimura (Kyoto) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie)
