Charleston Lean Proof Assistant Meetup
Lean is a functional programming language with a highly expressive type system. It can be used to produce performant programs that are guaranteed to meet their specifications, which proves that a large class of bugs cannot exist in your program.
Work Life Balance for Women in STEM
Strategies for Thriving at Work and Home
The "Work Life Balance for Women in STEM" workshop provides an open space for women in STEM industries to learn how to achieve a sustainable work life balance strategy. 50% of women who enter the technology field abandon it by the age of 35. Many cite poor work life balance and burnout. How can women manage responsibilities at home and at work with joy and ease?
What types of courses/programs are offered at CLC?
The CDCLC offers introductory to advanced level technical, business and entrepreneurship classes for a broad audience. Topics include digital literacy, AI, data science, cybersecurity, and animation. The CDC also hosts technical meetups and partners offering specialized programs to a target audience.
VIEW ALL FAQHost your meetup, corporate meeting or private event!
The learning center is ready for private bookings as well as freely available for tech-focused meetup groups (schedule permitting).
- Capacity for up to 40 persons
- Dual 75” presentation screens
- Light/full catering available
- Adjacent parking garage
- Rates from $100 per hour