From J.G.H.Cockx at tudelft.nl Mon Sep 6 15:27:21 2021 From: J.G.H.Cockx at tudelft.nl (Jesper Cockx) Date: Mon, 6 Sep 2021 15:27:21 +0000 Subject: [Haskell] Call for Contributions: WITS 2022 Message-ID: <32006828531c4d48a02af617cd28d9a2@tudelft.nl> ---------------------------------------------------------------------- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei.h.popescu at gmail.com Wed Sep 8 07:00:00 2021 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Wed, 8 Sep 2021 08:00:00 +0100 Subject: [Haskell] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021 Message-ID: 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=cG9zdF9pbnN0X2d1aWQ9NjEyNzRBN0Y2QjU4M0VEMUUxMDAwMDAwQUMxRTg4NzgmY2FuZF90eXBlPUVYVA%3d%3d&sap-client=400&sap-language=EN&sap-accessibility=X&sap-ep-themeroot=%2fSAP%2fPUBLIC%2fBC%2fUR%2fuos# 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 From calendarsites at insticc.org Thu Sep 9 09:21:34 2021 From: calendarsites at insticc.org (calendarsites at insticc.org) Date: Thu, 9 Sep 2021 10:21:34 +0100 Subject: [Haskell] [CFP]11th Int. Conf. on Sensor Networks :: Submission Deadline - 14th of September Message-ID: <006c01d7a55c$1732f9f0$4598edd0$@insticc.org> 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 at insticc.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Thu Sep 9 22:54:36 2021 From: aneta.poniszewska-maranda at p.lodz.pl (=?iso-8859-2?Q?Aneta_Poniszewska-Mara=F1da_I72?=) Date: Thu, 9 Sep 2021 22:54:36 +0000 Subject: [Haskell] [CfP]: 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal, March 22-25, 2022 Message-ID: *************************************************************************** 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-practice/) - 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] [Twitter] [Youtube] [Linkedin] ________________________________ 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Thu Sep 9 23:18:32 2021 From: aneta.poniszewska-maranda at p.lodz.pl (=?iso-8859-2?Q?Aneta_Poniszewska-Mara=F1da_I72?=) Date: Thu, 9 Sep 2021 23:18:32 +0000 Subject: [Haskell] [CfP]: 13th International Conference on Ambient Systems, Networks and Technologies (ANT) Porto, Portugal, March 22-25, 2022 Message-ID: *************************************************************************** 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-practice/) - 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] [Twitter] [Youtube] [Linkedin] ________________________________ 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Mon Sep 13 10:37:07 2021 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 13 Sep 2021 12:37:07 +0200 (CEST) Subject: [Haskell] CFW: The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Message-ID: <926557431.16735719.1631529427719.JavaMail.zimbra@utbm.fr> 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 at utbm.fr) -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Mon Sep 13 10:37:35 2021 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 13 Sep 2021 12:37:35 +0200 (CEST) Subject: [Haskell] CFW: The 13th International Conference on Ambient Systems, Networks and Technologies (ANT-2022) Message-ID: <549205920.16736883.1631529455174.JavaMail.zimbra@utbm.fr> 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 at utbm.fr) -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Mon Sep 13 10:38:08 2021 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 13 Sep 2021 12:38:08 +0200 (CEST) Subject: [Haskell] CFP: The 6th International Workshop on Agent-based Modeling and Applications with SARL (SARL-22) Message-ID: <1719944734.16737692.1631529488889.JavaMail.zimbra@utbm.fr> Call For Papers CFP: The 6th International Workshop on Agent-based Modeling and Applications with SARL (SARL-22) ------------------------------------------------------------------------------------------- In conjunction with the 13th International Conference on Ambient Systems, Networks, and Technologies ANT 2022 March 22 - 25, 2022, Porto, Portugal. http://www.ciad-lab.fr/the-6th-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-22/ ------------------------------------------------------------------------------------------- Description =========== Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. SARL-22 provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. SARL workshop was born with the SARL agent programming language, but the scientific results presented in SARL-22 are not restricted to SARL; other languages and agent platforms may be presented. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration. These high-level features are now considered as the major requirements for easy and practical implementation of modern complex software applications. We are convinced that the agent-oriented paradigm holds the keys to effectively meet these features. Considering the variety of existing approaches and meta-models in the field of agent-oriented engineering and more generally multi-agent systems, our approach remains as generic as possible and highly extensible to easily integrate new concepts and features. The goal of SARL-22 is to provide a place where the different points of view on the modeling and the simulation with agent platforms and agent programming languages may be discussed. SARL-22 will be held in Porto, Portugal (March 22 - 25, 2022) in conjunction with the 13th International Conference on Ambient Systems, Networks, and Technologies (ANT 2022). Topics ====== The main topics of the SARL-22 workshop are (but not restricted to): * Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. * Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: December 15, 2021; * Notification: December 30, 2021; * Final date for camera-ready copy: January 27, 2022; * Workshop: March 22 - 25, 2022. Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series online. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full-length papers in PDF format on EasyChair (https://www.easychair.org/conferences/?conf=sarl22), not exceeding 6 pages in length, in a single-column format including diagrams and references while following the Procedia Computer Science guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. All papers will be reviewed by at least two Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed above. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== -Stéphane GALLAND (Univ. de Technologie de Belfort-Montbéliard, France); -Sebastian RODRIGUEZ (RMIT, Australia). Publicity Chair ================ Yazan MUALLA (Univ. de Technologie de Belfort-Montbéliard, France). -------------- next part -------------- An HTML attachment was scrubbed... URL: From shashankmobispc at gmail.com Tue Sep 14 03:00:29 2021 From: shashankmobispc at gmail.com (Shashank Swarup) Date: Tue, 14 Sep 2021 00:00:29 -0300 Subject: [Haskell] The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal March 22-25, 2022 Message-ID: *************************************************************************** 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-practice/ ) - 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 Supérieure Privée d'Ingénierie et de Technologies, Tunis Aneta Poniszewska-MaraÅ„da, 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Tue Sep 14 03:18:04 2021 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Mon, 13 Sep 2021 23:18:04 -0400 Subject: [Haskell] The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal March 22-25, 2022 In-Reply-To: References: Message-ID: Can we please unsubscribe this person? Cheers, Ivan On Mon, 13 Sept 2021 at 23:02, Shashank Swarup wrote: > *************************************************************************** > 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-practice/ > ) > - 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 Supérieure Privée d'Ingénierie et de > Technologies, Tunis > Aneta Poniszewska-MaraÅ„da, 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 > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Tue Sep 14 06:56:56 2021 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 14 Sep 2021 01:56:56 -0500 Subject: [Haskell] [EDI40-2022] Call for workshop proposals: Conference on Emerging Data and Industry 4.0. Porto, Portugal (March 22-25, 2022) Message-ID: *************************************************************************** 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-practice/) - 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 Supérieure Privée d'Ingénierie et de Technologies, Tunis Aneta Poniszewska-MaraÅ„da, 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 Sent via Mail Merge for Gmail -------------- next part -------------- An HTML attachment was scrubbed... URL: From jonathan.protzenko at gmail.com Tue Sep 14 20:48:04 2021 From: jonathan.protzenko at gmail.com (Jonathan Protzenko) Date: Tue, 14 Sep 2021 13:48:04 -0700 Subject: [Haskell] Call for Presentations: PriSC 2022 @ POPL 2022 Message-ID: <46c0b5ce-a423-94d0-cefc-50773e137d03@gmail.com> Apologies if you're getting this email multiple times. All details are on the PriSC site . ================================================ Call for Presentations: PriSC 2022 @ POPL 2022 ================================================ The emerging field of secure compilation aims to preserve security properties of programs when they have been compiled to low-level languages such as assembly, where high-level abstractions don’t exist, and unsafe, unexpected interactions with libraries, other programs, the operating system and even the hardware are possible. For unsafe source languages like C, secure compilation requires careful handling of undefined source-language behavior (like buffer overflows and double frees). Formally, secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, thus enabling sound reasoning about security in the source language. A complementary goal is to keep the compiled code efficient, often leveraging new hardware security features and advances in compiler design. Other necessary components are identifying and formalizing properties that secure compilers must possess, devising efficient security mechanisms (both software and hardware), and developing effective verification and proof techniques. Research in the field thus puts together advances in compiler design, programming languages, systems security, verification, and computer architecture. 6th Workshop on Principles of Secure Compilation (PriSC 2022) ============================================================= The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings. The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges.  The 6th edition of PriSC will be held on January 22, together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022. We hope to hold the workshop in person with for support for dial-in attendees. Important Dates =============== * Thu 28 Oct 2021: Submission Deadline * Thu 18 Nov 2021: Acceptance Notification * Sat 22 Jan 2022: Workshop Presentation Proposals and Attending the Workshop ================================================= Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below) covering past, ongoing, or future work. Any topic that could be of interest to secure compilation is in scope. Secure compilation should be interpreted very broadly to include any work in security, programming languages, architecture, systems or their combination that can be leveraged to preserve security properties of programs when they are compiled or to eliminate low-level vulnerabilities.  Presentations that provide a useful outside view or challenge the community are also welcome. This includes presentations on new attack vectors such as microarchitectural side-channels, whose defenses could benefit from compiler techniques. Specific topics of interest include but are not limited to: * Attacker models for secure compiler chains. * Secure compiler properties: fully abstract compilation and similar properties, memory safety, control-flow integrity, preservation of safety, information flow and other (hyper-)properties against adversarial contexts, secure multi-language interoperability. * Secure interaction between different programming languages: foreign function interfaces, gradual types, securely combining different memory management strategies. * Enforcement mechanisms and low-level security primitives: static checking, program verification, typed assembly languages, reference monitoring, program rewriting, software-based isolation/hiding techniques (SFI, crypto-based, randomization-based, OS/hypervisor-based), security-oriented architectural features such as Intel’s SGX, MPX and MPK, capability machines, side-channel defenses, object capabilities. * Experimental evaluation and applications of secure compilers. * Proof methods relevant to compilation: (bi)simulation, logical relations, game semantics, trace semantics, multi-language semantics, embedded interpreters. * Formal verification of secure compilation chains (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing. Guidelines for Submitting Extended Abstracts ============================================ Extended abstracts should be submitted in PDF format and not exceed 2 pages (references not including). They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new acmart LaTeX style in sigplan mode. Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Submission website: https://prisc22.hotcrp.com/ Program Committee ================= Owen Arden, UC Santa Cruz Arthur Azevedo de Amorim, Carnegie Mellon University Iulia Bastys, Chalmers University of Technology Roberto Blanco, Max Planck Institute for Security and Privacy Tegan Brennan, Stevens Institute of Technology Matteo Busi, Università di Pisa - Dipartimento di Informatica Sunjay Cauligi, University of California at San Diego Marco Guarnieri, IMDEA Software Institute (co-chair) Armaël Guéneau, Aarhus University Johannes Kinder, Bundeswehr University Munich Adrien Koutsos, INRIA Paris Elisavet Kozyri, Arctic University of Norway Scott Moore, Galois Toby Murray, University of Melbourne Andrew C. Myers, Cornell University David Pichardie, Facebook Jonathan Protzenko, Microsoft Research (co-chair) Christine Rizkallah, UNSW Sydney Zhong Shao, Yale University Éric Tanter, University of Chile Danfeng Zhang, Pennsylvania State University Contact and More Information ============================ You can find more information on the workshop website: https://popl22.sigplan.org/home/prisc-2022 For questions please contact the workshop chairs, Jonathan Protzenko and Marco Guarnieri . From pangjun at gmail.com Wed Sep 15 11:47:26 2021 From: pangjun at gmail.com (Jun PANG) Date: Wed, 15 Sep 2021 13:47:26 +0200 Subject: [Haskell] Doctoral Symposium at FM 2021: Call for Research Abstracts In-Reply-To: References: Message-ID: Doctoral Symposium at FM 2021 ============================ Call for Research Abstracts --------------------------- (See also: https://lcs.ios.ac.cn/fm2021/doctoral-symposim/) A Doctoral Symposium will be held in conjunction with the 24th International Symposium on Formal Methods (FM 2021), 20-26 November. The hosting institution of FM 2021 is the Institute of Software, Chinese Academy of Sciences, Beijing, China. Just like the entire FM, the Doctoral Symposium will be held as an online event. Doctoral Symposium Chairs ------------------------- - Wolfgang Ahrendt, Chalmers University of Technology, Gothenburg, Sweden - Ji Wang, National University of Defence Technology, Changsha, China Goals and Scope --------------- This symposium aims to provide a supportive environment in which selected PhD students can present and discuss their ongoing work, meet other students working in the field of formal methods, and receive feedback and advice from experienced researchers. In addition to talks followed by discussions, the event will also provide opportunities for PhD students to meet senior academics in smaller groupings, to informally discuss research strategies, career aspects, or any other topic of interest. If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant of the Doctoral Symposium. There will be a best presentation award. Invited Speaker --------------- - Erika Abraham, RWTH Aachen University, Aachen, Germany Research Abstracts ------------------ Research Abstracts should be no more than 4 pages in Springer LNCS format. Your Research Abstract should: - Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution. - Contain a very brief literature survey indicating the most important references related to: 1) the problem being addressed and/or 2) existing solutions as appropriate - Indicate your progress to date and the current stage of research. The Research Abstract should be written by yourself as sole author, but may include references to relevant papers you have already published, including joint publications with collaborators. How to Submit ------------- Please upload your Research Abstract via the Easy Chair submission page: https://easychair.org/conferences/?conf=dsfm2021 Important Dates: - Submission deadline: October 4th, 2021 - Notification: October 22nd, 2021 From cong at c.titech.ac.jp Wed Sep 22 12:00:00 2021 From: cong at c.titech.ac.jp (Youyou Cong) Date: Wed, 22 Sep 2021 21:00:00 +0900 Subject: [Haskell] PEPM 2022 - Second Call for Papers Message-ID: -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022 =============================================================================== * Website : https://popl22.sigplan.org/home/pepm-2022 * Time : 17th--18th January 2022 * Place : Online or Philadelphia, Pennsylvania, United States (co-located with POPL 2022) ** Deadline: 7th October ** ** Update: We are organizing a special event on the history of PEPM. Details will be posted on the workshop website. ** The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been co-located with POPL every year since 2006. It originated with the discoveries of useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subjects to black-box execution but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2022 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2022 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Zena M. Ariola and Youyou Cong . Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. References and appendices are not included in page limits. Appendices may not be read by reviewers. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm22.hotcrp.com/ Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers do not constitute formal publications and will not appear in the proceedings. At least one author of each accepted contribution must attend the workshop (physically or virtually) and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Important dates --------------- * Paper submission deadline : **Thursday 7th October 2021 (AoE)** * Author notification : **Thursday 11th November 2021 (AoE)** * Workshop : **Monday 17th January 2022 to Tuesday 18th January 2022** Best paper award ---------------- PEPM 2022 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Programme committee ------------------- * Chairs: Zena M. Ariola (University of Oregon, US) Youyou Cong (Tokyo Institute of Technology, Japan) * Maria Alpuente (U.P. Valencia, Spain) * William J. Bowman (UBC, Canada) * Jonathan Immanuel Brachthäuser (EPFL, Switzerland) * William E. Byrd (University of Alabama at Birmingham, US) * Robert Glück (University of Copenhagen, Denmark) * Zhenjiang Hu (Peking University, China) * Yukiyoshi Kameyama (University of Tsukuba, Japan) * Gabriele Keller (Utrecht University, Netherlands) * Julia Lawall (INRIA, France) * Y. Annie Liu (Stony Brook University, US) * Keiko Nakata (SAP Innovation Center Potsdam, Germany) * Antonina Nepeivoda (Program Systems Institute of RAS, Russia) * Zoe Paraskevopoulou (Northeastern University, US) * Yann Régis-Gianas (Nomadic Labs, France) * Tiark Rompf (Purdue University, US) * KC Sivaramakrishnan (IIT Madras, India) * Dimitrios Vytiniotis (DeepMind, UK) * Beta Ziliani (FAMAF, UNC and Manas.Tech, Argentina) -------------- next part -------------- An HTML attachment was scrubbed... URL: From james.cheney at gmail.com Wed Sep 22 14:47:33 2021 From: james.cheney at gmail.com (James Cheney) Date: Wed, 22 Sep 2021 15:47:33 +0100 Subject: [Haskell] Second Call for Papers: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) Message-ID: === Second Call for Papers === 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) Philadelphia, Pennsylvania, United States 17-18th January 2022 https://popl22.sigplan.org/home/PADL-2022 Co-located with POPL 2022 Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topic of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2022 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2022 welcomes three kinds of submission: * Technical papers (max. 15 pages) Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages) Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages) Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be formatted according to the standard Springer LNCS style. The conference proceedings of PADL2022 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs about the place in which it has previously appeared. PADL 2022 submissions are handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=padl2022. Important dates (tentative) --------------- Abstract submission: 1 October 2021 (AoE) Paper submission: 8 October 2021 Notification of acceptance: 5 November 2021 Symposium: 17-18th January 2022 COVID-19 -------- PADL is co-located with POPL, which will take place January 16-22, 2022, as a physical, virtual, or hybrid physical/virtual meeting. We will be monitoring the Covid-19 situation and will announce a decision on the nature of the meeting in time which will follow suit with POPL. Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming, and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should include roughly 30% more content including, for example, explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work and such like. Invited Speakers ---------------- PADL 2022 features two invited talks by: - Marcello Balduccini (https://www.sju.edu/faculty/marcello-balduccini/) - Shriram Krishnamurthi (https://cs.brown.edu/~sk/) Chairs ------ - James Cheney, University of Edinburgh - Simona Perri, University of Calabria Programme Committee ------------------- Andres Löh, WellTyped Chiaki Sakama, Wakayama University Daniela Inclezan, Miami University Ekaterina Komendantskaya, Heriot-Watt University Esra Erdem, Sabanci University Francesco Calimeri, University of Calabria Jan Christiansen, Flensburg University of Applied Sciences Konstantin Schekotihin, University of Klagenfurt Lionel Parreaux, Hong Kong University of Science and Technology Marco Maratea, University of Genova Marina De Vos, University of Bath Martin Erwig, Oregon State University Martin Gebser, University of Klagenfurt Michael Greenberg, Stevens Institute of Technology Paul Tarau, University of North Texas Pavan Kumar Chittimalli, TCS Research, India Pedro Cabalar, University of Corunna Roly Perera, The Alan Turing Institute Tomas Petricek, University of Kent Torsten Grust, University of Tübingen Tran Cao Son, New Mexico State University Yukiyoshi Kameyama, University of Tsukuba -------------- next part -------------- An HTML attachment was scrubbed... URL: From tarmo at cs.ioc.ee Sat Sep 25 00:57:37 2021 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Sat, 25 Sep 2021 03:57:37 +0300 Subject: [Haskell] ETAPS 2022 2nd joint call for papers Message-ID: <20210925035737.7d99d1bf@cs.ioc.ee> Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. - ETAPS has low participation fees for all and for students in particular. New in 2022: - Like FASE for several years already, ESOP will also use double-blind review this time. - FASE has a new paper category of new ideas and emerging results (NIER) papers. - The pre-paper-acceptance artifact submission deadline for TACAS is now a little later than the paper submission deadline. - ESOP and FASE welcome voluntary submission of artifacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision. - Among the satellite events, there is a PhD student mentoring workshop. ****************************************************************** JOINT CALL FOR PAPERS 25th European Joint Conferences on Theory and Practice of Software ETAPS 2022 Munich, Germany, 2-7 April 2022 https://etaps.org/2022 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair: Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore) * FASE: Fundamental Approaches to Software Engineering (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, and Manuel Wimmer, Johannes Kepler Universität Linz, Austria) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Patricia Bouyer, CNRS, LMF, France, and Lutz Schröder, FAU Erlangen-Nürnberg, Germany) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Dana Fisman, Ben-Gurion University of the Negev, Israel, and Grigore Rosu, University of Illinois at Urbana-Champaign, USA) TACAS '22 will host the 11th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Alexandra Silva (University College London, UK / Cornell University, USA) Tomáš Vojnar (Brno University of Technology, Czechia) * FoSSaCS invited speaker: Nathalie Bertrand (Inria Rennes, France) * TACAS invited speaker: Lenore Zuck (University of Illinois at Chicago, USA) * Tutorial speakers: Stacey Jeffery (CWI and QuSoft, The Netherlands) a further tutorial speaker tba -- IMPORTANT DATES * Paper submission (also, pre-paper-acceptance artifact registration (TACAS)): 14 October 2021 23:59 AoE * Pre-paper-acceptance artifact submission (TACAS): 4 November 2021 23:59 AoE * Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 2021 23:59 AoE * Paper notification: 23 December 2021 * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS): 5 January 2022 23:59 AoE * Paper final versions: 26 January 2022 * Artifact notification: 16 February 2022 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2022 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2022 as a hybrid conference; remote attendance and presentation will be possible. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is also forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. ESOP and FASE will use **double-blind reviewing**. Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgements that might identify them. ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use rebuttal for selected submissions (those in the gray zone). Artifact submission and evaluation Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact submitted shortly after the paper. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. For research paper and case study paper submissions, pre-paper-acceptance submission of an artifact is optional; if an artifact is submitted at this point, it will be handled like described above. Alternatively, authors of papers of these categories may submit an artifact for evaluation after the paper has been accepted. The outcome of the artifact evaluation will then not change the paper acceptance decision. ESOP and FASE will also have artifact evaluation, but participation in it is voluntary; the artifact submission deadline is after the paper notification deadline. The outcome will not alter the paper acceptance decision. For specific instructions regarding artifacts, see the webpages of the individual conferences. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- BEST PAPER AWARDS The strongest papers of the four conferences will be nominated for the ETAPS best paper awards of EAPLS, EASST and EATCS. The ETAPS test of time award recognizes outstanding papers published at ETAPS more than 10 years in the past. -- SATELLITE EVENTS (2-3 April) -- A number of satellite workshops and other events will take place before the main conferences: CMCS, COOP, HCVS, LiVe, MARS, MSFP, PLACES, QAVS, RRRR, Rust Workshop, SynCop, VerifyThis, VPT, WRLA Also in the satellite events program is a Mentoring Workshop. For closer information, check https://etaps.org/2022/workshops . -- CITY AND HOST INSTITUTION -- Munich, Germany, is the capital and most populous city of Bavaria. Nowadays, the city is a global center of art, science, technology, finance, publishing, culture, innovation, education, business, and tourism. It is home to Ludwig Maximilian's University (LMU) and Technische Universität München (TUM), many scientific institutions, and world-class technology and science museums such as Deutsches Museum and BMW Museum. Iconic places to visit in Munich include the Munich Residenz, Marienplatz, the Old Town Hall, the famous Glockenspiel on the New Town Hall, the Frauenkirche, the English Garden, the Olympic Park and Nymphenburg Palace. The conference will be hosted by Technische Universität München. -- ORGANIZERS -- General chair: Jan Křetínský (Technische Universität München, Germany) Workshops chair: Dirk Beyer (Ludwig-Maximilians Universität München, Germany) From mh at informatik.uni-kiel.de Sun Sep 26 11:20:54 2021 From: mh at informatik.uni-kiel.de (Michael Hanus) Date: Sun, 26 Sep 2021 13:20:54 +0200 (CEST) Subject: [Haskell] Call for Papers: FLOPS 2022 Message-ID: <20210926112054.74A6820091@lascombes.informatik.uni-kiel.de> ============================================================================ Call For Papers FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Kyoto, Japan https://conf.researchr.org/home/flops-2022 Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2022 will employ a double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors' own related work should be in the third person (e.g., not "We build on our previous work..." but rather "We build on the work of..."). The purpose of this process is to help the reviewers come to a judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2022 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). *** Important Dates *** Abstract submission: November 14, 2021 (AoE) Paper submission: November 21, 2021 (AoE) Notification: January 17, 2022 Camera ready due: February 17, 2022 Symposium: May 10-12, 2022 *** Program Comittee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Klaus Ostermann University of Tuebingen, Germany Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Harald Sondergaard University of Melbourne, Australia Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair) *** Contact Address *** flops2022 _AT_ easychair.org ------------------------------------------------------------------------------- From P.Achten at cs.ru.nl Mon Sep 27 11:58:29 2021 From: P.Achten at cs.ru.nl (Peter Achten) Date: Mon, 27 Sep 2021 13:58:29 +0200 Subject: [Haskell] [TFP'22] first call for papers: Trends in Functional Programming 2022, 10-11 February (with Lambda Days 2022 & TFPIE 2022) Message-ID: <3605895d-2dfe-7e4c-616a-abfd1ba47366@cs.ru.nl> ====== TFP 2022 ====== 23rd Symposium on Trends in Functional Programming 10-11 February, 2022 Krakow, Poland https://trendsfp.github.io/index.html == Important Dates == Submission deadline for pre-symposium review            Wednesday 1st December, 2021 Submission deadline for draft papers                    Wednesday 12th January, 2022 Notification for pre-symposium submissions              Friday 21st January, 2022 Notification for draft submissions                      Friday 21st January, 2022 Symposium dates                                         Thursday 10th - Friday 11th February, 2022 Submission deadline for post-symposium reviewing        Wednesday 16th March, 2022 Notification for post-symposium submissions             Friday 13rd May, 2022 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. Please be aware that TFP uses two distinct rounds of submissions. TFP 2022 will be co-located with two other functional programming events. TFP 2022 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on February 11. Simultaneously with TFP, Lambda Days '22 is a two day conference where academia meets industry, where research and practical application collide. == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: * Research Articles:   Leading-edge, previously unpublished research work * Position Articles:  On what new trends should or should not be * Project Articles:   Descriptions of recently started new projects * Evaluation Articles:   What lessons can be drawn from a finished project * Overview Articles:   Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: * Functional programming and multicore/manycore computing * Functional programming in the cloud * High performance functional computing * Extra-functional (behavioural) properties of functional programs * Dependently typed functional programming * Validation and verification of functional programs * Debugging and profiling for functional languages * Functional programming in different application areas:   security, mobility, telecommunications applications, embedded   systems, global computing, grids, etc. * Interoperability with imperative programming languages * Novel memory management techniques * Program analysis and transformation techniques * Empirical performance studies * Abstract/virtual machines and compilers for functional languages * (Embedded) domain specific languages * New implementation strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2022 program chairs, Wouter Swierstra and Nicolas Wu. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Instructions to Author == Papers must be submitted at:   https://easychair.org/conferences/?conf=tfp22 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. == Program Committee == Program Co-chairs Nicolas Wu - Imperial College London Wouter Swierstra - Utrecht University The remainder of the PC will be announced on the conference website.