- D-CON - lists.rwth-aachen.de

PhD/PostDoc Position: Programming, Modelling and Verification of Concurrent Software
by Gerald Lüttgen 19 Sep '17

19 Sep '17

[Apologies for multiple postings.] The Software Technologies Research Group at the University of Bamberg, located in a world-heritage city in Northern Bavaria in Germany, currently has one full-time PhD/PostDoc position available (spine point E13 on the German public sector TV-L salary scale). About the position You will be involved in research and teaching (5 contact hours per semester week) in fields related to software engineering and programming languages. The Software Technologies Group’s research focuses on advanced mathematical techniques for modelling, analysing, verifying and programming concurrent software systems and in building supporting software tools. Your background and experience (1) A strong background in Computer Science, evidenced by an upper class Masters degree in Computer Science or a closely related discipline. (2) Good knowledge and experience in at least one of the following areas: (a) Formal Methods and Theoretical Computer Science (e.g., concurrency theory, automated verification, automata theory, compiler construction), (b) development and programming of concurrent software (e.g., C/C++, Lustre/Esterel, OCaml, Go). (3) Fluency in spoken and written English; knowledge of German is desirable. How to apply Please send your informative application (curriculum vitae, copies of transcripts and degrees, a one-page summary of your Master/PhD thesis, a one-page essay on your research interests) per post or preferably electronically (info(at)swt-bamberg.de, no more than 6 MB) to Prof. Dr. Gerald Lüttgen, Software Technologies Research Group University of Bamberg, 96045 Bamberg, Germany Application deadline is 31 October 2017.

1 0

D-CON 2018 - Save the Date
by Lochau, Malte 01 Aug '17

01 Aug '17

Liebe D-CONler / Dear Concurrency Theorerists! The next edition of D-CON will take place in Darmstadt on March 1st - March 2nd, 2018. Please save this date in your calender. As usual, we start at the morning of the first day and end after lunch time of the second day. A preliminary web page can be found under: http://www.es.tu-darmstadt.de/d-con-2018/ If you would like to present your most recent work, organize a breackout session, a tutorial or whatever, you can already let me know. In addition, there will be a further call for contributions later on this year. We are looking forward to seeing you all at D-CON 2018! Malte, Geza, Lars, Stephan

1 0

CONCUR 2017 -- 2nd Call for Participation
by Kirstin Peters 18 Jul '17

18 Jul '17

============================================================================ CONCUR 2017 - Second Call for Participation 28th International Conference on Concurrency Theory September 5-8, 2017, Berlin, Germany https://www.concur2017.tu-berlin.de/ ============================================================================ INVITED SPEAKERS - Hongseok Yang (University of Oxford, UK) - Azahdeh Farzan (University of Toronto, Canada) - Madan Musuvathi (Microsoft Research, USA) - Jean-Francois Raskin (Université libre de Bruxelles, Belgium) TUTORIALS - Alastair Donaldson (Imperial College London, UK) - Pawel Sobocinski (University of Southampton, UK) - Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany) CO-LOCATED EVENTS 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017) 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017) 14th European Performance Engineering Workshop (EPEW 2017) There will be four workshops co-located with CONCUR: EXPRESS/SOS, RADICAL, YR-CONCUR on September 4, and TRENDS on September 9. ============================================================================ The list of accepted papers of CONCUR is available at: https://www.concur2017.tu-berlin.de/accepted_papers.html The program is available at: https://www.concur2017.tu-berlin.de/program/detailed.html ============================================================================ The registration for CONCUR'17, QEST'17, FORMATS'17 and EPEW'17 (together with their affiliated workshops and tutorials) is now open! Early registration with reduced rates ends on *July 31*. See all the details at the QONFEST website (also reachable via the CONCUR website): https://conference.imp.fu-berlin.de/qonfest/registration-Info ============================================================================ All conferences and workshops will take place at Harnack-Haus. More information about the conference venue and hotel suggestions are found at: https://conference.imp.fu-berlin.de/qonfest/venue https://conference.imp.fu-berlin.de/qonfest/accomodation ============================================================================ For further requests, please contact kirstin.peters(a)tu-berlin.de. See you in Berlin!

1 0

12 Ph.D. Positions in Algorithms, Verification and Logic at RWTH Aachen
by Joost-Pieter Katoen 05 Jul '17

05 Jul '17

[Apologies for multiple postings.] ======================================================================= 12 Research Assistants/Associates in the post graduate program “Uncertainty and Randomness in Algorithms, Verification and Logic” at RWTH Aachen University, Aachen, Germany ======================================================================= Context. The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. 12 positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL founded by Deutsche Forschungsgemeinschaft (DFG). The key emphasis of an RTG is on the qualification of doctoral researchers with a focused research program and a structured training strategy. The RTG UnRAVeL aims to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-supported verification techniques, and to apply them to core problems from security (e.g., probabilistic protocols), planning (robotics and railway engineering), and safety and performance analysis (railway systems). To tackle these research challenges, theoretical computer scientists from computer-aided verification, logic and games, algorithms and complexity, together with experts from management science (robust optimization), applied computer science (robotics and security), and railway engineering intensively cooperate within the RTG UnRAVeL. Required profile. Candidates must have (or soon obtain) a master degree in Computer Science, Mathematics or related area and have completed their studies with excellent grades. You should have interest in performing original, highly competitive scientific research, publishing your results in top conferences and scientific journals. Self-motivation and the ability to work both independently and as a team player in local and international research groups are expected. Fluency in English is required; proficiency in German is helpful but not compulsory. How to apply? Your written application should contain: - a curriculum vitae - a transcript of records (list of courses and grades) - a cover letter including a statement of interest in (some of) the RTG topics that can be found on our web-site (see below), and - a recommendation letter e.g., by your master thesis supervisor(s). All documents should be formatted as a single pdf-file. You should send your application ultimately by ** July 14, 2017 (AoE) ** to the e-mail address: unravel-appl(a)cs.rwth-aachen.de What do we offer? We offer a stimulating international research environment, the possibility to participate in highly competitive and interdisciplinary research and the opportunity to involve students in your research through project work. Doctoral researchers have a status as employee with a salary according to the German federal employee scale TV-L E13; the exact salary is subject to your family situation. The duration of the positions is three years. RWTH Aachen University offers excellent facilities for professional and personal development. Starting date of the positions: as soon as possible from October 1, 2017 on. More information about the RTG UnRAVeL can be found at: https://moves.rwth-aachen.de/research/projects/unravel/ Enquiries can be directed to Prof. Joost-Pieter Katoen (e-mail: katoen(a)cs.rwth-aachen.de). RWTH Aachen University is certified as a “Family-Friendly University”. We particularly welcome and encourage applications from women, disabled persons and ethnic minority groups, recognizing they are underrepresented across RWTH Aachen University. The principles of fair and open competition apply and appointments will be made on merit.

1 0

Fwd: 3rd Int. Workshop on Meta Models for Process Languages (MeMo) 2017
by Kirstin Peters 04 Jul '17

04 Jul '17

Call for Papers and Posters (Extended Deadline) 3rd International Workshop on Meta Models for Process Languages (MeMo) 2017 https://memo.wikit.itu.dk/home affiliated with CONCUR, September 4th, 2017, Berlin, Germany https://www.concur2017.tu-berlin.de/ '''Aim and Topics''' Metamodels are framework theories which provide general, structural results simplifying and driving the development of models of specific systems and languages. There are frameworks for operational semantics (such as GSOS, graph rewriting systems, Milner’s bigraphs, coalgebras), for denotational semantics (such as algebraic/bialgebraic specifications, monads, enriched Lawvere theories, mathematical operational semantics), and for logical semantics (such as metalanguages for deductive systems, i.e. Logical Frameworks). The boundaries between these metamodels are blurred, and techniques and ideas from one can be reapplied to the others. Moreover, metamodels can help in the definition of new computation and programming paradigms. The goal of the MeMo workshop is to bring together researchers working on and with metamodels, with the aim to share insights, uncover similarities and differences, possibilities for cross-fertilization and stimulate further research in this exciting area. We solicit contributions in the theory and applications of meta models: theoretical results, tool implementations, real-world applications, case studies, new application areas, integration of meta-models with programming languages, etc. Topics include (but are not limited to): - Metamodels for operational semantics: bigraphical reactive systems, coalgebras, psi-calculus, SOS formats, term and graph transformation systems, tile models, ULTraS and FuTS, K-framework, etc. - Metamodels for denotational semantics: algebraic/bialgebraic specifications, monads, enriched Lawvere theories, mathematical operational semantics, etc. - Metamodels for logical semantics: metalanguages for deductive systems, concurrent logical frameworks, etc. - Expressiveness issues of metamodels - Applications of meta-models to the design of computational paradigms (e.g., for agent-based and context-aware computing) - Tools, implementations, and experiments '''Important Dates''' (Extended Deadlines) Submission regular papers and presentation proposals: 5th July 2017 Notification regular papers and presentation proposals: 5th August 2017 Camera-ready copy: 14th August 2017 Submission posters: 14th August 2017 Notification posters: 20th August 2017 '''Keynote Speakers''' - Jan Friso Groote, Technical University Eindhoven, The Netherlands '''Submission Instructions''' We invite three types of submissions: Full regular papers; Tool presentation papers; Posters. Submissions of regular and tool papers must be original and should not have been published previously nor to be under consideration for publication while being evaluated for this workshop. Submissions of poster proposals can be based on work submitted elsewhere and be clearly marked as a poster proposal by prefixing the title with "POSTER:" . The posters will be on display all throughout the workshop in the coffee break area, when the presenters can interact with other participants. Evaluation criteria will be technical quality, readability, novelty, and scope. All papers and posters must be in English and submitted at the EasyChair submission site. https://easychair.org/conferences/?conf=memo2017 Papers should use the EPTCS style (http://style.eptcs.org/) and not exceed 15 pages in length for full papers, 10 pages for tool papers, and 6 pages for poster descriptions. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. We plan an EPTCS post-proceedings volume and depending on the quality of the submissions also a special journal issue of selected, extended papers. '''Program Committee Co-Chairs and Organizers''' - Thomas Hildebrandt, IT University of Copenhagen, Denmark - Christian Johansen, University of Oslo, Norway '''Program Committee''' - Patrick Bahr, IT University of Copenhagen, Denmark - Iliano Cervesato, CMU Qatar - Matteo Cimini, Indiana University, Bloomington, USA - Søren Debois, IT University of Copenhagen, Denmark - Yuxin Deng, East China Normal University, China - Uli Fahrenberg, Ecole Polytechnique, France - Tobias Heindel, University of Leipzig, Germany - Thomas Hildebrandt, IT University of Copenhagen, Denmark (co-chair) - Hans Hüttel, Aalborg University, Denmark - Christian Johansen, University of Oslo, Norway (co-chair) - Marino Miculan, University of Udine, Italy - Joachim Parrow, Uppsala Universitet, Sweden - Marco Peressotti, University of Southern Denmark - Johannes Åman Pohjola, Chalmers University, Sweden - Jan Rutten, Centrum Wiskunde & Informatica (CWI), The Netherlands - Pawel Sobocinski, University of Southampton, UK - Uwe Egbert Wolter, University of Bergen, Norway Thomas T. Hildebrandt Associate Professor at IT University of Copenhagen Head of Process Intelligence, Modelling & Optimisation Group BPM & ACM Consultant Mobile: +45 31425279

1 0

Fwd: [moca-announce] RADICAL 2017 -- Deadline Extension (July 7)
by Kirstin Peters 01 Jul '17

01 Jul '17

=========================================== Recent Advances in Concurrency and Logic (RADICAL 2017) A new workshop, co-located with CONCUR 2017. https://sites.google.com/site/radicalconcur/ Berlin, Germany - September 4, 2017 Extended submission deadline (3-page talk proposals): Friday, 7 July 2017 Invited speakers: Luís Caires (NOVA University of Lisbon, PT) Luke Ong (University of Oxford, UK) =========================================== == MOTIVATION AND SCOPE RADICAL is a new workshop aligned within the intersection between concurrency and logic, broadly construed. Recently, the interplay of concurrency and logic with areas/applications such as: - design, verification, synthesis for concurrent systems, both qualitative and quantitative; - strategic reasoning for distributed and multi-agent systems; - analysis and validation techniques for concurrent and distributed programs and systems (e.g., separation logics, advanced type systems, and runtime verification techniques); has received much attention, as witnessed by recent CONCUR editions. These areas/applications have become increasingly consolidated, and start to have profound impact in neighbouring communities such as: - programming languages - artificial intelligence - computer security - knowledge representation As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event. Indeed, there do not seem to exist appropriate venues in which different research communities interested in concurrency and logic can meet closely, cross-fertilize, and share their most exciting recent results. RADICAL intends to fill a gap between CONCUR researchers that now also typically publish and interact in other different venues; it also aims at attracting researchers from neighbouring communities whose work naturally intersects with CONCUR. == FORMAT: BACK TO THE BASICS RADICAL will offer an innovative format for a one-day workshop for researchers involved in all aspects of concurrency and logic including, but not limited to, the areas mentioned above. Since we would like to recover the informal character of scientific workshops, rather than regular paper submissions, authors should submit three-page talk proposals (see below). RADICAL will be an informal venue, oriented to interaction, and so it will have no formal proceedings. == INVITED SPEAKERS - Luís Caires (NOVA University of Lisbon, PT) - Luke Ong (University of Oxford, UK) == SUBMISSIONS: 3-PAGE TALK PROPOSALS We invite submissions describing talk proposals on the intersection of logic and concurrency, as motivated above. A submission to RADICAL would typically fall within one of the following categories: - reports of an ongoing work and/or preliminary results; - summaries of an already published paper (or series of papers); - overviews of (recent) PhD theses; - descriptions of research projects and consortia; - manifestos, calls to action, personal views on current and future challenges; - overviews of interesting yet underrepresented problems. This list is by no means exhaustive but merely indicative. For instance, since RADICAL will precede CONCUR (and the other main conferences co-located with QONFEST), authors of papers accepted at a main conference may consider proposing a talk in RADICAL that promotes (or gives context to) a technical talk to be delivered at the conference(s) later on the week. Prospective authors are encouraged to contact the organizers in case of questions: radical2017(a)easychair.org Submissions based on already published works should include explicit references/links as appropriate. Reviewers may read such prior published work, but are not obliged to so do. Submissions will be judged by the program committee on the basis of significance, relevance, and potential of an engaging, compelling talk at the workshop. Submissions should be in PDF, up to three pages (not including references), produced using the EasyChair format, available at http://easychair.org/publications/for_authors Please submit your talk proposal via EasyChair: https://easychair.org/conferences/?conf=radical2017 It is understood that for each accepted submission one of the co-authors will attend the workshop and give the talk. == IMPORTANT DATES - Submission deadline (3-page talk proposals): Friday, 7 July 2017 (extended) - Notification to authors: Friday, 28 July 2017. - Workshop: Monday, 4 September 2017 == ORGANIZERS - Julian Gutierrez (University of Oxford, UK) - Jorge A. Pérez (University of Groningen, NL) == PROGRAM COMMITTEE - Emmanuel Beffara (I2M, Université d'Aix-Marseille & CNRS, FR) - James Brotherston (University College London, UK) - Marco Carbone (IT University of Copenhagen, DK) - Silvia Crafa (Università di Padova, IT) - Ugo Dal Lago (Università di Bologna, IT) - Rocco De Nicola (IMT Lucca, IT) - Constantin Enea (IRIF, University Paris Diderot, FR) - Wan Fokkink (Vrije Universiteit Amsterdam, NL) - Sibylle Fröschle (University of Oldenburg, DE) - Simon Gay (University of Glasgow, UK) - Julian Gutierrez (University of Oxford, UK - co-chair) - Willem Heijltjes (University of Bath, UK) - Marieke Huisman (University of Twente, NL) - Martin Leucker (University of Lübeck, DE) - Radu Mardare (Aalborg University, DK) - Carlos Olarte (Universidade Federal do Rio Grande do Norte, BR) - Jorge A. Pérez (University of Groningen, NL - co-chair) - Carsten Schürmann (IT University of Copenhagen, DK) - Alexandra Silva (University College London, UK) - Pawel Sobocinski (University of Southampton, UK) - Alwen Tiu (Nanyang Technological University, SG) - Nikos Tzevelekos (Queen Mary University of London, UK) - Irek Ulidowski (University of Leicester, UK) - Frank Valencia (CNRS & LIX, École Polytechnique, FR) - Hans van Ditmarsch (LORIA - CNRS / University of Lorraine, FR) - Rineke Verbrugge (University of Groningen, NL) - Philip Wadler (University of Edinburgh, UK)

1 0

Fwd: TRENDS 2017: Call for Highlight Presentation Proposals
by Kirstin Peters 30 Jun '17

30 Jun '17

============================ Call for Highlight Presentation Proposals The 6th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2017) September 9, 2017, Berlin, Germany A satellite event of CONCUR 2017 https://concurrency-theory.org/events/workshops/trends ============================ This year’s edition of TRENDS will be held in association with CONCUR’17 in Berlin, on Saturday, September 9. The IFIP WG 1.8 business meeting will also take place on the same day. We warmly encourage you to participate in both meetings. This year we inaugurate a new one-day format for the workshop, with both invited talks and short highlight talks. The invited speakers of TRENDS’17 are: - Marieke Huisman http://wwwhome.ewi.utwente.nl/~marieke/ <http://wwwhome.ewi.utwente.nl/%7Emarieke/> - Jan Peleska http://www.informatik.uni-bremen.de/agbs/jp/ For the highlights section, we solicit proposals for short presentations (ca. 10 - 15 min) of open and thought-provoking nature on all aspects of concurrency theory. You may upload your titles and abstracts for highlight presentations at the following URL: https://easychair.org/conferences/?conf=wgtrends2017 The proposals are processed on a first-come first-served basis. If you have any questions, please contact one of the organisers: Ilaria Castellani <Ilaria.Castellani(a)inria.fr <mailto:Ilaria.Castellani@inria.fr>> Mohammad Mousavi <m.r.mousavi(a)hh.se <mailto:m.r.mousavi@hh.se>>

1 0

CONCUR 2017 -- First Call for Participation
by Kirstin Peters 24 Jun '17

24 Jun '17

============================================================================ CONCUR 2017 - First Call for Participation 28th International Conference on Concurrency Theory September 5-8, 2017, Berlin, Germany https://www.concur2017.tu-berlin.de/ ============================================================================ INVITED SPEAKERS - Hongseok Yang (University of Oxford, UK) - Azahdeh Farzan (University of Toronto, Canada) - Madan Musuvathi (Microsoft Research, USA) - Jean-Francois Raskin (Université libre de Bruxelles, Belgium) TUTORIALS - Alastair Donaldson (Imperial College London, UK) - Pawel Sobocinski (University of Southampton, UK) - Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany) CO-LOCATED EVENTS 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017) 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017) 14th European Performance Engineering Workshop (EPEW 2017) There will be five workshops co-located with CONCUR: EXPRESS/SOS, MeMo, RADICAL, YR-CONCUR on September 4, and TRENDS on September 9. ============================================================================ The list of accepted papers of CONCUR is available at: https://www.concur2017.tu-berlin.de/accepted_papers.html Details on the program follow soon. ============================================================================ The registration for CONCUR'17, QEST'17, FORMATS'17 and EPEW'17 (together with their affiliated workshops and tutorials) is now open! Early registration with reduced rates ends on July 31. See all the details at the QONFEST website (also reachable via the CONCUR website): https://conference.imp.fu-berlin.de/qonfest/registration-Info ============================================================================ All conferences and workshops will take place at Harnack-Haus. More information about the conference venue and hotel suggestions are found at: https://conference.imp.fu-berlin.de/qonfest/venue https://conference.imp.fu-berlin.de/qonfest/accomodation ============================================================================ For further requests, please contact kirstin.peters(a)tu-berlin.de. See you in Berlin!

1 0

EXPRESS/SOS -- Deadline Extension June 27
by Kirstin Peters 23 Jun '17

23 Jun '17

------------------------------------------------------ Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics EXPRESS/SOS 2017 ------------------------------------------------------ September 04, 2017, Berlin (Germany) Affiliated with CONCUR 2017 https://www.concur2017.tu-berlin.de/express_sos.html Submission of papers: Friday June 27, 2017 ------------------------------------------------------ NEWS: We are happy two announce an invited tutorial in addition to the already announced invited talk. Accordingly, we will welcome two invited speakers: Mohammad Mousavi and Rob van Glabbeek 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. Since 2012, the EXPRESS and SOS communities have joined forces and organised a combined EXPRESS/SOS workshop on the formal semantics of systems and programming concepts, and on the expressiveness of mathematical models of computation. Topics of interest for this workshop include (but are not limited to): - expressiveness and comparison of models of computation (process algebras, event structures, Petri nets, rewrite systems) - expressiveness and comparison of programming models (distributed, component-based, object-oriented, service-oriented); - logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics); - analysis techniques for concurrent systems; - theory of structural operational semantics (meta-theory, category-theoretic approaches, congruence results); - comparison of structural operational semantics to other formal semantics approaches - applications and case studies 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. All submissions should adhere to the EPTCS format (http://www.eptcs.org), and submission is performed through the EXPRESS/SOS 2017 EasyChair server (https://easychair.org/conferences/?conf=expresssos2017). The final versions of accepted full papers will be published in EPTCS. INVITED SPEAKER: Mohammad Mousavi (Halmstad University, Sweden) INVITED TUTORIAL: Rob van Glabbeek (CSIRO, Sydney, Australia) IMPORTANT DATES: Paper submission: June 27, 2017 (extended) Notification date: July 31, 2017 Camera ready version: August 14, 2017 Workshop: September 04, 2017 WORKSHOP CO-CHAIRS: Kirstin Peters (Technische Universität Berlin, Germany) Simone Tini (Università degli Studi dell’Insubria, Italia) PROGRAM COMMITTEE: Giorgio Bacci (Aalborg University, Denmark) Ilaria Castellani (INRIA, France) Silvia Crafa (Università di Padova, Italy) Pedro R. D’Argenio (Universidad Nacional de Córdoba, Argentina) Erik de Vink (Eindhoven University of Technology, The Netherlands) Álvaro García-Pérez (IMDEA, Spain) Bartek Klin (Warsaw University, Poland) Stephan Mennicke (TU Braunschweig, Germany) Kirstin Peters (TU Berlin, Germany) Johannes Åman Pohjola (Chalmers University of Technology, Sweden) Pawel Sobocinski (University of Southampton, UK) Simone Tini (Università degli Studi dell’Insubria, Italia) Irek Ulidowski (University of Leicester, UK)

1 0

EXPRESS/SOS 2017 - last CfP - deadline approaching
by Kirstin Peters 17 Jun '17

17 Jun '17

------------------------------------------------------ Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics EXPRESS/SOS 2017 ------------------------------------------------------ September 04, 2017, Berlin (Germany) Affiliated with CONCUR 2017 https://www.concur2017.tu-berlin.de/express_sos.html Submission of papers: Friday June 23, 2017 ------------------------------------------------------ NEWS: We are happy two announce an invited tutorial in addition to the already announced invited talk. Accordingly, we will welcome two invited speakers: Mohammad Mousavi and Rob van Glabbeek 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. Since 2012, the EXPRESS and SOS communities have joined forces and organised a combined EXPRESS/SOS workshop on the formal semantics of systems and programming concepts, and on the expressiveness of mathematical models of computation. Topics of interest for this workshop include (but are not limited to): - expressiveness and comparison of models of computation (process algebras, event structures, Petri nets, rewrite systems) - expressiveness and comparison of programming models (distributed, component-based, object-oriented, service-oriented); - logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics); - analysis techniques for concurrent systems; - theory of structural operational semantics (meta-theory, category-theoretic approaches, congruence results); - comparison of structural operational semantics to other formal semantics approaches - applications and case studies 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. All submissions should adhere to the EPTCS format (http://www.eptcs.org), and submission is performed through the EXPRESS/SOS 2017 EasyChair server (https://easychair.org/conferences/?conf=expresssos2017). The final versions of accepted full papers will be published in EPTCS. INVITED SPEAKER: Mohammad Mousavi (Halmstad University, Sweden) INVITED TUTORIAL: Rob van Glabbeek (CSIRO, Sydney, Australia) IMPORTANT DATES: Paper submission: June 23, 2017 Notification date: July 31, 2017 Camera ready version: August 14, 2017 Workshop: September 04, 2017 WORKSHOP CO-CHAIRS: Kirstin Peters (Technische Universität Berlin, Germany) Simone Tini (Università degli Studi dell’Insubria, Italia) PROGRAM COMMITTEE: Giorgio Bacci (Aalborg University, Denmark) Ilaria Castellani (INRIA, France) Silvia Crafa (Università di Padova, Italy) Pedro R. D’Argenio (Universidad Nacional de Córdoba, Argentina) Erik de Vink (Eindhoven University of Technology, The Netherlands) Álvaro García-Pérez (IMDEA, Spain) Bartek Klin (Warsaw University, Poland) Stephan Mennicke (TU Braunschweig, Germany) Kirstin Peters (TU Berlin, Germany) Johannes Åman Pohjola (Chalmers University of Technology, Sweden) Pawel Sobocinski (University of Southampton, UK) Simone Tini (Università degli Studi dell’Insubria, Italia) Irek Ulidowski (University of Leicester, UK)

1 0