[Hol-info] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)
Call for Participation Workshop on Large Mathematics Libraries (LML 2019) 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July 8-12, 2019 CIIRC, Prague, Czech Republic http://www.cicm-conference.org/2019 -- Large formal and semiformal mathematics libraries are needed to support mathematics research, mathematics education, rigorous software development, and formal proof development. This workshop will explore methods for designing, constructing, and maintaining large mathematics libraries as well as for finding, comparing, and applying the knowledge residing in these libraries. Key topics of interest will include: o Methods for sharing knowledge between libraries. o Modular techniques for organizing the knowledge within libraries. o The translation of libraries to different languages and logics. o The construction of new libraries by integrating existing libraries. o Tools for exploring the contents of large libraries. o Observations about past results. The workshop will consist of two invited presentations and several contributed presentations and system demonstrations. We welcome presentation and demonstration proposals in the form of extended 1-4 page abstracts formatted in LaTeX. Abstracts should be sent via email to wmfar...@mcmaster.ca and dennis.muel...@fau.de. Abstracts of selected presentations and demonstrations will be published online. More details about LML 2019 are available at https://www.cicm-conference.org/2019/cicm.php?event=lml=general Important Dates o Abstract submission: June 24, 2019 o Notification: July 01, 2019 o Workshop: July 10, 2019 Registration Registration to CICM 2019 and the workshops is open at the CICM website or directly at https://www.cicm-conference.org/2019/cicm.php?event==registration -- Dennis M. Müller "To do mathematics is to be, at once, touched by fire and bound by reason. This is no contradiction. Logic forms a narrow channel through which intuition flows with vastly augmented force" - Jordan Ellenberg (How Not to Be Wrong) ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] Student Forum
CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) STUDENT FORUM San Jose, California, USA, Oct 22 - 25, 2019 https://fmcad.forsyte.at/FMCAD19/student-forum/ IMPORTANT DATES Paper submission: July 26, 2019 Notification: August 16, 2019 All deadlines are 11:59 pm AoE (Anywhere on Earth) FMCAD Tutorial Day: Oct 22, 2019 Regular Program: Oct 23 - 25, 2019 GOALS AND FORMAT Student Forum provides a platform for students at any career stage (undergraduate or graduate) to introduce their research to the wider Formal Methods community and solicit feedback. The event will consist of short presentations by the student authors of each accepted submission and of a poster that will be on display throughout the duration of the conference. All participants of the conference are encouraged to attend the talks and approach the students during the poster presentation. Accepted submissions will be listed in the description of Student Forum in the conference proceedings. The authors will also have the option to upload their poster and presentation to the FMCAD web site. Submissions will not appear in the FMCAD proceedings; thus, the presentation at Student Forum should not interfere with potential future submissions of this research (to FMCAD or elsewhere). TRAVEL AWARDS Most of the applicants will receive up to $1000 of travel reimbursement after the conference. The first author of each contribution will be given priority over other authors. Please make sure you hold on to all receipts for reimbursement. Further instructions on how to apply for travel grants will be on the website. SUBMISSIONS Submissions for the event must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work, part of which has been previously published, will be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a subgroup of FMCAD program committee members. Submissions should use the IEEE Transactions format on letter-size paper with a 10-point font size and be 2 pages long including all figures and references. Please submit using the EasyChair system: https://easychair.org/conferences/?conf=fmcad2019 Advice: Focus on the key idea and try to convey it to the reader in an intuitive way. Provide a clear motivation and emphasize novel concepts/ contributions. Avoid unnecessary notational clutter unless it is a widely used formalism and helps to make the paper more concise and clear. Only describe related work thatâs absolutely crucial to your contribution: the limited space available should be used to present your work. CONFERENCE SCOPE FMCAD 2019 is the nineteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. Topics of interest include (but are not limited to): - Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. - Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. - Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. - Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods. - Application of formal methods to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, blockchains, and IoT devices. FMCAD 2019 COMMITTEES PROGRAM CHAIRS: Clark Barrett, Stanford University Jin Yang, Intel Corporation STUDENT FORUM CHAIR: Grigory Fedyukovich, Princeton University PROGRAM COMMITTEE: Erika Abraham, Aachen
[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
[apologies for any cross-posting] Call for Papers [NEW DEADLINES!] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 - Topics of Interest - The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. - Proceedings of Regular Papers - The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. - Proceedings of Discussion Papers - The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. - Best Papers - The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. - Submission Instructions - The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 - Important Dates - Abstract of regular paper submission: (was 28 May 2019) 18 June 2019 Regular paper submission: (was 4 June 2019) 25 June 2019 Notification to authors of regular papers: (was 23 July 2019) 13 August 2019 Camera ready of regular papers: (was 3 September 2019) 17 September 2019 Abstract of discussion paper submission: (was 28 May 2019) 2 July 2019 Discussion paper submission: (was 4 June 2019) 9 July 2019 Notification to authors of discussion papers: (was 23 July 2019) 27 August 2019 Camera ready of discussion papers: (was 3 September 2019) 1 October 2019 - Conference Web Site
[Hol-info] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial
Dear colleagues, Please consider submitting a paper on your experiences with formal methods teaching to our FMTea19 workshop affiliated with the FM conference in Porto in October. We are encouraging a wide spectrum discussion on how we should teach formal methods in the 21st century, so your contribution will be much appreciated. Also note our excellent invited and tutorial speakers: Carroll Morgan, Tony Hoare, and Bas Luttik! Deadline extended to June 15, paper length 15 pages, publication in Springer LNCS. Looking forward to meeting you in Porto for a cup of FMTea, Luigia, Graeme, Brijesh FMTea19 Formal Methods Teaching Workshop and Tutorial, Event affiliated with FM2019, 3rd World Congress on Formal Methods 7 October 2019, Porto, Portugal Deadline extended to June 15, 2019 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. We need to find ways to teach formal methods to the next generation, and doing so will require us to adapt our teaching to the 21st century students. FMTea19 is a combined workshop and tutorial at the 3rd World Congress on Formal Methods, FM2019. Its aim is to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula. Tutorial part of FMTea19 We are very pleased to have Carroll Morgan giving an invited talk on his approach to and experiences with teaching formal methods to undergraduate students. Sir Tony Hoare will also join us to give a talk on the foundations of teaching computer science for future formal methods scientists. We will run two more tutorial presentations, held by Holger Hermanns and Bas Luttik, on experiences with concurrency and online teaching. Our goal is to discuss various models of existing FM teaching, together with innovative proposals for remaining relevant as educators of Formal Methods in the 21st century. Workshop Part of FMTea19 In the workshop part of the event, 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 FMTea19 workshop is below: * traditional FM teaching: lectures, exercises, exams * online FM teaching/learning: experiences/proposals * teaching FM for industry * integrating/embedding FM teaching/thinking within other computer science courses * student projects on FM, including group projects 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 FMTea19 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, that can be seen, for the time being, here: https://github.com/luigiapetre/Formal-Methods-Courses/issues (we are in the process of migrating the courses to a webpage, so they will not live much longer as issues) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. PROGRAM COMMITTEE * Luigia Petre, Åbo Akademi University, Finland (co-chair) * Brijesh Dongol, University of Surrey, UK (co-chair) * Graeme Smith, University of Queensland, Australia (co-chair) * Catherine Dubois, ENSIIE, France * Joao F. Ferreira, University of Lisbon, Portugal * K. Rustan M. Leino, Amazon Web Services, US * Alexandra Mendes, University of Beira Interior, Portugal * Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil * Pierluigi San Pietro, Politecnico di Milano, Italy * Kenji Taguchi, CAV, Japan PREVIOUS EDITIONS Several events focused on teaching aspects for Formal Methods were held in 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), and FMET 2008 (Kitakyushu 2008, co-located with ICFEM). The latest event was TFM2009, the 2nd International FME Conference on Teaching Formal Methods, in November 2009 in Eindhoven, the Netherlands. SUBMISSION DETAILS FMTea19 invites high quality papers
[Hol-info] The 6th Vampire Workshop - CFP
= Vampire 2019: The 6th Vampire Workshop July 7, 2019, affiliated with SAT 2019 Lisboa, Portugal https://easychair.org/smart-program/Vampire2019/index.html = CALL FOR PAPERS = IMPORTANT DATES: - Submission deadline: June 16, 2019 - Notification of acceptance: June 19, 2019 - Workshop day: July 7, 2019 WORKSHOP AIM: The workshop aims at discussing the development and use of the first-order theorem prover Vampire. The workshop will address the newest trends in implementing first-order theorem provers, and focus on new challenges and application areas. Workshop participants will include both Vampire developers and users and provides a convenient opportunity for interesting discussions between tool developers and users. The users can learn more about Vampire and its recent developments. The developers can learn more about the use of Vampire, its efficiency in various application areas and needs of the users. The workshop is going to to shed the light on on problems such as - what is essential for substantial progress in theorem proving tools; - what are the best implementation principles to be used; - what are the best heuristics and strategies, depending on application areas; - both successful and unsuccessful case studies; - missing features in modern theorem provers. The workshop will also overview the most recent advances made in Vampire. PAPER SUBMISSION: We seek submissions reporting on theory, application, case studies, experiments and work-in-progress using Vampire and other theorem provers in various applications. Submissions can be in any form, ranging from work in progress to completed work. For example, the users can submit: - extended abstracts or full papers; - theoretical papers; - experimental papers and case studies - or in general any papers that can benefit tool developers and users. Papers can be of any length, ranging from 1-page abstracts to full papers up to 20 pages in length. The papers should use the EasyChair LaTeX, Microsoft Word, or ODT templates, which can be found at: http://www.easychair.org/publications/epic-templates. Submissions should be made using EasyChair, via the link : https://easychair.org/conferences/?conf=vampire2019 The workshop proceedings is planned to be published in the EasyChair EPiC series. PROGRAM CHAIRS: Laura Kovacs (Vienna University of Technology) Andrei Voronkov (University of Manchester and EasyChair) -- ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info