<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">[Our apologies for multiple copies of this letter]<br><br>=========================================================<br><br> CFP: DEADLINE EXTENDED until April 13 (Sunday)<br><br> Structural Operational Semantics 2008<br><br> An Affiliated Workshop of ICALP 2008<br><br> July 6, 2008, Reykjavik, Iceland<br><br> <a href="http://homepages.inf.ed.ac.uk/bklin/SOS2008/">http://homepages.inf.ed.ac.uk/bklin/SOS2008/</a><br><br>=========================================================<br><br>Aim: Structural operational semantics (SOS) provides a framework<br>for giving operational semantics to programming and specification<br>languages. A growing number of programming languages from<br>commercial and academic spheres have been given usable semantic<br>descriptions by means of structural operational semantics. Because<br>of its intuitive appeal and flexibility, structural operational semantics<br>has found considerable application in the study of the semantics<br>of concurrent processes. It is also a viable alternative to denotational<br>semantics in the static analysis of programs, and in proving compiler<br>correctness. Moreover, it has found application in emerging areas<br>of computing such as probabilistic systems and systems biology.<br><br>Structural operational semantics has been successfully applied<br>as a formal tool to establish results that hold for classes of process<br>description languages. This has allowed for the generalisation<br>of well-known results in the field of process algebra, and for the<br>development of a meta-theory for process calculi based on the<br>realization that many of the results in this field only depend upon<br>general semantic properties of language constructs.<br><br>This workshop aims at being a forum for researchers, students and<br>practitioners interested in new developments, and directions for<br>future investigation, in the field of structural operational semantics.<br>One of the specific goals of the series of SOS workshops is<br>to establish synergies between the concurrency and programming<br>language communities working on the theory and practice of SOS.<br>For the 2008 workshop we would also like to encourage novel<br>applications of SOS techniques to research areas such as systems<br>biology and hybrid or stochastic systems.<br><br>Specific topics of interest include (but are not limited to):<br><br> * programming languages<br> * process algebras<br> * higher-order formalisms<br> * rule formats for operational specifications<br> * meaning of operational specifications<br> * compositionality of modal logics with respect to<br> operational specifications<br> * congruence with respect to behavioural equivalences<br> * conservative extensions and translations of SOS specifications<br> * derivation of proof rules from operational specifications<br> * ordered, modular, and other variants of SOS<br> * comparisons of SOS with rewriting systems, reactive systems<br> and other forms of operational specification<br> * comparisons between denotational, axiomatic and SOS<br> * methods for operational specificiation of probabilistic, timed,<br> stochastic, hybrid and biological systems<br> * software tools that automate, or are based on, SOS.<br><br>Papers reporting on applications of SOS to software engineering and<br>other areas of computer science are welcome.<br><br>History: The first SOS Workshop took place in London as one of the<br>satellite workshops of CONCUR 2004. Subsequently, SOS 2005 occurred<br>in Lisbon as a satellite workshop of ICALP 2005, SOS 2006 in Bonn<br>as a satellite workshop of CONCUR 2006, and SOS 2007 in Wroclaw<br>as a satellite workshop of LICS and ICALP 2007.<br><br>A special issue of the Journal of Logic and Algebraic Programming on<br>Structural Operational Semantics appeared in 2004; a special issue of<br>Theoretical Computer Science dedicated to SOS 2005 appeared in 2007;<br>and a special issue of Information & Computation on Structural<br>Operational Semantics inspired by SOS 2006-2007 is in preparation.<br><br><br>INVITED SPEAKERS:<br><br> Vincent Danos (Edinburgh, UK)<br><br> Joseph Sifakis (VERIMAG, FR) - joint invited speaker with ICE'08<br><div><br>PAPER SUBMISSION:<br><br>We solicit unpublished papers reporting on original research on the<br>general theme of SOS. Prospective authors should submit a paper </div><div>via the workshop web page by:<br><br> *** Sunday 13th April 2008. ***<br><br>Papers should take the form of a pdf file in ENTCS format<br>[<a href="http://www.entcs.org/">http://www.entcs.org/</a>], whose length should not exceed 15 pages (not<br>including an optional "Appendix for referees" containing proofs that<br>will not be included in the final paper). We will also consider 5-page<br>papers describing tools to be demonstrated at the workshop.<br><br>Proceedings: Preliminary proceedings will be available at the meeting.<br>The final proceedings of the workshop will appear as a volume in the<br>ENTCS series. If the quality and quantity of the submissions warrant it,</div><div>the co-chairs plan to arrange a special issue of an archival journal devoted</div><div>to full versions of selected papers from the workshop. We would expect this </div><div>to be a joint special issue with ICE'08.</div><div><br class="webkit-block-placeholder"></div><div><br></div><div>IMPORTANT DATES:<br><br> * Submission: Sunday 13th April 2008 (Extended deadline!)<br> * Notification: Wednesday 7th May 2008<br> * Final version: Friday 23rd May 2008<br> * Workshop: Monday 6th July 2008<br> * Final ENTCS version due: Friday 8th August 2008.<br><br><br>PROGRAMME COMMITTEE:<br><br>Wan Fokkink (Amsterdam, NL)<br>Matthew Hennessy (Dublin, IE, co-chair)<br>Bartek Klin (Warsaw, PL, co-chair)<br>Catuscia Palamidessi (LIX, Ecole Polytechnique, FR)<br>Iain Phillips (Imperial College, London, UK)<br>Michel Reniers (Eindhoven, NL)<br>Grigore Rosu (Urbana-Champaign, IL, USA)<br>Alex Simpson (Edinburgh, UK)<br>Pawel Sobocinski (Southampton, UK)<br>Simone Tini (Insubria, IT)<br>Shoji Yuen (Nagoya, JP)<br><br><br>CONTACT:<br><br> <a href="mailto:sos-2008@inf.ed.ac.uk">sos-2008@inf.ed.ac.uk</a><br><br><br>WORKSHOP ORGANISERS:<br><br> Matthew Hennessy<br> Department of Computer Science<br> Trinity College<br> Dublin 2<br> Ireland<br><br> Bartek Klin<br> Warsaw University and University of Edinburgh,<br> School of Informatics<br> The King's Buildings<br> Mayfield Road, Edinburgh EH9 3JZ<br> United Kingdom</div></body></html>