[TYPES/announce] Postdoc @ DTU Compute in Modelling and Verification of Concurrent & Distributed Applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for a postdoctoral researcher with experience in formal methods for distributed systems and/or programming languages. * Application deadline: 21 May 2023 (Danish time) * Starting date: September 2023 (negotiable) * Duration of the position: 2 years * For inquiries, please contact: Alceste Scalas * Application link with more information: https://urldefense.com/v3/__https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1/job/1533__;!!IBzWLUs!XePA8klv4-7ewe1aYJ4VX-rnXLCc1zGwtsH7P_ryvyVUUbk_I1k281p4bhAjldKJtJwcGWpmTSq2qKPB-rxPepOiUROE$ The successful applicant will join the DTU Compute section on Software Systems Engineering, which involves researchers in various areas of software specification, verification, engineering, and security --- with a strong emphasis on formal methods. https://urldefense.com/v3/__https://www.compute.dtu.dk/english/research/research-sections/software-systems-engineering__;!!IBzWLUs!XePA8klv4-7ewe1aYJ4VX-rnXLCc1zGwtsH7P_ryvyVUUbk_I1k281p4bhAjldKJtJwcGWpmTSq2qKPB-rxPeujXTJ73$ This Postdoc pposition is part of the Horizon Europe project TaRDIS (Trustworthy And Resilient Decentralised Intelligence for edge Systems - <https://urldefense.com/v3/__https://www.project-tardis.eu/__;!!IBzWLUs!XePA8klv4-7ewe1aYJ4VX-rnXLCc1zGwtsH7P_ryvyVUUbk_I1k281p4bhAjldKJtJwcGWpmTSq2qKPB-rxPehpWsrC3$ >). The main research topics of this position are: 1. new methods for modelling concurrent and distributed applications, based on practical industrial use cases; and 2. new methods for verifying the correctness of concurrent and distributed applications, based on the models at point 1. The TaRDIS project is a collaboration between DTU (Denmark), NOVA University Lisbon (Portugal, project coordinator), the University of Oxford (UK), the University of Novi Sad (Serbia), the National and Kapodistrian University of Athens (Greece), and 6 industry partners: Actyx AG (Germany), GMV Aerospace (Spain), EDP NEW R (Portugal), Telefónica Research (Spain), Caixa Mágica Software (Portugal), and Martel Innovate (Switzerland). # RESPONSIBILITIES AND QUALIFICATIONS Within the TaRDIS project, the DTU team's research focuses on modelling distributed applications and verifying their properties, in particular communication correctness and security. Your main tasks within this project will be: * closely collaborate with the DTU faculty members and the two PhD students involved in the TaRDIS project; * study the project's industrial use cases; * actively contribute to the technical discussions with the project partners (both industrial and academic), and work towards the project deliverables; * acquire the necessary expertise in state-of-the-art research in formal methods for modelling and verifying distributed applications --- with a focus on correctness, safety, and reliability; * explore new methods to ensure the correctness of distributed applications. You will play a key role in developing the necessary theory and in implementing software tools based on such theory. You will also have the opportunity to co-supervise MSc or BSc student projects related to your research. To be considered for the position, you need to document your research experience with formal methods for programming languages and/or distributed systems. You will also need to document your programming skills --- preferably including functional programming, and some experience in developing distributed applications. # ASSESSMENT OF THE APPLICANTS The assessment of the applicants will take place no later than the second half of May 2023 --- but if you apply for this position, you may be contacted for an earlier interview (before the application deadline). If you decide to apply, please contact us. # FURTHER INFORMATION Application link with more information about this position: https://urldefense.com/v3/__https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1/job/1533__;!!IBzWLUs!XePA8klv4-7ewe1aYJ4VX-rnXLCc1zGwtsH7P_ryvyVUUbk_I1k281p4bhAjldKJtJwcGWpmTSq2qKPB-rxPepOiUROE$ For further information and inquiries, please contact: Alceste Scalas You can read more about DTU Compute at <https://urldefense.com/v3/__https://www.compute.dtu.dk/__;!!IBzWLUs!XePA8klv4-7ewe1aYJ4VX-rnXLCc1zGwtsH7P_ryvyVUUbk_I1k281p4bhAjldKJtJwcGWpmTSq2qKPB-rxPejTW4ykl$ >. If you are applying from abroad, you may find useful information on working in Denmark and at DTU at: https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/moving-to-denmark__;!!IBzWLUs!XePA8klv4-7ewe1aYJ4VX-rnXLCc1zGwtsH7P_ryvyVUUbk_I1k281p4bhAjldKJtJwcGWpmTSq2qKPB-rxPehdSj1As$ -- Alceste Scalas - https://urldefense.com/v3/__https://people.co
[TYPES/announce] PLACES 2023 - 2nd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** PLACES 2023 ** 14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 22 April 2023, Paris, France Satellite workshop of ETAPS 2023 https://urldefense.com/v3/__https://places-workshop.github.io/2023__;!!IBzWLUs!Sfb-hT6xyMl3Gig7czIro6QaXuBa1qPzwqFrfcEGLvdKO0BWOJ7JfkDsiQ1wdxPGtXAPHGo10HmyXUTi1ayJCbPFAlEw$ For over a decade, PLACES has been a popular forum for researchers from different fields to exchange new ideas about challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. ## IMPORTANT DATES * Abstract registration deadline: 12 February 2023, AoE * Submission deadline: 15 February 2023, AoE * Author notification: 17 March 2023, AoE * Workshop: 22 April 2023, Paris, France ## KEYNOTE SPEAKERS AND TALKS * Marieke Huisman, University of Twente, NL. "VerCors: Verification of Concurrent Software" * Vasco T. Vasconcelos, University of Lisbon, PT. "30 Years of Session Types" ## SUBMISSION INSTRUCTIONS Submission site: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=places2023__;!!IBzWLUs!Sfb-hT6xyMl3Gig7czIro6QaXuBa1qPzwqFrfcEGLvdKO0BWOJ7JfkDsiQ1wdxPGtXAPHGo10HmyXUTi1ayJCboyV_nP$ Submissions are invited in the general area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications and case studies. Submissions are peer-reviewed by a minimum of three reviewers, with the aim of allocating at least one expert reviewer. Submissions must be formatted with the EPTCS style. We welcome the following types of submission: * Research papers with a maximum length of 8 pages (with no restriction on bibliography or appendices, which the reviewers are not required to read). Submitted research papers are reviewed based on their novelty, clarity, and technical soundness. They must not be submitted for publication elsewhere, and if accepted, they will appear in the PLACES proceedings. * Talk proposals with a maximum length of 2 pages (with no restriction on bibliography or appendices, which the reviewers are not required to read). Talk proposals may present ongoing work, as well as work already published elsewhere. Accepted talk proposals will be presented at the workshop, but will not appear in the PLACES proceedings. ## TOPICS Relevant topics include, but are not limited to: * Design and implementation of programming languages with first class concurrency and communication primitives * Models for concurrent and distributed systems, such as process algebra and automata, and their mechanisation in proof assistants * Behavioural types, including session types * Concurrent data types, objects and actors * Verification and program analysis methods for safe and secure concurrent and distributed software * Interface and contract languages for communication and distribution * Applications to microservices, sensor networks, scientific computing, HPC, blockchains, robotics * Concurrency and communication in event processing and business process management ## PROCEEDINGS AND JOURNAL SPECIAL ISSUE The proceedings of PLACES 2023 with accepted research papers will be published as a volume of EPTCS - https://urldefense.com/v3/__https://eptcs.org/__;!!IBzWLUs!Sfb-hT6xyMl3Gig7czIro6QaXuBa1qPzwqFrfcEGLvdKO0BWOJ7JfkDsiQ1wdxPGtXAPHGo10HmyXUTi1ayJCQkf6nTZ$ Authors of selected papers from PLACES 2023 will be later invited to submit extended versions of their papers to a special issue of Information and Computation or JLAMP or FAC. ## PROGRAMME CHAIRS * Ilaria Castellani, INRIA Sophia Antipolis, FR * Alceste Scalas, Technical University of Denmark, DK ## PROGRAMME COMMITTEE * Marco Carbone, IT University of Copenhagen, DK * Elias Castegren, Uppsala University, SE * Silvia Crafa, Università di Padova, IT * Francisco Ferreira, Royal Holloway, University of London, UK * José Fragoso Santos, Universidade de Lisboa and INESC-ID, PT * Paola Giannini, Università del Piemonte Orientale, IT * Andrew K. Hirsch, State University of New York at Buffalo, US * Sung-Shik Jongmans, Open University of the Netherlands, NL * Luc Maranget, INRIA Paris, FR * Andreia Mordido, Universidade de Lisboa and LASIGE, PT * Violet Ka I Pun, Western Norway University of Applied Sciences, NO * Emilio Tuosto, Gran Sasso Science Institute, IT * Laura Voinea, University of Glasgow, UK ## ORGANISING COMMITTEE * Simon Gay, University of Glasgow, UK * Luca Padovani, Università di Camerino, IT * Vasco T. Vasconcelos, Universidade de Lisboa, P
[TYPES/announce] PLACES 2023 - Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** PLACES 2023 ** 14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 22 April 2023, Paris, France Satellite workshop of ETAPS 2023 https://urldefense.com/v3/__https://places-workshop.github.io/2023__;!!IBzWLUs!RCyfTazZxIVxJNtw9jqdtDNXyI3AqjnnaSxLxT-RT59H-fclGe-pfHc3ykxVikEB6cxTr7EDiPkBqWHk7U-Wf0rOAF92$ For over a decade, PLACES has been a popular forum for researchers from different fields to exchange new ideas about challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. ## IMPORTANT DATES * Abstract registration deadline: 12 February 2023, AoE * Submission deadline: 15 February 2023, AoE * Author notification: 17 March 2023, AoE * Workshop: 22 April 2023 in Paris, France ## INVITED SPEAKER * Marieke Huisman, University of Twente, NL ## SUBMISSION INSTRUCTIONS Submission site: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=places2023__;!!IBzWLUs!RCyfTazZxIVxJNtw9jqdtDNXyI3AqjnnaSxLxT-RT59H-fclGe-pfHc3ykxVikEB6cxTr7EDiPkBqWHk7U-Wf8Az2XtS$ Submissions are invited in the general area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications and case studies. Submissions are peer-reviewed by a minimum of three reviewers, with the aim of allocating at least one expert reviewer. Submissions must be formatted with the EPTCS style. We welcome the following types of submission: * Research papers with a maximum length of 8 pages (with no restriction on bibliography or appendices, which the reviewers are not required to read). Submitted research papers are reviewed based on their novelty, clarity, and technical soundness. They must not be submitted for publication elsewhere, and if accepted, they will appear in the PLACES proceedings. * Talk proposals with a maximum length of 2 pages (with no restriction on bibliography or appendices, which the reviewers are not required to read). Talk proposals may present ongoing work, as well as work already published elsewhere. Accepted talk proposals will be presented at the workshop, but will not appear in the PLACES proceedings. ## TOPICS Relevant topics include, but are not limited to: * Design and implementation of programming languages with first class concurrency and communication primitives * Models for concurrent and distributed systems, such as process algebra and automata, and their mechanisation in proof assistants * Behavioural types, including session types * Concurrent data types, objects and actors * Verification and program analysis methods for safe and secure concurrent and distributed software * Interface and contract languages for communication and distribution * Applications to microservices, sensor networks, scientific computing, HPC, blockchains, robotics * Concurrency and communication in event processing and business process management ## PROCEEDINGS AND JOURNAL SPECIAL ISSUE The proceedings of PLACES 2023 with accepted research papers will be published as a volume of EPTCS - https://urldefense.com/v3/__https://eptcs.org/__;!!IBzWLUs!RCyfTazZxIVxJNtw9jqdtDNXyI3AqjnnaSxLxT-RT59H-fclGe-pfHc3ykxVikEB6cxTr7EDiPkBqWHk7U-Wf4r30m6T$ Authors of selected papers from PLACES 2023 will be later invited to submit extended versions of their papers to a special issue of Information and Computation or JLAMP or FAC. ## PROGRAMME CHAIRS * Ilaria Castellani, INRIA Sophia Antipolis Méditerranée, FR * Alceste Scalas, Technical University of Denmark, DK ## PROGRAMME COMMITTEE * Marco Carbone, IT University of Copenhagen, DK * Elias Castegren, Uppsala University, SE * Silvia Crafa, Università di Padova, IT * Francisco Ferreira, Royal Holloway, University of London, UK * José Fragoso Santos, Universidade de Lisboa and INESC-ID, PT * Paola Giannini, Università del Piemonte Orientale, IT * Andrew K. Hirsch, State University of New York at Buffalo, US * Sung-Shik Jongmans, Open University of the Netherlands, NL * Luc Maranget, INRIA Paris, FR * Andreia Mordido, Universidade de Lisboa and LASIGE, PT * Violet Ka I Pun, Western Norway University of Applied Sciences, NO * Emilio Tuosto, Gran Sasso Science Institute, IT * Laura Voinea, University of Glasgow, UK ## ORGANISING COMMITTEE * Simon Gay, University of Glasgow, UK * Luca Padovani, Università di Camerino, IT * Vasco T. Vasconcelos, Universidade de Lisboa, PT * Nobuko Yoshida, University of Oxford and Imperial College London, UK To contact the PLACES 2023 programme chairs: place...@googlegroups.com -- Alceste Scalas
[TYPES/announce] 2 PhD scholarships in Verification of Concurrent and Distributed Applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DTU - Technical University of Denmark DTU Compute - Section for Software Systems Engineering We are looking for two bright and motivated PhD student for two 3-year PhD positions. The main research topics of the two PhD positions are, respectively: (1) verifying that distributed applications respect correctness, safety and reliability specifications; and (2) verifying the privacy and security goals of distributed programs and their interaction. * Application deadline: 27 November 2022 * Expected starting date: 1 March 2023 (negotiable) * For inquiries, please contact: Alceste Scalas - https://urldefense.com/v3/__https://people.compute.dtu.dk/alcsc__;!!IBzWLUs!VhZ66-hlZK7jbEaLxGBwH01RLNQNqlsCqf-whFrcuI8BYboj58-FaFSwVbTwmoE6JuexhyVp6hXogsd2E142j6qECUTI$ Sebastian Mödersheim - https://urldefense.com/v3/__https://people.compute.dtu.dk/samo__;!!IBzWLUs!VhZ66-hlZK7jbEaLxGBwH01RLNQNqlsCqf-whFrcuI8BYboj58-FaFSwVbTwmoE6JuexhyVp6hXogsd2E142j-AxRgaq$ * Application link with complete details: https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/vacant-positions/job?id=dd8bd8bc-8712-4883-981c-d91a1247f444__;!!IBzWLUs!VhZ66-hlZK7jbEaLxGBwH01RLNQNqlsCqf-whFrcuI8BYboj58-FaFSwVbTwmoE6JuexhyVp6hXogsd2E142j0gR8FJq$ By joining the project team, you will become part of an international research collaboration to advance the development of secure and reliable distributed applications. *PROJECT DESCRIPTION* The two positions are part of the upcoming Horizon Europe project TaRDIS (Trustworthy and Resilient Decentralised Intelligence for edge Systems). The project goal is to design and develop a novel, event-driven programming model and toolkit (with solid foundations based on formal methods) to help programmers in creating safe and reliable distributed applications. The focus lies on distributed applications with smart and autonomous components deployed across the cloud-edge continuum. Project TaRDIS is a collaboration between DTU, NOVA University Lisbon (Portugal, project coordinator), the University of Oxford (UK), the University of Novi Sad (Serbia), the National and Kapodistrian University of Athens (Greece), and 6 industry partners. *RESPONSIBILITIES AND QUALIFICATIONS* If you join this project, you will become a member of the DTU Compute research section on Software Systems Engineering, which involves researchers in various areas of software specification, verification, engineering, and security --- with a strong emphasis on formal methods. You will also join the DTU Compute PhD school and take part in its courses and activities. As part of your PhD training and research activities, you will have research stays at the academic collaborators' universities. Links: * https://urldefense.com/v3/__https://www.compute.dtu.dk/english/research/research-sections/software-systems-engineering__;!!IBzWLUs!VhZ66-hlZK7jbEaLxGBwH01RLNQNqlsCqf-whFrcuI8BYboj58-FaFSwVbTwmoE6JuexhyVp6hXogsd2E142j4nghyZo$ * https://urldefense.com/v3/__https://www.compute.dtu.dk/english/phd__;!!IBzWLUs!VhZ66-hlZK7jbEaLxGBwH01RLNQNqlsCqf-whFrcuI8BYboj58-FaFSwVbTwmoE6JuexhyVp6hXogsd2E142jws0Dh4X$ Your main tasks within this project will be: * become familiar with relevant state-of-the-art research in formal methods for modelling and verifying distributed applications --- with a focus on either (1) verification of correctness, safety and reliability, or (2) modelling and verification of privacy and security properties; * study the project’s industrial use cases; * explore new methods to ensure the correctness of distributed applications. You will help in developing the necessary theory and implementing new software tools based on such theory. You will also have the opportunity to co-supervise MSc or BSc student projects related to your research. To be considered for the position, you need some experience with formal methods for programming languages, or distributed systems, or security. You will need to document these skills by listing the relevant university courses you took, or the relevant experience you have. It will be an advantage if you can also document good programming skills – preferably including functional programming, and some experience in developing distributed applications. To begin the PhD position, you must have a two-year master's degree (120 ECTS points) or a similar degree with an academic level equivalent to a two-year master's degree. You can apply prior to obtaining the degree, providing the expected graduation date. *ASSESSMENT AND FURTHER DETAILS* The assessment of the applicants will take place in early December 2022. For the application details, see: https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/vacant-positions/job?id=dd8bd8bc-8712-4883-981c-d91a1247f444__
[TYPES/announce] Final CfP: 14th Interaction and Concurrency Experience (ICE 2021)
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. 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.la...@rhul.ac.uk Anastasia Mavridou (NASA Ames, USA) - anastasia.mavri...@nasa.gov Larisa Safina (Inria, FR) - larisa.saf...@inria.fr Alceste Scalas (Technical University of Denmark, DK) - al...@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). -- Alceste Scalas - https://people.compute.dtu.dk/alcsc Assistant Professor @ DTU Compute - Section for Formal Methods Technical University of Denmark Richard Petersens Plads, Building 324, Room 180 2800 Kgs. Lyngby
[TYPES/announce] 2nd CfP: 14th Interaction and Concurrency Experience (ICE 2021)
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.la...@rhul.ac.uk Anastasia Mavridou (NASA Ames, USA) - anastasia.mavri...@nasa.gov Larisa Safina (Inria, FR) - larisa.saf...@inria.fr Alceste Scalas (Technical University of Denmark, DK) - al...@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). -- Alceste Scalas - https://people.compute.dtu.dk/alcsc Assistant Professor @ DTU Compute - Section for Formal Methods Technical University of Denmark Richard Petersens Plads, Building 324, Room 180 2800 Kgs. Lyngby
[TYPES/announce] CfP: 14th Interaction and Concurrency Experience (ICE 2021)
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.la...@rhul.ac.uk Anastasia Mavridou (NASA Ames, USA) - anastasia.mavri...@nasa.gov Larisa Safina (Inria, FR) - larisa.saf...@inria.fr Alceste Scalas (Technical University of Denmark, DK) - al...@dtu.dk === PROGRAM COMMITTEE (under construction) === * Massimo Bartoletti (University of Cagliari, 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). -- Alceste Scalas - https://people.compute.dtu.dk/alcsc Assistant Professor @ DTU Compute - Section for Formal Methods Technical University of Denmark Richard Petersens Plads, Building 324, Room 180 2800 Kgs. Lyngby
[TYPES/announce] Assistant Professor in Formal Methods @ DTU Compute
gt;. If you are applying from abroad, you may find useful information on working in Denmark and at DTU at DTU – Moving to Denmark <https://www.dtu.dk/english/about/job-and-career/moving-to-denmark>. Application procedure Your complete online application must be submitted no later than 28 February 2021 (Danish time). Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link "Apply online", fill out the online application form, and attach all your materials in English in one PDF file. The file must include: * Application (cover letter) * Vision for teaching and research for the tenure track period * CV including employment history, list of publications, H-index, and profiles in ORCID (see http://orcid.org/ <http://orcid.org/>), Google Scholar (https://scholar.google.com/ <https://scholar.google.com/>) and DBLP (https://dblp.uni-trier.de/) * Teaching portfolio <https://learninglab.dtu.dk/english/Resources/Teaching-Portfolio> including documentation of teaching experience * Academic Diplomas (MSc/PhD) All interested candidates irrespective of age, gender, disability, race, religion or ethnic background are encouraged to apply. DTU Compute DTU Compute is a unique and internationally recognized academic environment spanning the science disciplines mathematics, statistics, computer science, and engineering. We conduct research, teaching and innovation of high international standard - producing new knowledge and technology-based solutions to societal challenges. We have a long-term involvement in applied and interdisciplinary research, big data and data science, artificial intelligence (AI), internet of things (IoT), smart and secure societies, smart manufacturing, and life science. Technology for people DTU develops technology for people. With our international elite research and study programmes, we are helping to create a better world and to solve the global challenges formulated in the UN’s 17 Sustainable Development Goals. Hans Christian Ørsted founded DTU in 1829 with a clear vision to develop and create value using science and engineering to benefit society. That vision lives on today. DTU has 12,000 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. Our main campus is in Kgs. Lyngby north of Copenhagen and we have campuses in Roskilde and Ballerup and in Sisimiut in Greenland. -- Alceste Scalas -https://people.compute.dtu.dk/alcsc Assistant Professor @ DTU Compute - Section for Formal Methods Technical University of Denmark Richard Petersens Plads, Building 324, Room 180 2800 Kgs. Lyngby
[TYPES/announce] 3rd CfP: 13th Interaction and Concurrency Experience (ICE 2020)
...@nasa.gov Larisa Safina (Inria, FR) - larisa.saf...@inria.fr Alceste Scalas (Aston University, Birmingham, UK) - a.sca...@aston.ac.uk === PROGRAM COMMITTEE === * Massimo Bartoletti (University of Cagliari, IT) * Chiara Bodei (Università di Pisa, Italy) * Aimée Borda (Trinity College Dublin, IE) * Matteo Cimini (University of Massachusetts Lowell, USA) * Corina Cirstea (University of Southampton, UK) * Simon Fowler (University of Edinburgh, UK) * Ludovic Henrio (ENS Lyon, FR) * Sung-Shik Jongmans (Open University of the Netherlands, NL) * Wen Kokke (University of Edinburgh, UK) * Ivan Lanese (University of Bologna, IT) * Alberto Lluch Lafuente (Technical University of Denmark, DK) * Diego Marmsoler (University of Exeter, UK) * Manuel Mazzara (Innopolis University, RU) * Hernán Melgratti (University of Buenos Aires, AR) * Claudio Antares Mezzina (University of Urbino, IT) * Maurizio Murgia (University of Trento, IT) * Rumyana Neykova (Brunel University London, UK) * Kirstin Peters (TU Berlin, DE) * Johannes Åman Pohjola (Data61/CSIRO, AU) * Ivan Prokic (University of Novi Sad, RS) * Matteo Sammartino (Royal Holloway, University of London, UK) * Silvia Lizeth Tapia Tarifa (University of Oslo, NO) * Hugo Torres Vieira (C4 - University of Beira Interior, PT) * Laura Voinea (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). -- Alceste Scalas - https://cs.aston.ac.uk/~scalasa Lecturer (Assistant Professor) in Computer Science Aston University, Birmingham, UK Main building, room MB214D, +44 121 204 4760
[TYPES/announce] 2nd CfP: 13th Interaction and Concurrency Experience (ICE 2020)
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. 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 below. === ICECREAMERS === Julien Lange (University of Kent, UK) - j.s.la...@kent.ac.uk Anastasia Mavridou (NASA Ames, USA) - anastasia.mavri...@nasa.gov Larisa Safina (Inria, FR) - larisa.saf...@inria.fr Alceste Scalas (Aston University, Birmingham, UK) - a.sca...@aston.ac.uk === PROGRAM COMMITTEE === * Massimo Bartoletti (University of Cagliari, IT) * Chiara Bodei (Università di Pisa, Italy) * Aimée Borda (Trinity College Dublin, IE) * Matteo Cimini (University of Massachusetts Lowell, USA) * Corina Cirstea (University of Southampton, UK) * Simon Fowler (University of Edinburgh, UK) * Ludovic Henrio (ENS Lyon, FR) * Sung-Shik Jongmans (Open University of the Netherlands, NL) * Wen Kokke (University of Edinburgh, UK) * Ivan Lanese (University of Bologna, IT) * Alberto Lluch Lafuente (Technical University of Denmark, DK) * Diego Marmsoler (University of Exeter, UK) * Manuel Mazzara (Innopolis University, RU) * Hernán Melgratti (University of Buenos Aires, AR) * Claudio Antares Mezzina (University of Urbino, IT) * Maurizio Murgia (University of Trento, IT) * Rumyana Neykova (Brunel University London, UK) * Kirstin Peters (TU Berlin, DE) * Johannes Åman Pohjola (Data61/CSIRO, AU) * Ivan Prokic (University of Novi Sad, RS) * Matteo Sammartino (Royal Holloway, University of London, UK) * Silvia Lizeth Tapia Tarifa (University of Oslo, NO) * Hugo Torres Vieira (C4 - University of Beira Interior, PT) * Laura Voinea (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). -- Alceste Scalas - https://cs.aston.ac.uk/~scalasa Lecturer (Assistant Professor) in Computer Science Aston University, Birmingham, UK Main building, room MB214D, +44 121 204 4760
[TYPES/announce] 2nd CfP: 12th Interaction and Concurrency Experience (ICE 2019)
cs, 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. Submissions must be made electronically in PDF format via EasyChair <https://easychair.org/conferences/?conf=ice20190>. 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 <http://eptcs.org/>. 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 below. Programme Committee * Aimée Borda (Trinity College Dublin, IE) * Matteo Cimini (University of Massachusetts Lowell, USA) * Corina Cirstea (University of Southampton, UK) * Ornela Dardha (University of Glasgow, UK) * Simon Fowler (University of Edinburgh, UK) * Svetlana Jakšić (Western Norway University of Applied Sciences, NO) * Ivan Lanese (University of Bologna, IT) * Julien Lange (University of Kent, UK) * Hugo-Andrés López (IT University of Copenhagen and DCR Solutions, DK) * Claudio Antares Mezzina (University of Leicester, UK) * Maurizio Murgia (University of Cagliari, IT) * Kristin Peters (TU Berlin, DE) * Matteo Sammartino (University College London, UK) * Emmanouela Stachtiari (Aristotle University of Thessaloniki, GR) * Silvia Lizeth Tapia Tarifa (University of Oslo, NO) * Hugo Torres Vieira (IMT Lucca, IT) * Johannes Åman Pohjola (Data61/CSIRO, AU) ICEcreamers * Massimo Bartoletti (University of Cagliari, IT) * Ludovic Henrio (CNRS, LIP, Lyon, FR) * Anastasia Mavridou (NASA Ames, USA) * Alceste Scalas (Aston University, Birmingham, UK) Steering Committee * Simon Bliudze (Inria Lille - Nord Europe, FR) * Filippo Bonchi (University of Pisa, IT) * Roberto Bruni (University of Pisa, IT) * Alexandra Silva (University College London, UK) * Paola Spoletini (Kennesaw State University, USA) * Emilio Tuosto (University of Leicester, UK) Previous editions The previous ten editions of ICE have been held on * ICE’08 <http://ice08.dimi.uniud.it/>, July 6, 2008 in Reykjavik, Iceland, co-located with ICALP’08. The post-proceedings were published in ENTCS (vol. 229-3). * ICE’09 <http://ice09.dimi.uniud.it/> August 31, 2009 in Bologna, Italy, co-located with CONCUR’09. The post-proceedings were published in EPTCS (vol. 12) and selected papers appeared in a joint special issue of MSCS (with EXPRESS’09 and SOS’09, Vol. 22, Number 2). * ICE’10 <http://www.artist-embedded.org/artist/-ICE-10-.html> June 10, 2010 in Amsterdam, The Netherlands, co-located with DisCoTec’10. The post-proceedings were published in EPTCS (vol. 38) and selected papers appeared in a joint special issue of SACS (with CAMPUS’10 and CS2BIO’10, Vol. XXI). * ICE’11 <http://www.artist-embedded.org/artist/-ICE-2011-.html>, June 9, 2011 in Reykjavik, Iceland, co-located with DisCoTec’11. The post-proceedings were published in EPTCS (vol. 59) and selected papers appeared in a special issue of SACS (Vol. XXII). * ICE’12 <http://www.artist-embedded.org/artist/Overview,2429.html>, June 16, 2012 in Stockholm, Sweden, co-located with DisCoTec’12. The post-proceedings were published in EPTCS (vol. 104) and selected papers appeared in a special issue of SCP (vol. 100). * ICE’13 <http://2013.discotec.org/workshops/ice2013/>, June 6, 2013 in Florence, Italy, co-located with DisCoTec’13. The post-proceedings were published in EPTCS (vol. 131) and selected papers appeared in a special issue of SCP (vol. 109). * ICE’14 <http://www.discotec2014.tu-berlin.de/workshops/ice-2014>, J
[TYPES/announce] CfP: 12th Interaction and Concurrency Experience (ICE 2019)
mitted, 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. Submissions must be made electronically in PDF format via EasyChair <https://easychair.org/conferences/?conf=ice20190>. 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 <http://eptcs.org/>. 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 below. Invited speakers * Dilian Gurov (KTH, SE) * Fritz Henglein (Deon Digital and University of Copenhagen, DK) Programme Committee * Aimée Borda (Trinity College Dublin, IE) * Matteo Cimini (University of Massachusetts Lowell, USA) * Corina Cirstea (University of Southampton, UK) * Ornela Dardha (University of Glasgow, UK) * Simon Fowler (University of Edinburgh, UK) * Svetlana Jakšić (Western Norway University of Applied Sciences, NO) * Ivan Lanese (University of Bologna, IT) * Julien Lange (University of Kent, UK) * Hugo-Andrés López (IT University of Copenhagen and DCR Solutions, DK) * Claudio Antares Mezzina (University of Leicester, UK) * Maurizio Murgia (University of Cagliari, IT) * Kristin Peters (TU Berlin, DE) * Matteo Sammartino (University College London, UK) * Emmanouela Stachtiari (Aristotle University of Thessaloniki, GR) * Silvia Lizeth Tapia Tarifa (University of Oslo, NO) * Hugo Torres Vieira (IMT Lucca, IT) * Johannes Åman Pohjola (Data61/CSIRO, AU) ICEcreamers * Massimo Bartoletti (University of Cagliari, IT) * Ludovic Henrio (CNRS, LIP, Lyon, FR) * Anastasia Mavridou (NASA Ames, USA) * Alceste Scalas (Aston University, UK) Steering Committee * Simon Bliudze (Inria Lille - Nord Europe, FR) * Filippo Bonchi (University of Pisa, IT) * Roberto Bruni (University of Pisa, IT) * Alexandra Silva (University College London, UK) * Paola Spoletini (Kennesaw State University, USA) * Emilio Tuosto (University of Leicester, UK) Previous editions The previous ten editions of ICE have been held on * ICE’08 <http://ice08.dimi.uniud.it/>, July 6, 2008 in Reykjavik, Iceland, co-located with ICALP’08. The post-proceedings were published in ENTCS (vol. 229-3). * ICE’09 <http://ice09.dimi.uniud.it/> August 31, 2009 in Bologna, Italy, co-located with CONCUR’09. The post-proceedings were published in EPTCS (vol. 12) and selected papers appeared in a joint special issue of MSCS (with EXPRESS’09 and SOS’09, Vol. 22, Number 2). * ICE’10 <http://www.artist-embedded.org/artist/-ICE-10-.html> June 10, 2010 in Amsterdam, The Netherlands, co-located with DisCoTec’10. The post-proceedings were published in EPTCS (vol. 38) and selected papers appeared in a joint special issue of SACS (with CAMPUS’10 and CS2BIO’10, Vol. XXI). * ICE’11 <http://www.artist-embedded.org/artist/-ICE-2011-.html>, June 9, 2011 in Reykjavik, Iceland, co-located with DisCoTec’11. The post-proceedings were published in EPTCS (vol. 59) and selected papers appeared in a special issue of SACS (Vol. XXII). * ICE’12 <http://www.artist-embedded.org/artist/Overview,2429.html>, June 16, 2012 in Stockholm, Sweden, co-located with DisCoTec’12. The post-proceedings were published in EPTCS (vol. 104) and selected papers appeared in a special issue of SCP (vol. 100). * ICE’13 <http://2013.discotec.org/workshops/ice2013/>, June 6, 2013 in Florence, Italy, co-located with DisCoTec’13. The post-proceedings were published in EPTCS (vol. 131) and selected papers appeared in a special issue of SCP (vol. 109). * ICE’14 <http://www.discotec2014.tu-berlin.de/workshops/ice-2014>, June 6, 2014 in Berlin, Germany, co-located with DisCoTec’14. The post-proceedings were published in EPTCS (vol. 166) and selected papers appeared in a special issue of JLAMP (Vol. 85, Number 3). * ICE’15 <http://discotec2015.inria.fr/workshops/ice-2015/>, June 4-5, 2015 in Grenoble, France, co-located with DisCoTec’15. The post-proceedings were published in EPTCS (vol. 189) and selected papers appeared in a special issue of JLAMP (Vol.