For those of us who like mathematical logic, there is a series of logic events in Stockholm this summer. It is an excellent opportunity to meet inspiring people and see where formal logic is heading today. Both the traditional Logic Colloquium and the 25th annual conference Computer Science Logic will take place in Stockholm, together with a number of satellite events such as a summer school for masters students and PhD students.
Prover is a proud sponsor of these exciting meetings taking place this summer. We are also happy that Stockholm could attract all these meetings. Hopefully it will inspire students to work in the area of formal logic.
For more information about all the events, visit Logic in Stockholms website here.
Share this article
Learn to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
Meet the Prover team at InnoTrans 2026. Explore Open Signaling, watch live demos, and book a meeting to discuss open signaling.
Engineering is accelerating with AI, but clarity and control are now the real bottlenecks. Learn how executable specifications and formal verification enable faster, more reliable systems.
Do you have experience in leading strategic and complex customer projects? Are you looking for an opportunity to leverage your experience throughout our company? Then this role might be right for you! We are now recruiting to a new position as a Commercial Project Management (PM) Lead.
