{"id":1530,"date":"2017-05-29T10:32:58","date_gmt":"2017-05-29T09:32:58","guid":{"rendered":"https:\/\/www.prover.com\/?p=1530"},"modified":"2024-06-20T10:32:20","modified_gmt":"2024-06-20T09:32:20","slug":"prover-sponsor-of-logic-in-stockholm-2017","status":"publish","type":"post","link":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/","title":{"rendered":"Prover sponsor of Logic in Stockholm 2017"},"content":{"rendered":"

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<\/a> and the 25th annual conference Computer Science Logic<\/a> will take place in Stockholm, together with a number of satellite events such as a summer school for masters students and PhD students.<\/p>\n

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.<\/p>\n

For more information about all the events, visit Logic in Stockholms website\u00a0here<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"

For those of us who like mathematical logic, there is a series of logic events in Stockholm this summer. It […]<\/p>\n","protected":false},"author":17,"featured_media":1522,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159],"tags":[73],"class_list":["post-1530","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news","tag-railway-events"],"yoast_head":"\nProver sponsor of Logic in Stockholm 2017 - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover is a proud sponsor of Logic in Stockholm 2017.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover sponsor of Logic in Stockholm 2017 - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover is a proud sponsor of Logic in Stockholm 2017.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2017-05-29T09:32:58+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-06-20T09:32:20+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"700\" \/>\n\t<meta property=\"og:image:height\" content=\"501\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Jesper Carlstr\u00f6m\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Jesper Carlstr\u00f6m\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/\"},\"author\":{\"name\":\"Jesper Carlstr\u00f6m\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\"},\"headline\":\"Prover sponsor of Logic in Stockholm 2017\",\"datePublished\":\"2017-05-29T09:32:58+00:00\",\"dateModified\":\"2024-06-20T09:32:20+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/\"},\"wordCount\":128,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp\",\"keywords\":[\"Railway Events\"],\"articleSection\":[\"Company news\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/\",\"url\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/\",\"name\":\"Prover sponsor of Logic in Stockholm 2017 - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp\",\"datePublished\":\"2017-05-29T09:32:58+00:00\",\"dateModified\":\"2024-06-20T09:32:20+00:00\",\"description\":\"Prover is a proud sponsor of Logic in Stockholm 2017.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp\",\"width\":700,\"height\":501},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Company news\",\"item\":\"https:\/\/www.prover.com\/categories\/company-news\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover sponsor of Logic in Stockholm 2017\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\",\"name\":\"Jesper Carlstr\u00f6m\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"caption\":\"Jesper Carlstr\u00f6m\"},\"url\":\"https:\/\/www.prover.com\/author\/jesper-carlstrom\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Prover sponsor of Logic in Stockholm 2017 - Prover - Engineering a Safer World","description":"Prover is a proud sponsor of Logic in Stockholm 2017.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/","og_locale":"en_US","og_type":"article","og_title":"Prover sponsor of Logic in Stockholm 2017 - Prover - Engineering a Safer World","og_description":"Prover is a proud sponsor of Logic in Stockholm 2017.","og_url":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2017-05-29T09:32:58+00:00","article_modified_time":"2024-06-20T09:32:20+00:00","og_image":[{"width":700,"height":501,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp","type":"image\/jpeg"}],"author":"Jesper Carlstr\u00f6m","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Jesper Carlstr\u00f6m","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/"},"author":{"name":"Jesper Carlstr\u00f6m","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb"},"headline":"Prover sponsor of Logic in Stockholm 2017","datePublished":"2017-05-29T09:32:58+00:00","dateModified":"2024-06-20T09:32:20+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/"},"wordCount":128,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp","keywords":["Railway Events"],"articleSection":["Company news"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/","url":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/","name":"Prover sponsor of Logic in Stockholm 2017 - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp","datePublished":"2017-05-29T09:32:58+00:00","dateModified":"2024-06-20T09:32:20+00:00","description":"Prover is a proud sponsor of Logic in Stockholm 2017.","breadcrumb":{"@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/logic-in-stockholm-jpg.webp","width":700,"height":501},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/company-news\/prover-sponsor-of-logic-in-stockholm-2017\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Company news","item":"https:\/\/www.prover.com\/categories\/company-news\/"},{"@type":"ListItem","position":3,"name":"Prover sponsor of Logic in Stockholm 2017"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb","name":"Jesper Carlstr\u00f6m","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","caption":"Jesper Carlstr\u00f6m"},"url":"https:\/\/www.prover.com\/author\/jesper-carlstrom\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1530","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=1530"}],"version-history":[{"count":1,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1530\/revisions"}],"predecessor-version":[{"id":6570,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1530\/revisions\/6570"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/1522"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=1530"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=1530"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=1530"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}