[Hol-info] Verification and Deduction Mentoring Workshop 2018
Verification and Deduction Mentoring Workshop 2018, FLoC 2018, July 13, 2018 CALL FOR PARTICIPATION ***Overview*** The purpose of the Verification and Deduction Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in the area of computer-aided verification and deduction. The workshop will particularly encourage participation of women and underrepresented minorities. This mentoring workshop unites the 4th Verification Mentoring Workshop and the 1st Deduction Mentoring Workshop, and is affiliated both with CAV 2018 and IJCAR 2018. The workshop program will include a number of invited talks and interactive sessions. The invited talks will give an overview of the field, highlight career challenges and give advices on career planning. The invited talks will focus both on academia and industry. ***Application and Participation*** Graduate and undergraduate (seniors only) students interested in attending our workshop are requested to apply at: http://cavconference.org/2018/verification-deduction-mentoring-workshop/ We have limited funding available to support students attending the mentoring workshop and CAV/IJCAR 2018. ***Deadline for submission of applications*** April 13, 2018 -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA
[apologies for multiple postings] 29th OpenMath Workshop 24-27 July 2018 Notre Dame University, South Bend, USA NOTE: co-located with ICMS 2018 http://www.icms-conference.org/2018 Details: http://www.icms-conference.org/2018/sessions/session5/ OBJECTIVES OpenMath (http://www.openmath.org) is a language for exchanging mathematical formulae across applications (such as computer algebra systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation (http://www.w3.org/TR/MathML), the standard for mathematical formulae on the Web. Topics we expect to see at the workshop include * Feature Requests (Standard Enhancement Proposals) and Discussions for going beyond OpenMath 2; * Further convergence of OpenMath and MathML 3; * Reasoning with OpenMath; * OpenMath on the Semantic Web; * New OpenMath Content Dictionaries; * Software using or processing OpenMath; Contributions can be either full research papers, Standard Enhancement Proposals, or a description of new Content Dictionaries, particularly ones that are suggested for formal adoption by the OpenMath Society. IMPORTANT DATES (all times are "anywhere on earth") 1. Abstract Submission: March 31. 2018 2. Extended Abstract Submission: April 21, 2018. SUBMISSIONS/PROCEEDINGS After the meeting a full paper can appear in ICMS proceedings (LNCS) Submission categories: * Full paper: 5–10 pages * Short paper: 1–4 pages * CD description: 1-6 pages; a link to the CD must be provided. * Standard Enhancement Proposal: 1-10 pages (as appropriate w.r.t. the background knowledge required); a link to any related implementation (e.g. a Relax NG schema) should be provided. ORGANISATION/PROGRAMME COMMITTEE * James Davenport (University of Bath, UK) * Michael Kohlhase (FAU Erlangen-Nürnberg, Germany) Comments/questions/enquiries: to be sent to the organizers -- -- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlh...@fau.de -- -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA
[apologies for multiple copies] ICMS Session --- Math in 2050 Creativity, Publication, and Application supported by Knowledge Bases and Software? Notre Dame, 24-27 July 2018 (one day, tbd) co-located with ICMS 2018 http://www.icms-conference.org/2018 Details: http://www.icms-conference.org/2018/sessions/session17/ Aim and Scope The Math2050 Session explores community perceptions of future workflows in “doing mathematics” (the conception, publication, dissemination, and application of mathematical knowledge). It follows upon an ICMS event in Berlin organized by the International Mathematical Knowledge Trust (IMKT; chartered by the IMU and funded by the Alfred P. Sloan Foundation to help bring about a global digital mathematics library). The question of how to encode mathematical semantics that is at the heart of what future mathematics will be, was considered at a Fields Institute workshop in February 2016 and is still an active one. Topics and Publications The workshop seeks technical contributions and position papers on novel/computer-supported workflows and information resources for the practice of the mathematical sciences. The contributions will be used as anchors to an open discussion on how “doing mathematics could change in the next 30 years (one full generation of mathematicians). The contributors will be invited to submit articles to a special issue of “Mathematics in Computer Science”. IMPORTANT DATES (all times are "anywhere on earth") 1. Abstract Submission: March 31. 2018 2. Extended Abstract Submission: April 21, 2018. SUBMISSIONS/PROCEEDINGS After the meeting a full paper can appear in ICMS proceedings (LNCS) ORGANISATION/PROGRAMME COMMITTEE Organizers Michael Kohlhase (FAU Erlangen-Nürnberg) Patrick D. F. Ion (GDML WG & University of Michigan) Comments/questions/enquiries: to be sent to the organizers -- -- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlh...@fau.de -- -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info