[TYPES/announce] CFP IEEE 3rd International Conference on Code Quality (ICCQ'23)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Name: 3nd International Conference on Code Quality (ICCQ) Date: April 22, 2023 Venue: St. Petersburg State University, Russia Website: https://urldefense.com/v3/__https://www.iccq.ru/2023.html__;!!IBzWLUs!RBa7iE0oLz2Kus-Znm_prx0nfdOiQzO0BHQytW601W4MDaVZ_QHf1DNM65ZMDrM51sy2Hop75gFlrVhxxcdDakXnKiwBh3s$ Published by: IEEE Xplore (in cooperation with IEEE Computer Society) We believe that the quality of the source code that millions of programmers write every day could be much higher than it is now. We believe that the contribution computer science can make to improve this situation is greatly undervalued. We aim to solve this problem by gathering together cutting-edge researchers and letting them share their most recent ideas on static analysis, program verification, bug detection, and software maintenance. Due to the pandemic situation, the conference will be held in online mode: all speakers will present their work remotely over Zoom. IMPORTANT DATES Paper/abstract submission: 18 Dec 2022 (anywhere on Earth) Author notification: 1 Mar 2023 Camera-ready submissions: 25 Mar 2023 Conference: 22 Apr 2023 PROGRAM COMMITTEE Andrey Terekhov (Chair), SPbU Alexandre Bergel, University of Chile Laura M. Castro, Universidade da Coruña Stephen Chang, UMass Boston Daniele Cono D'Elia, Sapienza University of Rome Pierre Donat-Bouillud, Czech Technical University Bernhard Egger, Seoul National University Samir Genaim, Universidad Complutense de Madrid Shachar Itzhaky, Technion Yusuke Izawa, Tokyo Institute of Technology Ranjit Jhala, University of California, San Diego Tetsuo Kamina, Oita University Christoph Kirsch, University of Salzburg Yu David Liu, Binghamton University Wolfgang de Meuter, Vrije Universiteit Brussel Antoine Miné, Sorbonne Université Guillermo Polito, CRIStAL Xuehai Qian, University of Southern California Junqiao Qiu, Michigan Technological University Yudai Tanabe, Tokyo Institute of Technology Tachio Terauchi, Waseda University Didier Verna, EPITA David West, New Mexico Highlands University Guannan Wei, Purdue University Vadim Zaytsev, University of Twente PUBLICATIONS We consider the following criteria when evaluating papers. Novelty: The paper presents new ideas and results and places them appropriately within the context established by previous research. Importance: The paper contributes to the advancement of knowledge in the field. We also welcome papers that diverge from the dominant trajectory of the field. Evidence: The paper presents sufficient evidence supporting its claims, such as proofs, implemented systems, experimental results, statistical analyses, case studies, and anecdotes. Clarity: The paper presents its contributions, methodology, and results clearly. Papers will be reviewed by three PC members using a double-blind review process. Submissions must be in PDF, printable in black and white on US Letter sized paper. All submissions must adhere to the ACM Small template (sigplan, two columns, 11pt font size). Submitted papers must be at least 4 and at most 16 pages long, including bibliographical references and appendices. Please, submit via EasyChair: https://urldefense.com/v3/__https://easychair.org/cfp/iccq23__;!!IBzWLUs!RBa7iE0oLz2Kus-Znm_prx0nfdOiQzO0BHQytW601W4MDaVZ_QHf1DNM65ZMDrM51sy2Hop75gFlrVhxxcdDakXnlkYadPU$ SPONSORS ICCQ is sponsored by St. Petersburg University, Innopolis University, HSE, MIPT, MSU, Yandex, Kaspersky, SberCloud, Huawei and others. QUESTIONS? If any questions, please email to t...@iccq.ru
[TYPES/announce] Extended Deadline 11 November 2022 - Formal Methods Teaching Workshop (FMTea 2023) Call for Paper -
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] ** *# Formal Methods Teaching Workshop (FMTea 2023)* * 6 March 2023 --- Affiliated with Formal Methods 2023 INVITED SPEAKER Erika Abraham, RWTH Aachen (Title to be announced) IMPORTANT DATES * 11 November 2022 : NEW Deadline for submission of papers * 5 December 2022: Notifications to authors * 5 January 2023: Deadline for camera-ready version * 6 March 2023: FMTea 2023 Workshop OBJECTIVES AND SCOPE Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations. This discussion is now more important than ever due to the challenges and opportunities that arose from the pandemic, which forced many educators to adapt and deliver their teaching online. Exchange of ideas is critical to making these new online approaches a success and having a greater reach. We envision this event as a one-day combination of keynote and workshop presentations, where various models of teaching are presented and explored, together with innovative approaches relevant for educators of Formal Methods in the 21st century. More details can be found on our website: https://urldefense.com/v3/__https://fmtea.github.io__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDupw5DN4Q$ TOPICS We aim to attract papers detailing authors’ experiences with FM Teaching. We would like to get papers discussing successes and failures of various methods, case studies, tools, etc. As self-learning seems to be an important aspect of FM teaching, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs. A non-exhaustive list of topics of interest for the FMTea23 workshop is below: * Experiences and proposals related with “traditional” FM learning and teaching * Experiences and proposals related with online FM learning and teaching * Integrating/embedding FM teaching/thinking within other computer science courses * Teaching FM for industry * Student projects on FM, including group projects * Innovative learning and teaching methods for FM Computer science is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process. ORGANIZATION FMTea 2023 is organized by FME’s Teaching Committee. Our broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, we have already gathered a list of FM courses taught worldwide (https://urldefense.com/v3/__https://fme-teaching.github.io__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDu3K4BiEk$ ) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. Furthermore, the FME Teaching Committee coordinates a tutorial series, held online via zoom. Tutorials are collected on the FME Teaching Committee website (https://urldefense.com/v3/__https://fme-teaching.github.io/__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDumtd5nHs$ ). PROGRAM COMMITTEE ** * Catherine Dubois (co-chair), ENSIIE, France * Pierluigi San Pietro (co-chair), Politecnico di Milano, Italy * Brijesh Dongol, University of Surrey, UK * Luigia Petre, Åbo Akademi University, Finland * Kristin Rozier, Iowa State University, US * Graeme Smith, The University of Queensland, Australia * Claudio Menghi, McMaster University, Canada * João F. Ferreira, INESC-ID & IST, University of Lisbon, Portugal * Alexandra Mendes, INESC TEC & University of Beira Interior, Portugal * Sandrine Blazy, University of Rennes 1, France * José N. Oliveira, University of Minho, Portugal * Emil Sekerinski, McMaster University, Canada PREVIOUS EDITIONS Several events focused on teaching aspects for Formal Methods were held at the beginning of the 2000s: two BCS-FACS TFM workshops (Oxford in 2003 and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), and TFM 2009 (Eindhoven, at FM 2009 with proceedings published as Springer LNCS Volume
[TYPES/announce] Postdoc position in automata and concurrency theory, at the University of Warsaw
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications of motivated and research-focused individuals to carry out research on Petri nets and their extensions as part of the NCN project "Data-enriched models of computation". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and formal verification. The successful candidate will be hosted by the automata theory group at the University of Warsaw, offering a vibrant working atmosphere, and exciting and challenging research problems. ** - Application deadline: November 30, 2022 - Starting date: flexible - Duration: one year, possible extension to another year - Principal investigator: Slawomir Lasota (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uuYicML7w$ ) - Contact: s...@mimuw.edu.pl ** Further details: https://urldefense.com/v3/__https://www.mimuw.edu.pl/*sl/2022-postdoc-recr.txt__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uv7MAn2JA$