[TYPES/announce] Phd Position in Concurrency Theory
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, we are looking for a PhD student to work on modelling languages for concurrent systems at the University of Augsburg in Germany. The position includes teaching duties but German language skills are not mandatory. Though a willingness to learn German is expected. Deadline for applications is October 31. For more information please have a look at https://urldefense.com/v3/__https://www.uni-augsburg.de/en/fakultaet/fai/informatik/prof/swtti/forschung/offene-forschungsstellen/__;!!IBzWLUs!Uptby9-hGtRLT_829FhWtt5QJ-k5EtN70tHZnqkCH1ps75cS0skf9VdnmzxXzaOJlhlSbg49a_GnTJCTsPtk3dQz_SNtkb-FAwGIHo2s$ or send an e-mail to kirstin.pet...@uni-a.de. Best wishes, Kirstin Peters
[TYPES/announce] PhD position in modelling languages for concurrent systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, we are looking for a PhD student to work on modelling languages for concurrent systems at the University of Augsburg in Germany. The position includes teaching duties but German language skills are not mandatory. Though a willingness to learn German is expected. Deadline for applications is October 31. For more information please have a look at https://urldefense.com/v3/__https://www.uni-augsburg.de/en/fakultaet/fai/informatik/prof/swtti/forschung/offene-forschungsstellen/__;!!IBzWLUs!QF2bL7qnMREgrqNeBqGdKBSKK0rU6BGCviPdE9XmhgC4VYgOFqiNctzy5H1tH5iAbIeIOujJrzu0sqPpUJ-CQ_sSj2SETX7Zj2gN3R2w$ or send an e-mail to kirstin.pet...@uni-a.de. Best wishes, Kirstin Peters
[TYPES/announce] CONCUR 2017 -- 2nd Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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.pet...@tu-berlin.de. See you in Berlin!
[TYPES/announce] CONCUR 2017 -- First Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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.pet...@tu-berlin.de. See you in Berlin!
[TYPES/announce] EXPRESS/SOS -- Deadline Extension June 27
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- 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) smime.p7s Description: S/MIME Cryptographic Signature
[TYPES/announce] EXPRESS/SOS 2017 - last CfP - deadline approaching
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- 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)
[TYPES/announce] EXPRESS/SOS 2017 - 2nd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- 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 -- 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) 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)
[TYPES/announce] Fwd: CONCUR 2017 - Deadline approaching!
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CONCUR 2017 - Last Call for Papers 28th International Conference on Concurrency Theory September 5-8, 2017, Berlin, Germany https://www.concur2017.tu-berlin.de/ The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. TUTORIALS - Alastair Donaldson (Imperial College London, UK) - Pawel Sobocinski (University of Southampton, UK) - Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany) 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) 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) WORKSHOPS - EXPRESS/SOS - MeMo - RADICAL - TRENDS - YR-CONCUR IMPORTANT DATES (AoE in 2017) Paper Submission: *April 21* (firm deadline) Paper Notification: June 16 Camera Ready Copy Due: July 7 CONCUR 2017:September 5-8 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; - Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols. - Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2017 solicits high quality papers reporting research results and/or experience related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2017 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair (https://www.easychair.org/conferences/?conf=concur2017). Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ PROGRAM CHAIRS - Roland Meyer (Technische Universität Braunschweig, Germany) - Uwe Nestmann (Technische Universität Berlin, Germany) PROGRAMM COMMITTEE Jade Alglave (University College London, UK) Mohamed Faouzi Atig (Uppala Universitet, Sweden) Paolo Baldan (Università degli Studi di Padova, Italy) Johannes Borgström (Uppala Universitet, Sweden) Luis Caires (FCT / Universidade Nova de Lisboa, Portugal) Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina) Josée Desharnais (Université Laval, Canada) Constantin Enea (Université Paris Diderot (Paris 7), France) Javier Esparza (Technische Universität München, Germany) Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Stefan Göller (École normale supérieure de Cachan, France) Thomas Hildebrandt (IT University of Copenhagen, Denmark) Naoki Kobayashi (The University of Tokyo, Japan) Antonín Kučera (Masaryk University, Czech Republic)
[TYPES/announce] 2nd CfP - CONCUR 2017
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CONCUR 2017 - Second Call for Papers 28th International Conference on Concurrency Theory September 5-8, 2017, Berlin, Germany https://www.concur2017.tu-berlin.de/ The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. TUTORIALS - Alastair Donaldson (Imperial College London, UK) - Pawel Sobocinski (University of Southampton, UK) - Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany) 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) 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) WORKSHOPS - EXPRESS/SOS - MeMo - RADICAL - TRENDS - YR-CONCUR IMPORTANT DATES (AoE in 2017) Paper Submission: April 21 (firm deadline) Paper Notification: June 16 Camera Ready Copy Due:July 7 CONCUR 2017: September 5-8 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; - Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols. - Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2017 solicits high quality papers reporting research results and/or experience related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2017 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair (https://www.easychair.org/conferences/?conf=concur2017). Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ PROGRAM CHAIRS - Roland Meyer (Technische Universität Braunschweig, Germany) - Uwe Nestmann (Technische Universität Berlin, Germany) PROGRAMM COMMITTEE Jade Alglave (University College London, UK) Mohamed Faouzi Atig (Uppala Universitet, Sweden) Paolo Baldan (Università degli Studi di Padova, Italy) Johannes Borgström (Uppala Universitet, Sweden) Luis Caires (FCT / Universidade Nova de Lisboa, Portugal) Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina) Josée Desharnais (Université Laval, Canada) Constantin Enea (Université Paris Diderot (Paris 7), France) Javier Esparza (Technische Universität München, Germany) Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Stefan Göller (École normale supérieure de Cachan, France) Thomas Hildebrandt (IT
[TYPES/announce] 1st CfP EXPRESS/SOS'17
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- 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 -- 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) 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) smime.p7s Description: S/MIME Cryptographic Signature
[TYPES/announce] CONCUR 2017 - First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CONCUR 2017 - First Call for Papers 28th International Conference on Concurrency Theory September 5-8, 2017, Berlin, Germany https://www.concur2017.tu-berlin.de/ The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. 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) 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 co-located workshops and tutorials, which will take place during the week of September 4-9. IMPORTANT DATES (AoE in 2017) Paper Submission: April 21 (firm deadline) Paper Notification: June 16 Camera Ready Copy Due: July 7 CONCUR 2017:September 5-8 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; - Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols. - Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2017 solicits high quality papers reporting research results and/or experience related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2017 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair (https://www.easychair.org/conferences/?conf=concur2017). Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ PROGRAM CHAIRS - Roland Meyer (Technische Universität Braunschweig, Germany) - Uwe Nestmann (Technische Universität Berlin, Germany) STEERING COMMITTEE Jos Baeten (Centrum Wiskunde & Informatica (CWI), The Netherlands) Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina) Javier Esparza (Technische Universität München, Germany) Joost-Pieter Katoen (RWTH Aachen University, Germany) Kim G. Larsen (Aalborg University, Denmark) Ugo Montanari (Università di Pisa, Italy) Catuscia Palamidessi (École Polytechnique, France)
[TYPES/announce] Call for Workshops - CONCUR 2017
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * *CONCUR 2017* * THE 28TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY 5-8 September 2017, Berlin, Germany (https://www.concur2017.tu-berlin.de/) CALL FOR AFFILIATED WORKSHOPS The 28th Conference on Concurrency Theory (CONCUR 2017) will be held from September 5th to September 8th 2017, in Berlin, Germany. It will be co-located with the 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), the 15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), and the 14th European Performance Engineering Workshop (EPEW 2017). Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2017, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, cross-fertilization between industry and academia and opportunities for young and prospective researchers. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. You can have an idea of the past workshops by browsing the pages of the past editions of CONCUR. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday, September 4th and Saturday, September 9th, 2017. Proposals should include: * The name and the preferred date of the proposed workshop (Sept. 4th or 9th). * A short description of the workshop (500 words max). * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * The expected number of participants. * The name and short CV of the organizer(s). * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). The CONCUR organization offers: * Link from the CONCUR web site. * Setup of meeting space, and related equipment. * Coffee-breaks. * On-line and on-site registration to the workshop. * One free workshop registration (for an invited speaker). The main responsibility of organizing a workshop goes to the workshop chairperson(s), including: * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the CONCUR workshop chairs. IMPORTANT DATES Submission of workshop proposals: by January 27th, 2017 Notification: by February 3rd, 2017 SUBMISSION TO: Kirstin Peters (kirstin.pet...@tu-berlin.de) For more information, please contact me via email (kirstin.pet...@tu-berlin.de) The CONCUR 2017 workshop chair, Kirstin Peters https://kirstin-peters.de/ Technische Universität Berlin smime.p7s Description: S/MIME Cryptographic Signature
[TYPES/announce] only 5 days left - EXPRESS/SOS 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please note that an earlier call mentioned the wrong weekdays. The deadlines for abstracts and papers is on Monday, June 13 (anywhere on earth). So it is not necessary to register abstracts beforehand. -- -- Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) EXPRESS/SOS 2016 -- August 22, 2016, Québec City (Canada) Affiliated with CONCUR 2016 http://express-sos2016.cs.vu.nl/ Submission of abstracts: Monday June 13, 2016 Submission of papers:Monday June 13, 2016 -- 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 2016 EasyChair server (https://easychair.org/conferences/?conf=expresssos2016). The final versions of accepted full papers will be published in EPTCS. INVITED SPEAKER: Joost-Pieter Katoen (RWTH Aachen University, Germany) IMPORTANT DATES: Abstract submission: June 13, 2016 Paper submission: June 13, 2016 Notification date:July 18, 2016 Camera ready version: July 29, 2016 WORKSHOP CO-CHAIRS: Daniel Gebler (VU University Amsterdam, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) PROGRAM COMMITTEE: Ilaria Castellani (INRIA Sophia Antipolis, France) Matteo Cimini (Indiana University, Bloomington, Indiana) Ornela Dardha (University of Glasgow, UK) Pedro R. D'Argenio (University of Córdoba, Argentina) Simone Tini (Università degli Studi dell’Insubria, Italia) Daniel Gebler (VU University Amsterdam, The Netherlands) Tobias Heindel (IT University of Copenhagen, Denmark) Thomas T. Hildebrandt (IT University of Copenhagen, Denmark) Daniel Hirschkoff (ENS Lyon, France) Jorge A. Pérez (University of Groningen, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) Alexandra Silva (University College London, UK) Pawel Sobocinski (University of Southampton, UK) smime.p7s Description: S/MIME Cryptographic Signature
[TYPES/announce] extented deadline - EXPRESS/SOS 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEWS: - extended abstract deadline -- -- Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) EXPRESS/SOS 2016 -- August 22, 2016, Québec City (Canada) Affiliated with CONCUR 2016 http://express-sos2016.cs.vu.nl/ Submission of abstracts: Sunday June 13, 2016 Submission of papers:Sunday June 13, 2016 -- 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 2016 EasyChair server (https://easychair.org/conferences/?conf=expresssos2016). The final versions of accepted full papers will be published in EPTCS. INVITED SPEAKER: Joost-Pieter Katoen (RWTH Aachen University, Germany) IMPORTANT DATES: Abstract submission: June 13, 2016 Paper submission: June 13, 2016 Notification date:July 18, 2016 Camera ready version: July 29, 2016 WORKSHOP CO-CHAIRS: Daniel Gebler (VU University Amsterdam, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) PROGRAM COMMITTEE: Ilaria Castellani (INRIA Sophia Antipolis, France) Matteo Cimini (Indiana University, Bloomington, Indiana) Ornela Dardha (University of Glasgow, UK) Pedro R. D'Argenio (University of Córdoba, Argentina) Simone Tini (Università degli Studi dell’Insubria, Italia) Daniel Gebler (VU University Amsterdam, The Netherlands) Tobias Heindel (IT University of Copenhagen, Denmark) Thomas T. Hildebrandt (IT University of Copenhagen, Denmark) Daniel Hirschkoff (ENS Lyon, France) Jorge A. Pérez (University of Groningen, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) Alexandra Silva (University College London, UK) Pawel Sobocinski (University of Southampton, UK)
[TYPES/announce] Last CfP EXPRESS/SOS 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) EXPRESS/SOS 2016 -- August 22, 2016, Québec City (Canada) Affiliated with CONCUR 2016 http://express-sos2016.cs.vu.nl/ Submission of abstracts: Monday June 06, 2016 Submission of papers:Monday June 13, 2016 -- 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 2016 EasyChair server (https://easychair.org/conferences/?conf=expresssos2016). The final versions of accepted full papers will be published in EPTCS. INVITED SPEAKER: Joost-Pieter Katoen (RWTH Aachen University, Germany) IMPORTANT DATES: Abstract submission: June 06, 2016 Paper submission: June 13, 2016 Notification date:July 18, 2016 Camera ready version: July 29, 2016 WORKSHOP CO-CHAIRS: Daniel Gebler (VU University Amsterdam, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) PROGRAM COMMITTEE: Ilaria Castellani (INRIA Sophia Antipolis, France) Matteo Cimini (Indiana University, Bloomington, Indiana) Ornela Dardha (University of Glasgow, UK) Pedro R. D'Argenio (University of Córdoba, Argentina) Simone Tini (Università degli Studi dell’Insubria, Italia) Daniel Gebler (VU University Amsterdam, The Netherlands) Tobias Heindel (IT University of Copenhagen, Denmark) Thomas T. Hildebrandt (IT University of Copenhagen, Denmark) Daniel Hirschkoff (ENS Lyon, France) Jorge A. Pérez (University of Groningen, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) Alexandra Silva (University College London, UK) Pawel Sobocinski (University of Southampton, UK)
[TYPES/announce] Second CfP EXPRESS/SOS 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- NEWS: - deadlines approaching (abstracts: Monday June 06, 2016) - Invited Speaker: Joost-Pieter Katoen (RWTH Aachen University, Germany) --- Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) EXPRESS/SOS 2016 --- August 22, 2016, Québec City (Canada) Affiliated with CONCUR 2016 http://express-sos2016.cs.vu.nl/ Submission of abstracts: Monday June 06, 2016 Submission of papers: Monday June 13, 2016 --- 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 2016 EasyChair server (https://easychair.org/conferences/?conf=expresssos2016). The final versions of accepted full papers will be published in EPTCS. INVITED SPEAKER: Joost-Pieter Katoen (RWTH Aachen University, Germany) IMPORTANT DATES: Abstract submission: June 06, 2016 Paper submission: June 13, 2016 Notification date: July 18, 2016 Camera ready version: July 29, 2016 WORKSHOP CO-CHAIRS: Daniel Gebler (VU University Amsterdam, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) PROGRAM COMMITTEE: Ilaria Castellani (INRIA Sophia Antipolis, France) Matteo Cimini (Indiana University, Bloomington, Indiana) Ornela Dardha (University of Glasgow, UK) Pedro R. D'Argenio (University of Córdoba, Argentina) Simone Tini (Università degli Studi dell’Insubria, Italia) Daniel Gebler (VU University Amsterdam, The Netherlands) Tobias Heindel (IT University of Copenhagen, Denmark) Thomas T. Hildebrandt (IT University of Copenhagen, Denmark) Daniel Hirschkoff (ENS Lyon, France) Jorge A. Pérez (University of Groningen, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) Alexandra Silva (University College London, UK) Pawel Sobocinski (University of Southampton, UK) smime.p7s Description: S/MIME Cryptographic Signature
[TYPES/announce] First CfP EXPRESS/SOS 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) EXPRESS/SOS 2016 --- August 22, 2016, Québec City (Canada) Affiliated with CONCUR 2016 http://express-sos2016.cs.vu.nl/ Submission of abstracts: Sunday June 06, 2016 Submission of papers: Sunday June 13, 2016 --- 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 2016 EasyChair server (https://easychair.org/conferences/?conf=expresssos2016). The final versions of accepted full papers will be published in EPTCS. IMPORTANT DATES: Abstract submission: June 06, 2016 Paper submission: June 13, 2016 Notification date: July 18, 2016 Camera ready version: July 29, 2016 WORKSHOP CO-CHAIRS: Daniel Gebler (VU University Amsterdam, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) PROGRAM COMMITTEE: Ilaria Castellani (INRIA Sophia Antipolis, France) Matteo Cimini (Indiana University, Bloomington, Indiana) Ornela Dardha (University of Glasgow, UK) Pedro R. D'Argenio (University of Córdoba, Argentina) Simone Tini (Università degli Studi dell’Insubria, Italia) Daniel Gebler (VU University Amsterdam, The Netherlands) Tobias Heindel (IT University of Copenhagen, Denmark) Thomas T. Hildebrandt (IT University of Copenhagen, Denmark) Daniel Hirschkoff (ENS Lyon, France) Jorge A. Pérez (University of Groningen, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) Alexandra Silva (University College London, UK) Pawel Sobocinski (University of Southampton, UK) smime.p7s Description: S/MIME Cryptographic Signature
[TYPES/announce] Fwd: [DisCoTec] Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies] Call for Participation DisCoTec 2014 http://www.discotec.org/ Berlin, Germany, June 3-6, 2014 early registration, May 5 The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). The main conferences, taking place on 3-5 June at Technische Universität Berlin, are: * COORDINATION - 16th International Conference on Coordination Models and Languages * DAIS - 14th IFIP International Conference on Distributed Applications and Interoperable Systems * FORTE - 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems Invited Speakers Frank Leymann (University of Stuttgart, Germany) Maarten van Steen (VU University Amsterdam, Netherlands) Joachim Parrow (Uppsala University, Sweden) The DisCoTec 2014 program is available at: http://www.discotec.org/program Registration *The early registration deadline of DisCoTec is May 5th.* The registration page is available on the DisCoTec homepage: http://www.discotec.org/registration
[TYPES/announce] COORDINATION 2014 - Deadline approaching
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies of this message] Call for Papers = COORDINATION 2014 16th International Conference on Coordination Models and Languages A DisCoTec Member Conference http://coordination.discotec.org/ June 3-6, 2014, TU Berlin, Germany == Important dates: Abstract submission: February 1, 2014 Paper submission: February 7, 2014 Author notification: March 10, 2014 Camera-ready version: March 24, 2014 Early registration: May 5, 2014 Conference and workshops: June 3-6 2014 The time of all deadlines is 24:00 SST (UTC-11, Samoa Standard Time). The submission deadlines are strict, there will be no extension. Scope: COORDINATION 2014 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. Its distinctive feature is its emphasis on high-level abstractions that capture interaction patterns manifest at all levels of the software architecture and extending into the realm of the end-user domain. COORDINATION 2014 seeks high-quality contributions on the usage, study, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and multicore software systems. Main topics of interest: * Programming abstractions and languages * Coordination models and paradigms * Applied software engineering principles * Specification and verification * Foundations and types * Distributed middleware architectures * Multicore programming * Collaborative adaptive systems * Coordination related use cases Submission and publication: Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed 16 pages in length, including figures and references, prepared using Springer's LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://www.easychair.org/conferences/?conf=coordination2014. The conference proceedings will be published by Springer in the LNCS Series. Invited Speakers: Frank Leymann (University of Stuttgart, Germany) Marten van Steen (VU University Amsterdam, Netherlands) Joachim Parrow (Uppsala University, Sweden) PC Chairs: eva Kuehn (Vienna University of Technology, Austria) Rosario Pugliese (University of Firenze, Italy) Programme Committee: Marco Aldinucci (University of Torino, Italy) Farhad Arbab (CWI and Leiden University, The Netherlands) Luis Caires (Universidade Nova de Lisboa, Portugal) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies, Italy) Schahram Dustdar (Vienna University of Technology, Austria) Gianluigi Ferrari (University of Pisa, Italy) Jos Luiz Fiadeiro (Royal Holloway University of London, UK) Valrie Issarny (INRIA, France) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Rania Khalaf (IBM T.J. Watson Research Center, USA) Michele Loreti (University of Firenze, Italy) Andrea Omicini (University of Bologna, Italy) Kirstin Peters (TU Berlin, Germany) Paolo Petta (OFAI - Austrian Research Institute for Artificial Intelligence, Austria) Anna Philippou (University of Cyprus, Cyprus) Hanne Riis Nielson (The Technical University of Denmark, Denmark) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Herbert Wiklicky (Imperial College London, UK) Martin Wirsing (Ludwig-Maximilians-Universitaet Muenchen, Germany) Gianluigi Zavattaro (University of Bologna, Italy) Steering Committee: Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Gul Agha (University of Illinois at Urbana Champaign, USA) Dave Clarke (Uppsala University, Sweden) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy)
[TYPES/announce] FORTE 2014 - Deadline approaching
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies of this message] CALL FOR PAPERS FORTE 2014 A DisCoTec Member Conference 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems http://forte.discotec.org/http://www.discotec.org/forte Abstract Submission: February 1, 2014 Paper Submission:February 7, 2014 Author Notification: March 10, 2014 = FORTE 2014 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. FORTE 2014 is the heir to the original FORTE series, FMOODS series and joint FMOODS/FORTE conference series as part of the DisCoTec 2014 event and will take place June 3-6, 2014, in Berlin, Germany. === Scope === The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of: - component- and model-based design; - object technology, modularity, software adaptation; - service-oriented, ubiquitous, pervasive, grid, cloud, and mobile computing systems; - software quality, reliability, availability, and safety; - security, privacy, and trust in distributed systems; - adaptive distributed systems, self-stabilization; self-healing/organizing; - verification, validation, formal analysis, and testing of the above. Contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are encouraged. FORTE covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, cyber-physical systems and sensor networks, as well as networking and communication security and reliability. Topics of interest include but are not limited to: - Languages and semantic foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects; type systems and behavioral typing; - Formal methods and techniques: design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems including communications and network protocols, service-oriented systems, adaptive distributed systems; - Foundations of security: new principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts; - Applications of formal methods: applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems; - Practical experience with formal methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems. === Submission and publication === Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed 15 pages in length, including figures and references, prepared using Springer's LNCS style (cf. http://www.springer.de/comp/lncs/authors.html). Submissions not adhering to the above specified constraints may be rejected immediately, without review. Papers can be submitted electronically in pdf via the EasyChair system at the following address: https://www.easychair.org/account/signin.cgi?conf=forte14 The time of all deadlines is 24:00 SST (UTC-11, Samoa Standard Time). Each paper will undergo a peer review of at least 3 anonymous reviewers. The conference proceedings will be published by Springer in the LNCS Series. === Invited Speakers === Frank Leymann (University of Stuttgart, Germany) Marten van Steen (VU University Amsterdam, Netherlands) Joachim Parrow (Uppsala University, Sweden) === Programme Chairs === Erika Abraham (RWTH Aachen University, Germany) Catuscia Palamidessi (INRIA Saclay, France) === Programme Committee === Myrto Arapinis (University of Edinbourgh, UK) Pedro R. D'Argenio (University of Cordoba, Argentina) Paul C. Attie (University of Texas at Austin, USA and American University of Beirut, Lebanon) Dirk Beyer (University of Passau, Germany) Frank de Boer (LIACS/CWI, The Netherlands) Michele Boreale (Univeristy of Florence, Italy) Johannes Borgstroem (Uppsala University, Sweden)
[TYPES/announce] DAIS 2014 - Deadline approaching
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies of this message] DAIS 14th IFIP International Conference on Distributed Applications and Interoperable Systems http://dais.discotec.org June 3-6, 2014, Berlin, Germany * Important Dates * 1 February, 2014: Abstract submission 7 February, 2014: Paper submission 10 March, 2014: Notification to authors 24 March, 2014: Camera-ready version due * Scope * The annual IFIP DAIS conference is one of the leading international venues to discuss all aspects of distributed applications and systems, throughout their lifecycle. This includes the design, architecture, implementation and operation of distributed computing systems, their supporting middleware, appropriate software engineering methods and tools, as well as experimental studies and practical reports. Following the success of past conferences in this series, the 14th International DAIS conference will provide a forum for researchers, industry practitioners, and users, to discuss and learn about new technologies, approaches, concepts and experiences in the field of distributed computing. Submission tracks: DAIS offers three distinct submission tracks (Research papers, Practical Experience Reports, and Work-in-progress papers). Authors should indicate in their submission which track they are submitting to. All papers accepted in any of the tracks will be included in the conference proceedings. * Topics of Interest * DAIS'14 solicits high-quality papers reporting research results and/or experimental results in the area of distributed applications and interoperable systems. Submissions will be judged on their originality, significance, clarity, relevance, and technical correctness. The topics of interest to the conference include, but are not limited to: - Novel and innovative distributed applications and systems, in particular in the areas of middleware, peer-to-peer systems, cloud and grid computing, social networking, cyber-physical systems, mobile computing, service-oriented computing, and context-aware computing; - Novel architectures and mechanisms, in particular in the areas of pub/sub systems, language-based approaches, overlay network protocols, virtualisation, parallelization, bio-inspired distributed computing; - System issues and design goals, including self-management, trust and reputation, cooperation incentives and fairness, fault-tolerance and dependability, energy-efficiency, performance, robustness and scalability; - Engineering and tools, including model-driven engineering, domain-specific languages, design patterns and methods, testing and validation, distributed debugging. * Submission and Publication * DAIS'14 offers three submission tracks: - Full research papers with no more than 14 pages; - Full practical experience reports, including experimental and evaluation studies, case studies, and practice reports with no more than 14 pages; - Work-in-progress papers, describing ongoing work and interim results, with no more than 6 pages. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically as PDF using the Springer LNCS style (http://www.springer.com/computer/lncs) to the conference submission website: https://www.easychair.org/conferences/?conf=dais2014 Each paper will undergo a thorough process of peer reviews by the Program Committee. All papers accepted in any of the conference tracks will be included in the conference proceedings, which will be published by Springer-Verlag in the LNCS series. Proceedings will be made available at the conference. Submission implies that at least one author will register and attend the conference if the paper is accepted. * Invited Speakers * Frank Leymann (University of Stuttgart, Germany) Marten van Steen (VU University Amsterdam, Netherlands) Joachim Parrow (Uppsala University, Sweden) * Program Committee Co-Chairs * Kostas Magoutis, ICS-FORTH, Greece Peter Pietzuch, Imperial College, UK * Publication Chair * Eva Kalyvianaki, City University London, UK * Program Committee * Stergios Anastasiadis, University of Ioannina, Greece Cosmin Arad, Google, USA Danilo Ardagna, Politecnico di Milano, Italy Carlos Baquero, Universidade do Minho, Portugal Gordon Blair, Lancaster University, UK Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Jim Dowling, KTH Royal Institute of Technology, Sweden Frank Eliassen, University of Oslo, Norway David Eyers, University of Otago, Australia Paulo Ferreira, INESC ID / Technical University of Lisbon, Portugal Kurt Geihs, Universitaet Kassel, Germany Karl Goeschka,
[TYPES/announce] Forte: Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS FORTE 2014 A DisCoTec http://www.discotec.org Member Conference 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems http://www.discotec.org/forte Abstract Submission: February 1, 2014 Paper Submission:February 7, 2014 Author Notification: March 10, 2014 = FORTE 2014 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. FORTE 2014 is the heir to the original FORTE series, FMOODS series and joint FMOODS/FORTE conference series as part of the DisCoTec 2014 event and will take place June 3-6, 2014, in Berlin, Germany. === Scope === The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of: - component- and model-based design; - object technology, modularity, software adaptation; - service-oriented, ubiquitous, pervasive, grid, cloud, and mobile computing systems; - software quality, reliability, availability, and safety; - security, privacy, and trust in distributed systems; - adaptive distributed systems, self-stabilization; self-healing/organizing; - verification, validation, formal analysis, and testing of the above. Contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are encouraged. FORTE covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, cyber-physical systems and sensor networks, as well as networking and communication security and reliability. Topics of interest include but are not limited to: - Languages and semantic foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects; type systems and behavioral typing; - Formal methods and techniques: design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems including communications and network protocols, service-oriented systems, adaptive distributed systems; - Foundations of security: new principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts; - Applications of formal methods: applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems; - Practical experience with formal methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems. === Submission and publication === Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed 15 pages in length, including figures and references, prepared using Springer's LNCS style (cf. http://www.springer.de/comp/lncs/authors.html). Submissions not adhering to the above specified constraints may be rejected immediately, without review. Papers can be submitted electronically in pdf via the EasyChair system at the following address: https://www.easychair.org/account/signin.cgi?conf=forte14 The time of all deadlines is 24:00 SST (UTC-11, Samoa Standard Time). Each paper will undergo a peer review of at least 3 anonymous reviewers. The conference proceedings will be published by Springer in the LNCS Series. === Invited Speakers === Frank Leymann (University of Stuttgart, Germany) Marten van Steen (VU University Amsterdam, Netherlands) Joachim Parrow (Uppsala University, Sweden) === Programme Chairs === Erika Abraham (RWTH Aachen University, Germany) Catuscia Palamidessi (INRIA Saclay, France) === Programme Committee === Myrto Arapinis (University of Edinbourgh, UK) Pedro R. D'Argenio (University of Cordoba, Argentina) Paul C. Attie (University of Texas at Austin, USA and American University of Beirut, Lebanon) Dirk Beyer (University of Passau, Germany) Frank de Boer (LIACS/CWI, The Netherlands) Michele Boreale (Univeristy of Florence, Italy) Johannes Borgstroem (Uppsala University, Sweden) Roberto Bruni (University of Pisa, Italy) Yuxin Deng
[TYPES/announce] Coordination - Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] COORDINATION - 16th International Conference on Coordination Models and Languages A DisCoTec http://www.discotec.org Member Conference June 3-6, 2014, TU Berlin, Germany http://www.discotec.org/coordination Call for Papers: COORDINATION 2014 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. Its distinctive feature is its emphasis on high-level abstractions that capture interaction patterns manifest at all levels of the software architecture and extending into the realm of the end-user domain. COORDINATION 2014 seeks high-quality contributions on the usage, study, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and multicore software systems. Main topics of interest: * Programming abstractions and languages * Coordination models and paradigms * Applied software engineering principles * Specification and verification * Foundations and types * Distributed middleware architectures * Multicore programming * Collaborative adaptive systems * Coordination related use cases Important dates: Abstract submission: February 1, 2014 Paper submission: February 7, 2014 Author notification: March 10, 2014 Camera-ready version: March 24, 2014 Early registration: May 5, 2014 Conference and workshops: June 3-6 2014 The time of all deadlines is 24:00 SST (UTC-11, Samoa Standard Time). The submission deadlines are strict, there will be no extension. Submission and publication: Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed 16 pages in length, including figures and references, prepared using Springer's LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://www.easychair.org/conferences/?conf=coordination2014 The conference proceedings will be published by Springer in the LNCS Series. Invited Speakers: Frank Leymann (University of Stuttgart, Germany) Marten van Steen (VU University Amsterdam, Netherlands) Joachim Parrow (Uppsala University, Sweden) PC Chairs: eva Kuehn (Vienna University of Technology, Austria) Rosario Pugliese (University of Firenze, Italy) Programme Committee: Marco Aldinucci (University of Torino, Italy) Farhad Arbab (CWI and Leiden University, The Netherlands) Luis Caires (Universidade Nova de Lisboa, Portugal) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies, Italy) Schahram Dustdar (Vienna University of Technology, Austria) Gianluigi Ferrari (University of Pisa, Italy) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (INRIA, France) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Rania Khalaf (IBM T.J. Watson Research Center, USA) Michele Loreti (University of Firenze, Italy) Andrea Omicini (University of Bologna, Italy) Kirstin Peters (TU Berlin, Germany) Paolo Petta (OFAI - Austrian Research Institute for Artificial Intelligence, Austria) Anna Philippou (University of Cyprus, Cyprus) Hanne Riis Nielson (The Technical University of Denmark, Denmark) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Herbert Wiklicky (Imperial College London, UK) Martin Wirsing (Ludwig-Maximilians-Universitaet Muenchen, Germany) Gianluigi Zavattaro (University of Bologna, Italy) Steering Committee: Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Gul Agha (University of Illinois at Urbana Champaign, USA) Dave Clarke (Uppsala University, Sweden) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy)
[TYPES/announce] DAIS - Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DAIS 14th IFIP International Conference on Distributed Applications and Interoperable Systems http://dais.discotec.org June 3-6, 2014, Berlin, Germany * Important Dates * 1 February, 2014: Abstract submission 7 February, 2014: Paper submission 10 March, 2014: Notification to authors 24 March, 2014: Camera-ready version due * Scope * The annual IFIP DAIS conference is one of the leading international venues to discuss all aspects of distributed applications and systems, throughout their lifecycle. This includes the design, architecture, implementation and operation of distributed computing systems, their supporting middleware, appropriate software engineering methods and tools, as well as experimental studies and practical reports. Following the success of past conferences in this series, the 14th International DAIS conference will provide a forum for researchers, industry practitioners, and users, to discuss and learn about new technologies, approaches, concepts and experiences in the field of distributed computing. Submission tracks: DAIS offers three distinct submission tracks (Research papers, Practical Experience Reports, and Work-in-progress papers). Authors should indicate in their submission which track they are submitting to. All papers accepted in any of the tracks will be included in the conference proceedings. * Topics of Interest * DAIS'14 solicits high-quality papers reporting research results and/or experimental results in the area of distributed applications and interoperable systems. Submissions will be judged on their originality, significance, clarity, relevance, and technical correctness. The topics of interest to the conference include, but are not limited to: - Novel and innovative distributed applications and systems, in particular in the areas of middleware, peer-to-peer systems, cloud and grid computing, social networking, cyber-physical systems, mobile computing, service-oriented computing, and context-aware computing; - Novel architectures and mechanisms, in particular in the areas of pub/sub systems, language-based approaches, overlay network protocols, virtualisation, parallelization, bio-inspired distributed computing; - System issues and design goals, including self-management, trust and reputation, cooperation incentives and fairness, fault-tolerance and dependability, energy-efficiency, performance, robustness and scalability; - Engineering and tools, including model-driven engineering, domain-specific languages, design patterns and methods, testing and validation, distributed debugging. * Submission and Publication * DAIS'14 offers three submission tracks: - Full research papers with no more than 14 pages; - Full practical experience reports, including experimental and evaluation studies, case studies, and practice reports with no more than 14 pages; - Work-in-progress papers, describing ongoing work and interim results, with no more than 6 pages. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically as PDF using the Springer LNCS style (http://www.springer.com/computer/lncs) to the conference submission website: https://www.easychair.org/conferences/?conf=dais2014 Each paper will undergo a thorough process of peer reviews by the Program Committee. All papers accepted in any of the conference tracks will be included in the conference proceedings, which will be published by Springer-Verlag in the LNCS series. Proceedings will be made available at the conference. Submission implies that at least one author will register and attend the conference if the paper is accepted. * Invited Speakers * Frank Leymann (University of Stuttgart, Germany) Marten van Steen (VU University Amsterdam, Netherlands) Joachim Parrow (Uppsala University, Sweden) * Program Committee Co-Chairs * Kostas Magoutis, ICS-FORTH, Greece Peter Pietzuch, Imperial College, UK * Publication Chair * Eva Kalyvianaki, City University London, UK * Program Committee * Stergios Anastasiadis, University of Ioannina, Greece Cosmin Arad, Google, USA Danilo Ardagna, Politecnico di Milano, Italy Carlos Baquero, Universidade do Minho, Portugal Gordon Blair, Lancaster University, UK Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Jim Dowling, KTH Royal Institute of Technology, Sweden Frank Eliassen, University of Oslo, Norway David Eyers, University of Otago, Australia Paulo Ferreira, INESC ID / Technical University of Lisbon, Portugal Kurt Geihs, Universitaet Kassel, Germany Karl Goeschka, Vienna University of Technology, Austria Franz Hauck,
[TYPES/announce] DisCoTec: Last Call for Workshop Proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies] == Last Call for Workshop Proposals DisCoTec 2014 9th International Federated Conference on Distributed Computing Techniques http://www.discotec.org/ Berlin, Germany, June 3-6 2014 == DisCoTec 2014 invites proposals for one-day workshops to be part of the joint event. DisCoTec 2014 hosts conferences in the area of coordination languages, distributed systems and formal methods for distributed systems, ranging from practice to theory. We invite workshops in these areas to provide a forum for presentations of preliminary research results and ongoing work as well as presentations of research work to a focused audience. DisCoTec workshops provide a vivid and open forum for discussions. One-day workshops will be held in conjunction with the main events. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshops chair (Kirstin Peters) if any questions arise. * Important Dates * *December 19, 2013 Workshop proposal deadline* January 6, 2014 Workshop proposal notification June3-5, 2014 Main conferences June 6, 2014 Workshops Submission and notification deadlines of the workshops are at the discretion of the individual workshop organizers, however notification must be no later than the early registration deadline for DisCoTec. * Proposal Submission Guidelines * Workshop proposals must be written in English, not exceed 5 pages with reasonable font and margin, and be submitted (in PDF format) via email to * Kirstin Peters (kirstin.peters AT tu-berlin.de). Proposals should include the following information: * The title, theme, and goals of the workshop. * The targeted audience and the expected number of participants. We prefer that workshops remain open to participation from any members of the community, but by-invitation-only workshops will also be considered. Please explicitly state your preference. * The publicity strategy that will be used by the workshop organizers to promote the workshop. * The participant solicitation and selection process. * Publication plan. Each workshop is responsible for managing its own publication (e.g., pre- and/or post- proceedings), if any is desired. * Approximate budget proposal (see Budget section below for details). * A preliminary version of the call for papers, which must include important dates (e.g. submission, notification, and camera-ready deadlines). * The equipment and any other resource necessary for the organization of the workshop; and whether a poster session is planned. * A brief description of the organizer's background, including relevant past experience on organizing workshops and contact information. * Review Process * Workshop proposals will be reviewed by the following committee: * Uwe Nestmann, TU Berlin, Germany (general chair) * Kirstin Peters, TU Berlin, Germany (workshops chair) * Margit Russ, TU Berlin, Germany (organization chair) Acceptance is based on an evaluation of the workshop's potential for generating useful results, the timeliness and expected interest in the topics, the organizer's ability to lead a successful workshop, and potential for attracting sufficient number of participants. * Workshop Publicity * Workshop publicity is responsibility of the workshop organizers. In particular they are in charge of 1. Providing a workshop description (200 words) for inclusion on the DisCoTec website. 2. Hosting and maintaining web pages either on the DisCoTec website or linked from it. 3. Editing workshop proceedings, if any. 4. Publicising the event. * Budget * DisCoTec will provide registration and organizational support for the workshops. Registration fees must be paid for all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the DisCoTec organizers as part of the registration and will be used to cover the expenses of each workshop as agreed with the workshop organizers. * Contact Information * Kirstin Peters (kirstin.peters AT tu-berlin.de)
[TYPES/announce] Fwd: First Call for Workshop Proposals DisCoTec
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies] == First Call for Workshop Proposals DisCoTec 2014 9th International Federated Conference on Distributed Computing Techniques http://www.discotec.org/ Berlin, Germany, June 3-6 2014 == DisCoTec 2014 invites proposals for one-day workshops to be part of the joint event. DisCoTec 2014 hosts conferences in the area of coordination languages, distributed systems and formal methods for distributed systems, ranging from practice to theory. We invite workshops in these areas to provide a forum for presentations of preliminary research results and ongoing work as well as presentations of research work to a focused audience. DisCoTec workshops provide a vivid and open forum for discussions. One-day workshops will be held in conjunction with the main events. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshops chair (Kirstin Peters) if any questions arise. * Important Dates * December 19, 2013 Workshop proposal deadline January 6, 2014 Workshop proposal notification June3-5, 2014 Main conferences June 6, 2014 Workshops Submission and notification deadlines of the workshops are at the discretion of the individual workshop organizers, however notification must be no later than the early registration deadline for DisCoTec. * Proposal Submission Guidelines * Workshop proposals must be written in English, not exceed 5 pages with reasonable font and margin, and be submitted in PDF format via email to * Kirstin Peters (kirstin.peters AT tu-berlin.de). Proposals should include the following information: * The title, theme, and goals of the workshop. * The targeted audience and the expected number of participants. We prefer that workshops remain open to participation from any members of the community, but by-invitation-only workshops will also be considered. Please explicitly state your preference. * The publicity strategy that will be used by the workshop organizers to promote the workshop. * The participant solicitation and selection process. * Publication plan. Each workshop is responsible for managing its own publication (e.g., pre- and/or post- proceedings), if any is desired. * Approximate budget proposal (see Budget section below for details). * A preliminary version of the call for papers, which must include important dates (e.g. submission, notification, and camera-ready deadlines). * The equipment and any other resource necessary for the organization of the workshop; and whether a poster session is planned. * A brief description of the organizer's background, including relevant past experience on organizing workshops and contact information. * Review Process * Workshop proposals will be reviewed by the following committee: * Uwe Nestmann, TU Berlin, Germany (general chair) * Kirstin Peters, TU Berlin, Germany (workshops chair) * Margit Russ, TU Berlin, Germany (organization chair) Acceptance is based on an evaluation of the workshop's potential for generating useful results, the timeliness and expected interest in the topics, the organizer's ability to lead a successful workshop, and potential for attracting sufficient number of participants. * Workshop Publicity * Workshop publicity is responsibility of the workshop organizers. In particular they are in charge of 1. Providing a workshop description (200 words) for inclusion on the DisCoTec website. 2. Hosting and maintaining web pages either on the DisCoTec website or linked from it. 3. Editing workshop proceedings, if any. 4. Publicising the event. * Budget * DisCoTec will provide registration and organizational support for the workshops. Registration fees must be paid for all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the DisCoTec organizers as part of the registration and will be used to cover the expenses of each workshop as agreed with the workshop organizers. * Contact Information * Kirstin Peters (kirstin.peters AT tu-berlin.de)