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

W2-Professur "Theorie korrekter Systeme" an der Universität Oldenburg
by Müller-Olm, Markus 21 Dec '22

21 Dec '22

Liebe D-CONler, unten findet ihr eine vielleicht für diesen Kreis interessante Ausschreibung für eine an der Universität Oldenburg zu besetzende W2-Professur. Viele Grüße Markus Müller-Olm ****************************************************** Carl von Ossietzky Universität Oldenburg Oldenburg, Germany ****************************************************** In der Fakultät II – Informatik, Wirtschafts- und Rechtswissenschaften ist im Department für Informatik zum nächstmöglichen Zeitpunkt eine W2-Professur (m/w/d) für Theorie korrekter Systeme zu besetzen. Gesucht wird eine in der theoretischen Informatik international hervorragend ausgewiesene Persönlichkeit, wobei fundierte Erfahrungen in einem oder beiden der folgenden Bereiche vorausgesetzt werden: - Logik (z. B. quantitative Logik) - Spiele (z. B. reaktive Spiele) Zudem wird vorausgesetzt, dass die Person, die zukünftig die Stelle innehat, Anwendungen ihrer Forschung im Bereich der Verifikation (z. B. Verifikation von Systemen mit unendlichen Zustandsräumen, quantitative Verifikation) oder Synthese (z. B. Programmsynthese, Synthese reaktiver Systeme) vorweisen kann. Für weitere Details siehe https://uol.de/stellen?stelle=69258 Der Bewerbungsschluss ist am 31. Januar 2023. ****************************************************** The Department of Computing Science at the School of Computing Science, Business Administration, Economics, and Law (School II) seeks applications for a Professorship (m/f/x) in Theory of Correct Systems (salary scale W2) starting as soon as possible. We are looking for a person with an outstanding international track record in theoretical computer science. Extensive research experience in one or both of the following areas is required: - logic (e.g., quantitative logic) - games (e.g., reactive games) In addition, the candidate's research is required to have applications in verification (e.g., verification of systems with infinite state spaces, quantitative verification) or synthesis (e.g., program synthesis, synthesis of reactive systems). For more details see https://uol.de/stellen?stelle=69259 The application deadline is 31 January 2023. ******************************************************

1 0

Register for D-CON 2023
by Roland Meyer 19 Dec '22

19 Dec '22

Liebe D-CON-Gemeinschaft, wie in der letzten Mail angekündigt, findet die D-CON 2023 als Workshop der FM in Lübeck statt. Unsere Seite https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/#dcon befindet sich leider noch im Aufbau, aber die Registrierung steht schon bereit: https://fm2023.isp.uni-luebeck.de/index.php/registration/ Mit 160€ fällt die Teilnahmegebühr zu Zeiten der Energieknappheit nicht so niedrig aus, wie wir es uns gewünscht haben. Dennoch bitten wir Euch um zahlreiche Registrierungen, damit es nach der langen Zeit ein lebhaftes Wiedersehen gibt. Wir wünschen Euch allen ein frohes Weihnachtsfest und einen guten Start in ein gesundes und erfolgreiches Jahr 2023! Kirstin und 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

Ph.D. Position in Theory
by Kirstin Peters 20 Oct '22

20 Oct '22

Hallo, ich habe eine offene Stelle in Augsburg zu besetzten und würde mich freuen, wenn die Stellenausschreibung https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtti/forschun… an alle Interessenten verbreitet werden könnte. Vielen lieben Dank. Beste Grüße, Kirstin Peters --------------------------------------------------------------------------------------------------------------------------- Hi, I have an open position in Augsburg. Please send the advertisement https://www.uni-augsburg.de/en/fakultaet/fai/informatik/prof/swtti/forschun… to all interested persons. Thank you very much. Best wishes, Kirstin Peters

1 0

D-CON 2023
by Roland Meyer 19 Oct '22

19 Oct '22

Liebe D-CON-Gemeinschaft, die Zeit des Wartens hat ein Ende: im nächsten Jahr wird es wieder eine D-CON geben - und was für eine :) Martin Leucker hat dankenswerterweise angeboten, die D-CON als Workshop der FM am 09. und 10. März 2023 in Lübeck zu organisieren. Wir starten wie gehabt mit einem informellen Abendessen am Abend zuvor. Das Restaurant wird noch bekanntgegeben. Als FM-Workshop können D-CON-TeilnehmerInnen am Donnerstag auch bei FM-Vorträgen dabei sein und umgekehrt können sich FM-TeilnehmerInnen zur D-CON gesellen. Sofern es Eure Möglichkeiten hergeben, solltet Ihr überlegen, Euch regulär zur FM zu registrieren und früher anzureisen. Die Organisation wird von Seiten der Uni-Lübeck übernommen. Wir haben um moderate Preise gebeten, die Details befinden sich in der Klärung, ebenso das Prozedere zur Registrierung. Die D-CON ist ein Workshop für DoktorandInnen, der von interessanten Vorträgen und reger Diskussion lebt. Bitte überlegt Euch schon jetzt, ob Ihr Vorträge halten möchtet und welches Format Ihr bevorzugen würdet. Per Default würden wir an 30min Slots denken, aber andere Formate haben wir auch immer gehabt und sind wünschenswert. Auch eingeladene Vorträge sind geplant - hier nehmen wir gerne Eure Vorschläge entgegen. Beste Grüße und bis bald Kirstin Peters und Roland Meyer -- 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

Save the Date: KPS 2023
by Thomas Noll 30 Sep '22

30 Sep '22

Save the Date 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung Aachen, 24.-27. September 2023 https://kps2023.moves.rwth-aachen.de/ ----------------------------------------------------------------------------- Liebe Programmiersprachen-Interessierte, das 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2023) setzt eine traditionelle Reihe von Arbeitstagungen fort, die 1980 von den Forschungsgruppen der Professoren Friedrich L. Bauer (TU München), Klaus Indermark (RWTH Aachen) und Hans Langmaack (CAU Kiel) ins Leben gerufen wurde. Die Veranstaltung ist ein offenes Forum für alle interessierten deutschsprachigen Wissenschaftler:innen zum zwanglosen Austausch neuer Ideen und Ergebnisse aus den Forschungsbereichen Entwurf und Implementierung von Programmiersprachen sowie Grundlagen und Methodik des Programmierens. Die wissenschaftlichen Beiträge werden in einem informellen Tagungsband zusammengefasst, der zu Beginn der Veranstaltung unter den Teilnehmer:innen verteilt wird. Eine formale Auswahl der Beiträge durch Begutachtung findet nicht statt. Dieses Veranstaltungsformat ermöglicht es den Vortragenden, neue Ideen zu präsentieren und sie mit anderen Teilnehmer:innen zu diskutieren. Insbesondere möchten wir junge Doktorand:innen einladen und ermutigen, ihre Arbeiten einem fachkundigen Publikum vorzustellen und mit diesem ins Gespräch zu kommen. Das Kolloquium soll vom 24. bis 27. September 2023 im niederländischen Vaals im Kasteel Bloemendal <https://www.schlosshotelbloemendal.de/> stattfinden, welches von Aachen aus gut erreichbar ist. Nähere Informationen werden nach und nach unter <https://kps2023.moves.rwth-aachen.de/> bekannt gemacht. Die Anmeldung zur Teilnahme muss bis Ende Juli 2023 erfolgen (wegen Reservierung des Zimmerkontingentes im Hotel); hierzu erfolgt rechtzeitig eine separate Einladung per E-Mail. In der Hoffnung, Sie im September kommenden Jahres in Aachen willkommen zu heißen, grüßt Sie Ihr Thomas Noll PS: Geben Sie diese Information gerne an interessierte Kolleg:innen und Mitarbeiter:innen weiter. Sollten Sie keine weiteren Benachrichtigungen wünschen, schicken Sie bitte eine kurze Nachricht an <kps2023(a)i2.informatik.rwth-aachen.de>. Vielen Dank! -- Thomas Noll Software Modeling and Verification Group RWTH Aachen University, Germany http://moves.rwth-aachen.de/people/noll/

1 0

First CFP: FM 2023 - 25th International Symposium on Formal Methods
by Joost-Pieter Katoen 23 Mar '22

23 Mar '22

[apologies for cross-postings] ================================================== Call for Papers FM 2023: 25th International Symposium on Formal Methods Lübeck, Germany, March 6-10, 2023 https://fm2023.isp.uni-luebeck.de/ <https://fm2023.isp.uni-luebeck.de/> ================================================== FM 2023 is the 25th international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM symposia have been successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2023 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences. =Important Dates= Abstract submission: September 4, 2022, 23:59 AoE (firm) Full paper submission: September 11, 2022, 23:59 AoE (firm) Notification: November 15, 2022 Camera ready: December 11, 2022 Conference: March 6-10, 2022 =Topics of Interest= FM 2023 will highlight the development and application of formal methods in a wide range of domains including trustworthy AI, software, computer-based systems, systems-of-systems, cyber-physical systems, security, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, healthcare and biology. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of applying formal methods in industrial settings, and on the design and validation of formal method tools. The topics of interest for FM 2023 include, but are not limited to: Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. We explicitly welcome submissions to the special FM 2023 session on "Formal methods meets AI", which is focused on formal and rigorous modelling and analysis techniques to ensuring safety, robustness etc. (trustworthiness) of AI-based systems. =Submission Guidelines= Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2023 <https://easychair.org/conferences/?conf=fm2023> Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers and tool demonstration papers should explain enhancements made compared to previously published work. A tool demonstration paper need not present the theory behind the tool, but can focus on the tool’s features, how it is used, its evaluation, and examples and screenshots illustrating the tool’s use. Authors of tool and tool demonstration papers should make their tool available for use by the reviewers. We solicit various categories of papers: Regular Papers (max 15 pages) Long tool papers (max 15 pages) Case study papers (max 15 pages) Short papers (max 6 pages), including tool demonstration papers. Short papers present novel ideas (e.g., without an extensive experimental evaluation) or results that can well be presented in 6 pages. Short papers will be given short presentation slots at the conference. All page limits do not include references and appendices. For all papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. Thus, it should not contain information necessary for the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted and will not be moved between categories. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. =Best Paper Award= At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2023 Best Paper. =Publication= Accepted papers will be published in the Symposium Proceedings to appear in Springer’s Lecture Notes in Computer Science. Extended versions of selected papers will be invited for publication in a special issue of a journal. =General Chair= Martin Leucker, University of Lübeck, Germany =Program Committee Chairs= Marsha Chechik, University of Toronto, Canada Joost-Pieter Katoen, RWTH Aachen University, Germany & University of Twente, the Netherlands

1 0

Several Ph.D. positions at RWTH Aachen University
by Joost-Pieter Katoen 02 Dec '21

02 Dec '21

====================================================================== Various Open Positions for Doctoral Researchers in the post-graduate program UnRAVeL “Uncertainty and Randomness in Algorithms, Verification and Logic” at RWTH Aachen University, Aachen, Germany https://www.unravel.rwth-aachen.de/ ====================================================================== Context. RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. Various positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL founded by 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 application areas such as: applied machine learning (in control theory as well as network and data science), planning in AI (e.g., robotics), as well as safety and performance analysis (railway systems). Within UnRAVeL, theoretical computer scientists from computer-aided verification, automata and logic, algorithms and complexity, together with experts from management science (robust optimization), applied computer science (network and data science), mechanical and railway engineering intensively cooperate. UnRAVeL PIs are: Erika Abraham, Christina Büsing, Jürgen Giesl, Martin Grohe, Joost-Pieter Katoen, Gerhard Lakemeyer, Christof Löding, Nils Niessen, Britta Peis, Sebastian Trimpe, Michael Schaub, and Gerhard Woeginger. Current and completed doctoral UnRAVeL projects can be found here: https://www.unravel.rwth-aachen.de/cms/UnRAVeL/Forschung/~ofhi/Dissertation… 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, and - a recommendation letter e.g., by your master thesis supervisor(s) All documents should be formatted as a single pdf-file. The recommendation letter can provided separately, if needed. You should send your application ultimately by ** December 20, 2021 (AoE) ** to the e-mail address: unravel-appl(a)cs.rwth-aachen.de. We check applications once they are received, and will conduct interviews until our vacancies are filled. 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 with a possible extension to four years. RWTH Aachen University offers excellent facilities for professional and personal development. Starting date of the positions: 2022 (flexible). 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

“Lambda Cube Unboxed”
by Uwe Nestmann 19 Nov '21

19 Nov '21

Hi all, Have you ever wanted to better understand the λ-Cube? Four bright students of mine produced a series of 13 screencasts covering the “Lambda Cube Unboxed” as a semester project in CS. Have fun! https://www.youtube.com/playlist?list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4 == Uwe ==

1 0

CfP - ICE 2021
by Kirstin Peters 29 Mar '21

29 Mar '21

ICE 2021 14th Interaction and Concurrency Experience June 18, 2021 University of Malta, Valletta and/or online Satellite workshop of DisCoTec 2021 https://www.discotec.org/2021/ice Submission link: https://openreview.net/group?id=DisCoTec.org/2021/Workshop/ICE Interaction and Concurrency Experience (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for complex interactions. === HIGHLIGHTS === * Distinctive selection procedure * ICE welcomes full papers to be included in the proceedings * ICE also welcomes oral communications of already published or preliminary work * Publication in EPTCS * Special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier) (to be confirmed) * Invited speakers: TBA === IMPORTANT DATES === * 15 April 2021: abstract submission * 19 April 2021: paper submission * 18 May 2021: notification * 18 June 2021: ICE workshop * 12 July 2021: camera-ready for EPTCS post-proceedings === SCOPE === The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models. We solicit contributions relevant to Interaction and Concurrency, including but not limited to: * Formal semantics * Process algebras and calculi * Models and languages * Protocols * Logics and types * Expressiveness * Model transformations * Tools, implementations, and experiments * Specification and verification * Coinductive techniques * Tools and techniques for automation * Synthesis techniques === SELECTION PROCEDURE === Since its first edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive, friendly, and constructive discussion amongst authors and PC members in an online forum. During the review phase, each submission is published in a dedicated discussion forum. The discussion forum can be accessed by the authors of the submission and by all PC members not in conflict with the submission (the forum preserves anonymity). The forum is used by reviewers to ask questions, clarifications, and modifications from the authors, allowing them better to explain and to improve all aspects of their submission. The evaluation of the submission will take into account not only the reviews, but also the outcome of the discussion. As witnessed by the past editions of ICE, this procedure considerably improves the accuracy of the reviews, the fairness of the selection, the quality of camera-ready papers, and the discussion during the workshop. ICE adopts a light double-blind reviewing process, detailed below. === SUBMISSION GUIDELINES === Submissions must be made electronically in PDF format via OpenReview: https://openreview.net/group?id=DisCoTec.org/2021/Workshop/ICE We invite two types of submissions: * Research papers, original contributions that will be published in the workshop post-proceedings. Research papers must not be simultaneously submitted to other conferences/workshops with refereed proceedings. Research papers should be 3-16 pages plus at most 2 pages of references. Short research papers are welcome; for example a 5 page short paper fits this category perfectly. The submitted PDF can use any LaTeX style (but the post-proceedings will use the EPTCS style). * Oral communications will be presented at the workshop, but will not appear in the post-proceedings. This type of contribution includes e.g. previously published contributions, preliminary work, and position papers. There is no strict page limit for this kind of submission but papers of 1-5 pages would be appreciated. For example, a one page summary of previously published work is welcome in this category. Authors of research papers must omit their names and institutions from the title page, they should refer to their other work in the third person and omit acknowledgements that could reveal their identity or affiliation. The purpose is to avoid any bias based on authors’ identity characteristics, such as gender, seniority, or nationality, in the review process. Our goal is to facilitate an unbiased approach to reviewing by supporting reviewers’ access to works that do not carry obvious references to the authors’ identities. As mentioned above, this is a lightweight double-blind process. Anonymization should not be a heavy burden for authors, and should not make papers weaker or more difficult to review. Advertising the paper on alternate forums (e.g., on a personal web-page, pre-print archive, email, talks, discussions with colleagues) is permitted, and authors will not be penalized by for such advertisement. Papers in the “Oral communications” category need not be anonymized. For any questions concerning the double blind process, feel free to consult the ICEcreamers. We are keen to enhance the balanced, inclusive and diverse nature of the ICE community, and would particularly encourage female colleagues and members of other underrepresented groups to submit their work. === PUBLICATIONS === Accepted research papers and communications must be presented at the workshop by one of the authors. Accepted research papers will be published after the workshop in Electronic Proceedings in Theoretical Computer Science (to be confirmed). We plan to invite authors of selected papers and brief announcements to submit their work in a special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier). Such contributions will be regularly peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. A list of published and in preparation special issues of previous ICE editions is reported on the ICE website. === ICECREAMERS === Julien Lange (Royal Holloway, University of London, UK) -julien.lange(a)rhul.ac.uk Anastasia Mavridou (NASA Ames, USA) -anastasia.mavridou(a)nasa.gov Larisa Safina (Inria, FR) -larisa.safina(a)inria.fr Alceste Scalas (Technical University of Denmark, DK) -alcsc(a)dtu.dk === PROGRAM COMMITTEE === * Massimo Bartoletti (University of Cagliari, IT) * Chiara Bodei (Università di Pisa, IT) * Matteo Cimini (University of Massachusetts Lowell, USA) * Cinzia Di Giusto (Université Côte d’Azur, CNRS, I3S, FR) * Simon Fowler (University of Glasgow, UK) * Eva Graversen (University of Southern Denmark, DK) * Ludovic Henrio (ENS Lyon, FR) * Keigo Imai (Gifu University, JP) * Sung-Shik Jongmans (Open University of the Netherlands, NL) * Sophia Knight (University of Minnesota Duluth, US) * Wen Kokke (University of Edinburgh, UK) * Ivan Lanese (University of Bologna, IT) * Karoliina Lehtinen (CNRS - LIS, Aix-Marseille University, FR) * Alberto Lluch Lafuente (Technical University of Denmark, DK) * Diego Marmsoler (University of Exeter, UK) * Hernán Melgratti (University of Buenos Aires, AR) * Maurizio Murgia (University of Trento, IT) * Kirstin Peters (TU Darmstadt, DE) * Johannes Åman Pohjola (Data61/CSIRO, AU) * Ivan Prokic (University of Novi Sad, RS) * Matteo Sammartino (Royal Holloway, University of London, UK) * Hugo Torres Vieira (C4 - University of Beira Interior, PT) * Laura Voinea (University of Kent, UK) * Uma Zalakian (University of Glasgow, UK) === STEERING COMMITTEE === * Massimo Bartoletti (University of Cagliari, IT) * Ludovic Henrio (ENS Lyon, FR) * Ivan Lanese (University of Bologna, IT) * Alberto Lluch Lafuente (Technical University of Denmark, DK) * Sophia Knight (University of Minnesota Duluth, USA) * Hugo Torres Vieira (C4 - University of Beira Interior, PT) === MORE INFORMATION === For additional information, please contact the ICEcreamers (see email addresses above).

1 0

FORTE 2021: Last CfP
by Willemse, T.A.C. 27 Jan '21

27 Jan '21

******************************************************************************************** *FORTE 2021* <https://www.discotec.org/2021/forte> - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems June 14-18, 2021, Valletta, Malta FORTE 2021 is one of the three conferences of DisCoTec 2021 <https://www.discotec.org/2021/>, the 16th International Federated Conference on Distributed Computing Techniques ****************************************************************************************** *Important dates* January 29, 2021 - abstract submission February 5, 2021 - paper submission April 2, 2021 - notification April 23, 2021 - camera ready See the conference website for up-to-date information. *Keynote Speakers* - Gilles Fedak, iExec, FR - Mira Mezini, Technical University of Darmstadt, DE - Alexandra Silva, University College London, UK *Scope* FORTE 2021 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technology for distributed systems, with special interest in: - Software quality, reliability, availability, and safety - Security, privacy, and trust in distributed and/or communicating systems - Service-oriented, ubiquitous, and cloud computing systems - Component- and model-based design - Object technology, modularity, software adaptation - Self-stabilization and self-healing/organizing - Verification, validation, formal analysis, and testing of the above. Aligned with the above, FORTE covers *models and formal specification*, *testing* and *verification methods* for distributed computing. Application domains are multiple, and include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, as well as networking and communication security and reliability. Contributions that *combine theory and practice* and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are very much encouraged. *Main Topics of Interest* Topics of interest include but are not limited to: - *Languages and semantic foundations* New modeling and language concepts for distribution and concurrency; semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects - *Formal methods and techniques* Design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems, including communications and network protocols, service-oriented systems, adaptive distributed systems, cyber-physical systems and sensor networks - *Foundations of security* New principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts - *Applications of formal methods* Applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems - *Practical experience with formal methods* Industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems. - *Emerging challenges and hot topics in distributed systems* (broadly construed) Formal specification, verification and analysis of emerging systems and applications, such as, for instance, software-defined networks, distributed ledgers, smart contracts, and blockchain technologies. *Submission Guidelines* Contributions must be written in English according to one of the three categories described below. They should report on original, unpublished work, not submitted for publication elsewhere (cf. IFIP codes of conduct <http://www.ifip.org/index.php?option=com_content&task=view&id=219&Itemid=564>, under Links). Submissions must be prepared as a PDF using Springer’s LNCS style. Submissions not adhering to the specified constraints of their respective category may be rejected without review. *Submission Categories* FORTE accepts contributions in three categories: *full papers*, *short papers*, and *journal-first papers*. These categories and their associated criteria are described in detail below. Notice that *short* and *journal-first* papers must be explicitly marked as such in the submission’s title. * Full papers * (page limit: up to 15 pages + 2 pages references) A full paper submission describes thorough and complete research results in the scope of the conference. * Short papers * (page limit: up to 6 pages + 2 pages references) A short paper submission can be one of the following: - *Rough diamonds*: Extended abstracts presenting innovative and promising ideas, possibly in an early form and without supporting evidence. - *Tool (demonstration) papers*: Extended abstracts describing (or demonstrating) new tools (or tool components) that implement (or build upon) theoretical foundations. - *Position papers* : Extended abstracts describing (i) calls to action, or (ii) substantiated reflections on current and/or future research perspectives related to FORTE. Short paper submissions must be marked as such in the submission’s title. * "Journal First" papers* (page limit: up to 4 pages, including references) This category aims at including published journal papers in the FORTE 2020 program. The objective is to offer FORTE attendees a richer program and further opportunities for interaction. Authors of published papers in high-quality journals can submit a proposal to present their journal paper in FORTE. The journal paper must adhere to the following four criteria: - It should be clearly in the scope of the conference. - It should be recent: only journal papers available after January 1, 2019 (online or paper) can be presented. - It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results). - It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops. A journal-first submission is a concise but compelling summary of the published journal paper, which makes it clear why a related presentation would enrich the program of FORTE. Journal-first submissions must be marked as such in the submission’s title, and must explicitly include pointers to the journal publication (such as a DOI) but also to related conference and workshop papers, as appropriate. They will be judged on the basis of the above criteria, but also considering relevance and the potential of enriching and complementing the conference program. *Publication* All accepted papers, including short papers and journal-first submissions, will be published in the FORTE 2021 formal proceedings, which will appear in Springer’s LNCS-IFIP volume series. *Special Issue* Selected papers will be invited to a special issue of *Logical Methods in Computer Science* <https://lmcs.episciences.org/>. *Submission Link* https://easychair.org/conferences/?conf=forte21 *Program committee chairs* - Kirstin Peters (TU Darmstadt, DE) - Tim Willemse (Eindhoven University of Technology, NL) *Program committee members* - Luís Soares Barbosa (University of Minho) - Jiri Barnat (Masaryk University) - Pedro R.D'Argenio (Universidad Nacional de Córdoba) - Mila Dalla Preda (University of Verona) - Wan Fokkink (Vrije Universiteit Amsterdam) - Daniele Gorla (University of Rome "La Sapienza") - Artem Khyzha (Tel Aviv University) - Barbara König (University of Duisburg-Essen) - Bas Luttik (Eindhoven University of Technology) - Stephan Merz (Inria Nancy) - Roland Meyer (TU Braunschweig) - Mohammadreza Mousavi (University of Leicester) - Thomas Neele (Royal Holloway, University of London) - Ana-Maria Oprescu (University of Amsterdam) - Catuscia Palamidessi (INRIA) - Anna Philippou (University of Cyprus) - Jorge A.Pérez (University of Groningen) - Anne Remke (WWU Münster) - Kristin Yvonne Rozier (Iowa State University) - Cristina Seceleanu (Mälardalen University) - Maurice H. ter Beek (ISTI-CNR, Pisa) - Simone Tini (University of Insubria) - Rob van Glabbeek (Data61 - CSIRO) - Björn Victor (Uppsala University) - Georg Weissenbacher (Vienna University of Technology) *Steering committee* - Ahmed Bouajjani (University Paris Diderot, France) - Christel Baier (University Dresden, Germany) - Frank de Boer (CWI, Netherlands) - Luís Caires (Universidade Nova de Lisboa, Portugal) - Einar Broch Johnsen (University of Oslo, Norway) - Ivan Lanese (University of Bologna/INRIA, Italy – Chair) - Jorge A. Pérez (University of Groningen, The Netherlands) - Alexandra Silva (University College London, UK) - Ana Sokolova (University of Salzburg, Austria) - Jean-Bernard Stefani (INRIA, France) - Nobuko Yoshida (Imperial College London, UK) - Heike Wehrheim (Paderborn University, Germany) *More Information* For additional information, please contact the Program Committee Co-chairs: forte21 at easychair dot org

1 0