AIMS
  • AIMS
    • Shkodra
  • Research
    • Computer Algebra Software
    • Artificial Intelligence
      • Graded Transformers
    • Arithmetic Geometry
    • Machine Learning in Mathematics
    • Computational Linguistics
    • Hyperelliptic Isogeny Based Cryptography
      • Abelian Varieties and Cryptography
    • Galois Theory: A database approach
      • Gal-1
      • Invariants
    • Homomorphic Encryption
    • Cybersecurity and cryptography
      • Financial Cyber Security
    • NeuroSymbolic AI
      • ML and Invariant Theory
      • Equivariant Neural Networks
    • Mathematics Education
  • Conferences & Seminars
    • Seminars
      • Artificial Intelligence Seminar
      • Arithmetic Geometry Seminar
      • Quantum Computation Unleashed: Bridging Math, Physics, and Code
    • AIMS Conference Series
      • AIMS Board
      • AIMS Organizing Special Sessions
      • AIMS-25
        • AIMS 2025: Schedule
        • AIMS 2025: Registration
        • AIMS 2025: Proceedings
      • AIMS-26
      • AIMS-27
    • Quantum Computer Algebra
      • QCA 2026
        • Registration QCA 2025
        • Program QCA 2025
        • Participants QCA 2025
        • SS-01
        • SS-02
        • SS-03
      • Quantum Resources
      • QCA Board
      • Organizing Special Sessions
      • QCA Forms
    • Isogeny based post-quantum cryptography
      • Talks
      • Accommodations
      • Proceedings
    • Machine Learning
    • Seville 24
      • Participants
    • Milwaukee 2024
    • Quantum 2023
    • Boston-23
    • Algebra 2022
      • Algebra 2022: Talks
      • Participants
      • Special Issue
      • Activities
    • ACA 2010
    • ACA 2007
    • Moscow 2005
  • Publications
    • Journals
      • Albanian Journal of Mathematics
        • Editorial Board
        • Archives
        • Submissions
    • Books and Editorial
      • Textbooks
      • ML-Cont-Math
        • Contemporary Math (2025)
      • NATO Proceedings
    • Preprints
      • 2024-03
  • About us
    • Bylaws
    • Administration
  • Admissions
    • Admission criteria for Undergraduates
    • Admission tests
    • Application forms
    • Tuition and scholarships
    • Registration
      • Schedule
  • Education & Training
    • Academic programs
    • RISAT Courses
      • Abstract Algebra
      • Cryptosystems in automotive industry
      • MAT 151: Linear Algebra
      • Calculus II
      • Calculus III
      • Machine Learning with Pytorch
      • mat-471: Computational Algebra
    • Summer Schools
    • Graduate Certificates
  • Email
AIMS
Conferences in NeuroSymbolic AI

Conferences in NeuroSymbolic AI

  • May 28-30, Philadelphia
    2nd International Conference on Neuro-symbolic Systems

  • September 8-10, University of  Santa Cruz, CA
    19th International Conference on Neurosymbolic Learning and Reasoning

  • Neural Networks and Machine Learning Conferences (Calendar)

Institute for Artificial Intelligence & Mathematical Sciences (IAIMS) • Rochester, MI, USA

✉ [email protected]  |  🔗 LinkedIn: https://www.linkedin.com/company/107281200

© 2025 RISAT — All rights reserved.  •  About  •  Webpage:  https://www.risat.org/