{"id":22848,"date":"2019-01-30T12:53:59","date_gmt":"2019-01-30T12:53:59","guid":{"rendered":"https:\/\/ss.ibsu.edu.ge\/ibsu\/?post_type=bt&p=3848"},"modified":"2025-01-21T09:50:45","modified_gmt":"2025-01-21T05:50:45","slug":"the-winter-school-on-theoretical-foundations-of-computer-science-2019","status":"publish","type":"post","link":"https:\/\/ibsu.edu.ge\/en\/the-winter-school-on-theoretical-foundations-of-computer-science-2019\/","title":{"rendered":"The\u00a0Winter\u00a0School\u00a0on\u00a0Theoretical\u00a0Foundations\u00a0of\u00a0Computer\u00a0Science 2019"},"content":{"rendered":"

<\/p>\n

The\u00a0winter<\/span><\/span>\u00a0school<\/span><\/span>\u00a0on\u00a0Theoretical<\/span>\u00a0Foundations<\/span>\u00a0of\u00a0Computer<\/span>\u00a0Science<\/span>\u00a0(https:\/\/cte.ibsu.edu.ge\/wstfcs2019\/<\/a>) will be held in Tbilisi, Georgia, February 4-9, 2019. The\u00a0school<\/span><\/span>\u00a0will be organized by the International Black Sea University with the support of Shota Rustaveli National\u00a0Science<\/span>\u00a0Foundation of Georgia (SRNSFG). The intended audience of the\u00a0winter<\/span><\/span>\u00a0school<\/span><\/span>\u00a0includes master and PhD students as well as young researchers from the fields of\u00a0computer<\/span>\u00a0science<\/span>\u00a0and mathematics. The lecturers and subjects of the\u00a0school<\/span><\/span>\u00a0are:<\/div>\n
<\/div>\n
Volker Diekert (University of Stuttgart, Germany) – Algorithms and Complexity<\/div>\n
<\/div>\n
Santiago Escobar (Polytechnic University of Valencia, Spain) – Program Verification<\/div>\n
<\/div>\n
Boris Konev (University of Liverpool, UK) – Logic for\u00a0Computer<\/span>\u00a0Scientists<\/div>\n
<\/div>\n
Temur Kutsia (RISC, Johannes Kepler University of Linz, Austria) – Automated Reasoning<\/div>\n
<\/div>\n
Luigi Liquori (INRIA Sophia Antipolis-M\u00e9diterran\u00e9e, France) –\u00a0Foundations<\/span>\u00a0of Peer-to-peer Networks and Tools<\/div>\n
<\/div>\n
Mircea Marin (West University of Timisoara, Romania) –\u00a0Foundations<\/span>\u00a0of Programming Languages<\/div>\n
<\/div>\n
Tamara Mchedlidze (Karlsruhe Institute of Technology, Germany) – Algorithms for Graph Visualization<\/div>\n

<\/p>","protected":false},"excerpt":{"rendered":"

The\u00a0winter\u00a0school\u00a0on\u00a0Theoretical\u00a0Foundations\u00a0of\u00a0Computer\u00a0Science\u00a0(https:\/\/cte.ibsu.edu.ge\/wstfcs2019\/) will be held in Tbilisi, Georgia, February 4-9, 2019. The\u00a0school\u00a0will be organized by the International Black Sea University with the support of Shota Rustaveli National\u00a0Science\u00a0Foundation of Georgia (SRNSFG). The intended audience of the\u00a0winter\u00a0school\u00a0includes master and PhD students as well as young researchers from the fields of\u00a0computer\u00a0science\u00a0and mathematics. The lecturers and subjects of the\u00a0school\u00a0are: Volker<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[75],"tags":[],"class_list":["post-22848","post","type-post","status-publish","format-standard","hentry","category-school-of-business"],"_links":{"self":[{"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/posts\/22848","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/comments?post=22848"}],"version-history":[{"count":0,"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/posts\/22848\/revisions"}],"wp:attachment":[{"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/media?parent=22848"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/categories?post=22848"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ibsu.edu.ge\/en\/wp-json\/wp\/v2\/tags?post=22848"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}