{"id":4600,"date":"2018-08-24T14:48:19","date_gmt":"2018-08-24T12:48:19","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/"},"modified":"2018-08-24T14:48:19","modified_gmt":"2018-08-24T12:48:19","slug":"symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/","title":{"rendered":"Symposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time"},"content":{"rendered":"

GandALF 2018, the Ninth International Symposium on Games, Automata, Logics, and Formal Verification, will be held September 26\u201328 in Saarbr\u00fccken. It is the first time that the symposium is taking place outside of Italy. The aim of symposium is to bring together researchers from academia and industry who are actively working in the fields of games, automata, logics, and formal verification. Hence, GandALF 2018 covers a wide spectrum of themes to stimulate cross-fertilization, ranging from theory to applications.<\/p>\n

More information:
\nhttps:\/\/www.react.uni-saarland.de\/gandalf2018\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

GandALF 2018, the Ninth International Symposium on Games, Automata, Logics, and Formal Verification, will be held September 26–28 in Saarbrücken. It is the first time that the symposium is taking place outside of Italy. The aim of symposium is to bring together researchers from academia and industry who are actively working in the fields of […]<\/p>\n","protected":false},"featured_media":2911,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[61,58],"class_list":["post-4600","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-migrated-en","sic_news-types-newsflash-en"],"yoast_head":"\nSymposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Symposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"GandALF 2018, the Ninth International Symposium on Games, Automata, Logics, and Formal Verification, will be held September 26–28 in Saarbrücken. It is the first time that the symposium is taking place outside of Italy. The aim of symposium is to bring together researchers from academia and industry who are actively working in the fields of […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/gandalf18_web.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1425\" \/>\n\t<meta property=\"og:image:height\" content=\"589\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\\\/\",\"name\":\"Symposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/gandalf18_web.jpg\",\"datePublished\":\"2018-08-24T12:48:19+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/gandalf18_web.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/gandalf18_web.jpg\",\"width\":1425,\"height\":589},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Symposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Symposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time - Saarland Informatics Campus","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:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/","og_locale":"en_US","og_type":"article","og_title":"Symposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time - Saarland Informatics Campus","og_description":"GandALF 2018, the Ninth International Symposium on Games, Automata, Logics, and Formal Verification, will be held September 26–28 in Saarbrücken. It is the first time that the symposium is taking place outside of Italy. The aim of symposium is to bring together researchers from academia and industry who are actively working in the fields of […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","og_image":[{"width":1425,"height":589,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/gandalf18_web.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/","name":"Symposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/gandalf18_web.jpg","datePublished":"2018-08-24T12:48:19+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/gandalf18_web.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/gandalf18_web.jpg","width":1425,"height":589},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/symposium-on-games-automata-logics-and-formal-verification-held-in-saarbruecken-for-the-first-time\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"Symposium on Games, Automata, Logics, and Formal Verification held in Saarbr\u00fccken for the first time"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/4600","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/2911"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=4600"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=4600"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}