------------------------------------------------------------ Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013)
EXPRESS/SOS 2013 ------------------------------------------------------------ August 26, 2013, Buenos Aires (AR) Affiliated with CONCUR 2013 http://www.win.tue.nl/expresssos2013/ Submission of abstracts: Friday May 31, 2013 Submission of papers: Friday June 7, 2013 ------------------------------------------------------ SCOPE AND TOPICS: The EXPRESS workshop series aims at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. The SOS workshop series aims at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. In 2012, the EXPRESS and SOS communities decided to join forces and organise a combined EXPRESS/SOS workshop. The combined workshop was a success, so this year there will again be a combined workshop on the semantics of systems and programming concepts, and on the expressiveness of mathematical models of computation. Topics of interest for this combined workshop include (but are not limited to): - expressiveness and comparison of models of computation (process algebras, event structures, Petri nets, rewrite systems), and programming models (distributed, component-based, object-oriented, and service-oriented computing); - logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics); - analysis techniques for concurrent systems; - theory of structural operational semantics (metatheory, category-theoretic approaches, congruence results); - comparison of structural operational semantics to other forms of semantics; - applications of structural operational semantics; - software tools that automate, or are based on, structural operational semantics. SUBMISSION GUIDELINES: We solicit two types of submissions: * Full papers (up to 15 pages). * Short papers (up to 5 pages, not included in the workshop proceedings) Simultaneous submission to journals, conferences or other workshops is only allowed for short papers; full papers must be unpublished. There is one exception to this policy: authors may submit a full paper that is still under review for TGC 2013, provided that they inform the chairs prior to submission and immediately withdraw their submission if it is accepted for TGC 2013. All submissions should adhere to the EPTCS format (http://www.eptcs.org), and submission is performed through the EXPRESS/SOS 2013 EasyChair server (http://www.easychair.org/conferences/?conf=expresssos2013). The final versions of accepted full papers will be published in EPTCS. Furthermore, authors of a selection of the accepted papers will be invited to submit an extended version to a special issue of a high-quality journal. INVITED SPEAKER: Martín Abadi (University of California at Santa Cruz and Microsoft Research Silicon Valley, USA) IMPORTANT DATES: Abstract submission: May 31, 2013 Paper submission: June 7, 2013 Notification date: July 8, 2013 Camera ready version: July 21, 2013 WORKSHOP CO-CHAIRS: Johannes Borgström (Uppsala University, Sweden) Bas Luttik (Eindhoven University of Technology, The Netherlands) PROGRAMME COMMITTEE: Luca Aceto (Reykjavík University, Iceland) Filippo Bonchi (ENS de Lyon, France) Johannes Borgström (Uppsala University, Sweden) Ilaria Castellani (INRIA Sophia Antipolis, France) Silvia Crafa (University of Padova, Italy) Yuxi Fu (Shanghai Jiaotong University, China) Thomas Hildebrandt (IT University of Copenhagen, Denmark) Sławomir Lasota (Warsaw University, Poland) Bas Luttik (Eindhoven University of Technology, The Netherlands) Kirstin Peters (Technical University of Berlin, Germany) Michel Reniers (Eindhoven University of Technology, The Netherlands) Louis-Marie Traonouez (IRISA/INRIA Rennes, France) Irek Ulidowski (University of Leister, United Kingdom) ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
