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

CONCUR 2019 Call for Papers
by Fokkink, W.J. 05 Nov '18

05 Nov '18

================== CONCUR 2019 - Call for Papers =================== https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory Amsterdam, The Netherlands, 27-30 August 2019 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 Marta Kwiatkowska - University of Oxford (UK) Kim G. Larsen - Aalborg University (Denmark) Joel Ouaknine - Max Planck Institute for Software Systems (Germany) Jaco van de Pol - Aarhus University (Denmark) Co-located conference 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019) Co-located workshops Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019) 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019) 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019) IMPORTANT DATES All dates are AoE. Abstract submission: April 15, 2019 Paper submission: April 22, 2019 Notification: June 14, 2019 Camera ready copy: July 3, 2019 Conference: August 27-30, 2019 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 2019 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. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2019 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. ORGANIZATION COMMITTEE General Chair Jos Baeten (CWI, Amsterdam, The Netherlands) Program Co-chairs Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Rob van Glabbeek (Data61, CSIRO, Sydney, Australia) Workshop Chair Bas Luttik (Eindhoven University of Technology, The Netherlands) SPECIAL ISSUE A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science.

1 0

ICSR 2019 - Call for Papers
by Areti Ampatzoglou 01 Oct '18

01 Oct '18

ICSR'19 Call for Papers https://www.uc.edu/eventservices/ICSR2019.html The International Conference on Software and Systems Reuse (ICSR) is the premier event in the field of software and systems reuse research, technology, and practice. The main goal of ICSR is to present the most recent advances and breakthroughs in the area of software and systems reuse and to promote an intensive and continuous exchange of ideas among researchers and practitioners. The 18th International Conference on Software and Systems Reuse (ICSR 2019) will be held on June 26-28 in Cincinnati, OH, USA. We invite submissions on new and innovative research results and industrial experience papers in the area of software and systems reuse. Submissions could deal with all aspects of software and systems reuse, including, but not limited to, the following topics of interest: -- Approaches facilitating reuse in industry -- Technical debt and reuse -- Economic models and metrics to quantify reuse costs and benefits, including risk analysis -- Human, social, and legal aspects and distribution issues of reusable software -- Domain analysis, context analysis, and architecture-centric reuse -- Component-based reuse techniques -- Generative, systematic, and opportunistic reuse -- Reverse engineering of potentially reusable components -- Reusability models and metrics -- Evolution and maintenance of reusable assets -- Dynamic aspects of reuse (e.g., post-deployment time) -- Software documentation and reuse of development knowledge (e.g., API knowledge) -- Traceability of software artifacts and coarse-grained software reuse -- Retrieval of reusable artifacts and knowledge in large-scale software repositories (e.g., open-source and industrial code bases) -- Reuse in software ecosystems, model-driven engineering, multi-discipline teams, open-source systems, agile projects, and safety-critical and mission-critical systems -- Reuse in emerging practices, e.g., cloud computing, big data applications, IoT, cyber-physical systems, socio-technical systems, smart contracts, block chains, etc. Submission and Publication We solicit novel and well-founded work in the wider area of software and systems reuse, with a strong theoretical or empirical foundation and practical relevance. Theoretical work should introduce innovative ideas and should be based on a solid theoretical basis. Empirical work such as case studies and experiments is also welcome. Moreover, work linking academic research to software and systems reuse in industrial practice, including reports on practical experience and technology transfer to industry, is highly encouraged. The proceedings will be published in Springer-Verlag. Submissions must conform to Springer's Lecture Notes in Computer Science format. Page limit is 16 pages for research papers and 10 pages for industry innovation papers. We also welcome industry practitioners to submit extended abstracts (2 pages or less) to present their experiences at the conference. Please use Easychair (https://easychair.org/conferences/?conf=icsr2019) for submission. Each submitted research paper, industry innovation paper, and extended abstract will be reviewed by at least three members of the program committee. We intend to have three awards for this conference: best research paper, best industry innovation paper, and best industry practice talk. Moreover, a prestigious journal in the software engineering domain will dedicate a special issue on software and systems reuse for which the authors of selected papers from the conference will be invited to submit an extended version (containing at least 30% new material). The CFP of the special issue will be made available on the conference website. Important Dates Research Track -- Paper submission: Jan 31, 2019 -- Notification: March 8, 2019 Industry Innovation Track -- Paper or extended abstract submission: Feb 15, 2019 -- Notification: March 8, 2019 Organizing Committees -- General Chair: Nan Niu, University of Cincinnati, USA -- Local Chair: Florine Postell, University of Cincinnati, USA -- Program Co-Chair: Xin Peng, Fudan University, China -- Program Co-Chair: Apostolos Ampatzoglou, University of Macedonia / University of Groningen -- Industry Innovation Co-Chair: Clemente Izurieta, Montana State University, USA -- Industry Innovation Co-Chair: Alexander Chatzigeorgiou, University of Macedonia, Greece -- Publicity Chair: Areti Ampatzoglou, University of Groningen, The Netherlands -- Proceedings Chair: Tanmay Bhowmik, Mississippi State University, USA -- Student Volunteer Chair: Wentao Wang, University of Cincinnati, USA -- *Areti Ampatzoglou* PhD Candidate, Faculty of Science and Engineering, *University of Groningen,* The Netherlands

1 0

D-CON 2019
by Stefan Jaax 17 Sep '18

17 Sep '18

Liebe D-CONler / Dear Concurrency Theorists! We are happy to announce that the next edition of D-CON will take place at TU München on March 14th - March 15th, 2019. The D-CON 2018 web page can be found under: https://www7.in.tum.de/dcon2019/ With this email, we would also like to ask for your contributions to D-CON 2019: If you like to present your most-recent work, organize a discussion or breakout session, give a tutorial or whatever else comes to your mind, please send an email, including a title and a short abstract, to dcon(a)model.in.tum.de. The deadline for proposals is December 15th. We are looking forward to seeing you at D-CON 2019! Best regards, Javier, Philipp, Stefan.

1 0

Handlungsbedarf
by Postmeister 12 Sep '18

12 Sep '18

1 0

*****SPAM*****Handlungsbedarf
by Postmeister 12 Sep '18

12 Sep '18

1 0

*****SPAM*****Handlungsbedarf
by Postmeister 12 Sep '18

12 Sep '18

1 0

HIGHLIGHTS 2018
by Barbara Koenig 26 Jul '18

26 Jul '18

*********** Please register and attend HIGHLIGHTS 2018! The programme is here: https://easychair.org/smart-program/Highlights2018/index.html *************** HIGHLIGHTS 2018: 6th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 18-21 September 2018, TU Berlin http://highlights-conference.org SATELLITE EVENTS: + ErichFest: Symposium to Celebrate Erich Grädel’s 60th Birthday, 17 September + Workshop on the Theory of Regular Cost Functions and Beyond, 21 September (afternoon) ================================================ HIGHLIGHTS 2018 is the 6th conference on Highlights of Logic, Games, and Automata that aims to integrate the diverse research community working in the areas of Logic and Finite Model Theory, Automata Theory, and Games for Logic and Verification. Individual papers are dispersed across many conferences, which makes them challenging to follow. A visit to the annual Highlights conference offers a wide picture of the latest research in the field and a chance to meet and interact with most of the members of the research community. The speakers are encouraged to present their best recent work at Highlights, whether already published elsewhere or not. The conference is short (from 19 September to the mid-day on 21 September) and it is preceded by the Highlights Tutorial Day (18 September). The participation costs are modest and Berlin is easy to reach. The Contributed Presentations will be around ten minutes long. All speakers will be also invited to contribute to a Poster Session, which will open new ways of interaction at the conference for the whole Highlights community. KEYNOTE PRESENTATIONS + Andrei Bulatov, The Complexity of Constraints: Dichotomies and Beyond + Nicole Schweikardt, Constant Delay Enumeration of Query Results + James Worrell, Algebraic Invariants for Affine Programs TUTORIALS + Amir Abboud, Fine-Grained Complexity and Hardness in P + Christoph Berkholz, Interactions Between Proof Complexity and Finite Model Theory + Joost-Pieter Katoen, Principles of Probabilistic Programming INVITED SESSIONS + Chair: Christel Baier, Multi-Objective Reasoning in Probabilistic Models (Speakers: Stefan Kiefer, David Parker) + Chair: Martin Grohe, Logic and Learning (Speakers: Kristian Kersting, Daniel Neider, Dan Olteanu) SPOTLIGHT TALKS + Stéphane Gaubert, Nonarchimedean Convex Programming and Its Relation to Mean-Payoff Games + Laura Kovács, Symbol Elimination for Program Analysis + Jan Křetínský, A Journey from LTL to Your Favourite Automaton + Amaury Pouly, Continuous Models of Computation: Computability, Complexity, Universality + Jeffrey Shallit, Finite Automata and Additive Number Theory

1 0

Doctoral/postdoctoral positions at the Technical University of Munich
by Javier Esparza 07 Jun '18

07 Jun '18

The Chair for Foundations of Software Reliability of the Technical University of Munich (TUM), led by Javier Esparza, is inviting applications for a doctoral and a postdoctoral research scholar. The positions are funded by the ERC Advanced Grant "Parameterized Verification and Synthesis". We are looking for excellent junior researchers in any of the following areas: algorithmic analysis of systems (model checking, static analysis); logical and automata-theoretical approaches to formal verification and automatic synthesis; and concurrency theory, in particular the theory of Petri nets and Vector Addition Systems. For one of the positions we are especially interested in candidates with experience in tool building. The positions are funded for 2 years with the option of an extension for another two. Applicants must have completed a degree in computer science, mathematics, of electrical engineering, and must have demonstrated strong interest in research. In addition to pursuing a strong research program, the scholars are expected to contribute to mentoring students. TUM provides excellent working conditions in a lively scientific community. The Chair for Foundations of Software Reliability maintains an open, international, and diverse work environment. Current members come from six different countries in three continents. There is generous travel support available for all chair members. Our working language is English. For your application send your CV and 3 references to esparza(a)in.tum.de and link(a)in.tum.de. For the postdoctoral position add a summary of your current reseach ideas. Please contact Javier Esparza at esparza(a)in.tum.de with any questions. The positions are available from September 1, 2018, but a later start is possible. Reviewing of applications will commence on 15 June, 2018 and applicants are encouraged to apply by this deadline. However, applications will be accepted until the positions are filled. -- Prof. Javier Esparza Faculty of Computer Science Technical University of Munich Boltzmannstr. 3, 85748 Garching

1 0

HIGHLIGHTS 2018: 1st Call for Presentations
by Barbara Koenig 04 Jun '18

04 Jun '18

HIGHLIGHTS 2018: 1st Call for Presentations HIGHLIGHTS 2018: 6th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 18-21 September 2018, TU Berlin http://highlights-conference.org IMPORTANT DATES: + Submission deadline: 13 JUNE, 5pm GMT + Notification: 22 JUNE SATELLITE EVENTS: + ErichFest: Symposium to Celebrate Erich Grädel’s 60th Birthday, 17 September + Workshop on the Theory of Regular Cost Functions and Beyond, 21 September (afternoon) ================================================ HIGHLIGHTS 2018 is the 6th conference on Highlights of Logic, Games, and Automata that aims to integrate the diverse research community working in the areas of Logic and Finite Model Theory, Automata Theory, and Games for Logic and Verification. Individual papers are dispersed across many conferences, which makes them challenging to follow. A visit to the annual Highlights conference offers a wide picture of the latest research in the field and a chance to meet and interact with most of the members of the research community. We encourage you to present your best recent work at Highlights, whether already published elsewhere or not. The conference is short (from 19 September to the mid-day on 21 September) and it is preceded by the Highlights Tutorial Day (18 September). The participation costs are modest and Berlin is easy to reach. The Contributed Presentations will be around ten minutes long. All speakers will be also invited to contribute to a Poster Session, which will open new ways of interaction at the conference for the whole Highlights community. KEYNOTE PRESENTATIONS + Andrei Bulatov, The Complexity of Constraints: Dichotomies and Beyond + Nicole Schweikardt, Constant Delay Enumeration of Query Results + James Worrell, Algebraic Invariants for Affine Programs TUTORIALS + Amir Abboud, Fine-Grained Complexity and Hardness in P + Christoph Berkholz, Interactions Between Proof Complexity and Finite Model Theory + Joost-Pieter Katoen, Principles of Probabilistic Programming INVITED SESSIONS + Chair: Christel Baier, Multi-Objective Reasoning in Probabilistic Models + Chair: Martin Grohe, Logic and Learning SPOTLIGHT TALKS + Stéphane Gaubert, Nonarchimedean Convex Programming and Its Relation to Mean-Payoff Games + Laura Kovács, Symbol Elimination for Program Analysis + Jan Křetínský, A Journey from LTL to Your Favourite Automaton + Amaury Pouly, Continuous Models of Computation: Computability, Complexity, Universality + Jeffrey Shallit, Finite Automata and Additive Number Theory

1 0

Vacancies for doctorate and postdoctoral researchers in probabilistic programming
by Joost-Pieter Katoen 18 May '18

18 May '18

[Apologies for multiple copies.] We hereby solicit applications for PhD studentships and postdoctoral research positions in the area of verifying probabilistic programs. The positions are all available within the Chair on Software Modelling and Verification at the RWTH Aachen University, Germany, which is led by Joost-Pieter Katoen, see: https://moves.rwth-aachen.de The positions are funded by the recently acquired ERC Advanced Grant "Formal Reasoning about Probabilistic Programs (FRAPPANT)". *** What is this project all about? *** Probabilistic programs describe recipes on how to infer statistical conclusions about data from a complex mixture of uncertain data and real-world observations. They can represent probabilistic graphical models beyond the capabilities of Bayesian networks and are expected to have a major impact on machine intelligence. The FRAPPANT project aims to develop formal program analysis techniques, leveraging model checking, deductive verification, and static analysis for probabilistic programs. Challenging problems such as checking program equivalence, loop-invariant and parameter synthesis, program repair, program robustness and exact Bayesian inference using weakest precondition reasoning will be tackled. The developed techniques will be evaluated in the context of probabilistic graphical models, randomised algorithms, and autonomous robots. *** Your required profile *** Applicants for a PhD position have (or soon obtain) a master degree in Computer Science, Mathematics or related area and have completed their studies with excellent grades. Applicants for a postdoctoral researcher position have in addition completed a PhD in one of the aforementioned areas and have a good publication track record. Candidates should have an interest in performing original, highly competitive scientific research within a research group, publishing your results in top conferences and scientific journals. Fluency in English is required; proficiency in German is helpful but not compulsory. *** 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 and postdoctoral researchers have a status as employee with a salary according to the German federal employee scale TV-L E13 or E14 depending on your experience; the exact salary is subject to your family situation. The positions are funded for two years with a possible extension of another two years. The positions are available from November 1, 2018, but there is flexibility w.r.t. the starting date. RWTH Aachen University offers excellent facilities for professional and personal development. *** How to apply? *** Your application should contain: a curriculum vitae, a transcript of records (list of courses and grades), and two references. Please send your application as a single pdf-file ultimately by ** June 22, 2018 (AoE) ** to: katoen(a)cs.rwth-aachen.de. Enquiries can be send to 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