{"id":655,"date":"2013-12-18T11:25:38","date_gmt":"2013-12-18T09:25:38","guid":{"rendered":"http:\/\/sseblog.ec-spride.de\/?p=655"},"modified":"2013-12-18T11:25:38","modified_gmt":"2013-12-18T09:25:38","slug":"foal","status":"publish","type":"post","link":"https:\/\/blogs.uni-paderborn.de\/sse\/2013\/12\/18\/foal\/","title":{"rendered":"FOAL 2014 &#8211; Call for Papers"},"content":{"rendered":"<div class=\"twoclick_social_bookmarks_post_655 social_share_privacy clearfix 1.6.4 locale-en_US sprite-en_US\"><\/div><div class=\"twoclick-js\"><script type=\"text\/javascript\">\/* <![CDATA[ *\/\njQuery(document).ready(function($){if($('.twoclick_social_bookmarks_post_655')){$('.twoclick_social_bookmarks_post_655').socialSharePrivacy({\"txt_help\":\"Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter, Flattr, Xing, t3n, LinkedIn, Pinterest oder Google eventuell ins Ausland \\u00fcbertragen und unter Umst\\u00e4nden auch dort gespeichert. N\\u00e4heres erfahren Sie durch einen Klick auf das <em>i<\\\/em>.\",\"settings_perma\":\"Dauerhaft aktivieren und Daten\\u00fcber-tragung zustimmen:\",\"info_link\":\"http:\\\/\\\/www.heise.de\\\/ct\\\/artikel\\\/2-Klicks-fuer-mehr-Datenschutz-1333879.html\",\"uri\":\"https:\\\/\\\/blogs.uni-paderborn.de\\\/sse\\\/2013\\\/12\\\/18\\\/foal\\\/\",\"post_id\":655,\"post_title_referrer_track\":\"FOAL+2014+%26%238211%3B+Call+for+Papers\",\"display_infobox\":\"on\"});}});\n\/* ]]> *\/<\/script><\/div><p>FOAL: Foundations of Aspect-Oriented Languages<\/p>\n<p>Paper Submission Deadline: Jan 26th, 2014<\/p>\n<p>A one day workshop affiliated with MODULARITY&#8217;14 at the University of Lugano (USI), Switzerland on April 22, 2014.<!--more--><\/p>\n<h2>THEMES AND GOALS<\/h2>\n<p>FOAL is a forum for research in foundations of aspect-oriented and other advanced separation of concern mechanisms. Areas of interest include but are not limited to:<\/p>\n<ul>\n<li>Semantics of advanced separation of concern mechanisms,<\/li>\n<li>Specification and verification for languages with such mechanisms<\/li>\n<li>Type systems,<\/li>\n<li>Static analysis,<\/li>\n<li>Theory of testing,<\/li>\n<li>Theory of composition,<\/li>\n<li>Theory of translation (compilation) and rewriting,<\/li>\n<li>Comparison of different advanced modularization and separation of concern mechanisms.<\/li>\n<\/ul>\n<p>The workshop aims to foster work in foundations, including formal studies, promote the exchange of ideas, and encourage workers in the semantics and formal methods communities to consider advanced separation of concern mechanisms. All theoretical and foundational studies of this topic are welcome. Even though the workshop title contains the term &#8220;aspect-oriented&#8221;, the workshop is not limited to aspect-oriented programming languages, but welcomes topics on other advanced separation of concern mechanisms such as feature-oriented or context-oriented programming.<\/p>\n<p>The goals of FOAL are to:<\/p>\n<ul>\n<li>Make progress on the foundations of aspect-oriented and other advanced separation of concern mechanisms.<\/li>\n<li>Exchange ideas about semantics and formal methods for aspect-oriented and other languages with advanced separation of concerns.<\/li>\n<li>Foster interest within the programming language theory and types communities in languages with advanced separation of concerns.<\/li>\n<li>Foster interest within the formal methods community in aspect-oriented programming and other advanced separation of concern mechanisms, and the problems of reasoning about them.<\/li>\n<\/ul>\n<h2>WORKSHOP FORMAT<\/h2>\n<p>The planned workshop format is primarily presentation of papers and group discussion. Talks will come in two categories: regular (25 minutes plus 5 minutes of discussion) and short (7 minutes plus 3 minutes of discussion). The short talks will allow for presentations of topics for which results are not yet available, perhaps for researchers who are seeking feedback on ideas or seek collaborations.<\/p>\n<p>We also plan to ensure sufficient time for discussion of each presentation by limiting the overall number of talks.<\/p>\n<h2>SUBMISSIONS<\/h2>\n<p>Invitation to the workshop will be based on papers selected by the program committee; those wishing to attend but not having a paper to submit should contact the organizers directly to see if there is sufficient space in the workshop.<\/p>\n<p>FOAL solicits regular and short papers on all areas of formal foundations of advanced separation of concern mechanisms. Submissions will be read by the program committee and designated reviewers. Papers will be selected for regular and short presentation at the workshop based on their length, scientific merit, innovation, readability, and relevance. Papers previously published or already being reviewed by another conference are not eligible. Some papers may not be selected for presentation, and some may be selected for presentation in shorter talks than their paper length would otherwise command. We will limit the length of paper presentations and the number of papers presented to make sure that there is enough time for discussion.<\/p>\n<p>Additional information is available online:<br \/>\n<a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/FOAL\/cfp-2014.shtml\">http:\/\/www.eecs.ucf.edu\/~leavens\/FOAL\/cfp-2014.shtml<\/a><\/p>\n<h2><a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/FOAL\/cfp-2014.shtml\">IMPORTANT DATES<\/a><\/h2>\n<ul>\n<li>Paper Submission Deadline 23:00 GMT, 26 January 2014<\/li>\n<li>Notification of Acceptance 16 February 2014<\/li>\n<li>Final Versions of Papers Due 24 February 2014<\/li>\n<li>Workshop 22 April 2014<\/li>\n<li>Call last modified Tuesday, November 19, 2013.<\/li>\n<\/ul>\n<p>We are pleased to have assembled another exceptional program committee for FOAL this year:<\/p>\n<ul>\n<li>Eric Bodden (Program Committee Chair)<\/li>\n<li>Sven Apel \u2014 University of Passau<\/li>\n<li>Paulo Borba \u2014 Federal University of Pernambuco<\/li>\n<li>Somayeh Malakuti \u2014 University of Twente<\/li>\n<li>Cynthia Disenfeld \u2014 Technion<\/li>\n<li>Robert Dyer \u2014 Iowa State University<\/li>\n<li>Marieke Huisman \u2014 University of Twente<\/li>\n<li>Gary T. Leavens \u2014 University of Central Florida<\/li>\n<li>Hidehiko Masuhara \u2014 Tokyo Institute of Technology<\/li>\n<li>Hridesh Rajan \u2014 Iowa State University<\/li>\n<li>Guido Salvaneschi \u2014 TU Darmstadt<\/li>\n<li>\u00c9ric Tanter \u2014 University of Chile<\/li>\n<li>Nicolas Tabareau \u2014 INRIA<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>FOAL: Foundations of Aspect-Oriented Languages Paper Submission Deadline: Jan 26th, 2014 A one day workshop affiliated with MODULARITY&#8217;14 at the University of Lugano (USI), Switzerland on April 22, 2014.<\/p>\n","protected":false},"author":6542,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-655","post","type-post","status-publish","format-standard","hentry","category-general"],"_links":{"self":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts\/655","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/users\/6542"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/comments?post=655"}],"version-history":[{"count":0,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts\/655\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/media?parent=655"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/categories?post=655"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/tags?post=655"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}