{"id":44,"date":"2022-02-25T08:24:51","date_gmt":"2022-02-25T08:24:51","guid":{"rendered":"https:\/\/synasc.ro\/2022\/?page_id=44"},"modified":"2024-07-25T09:18:53","modified_gmt":"2024-07-25T09:18:53","slug":"theory-of-computing","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2024\/theory-of-computing\/","title":{"rendered":"Theory of Computing"},"content":{"rendered":"\n<ul class=\"wp-block-list\">\n<li>data structures and algorithms<\/li>\n\n\n\n<li>combinatorial optimization<\/li>\n\n\n\n<li>formal languages and combinatorics on words<\/li>\n\n\n\n<li>graph-theoretic and combinatorial methods in computer science<\/li>\n\n\n\n<li>algorithmic paradigms, including distributed, online, approximation, probabilistic, game-theoretic algorithms<\/li>\n\n\n\n<li>computational complexity theory, including structural complexity, boolean complexity, communication complexity, average-case complexity, derandomization and property testing<\/li>\n\n\n\n<li>logical approaches to complexity, including finite model theory<\/li>\n\n\n\n<li>algorithmic and computational learning theory<\/li>\n\n\n\n<li>aspects of computability theory, including computability in analysis and algorithmic information theory<\/li>\n\n\n\n<li>proof complexity<\/li>\n\n\n\n<li>computational social choice and game theory<\/li>\n\n\n\n<li>new computational paradigms: CNN computing, quantum, holographic and other non-standard approaches to computability <\/li>\n\n\n\n<li>randomized methods, random graphs, threshold phenomena and typical-case complexity<\/li>\n\n\n\n<li>automata theory and other formal models, particularly in relation to formal verification methods such as model checking and runtime verification<\/li>\n\n\n\n<li>applications of theory, including wireless and sensor networks, computational biology and computational economics<\/li>\n\n\n\n<li>experimental algorithmics<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Track Chairs:<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Mircea Marin<\/strong>, West University of Timisoara, Romania<\/li>\n\n\n\n<li><strong>Gabriel Istrate<\/strong>, Institute e-Austria Timisoara, Romania<\/li>\n<\/ul>\n\n\n\n<p><strong>Program Committee<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Cosmin Bonchi\u0219<\/strong>, West University of Timisoara, Romania<\/li>\n\n\n\n<li><strong>Adrian Cr\u0103ciun<\/strong>, West University of Timisoara, Romania<\/li>\n\n\n\n<li><strong>Elena Grigorescu<\/strong>, Purdue University, USA<\/li>\n\n\n\n<li><strong>Tamio-Vesa Nakajima<\/strong>, University of Oxford, UK<\/li>\n\n\n\n<li><strong>Alexandru Popa<\/strong>, University of Bucharest, Romania<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Track Chairs: Program Committee<\/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-44","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/44","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/comments?post=44"}],"version-history":[{"count":7,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/44\/revisions"}],"predecessor-version":[{"id":1105,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/44\/revisions\/1105"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/media?parent=44"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}