Prover sponsor of Logic in Stockholm 2017

Prover sponsor of Logic in Stockholm 2017

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.

By | 2017-09-21T11:33:11+00:00 May 29th, 2017|Company News|

By continuing to use the site, you agree to the use of cookies. More information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this. To find out more, visit