THE CENTER OF GRAVITY FOR ENTREPRENEURS IN TEXAS
An event every month that begins at 6:30pm on day Fourth of the month, repeating until January 1, 2026
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, model checking, correct-by-construction, AI robustness, and more. We aim to bring together engineers, researchers, students, and professors from academia and industry—whether or not they currently use formal methods in their work.
Our goal is to deepen understanding, explore new ideas, collaborate on new projects, and discuss notable existing projects (like seL4, CompCert, Idris, Quickcheck, Dafny, and more). The group fosters meaningful conversations and networking, providing opportunities to connect with like-minded peers and experts in the field. Whether you’re a seasoned professional or just starting to explore formal methods (assuming at least some computer science, mathematics, or software engineering background), we welcome you to join us for presentations, discussions, and growth.
Kubernetes Austin is the official Kubernetes meetup for Austin, Texas. We host talks from anyone doing cool things with Kubernetes, including companies using K8S in production or vendors pushing the boundaries of what K8S can do. Presentations are demo-focused and not sales pitches. Our meetups will always be FREE to attend!
We aim to host a regular event to discuss the latest trends, strategies, and innovations in Sales Technology and techniques across various industries.
In each session, expert speakers share insights and actionable tips on growing sales in different fields. Moderated by founders of Big Sister AI – Valentyn or Lucy Yaromenko – the event will also include discussions to identify the most effective strategies for sales growth.
Our target audience includes sales leaders: RevOps, Sales Ops, VPs of Sales, Heads of Sales, and entrepreneurs.
Policy Hacking with Farm&City is a monthly gathering designed to engage and support citizen advocacy in local communities. Farm&City is re-starting these networking opportunities and facilitating dialogue that will shift the paradigm of growth and development toward greater sustainability and equity in Texas.
The absolute hardest thing for any start-up is winning its first million dollars in revenue. This may be more challenging if you’re an introvert, an engineer who loves getting into the nitty gritty details of each feature, or someone who is new to sales in general. In this class, you will learn how to sell anything. In fact, there are at least 3 interactive exercises as we all improve with “batting practice.” We will also dive into the discovery phase – which is one of the most important steps, yet sadly overlooked and handed off to the least qualified person in any business. We’ll also play around with tools such as Clay and show how you go from ICP to building a specific list to enriching the data to finding actual contacts. And if there’s time, we’ll jump into how to pitch a CEO about your company. Please arrive early as the agenda is packed and I plan to start on time.
Austin Deep Learning Meetup: Bridging Cutting-Edge AI and Top Talent
Established in 2016, the Austin Deep Learning Meetup stands at the forefront of the city’s AI community. With a robust membership of over 3,000 practitioners, researchers, and professionals, our group is the pivotal platform for machine learning and AI talent in Austin.
Our core focus is on deeply technical talks that delve into the latest advancements in deep learning, covering a spectrum of topics including computer vision, predictive modeling, and natural language processing. These talks foster a rich learning and sharing environment.
The Austin Deep Learning Meetup serves as a vital nexus for AI professionals and companies. It’s a place where the brightest minds in AI converge with industry leaders seeking top-tier talent. Each event, consistently attracting dozens of attendees, is not just a learning experience but a unique opportunity for networking, career growth, and talent acquisition.
We invite machine learners, data scientists, AI professionals, and enthusiasts to join our thriving community. Whether you’re seeking to share your expertise, learn from peers, or explore new career pathways in AI, our meetup is your destination in Austin.
Please Note: To maintain the group’s educational and professional integrity, we kindly request no sales pitches during our meetups.
Austin Entrepreneurs, Marketers, Startup Founders & AI Enthusiasts
Elevate Your Game: Supercharge Your Business with Marketing & AI!
The future of business is here, and it’s infused with AI and marketing automation! Don’t miss your golden opportunity to be a part of the revolution. Join us, and together, let’s write a new chapter of innovation, growth, and unparalleled success!
Women in Tech meetups aim to unite women in technology and business worldwide, creating a powerful global network that fosters expansion and innovation. The Austin chapter of W.tech is dedicated to building a strong business IT community in our city, helping new women integrate into Austin’s business landscape, and driving local business development.
By Appointment Only
Our doors are open! Reach out to Members@CapitalFactory.com to book your private, in-person membership tour.
