[TYPES/announce] Erlang 2024 - Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Erlang 2024 - Call for Papers 23rd Edition of the Erlang Workshop Monday 2nd September 2024, Milan, Italy A satellite workshop of ICFP 2024 https://urldefense.com/v3/__https://icfp24.sigplan.org/home/erlang-2024__;!!IBzWLUs!X-QmwynnLTuXJ2A82dXkhfVaGaPP8fwEbFJvNtUHedapSDKupkftmDOK1WViQAwi43tV5pIm-8VcHrS4HNBL_MRndYExV3wbYyTmJdyfLi8$ ** Deadline: Thursday 30 May ** The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang's VM. The workshop is welcoming contributions related to any and all systems like those mentioned above. The workshop aims to enable participants to learn about recent developments on techniques and tools, novel applications, draw lessons from users’ experiences and identify research problems and common areas relevant to the practice of Erlang and other Erlang-like languages, functional programming, distribution, concurrency, etc. ## Topics This year we invite three types of submissions: * Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Lisp Flavored Erlang, and topics in functional, concurrent, and distributed programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome. * Practice and application papers describing uses of Erlang and related languages in the “real-world”, libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve particular problems, etc. The maximum length for the practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome. * Lightning talks describing topics related to the workshop goals that allow participants to present and demonstrate projects and preliminary work in academia and industry. Presentations in this category will be given at most an hour of shared simultaneous presentation time, will not be part of the peer review process and will not be part of the formal proceedings. Notification of acceptance will be continuous. ## Important dates | Submission deadline | 30 May 2024 | | --- | --- | | Notification | 27 Jun 2024 | | Workshop | 2 Sep 2024 | Deadlines are anywhere on Earth. ## Workshop Co-Chairs * Kiko Fernandez-Reyes, Ericsson, Sweden * Laura Voinea, University of Glasgow, UK ## Program Committee (Note: the Workshop Co-Chairs are also committee members) Program Committee * Duncan Paul Attard (University of Glasgow) * Annette Bieniusa (University of Kaiserslautern-Landau, Germany * Laura Bocchi (University of Kent) * Lars-Ake Fredlund (Universidad Politécnica de Madrid, Spain) * Luca Padovani (University of Camerino, Italy) * Marjan Sirjani (Malardalen University, Sweden) * Brooklyn Zelenka * TBA ## Instructions to authors ### Submission Submissions must adhere to SIGPLAN’s republication policy (https://urldefense.com/v3/__http://sigplan.org/Resources/Policies/Republication/__;!!IBzWLUs!X-QmwynnLTuXJ2A82dXkhfVaGaPP8fwEbFJvNtUHedapSDKupkftmDOK1WViQAwi43tV5pIm-8VcHrS4HNBL_MRndYExV3wbYyTmcdLF5Wo$ ), and authors should be aware of ACM’s policies on plagiarism (https://urldefense.com/v3/__https://www.acm.org/publications/policies/plagiarism__;!!IBzWLUs!X-QmwynnLTuXJ2A82dXkhfVaGaPP8fwEbFJvNtUHedapSDKupkftmDOK1WViQAwi43tV5pIm-8VcHrS4HNBL_MRndYExV3wbYyTm0k--YWU$ ). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. Papers must be submitted online via HotCRP at: https://urldefense.com/v3/__https://erlang2024.hotcrp.com__;!!IBzWLUs!X-QmwynnLTuXJ2A82dXkhfVaGaPP8fwEbFJvNtUHedapSDKupkftmDOK1WViQAwi43tV5pIm-8VcHrS4HNBL_MRndYExV3wbYyTmvLqyEM0$ Lightning talks can be submitted to the workshop's co-chairs via e-mail. ### Formatting Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: https://urldefense.com/v3/__http://www.sigplan.org
[TYPES/announce] Erlang 2023 - Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Erlang 2023 - Call for Papers The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang's VM. The workshop is welcoming contributions related to any and all systems like those mentioned above. The workshop aims to enable participants to learn about recent developments on techniques and tools, novel applications, draw lessons from users’ experiences and identify research problems and common areas relevant to the practice of Erlang and other Erlang-like languages, functional programming, distribution, concurrency, etc. ## Topics This year we invite three types of submissions: * Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Lisp Flavored Erlang, and topics in functional, concurrent, and distributed programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome. * Practice and application papers describing uses of Erlang and related languages in the “real-world”, libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve particular problems, etc. The maximum length for the practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome. * Lightning talks describing topics related to the workshop goals that allow participants to present and demonstrate projects and preliminary work in academia and industry. Presentations in this category will be given at most an hour of shared simultaneous presentation time, will not be part of the peer review process and will not be part of the formal proceedings. Notification of acceptance will be continuous. ## Important dates | Submission deadline | 12 May 2023 | | --- | --- | | Notification | 30 June 2023 | | Workshop | 4 Sept. 2023 | Deadlines are anywhere on Earth. ## Workshop Co-Chairs * Burcu Kulahcioglu Ozkan, Delft University of Technology, Netherlands * Kiko Fernandez-Reyes, Ericsson, Sweden ## Program Committee (Note: the Workshop Co-Chairs are also committee members) * Dino Distefano, Facebook London * Thomas Arts, Quivq, Sweden * Laura Bocchi, Kent University, UK * Emanuele D'Osulado, MPI-SWS, Germany * Juliana Franco, DeepMind, UK * Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium * Torben Hoffmann, Erlang Solutions, Denmark * Marjan Sirjani, Reykjavik University and Malardalen University, Iceland and Sweden * Silvia Tapia Tarifa, University of Oslo, Norway * Phil Trinder, University of Glasgow, Scotland * Peter Van Roy, Université catholique de Louvain, Belgium * Mirko Viroli, University of Bologna, Italy * Tobias Wrigstad, Uppsala University, Sweden ## Instructions to authors ### Submission Submissions must adhere to SIGPLAN’s republication policy (https://urldefense.com/v3/__http://sigplan.org/Resources/Policies/Republication/__;!!IBzWLUs!XgQfrphDpJIEl6IRRelfYAzaxzRPNrNqfeGSfzu7ZTof7XmGewwkoh187qRykxCFkdzqlVSEeu7JklucmMXZyHStiv5fckPIdBIq1JR7ePA$ ), and authors should be aware of ACM’s policies on plagiarism (https://urldefense.com/v3/__https://www.acm.org/publications/policies/plagiarism__;!!IBzWLUs!XgQfrphDpJIEl6IRRelfYAzaxzRPNrNqfeGSfzu7ZTof7XmGewwkoh187qRykxCFkdzqlVSEeu7JklucmMXZyHStiv5fckPIdBIqzzjzQL0$ ). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. Papers must be submitted online via HotCRP at: https://urldefense.com/v3/__https://erlang2023.hotcrp.com__;!!IBzWLUs!XgQfrphDpJIEl6IRRelfYAzaxzRPNrNqfeGSfzu7ZTof7XmGewwkoh187qRykxCFkdzqlVSEeu7JklucmMXZyHStiv5fckPIdBIqHCL40Bo$ Lightning talks can be submitted to the workshop's co-chairs via e- mail. ### Formatting Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: https://urldefense.com/v3/__http://www.sigplan.org/Resources/Author/*acmart-format__;Iw!!IBzWLUs
[TYPES/announce] Joint Call for Participation - DisCoTec2020
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Joint Call for Participation - DisCoTec2020 [Apologies if you got multiple copies of this email.] Call for Participation 15th International Federated Conference on Distributed Computing Techniques DisCoTec 2020 Valletta, Malta, 15-19 June 2020 https://www.discotec.org/2020 The DisCoTeC organisation committee has decided that, due to the current COVID-19 developments, the conference will be held online as a Zoom Webinar. Presentations will be recorded and broadcasted following the program and there will be live Q sessions after each talk. If you have a paper to present, then you need to pay a nominal registration fee (see below), but otherwise, the registration is free of charge. DisCoTec 2020 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. * Keynote Speakers * - Nathalie Bertrand, INRIA Rennes Bretagne-Atlantique - Holger Hermanns, Saarland University - Peter Kriens, OSGi Alliance Schedule, Title and abstracts available at https://www.discotec.org/2020/programme * Main Conferences (Jun 16 - 18) * - COORDINATION (https://www.discotec.org/2020/coordination) 22st IFIP International Conference on Coordination Models and Languages PC Chairs: Simon Bliudze (Inria Lille – Nord Europe, France) and Laura Bocchi (University of Kent, UK) - DAIS (https://www.discotec.org/2020/dais) 20th IFIP International Conference on Distributed Applications and Interoperable Systems PC Chairs: Anne Remke (University of Münster, Germany) and Valerio Schiavoni (University of Neuchâtel, Switzerland) - FORTE (https://www.discotec.org/2020/forte) 40th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Alexey Gotsman (IMDEA Software Institute, Spain) and Ana Sokolova (University of Salzburg, Austria) * Satellite Events * - DisCoTec Tools (https://www.discotec.org/2020/tutorials) Tutorial Sessions - ICE 2020 (https://www.discotec.org/2020/ice) 13th Workshop on Interaction and Concurrency Experience - FOCODILE 2020 (https://www.discotec.org/2020/focodile) 1st International Workshop on the Foundations of Consensus and Distributed Ledgers * Registration * The conference registration can be found at https://www.um.edu.mt/events/discotec2020/registration If you have a paper to present, then you need to pay a nominal registration fee, but otherwise, the registration is free of charge. If the paper has more than one author, only the presenter needs to pay the registration fee (the other authors can register free of charge). A limited amount of student travel grants are provided by IFIP. Deadline for registration: 08 June 2020 midnight CET Coordination/DAIS/FORTE Paper Registration fee: EUR 50 Workshop Paper Registration fee: EUR 10 Participant Registration fee: FREE (Access to the tutorial sessions on Monday 15 June, access to keynote speakers and all three conference presentations on Tuesday, Wednesday and Thursday 16-18 June, access to workshops on Friday 19 June) * Organising Committee * Adrian Francalanza (University of Malta, Malta - General chair) Davide Basile (ISTI CNR Pisa, Italy - Publicity chair) Kiko Fernández-Reyes (Uppsala University, Sweden - Publicity chair) Antonis Achilleos (Reykjavik University, Iceland - Workshops chair) Duncan Attard (University of Malta, Malta - Workshops chair) Ornela Dardha (University of Glasgow, United Kingdom - Workshops chair) Lucienne Bugeja (University of Malta, Malta - Logistics) * Steering Committee * Rocco De Nicola (IMT Lucca, Italy) Pascal Felber ( University of Neuchâtel, Switzerland) Kurt Geihs (University of Kasel, Germany) Kostas Magoutis (ICS-FORTH, Greece) Elie Najm (Telecom Paris Tech, France — Chair) Manuel Núñez (Universidad Complutense de Madrid, Spain) Rui Oliveira (University of Minho, Portugal) Jean-Bernard Stefani (INRIA Grenoble, France) Gianluigi Zavattaro (University of Bologna, Italy) Alberto Lluch Lafuente (DTU, Denmark) * Advisory Board * Alain Girault (INRIA Grenoble, France) Uwe Nestmann (TU Berlin, Germany) Michele Loreti (University of Camerino, Italy) Jim Dowling (RISE & KTH, Sweden) Marjan Sirjani (University of Malarden, Sweden) Frank de Boer (CWI, The Netherlands) Farhad Arbab (CWI, The Netherlands) Lea Kutvonen (University of Helsinki, Finland) John Derrick (University of Sheffield, UK) To receive live, up
[TYPES/announce] DEADLINE EXTENSION - Joint Call for Papers - DisCoTec2020
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you got multiple copies of this email.] The abstract submission deadline has been extended to February 17. The paper submission deadline has been extended to February 28. Joint Call for Papers 15th International Federated Conference on Distributed Computing Techniques DisCoTec 2020 Valletta, Malta, 15-19 June 2020 https://www.discotec.org/2020 DisCoTec 2020 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. * Main Conferences * - COORDINATION (https://www.discotec.org/2020/coordination) 22st IFIP International Conference on Coordination Models and Languages PC Chairs: Simon Bliudze (Inria Lille – Nord Europe, France) and Laura Bocchi (University of Kent, UK) - DAIS (https://www.discotec.org/2020/dais) 20th IFIP International Conference on Distributed Applications and Interoperable Systems PC Chairs: Anne Remke (University of Münster, Germany) and Valerio Schiavoni (University of Neuchâtel, Switzerland) - FORTE (https://www.discotec.org/2020/forte) 40th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Alexey Gotsman (IMDEA Software Institute, Spain) and Ana Sokolova (University of Salzburg, Austria) * Important Dates (for all main conferences) * - February 17, 2020: Submission of abstract -- extended - February 28, 2020: Submission of papers -- extended - April 10, 2020: Notification of accepted papers - April 24, 2020: Camera ready - June 15-19, 2020: Conferences and Workshops * Keynote Speakers * - Nathalie Bertrand, INRIA Rennes Bretagne-Atlantique - Holger Hermanns, Saarland University - Ken McMillan, Microsoft Research, Redmond - Peter Kriens, OSGi Alliance * Submission Categories * COORDINATION: Full papers (up to 15 pages + 2 pages references), Short papers (up to 6 pages + 2 pages references), Survey papers (up to 25 pages + 2 pages references), Tool papers (up to 6 pages + 2 pages references + 10min demo video). DAIS Full papers (up to 15 pages + 2 pages references). Full practical experience reports (up to 15 pages + 2 pages references) Work-in-progress (up to 6 pages + 2 pages references) FORTE Full papers (page limit: up to 15 pages + 2 pages references) Short papers (page limit: up to 6 pages + 2 pages references) (Rough diamonds, Tool (demonstration) papers, Position papers) “Journal First” papers (page limit: up to 2 pages, including references) More information is available on the conference website. * Proceedings * The proceedings of DisCoTec 2020 main conferences will be published in Springer's LNCS-IFIP volumes. * Special issue * The individual conferences will organise special issues of extended and selected papers in reputable journals such as Logical Methods in Computer Science and Journal of Parallel and Distributed Computing. More information is available at the conference website. * Submission Instructions * Authors are invited to submit their contributions electronically in PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed before February 3, 2020. Submission of the manuscript is due no later than February 14, 2020. Submissions are handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=coordination2020 https://easychair.org/conferences/?conf=dais2020 https://easychair.org/conferences/?conf=forte20 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). The submissions must not exceed the total page number limit, including figures and references, prepared using Springer’s LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. DisCoTec conferences welcome contributions in theoretical models and foundations of coordination, concurrency, programming languages, practical and conceptual aspects of distributed computations as well as models and formal specification, testing and verification methods for distributed computing. Detailed information about the topics, the submission categories and the corresponding page limits are available at the conference website. For each accepted paper, one of the authors must register to DisCoTec 2020 and attend the
[TYPES/announce] [DisCoTec 2020] Joint Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Joint Call for Papers 15th International Federated Conference on Distributed Computing Techniques DisCoTec 2020 Valletta, Malta, 15-19 June 2020 https://www.discotec.org/2020 DisCoTec 2020 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. * Main Conferences * - COORDINATION (https://www.discotec.org/2020/coordination) 22st IFIP International Conference on Coordination Models and Languages PC Chairs: Simon Bliudze (Inria Lille – Nord Europe, France) and Laura Bocchi (University of Kent, UK) - DAIS (https://www.discotec.org/2020/dais) 20th IFIP International Conference on Distributed Applications and Interoperable Systems PC Chairs: Anne Remke (University of Münster, Germany) and Valerio Schiavoni (University of Neuchâtel, Switzerland) - FORTE (https://www.discotec.org/2020/forte) 40th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Alexey Gotsman (IMDEA Software Institute, Spain) and Ana Sokolova (University of Salzburg, Austria) * Important Dates (for all main conferences) * - February 3, 2020: Submission of abstract - February 14, 2020: Submission of papers - April 10, 2020: Notification of accepted papers - April 24, 2020: Camera ready - June 15-19, 2020: Conferences and Workshops * Keynote Speakers * TBA * Submission Categories * COORDINATION: Full papers (up to 15 pages + 2 pages references), Short papers (up to 6 pages + 2 pages references), Survey papers (up to 25 pages + 2 pages references), Tool papers (up to 6 pages + 2 pages references + 10min demo video). DAIS Full papers (up to 15 pages + 2 pages references). Full practical experience reports (up to 15 pages + 2 pages references) Work-in-progress (up to 6 pages + 2 pages references) FORTE Full papers (page limit: up to 15 pages + 2 pages references) Short papers (page limit: up to 6 pages + 2 pages references) (Rough diamonds, Tool (demonstration) papers, Position papers) “Journal First” papers (page limit: up to 2 pages, including references) More information is available on the conference website. * Proceedings * The proceedings of DisCoTec 2020 main conferences will be published in Springer's LNCS-IFIP volumes. * Special issue * The individual conferences will organise special issues of extended and selected papers in reputable journal such as Logical Methods in Computer Science and Journal of Parallel and Distributed Computing. More information is available at the conference website. * Submission Instructions * Authors are invited to submit their contributions electronically in PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed before February 3, 2020. Submission of the manuscript is due no later than February 14, 2020. Submissions are handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=coordination2020 https://easychair.org/conferences/?conf=dais2020 https://easychair.org/conferences/?conf=forte20 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). The submissions must not exceed the total page number limit, including figures and references, prepared using Springer’s LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. DisCoTec conferences welcome contributions in theoretical models and foundations of coordination, concurrency, programming languages, practical and conceptual aspects of distributed computations as well as models and formal specification, testing and verification methods for distributed computing. Detailed information about the topics, the submission categories and the corresponding page limits are available at the conference website. For each accepted paper, one of the authors must register to DisCoTec 2020 and attend the corresponding conference to present the paper. * Satellite Events * DisCoTec features also workshops, tutorials and a tool track. Workshops, tutorials and tools demonstrations should fall in the areas of the DisCoTec conferences. For more information, check the website: http://www.discotec.org/2020/satellite-events * Organising Committee * Adrian Francalanza (University of Malta,
[TYPES/announce] [SPLASH 2019] Call for Volunteers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Call for Volunteers The SPLASH Student Volunteers program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. # How to apply? All student volunteers are required to submit the application form (https://form.jotformeu.com/91350830758359). The first application deadline is 1st of August, 2019. A second application deadline is 15th of September, 2019, but priority will be given to students applying before the first deadline. Please, send us a scan of your student id (applications will not be considered without it). All student volunteers are expected to be available from October 20th until October 25th of 2019. We encourage applicants requiring a visa to apply by the first deadline in order to have enough time to obtain it. # Eligibility Applicants can be undergraduate, Master’s or PhD students of computer science and related fields. # Student Volunteer Benefits In exchange for performing their volunteer duties, student volunteers receive: - Complementary student conference registration - Custom SPLASH garment - Admission to all conference events - Admission to all social events, including the banquet # Travelling and Accomodation: SPLASH’19 Student Volunteers are responsible for their own travel arrangements and accomodation. More information about additional funding here (https://2019.splashcon.org/attending/Students). If you are looking for a room to share with other students, we recommend ConferenceShare. # More Information: For additional information, clarifications and questions please contact the SPLASH’19 Student Volunteer Co-Chairs: - Anastasios Antoniadis (https://github.com/anantoni), - Juliana Franco (http://jupvfranco.github.io/), and - Kiko Fernandez-Reyes (https://www.plresearcher.com/) at student_volunte...@splashcon.org. När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/ E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy
[TYPES/announce] [DisCoTec'19] CALL FOR PARTICIPATION
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 14th International Federated Conference on Distributed Computing Techniques DisCoTec 2019 Kongens Lyngby, Denmark, 17-21 June 2019 https://www.discotec.org/2019 DisCoTec 2019 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. * Keynote Speakers * - David Basin (ETH Zürich, Switzerland) - Anne-Marie Kermarrec (INRIA Rennes, France) - Marta Kwiatkowska (University of Oxford, UK) - Silvio Micali (MIT, USA) - Martin Wirsing (LMU, Germany) Titles and abstracts available at https://www.discotec.org/2019/keynotes * Main Conferences (18-20 June) * - COORDINATION (https://www.discotec.org/2019/coordination) 21st IFIP International Conference on Coordination Models and Languages - DAIS (https://www.discotec.org/2019/dais) 19th IFIP International Conference on Distributed Applications and Interoperable Systems - FORTE (https://www.discotec.org/2019/forte) 39th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems DisCoTec 2019 programme available at https://www.discotec.org/2019/programme * Satellite Events (17 and 20 June) * - ICE (https://www.discotec.org/2019/ice) 12th International Workshop on Interaction and Concurrency Experience - DisCoRail (https://www.discotec.org/2019/discorail) International Workshop on Distributed Computing in Future Railway Systems - Tutorial and tool tracks (proposals under evaluation, see http://www.discotec.org/2019/satellite-events) * Registration (Early registration until May 15) * Registration information is available at https://www.discotec.org/2019/registration A limited amount of student travel grants are provided by IFIP. * Organising Committee * Alberto Lluch Lafuente (DTU, Denmark – General chair) Kiko Fernández-Reyes (Uppsala University — Publicity chair) Francesco Tiezzi (University of Camerino — Publicity chair) Andrea Vandin (DTU, Denmark — Workshops chair) Maurice ter Beek (CNR, Italy — Workshops chair) Valerio Schiavoni (Université de Neuchâtel, Switzerland — Workshops chair) To receive live, up to date information, follow us on Twitter: https://twitter.com/DisCoTecConf När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/ E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy
[TYPES/announce] [DisCoTec 2019] Deadline extended to February 22
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you got multiple copies of this email.] Joint Call for Papers 14th International Federated Conference on Distributed Computing Techniques DisCoTec 2019 Kongens Lyngby, Denmark, 18-21 June 2019 https://www.discotec.org/2019 ** Extended deadlines: ** * Abstract submission: February 15, 2019 * Paper submission: February 22, 2019 ** About DisCoTec ** DisCoTec 2019 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. * Main Conferences * - COORDINATION (https://www.discotec.org/2019/coordination) 21st IFIP International Conference on Coordination Models and Languages PC Chairs: Hanne Riis Nielson (DTU, Denmark) and Emilio Tuosto (University of Leicester, UK) - DAIS (https://www.discotec.org/2019/dais) 19th IFIP International Conference on Distributed Applications and Interoperable Systems PC Chairs: José Orlando Pereira (Universidade do Minho & INESC TEC, Portugal) and Laura Ricci (University of Pisa, Italy) - FORTE (https://www.discotec.org/2019/forte) 39th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Jorge A. Pérez (University of Groningen, The Netherlands) and Nobuko Yoshida (Imperial College London, UK) * Important Dates (for all main conferences) * - February 1, 2019: Submission of abstract - February 8, 2019: Submission of papers - April 12, 2019: Notification of accepted papers - June 18-21, 2019: Conferences and Workshops * Keynote Speakers * - David Basin (ETH Zürich, Switzerland) - Anne-Marie Kermarrec (INRIA Rennes, France) - Marta Kwiatkowska (University of Oxford, UK) - Silvio Micali (MIT, USA) - Martin Wirsing (LMU, Germany) * Proceedings * The proceedings of DisCoTec 2019 main conferences will be published in Springer's LNCS-IFIP volumes. * Special issue * Selected papers of Coordination and FORTE will be invited to a special issue of Logical Methods in Computer Science (https://lmcs.episciences.org/). Selected papers of DAIS will be invited to a special issue of a reputed journal (to be announced soon). More information is available at the conference website. * Submission Instructions * Authors are invited to submit their contributions electronically in PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed before February 1, 2019. Submission of the manuscript is due no later than February 8, 2019. Submissions are handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=coordination2019 https://easychair.org/conferences/?conf=dais2019 https://easychair.org/conferences/?conf=forte19 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). The submissions must not exceed the total page number limit, including figures and references, prepared using Springer’s LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. DisCoTec conferences welcome contributions in theoretical models and foundations of coordination, concurrency, programming languages, practical and conceptual aspects of distributed computations as well as models and formal specification, testing and verification methods for distributed computing. Detailed information about the topics, the submission categories and the corresponding page limits are available at the conference website. For each accepted paper, one of the authors must register to DisCoTec 2019 and attend the corresponding conference to present the paper. * Satellite Events * DisCoTec features also workshops, tutorials and a tool track. Workshops, tutorials and tools demonstrations should fall in the areas of the DisCoTec conferences. For more information, check the website http://www.discotec.org/2019/satellite-events * Organising Committee * Alberto Lluch Lafuente (DTU, Denmark – General chair) Kiko Fernández-Reyes (Uppsala University — Publicity chair) Francesco Tiezzi (University of Camerino — Publicity chair) Andrea Vandin (DTU, Denmark — Workshops chair) Maurice ter Beek (CNR, Italy — Workshops chair) Valerio Schiavoni (Université de Neuchâtel, Switzerland — Workshops chair) * Steering Committee * Rocco De Nicola (IMT Lucca, Italy)
[TYPES/announce] [DisCoTec 2019] Joint Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you got multiple copies of this email.] Joint Call for Papers 14th International Federated Conference on Distributed Computing Techniques DisCoTec 2019 Kongens Lyngby, Denmark, 18-21 June 2019 https://www.discotec.org/2019 HIGHLIGHTS Two new categories of submissions added to COORDINATION: “special topics” and “tool papers”. DisCoTec 2019 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. * Main Conferences * - COORDINATION (https://www.discotec.org/2019/coordination) 21st IFIP International Conference on Coordination Models and Languages PC Chairs: Hanne Riis Nielson (DTU, Denmark) and Emilio Tuosto (University of Leicester, UK) - DAIS (https://www.discotec.org/2019/dais) 19th IFIP International Conference on Distributed Applications and Interoperable Systems PC Chairs: José Orlando Pereira (Universidade do Minho & INESC TEC, Portugal) and Laura Ricci (University of Pisa, Italy) - FORTE (https://www.discotec.org/2019/forte) 39th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Jorge A. Pérez (University of Groningen, The Netherlands) and Nobuko Yoshida (Imperial College London, UK) * Important Dates (for all main conferences) * - February 1, 2019: Submission of abstract - February 8, 2019: Submission of papers - April 12, 2019: Notification of accepted papers - June 18-21, 2019: Conferences and Workshops * Keynote Speakers * - David Basin (ETH Zürich, Switzerland) - Anne-Marie Kermarrec (INRIA Rennes, France) - Marta Kwiatkowska (University of Oxford, UK) - Silvio Micali (MIT, USA) - Martin Wirsing (LMU, Germany) * Proceedings * The proceedings of DisCoTec 2019 main conferences will be published in Springer's LNCS-IFIP volumes. * Special issue * Selected papers of some of the conferences will be invited to a special issue of Logical Methods in Computer Science (https://lmcs.episciences.org/). More information is available at the conference website. * Submission Instructions * Authors are invited to submit their contributions electronically in PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed before February 1, 2019. Submission of the manuscript is due no later than February 8, 2019. Submissions are handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=coordination2019 https://easychair.org/conferences/?conf=dais2019 https://easychair.org/conferences/?conf=forte19 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). The submissions must not exceed the total page number limit, including figures and references, prepared using Springer’s LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. DisCoTec conferences welcome contributions in theoretical models and foundations of coordination, concurrency, programming languages, practical and conceptual aspects of distributed computations as well as models and formal specification, testing and verification methods for distributed computing. Detailed information about the topics, the submission categories and the corresponding page limits are available at the conference website. For each accepted paper, one of the authors must register to DisCoTec 2019 and attend the corresponding conference to present the paper. * Satellite Events * DisCoTec features also workshops, tutorials and a tool track. Workshops, tutorials and tools demonstrations should fall in the areas of the DisCoTec conferences. For more information, check the website http://www.discotec.org/2019/satellite-events * Organising Committee * Alberto Lluch Lafuente (DTU, Denmark – General chair) Kiko Fernández-Reyes (Uppsala University — Publicity chair) Francesco Tiezzi (University of Camerino — Publicity chair) Andrea Vandin (DTU, Denmark — Workshops chair) Maurice ter Beek (CNR, Italy — Workshops chair) Valerio Schiavoni (Université de Neuchâtel, Switzerland — Workshops chair) * Steering Committee * Rocco De Nicola (IMT Lucca, Italy) Pascal Felber ( University of Neuchâtel, Switzerland) Kurt