Ada SPARK Office Hours

AdaCore is hosting bi-weekly office hours to discuss any matters related to Ada and SPARK.

Our office hours are open to Ada enthusiasts, people collaborating on open-source projects, students, academia, and professional software engineers. Office hours are unstructured brainstorming and collaborative sessions. AdaCore experts will host the sessions, and people are free to join for the entire session or just to ask a question.

We expect one of the hot topics in these sessions to be on how to use LLMs most effectively to advance your Ada and SPARK usage and elevate your projects to SPARK Mode Silver.