{"id":75,"date":"2014-01-22T19:29:40","date_gmt":"2014-01-22T17:29:40","guid":{"rendered":"http:\/\/synasc.ro\/s2015\/?page_id=75"},"modified":"2026-05-19T11:31:39","modified_gmt":"2026-05-19T09:31:39","slug":"committees","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2017\/committees\/","title":{"rendered":"Committees"},"content":{"rendered":"<p><span style=\"font-size: 16px;\"><strong>Honorary Chairs<\/strong><\/span><\/p>\n<p style=\"padding-left: 30px;\">Bruno Buchberger,\u00a0<em>Johannes Kepler University, Austria<br \/>\n<\/em>Stefan Maruster, <em>West University of Timisoara, Romania<br \/>\n<\/em><\/p>\n<p><span style=\"font-size: 16px;\"><strong>Steering Committee<\/strong><\/span><\/p>\n<p style=\"padding-left: 30px;\">Tetsuo Ida, <em>University of Tsukuba, Japan<\/em><br \/>\nTudor Jebelean, <em>Johannes Kepler University, Austria<\/em><br \/>\nViorel Negru, <em>West University of Timisoara, Romania<\/em><br \/>\nDana Petcu, <em>West University of Timisoara, Romania<\/em><br \/>\nStephen Watt, <em>University of Waterloo<\/em>, <em>Canada<\/em><br \/>\nDaniela Zaharie, <em>West University of Timisoara, Romania<\/em><\/p>\n<p><strong><span style=\"font-size: 16px;\">General Chairs<\/span><\/strong><\/p>\n<p style=\"padding-left: 30px;\">Viorel Negru, <em>West University of Timisoara, Romania<br \/>\n<\/em>Dana Petcu,<em> West University of Timisoara, Romania<br \/>\n<\/em><\/p>\n<p><span style=\"font-size: 16px;\"><strong>Program Chairs<\/strong><\/span><\/p>\n<p style=\"padding-left: 30px;\">Tudor Jebelean, <em>Johannes Kepler University, Linz, Austria<br \/>\n<\/em>Daniela Zaharie,<em> <em>West University of Timisoara, Romania<\/em><br \/>\n<\/em><\/p>\n<p><span style=\"font-size: 12pt;\"><strong>Track\u00a0Chairs<\/strong><\/span><\/p>\n<p style=\"padding-left: 30px;\"><em>Symbolic Computation<\/em><\/p>\n<p style=\"padding-left: 60px;\">James Davenport,\u00a0<em>University of Bath,\u00a0UK<\/em><br \/>\nStephen Watt, <em>University of Waterloo, Canada<\/em><\/p>\n<p style=\"padding-left: 30px;\"><em>Numerical Computing<\/em><\/p>\n<p style=\"padding-left: 60px;\">Eva Kaslik,\u00a0<em>West University of Timisoara, Romania<br \/>\n<\/em>Stefan Takacs<em>, Johannes Kepler University Linz, Austria<\/em><\/p>\n<p style=\"padding-left: 30px;\"><em>Logic and Programming<\/em><\/p>\n<p style=\"padding-left: 60px;\">Nikolaj Bjorner, \u00a0<em>Microsoft, USA<br \/>\n<\/em>Laura Kovacs,<em> Technical University of Vienna, Austria<br \/>\n<\/em><\/p>\n<p style=\"padding-left: 30px;\"><em>Artificial Intelligence<\/em><\/p>\n<p style=\"padding-left: 60px;\">Andrei Petrovski,\u00a0<em>Robert Gordon University, UK<br \/>\n<\/em>Daniela Zaharie,\u00a0<em><em>West University of Timisoara, Romania<\/em><\/em><\/p>\n<p style=\"padding-left: 30px;\"><em>Distributed Computing<\/em><\/p>\n<p style=\"padding-left: 60px;\">Karoly Bosa,\u00a0<em>Johannes Kepler University Linz, Austria<br \/>\n<\/em>Marc Frincu, <em>West University of Timisoara, Romania<\/em><\/p>\n<p style=\"padding-left: 30px;\"><em>Advances in the Theory of Computing<\/em><\/p>\n<p style=\"padding-left: 60px;\">Gabriel Istrate,\u00a0<em>Research Institute e-Austria Timisoara, Romania<\/em><br \/>\nMircea Marin,\u00a0<em>West University of Timisoara, Romania<\/em><\/p>\n<p><strong><span style=\"font-size: 16px;\">Special sessions and workshops chair<\/span><\/strong><\/p>\n<p style=\"padding-left: 30px;\">Daniel Pop, <em>West University of Timisoara, Romania<\/em><\/p>\n<p><span style=\"font-size: 16px;\"><strong>Tutorial chair<\/strong><\/span><\/p>\n<p style=\"padding-left: 30px;\">Florin Fortis, <em>West University of Timisoara, Romania<\/em><\/p>\n<p><span style=\"font-size: 16px;\"><strong>Proceedings Chairs<\/strong><\/span><\/p>\n<p style=\"padding-left: 30px;\">Tudor Jebelean<em><em>, Johannes Kepler University, Linz, Austria<\/em>\u00a0<\/em><br \/>\nDaniela Zaharie, <em>West University of Timisoara, Romania<\/em><\/p>\n<p><strong>Local Committee Chairs<\/strong><\/p>\n<p style=\"padding-left: 30px;\">Isabela Dramnesc, <em>West University of Timisoara, Romania<\/em><br \/>\nSilviu Panica, <em>Research Institute e-Austria Timisoara, Romania<br \/>\n<\/em>Monica Tirea,<em> West University of Timisoara, Romania<br \/>\n<\/em>Mihai Gaianu,<em> West University of Timisoara, Romania<br \/>\n<\/em>Sebastian Stef\u0103nig\u0103<em>, West University of Timisoara, Romania<\/em><\/p>\n<div id=\"simple-translate\" class=\"simple-translate-system-theme\">\n<div>\n<div class=\"simple-translate-button isShow\" style=\"background-image: url('chrome-extension:\/\/cllnohpbfenopiakdcjmjcbaeapmkcdl\/icons\/512.png'); height: 22px; width: 22px; top: 413px; left: 37px;\"><\/div>\n<div class=\"simple-translate-panel \" style=\"width: 300px; height: 200px; top: 0px; left: 0px; font-size: 13px;\">\n<div class=\"simple-translate-result-wrapper\" style=\"overflow: hidden;\">\n<div class=\"simple-translate-move\" draggable=\"true\"><\/div>\n<div class=\"simple-translate-result-contents\">\n<p class=\"simple-translate-result\" dir=\"auto\">\n<p class=\"simple-translate-candidate\" dir=\"auto\">\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Honorary Chairs Bruno Buchberger,\u00a0Johannes Kepler University, Austria Stefan Maruster, West University of Timisoara, Romania Steering Committee Tetsuo Ida, University of Tsukuba, Japan Tudor Jebelean, Johannes Kepler University, Austria Viorel Negru, West University of Timisoara, Romania Dana Petcu, West University of Timisoara, Romania Stephen Watt, University of Waterloo, Canada Daniela Zaharie, West University of Timisoara, Romania [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-75","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages\/75","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/comments?post=75"}],"version-history":[{"count":18,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages\/75\/revisions"}],"predecessor-version":[{"id":1657,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages\/75\/revisions\/1657"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/media?parent=75"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}