D-CON

d-con@lists.rwth-aachen.de

323 Diskussionen

[D-CON 2018] Program online (+ pre-dinner reminder)

von Kulcsar, Géza

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

6 Jahre, 5 Monate

D-CON 2018 - Registration

von Lochau, Malte

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

6 Jahre, 7 Monate

CONCUR 2018 - The 29th International Conference on Concurrency Theory

von Ernst Moritz Hahn

[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

6 Jahre, 8 Monate

D-CON 2018 - Call for Contributions

von Lochau, Malte

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

6 Jahre, 8 Monate

ACM/SPEC ICPE 2018 Call for Contributions-Extended Deadline Oct. 25th 2017

von wu huaming

------------------------------------------------------------------------ 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

6 Jahre, 9 Monate

ACM/SPEC ICPE 2018: Final Call for Contributions

von wu huaming

------------------------------------------------------------------------ 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

6 Jahre, 9 Monate

Vacancies for doctoral researchers at RWTH Aachen University

von Joost-Pieter Katoen

[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.

6 Jahre, 9 Monate

PhD/PostDoc Position: Programming, Modelling and Verification of Concurrent Software

von Gerald Lüttgen

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

6 Jahre, 10 Monate

D-CON 2018 - Save the Date

von Lochau, Malte

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

6 Jahre, 11 Monate

CONCUR 2017 -- 2nd Call for Participation

von Kirstin Peters

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

7 Jahre

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON