Formal Methods are techniques and tools which use rigorous mathematical logic to design, analyze, and verify systems with provable properties like correctness, reliability, and security.The Austin Formal Methods User Group is a community for those passionate about the wide-ranging field of formal methods. Our interests span interactive theorem provers, SAT/SMT solvers, type theory, temporal logic, […]
Topic Synopsis:nnYour most important project is you. Project You: Optimize Your Brand is an interactive professional-development event designed to help participants define their unique value, strengthen their presence, and communicate their story with confidence.nThrough practical insights and guided exercises, attendees will learn how to align their skills, values, image, and online presence into a clear, […]
Transportation Committee Nov 2026 takes place on Thursday, November 5, 2026, 7:30 AM to 8:30 AM, at Greater New Braunfels Chamber of Commerce, 390 S Seguin AveNew Braunfels, TX 78130. The event is organized by Greater New Braunfels Chamber of Commerce. The Transportation Committee’s primary task is to be a catalyst and promoter of new […]
Deals don’t always go according to plan. Join some of North Texas’ most successful dealmakers for a candid look at their transactions that nearly fell apart and the twists, tough calls and creative solutions that kept them alive. From financing falling through and appraisal gaps to entitlement issues, difficult personalities and unexpected roadblocks, hear the […]
HEFG & FENG with JESSE THOMPSON, Senior Business Economist, Federal Reserve Bank of Dallas takes place on Thursday, November 5, 2026, 8:00 AM to 9:30 AM, at Houston Energy Finance Group, 1801 Allen Pkwy, Houston, TX 77019. The event is organized by Houston Energy Finance Group. Please save the date for a special breakfast program […]
NASW Texas 50th Annual State Conference Registration takes place on Thursday, November 5, 2026, 8:00 AM to 8:00 AM, at National Association of Social Workers, 5600 Seawall Blvd Galveston, Texas 77551. The event is organized by National Association of Social Workers. Join over 1000 of your colleagues from across the state for the annual Meeting […]
Hear about member engagement opportunities and benefits in addition to learning more about the Partnership’s work. Whether you are joining for the first time, renewing after a hiatus, or continuing your support for 2026, this is the perfect occasion to (re)connect with the Greater Houston Partnership.nnThis is open to nonmembers and members with opportunities to […]
Start Smart: Build a Strong Foundation for Your New BusinessnnStarting a business is exciting, but knowing where to begin can feel overwhelming. Before investing your time and resources, it’s important to understand the essential steps involved in launching a successful business.nnThis webinar provides a practical introduction to the fundamentals of starting a business and helps […]
Texas Residential Leasing Specialist (TRLS) Certification (2 Days) ZOOM ONLY takes place on Thursday, November 5, 2026, 9:00 AM to 4:00 PM, at San Antonio Board of Realtors, 78204. The event is organized by San Antonio Board of Realtors. Landlords and tenants want a real estate professional who understands their needs and guides them through […]
Latinos in Agribusiness Summit takes place on Thursday, November 5, 2026, 9:30 AM to 1:30 PM, at Greater Dallas Hispanic Chamber of Commerce, 3800 Maple Ave., 7th Floor Dallas, TX 75219. The event is organized by Greater Dallas Hispanic Chamber of Commerce. Registration, tickets, and the full event details are available through the official event […]