Skip to content
National Institute of Aerospace
  • About
    • About Us
    • Our Mission
    • President’s Message
    • Executive Leadership
    • Board of Directors
    • Member Institutions
    • Business Solutions
    • Newsroom
    • Career Opportunities
    • Contact Us
  • Research
    • Research Areas
    • Research Programs
    • Research Centers
    • Research and Innovation Laboratories
    • Publications
    • Patents
    • Awards
  • Continuing Education
    • Seminars
    • Meetings, Short Courses and Workshops
  • Educational Outreach
    • K-20 Education Programs
    • Higher Education Competitions
  • Media Communications Group
    • Digital Media Products
    • Live Streaming Events
    • Interactive Engagements
    • Outreach Awards

    Tag: Frederic Gilbert

    July 19, 2016in Seminars0by Bianca Clark

    07-22-2016 | Carlos Lopez Pombo: Practical Aspects of Connecting Theories Through Algebraic Relations | Frederic Gilbert: Proof Certificates in PVS

    Title #1: Practical Aspects of Connecting Theories Through Algebraic Relations Speaker: Carlos G. Lopez Pombo, University of Buenos Aires and CONICET (Argentina) Date: Friday, July 22, 2016 Time: 10:00am Location:…

    Read more
    ABOUT US
    Who We Are
    Our Mission
    Member Institutions
    REaKTOR Accelerator
    Career Opportunities
    Contact Us
    BUSINESS WITH NIA
    Business Solutions and Contacts
    Subcontractor Resources
    ADDITIONAL LINKS

    Terms of Usage
    Newsroom

    SOCIAL MEDIA

    Facebook

    © 2025 National Institute of Aerospace. All rights reserved.
    Address:1100 Exploration Way Hampton, VA 23666
    Email:inquiries@nianet.org
    Phone:(757) 325-6700