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

PhD/Post-Doc positions at the University of Duisburg-Essen
by Barbara Koenig 26 Apr '18

26 Apr '18

The Theoretical Computer Science Group (Prof. Barbara Koenig) at the University of Duisburg-Essen, Campus Duisburg (Germany) has two open PhD positions paid according to TV-L 13 (full-time). The first position is in the DFG project BEMEGA ("Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms"), which has been recently extended. For this position, candidates at post-doc level can also be considered. The second position is in the research training group UCSM ("User-Centred Social Media"), which provides an interdisciplinary research environment with computer science and psychology as the main contributing disciplines. Requirements ------------ You should have or should be in the process of obtaining a MSc or equivalent degree (in Computer Science or Mathematics). Prior knowledge about the topics of the projects is considered an advantage. Good English speaking and writing skills are demanded, as well as the willingness to learn German. DFG Project BEMEGA - Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms ---------------------------------------------------------------------- Behavioural equivalences are an important concept for the analysis and verification of concurrent systems. Two processes or system states are behaviourally equivalent if they are indistinguishable from the point of view of an external observer. Depending on the power that is given to the observer, one obtains different notions such as strong and weak bisimilarity or trace equivalence. The purpose of this project is to gain a general view on the notion of behavioural equivalences and, independently of the specific type of a system, to provide advanced concepts, methods and algorithms for behavioural equivalences. In particular, we work on the following topics: * Environmental Aspects and Side Effects (environmental and context-dependent aspects of behavioural equivalences, explicit vs. implicit branching) * Metrics and Distances (measuring the behavioural distance of system states) * Logics and Games * Generic Algorithms (for minimization, determinization, up-to techniques, computation of behavioural distances) * Tools and Applications The application deadline is 21 May 2018. http://www.ti.inf.uni-due.de/en/research/bemega/ ====================================================================== Research Training Group UCSM - User-Centred Social Media ---------------------------------------------------------------------- The research training group (RTG) UCSM provides an interdisciplinary research environment with computer science and psychology as the main contributing disciplines. From this interdisciplinary perspective, it addresses research challenges related to Social Media which are understood as complex socio-technical systems characterized by features such as user-generated content, social interaction and awareness, and emergent functionality. Significant research gaps have been identified with respect to analyzing and understanding the characteristics and determinants of user behaviour, both at the individual and the collective level, as well as regarding the user-centred design of social media systems. The planned PhD topic which will be supervised by me is called "Handling Uncertainty when Analysing and Observing Social Media". The application deadline is 15 May 2018. https://ucsm.info/open-positions ====================================================================== Your Application ---------------- You can obtain further information by adressing your enquiries to: Barbara Koenig barbara_koenig(a)uni-due.de tel.: ++49-203-3793397 If you are interested in the position, please send your application. Your application should include: * A description of your interest in the project, including your motivation and specific qualifications. * A curriculum vitae, including an abstract of your graduate thesis and the name of your supervisor. * If you are interested in a post-doc position, please include a list of your publications and the names of possible referees. For the first position, please send your application directly to me (barbara_koenig(a)uni-due.de), for the second position, please apply via the web page of the research training group (https://ucsm.info/open-positions).

1 0

Final Call: CONCUR 2018
by Ernst Moritz Hahn 13 Apr '18

13 Apr '18

[apologies for multiple copies of this CfP] Final Call: CONCUR 2018 The 29th International Conference on Concurrency Theory Beijing, China, September 4-7, 2018 http://lcs.ios.ac.cn/concur2018/ 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 * Moshe Vardi, Rice University (USA) * Yuxin Deng, East China Normal University (China) * Rob van Glabbeek, Stanford University (USA), CSIRO, and University of New South Wales (Australia) * Bow-Yaw Wang, Academia Sinica (Taiwan) Co-located events at CONFESTA * 16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2018) * 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) * 4th International Symposium on Dependable Software Engineering (SETTA 2018) * CONFESTA will also host a number of workshops and tutorials (TBA). IMPORTANT DATES All dates are AoE. * Abstract submission: April 17, 2018 (firm) * Paper submission: April 23, 2018 (firm * Notification: June 7, 2018 * Camera ready copy: July 2, 2018 * Conference: September 4-7, 2018 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 2018 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. 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 2018 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair. Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. Extended versions of selected papers will appear in a special issue of the Journal of Computer and System Sciences (JCSS). ORGANIZATION COMMITTEE General Chair * Huimin Lin (Institute of Software, Chinese Academy of Sciences, China) Program Co-chairs * Sven Schewe (University of Liverpool, UK) * Lijun Zhang (Institute of Software, CAS, China) PROGRAM COMMITTEE * Parosh Abdulla Uppsala University (Sweden) * Christel Baier TU Dresden (Germany) * Roderick Bloem Graz University of Technology (Austria) * Ahmed Bouajjani IRIF, University Paris Diderot (France) * Franck van Breugel York University (Canada) * Taolue Chen Birkbeck, University of London (UK) * Yu-Fang Chen Academia Sinica (Taiwan) * Alessandro Cimatti Fondazione Bruno Kessler (Italy) * Pedro R. D'Argenio Universidad Nacional de Córdoba - CONICET (Argentina) * Josée Desharnais Université Laval (Canada) * Wan Fokkink Vrije Universiteit Amsterdam (The Netherlands) * Erich Grädel RWTH Aachen University (Germany) * Ichiro Hasuo National Institute of Informatics (Japan) * Fei He Tsinghua University (China) * Anna Ingólfsdóttir Reykjavík University (Iceland) * Stefan Kiefer University of Oxford (UK) * Shankara Narayanan Krishna IIT Bombay (India) * Antonín Kučera Masaryk University (Czech Republic) * Salvatore La Torre Università degli studi di Salerno (Italy) * Jérôme Leroux CNRS (France) * Parthasarathy Madhusudan University of Illinois at Urbana-Champaign (USA) * Rupak Majumdar MPI-SWS (Germany) * Radu Mardare Aalborg University (Denmark) * Roland Meyer TU Braunschweig (Germany) * Angelo Montanari University of Udine (Italy) * Sriram Sankaranarayanan University of Colorado, Boulder (USA) * Sven Schewe (co-chair) University of Liverpool (UK) * Alexandra Silva University College London (UK) * Ana Sokolova University of Salzburg (Austria) * Mariëlle Stoelinga University of Twente (The Netherlands) * Verena Wolf Saarland University (Germany) * Lijun Zhang (co-chair) Institute of Software, Chinese Academy of Sciences (China) Last updated: Wednesday, 14 March 2018

1 0

Protocol business meeting
by Roland Meyer 06 Mar '18

06 Mar '18

Dear Colleagues, please find enclosed the protocol of the business meeting. Many thanks to Javier for hosting D-CON 2019 in Munich! Best regards Roland -- Prof. Dr. Roland Meyer TU Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 23, 346 38106 Braunschweig Phone: +49 (0)531 391 9524 Fax: +49 (0)531 391 9529 Web: http://www.tcs.cs.tu-bs.de

1 0

[D-CON 2018] Program online (+ pre-dinner reminder)
by Kulcsar, Géza 16 Feb '18

16 Feb '18

Liebe D-CONler / Dear Concurrency Theorists, the schedule of D-CON 2018 is now online and can be accessed here: http://www.es.tu-darmstadt.de/d-con-2018/program/ or downloaded as a PDF here: http://www.es.tu-darmstadt.de/fileadmin/dcon18/D-CON_2018__-_Program.pdf Thanks to all the speakers for contributing to a diverse and exciting program! Of course, feel free to contact us at any time if you wish to change something. We are looking forward to see you in Darmstadt! Those who arrive already on Feb 28, Wednesday, we'll meet in the Ban Thai Restaurant (https://goo.gl/maps/mypZ7wNBAZD2) at 19 o'clock. All the best, Géza, Malte, Lars and Stephan

1 0

D-CON 2018 - Registration
by Lochau, Malte 12 Dec '17

12 Dec '17

Liebe D-CONler / Dear Concurrency Theorists! Thank you very much for the many interesting talk proposals! A preliminary list of accepted talks can be found here: http://www.es.tu-darmstadt.de/d-con-2018/accepted-talks/ As a next step, we would like to ask every participant to register for D-CON 2018. To do so, please send a mail to Geza: geza.kulcsar(a)es.tu-darmstadt.de until January 15th, 2018, using the following template: ---- - First Name: - Last Name: - Affiliation (for name tags): - Date of Arrival: - Date of Departure: - I will join (self-paid) dinner on Wednesday (yes/no): - I will join (self-paid) dinner on Thursday (yes/no): - Dietary restrictions (if any): ----- Information on payment of the participation fee (75 Euro, covering lunch and coffee breaks on both days) will follow shortly after the registration deadline. As availability of accommodation is usually limited in Darmstadt, we recommend you to book your accommodation soon. Further information about accommodation can be found on the D-CON 2018 website: http://www.es.tu-darmstadt.de/d-con-2018/ As an option, we have reserved rooms in the Welcome hotel until January 24th, 2018. If you want to use this option, ask Geza during the registration. Best regards, Malte, Geza, Lars, Stephan

1 0

CONCUR 2018 - The 29th International Conference on Concurrency Theory
by Ernst Moritz Hahn 22 Nov '17

22 Nov '17

[apologies for multiple copies of this CfP] CONCUR 2018 The 29th International Conference on Concurrency Theory Beijing, China, September 4-7, 2018 http://lcs.ios.ac.cn/concur2018/ 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 * Yuxin Deng, East China Normal University (China) * Rob van Glabbeek, Stanford University (USA), CSIRO, and University of New South Wales (Australia) * Bow-Yaw Wang, Academia Sinica (Taiwan) Co-located events at CONFESTA * 16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2018) * 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) * 4th International Symposium on Dependable Software Engineering (SETTA 2018) * CONFESTA will also host a number of workshops and tutorials (TBA). IMPORTANT DATES All dates are AoE. * Abstract submission: April 17, 2018 (firm) * Paper submission: April 23, 2018 (firm * Notification: June 7, 2018 * Camera ready copy: July 2, 2018 * Conference: September 4-7, 2018 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 2018 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. 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 2018 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair. Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. Extended versions of selected papers will appear in a special issue of the Journal of Computer and System Sciences (JCSS). ORGANIZATION COMMITTEE General Chair * Huimin Lin (Institute of Software, Chinese Academy of Sciences, China) Program Co-chairs * Sven Schewe (University of Liverpool, UK) * Lijun Zhang (Institute of Software, CAS, China) PROGRAM COMMITTEE * Parosh Abdulla Uppsala University (Sweden) * Christel Baier TU Dresden (Germany) * Roderick Bloem Graz University of Technology (Austria) * Ahmed Bouajjani IRIF, University Paris Diderot (France) * Franck van Breugel York University (Canada) * Taolue Chen Birkbeck, University of London (UK) * Yu-Fang Chen Academia Sinica (Taiwan) * Alessandro Cimatti Fondazione Bruno Kessler (Italy) * Pedro R. D'Argenio Universidad Nacional de Córdoba - CONICET (Argentina) * Josée Desharnais Université Laval (Canada) * Wan Fokkink Vrije Universiteit Amsterdam (The Netherlands) * Erich Grädel RWTH Aachen University (Germany) * Ichiro Hasuo National Institute of Informatics (Japan) * Fei He Tsinghua University (China) * Anna Ingólfsdóttir Reykjavík University (Iceland) * Stefan Kiefer University of Oxford (UK) * Shankara Narayanan Krishna IIT Bombay (India) * Antonín Kučera Masaryk University (Czech Republic) * Salvatore La Torre Università degli studi di Salerno (Italy) * Jérôme Leroux CNRS (France) * Parthasarathy Madhusudan University of Illinois at Urbana-Champaign (USA) * Rupak Majumdar MPI-SWS (Germany) * Radu Mardare Aalborg University (Denmark) * Roland Meyer TU Braunschweig (Germany) * Angelo Montanari University of Udine (Italy) * Sriram Sankaranarayanan University of Colorado, Boulder (USA) * Sven Schewe (co-chair) University of Liverpool (UK) * Alexandra Silva University College London (UK) * Ana Sokolova University of Salzburg (Austria) * Mariëlle Stoelinga University of Twente (The Netherlands) * Verena Wolf Saarland University (Germany) * Lijun Zhang (co-chair) Institute of Software, Chinese Academy of Sciences (China) Last updated: Friday, 03 November 2017

1 0

D-CON 2018 - Call for Contributions
by Lochau, Malte 20 Nov '17

20 Nov '17

Liebe D-CONler / Dear Concurrency Theorists! As already announced in a previous mail, the next edition of D-CON will take place in Darmstadt on March 1st - March 2nd, 2018. The D-CON 2018 web page can be found under: http://www.es.tu-darmstadt.de/d-con-2018/ We are very happy to announce two invited talks by: - Andrea Corradini - Mohammad Reza Mousavi With this mail, we would like to ask for your contributions to D-CON 2018: If you like to present your most recent work, organize a discussion or breakout session, give a tutorial or whatever else comes into your mind, please send me a mail (malte.lochau(a)es.tu-darmstadt.de) including a title and a short abstract until Nov. 27th. We are looking forward to seeing you at D-CON 2018! Malte, Geza, Lars, Stephan

1 1

ACM/SPEC ICPE 2018 Call for Contributions-Extended Deadline Oct. 25th 2017
by wu huaming 17 Oct '17

17 Oct '17

------------------------------------------------------------------------ Call for Contributions ------------------------------------------------------------------------ ICPE 2018 9th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG Berlin, Germany April 9-13, 2018 Web: https://icpe2018.spec.org/ Twitter: https://twitter.com/ICPEconf/ ------------------------------------------------------------------------ IMPORTANT DATES Research and industrial/experience abstracts: [EXTENDED] Oct 25, 2017 Research and industrial/experience papers: [EXTENDED] Oct 25, 2017 Research and industrial/experience paper notification: Dec 8, 2017 Artifact registration: Dec 15, 2017 Artifact submission: Dec 22, 2017 Artifact notification: Feb 07, 2018 Work-in-progress/vision papers: Jan 10, 2018 Work-in-progress/vision paper notification: Feb 8, 2018 Poster/demo submission: Jan 03, 2018 Poster/demo notification: Jan 26, 2018 Workshop Proposals submission: PASSED Workshop Proposals Notification: PASSED Tutorial proposals submission: Oct 18, 2017 Tutorial proposals notification: Nov 18, 2017 Dates for doctoral symposium will be announced (see also https://icpe2018.spec.org/important-dates/). ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. This year's main theme is “continuous performance assurance in agile delivery”. Topics of interest include, but are not limited to: Performance modeling of software * Languages and ontologies * Methods and tools * Relationship/integration/tradeoffs with other QoS attributes * Analytical, simulation and statistical modeling methodologies * Model validation and calibration techniques * Automatic model extraction * Performance modeling and analysis tools Performance and software development processes/paradigms * Software performance patterns and anti-patterns * Software/performance tool interoperability (models and data interchange formats) * Performance-oriented design, implementation and configuration management * Software Performance Engineering and Model-Driven Development * Gathering, interpreting and exploiting software performance annotations and data * System sizing and capacity planning techniques * (Model-driven) Performance requirements engineering * Relationship between performance and architecture * Collaboration of development and operation (DevOps) for performance * Performance and agile methods * Performance in Service-Oriented Architectures (SOA) * Performance of microservice architectures and containers Performance measurement, monitoring and analysis * Performance measurement and monitoring techniques * Analysis of measured application performance data * Application tracing and profiling * Workload characterization techniques * Experimental design * Tools for performance testing, measurement, profiling and tuning Benchmarking * Performance metrics and benchmark suites * Benchmarking methodologies * Development of parameterizable, flexible benchmarks * Benchmark workloads and scenarios * Use of benchmarks in industry and academia Run-time performance management * Use of models at run-time * Online performance prediction * Autonomic resource management * Utility-based optimization * Capacity management Power and performance, energy efficiency * Power consumption models and management techniques * Tradeoffs between performance and energy efficiency * Performance-driven resource and power management Performance modeling and evaluation in different environments and application domains * Web-based systems, e-business, Web services * Big data systems, deep-learning systems, and other data analytics systems * Internet of Things * Social networks * Cyber-physical systems * Industrial Internet (Industry 4.0) * Virtualization and cloud computing * Autonomous/adaptive systems * Transaction-oriented systems * Communication networks * Parallel and distributed systems * Embedded systems * Multi-core systems * Cluster and grid computing environments * High performance computing * Event-based systems * Real-time and multimedia systems * Low-latency systems * Peer-to-peer, mobile and wireless systems All other topics related to performance of software and systems. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers is solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing innovative work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to the provided topic areas when submitting their papers. Submissions to all tracks need to be uploaded to ICPE's submission system and conform to the ACM submission format. For detailed submission instructions, please visit: https://icpe2018.spec.org/submissions.html. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2018 conference proceedings that will be published by ACM and included in the ACM Digital Library. Authors of accepted research papers are invited to submit an artifact to the ACM/SPEC ICPE 2018 Artifact Track. The highest quality papers, judged by multiple relevant factors, will be recognized with an award. Authors of selected papers will be invited to submit an extended version of their work to a journal. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) J. Nelson Amaral, University of Alberta, Canada Varsha Apte, IIT Bombay, India Alberto Avritzer, independent, USA Steffen Becker, University of Stuttgart, Germany Umesh Bellur, IIT Bombay, India Cor-Paul Bezemer, Queen’s University, Canada Andre B. Bondi, Software Performance and Scalability Consulting LLC, USA Giuliano Casale, Imperial College London, UK Lucy Cherkasova, HyTrust, USA Vittorio Cortellessa, Universita' dell'Aquila, Italy Vittoria de Nitto Personè, Università di Roma Tor Vergata, Italy Tadashi Dohi, Hiroshima University, Japan Wilhelm Hasselbring, Kiel University, Germany Evangelia Kalyvianaki, City University London, UK Samuel Kounev, University of Wuerzburg, Germany Anne Koziolek, Karlsruhe Institute of Technology, Germany Patrick Lee, The Chinese University of Hong Kong, Hong Kong Marin Litoiu, York University, Canada Catalina M. Lladó, Universitat Illes Balears, Spain Philipp Leitner, University of Zurich, Switzerland Paulo R. M. Maciel, Federal University of Pernambuco, Brazil Martina Maggio, Lund University, Sweden Andrea Marin, University of Venice, Italy Daniel Menasce, George Mason University, USA José Merseguer, Universidad de Zaragoza, Spain Ningfang Mi, Northeastern University, USA Raffaela Mirandola, Politecnico di Milano, Italy Juan F. Perez, Universidad del Rosario, Colombia Dorina Petriu, Carleton University, Canada Alma Riska, Network Appliances, USA Evgenia Smirni, College of William and Mary, USA Nigel Thomas, Newcastle University, UK Mirco Tribastone, IMT Institute for Advanced Studies, Italy Catia Trubiani, Gran Sasso Science Institute, Italy Petr Tuma, Charles University, Czech Republic Ana Lucia Varbanescu, University of Amsterdam, the Netherlands Enrico Vicario, University of Florence, Italy Murray Woodside, Carleton University, Canada Huaming Wu, Tianjin University, China Feng Yan, University of Nevada-Reno, USA Xiaoyun Zhu, Futurewei Technologies Inc., USA PROGRAM COMMITTEE (INDUSTRY/EXPERIENCE PAPERS) Klaus-Dieter Lange, HPE, USA Meikel Poess, Oracle, USA Tilmann Rabl, TU Berlin, Germany Matthias Scholze, QMethods, USA Rekha Singhal, TCS, India Cloyce Spradling, Oracle, USA Alexander Wert, NovaTec, Germany Boris Zibitsker, BEZNext, USA ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs * Will Knottenbelt, Imperial College, UK * Katinka Wolter, FU Berlin, Germany Research Program Chairs * André van Hoorn, University of Stuttgart, Germany * Manoj Nambiar, Tata Consultancy Services, India Industry Program Chair * Heiko Koziolek, ABB, Germany Artifact Evaluation Chairs * Wilhelm Hasselbring, Kiel University, Germany * Petr Tuma, Charles University, Czech Republic Tutorials Chairs * Alma Dimnaku (Riska), Network Appliances, USA * Andrea Marin, University of Venice, Italy Workshops Chairs * Eva Kalyvianaki, City University London, UK * Yao-Min Chen, Oracle, USA Posters and Demos Chair * Marco Paolieri, University of Southern California, USA Awards Chairs * Lydia Chen, IBM Zurich, Switzerland * John Murphy, UC Dublin, Ireland Publicity Chairs * Juan F. Perez, Universidad del Rosario, Colombia * Huaming Wu, Tianjin University, China Finance Chair * Matt Forshaw, Newcastle University, UK Proceedings Chair * Vladimir Stankovic, City University London, UK Registration Chair * Zhihao Shang, FU Berlin, Germany Web Site Chair * Thomas F. Düllmann, University of Stuttgart, Germany

1 0

ACM/SPEC ICPE 2018: Final Call for Contributions
by wu huaming 05 Oct '17

05 Oct '17

------------------------------------------------------------------------ Call for Contributions ------------------------------------------------------------------------ ICPE 2018 9th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG Berlin, Germany April 9-13, 2018 Web: https://icpe2018.spec.org/ Twitter: https://twitter.com/ICPEconf/ ------------------------------------------------------------------------ IMPORTANT DATES Research and industrial/experience abstracts: Oct 16, 2017 Research and industrial/experience papers: Oct 18, 2017 Research and industrial/experience paper notification: Dec 8, 2017 Artifact registration: Dec 15, 2017 Artifact submission: Dec 22, 2017 Artifact notification: Feb 07, 2018 Work-in-progress/vision papers: Jan 10, 2018 Work-in-progress/vision paper notification: Feb 8, 2018 Poster/demo submission: Jan 03, 2018 Poster/demo notification: Jan 26, 2018 Workshop Proposals submission: Oct 13, 2017 Workshop Proposals Notification: Oct 31, 2017 Tutorial proposals submission: Oct 18, 2017 Tutorial proposals notification: Nov 18, 2017 Dates for doctoral symposium will be announced (see also https://icpe2018.spec.org/important-dates/). ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. This year's main theme is “continuous performance assurance in agile delivery”. Topics of interest include, but are not limited to: Performance modeling of software * Languages and ontologies * Methods and tools * Relationship/integration/tradeoffs with other QoS attributes * Analytical, simulation and statistical modeling methodologies * Model validation and calibration techniques * Automatic model extraction * Performance modeling and analysis tools Performance and software development processes/paradigms * Software performance patterns and anti-patterns * Software/performance tool interoperability (models and data interchange formats) * Performance-oriented design, implementation and configuration management * Software Performance Engineering and Model-Driven Development * Gathering, interpreting and exploiting software performance annotations and data * System sizing and capacity planning techniques * (Model-driven) Performance requirements engineering * Relationship between performance and architecture * Collaboration of development and operation (DevOps) for performance * Performance and agile methods * Performance in Service-Oriented Architectures (SOA) * Performance of microservice architectures and containers Performance measurement, monitoring and analysis * Performance measurement and monitoring techniques * Analysis of measured application performance data * Application tracing and profiling * Workload characterization techniques * Experimental design * Tools for performance testing, measurement, profiling and tuning Benchmarking * Performance metrics and benchmark suites * Benchmarking methodologies * Development of parameterizable, flexible benchmarks * Benchmark workloads and scenarios * Use of benchmarks in industry and academia Run-time performance management * Use of models at run-time * Online performance prediction * Autonomic resource management * Utility-based optimization * Capacity management Power and performance, energy efficiency * Power consumption models and management techniques * Tradeoffs between performance and energy efficiency * Performance-driven resource and power management Performance modeling and evaluation in different environments and application domains * Web-based systems, e-business, Web services * Big data systems, deep-learning systems, and other data analytics systems * Internet of Things * Social networks * Cyber-physical systems * Industrial Internet (Industry 4.0) * Virtualization and cloud computing * Autonomous/adaptive systems * Transaction-oriented systems * Communication networks * Parallel and distributed systems * Embedded systems * Multi-core systems * Cluster and grid computing environments * High performance computing * Event-based systems * Real-time and multimedia systems * Low-latency systems * Peer-to-peer, mobile and wireless systems All other topics related to performance of software and systems. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers is solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing innovative work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions to all tracks need to be uploaded to ICPE's submission system and conform to the ACM submission format. For detailed submission instructions, please visit: https://icpe2018.spec.org/submissions.html. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2018 conference proceedings that will be published by ACM and included in the ACM Digital Library. Authors of accepted research papers are invited to submit an artifact to the ACM/SPEC ICPE 2018 Artifact Track. The highest quality papers, judged by multiple relevant factors, will be recognized with an award. Authors of selected papers will be invited to submit an extended version of their work to a journal. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) J. Nelson Amaral, University of Alberta, Canada Varsha Apte, IIT Bombay, India Alberto Avritzer, independent, USA Steffen Becker, University of Stuttgart, Germany Umesh Bellur, IIT Bombay, India Cor-Paul Bezemer, Queen’s University, Canada Andre B. Bondi, Software Performance and Scalability Consulting LLC, USA Giuliano Casale, Imperial College London, UK Lucy Cherkasova, HyTrust, USA Vittorio Cortellessa, Universita' dell'Aquila, Italy Vittoria de Nitto Personè, Università di Roma Tor Vergata, Italy Tadashi Dohi, Hiroshima University, Japan Wilhelm Hasselbring, Kiel University, Germany Evangelia Kalyvianaki, City University London, UK Samuel Kounev, University of Wuerzburg, Germany Anne Koziolek, Karlsruhe Institute of Technology, Germany Patrick Lee, The Chinese University of Hong Kong, Hong Kong Marin Litoiu, York University, Canada Catalina M. Lladó, Universitat Illes Balears, Spain Philipp Leitner, University of Zurich, Switzerland Paulo R. M. Maciel, Federal University of Pernambuco, Brazil Martina Maggio, Lund University, Sweden Andrea Marin, University of Venice, Italy Daniel Menasce, George Mason University, USA José Merseguer, Universidad de Zaragoza, Spain Ningfang Mi, Northeastern University, USA Raffaela Mirandola, Politecnico di Milano, Italy Juan F. Perez, Universidad del Rosario, Colombia Dorina Petriu, Carleton University, Canada Alma Riska, Network Appliances, USA Evgenia Smirni, College of William and Mary, USA Nigel Thomas, Newcastle University, UK Mirco Tribastone, IMT Institute for Advanced Studies, Italy Catia Trubiani, Gran Sasso Science Institute, Italy Petr Tuma, Charles University, Czech Republic Ana Lucia Varbanescu, University of Amsterdam, the Netherlands Enrico Vicario, University of Florence, Italy Murray Woodside, Carleton University, Canada Huaming Wu, Tianjin University, China Feng Yan, University of Nevada-Reno, USA Xiaoyun Zhu, Futurewei Technologies Inc., USA PROGRAM COMMITTEE (INDUSTRY/EXPERIENCE PAPERS) Klaus-Dieter Lange, HPE, USA Meikel Poess, Oracle, USA Tilmann Rabl, TU Berlin, Germany Matthias Scholze, QMethods, USA Rekha Singhal, TCS, India Cloyce Spradling, Oracle, USA Alexander Wert, NovaTec, Germany Boris Zibitsker, BEZNext, USA ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs * Will Knottenbelt, Imperial College, UK * Katinka Wolter, FU Berlin, Germany Research Program Chairs * André van Hoorn, University of Stuttgart, Germany * Manoj Nambiar, Tata Consultancy Services, India Industry Program Chair * Heiko Koziolek, ABB, Germany Artifact Evaluation Chairs * Wilhelm Hasselbring, Kiel University, Germany * Petr Tuma, Charles University, Czech Republic Tutorials Chairs * Alma Dimnaku (Riska), Network Appliances, USA * Andrea Marin, University of Venice, Italy Workshops Chairs * Eva Kalyvianaki, City University London, UK * Yao-Min Chen, Oracle, USA Posters and Demos Chair * Marco Paolieri, University of Southern California, USA Awards Chairs * Lydia Chen, IBM Zurich, Switzerland * John Murphy, UC Dublin, Ireland Publicity Chairs * Juan F. Perez, Universidad del Rosario, Colombia * Huaming Wu, Tianjin University, China Finance Chair * Matt Forshaw, Newcastle University, UK Proceedings Chair * Vladimir Stankovic, City University London, UK Registration Chair * Zhihao Shang, FU Berlin, Germany Web Site Chair * Thomas F. Düllmann, University of Stuttgart, Germany

1 0

Vacancies for doctoral researchers at RWTH Aachen University
by Joost-Pieter Katoen 02 Oct '17

02 Oct '17

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

1 0