From wadler at inf.ed.ac.uk Thu Sep 3 12:15:58 2020 From: wadler at inf.ed.ac.uk (Philip Wadler) Date: Thu, 3 Sep 2020 13:15:58 +0100 Subject: [Haskell] Haskell tutors required! Message-ID: Edinburgh is one of a few places in the world that teaches functional programming to first-year students, specifically Haskell. This year, our Haskell course for first-year's will be delivered remotely. Last year's class was 400 students, this year we expect more. In the past we've had trouble locating enough high-quality tutors. The unique situation offers us a new possibility: recruit tutors from elsewhere. Please get in touch if: (a) You might yourself be interested. (b) You know of folk who might be interested or could forward an announcement to a suitable mailing list. Informatics 1 - Introduction to Computation (INF1A/FP) Role: Tutor Description: Tutors required from week 1 to week 11 (Monday 21 September -- Friday 4 December) to assist in weekly one-hour ten-person tutorial sessions to review and mark solutions to exercises prepared by students in advance of the tutorial, to facilitate group work, and to answer questions about the material covered in the course. Tutors will be paid for 3 hours/week: 1 for preparation, 1 for marking, and 1 for the online tutorial session (£15.52/hour * 3 hours * 11 weeks). In the past, we have had trouble recruiting a sufficient number of capable tutors. This year, we will take advantage of remote delivery to recruit tutors from both within and without Edinburgh. Tutorials are expected to be on Thursdays and Fridays each week. Wadler will monitor tutorials, and expects to be in a position to write letters of recommendation after the course, if required. Skills: Good knowledge of functional programming, preferably in Haskell, and of basic finite state machines and propositional logic; such as might be had by a 3rd or 4th year undergraduate or a postgraduate student. Ability to communicate enthusiasm for the subject and encourage students new to university to engage in and contribute to tutorials. Tutors need to supply appropriate encouragement and support for all students, from those who are struggling to those who are coping easily and want to learn more. To apply: Send email to wadler at inf.ed.ac.uk. Include one paragraph on your background and why you would do a good job teaching the course. Please include any relevant documentation, such as a copy of your transcript. I look forward to hearing from you! Go well, -- P . \ Philip Wadler, Professor of Theoretical Computer Science, . /\ School of Informatics, University of Edinburgh . / \ and Senior Research Fellow, IOHK . http://homepages.inf.ed.ac.uk/wadler/ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: not available URL: From ksk at riec.tohoku.ac.jp Fri Sep 4 14:34:20 2020 From: ksk at riec.tohoku.ac.jp (Keisuke Nakano) Date: Fri, 4 Sep 2020 23:34:20 +0900 Subject: [Haskell] FLOPS 2020: Call for (free) Participation Message-ID: <1693BDCE-D760-43FF-9C7C-62C904F2AA50@riec.tohoku.ac.jp> (Apologies for multiple copies of this announcement. Please circulate.) CALL FOR PARTICIPATION 15th International Symposium on Functional and Logic Programming (FLOPS 2020) September 14-16, 2020, Online https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ !!! FLOPS 2020 will be held online. Participation will be **free**, !!! !!! but a pre-registration is required by **September 8**. !!! 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. INVITED SPEAKERS ---------------- - Makoto Hamana, Gunma University, Japan - Adam Chlipala, MIT, USA PROGRAM (in UTC+9) ---------------- Please find at: https://easychair.org/smart-program/FLOPS2020/ Note that the timezone of the program is Japan Standard Time (JST = UTC+9). ORGANIZATION ---------------- Keisuke Nakano Tohoku University, Japan (PC Co-Chair, General Chair) Kostis Sagonas Uppsala University, Sweden (PC Co-Chair) Kazuyuki Asada Tohoku University, Japan (Local Co-Chair) Ryoma Sin'ya Akita University, Japan (Local Co-Chair) Katsuhiro Ueno Tohoku University, Japan (Local Co-Chair) From aneta.poniszewska-maranda at p.lodz.pl Sun Sep 6 23:33:30 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Sun, 6 Sep 2020 23:33:30 +0000 Subject: [Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , Message-ID: Call for Papers The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland March 23-26, 2021 Conference Website: http://cs-conferences.acadiau.ca/ant-21/ Workshops: http://cs-conferences.acadiau.ca/ant-21/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-21/#tutorial Important Dates - Workshops Proposals Due: October 1, 2020 - Paper Submission Due: November 1, 2020 - Acceptance Notification: December 30, 2020 - Camera-Ready Submission: January 27, 2021 ANT 2021 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 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 Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier (https://www.journals.elsevier.com/computer-networks) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2021 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. ANT 2021 will be held in conjunction with the 3rd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-21/). 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 Omar Alam, Trent University, Canada Nik Bessis, Edge Hill University, UK Azedine Boulmakoul, Hassan II University, Morocco Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Stefano Cresci, National Research Council, Italy Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Silvana Di Sabatino, University of Bologna, Italy Elsayed Mohamed Abdelkareem Elalfy, KFUPM, Saudi Arabia Jason Jaskolka, Carleton University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie 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, Mälardalen 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 Sony Guntuka, 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-21/#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 aneta.poniszewska-maranda at p.lodz.pl Sun Sep 6 23:49:43 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Sun, 6 Sep 2020 23:49:43 +0000 Subject: [Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , Message-ID: Call for Papers *************************************************************************** The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23-26, 2021 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-21/ Workshops: http://cs-conferences.acadiau.ca/EDI40-21/#workshop Important Dates - Workshops Proposals Due: October 1, 2020 - Paper Submission Due: November 1, 2020 - Acceptance Notification: December 30, 2020 - Camera-Ready Submission: January 27, 2021 EDI40 2021 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 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 Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier (https://www.journals.elsevier.com/computer-networks) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2021 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. EDI40 2021 will be held in conjunction with the 12th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-21/). 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 Siddardha Kaja, Acadia University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-21/#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 howard.b.golden at gmail.com Tue Sep 8 20:20:18 2020 From: howard.b.golden at gmail.com (Howard B. Golden) Date: Tue, 8 Sep 2020 13:20:18 -0700 Subject: [Haskell] Haskell tutors required! Message-ID: Hi, I am intrigued by the opportunity, but I wonder if I am up to the task. To help me decide, I have this question: Is the syllabus for the course similar to the most recent presentation ( https://www.learn.ed.ac.uk/webapps/blackboard/content/listContent.jsp?course_id=_73477_1&content_id=_3873901_1 )? Best regards, Howard -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Wed Sep 9 12:22:04 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 9 Sep 2020 14:22:04 +0200 (CEST) Subject: [Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) Message-ID: <1103689480.19806759.1599654124359.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ ------------------------------------------------------------------------------------------- In conjunction with * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ March 23 - 26, 2021, Warsaw, Poland. ------------------------------------------------------------------------------------------- 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-21 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-20 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 an 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-21 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-21 will be held in Warsaw, Poland (March 23 - 26, 2021) in conjunction with the 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) and the European SarlCon 2021. Topics ====== The main topics of the SARL-21 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: November 1, 2020 * Notification: December 30, 2020 * Final date for camera-ready copy: January 27, 2021 * Workshop: March 23-26, 2021 Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. 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, not exceeding 6 pages in length, in 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 (Belfort-Montbeliard University of Technology, France) * Sebastian RODRIGUEZ (Royal Melbourne Institute of Technology, Australia) Publicity Chairs ================ Yazan MUALLA (Belfort-Montbeliard University of Technology, France) Registration ============ Please visit the ANT21 Registration Page for more information: http://cs-conferences.acadiau.ca/ant-21/#registration Venue, Accommodation & Visa Requirements ======================================== Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Wed Sep 9 12:23:08 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 9 Sep 2020 14:23:08 +0200 (CEST) Subject: [Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) Message-ID: <1501196786.19808232.1599654188792.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ ----------------------------------------------------------------------- In conjunction with: * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ March 23-26, 2021, Warsaw, Poland. ------------------------------------------------------------------- Description =========== The 2021 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on March 23-26, 2021, in Warsaw, Poland (one half-day in the program of the associated ANT-21 conference). Abstracts and/or short papers are due on January 27, 2021. The papers are expected to be very short (< 2500 equivalent words) through EasyChair. SARL-21 is providing an alternative for publishing longer papers. Submissions =========== You are invited to submit the abstract in PDF format on EasyChair, not exceeding 1000 words in length. General Chair ============= Stéphane GALLAND (UBFC, France) Program Chair ============= Yazan MUALLA (UBFC, France) Registration ============ Because EuSarlCon21 is organized in conjunction with ANT21, there is no specific fee for EuSarlCon21 itself, but for the ANT21 conference, which provides the access to its facilities. You must register yourself to the ANT21 in order to be included in the list of the participants. When registering, you could select the specific fee of EuSarlCon21 about 100 Euros. Venue, Accommodation & Visa Requirements ======================================== The date and hour of the forum will be published as soon as the program of the associated ANT-21 conference is fixed. Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From wadler at inf.ed.ac.uk Wed Sep 9 17:58:43 2020 From: wadler at inf.ed.ac.uk (Philip Wadler) Date: Wed, 9 Sep 2020 18:58:43 +0100 Subject: [Haskell] Haskell tutors required! In-Reply-To: References: Message-ID: Yes, you've located last year's syllabus! Go well, -- P . \ Philip Wadler, Professor of Theoretical Computer Science, . /\ School of Informatics, University of Edinburgh . / \ and Senior Research Fellow, IOHK . http://homepages.inf.ed.ac.uk/wadler/ On Tue, 8 Sep 2020 at 21:20, Howard B. Golden wrote: > Hi, I am intrigued by the opportunity, but I wonder if I am up to the > task. To help me decide, I have this question: Is the syllabus for the > course similar to the most recent presentation ( > https://www.learn.ed.ac.uk/webapps/blackboard/content/listContent.jsp?course_id=_73477_1&content_id=_3873901_1 > )? > > Best regards, > Howard > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: not available URL: From dreixel at gmail.com Sun Sep 13 16:29:57 2020 From: dreixel at gmail.com (=?UTF-8?Q?Jos=C3=A9_Pedro_Magalh=C3=A3es?=) Date: Sun, 13 Sep 2020 17:29:57 +0100 Subject: [Haskell] PL / compilers team lead role with Standard Chartered in Warsaw Message-ID: Hi all, I've advertised this elsewhere before, but the role is still open so I thought I'd advertise it to the Haskell and Types mailing lists, as it may interest some of you. My employer, Standard Chartered, is hiring a "Senior Manager, Model Programming Team Leader" to create a new team in Warsaw, Poland. From the job ad: *The role of Senior Manager, Model Programming Team Leader, will lead MAG’s Warsaw location, focusing on design and implementation of strategic upgrades to SCB’s Cortex analytics platform, particularly in the programming languages and compiler space, working closely with other Core team members to support this long-term vision. This individual will be an experienced Haskell developer who can run with coding assignments with minimal oversight, working with advanced technology in support of trading floor business and risk management activities.* Full details and how to apply here: https://scb.taleo.net/careersection/ex/jobdetail.ftl?job=2000007774 I'm not the hiring manager so I won't be able to provide much more detail, but I can pass questions on. I also suggest you apply if you're interested, even if you don't meet all the requirements. Cheers, Pedro -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Thu Sep 17 14:10:39 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Thu, 17 Sep 2020 16:10:39 +0200 (CEST) Subject: [Haskell] Workshops Proposals - The 12th International Conference on Ambient Systems, Networks and Technologies (ANT-2021) Message-ID: <7107995.28680757.1600351839421.JavaMail.zimbra@utbm.fr> The 12th International Conference on Ambient Systems, Networks and Technologies (ANT-2021) Warsaw, Poland March 23 - 26, 2021 http://cs-conferences.acadiau.ca/ant-21/ Important Dates: - Workshops Proposals Due: October 1, 2020 ANT-2021 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-2021 and its related areas. Proceeding: All papers accepted for workshops will be included in the ANT-2021 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2021 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: - 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 Thu Sep 17 14:13:47 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Thu, 17 Sep 2020 16:13:47 +0200 (CEST) Subject: [Haskell] Workshops Proposals - The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Message-ID: <1426997502.28686800.1600352027391.JavaMail.zimbra@utbm.fr> The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23 - 26, 2021 http://cs-conferences.acadiau.ca/EDI40-21/ Important Dates: - Workshops Proposals Due: October 1, 2020 EDI40-2021 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-2021 and its related areas. Proceeding: All papers accepted for workshops will be included in the EDI40-2021 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in EDI40-2021 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. Stephane Galland, UTBM, France (Email: stephane.galland at utbm.fr) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Sam.Lindley at ed.ac.uk Tue Sep 22 19:17:07 2020 From: Sam.Lindley at ed.ac.uk (Sam Lindley) Date: Tue, 22 Sep 2020 20:17:07 +0100 Subject: [Haskell] PEPM 2021 - Second Call for Papers Message-ID: <43b00c07-547c-4536-2a16-bf6d5d3061d1@ed.ac.uk> -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021 =============================================================================== * Website : https://popl21.sigplan.org/home/pepm-2021 * Time : 18th--19th January 2021 * Place : Online (co-located with POPL 2021) ** Deadline: 8th October ** ** Originally POPL 2021 was scheduled to be held in Copenhagen, Denmark, but due to the ongoing COVID-19 pandemic POPL 2021 and all affiliated events will now be held online. ** The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically 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 subject 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 2021 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 2021 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, Sam Lindley and Torben Mogensen . 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://pepm21.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 virtually to 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 8th October 2020 (AoE)** * Author notification : **Thursday 12th November 2020 (AoE)** * Workshop : **Monday 18th January 2021 to Tuesday 19th January 2021** Invited speakers ---------------- * Julia Lawall (Inria). Program manipulation of C code: from partial evaluation to semantic patches for the Linux kernel. * Matúš Tejiščák (Chordify). Erasure in dependently typed programming. Best paper award ---------------- PEPM 2021 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Programme committee ------------------- * Guillaume Allais (St Andrews, UK) * Zena M. Ariola (Oregan, US) * Robert Atkey (Strathclyde, UK) * Lennart Augusstson (Google, US) * Casper Bach Poulsen (TU Delft, Netherlands) * Youou Cong (Tokyo Institute of Technology, Japan) * Olivier Danvy (Yale NUS, Singapore) * Andrei Klimov (Keldysh Institute, Russia) * Sam Lindley (Heriot-Watt, UK) (Co-chair) * Torben Mogensen (Copenhagen, Denmark) (Co-chair) * J. Garrett Morris (Iowa, US) * Antonina Nepeivoda (Ailamazyan Pereslavl, Russia) * Gabriel Radanne (Inria, France) * Eijiro Sumii (Tohoku, Japan) * Niki Vazou (IMDEA, Spain) * Eelco Visser (TU Delft, Netherlands) * Jeremy Yallop (Cambridge, UK) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From tarmo at cs.ioc.ee Tue Sep 22 15:20:31 2020 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Tue, 22 Sep 2020 18:20:31 +0300 Subject: [Haskell] ETAPS 2021 2nd joint call for papers Message-ID: <20200922182031.408bd094@cs.ioc.ee> ****************************************************************** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg, Luxembourg, 27 March-1 April 2021 http://www.etaps.org/2021 ****************************************************************** We are closely monitoring the development of the COVID-19 pandemic. If it is not viable to hold ETAPS 2021 as a physical conference, we will run it virtually on the same dates. We will decide in January 2021 at the latest. If ETAPS 2021 can go ahead as a physical conference, accepted authors may still present remotely. -- 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 2021 is the twenty-fourth event in the series. -- MAIN CONFERENCES (29 March-1 April) -- * ESOP: European Symposium on Programming (PC chair: Nobuko Yoshida, Imperial College London, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain, and Mariëlle Stoelinga, Univ. Twente, The Netherlands) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and Christine Tasson, IRIF, Univ. Paris Diderot, France) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven, The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark) TACAS '21 will host the 10th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- The invited speakers and tutorialists planned for ETAPS 2020 have been reinvited: * Unifying speakers: Lars Birkedal (Aarhus Universitet, Denmark) a further speaker to be reconfirmed * ESOP invited speaker: Isil Dillig (University of Texas at Austin, USA) * FASE invited speaker: Willem Visser (Stellenbosch University, South Africa) * Tutorial speakers: Erika Ábrahám (RWTH Aachen University, Germany) Madhusudan Parthasararathy (University of Illinois at Urbana-Champaign, USA) -- IMPORTANT DATES * Papers due: 15 October 2020 23:59 AoE (=GMT-12) * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE * Notification: 23 December 2020 * Camera-ready versions due: 22 January 2021 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2021 solicit contributions of the following types. All page limits are given **excluding bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 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 conference 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. **Remote attendance and presentation will be possible if ETAPS 2021 goes ahead as a physical conference.** 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 forbidden. Submissions must follow the formatting guidelines of Springer's LNCS 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. FASE will use double-blind reviewing. Authors are asked to omit their names and institutions; refer to own prior work in the third person; not to include acknowledgements that might identify them. Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have rebuttal for selected papers. -- 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. -- SATELLITE EVENTS (27-28 March) -- A number of satellite workshops will take place before the main conferences. -- CITY AND HOST INSTITUTION -- Luxembourg is the capital of the small European nation of the same name. Built amid deep gorges cut by the Alzette and Pétrusse rivers, it is famed for its ruins of medieval fortifications. The vast Bock Casemates tunnel network encompasses a dungeon, prison and the Archaeological Crypt, considered the city's birthplace. Along ramparts above, the Chemin de la Corniche promenade offers dramatic viewpoints. ETAPS 2021 is organised by the Interdisciplinary Centre for Security, Reliability and Trust (SnT), Université du Luxembourg. -- ORGANIZERS -- General chair: Peter Y. A. Ryan (SnT & Université du Luxembourg) Workshops chair: Joaquin Garcia-Alfaro (Telecom SudParis, France) Organization chair: Peter Roenne (SnT Luxembourg) Event manager: Magali Martin (SnT Luxembourg) -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2021 at uni.lu . From yazan.mualla at utbm.fr Wed Sep 23 11:53:25 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 23 Sep 2020 13:53:25 +0200 (CEST) Subject: [Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) Message-ID: <1585664268.34299908.1600862005261.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ ------------------------------------------------------------------------------------------- In conjunction with * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ March 23 - 26, 2021, Warsaw, Poland. ------------------------------------------------------------------------------------------- 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-21 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-20 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 an 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-21 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-21 will be held in Warsaw, Poland (March 23 - 26, 2021) in conjunction with the 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) and the European SarlCon 2021. Topics ====== The main topics of the SARL-21 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: November 1, 2020 * Notification: December 30, 2020 * Final date for camera-ready copy: January 27, 2021 * Workshop: March 23-26, 2021 Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. 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, not exceeding 6 pages in length, in 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 (Belfort-Montbeliard University of Technology, France) * Sebastian RODRIGUEZ (Royal Melbourne Institute of Technology, Australia) Publicity Chairs ================ Yazan MUALLA (Belfort-Montbeliard University of Technology, France) Registration ============ Please visit the ANT21 Registration Page for more information: http://cs-conferences.acadiau.ca/ant-21/#registration Venue, Accommodation & Visa Requirements ======================================== Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Wed Sep 23 11:54:46 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 23 Sep 2020 13:54:46 +0200 (CEST) Subject: [Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) Message-ID: <359360947.34301904.1600862086033.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ ------------------------------------------------------------------------------------------- In conjunction with * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ March 23 - 26, 2021, Warsaw, Poland. ------------------------------------------------------------------------------------------- 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-21 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-20 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 an 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-21 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-21 will be held in Warsaw, Poland (March 23 - 26, 2021) in conjunction with the 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) and the European SarlCon 2021. Topics ====== The main topics of the SARL-21 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: November 1, 2020 * Notification: December 30, 2020 * Final date for camera-ready copy: January 27, 2021 * Workshop: March 23-26, 2021 Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. 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, not exceeding 6 pages in length, in 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 (Belfort-Montbeliard University of Technology, France) * Sebastian RODRIGUEZ (Royal Melbourne Institute of Technology, Australia) Publicity Chairs ================ Yazan MUALLA (Belfort-Montbeliard University of Technology, France) Registration ============ Please visit the ANT21 Registration Page for more information: http://cs-conferences.acadiau.ca/ant-21/#registration Venue, Accommodation & Visa Requirements ======================================== Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From manuel.hermenegildo at imdea.org Sun Sep 27 10:10:16 2020 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sun, 27 Sep 2020 12:10:16 +0200 Subject: [Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute Message-ID: <24432.25864.104587.786513@gazelle.local> TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of Systems, including Distributed Systems, Embedded Systems, etc.; Data Science, including Machine Learning; Security and Privacy; Software Engineering; and Cyber-Physical Systems. Exceptional candidates in other topics within the general research areas of the Institute will also be considered. Tenured-level (Associate and Full Professor) applications are also welcome. The primary mission of the IMDEA Software Institute is to perform research of excellence at the highest international level in software development technologies. It is one of the highest-ranked institutions worldwide in its main topic areas. * Selection Process The main selection criteria are the candidate's demonstrated ability and commitment to research, the match of interests with the Institute's mission, and how the candidate complements areas of established strengths of the Institute. All positions require a doctoral degree in Computer Science or a closely related area, earned by the expected start date. Candidates for tenure-track positions will have shown exceptional promise in research and will have displayed an ability to work independently as well as collaboratively. Candidates for tenured positions must have an outstanding research record, recognized international stature, and demonstrated leadership abilities. Experience in graduate student supervision is also valued at this level. Applications should be completed using the application form at https://careers.software.imdea.org/ Please select the reference "2020-09-faculty-call" at the beginning of the form. For full consideration, complete applications must be received by December 1, 2020, although applications will continue to be accepted until the positions are filled. * Working at the IMDEA Software Institute The Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, combining the best aspects of a research center and a university department. Its researchers can focus on developing new ideas and projects, in collaboration with world-leading, international faculty, post-docs, and students. Researchers also have the opportunity (but no obligation) to teach university courses. The Institute offers institutional funding and also encourages its members to participate in national and international research projects. The working language at the Institute is English. Salaries at the Institute are internationally competitive and established on an individual basis. They include social security provisions in accordance with existing national Spanish legislation, and in particular access to an excellent public health care system. Further information about the Institute's current faculty and research can be found at http://www.software.imdea.org . The IMDEA Software Institute is an Equal Opportunity Employer and strongly encourages applications from a diverse and international community and underrepresented groups. The Institute complies with the European Charter for Researchers. * Note on COVID-19 The Institute continues working and hiring during the pandemic, while strictly adopting all recommended health safety measures, including working remotely as needed. The Institute actively monitors the the evolution of the pandemic and interviews will be conducted remotely when necessary. From ben at well-typed.com Mon Sep 28 19:14:04 2020 From: ben at well-typed.com (Ben Gamari) Date: Mon, 28 Sep 2020 15:14:04 -0400 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released Message-ID: <873631g1e2.fsf@smart-cactus.org> Hello all, The GHC team is very pleased to announce the availability of the first alpha release in the GHC 9.0 series. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/9.0.1-alpha1/ This first alpha comes quite a bit later than expected. However, we have done a significant amount of testing on this pre-release and therefore hope to be able to move forward quickly with a release candidate next week and with a final release in mid-October. GHC 9.0.1 will bring a number of new features: * A first cut of the new LinearTypes language extension [1], allowing use of linear function syntax and linear record fields. * A new bignum library (ghc-bignum), allowing GHC to be more easily used with integer libraries other than GMP. * Improvements in code generation, resulting in considerable performance improvements in some programs. * Improvements in pattern-match checking, allowing more precise detection of redundant cases and reduced compilation time. * Implementation of the "simplified subsumption" proposal [2] simplifying the type system and paving the way for QuickLook impredicativity in GHC 9.2. * Implementation of the QualifiedDo extension [3], allowing more convenient overloading of `do` syntax. * Improvements in compilation time. And many more. See the release notes [4] for a full accounting of the changes in this release. Do note that there are a few things that we expect will change before the final release: * We expect to sort out a notarization workflow for Apple Darwin, allowing our binary distributions to be used on macOS Catalina without hassle. Until this has been sorted out Catalina users can exempt the current macOS binary distribution from the notarization requirement themselves by running `xattr -cr .` on the unpacked tree before running `make install`. * We will likely transition the Alpine binary distribution to be fully statically-linked, providing a convenient, distribution-independent packaging option for Linux users. * We will be merging a robust solution for #17760 which will introduce a new primitive, `keepAlive#`, to the `base` library, subsuming most uses of `touch#`. As always, do test this release and open tickets for whatever issues you encounter. To help with this, we will be publishing a blog post describing use of our new `head.hackage` infrastructure to ease testing of larger projects with Hackage dependencies later this week. Cheers, - Ben [1] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst [2] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst [3] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-qualified-do.rst [4] https://downloads.haskell.org/ghc/9.0.1-alpha1/docs/html/users_guide/9.0.1-notes.html -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From yazan.mualla at utbm.fr Tue Sep 29 08:53:47 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Tue, 29 Sep 2020 10:53:47 +0200 (CEST) Subject: [Haskell] ANT & EDI40 2021: Last Call for Organizing a Workshop in Warsaw, Poland (March 23 - 26, 2021) Message-ID: <1679963006.503455.1601369627971.JavaMail.zimbra@utbm.fr> Last Call for Workshops Proposals The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) & The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23 - 26, 2021 [ http://cs-conferences.acadiau.ca/ant-21/#workshop | http://cs-conferences.acadiau.ca/ant-21/#workshop ] & [ http://cs-conferences.acadiau.ca/EDI40-21/#workshop | http://cs-conferences.acadiau.ca/EDI40-21/#workshop ] Important Date *   Workshop Proposal Due: October 1 , 2020 ANT & EDI40 2021 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 and/or EDI40 2021 and their related areas. 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 Dr. Stephane Galland, UTBM, France (Email: stephane.galland at utbm.fr < mailto:stephane.galland at utbm.fr >) -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Tue Sep 29 13:45:52 2020 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 29 Sep 2020 15:45:52 +0200 Subject: [Haskell] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021) Message-ID: -------------------------------------------------------------------------                      First call for papers         22nd Symposium on Trends in Functional Programming                           tfp2021.org ------------------------------------------------------------------------- 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. * TFP offers a supportive reviewing process designed to help less experienced   authors succeed, with two rounds of review, both before and after the   symposium itself. Authors have an opportunity to address reviewers' concerns   before final decisions on publication in the proceedings. * TFP offers two "best paper" awards, the John McCarthy award for best paper,   and the David Turner award for best student paper. * TFP is co-located with Lambda Days in beautiful Krakow. Lambda Days is a   vibrant developer conference with hundreds of attendees and a lively programme   of talks on functional programming in practice. Due to the covid pandemic,   the event is online with a lot of attention to interaction and getting to   socialize with the community. Important Dates --------------- Submission deadline for pre-symposium review:     20th November, 2020 Submission deadline for draft papers:             15th January, 2021 Symposium dates:                                  17-19th February, 2021 * We strongly encourage authors to submit their work for the first deadline.   Authors whose papers are accepted for presentation, but not immediately for the   proceedings in this first round, will have almost two months to address the   reviewers' concerns. Papers submitted for the first deadline will also have   priority for the presentation slots at the symposium. Visit tfp2021.org for more information. From P.Achten at cs.ru.nl Tue Sep 29 14:44:47 2020 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 29 Sep 2020 16:44:47 +0200 Subject: [Haskell] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021) Message-ID: <721f36ce-4555-d8c9-1100-78507cfaf5b0@cs.ru.nl> --------------------------------    TFPIE 2021 Call for papers -------------------------------- https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 (February 16 2021, co-organized with TFP 2021 and Lambda Days 2021) The goal of the International Workshops on Trends in Functional Programming in Education is to gather researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. TFPIE 2021 welcomes submissions in the above mentioned areas. This year many teaching programmes have had to make a rapid transition to online teaching, and we explicitly solicit papers that explore this area of teaching functional programming. Topics of interest include, but are not limited to: -  FP and beginning CS students -  FP and Computational Thinking -  FP and Artificial Intelligence -  FP in Robotics -  FP and Music -  Advanced FP for undergraduates -  FP in graduate education -  Engaging students in research using FP -  FP in Programming Languages -  FP in the high school curriculum -  FP as a stepping stone to other CS topics -  FP and Philosophy -  The pedagogy of teaching FP -  FP and e-learning: MOOCs, automated assessment etc. -  Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. On top of the lecture itself, the presentation can also provide commentary on the lecture. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2021 After the workshop, presenters are invited to submit (a revised version of) their article for review. The PC will select the best articles. We plan to publish them in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Dates -  Submission deadline: January 11 2021, Anywhere on Earth. -  Notification: January 15 2021 -  Workshop: February 16 2021 -  Submission for formal review: April 20 2021, Anywhere on Earth. -  Notification of full article: June 7 2021 -  Camera ready: July 1st 2021 Program Committee (under construction) - Peter Achten,    Radboud University, Netherlands (chair) - Edwin Brady,     University of St Andrews, UK - Laura Castro,    Universidade da Coruña, Spain - Stephen Chang,   University of Massachusetts Boston, USA - Youyou Cong,     Tokyo Institute of Technology, Japan - Matthew Flatt,   University of Utah, USA - Alex Gerdes,     University of Gothenburg, Sweden - Prabhakar Ragde, University of Waterloo, Canada - Melinda Tóth,    Eötvös Loránd University, Hungary Registration TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages when registration information becomes available. Registration is mandatory for at least one author of every paper that is presented at the workshop. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Information on Lambda Days is available at https://www.lambdadays.org/lambdadays2021 Information on TFP         is available at http://tfp2021.org From david.feuer at gmail.com Tue Sep 29 21:27:58 2020 From: david.feuer at gmail.com (David Feuer) Date: Tue, 29 Sep 2020 17:27:58 -0400 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released In-Reply-To: <873631g1e2.fsf@smart-cactus.org> References: <873631g1e2.fsf@smart-cactus.org> Message-ID: Will this be updated to the latest containers before release? It's two versions behind at the moment. On Mon, Sep 28, 2020, 3:14 PM Ben Gamari wrote: > Hello all, > > The GHC team is very pleased to announce the availability of the first > alpha release in the GHC 9.0 series. Source and binary distributions are > available at the usual place: > > https://downloads.haskell.org/ghc/9.0.1-alpha1/ > > This first alpha comes quite a bit later than expected. However, we have > done a significant amount of testing on this pre-release and therefore > hope to be able to move forward quickly with a release candidate next > week and with a final release in mid-October. > > GHC 9.0.1 will bring a number of new features: > > * A first cut of the new LinearTypes language extension [1], allowing > use of linear function syntax and linear record fields. > > * A new bignum library (ghc-bignum), allowing GHC to be more easily > used with integer libraries other than GMP. > > * Improvements in code generation, resulting in considerable > performance improvements in some programs. > > * Improvements in pattern-match checking, allowing more precise > detection of redundant cases and reduced compilation time. > > * Implementation of the "simplified subsumption" proposal [2] > simplifying the type system and paving the way for QuickLook > impredicativity in GHC 9.2. > > * Implementation of the QualifiedDo extension [3], allowing more > convenient overloading of `do` syntax. > > * Improvements in compilation time. > > And many more. See the release notes [4] for a full accounting of the > changes in this release. > > Do note that there are a few things that we expect will change before > the final release: > > * We expect to sort out a notarization workflow for Apple Darwin, > allowing our binary distributions to be used on macOS Catalina > without hassle. > > Until this has been sorted out Catalina users can exempt the > current macOS binary distribution from the notarization requirement > themselves by running `xattr -cr .` on the unpacked tree before > running `make install`. > > * We will likely transition the Alpine binary distribution to be fully > statically-linked, providing a convenient, distribution-independent > packaging option for Linux users. > > * We will be merging a robust solution for #17760 which will introduce > a new primitive, `keepAlive#`, to the `base` library, subsuming > most uses of `touch#`. > > As always, do test this release and open tickets for whatever issues you > encounter. To help with this, we will be publishing a blog post > describing use of our new `head.hackage` infrastructure to ease testing > of larger projects with Hackage dependencies later this week. > > Cheers, > > - Ben > > > [1] > https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst > [2] > https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst > [3] > https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-qualified-do.rst > [4] > https://downloads.haskell.org/ghc/9.0.1-alpha1/docs/html/users_guide/9.0.1-notes.html > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > -------------- next part -------------- An HTML attachment was scrubbed... URL: From josef.morales at imdea.org Wed Sep 30 10:24:03 2020 From: josef.morales at imdea.org (Jose F. Morales) Date: Wed, 30 Sep 2020 12:24:03 +0200 Subject: [Haskell] [CfP] PADL 2021: Practical Aspects of Declarative Languages Message-ID: <48b826f4-e116-51ce-46bb-562cf3a0b5e3@imdea.org> Call for Papers =============== 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021) https://popl21.sigplan.org/home/PADL-2021 Copenhagen, Denmark 18-19th January 2021 Co-located with POPL 2021 Conference Description ---------------------- The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages. These languages have been 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 have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include 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. Topics 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 for software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical languages and extensions such as probabilistic and reactive languages PADL 2021 especially welcomes new ideas and approaches pertaining 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, computational creativas well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL solicits three kinds of submission, in Springer LNCS format: * 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. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place in which it has previously appeared. Important dates --------------- * Deadline: 9th October 2020 (AoE) * Notification: 6th November 2020 * Symposium: 18-19th January 2021 Submission is via EasyChair: https://easychair.org/conferences/?conf=padl2021 COVID-19 -------- PADL is co-located with POPL, which will take place January 17-22, 2021, 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. These submissions will then be subject to peer review by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. Chairs ------ - Dominic Orchard (University of Kent, UK) - Jose Morales (IMDEA Software Institute, Spain) Programme Committee ------------------- - Mario Alviano (University of Calabria, Italy) - Nada Amin (Harvard University, USA) - Edwin Brady (University of St. Andrews, Scotland) - Joachim Breitner (DFINITY) - Youyou Cong (Tokyo Institute of Technology) - Mistral Contrastin (Facebook London) - Sandra Dylus (University of Kiel, Germany) - Esra Erdem (Sabanci University, Turkey) - Martin Gebser (Alpen-Adria-Universität Klagenfurt, Austria) - Gopal Gupta (U. Dallas, USA) - Ekaterina Komendantskaya (Heriot-Watt University, Edinburgh, UK) - Henrik Nilsson (University of Nottingham, UK) - Enrico Pontelli (New Mexico State University, USA) - KC Sivaramakrishnan (IIT Madras, India) - Paul Tarau (University of North Texas, USA) - Jan Wielemaker (Free University Amsterdam, Netherlands) - Ningning Xie (University of Hong Kong) - Neng-Fa Zhou (City University of New York, USA)