{"id":322,"date":"2021-03-10T11:35:49","date_gmt":"2021-03-10T11:35:49","guid":{"rendered":"http:\/\/easyconferences.eu\/icalp2021\/?page_id=322"},"modified":"2021-06-21T14:53:47","modified_gmt":"2021-06-21T14:53:47","slug":"workshops","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/icalp2021\/workshops\/","title":{"rendered":"Workshops"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.4.1&#8243;][et_pb_row _builder_version=&#8221;4.4.1&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.1&#8243;][et_pb_text _builder_version=&#8221;4.4.1&#8243;]<\/p>\n<h2 style=\"text-align: center;\">Workshops<\/h2>\n<p>[\/et_pb_text][et_pb_divider divider_weight=&#8221;5px&#8221; _builder_version=&#8221;4.4.1&#8243;][\/et_pb_divider][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.1&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.1&#8243;][et_pb_text _builder_version=&#8221;4.4.1&#8243;]<\/p>\n<h4><b>Accepted workshops:<\/b><\/h4>\n<ul>\n<li><strong><a href=\"https:\/\/mertzios.net\/Workshops\/ICALP-21-Satellite\/Temporal-Graphs-ICALP-2021.html\">Algorithmic Aspects of Temporal Graphs IV<\/a><\/strong> organised by:\n<ul>\n<li><a href=\"https:\/\/mertzios.net\/\">George B. Mertzios<\/a>, Durham University, UK<\/li>\n<li><a href=\"https:\/\/www.liverpool.ac.uk\/computer-science\/staff\/paul-spirakis\/\">Paul G. Spirakis<\/a>, University of Liverpool, UK<\/li>\n<li><a href=\"https:\/\/www.dur.ac.uk\/research\/directory\/staff\/?mode=staff&amp;id=18445\">Eleni C. Akrida<\/a>, Durham University, UK<\/li>\n<li><a href=\"https:\/\/www.victorzamaraev.com\">Viktor Zamaraev<\/a>, University of Liverpool, UK<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/sites.google.com\/view\/vest21\/home\"><strong>VEST: Verification of Session Types<\/strong><\/a> organised by:\n<ul>\n<li><a href=\"http:\/\/www.dcs.gla.ac.uk\/~ornela\/\">Ornela Dardha<\/a>, University of Glasgow, UK<\/li>\n<li><a href=\"http:\/\/ctp.di.fct.unl.pt\/~aravara\/\">Ant\u00f3nio Ravara<\/a>, Universidade Nova de Lisboa, Portugal<\/li>\n<\/ul>\n<\/li>\n<li><strong><a href=\"https:\/\/agozillon.github.io\/PRiML\/\">2nd Workshop on Programming Research in Mainstream Languages (PRiML 2021)<\/a><\/strong> organised by:\n<ul>\n<li><a href=\"https:\/\/www.uib.no\/en\/persons\/Seyed.Hossein.HAERI\">Seyed Hossein Haeri<\/a>, University of Bergen, Norway<\/li>\n<li><a href=\"https:\/\/www.uws.ac.uk\/staff-directory\/paul-keir\/\">Paul Keir<\/a>, University of the West of Scotland, UK<\/li>\n<\/ul>\n<\/li>\n<li><strong><a href=\"https:\/\/homepages.ecs.vuw.ac.nz\/~bretteni\/GWP2021\/\">Graph Width Parameters: from Structure to Algorithms (GWP 2021)<\/a><\/strong> organised by:\n<ul>\n<li><a href=\"https:\/\/staff.dc.uba.ar\/fbonomo\/\">Flavia Bonomo<\/a>, Universidad de Buenos Aires, Argentina<\/li>\n<li><a href=\"http:\/\/nickbrettell.com\">Nick Brettell<\/a>, Victoria University of Wellington, NZ<\/li>\n<li><a href=\"https:\/\/pure.qub.ac.uk\/en\/persons\/andrea-munaro\">Andrea Munaro<\/a>, Queen&#8217;s University Belfast, UK<\/li>\n<li><a href=\"http:\/\/community.dur.ac.uk\/daniel.paulusma\/\">Daniel Paulusma<\/a>, Durham University, UK<\/li>\n<\/ul>\n<\/li>\n<li><strong><a href=\"http:\/\/www.dais.is.tohoku.ac.jp\/coreworkshop.html\">Combinatorial Reconfiguration<\/a><\/strong> organised by:\n<ul>\n<li><a href=\"http:\/\/www.dais.is.tohoku.ac.jp\/take\/\">Takehiro Ito<\/a>, Tohoku University, Japan<\/li>\n<li><a href=\"http:\/\/www.lab2.kuis.kyoto-u.ac.jp\/jkawahara\/index-en.html\">Jun Kawahara<\/a>, Kyoto University, Japan<\/li>\n<li><a href=\"http:\/\/dopal.cs.uec.ac.jp\/okamotoy\/\">Yoshio Okamoto<\/a>,the University of Electro-Communications, Japan<\/li>\n<\/ul>\n<\/li>\n<li><strong><a href=\"https:\/\/www7.in.tum.de\/~kretinsk\/fomeo.html\">Formal Methods Education Online: Tips, Tricks &amp; Tools<\/a><\/strong> organised by:\n<ul>\n<li><a href=\"https:\/\/www7.in.tum.de\/~kretinsk\/\">Jan K\u0159et\u00ednsk\u00fd<\/a> (Technical University of Munich, Germany)<\/li>\n<li><a href=\"https:\/\/www7.in.tum.de\/~weininge\/\">Maximilian Weininger<\/a> (Technical University of Munich, Germany)<\/li>\n<li><a href=\"https:\/\/informatik-rub.de\/zeume\/\">Thomas Zeume<\/a>\u00a0(Ruhr University Bochum, Germany)<\/li>\n<\/ul>\n<\/li>\n<li><strong><a href=\"https:\/\/function-2021.cs.ru.nl\/\">Flavours of Uncertainty in Verification, Planning and Optimization (FUNCTION)<\/a><\/strong> organised by:\n<ul>\n<li><a href=\"https:\/\/people.utwente.nl\/e.m.hahn\">Moritz Hahn<\/a> (University of Twente, the Netherlands)<\/li>\n<li><a href=\"http:\/\/www.cs.ru.nl\/personal\/nilsjansen\/\">Nils Jansen<\/a> (Radboud University Nijmegen, the Netherlands)<\/li>\n<li><a href=\"https:\/\/www.gla.ac.uk\/schools\/computing\/staff\/gethinnorman\/\">Gethin Norman<\/a> (University of Glasgow, UK)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.1&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.1&#8243;][et_pb_text _builder_version=&#8221;4.4.1&#8243;]<\/p>\n<h4 style=\"text-align: justify;\"><strong>Important dates<\/strong><\/h4>\n<p><del>Workshop proposal deadline: Monday 30 November 2020, 23:59 AoE<\/del><br \/>\n<del>Workshop notification: Monday 14 December 2020<\/del><br \/>\n<del>Workshop proposal deadline: Friday 19 February 2021, 23:59 AoE<\/del><br \/>\n<del>Workshop notification: Friday 26 February 2021<\/del><br \/>\nWorkshops: Monday 12 July 2021<br \/>\n<span style=\"font-size: 14px;\">\u00a0<\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.1&#8243;]<\/p>\n<h4 style=\"text-align: justify;\"><strong>Submission guidelines<\/strong><\/h4>\n<p>Proposals should be submitted no later than<\/p>\n<p>*** <strong>February 19th, 2021<\/strong> ***<\/p>\n<p>by sending an email to the workshop selection committee (details at the end of the call). You should expect notification on the acceptance of your proposal by 26 February 2021.<\/p>\n<p>A workshop proposal submission should consist of:<\/p>\n<p>&#8211; workshop&#8217;s name and URL (if already available)<\/p>\n<p>&#8211; workshop&#8217;s organisers together with their email addresses and web pages;<\/p>\n<p>&#8211; short description of the area covered by the workshop and the motivation behind it;<\/p>\n<p>&#8211; expected number of participants (if available, please include the data of previous years);<\/p>\n<p>&#8211; planned format of the event.<\/p>\n<p>As for the format, a standard option is a full one-day workshop consisting of invited talks by leading experts and of shorter contributed talks, either directly invited by the organisers or selected among submissions. Deviations from this standard are also warmly welcome, including a shorter or a longer time span than a full day, or other elements of the schedule like open problem sessions, discussion panels, or working sessions.<\/p>\n<p>If you plan to have invited speakers, please specify their expected number and, if possible, tentative names. If you plan a call for papers or for contributed talks followed by a selection procedure, the submission date should be scheduled after ICALP 2021 notification (April 28, 2021), while the notification should take place before the early registration deadline. In your submission please include details on the schedule, planned procedure of selecting papers and\/or contributed talks. If you plan to have published proceedings of your workshop, please provide the name of the publisher. Please be advised that ICALP 2021 is not able to provide any financial support for publishing workshop proceedings.<\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.1&#8243;]<\/p>\n<h4><b>Workshop selection committee:<\/b><\/h4>\n<ul>\n<li><a href=\"http:\/\/www.dcs.gla.ac.uk\/~ornela\/\">Ornela Dardha<\/a>\u00a0ornela.dardha@glasgow.ac.uk<\/li>\n<li><a href=\"http:\/\/www.dcs.gla.ac.uk\/~gethin\/\">Gethin Norman<\/a> gethin.norman@glasgow.ac.uk<\/li>\n<\/ul>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.1&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.1&#8243;][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>WorkshopsAccepted workshops: Algorithmic Aspects of Temporal Graphs IV organised by: George B. Mertzios, Durham University, UK Paul G. Spirakis, University of Liverpool, UK Eleni C. Akrida, Durham University, UK Viktor Zamaraev, University of Liverpool, UK VEST: Verification of Session Types organised by: Ornela Dardha, University of Glasgow, UK Ant\u00f3nio Ravara, Universidade Nova de Lisboa, Portugal [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/icalp2021\/wp-json\/wp\/v2\/pages\/322"}],"collection":[{"href":"https:\/\/easyconferences.eu\/icalp2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/icalp2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/icalp2021\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/icalp2021\/wp-json\/wp\/v2\/comments?post=322"}],"version-history":[{"count":27,"href":"https:\/\/easyconferences.eu\/icalp2021\/wp-json\/wp\/v2\/pages\/322\/revisions"}],"predecessor-version":[{"id":757,"href":"https:\/\/easyconferences.eu\/icalp2021\/wp-json\/wp\/v2\/pages\/322\/revisions\/757"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/icalp2021\/wp-json\/wp\/v2\/media?parent=322"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}