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

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

18 Jul '17

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

1 0

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

05 Jul '17

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

1 0

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

04 Jul '17

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

1 0

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

01 Jul '17

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

1 0