{"id":88,"date":"2021-04-02T08:55:05","date_gmt":"2021-04-02T08:55:05","guid":{"rendered":"http:\/\/synasc.ro\/2021\/?page_id=88"},"modified":"2021-08-16T11:02:47","modified_gmt":"2021-08-16T11:02:47","slug":"advances-in-the-theory-of-computing","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2021\/advances-in-the-theory-of-computing\/","title":{"rendered":"Theory of Computing"},"content":{"rendered":"\n<ul class=\"wp-block-list\"><li>data structures and algorithms<\/li><li>combinatorial optimization<\/li><li>formal languages and combinatorics on words<\/li><li>graph-theoretic and combinatorial methods in computer science<\/li><li>algorithmic paradigms, including distributed, online, approximation, probabilistic, game-theoretic algorithms<\/li><li>computational complexity theory, including structural complexity, boolean complexity, communication complexity, average-case complexity, derandomization and property testing<\/li><li>logical approaches to complexity, including finite model theory<\/li><li>algorithmic and computational learning theory<\/li><li>aspects of computability theory, including computability in analysis and algorithmic information theory<\/li><li>proof complexity<\/li><li>computational social choice and game theory<\/li><li>new computational paradigms: CNN computing, quantum, holographic and other non-standard approaches to computability<\/li><li>randomized methods, random graphs, threshold phenomena and typical-case complexity<\/li><li>automata theory and other formal models, particularly in relation to formal verification methods such as model checking and runtime verification<\/li><li>applications of theory, including wireless and sensor networks, computational biology and computational economics<\/li><li>experimental algorithmics<\/li><\/ul>\n\n\n\n<p><strong>Track Chairs:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Mircea Marin, West University of Timisoara, Romania <\/li><li>Gabriel Istrate, Institute e-Austria Timisoara, Romania <\/li><\/ul>\n\n\n\n<p><strong>Program Committee<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Manea Florin, University of G\u00f6ttingen<\/li><li>Elena Grigorescu, Purdue University<\/li><li>Cosmin Bonchis, West University Timisoara<\/li><li>Adrian Craciun, West University Timisoara<\/li><\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>data structures and algorithms combinatorial optimization formal languages and combinatorics on words graph-theoretic and combinatorial methods in computer science algorithmic paradigms, including distributed, online, approximation, probabilistic, game-theoretic algorithms computational complexity theory, including structural complexity, boolean complexity, communication complexity, average-case complexity, derandomization and property testing logical approaches to complexity, including finite model theory algorithmic and computational [&hellip;]<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-88","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/88","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/comments?post=88"}],"version-history":[{"count":7,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/88\/revisions"}],"predecessor-version":[{"id":504,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/88\/revisions\/504"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/media?parent=88"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}