{"id":54,"date":"2022-02-25T08:39:32","date_gmt":"2022-02-25T08:39:32","guid":{"rendered":"https:\/\/synasc.ro\/2022\/?page_id=54"},"modified":"2023-02-20T11:59:19","modified_gmt":"2023-02-20T11:59:19","slug":"comittees","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2023\/comittees\/","title":{"rendered":"Committees"},"content":{"rendered":"\n<p><strong>Honorary Chair:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Bruno Buchberger, Johannes Kepler University, Austria<\/li><\/ul>\n\n\n\n<p><strong>Steering Committee:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Anca Mirela Andreica, Babes-Bolyai University of Cluj-Napoca, Romania<\/li><li>James Davenport, University of Bath, UK<\/li><li>Tetsuo Ida, University of Tsukuba, Japan<\/li><li>Tudor Jebelean, Johannes Kepler University, Austria<\/li><li>Laura Kovacs, Technical University of Vienna, Austria<\/li><li>Dorel Lucanu, &#8220;Alexandru Ioan Cuza&#8221; University of Iasi, Romania<\/li><li>Viorel Negru, West University of Timisoara, Romania<\/li><li>Dana Petcu, West University of Timisoara, Romania<\/li><li>Alin Stefanescu, University of Bucharest, Romania<\/li><li>Stephen Watt, University of Waterloo, Canada<\/li><li>Daniela Zaharie, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><strong>General Chairs:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Viorel Negru, West University of Timisoara, Romania<\/li><li>Daniela Zaharie, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><strong>Program Chairs:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Sorin Stratulat, Universit\u00e9 de Lorraine, France<\/li><li>Mircea Marin, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><strong>Track Chairs:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Symbolic Computation<ul><li>James Davenport, University of Bath, UK<\/li><li>Stephen Watt, University of Waterloo, Ontario, Canada<\/li><\/ul><\/li><li>Numerical Computing Stephen Takacs, Johannes Kepler University Linz, Austria<ul><li>Stephen Takacs, Johannes Kepler University Linz, Austria<\/li><li>Eva Kaslik, West University of Timisoara, Romania<\/li><li>Dorota Mozyrska, Bialystok University of Technology, Poland<\/li><\/ul><\/li><li>Logic and Programming <ul><li>Nikolaj Bjorner, Microsoft Research, USA<\/li><li>Arie Gurfinkel, University of Waterloo, Canada<\/li><li>Laura Kovacs, Technical University of Vienna, Austria<\/li><\/ul><\/li><li>Artificial Intelligence <ul><li>Edwin Lughofer, Johannes Kepler University, Linz, Austria<\/li><\/ul><ul><li>Andrei Petrovski, Robert Gordon University, UK<\/li><li>Daniela Zaharie, West University of Timisoara, Romania<\/li><\/ul><\/li><li>Distributed Computing<ul><li>Marc Frincu, Nottingham Trent University, UK<\/li><li>Dana Petcu, West University of Timisoara, Romania<\/li><\/ul><\/li><li>Theory of Computing <ul><li>Mircea Marin, West University of Timisoara, Romania<\/li><li>Gabriel Istrate, University of Bucharest, Romania<\/li><\/ul><\/li><\/ul>\n\n\n\n<p><strong>Special Sessions and Workshops Chair:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Daniel Pop, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><strong>Tutorial Chair:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Florin Fortis, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><strong>Proceedings Chairs:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Sorin Stratulat, Universit\u00e9 de Lorraine, France<\/li><li>Mircea Marin, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><strong>Local Organizing Committee:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Horatiu Cirstea, Universit\u00e9 de Lorraine, France &#8211; chair<\/li><li>Marie Baron, LORIA, France<\/li><li>Nathalie Fritz, LORIA, France <\/li><li>Juline Brevillet, LORIA, France<\/li><li>Isabela Dramnesc, West University of Timisoara<\/li><\/ul>\n\n\n\n<p><strong>Web and online Chairs:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Flavia Micota, West University of Timisoara, Romania<\/li><li>Cosmin Bonchis, West University of Timisoara, Romania<\/li><li>Theodor Grumeza, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><strong>Publicity Chairs:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Marie Baron, LORIA, France<\/li><li>Silviu Panica, Institute e-Austria Timisoara, Romania<\/li><li>Sebastian Stefaniga, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><strong>Technical Committee Chairs:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Dorin Cazan, West University of Timisoara, Romania<\/li><li>Razvan Iovescu, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Honorary Chair: Bruno Buchberger, Johannes Kepler University, Austria Steering Committee: Anca Mirela Andreica, Babes-Bolyai University of Cluj-Napoca, Romania James Davenport, University of Bath, UK Tetsuo Ida, University of Tsukuba, Japan Tudor Jebelean, Johannes Kepler University, Austria Laura Kovacs, Technical University of Vienna, Austria Dorel Lucanu, &#8220;Alexandru Ioan Cuza&#8221; University of Iasi, Romania Viorel Negru, West [&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-54","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/54","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/comments?post=54"}],"version-history":[{"count":8,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/54\/revisions"}],"predecessor-version":[{"id":568,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/54\/revisions\/568"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/media?parent=54"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}