You must enable JavaScript to use this site
  • Preliminary Programme Overview

    Detailed schedule by day: Monday, Tuesday, Wednesday, Thursday, Friday, Whole week.

    Monday
    July 8
    Tuesday
    July 9
    Wednesday
    July 10
    Thursday
    July 11
    Friday
    July 12
    9:00
    FMM1
    Chad Brown. Higher-Order Logic and Set Theory: Stronger Together
    I1
    Makarius Wenzel. Interaction with Formal Mathematical Documents in Isabelle/PIDE
    Makarius Wenzel
    (chair: A. Kohlhase)
    OM1
    Lars Hellström. Formalising Riemann Surfaces
    LML1
    Makarius Wenzel. Isabelle technology for the Archive of Formal Proofs with application to MMT
    I2
    Sylvain Corlay. Jupyter: From IPython to the Lingua Franca of Scientific Computing
    Sylvain Corlay
    (chair: C. Sacerdoti Coen)
    I3
    Henry Prakken. AI models of argumentation and some applications to mathematics
    Henry Prakken
    (chair: C. Kaliszyk)
    9:30
    OM2
    Tom Wiesing. Proposed Standard Extension: A JSON Binding for OpenMath
    10:00CoffeeCoffeeCoffeeCoffeeCoffee
    10:30
    FMM2
    Adam Naumowicz. Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics
    T9
    Alexander Maletzky. Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL
    chair: E. Brady
    OM3
    Florian Rabe. Variables: Local Scope vs. Alpha-Renaming
    LML2
    Claudio Sacerdoti Coen. Attempts at skinning an elephant
    T10
    Chad Brown and Karol Pąk. A Tale of Two Set Theories
    chair: M. Kohlhase
    T14
    Tom Wiesing, Kai Amann, Michael Kohlhase and Florian Rabe. Integrating Semantic Mathematical Documents and Dynamic Notebooks
    chair: J. Urban
    11:00
    FMM3
    Michael Junk and Stefan Hölle. Numerical MMATh
    T16
    Jonas Bayer, Marco David, Abhik Pal and Benedikt Stock. Beginners' quest to formalize mathematics: A feasibility study in Isabelle
    OM4
    Michael Kohlhase. OpenMath Society Business Meeting
    LML3
    Wolfgang Dalitz, Wolfram Sperber, Moritz Schubotz, and Hagen Chrapary. alsoMATH - A Database for Mathematical Algorithms and Software
    T12
    Abdou Youssef and Bruce Miller. Explorations into the Use of Word Embedding in Math Search and Math Semantics
    T17
    Katja Berčič, Florian Rabe and Michael Kohlhase. Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation
    11:30
    FMM4
    Peter Koepke. Textbook Mathematics in the Naproche-SAD System
    T24
    Olaf Teschke, Vincent Stange, Moritz Schubotz, Norman Meuschke and Bela Gipp. Forms of Plagiarism in Digital Mathematical Libraries
    LML4
    Gilles Dowek and François Thiré. Logipedia: a multi-system encyclopedia of formal proofs
    T25
    Moa Johansson. Lemma Discovery for Induction - A survey
    T18
    Florian Rabe. MMTTeX: Connecting Content and Narration-Oriented Document Formats
    12:00
    FMM5
    Artur Korniłowicz. Sethood Property in Mizar
    DP1
    Sebastian Sahli. The MATh Tutor project
    T52
    Besik Dundua, Temur Kutsia and Mircea Marin. Variadic Equational Matching
    OM5
    Moritz Schubotz. Wiki Math Community Group Meeting
    LML5
    Michael Kohlhase. The Data Aspect of Large Mathematical Libraries
    Lunch
    T32
    Florian Rabe and Yasmine Sharoda. Diagram Combinators in MMT
    12:30LunchLunchLunchLunch
    13:30
    14:00
    FMM6
    Adam Grabowski. Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library
    DP3
    Takuto Asakura. Understanding Scientific Documents with Synthetic Analysis on Mathematical Expressions and Natural Language
    T34
    Matthew England and Dorian Florescu. Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
    chair: F. Rabe
    WIP53
    Luis Berlioz. Creating a Database of Definitions From Large Mathematical Corpora
    chair: A. Naumowicz
    Tutorial: Exploring the MML
    14:30
    FMM7
    Adrian Jaszczak. Formal Verification of the Correctness of Chosen Algorithms in Mizar
    DP4
    Joshua Chen. Hybrid and alternative logics in Isabelle
    T11
    Zoltán Kovács and Pavel Pech. Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations
    WIP54
    Alexandre Bouquet and Thierry Bouche. GDML : Grenoble Digital Mathematics Library
    15:00
    FMM8
    Sofiene Tahar. Formalization of Dynamic Reliability Algebras in HOL
    DP5
    Jonas Betzendahl. Definedness Reasoning in Formal Mathematics and Theorem Proving
    T23
    Dee Quinlan, Joe Wells and Fairouz Kamareddine. BNF-Style Notation as it is Actually Used
    WIP59
    Alexander Kirillovich, Olga Nevzorova, Marina Falileeva, Evgeny Lipachev and Liliana Shakirova. OntoMathEdu: Towards an Educational Mathematical Ontology
    15:30CoffeeCoffeeCoffeeCoffee
    16:00
    DP6
    Max Rapp. A Unifying Framework for Managing Conflict-laden Content
    T39
    William Farmer and Jacques Carette. Towards Specifying Symbolic Computation
    chair: S. Tahar
    T27
    Claudio Sacerdoti Coen. A Coq plugin to export its libraries to XML
    chair: C. Brown
    Tutorial: Exploring the MML
    16:30
    DP7
    Yasmine Sharoda. Leveraging Information Contained in a Theory Presentation
    T29
    Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen and Makarius Wenzel. Relational Data Across Mathematical Libraries
    T49
    Dennis Müller, Florian Rabe and Claudio Sacerdoti Coen. The Coq Library as a Theory Graph
    17:00
    DP8
    Tom Wiesing. Evolving MathHub for Tetrapodal Math
    T47
    Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly Sutherland and Peter Cheng. Inspection and selection of representations
    Business Meeting

    (chair: W. Farmer)
    17:30
    DP9
    Qingxiang Wang. Automating Formalization of Mathematics with Machine Learning and Data Mining
    evening

    Legend

    ConferenceWorkshops and TutorialOther
    Invited TalksCICM generalDoctoral ProgramFormal Mathematics for Mathematicians (FMM)OpenMathLarge Mathematical Libraries (LML)Tutorial: Exploring the Mizar Mathematical Library (EMML)Business meetingFree
  • News

    • tentative informal proceedings
    • formal proceedings online
    • detailed program online
    • 3 invited speakers
    • accepted papers announced
    • registration open
    • extended deadline
    • four workshops and tutorial confirmed
    • LNAI proceedings confirmed
    • initial program committee
    • initial website online
Privacy policy and legal information
Last modified: March 26 2024 12:31:27 CET