- Haskell - Haskell.org

CFW: The 13th International Conference on Ambient Systems, Networks and Technologies (ANT-2022)
by Yazan Mualla 13 Sep '21

13 Sep '21

Call For Workshops CFW: The 13th International Conference on Ambient Systems, Networks and Technologies (ANT-2022) Porto, Portugal March 22 - 25, 2022 http://cs-conferences.acadiau.ca/ant-22/ Important Dates - Workshops Proposals Due: October 1, 2021 ANT-2022 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of ANT-2022 and its related areas. Proceeding All papers accepted for workshops will be included in the ANT-2022 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2022 Website. The number of pages for workshop papers is limited to 6 pages. Proposal Format - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft call for paper of the workshop - Tentative list of TPC members Workshops Chair - Prof. Dr. Stephane Galland, UTBM, France (Email: stephane.galland(a)utbm.fr)

1 0

CFW: The 5th International Conference on Emerging Data and Industry 4.0 (EDI40)
by Yazan Mualla 13 Sep '21

13 Sep '21

Call For Workshops The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal March 22 - 25, 2022 http://cs-conferences.acadiau.ca/edi40-22/ Important Dates - Workshops Proposals Due: October 1, 2021 EDI40-2022 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of EDI40-2022 and its related areas. Proceeding All papers accepted for workshops will be included in the EDI40-2022 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in EDI40-2022 Website. The number of pages for workshop papers is limited to 6 pages. Proposal Format - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft call for paper of the workshop - Tentative list of TPC members Workshops Chair - Prof. Dr. Stephane Galland, UTBM, France (Email: stephane.galland(a)utbm.fr)

1 0

[CfP]: 13th International Conference on Ambient Systems, Networks and Technologies (ANT) Porto, Portugal, March 22-25, 2022
by Aneta Poniszewska-Marańda I72 09 Sep '21

09 Sep '21

*************************************************************************** The 13th International Conference on Ambient Systems, Networks and Technologies (ANT) Porto, Portugal March 22-25, 2022 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/ant-22/ Workshops: http://cs-conferences.acadiau.ca/ant-22/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-22/#tutorial Important Dates - Workshops Proposals Due: October 1, 2021 - Paper Submission Due: November 1, 2021 - Acceptance Notification: December 30, 2021 - Camera-Ready Submission: January 27, 2022 ANT 2022 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier (https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2022 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognized as a global city. ANT 2022 will be held in conjunction with the 5th International Conference on Emerging Data and Industry 4.0 (EDI40). Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modelling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track Committees General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB Hasselt University, Belgium Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Vice Chairs Muhammad Adnan, Hasselt University Belgium Nik Bessis, Edge Hill University, UK Azedine Boulmakoul, Hassan II University, Morocco Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Metiers, France Stefano Cresci, National Research Council, Italy Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Elsayed Mohamed Abdelkareem Elalfy, KFUPM, Saudi Arabia Redha Khedri, McMaster University, Canada Faouzi Kammoun, Ecole Superieure Privee d'Ingenierie et de Technologies, Tunis Bouabdellah Kechar, Oran 1 Ahmed BenBella University, Algeria Natalia Kryvinska, University of Vienna, Austria Flavio Lombardi, Roma Tre University of Rome, Italy Vuk Marojevic, Mississippi State University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Cristina Seceleanu, Malardalen University, Sweden Miguel Sepulcre, Miguel Hernandez University of Elche, Spain Khaled Shaaban, University of Central Florida, USA Javid Taheri, Karlstad University, Sweden Publicity Chairs Hana Gharrad, Hasselt University, Belgium Siddardha Kaja, Acadia University, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair Haroon Malik, Marshall University, USA Michael Sheng, Macquarie University, Australia Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ibad Kureshi, Inlecomm Systems, Belgium Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-22/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada ________________________________ [Politechnika Łódzka / Lodz University of Technology] [Facebook] <https://www.facebook.com/Politechnika.Lodzka/> [Twitter] <https://twitter.com/p_lodz_pl> [Youtube] <https://www.youtube.com/channel/UCbBnxpxg1DbSrIBwvebJghg> [Linkedin] <https://www.linkedin.com/school/politechnika-łódzka/> ________________________________ Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

1 0

[CfP]: 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal, March 22-25, 2022
by Aneta Poniszewska-Marańda I72 09 Sep '21

09 Sep '21

*************************************************************************** The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal March 22-25, 2022 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-22/ Workshops: http://cs-conferences.acadiau.ca/EDI40-22/#workshop Important Dates - Workshops Proposals Due: October 1, 2021 - Paper Submission Due: November 1, 2021 - Acceptance Notification: December 30, 2021 - Camera-Ready Submission: January 27, 2022 EDI40 2022 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier (https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2022 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognized as a global city. EDI40 will be held in conjunction with the 13th International Conference on Ambient Systems, Networks and Technologies (ANT 2022). Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Faouzi Kammoun, Ecole Suprieure Prive d'Ingenierie et de Technologies, Tunis Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Shashank Swarup, Acadia University, Canada Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-22/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada ________________________________ [Politechnika Łódzka / Lodz University of Technology] [Facebook] <https://www.facebook.com/Politechnika.Lodzka/> [Twitter] <https://twitter.com/p_lodz_pl> [Youtube] <https://www.youtube.com/channel/UCbBnxpxg1DbSrIBwvebJghg> [Linkedin] <https://www.linkedin.com/school/politechnika-łódzka/> ________________________________ Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

1 0

[CFP]11th Int. Conf. on Sensor Networks :: Submission Deadline - 14th of September
by calendarsites＠insticc.org 09 Sep '21

09 Sep '21

CALL FOR PAPERS 11th International Conference on Sensor Networks **Submission Deadline: September 14, 2021** http://www.sensornets.org February 07 - 08, 2022 Online Streaming Dear Colleagues, Given the uncertainties of the current international situation, including constraints on traveling, logging and large gatherings we have decided to convert the conference completely into a web-based event. As a consequence of this change, we have strongly reduced the registration fees so we would like to invite you to contribute and submit your original research paper to SENSORNETS 2022. This conference intends to be the meeting point of researchers and practitioners to share experiences and ideas on innovative developments in any aspect of sensor networks, including Hardware of Sensor Networks, Wireless Communication Protocols, Sensor Networks Software and Architectures, Wireless Information Networks, Data Manipulation, Signal Processing, Localization and Object Tracking through Sensor Networks, Machine Learning in sensor networks leading to resource optimizations and many Applications. Conference Chair(s) Nirwan Ansari, New Jersey Institute of Technology, United States César Benavente-Peces, Universidad Politécnica de Madrid, Spain Program Chair(s) RangaRao Venkatesha Prasad, Delft University of Technology, Netherlands Dirk Pesch, University College Cork, Ireland With the presence of internationally distinguished keynote speakers: Luca Mottola, Politecnico di Milano, Italy Biplab Sikdar, University of Singapore, Singapore Proceedings will be submitted for indexation by: SCOPUS, Google Scholar, The DBLP Computer Science Bibliography, Semantic Scholar, Microsoft Academic, Engineering Index (EI), Web of Science / Conference Proceedings Citation Index. A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer in a CCIS Series book. All papers presented at the conference venue will also be available at the SCITEPRESS Digital Library. Kind regards, Monica Saramago SENSORNETS Secretariat Web: http://www.sensornets.org e-mail: sensornets.secretariat(a)insticc.org

1 0

30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021
by Andrei Popescu 08 Sep '21

08 Sep '21

Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield. The goal is to perform research in one of the following areas: 1. Formal modelling and verification of security properties for digital twins. This involves the design and development of theoretical mathematical models and the use of proof assistants, automated theorem provers, model checkers or related tools to formalize and verify properties of these models. 2. Fine-grained access control system for mission-critical digital twins. This involves the design and development of an advanced access control policy and the usage of security models and public key cryptography (such as CCA) to build proofs of concept in enhancing the security of digital twins. Closing date for applications: 23 Sept. 2021 Starting date: 7 Oct. 2021 or later Duration: 30 months Salary: £32,344 Applications can be made by going to this page https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG… and clicking on the "Apply" link. The "About the job" link contains more details about the position. I am happy to answer any informal inquiries. Best wishes, Andrei

1 0

Call for Contributions: WITS 2022
by Jesper Cockx 06 Sep '21

06 Sep '21

---------------------------------------------------------------------- CALL FOR CONTRIBUTIONS 1st Workshop on the Implementation of Type Systems WITS 2022 January 22, 2022 Philadelphia, PA, USA https://popl22.sigplan.org/home/wits-2022 ---------------------------------------------------------------------- WITS 2022 is the first Workshop on the Implementation of Type Systems. The workshop will be held on January 22, 2022, in Philadelphia, PA, United States, co-located with POPL. The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The main focus is on the practical issues that come up in the implementation of these systems, rather than the theoretical frameworks that underlie them. In particular, we want to encourage exchanging ideas between the communities around specific systems that would otherwise be accessible to only a very select group. Given the importance of collaboration among the attendees at WITS, if circumstances around covid-19 force POPL (and its co-located events) to go virtual, WITS will be deferred until a time when we can come together safely in person. The workshop will have a mix of invited and contributed talks, organized discussion times, and informal collaboration time. *Scope* We invite participants to share their experiences, study differences among the implementations, and generalize lessons from those. We also want to promote the creation of a shared vocabulary and set of best practices for implementing type systems. Here are a few examples of topics we are interested to discuss: * syntax with binders and substitution * conversion modulo beta and eta * implicit arguments and metavariables * unification and constraint solving * metaprogramming and tactic languages * editor integration and automation * discoverability of language features * pretty printing and error messages This list is not exhaustive, so please contact the PC chairs in case you are unsure if a topic falls within the scope of the workshop. *Submissions* WITS solicits two kinds of submissions: * Contributed talks on the basis of an abstract. This can be on recently published or submitted work, work in progress, or even a project that is still in the idea phase. * Proposals for roundtable discussions. This can be on any topic within the scope of the workshop, but should have a broader scope than a contributed talk. If accepted, you will be in charge of leading a discussion of 45 minutes around the proposed topic together with other interested attendees. Both kinds of proposals should be accompanied by an abstract of max. 1 page (exclusive of references), formatted according to the guidelines for SIGPLAN conferences: use the `sigplan` option to the `acmart` LaTeX document class. WITS will have no published proceedings, so submitting to WITS does not interfere with submission (before, after, or simultaneously) with other venues. Submissions are handled via https://wits22.hotcrp.com/. *Important Dates* - Abstract submission deadline: 16 November, 2021 (AoE) - Notification: 1 December, 2021 (AoE) - Workshop in Philadelphia: 22 January, 2022 *Attendance and registration* WITS 2022 is colocated with POPL 2022 in Philadelphia, USA. More information on registration and attendance will be announced later. *Program Committee* William J. Bowman, U. of British Columbia, Canada Jesper Cockx, TU Delft, Netherlands (co-chair) Leonardo de Moura, Microsoft Research, USA Richard A. Eisenberg, Tweag, USA (co-chair) András Kovács, Eotvos Lorand U., Hungary Pierre-Marie Pédrot, INRIA, France Aaron Stump, U. of Iowa, USA Niki Vazou, IMDEA, Spain

1 0

IFL'21 final call for participation
by Pieter Koopman 30 Aug '21

30 Aug '21

================================================================================ IFL 2021 33rd Symposium on Implementation and Application of Functional Languages venue: online 1 - 3 September 2021 https://ifl21.cs.ru.nl <https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpm…> *Registration* *Registration is **free of charge, but required for participation!* We will mail the zoom link only to registered participants. Use the below link to register for IFL 2021: https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8of… <https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpm…> *Program* The program is now available at https://ifl21.cs.ru.nl/Program <https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpm…> . *Scope* The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2021 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. *Organisation* IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands *PC* Peter Achten (co-chair) - Radboud University, Netherlands Thomas van Binsbergen - University of Amsterdam, Netherlands Edwin Brady - University of St. Andrews, Scotland Laura Castro - University of A Coruña, Spain Youyou Cong - Tokyo Institute of Technology, Japan Olaf Chitil - University of Kent, England Andy Gill - University of Kansas, USA Clemens Grelck - University of Amsterdam, Netherlands John Hughes - Chalmers University, Sweden Pieter Koopman (co-chair) - Radboud University, Netherlands Cynthia Kop - Radboud University, Netherlands Jay McCarthey - University of Massachussetts Lowell, USA Neil Mitchell - Facebook, England Jan De Muijnck-Hughes - Glasgow University, Scotland Keiko Nakata - SAP Innovation Center Potsdam, Germany Jurriën Stutterheim - Standard Chartered, Singapore Simon Thompson - University of Kent, England Melinda Tóth - Eötvos Loránd University, Hungary Phil Trinder - Glasgow University, Scotland Meng Wang - University of Bristol, England Viktória Zsók - Eötvos Loránd University, Hungary [image: beacon]

1 0

Research Assistant/Associate at Department of Computing, Imperial College London
by Francisco Ferreira 26 Aug '21

26 Aug '21

Department of Computing, Imperial College London Research Assistant/Associate Position (Full Time) 36,394 GBP to 49,210 GBP per annum Reference: Fixed-term: 3 years Starting date: as soon as possible Closing Date: 16th September 2021 The Research Assistant will work under the EPSRC Established Career Fellowship Project, POST: Protocols, Observabilities and Session Types and/or other EPSRC projects (see below). Please contact with Nobuko Yoshida (n.yoshida(a)imperial.ac.uk) Imperial College London if you would like to apply to the position to have informal discussions. Details: https://www.imperial.ac.uk/jobs/description/ENG01832/research-assistant-ass… ------------------------------------------------------------ The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to case studies; or developing the links between session types and other areas of theoretical computer science. The research programme includes collaboration with several companies and organisations. Candidates for the post-doc position will need to have expertise in either: 1. programming language design and implementation; or 2. formal semantics, type theory and concurrency theory Different positions will be suitable for different points on the theory/practice spectrum. We are especially interested in candidates with a combination of theoretical and practical skills. For more details, see http://mrg.doc.ic.ac.uk. The focus of Imperial College London Group is theories and applications of session types which include: -- Go, Rust, TypeScript, Scala, F*, F#, Haskell, OCaml, Java, Erland, MPI-C and Python; -- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc) (PLDI'21 Zooid, http://mrg.doc.ic.ac.uk/publications/zooid-paper/) -- session types theories, automata theories, game semantics, linear logic; and -- other applications such as blockchains and robotics The candidate will work on POST and/or other related projects -- Stardust (https://epsrc-stardust.github.io/) -- AppControl (https://dsbd-appcontrol.github.io/people.html) The candidate is welcome to discuss the details about the above project(s) with the contact person: Professor Nobuko Yoshida, Imperial College London (n.yoshida(a)imperial.ac.uk)

1 0

Research Assistant/Associate at Department of Computing, Imperial College London
by Barwell, Adam D 26 Aug '21

26 Aug '21

Department of Computing, Imperial College London Research Assistant/Associate Position (Full Time) 36,394 GBP to 49,210 GBP per annum Reference: Fixed-term: 3 years Starting date: as soon as possible Closing Date: 16th September 2021 The Research Assistant will work under the EPSRC Established Career Fellowship Project, POST: Protocols, Observabilities and Session Types and/or other EPSRC projects (see below). Please contact with Nobuko Yoshida (n.yoshida(a)imperial.ac.uk) Imperial College London if you would like to apply to the position to have informal discussions. Details: https://www.imperial.ac.uk/jobs/description/ENG01832/research-assistant-ass… ------------------------------------------------------------ The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to case studies; or developing the links between session types and other areas of theoretical computer science. The research programme includes collaboration with several companies and organisations. Candidates for the post-doc position will need to have expertise in either: 1. programming language design and implementation; or 2. formal semantics, type theory and concurrency theory Different positions will be suitable for different points on the theory/practice spectrum. We are especially interested in candidates with a combination of theoretical and practical skills. For more details, see http://mrg.doc.ic.ac.uk. The focus of Imperial College London Group is theories and applications of session types which include: -- Go, Rust, TypeScript, Scala, F*, F#, Haskell, OCaml, Java, MPI-C and Python; -- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc) (PLDI'21 Zooid, http://mrg.doc.ic.ac.uk/publications/zooid-paper/) -- session types theories, automata theories, game semantics, linear logic; and -- other applications such as blockchains and robotics The candidate will work on POST and/or other related projects -- Stardust (https://epsrc-stardust.github.io/) -- AppControl (https://dsbd-appcontrol.github.io/people.html) The candidate is welcome to discuss the details about the above project(s) with the contact person: Professor Nobuko Yoshida, Imperial College London (n.yoshida(a)imperial.ac.uk)

1 0