From manuel.hermenegildo at imdea.org Sun Nov 3 19:57:44 2019 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sun, 3 Nov 2019 20:57:44 +0100 Subject: [Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute Message-ID: <23999.12600.219565.687093@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 Data Science, including Machine Learning; Security and Privacy; Cyber-Physical Systems; Software Engineering; and Systems, including Distributed Systems, Embedded Systems, etc. Exceptional candidates in other areas 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 possess an outstanding research record, have 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 "2019-10-faculty-call" at the beginning of the form. For full consideration, complete applications must be received by December 20, 2019, 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. From Graham.Hutton at nottingham.ac.uk Mon Nov 4 06:51:04 2019 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 4 Nov 2019 06:51:04 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th November 2019 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 30th November 2019: o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From olexandr543 at yahoo.com Mon Nov 4 10:20:12 2019 From: olexandr543 at yahoo.com (olexandr543 at yahoo.com) Date: Mon, 4 Nov 2019 10:20:12 +0000 (UTC) Subject: [Haskell] ANNOUNCE: The mmsyn5 -- a small library to deal with a little bit more complex operations on lists than Data.List module References: <63554542.1661548.1572862812927.ref@mail.yahoo.com> Message-ID: <63554542.1661548.1572862812927@mail.yahoo.com> Hello, The package mmsyn5 proposes various operations with lists. Best regards,Oleksandr Zhabenko. -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Nov 4 13:23:17 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 4 Nov 2019 05:23:17 -0800 Subject: [Haskell] [EDI40-2020] deadline extension & extra Journal Special Issues: Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020) Message-ID: *************************************************************************** The 3rd International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland April 6-9, 2020 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-20/ Workshops: http://cs-conferences.acadiau.ca/EDI40-20/#workshop Important Dates - Workshops Proposals Due: October 15, 2019 - Paper Submission Due: November 15, 2019 (Extended to December 4, 2019) - Acceptance Notification: January 13, 2020 - Camera-Ready Submission: February 10, 2020 EDI40 2020 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: 1.910), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) - International Journal on Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) EDI40 2020 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 2020 will be held in conjunction with the 11th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-20/). Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Aneta Poniszewska-MaraÅ„da, Lodz University of Technology, Poland Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-20/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Nov 4 13:26:30 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 4 Nov 2019 05:26:30 -0800 Subject: [Haskell] [ANT-2020] deadline extension & extra Journal Special Issues: Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020) Message-ID: The 11th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland April 6-9, 2020 Conference Website: http://cs-conferences.acadiau.ca/ant-20/ Workshops: http://cs-conferences.acadiau.ca/ant-20/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-20/#tutorial Important Dates - Paper Submission Due: November 15, 2019 (Extended to December 4, 2019) - Acceptance Notification: January 13, 2020 - Camera-Ready Submission: February 10, 2020 ANT 2020 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: 1.910), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) - International Journal on Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) ANT 2020 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 2020 will be held in conjunction with the 3rd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-20/). 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 Boulmakoul Azedine, Hassan II University, Morocco Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers, France Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Jason Jaskolka, Carleton University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Natalia Kryvinska, University of Vienna, Austria Flavio Lombardi, Roma Tre University of Rome, Italy Vuk Marojevic, Mississippi State University, USA Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Aneta Poniszewska-MaraÅ„da, Lodz University of Technology, Poland Angelo Riccio, Parthenope University of Naples, Italy Stefan Schulte, TU Wien, Austria Miguel Sepulcre, Miguel Hernandez University of Elche, Spain Khaled Shaaban, Qatar University, Qatar Yves Vanrompay, Hasselt University, Belgium Publicity Chairs Wim Ectors, Hasselt University, Belgium Joanna Ochelska-Mierzejewska, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair 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-20/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From meng.wang at bristol.ac.uk Mon Nov 4 21:02:54 2019 From: meng.wang at bristol.ac.uk (Meng Wang) Date: Mon, 4 Nov 2019 21:02:54 +0000 Subject: [Haskell] [FP] Postdoc position at University of Bristol in functional programming In-Reply-To: <789CFDDA-38E0-4B44-8BAE-B3E21022AC74@bristol.ac.uk> References: <7BB74EBE-3BDE-42D8-B6E7-8BDF5D903198@bristol.ac.uk> <789CFDDA-38E0-4B44-8BAE-B3E21022AC74@bristol.ac.uk> Message-ID: <8884B696-3CA3-4A7A-8220-601FD7E4906C@bristol.ac.uk> Dear Haskellers, The programming languages group at Bristol has an open post doc position in the area of functional programming. Haskell programmers are particularly welcome. Please pass it on to anyone who might be interested. Thanks! Best regards, Meng Meng Wang, PhD (Oxon) Senior Lecturer (Associate Professor) Department of Computer Science University of Bristol Merchant Venturers Building, Woodland Road, Clifton BS8 1UB +44 (0) 117 954 5145 meng.wang at bristol.ac.uk We are looking for an enthusiastic, self-motivated individual to contribute to an EPSRC-funded project, which aims to design programming languages that guarantee strong properties, and the application of them. The post holder will be based in the programming languages group at the University of Bristol Computer Science Department, which consists of three academics, two PDRAs, and a number of PhD students. You will also be working with a network of partners from Oxford, Edinburgh, Tohoku Japan, Chalmers Sweden, and industrial partner DFINITY Foundations providing expertise on WebAssembly. You should have a PhD in programming languages, or a closely related field. This post is available immediately and is offered on a full-time based for an initial term of three years. Appointment at a higher salary point than grade I is possible based on relevant experience. Informal enquiries should be addressed to Dr. Meng Wang (meng.wang at bristol.ac.uk) For more details about this position, please see: http://www.bristol.ac.uk/jobs/find/details.html?nPostingID=57894&nPostingTargetID=171215&option=28&sort=DESC&respnr=1&ID=Q50FK026203F3VBQBV7V77V83&JobNum=ACAD104298&Resultsperpage=10&lg=UK&mask=uobext Deadline: 25 November 2019 -------------- next part -------------- An HTML attachment was scrubbed... URL: From kaposi.ambrus at gmail.com Tue Nov 5 10:38:28 2019 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Tue, 5 Nov 2019 11:38:28 +0100 Subject: [Haskell] Call for Conference Grant Applications (Inclusiveness Target Countries) In-Reply-To: References: Message-ID: Call for Conference Grant Applications The European research network on types for programming and verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports attendance of young researchers presenting work on type theory at international conferences via travel grants. The rules are described here: https://eutypes.cs.ru.nl/ConfGrants The main points are: * Only researchers from ITCs participating in the action are eligible. As of June 2018, the ITCs involved in EUTypes are: Bosnia and Herzegovina, Cyprus, Czech Republic, Estonia, Hungary, Lithuania, Macedonia, Poland, Portugal, Romania, Serbia, Slovenia. * Only PhD students and Early Career Investigators (researchers whose PhD degree is at most 8 years old) are eligible. * The grantee must give a talk or present a poster on the topic of type theory. Applications have to be submitted through the e-COST system: https://e-services.cost.eu/conferencegrant Please inform researchers in your country who might be interested and contact me if you have any questions. Many thanks, Ambrus Kaposi EUTypes conference grant coordinator -------------- next part -------------- An HTML attachment was scrubbed... URL: From xichekolas at gmail.com Wed Nov 6 00:57:38 2019 From: xichekolas at gmail.com (Andrew Farmer) Date: Tue, 5 Nov 2019 16:57:38 -0800 Subject: [Haskell] Seeking maintainer for Scotty Message-ID: The Scotty web framework is currently seeking a new maintainer. Please comment on this github issue if you are interested: https://github.com/scotty-web/scotty/issues/234 From gershomb at gmail.com Sun Nov 10 00:43:12 2019 From: gershomb at gmail.com (Gershom B) Date: Sat, 9 Nov 2019 19:43:12 -0500 Subject: [Haskell] Help wanted: Postfix admin guru for Haskell.org Message-ID: We've been getting increasing amounts of bounces and dropped mail for haskell.org emails (things sent hackage trustees, things sent from our wiki and hackage servers, etc). We _mainly_ have kept things working, but it looks like policies have been amped up in terms of requiring various measures. Additionally, there's something about reverse dns and valid hostnames that seems to not be configured correctly, according to mxtoolbox. Along with all that, we'd really like to migrate the mail infrastructure to our new packet servers, away from rackspace. As such, we could use some concentrated help from someone familiar with maintaining and administering postfix servers, if someone is up to volunteer for the task. Thanks! --Gershom From ksk at riec.tohoku.ac.jp Mon Nov 11 02:24:14 2019 From: ksk at riec.tohoku.ac.jp (Keisuke Nakano) Date: Mon, 11 Nov 2019 11:24:14 +0900 Subject: [Haskell] FLOPS 2020 Final Call for papers Message-ID: <6C6913EC-AB78-4E64-8228-3E473A3A7235@riec.tohoku.ac.jp> FINAL Call For Papers FLOPS 2020: 15th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 23-25 April, 2020, Akita, Japan https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ Writing down detailed computational steps is not the only way of programming. An alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style of programming include functional and logic programming, program transformation and rewriting, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming paradigm, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized Web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2020 will employ a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors' own related work should be in the third person (e.g., not "We build on our previous work …" but rather "We build on the work of …"). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2020 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). *** Important Dates *** 15 November 2019 (AoE): Abstract submission 22 November 2019 (AoE): Submission deadline 24 January 2020: Author notification 16 February 2020: Camera ready due 23-25 April 2020: FLOPS Symposium *** Programming Comittee *** Elvira Albert Universidad Complutense de Madrid María Alpuente Universitat Politècnica de València Edwin Brady University of St Andrews Michael Hanus CAU Kiel Nao Hirokawa JAIST Zhenjiang Hu Peking University John Hughes Chalmers University of Technology Kazuhiro Inaba Google Shin-Ya Katsumata National Institute of Informatics Ekaterina Komendantskaya Heriot-Watt University Leonidas Lampropoulos University of Pennsylvania Akimasa Morihata The University of Tokyo Shin-Cheng Mu Academia Sinica Keisuke Nakano Tohoku University (co-chair) Koji Nakazawa Nagoya University Enrico Pontelli New Mexico State University Didier Remy INRIA Ricardo Rocha University of Porto Konstantinos Sagonas Uppsala University (co-chair) Ilya Sergey Yale-NUS College Kohei Suenaga Kyoto University Tachio Terauchi Waseda University Kazushige Terui Kyoto University Simon Thompson University of Kent *** Organizers *** 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) *** Contact Address *** flops2020 _AT_ easychair.org ------------------------------------------------------------------------------- From walkingshaw.eric at gmail.com Tue Nov 12 09:27:23 2019 From: walkingshaw.eric at gmail.com (Eric Walkingshaw) Date: Tue, 12 Nov 2019 01:27:23 -0800 Subject: [Haskell] Tenure-track faculty positions at Oregon State University Message-ID: Dear Haskellers, We're hiring multiple tenure-track faculty positions at Oregon State University, including in the areas of programming languages, software engineering, and theoretical computer science. The full job ad and application instructions are available here: http://eecs.oregonstate.edu/prospective-faculty/current-job-openings#cs We're a fairly large (60 tenured/tenure-track faculty across EECS) and still fast-growing school, so their are plenty of collaboration opportunities and lots of early career folks to interact with. The school is extremely supportive of junior faculty. Additionally, Corvallis, Oregon is a really great place to live. It's consistently rated one of the best college towns and most bike-friendly small cities in the US. It's located in the Willamette Valley, the craft beer capital of the world and a burgeoning wine region. There are plenty of nearby trails, and it's a short drive to the beautiful Oregon Coast and the rugged Cascade Mountains. The deadline for full consideration is this week (Nov 15), so act quickly! Best regards, Eric Walkingshaw School of EECS Oregon State University From c.grelck at uva.nl Wed Nov 13 14:30:06 2019 From: c.grelck at uva.nl (Clemens Grelck) Date: Wed, 13 Nov 2019 15:30:06 +0100 Subject: [Haskell] PhD / Postdoc position (Uni Amsterdam) in programming languages for adaptive cyber-physical systems Message-ID: <9a786e1e-de61-bdb5-00f3-f2f8bb2241df@uva.nl> The _Parallel Computing Systems (PCS)_ group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) is looking for a researcher (PhD candidate or PostDoc) in the area of domain-specific programming languages for the specification and design of adaptive cyber-physical systems that are robust against both component failures and cyber-attacks. The successful candidate will perform reseaerch within the EU-funded Horizon-2020 project ADMORPH, which brings together a consortium of 4 academic and 4 industrial partners from across Europe, coordinated by the University of Amsterdam. The PCS group performs research on the design, programming and run-time management of multi-core and multi-processor computer systems. The modeling, analysis and optimization of the extra-functional aspects of these systems, such as performance, power/energy consumption but also the degree of productivity to design and program these systems, play a pivotal role in our work. The position can be filled by either a PhD candidate or a postdoctoral researcher; tasks will be adjusted accordingly. All details as well as instructions for application can be found at our official vacancies site: https://www.uva.nl/en/content/vacancies/2019/10/19-725-researcher-in-specification-and-programming-of-adaptive-cyber-physical-systems.html For informal inquiries, please contact: Dr Clemens Grelck . -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 Associate Professor 1098XH Amsterdam Programme Director Software Engineering Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 System and Network Engineering Lab F +31 (0) 20 525 7490 Office C3.109 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From publicityifl at gmail.com Thu Nov 14 08:15:32 2019 From: publicityifl at gmail.com (Jurriaan Hage) Date: Thu, 14 Nov 2019 00:15:32 -0800 Subject: [Haskell] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education) Message-ID: Hello, Please, find below the second call for draft papers for TFPIE 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Chair of TFPIE 2020 ======================================================================== TFPIE 2020 Call for papers http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html February 12th 2020, Krakow, Poland (co-located with TFP 2020 and Lambda Days) TFPIE 2020 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. 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=tfpie2020 . After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles that will be published 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 14th 2020, Anywhere on Earth. Notification: January 17th 2020 TFPIE Registration Deadline: January 20th 2020 Workshop: February 12th 2020 Submission for formal review: April 19th 2020, Anywhere on Earth. Notification of full article: June 6th 2020 Camera ready: July 1st 2020 Program Committee Olaf Chitil - University of Kent Youyou Cong - Tokyo Institute of Technology Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen Jurriaan Hage (Chair) - Utrecht University Marco T. Morazan - Seton Hall University, USA Sharon Tuttle - Humboldt State University, USA Janis Voigtlaender - University of Duisburg-Essen Viktoria Zsok - Eotvos Lorand University Note: information on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Fri Nov 15 09:29:40 2019 From: nevrenato at gmail.com (Renato Neves) Date: Fri, 15 Nov 2019 09:29:40 +0000 Subject: [Haskell] TTCS 2020 - Call for papers Message-ID: <533ccee9d99ab8db52788374defe0a4e4c437300.camel@gmail.com> The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2020) http://cs.ipm.ac.ir/ttcs/2020 Institute for Research in Fundamental Sciences (IPM) Tehran, Iran, July 1-3, 2020 *** Submission Deadline: January 12, 2020 *** ================================================== ------------------------------ Scope ------------------------------ TTCS is a bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science (EATCS). The proceedings will be published in the Springer LNCS series. TTCS is organized in 2 tracks. Topics of interest include but are not limited to: Track A: Algorithms and Complexity - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - economics and algorithmic game theory, - fixed-parameter algorithms, - machine learning, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - theoretical cryptography. Track B: Logic, Semantics, and Programming Theory - algebra and coalgebra in computer science, - concurrency theory, - coordination languages, - formal verification and model-based testing, - logic in computer science, - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - stochastic and probabilistic specification and reasoning, - theoretical aspects of other CS-related research areas, e.g. computational science, databases, information retrieval, and networking, - theory of programming languages, - type theory. ------------------------------ Important Dates ------------------------------ - Full Paper Submission: January 12, 2020 - Author notification: March 12, 2020 - Camera-ready paper: April 1, 2020 - Conference: July 1-3, 2020 ------------------------------ Submissions ------------------------------ Research papers are solicited in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labeled appendix, to be consulted at the discretion of program committee members. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the authors' institutions. TTCS 2020 proceedings will be published by Springer, in the Lecture Notes in Computer Science series, in accordance to the contract between Springer Nature Switzerland AG and the International Federation for Information Processing (IFIP). Papers should be submitted to the appropriate track through EasyChair at https://easychair.org/conferences/?conf=ttcs2020 ------------------------------ Programme Committee ------------------------------ Track A: Algorithms and Complexity Mohammad Ali Abam, Sharif University of Technology, Iran (PC co-chair) Sepehr Assadi, Rutgers University, USA Mohammad Hossein Bateni, GoogleRresearch, USA Salman Beigy, IPM, Iran Hossein Esfandiari, Harvard University, USA Omid Etesami, IPM, Iran Marc van Kreveld, Utrecht University, Netherlands Mohammad Mahdian, Google Research, USA Mohammad Mahmoody, University of Virginia, USA Vahab Mirrokni, Google Research, USA Gunter Rote, FU Berlin, Germany Mohammadreza Salavatipour, University of Alberta, Canada Masoud Seddighin, IPM, Iran Saeed Seddighin, Harvard University, USA Michiel Smid, Carleton Univesity, Canada Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran Track B: Logic, Semantics, and Programming Theory Farhad Arbab, CWI, The Netherlands Kyungmin Bae, Pohang University of Science and Technology, South Korea Christel Baier, Technische Universitat Dresden, Germany Luis S. Barbosa, University of Minho, Portugal (PC co-chair) Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil Simon Bliduze, INRIA Lille, France Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, University of Leiden, The Netherlands Flavio Corradini University of Camerino, Italy Fredrik Dahlqvist, UCL, UK Sergey Goncharov, FAU Erlangen-Nurnberg, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Sung-Shik Jongmans, Open University, The Netherlands Alexander Knapp, University of Augsburg, Germany Jan Kretinsky, Munich University of Technology, Germany Alexandre Madeira, University of Aveiro, Portugal Stefan Mitsch, Carnegie Mellon University, USA Mohammad Reza Mousavi, University of Leicester, UK Renato Neves, INESC TEC, Portugal Peter Olveczky, University of Oslo, Norway Prakash Panangaden, McGill University, Canada Elaine Pimentel, UFRN, Brazil Subodh Sharma, IIT Delhi, India Pawel Sobocinski, Taltech, Estonia Ana Sokolova, University of Salzburg, Austria Carolyn Talcott, Stanford University, USA Benoit Valiron, LRI, France Naijun Zhan, Chinese Academy of Science, China Link to the online cfp: https://easychair.org/cfp/TTCS2020 From ksk at riec.tohoku.ac.jp Fri Nov 15 10:37:15 2019 From: ksk at riec.tohoku.ac.jp (Keisuke Nakano) Date: Fri, 15 Nov 2019 19:37:15 +0900 Subject: [Haskell] FLOPS 2020: DEADLINE EXTENSION (abstract 22 Nov, full paper 29 Nov) Message-ID: <7033425A-9DF6-4FF3-86B8-890BED387560@riec.tohoku.ac.jp> FINAL Call For Papers (*** DEADLINE EXTENSION ***) FLOPS 2020: 15th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 23-25 April, 2020, Akita, Japan https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ Writing down detailed computational steps is not the only way of programming. An alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style of programming include functional and logic programming, program transformation and rewriting, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming paradigm, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized Web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2020 will employ a double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors' own related work should be in the third person (e.g., not "We build on our previous work..." but rather "We build on the work of..."). The purpose of this process is to help the reviewers come to a judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2020 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). *** Important Dates *** [Extended] 22 November 2019 (AoE): Abstract submission [Extended] 29 November 2019 (AoE): Submission deadline [Extended] 31 January 2020: Author notification [Extended] 20 February 2020: Camera ready due 23-25 April 2020: FLOPS Symposium *** Programming Comittee *** Elvira Albert Universidad Complutense de Madrid María Alpuente Universitat Politècnica de València Edwin Brady University of St Andrews Michael Hanus CAU Kiel Nao Hirokawa JAIST Zhenjiang Hu Peking University John Hughes Chalmers University of Technology Kazuhiro Inaba Google Shin-Ya Katsumata National Institute of Informatics Ekaterina Komendantskaya Heriot-Watt University Leonidas Lampropoulos University of Pennsylvania Akimasa Morihata The University of Tokyo Shin-Cheng Mu Academia Sinica Keisuke Nakano Tohoku University (co-chair) Koji Nakazawa Nagoya University Enrico Pontelli New Mexico State University Didier Remy INRIA Ricardo Rocha University of Porto Konstantinos Sagonas Uppsala University (co-chair) Ilya Sergey Yale-NUS College Kohei Suenaga Kyoto University Tachio Terauchi Waseda University Kazushige Terui Kyoto University Simon Thompson University of Kent Philip Wadler, University of Edinburgh *** Organizers *** 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) *** Contact Address *** flops2020 _AT_ easychair.org ------------------------------------------------------------------------------- From yazan.mualla at utbm.fr Sun Nov 17 11:12:06 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Sun, 17 Nov 2019 12:12:06 +0100 (CET) Subject: [Haskell] Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) Message-ID: <796427225.185346044.1573989126301.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS The 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) ----------------------------------------------------------------------- In conjunction with: * the 11th International Conference on Ambient Systems, Networks, and Technologies (ANT 2020); * the 9th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-20); * the 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20). April 6-9, 2020, Warsaw, Poland. http://www.multiagent.fr/Conferences:EuSarlCon20 ------------------------------------------------------------------- Description =========== The 2020 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 April 6-9, 2020, at Warsaw, Poland. That is the last day of the ANT-2020 conference, the ABMTRANS-20 and the SARL-20 workshops. Submissions directly for the EuSarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 10, 2020, through EasyChair. ABMTRANS-20 and SARL-20 are providing an alternative for publishing longer papers. Important Dates =============== * Paper or talk submission: January 31, 2020; * Acceptance notification: February 10, 2020; * Forum: April 6-9, 2020. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2020), not exceeding 1000 words in length. General Chair ============= Stéphane GALLAND (UBFC, France) Program Chairs ============== Yazan MUALLA (UBFC, France) Igor TCHAPPI HAMAN (UBFC, France) Registration ============ You must be registered to the ANT20 conference, which provides the access to its facilities. The EuSarlCon forum is considered as a specific type of tutorial. In order to assist to EuSarlCon20, you must apply to a tutorial registration of the ANT20 conference. -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Sun Nov 17 11:15:40 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Sun, 17 Nov 2019 12:15:40 +0100 (CET) Subject: [Haskell] CFP - The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20) Message-ID: <539744786.185353663.1573989340314.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20) ------------------------------------------------------------------------------------------- In conjunction with the 11th International Conference on Ambient Systems, Networks, and Technologies ANT 2020 and the European SarlCon 2020 April 6 - 9, 2020, Warsaw, Poland. http://www.multiagent.fr/Conferences:SARL20 ------------------------------------------------------------------------------------------- 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-20 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-20 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-20 will be held in Warsaw, Poland (April 6 - 9, 2020) in conjunction with the 11th International Conference on Ambient Systems, Networks, and Technologies (ANT 2020) and the European SarlCon 2020. Topics ====== The main topics of the SARL-20 workshop are (but not restricted to): * Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. * Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: December 15, 2019; * Notification: January 13, 2020; * Final date for camera-ready copy: February 10, 2020; * Workshop: April 6 - 9, 2020. Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series online. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full length papers in PDF format on EasyChair (https://www.easychair.org/conferences/?conf=sarl20), 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 (Univ. de Technologie de Belfort-Montbéliard, France) Sebastian RODRIGUEZ (RMIT, Australia) Publicity Chairs ================ Yazan MUALLA (Univ. de Technologie de Belfort-Montbéliard, France) Igor TCHAPPI HAMAN (Univ. de Technologie de Belfort-Montbéliard, France) Registration ============ Please visit the ANT20 Registration Page for more information: http://cs-conferences.acadiau.ca/ant-20/#registration Venue, Accomodation & Visa Requirements ======================================= Please visit the ANT20 Venue & Accomodation Page for more information: http://cs-conferences.acadiau.ca/ant-20/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Nov 18 13:40:33 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 18 Nov 2019 05:40:33 -0800 Subject: [Haskell] [EDI40-2020] deadline extension (Dec-04) & extra Journal Special Issues: Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020) Message-ID: *************************************************************************** The 3rd International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland April 6-9, 2020 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-20/ Workshops: http://cs-conferences.acadiau.ca/EDI40-20/#workshop Important Dates - Paper Submission Due: November 15, 2019 (Extended to December 4, 2019) - Acceptance Notification: January 13, 2020 - Camera-Ready Submission: February 10, 2020 EDI40 2020 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: 1.910), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) - International Journal on Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) EDI40 2020 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 2020 will be held in conjunction with the 11th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-20/). Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Aneta Poniszewska-MaraÅ„da, Lodz University of Technology, Poland Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-20/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Nov 18 13:43:32 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 18 Nov 2019 05:43:32 -0800 Subject: [Haskell] [ANT-2020] deadline extension (Dec-04) & extra Journal Special Issues: Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020) Message-ID: The 11th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland April 6-9, 2020 Conference Website: http://cs-conferences.acadiau.ca/ant-20/ Workshops: http://cs-conferences.acadiau.ca/ant-20/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-20/#tutorial Important Dates - Paper Submission Due: November 15, 2019 (Extended to December 4, 2019) - Acceptance Notification: January 13, 2020 - Camera-Ready Submission: February 10, 2020 ANT 2020 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: 1.910), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) - International Journal on Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) ANT 2020 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 2020 will be held in conjunction with the 3rd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-20/). 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 Boulmakoul Azedine, Hassan II University, Morocco Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers, France Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Jason Jaskolka, Carleton University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Natalia Kryvinska, University of Vienna, Austria Flavio Lombardi, Roma Tre University of Rome, Italy Vuk Marojevic, Mississippi State University, USA Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Aneta Poniszewska-MaraÅ„da, Lodz University of Technology, Poland Angelo Riccio, Parthenope University of Naples, Italy Stefan Schulte, TU Wien, Austria Miguel Sepulcre, Miguel Hernandez University of Elche, Spain Khaled Shaaban, Qatar University, Qatar Yves Vanrompay, Hasselt University, Belgium Publicity Chairs Wim Ectors, Hasselt University, Belgium Joanna Ochelska-Mierzejewska, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair 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-20/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From Tomas.Pikulik at fm.uniba.sk Wed Nov 20 18:27:02 2019 From: Tomas.Pikulik at fm.uniba.sk (Pikulik Tomas) Date: Wed, 20 Nov 2019 18:27:02 +0000 Subject: [Haskell] MDM International Workshop (in conjuction with ANT2020, EDi40) - CFPs In-Reply-To: References: , , , , , , , , , , , , , , , , Message-ID: Hello to the team The community of Haskell, as a CFP manager and Workshop chair, I am glad to inform you that the International Workshop - Master Data Management (MDM) is open for CFPs. For more details please visit: https://sites.google.com/view/mdm2020/home. I would like to ask you for posting CFPs opportunities also on your own websites -primarily probably for academic conferences and info pages for your online communities, in-person groups. Contributions are limited to 6 pages as the Workshop paper. You can find more details and register your submission through EasyChair: https://easychair.org/cfp/MDM20 The workshop will be organized in conjunction with The 11th International Conference on Ambient Systems, Networks and Technologies (ANT) & The 3rd International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland April 6-9, 2020 http://cs-conferences.acadiau.ca/ant-20/ & http://cs-conferences.acadiau.ca/EDI40-20/ Important Date * Paper Submission Due: December 4, 2019 (Extended) ANT & EDI40 2020 organizing committee invites you to submit papers. Please encourage your colleagues, research group members and fellow scientists to contribute and participate in this event. ANT & EDI40 2020 conferences 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 kilometers (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometers (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. It's historical Old Town was designated a UNESCO World Heritage Site. Journals Special Issues * Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) * International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) * International Journal on Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier (https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) Publication ANT & EDI40 2020 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/). Your contributions and support are appreciated. Hope to see you in Warsaw, Poland. PhDr. Tomáš Pikulík (PhD. student) International Workshop - Master Data Management Faculty of Management / Comenius University in Bratislava +421 918 713 838 tomas.pikulik at fm.uniba.sk -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Sun Nov 24 21:08:53 2019 From: ben at well-typed.com (Ben Gamari) Date: Sun, 24 Nov 2019 16:08:53 -0500 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1-alpha1 released Message-ID: <87o8x17zj3.fsf@smart-cactus.org> Hello all, The GHC team is happy to announce the availability of the first alpha release in the GHC 8.10 series. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.1-alpha1/ GHC 8.10.1 will bring a number of new features including: * The new UnliftedNewtypes extension allowing newtypes around unlifted types. * The new StandaloneKindSignatures extension allows users to give top-level kind signatures to type, type family, and class declarations. * A new warning, -Wderiving-defaults, to draw attention to ambiguous deriving clauses * A number of improvements in code generation, including changes * A new GHCi command, :instances, for listing the class instances available for a type. * An upgraded Windows toolchain lifting the MAX_PATH limitation * Improved support profiling, including support for sending profiler samples to the eventlog, allowing correlation between the profile and other program events This release marks the beginning of the 8.10 pre-release cycle. The next alpha release will be in roughly two weeks. This next alpha will likely be the last release before the release candidate in late December. If all goes well the final release will be cut roughly two weeks after the candidate, in mid-January. This being an alpha release, there are a few issues that are still outstanding: * The new Alpine Linux binary distribution is not present due to an apparent correctness issue [1]; any help Alpine users can offer here would be greatly appreciated. * We have yet to sort out compliance with Apple's notarization requirements [2] which will be likely be necessary for users of macOS Catalina. * There is an issue with the users guide build that has yet to be sorted out. * There are a couple of non-regression correctness issues which we plan to fix for the final 8.10.1 but are not fixed in this release. * Debian 10 builds are not yet available. Please do test this release and let us know if you encounter any other issues. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17508 [2] https://gitlab.haskell.org/ghc/ghc/issues/17418 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From olexandr543 at yahoo.com Mon Nov 25 15:13:55 2019 From: olexandr543 at yahoo.com (olexandr543 at yahoo.com) Date: Mon, 25 Nov 2019 15:13:55 +0000 (UTC) Subject: [Haskell] ANNOUNCE: mmsyn6ukr -- a program that can be used as a musical instrument synthesizer or for Ukrainian speech synthesis especially for poets and writers References: <1367002719.8953828.1574694835207.ref@mail.yahoo.com> Message-ID: <1367002719.8953828.1574694835207@mail.yahoo.com> Hello, There has been a new program released. It can be used as a musical instrument synthesizer or for Ukrainian speech synthesis especially for poets and writers.For more information, see the program page and README.md. mmsyn6ukr: Can be used as a musical instrument synthesizer or for Ukrainian language listening | | | | mmsyn6ukr: Can be used as a musical instrument synthesizer or for Ukrain... Install via `cabal install mmsyn6ukr`. | | | Best regards,Oleksandr Zhabenko. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ksk at riec.tohoku.ac.jp Mon Nov 25 23:57:12 2019 From: ksk at riec.tohoku.ac.jp (Keisuke Nakano) Date: Tue, 26 Nov 2019 08:57:12 +0900 Subject: [Haskell] FLOPS 2020: Final Call For Papers (Due on 29 Nov, 2019) Message-ID: FINAL Call For Papers (*** STILL AVAILABLE ***) FLOPS 2020: 15th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 23-25 April, 2020, Akita, Japan https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ Writing down detailed computational steps is not the only way of programming. An alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style of programming include functional and logic programming, program transformation and rewriting, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming paradigm, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized Web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2020 will employ a double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors' own related work should be in the third person (e.g., not "We build on our previous work..." but rather "We build on the work of..."). The purpose of this process is to help the reviewers come to a judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2020 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). *** Important Dates *** 29 November 2019 (AoE): Submission deadline 31 January 2020: Author notification 20 February 2020: Camera ready due 23-25 April 2020: FLOPS Symposium *** Programming Comittee *** Elvira Albert Universidad Complutense de Madrid María Alpuente Universitat Politècnica de València Edwin Brady University of St Andrews Michael Hanus CAU Kiel Nao Hirokawa JAIST Zhenjiang Hu Peking University John Hughes Chalmers University of Technology Kazuhiro Inaba Google Shin-Ya Katsumata National Institute of Informatics Ekaterina Komendantskaya Heriot-Watt University Leonidas Lampropoulos University of Pennsylvania Akimasa Morihata The University of Tokyo Shin-Cheng Mu Academia Sinica Keisuke Nakano Tohoku University (co-chair) Koji Nakazawa Nagoya University Enrico Pontelli New Mexico State University Didier Remy INRIA Ricardo Rocha University of Porto Konstantinos Sagonas Uppsala University (co-chair) Ilya Sergey Yale-NUS College Kohei Suenaga Kyoto University Tachio Terauchi Waseda University Kazushige Terui Kyoto University Simon Thompson University of Kent Philip Wadler, University of Edinburgh *** Organizers *** 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) *** Contact Address *** flops2020 _AT_ easychair.org ------------------------------------------------------------------------------- From P.Achten at cs.ru.nl Tue Nov 26 09:29:44 2019 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 26 Nov 2019 10:29:44 +0100 Subject: [Haskell] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Message-ID: <314d40a4-bdb2-6a9d-00ce-e64d644d926d@cs.ru.nl> -------------------------------------------------------------------------                      Third call for papers         21st Symposium on Trends in Functional Programming                           tfp2020.org ------------------------------------------------------------------------- Did you miss the deadline to submit a paper to Trends in Functional Programming http://cse.chalmers.se/~rjmh/tfp/? No worries -- it's not too late! Submission is open until January 10th 2020, for a presentation slot at the event and post-symposium reviewing. 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 is moving to new winter dates, to provide an FP forum in between the   annual ICFP events. * 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. * This year we are particularly excited to co-locate 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. TFP will be held in the same venue, and participants will be able   to session-hop between the two events. Important Dates --------------- Submission deadline for pre-symposium review:   15th November, 2019  -- passed -- Submission deadline for draft papers:           10th January, 2020 Symposium dates:                                13-14th February, 2020 Visit tfp2020.org for more information.