September 2020 - Haskell

ETAPS 2021 2nd joint call for papers
by Tarmo Uustalu 22 Sep '20

22 Sep '20

****************************************************************** 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 .

1 0

Workshops Proposals - The 4th International Conference on Emerging Data and Industry 4.0 (EDI40)
by Yazan Mualla 17 Sep '20

17 Sep '20

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(a)utbm.fr)

1 0

Workshops Proposals - The 12th International Conference on Ambient Systems, Networks and Technologies (ANT-2021)
by Yazan Mualla 17 Sep '20

17 Sep '20

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(a)utbm.fr)

1 0

PL / compilers team lead role with Standard Chartered in Warsaw
by José Pedro Magalhães 13 Sep '20

13 Sep '20

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

1 0

Re: [Haskell] Haskell tutors required!
by Howard B. Golden 09 Sep '20

09 Sep '20

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?cours… )? Best regards, Howard

2 1

Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
by Yazan Mualla 09 Sep '20

09 Sep '20

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-develo… ----------------------------------------------------------------------- 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-modeli… 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) <stephane.galland(a)utbm.fr> 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

1 0

CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
by Yazan Mualla 09 Sep '20

09 Sep '20

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-modeli… ------------------------------------------------------------------------------------------- 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-develo… 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

1 0

FLOPS 2020: Call for (free) Participation
by Keisuke Nakano 04 Sep '20

04 Sep '20

(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)

1 0

Haskell tutors required!
by Philip Wadler 03 Sep '20

03 Sep '20

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(a)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/ The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0