From bob.atkey at gmail.com Fri Mar 2 12:35:30 2018 From: bob.atkey at gmail.com (Robert Atkey) Date: Fri, 2 Mar 2018 12:35:30 +0000 Subject: [Haskell] Mathematically Structured Functional Programming 2018: Call for Papers Message-ID: <1ad726f5-0eb8-dc8b-cce5-fdf7b3c5ad0a@gmail.com> Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: additional talk proposal category ** ** Deadline: 5th April (abstract), 12th April (paper) ** The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. Important Dates: ================ Abstract deadline: 5th April (Thursday) Paper deadline: 12th April (Thursday) Notification: 17th May (Thursday) Final version: 14th June (Thursday) Workshop: 8th July (Sunday) Invited Speakers: ================= - Tamara von Glehn, University of Cambridge, UK - Didier Remy, INRIA, France Program Committee: ================== Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey - University of Strathclyde, UK (co-chair) Jeremy Gibbons - University of Oxford, UK Jennifer Hackett - University of Nottingham, UK Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina Shin-ya Katsumata - National Institute of Informatics, Japan Sam Lindley - University of Edinburgh, UK (co-chair) Clare Martin - Oxford Brookes University, UK Shin-Cheng Mu - Academia Sinica, Taiwan Valeria de Paiva - Nuance Communications, US Alexandra Silva - University College London, UK Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Robert Atkey and Sam Lindley if you have any questions about the scope of the workshop. (New this time) We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Full papers (not two page talk abstracts) must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers and talks must be presented at the workshop by at least one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2018. From david.baelde at gmail.com Fri Mar 2 13:33:06 2018 From: david.baelde at gmail.com (David Baelde) Date: Fri, 2 Mar 2018 14:33:06 +0100 Subject: [Haskell] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP) Message-ID: Programming And Reasoning on Infinite Structures A workshop affiliated with FSCD at FLOC 2018 July 7&8, 2018 Oxford, UK Developing formal methods to program and reason about infinite data, whether inductive or coinductive, is challenging and subject to numerous recent research efforts. The understanding of the logical and computational principles underlying these notions is reaching a mature stage as illustrated by the numerous advances that have appeared in the recent years. Various examples of this can be viewed in recent works on co-patterns, infinite proof systems for logics with induction and coinduction, circular proofs, guarded recursive type theory, research effort on integrated coinduction in proof assistants, concrete semantics of coinductive computation, recent developments in infinitary rewriting, or the unveiling of the Curry-Howard correspondence between temporal logics and functional reactive programming, to name a few. The workshop aims at gathering researchers working on these topics as well as colleagues interested in understanding the recent results and open problems of this line of research: - For outsiders, the workshop will offer tutorial sessions and survey-like invited talks. - For specialists of the topic, the workshop will permit to gather people working with syntactical or semantical methods, people focusing on proof systems or programming languages, and foster exchanges and discussions benefiting from their various perspectives. We are seeking for short submissions (~3-4 pages long) presenting (i) new completed results (ii) work in progress, or (iii) advertising recently published results. The workshop is affiliated with FSCD 2018, as part of the Federated Logic Conference of 2018 and is funded by French ANR, RAPIDO project. ** Important dates and submission details: Submissions: April 15 Notification: May 15 Final abstract: May 25 Workshop: July 7 and 8 Submission page: http://easychair.org/conferences/?conf=paris18 Website: https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/ ** Program Committee: Andreas Abel (Gothenburg University) David Baelde (LSV, ENS Paris-Saclay & Inria Paris; co-chair) Amina Doumane (LIP, ENS Lyon) Martin Lange (University of Kassel) Rasmus Møgelberg (IT University of Copenhagen) Luke Ong (University of Oxford) Andrew Polonsky (Appalachian State University) Colin Riba (LIP, ENS Lyon) Alexis Saurin (IRIF, Université Paris Diderot; co-chair) Alex Simpson (University of Ljubljana) ** Invited speakers: A tutorial and two invited talks will be announced shortly. ** Topics: Suggested, but not exclusive, topics of interest for the workshop are: - Proof systems: proof system for logics with least and greatest fixed points, infinitary and cyclic/circular proof systems - Calculi: infinitary rewriting, infinitary λ-calculi, co-patterns - Type systems: infinitary type systems, guarded recursive type theory - Curry-Howard correspondence to linear temporal logic and functional reactive programming - Semantics: denotational and interactive semantics for infinite data and computations - Tools: extensions of programming languages and proof assistants to better treat infinite data, results on extending programming languages with primitives for manipulating infinite data such as streams in a more structured and convenient way, coinductive proof methods in proof assistants - Proof theory and verification: the workshop will welcome works demonstrating how proof-theoretical investigations can be applied to model-checking problems, e.g. as in recent studies of higher-order recursive schemes or infinitary proofs. -------------- next part -------------- An HTML attachment was scrubbed... URL: From splash.publicity at gmail.com Fri Mar 2 20:24:38 2018 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Fri, 2 Mar 2018 15:24:38 -0500 Subject: [Haskell] SPLASH 2018: 2nd Combined Call for Contributions Message-ID: ACM SIGPLAN SPLASH 2018 November 4-9, 2018 Boston, MA, USA http://2018.splashcon.org The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * SPLASH Workshops * PACMPL Issue OOPSLA * Onward! Papers * Onward! Essays * Dynamic Languages Symposium (DLS) * Generative Programming: Concepts & Experiences (GPCE) * Software Language Engineering (SLE) * SPLASH-E * Posters * Doctoral Symposium * Student Research Competition * Student Volunteers ## SPLASH Workshops Following its long-standing tradition, SPLASH 2018 will host a variety of high quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Submissions are currently being accepted on “a rolling basis” with 6 out of 15 available slots already filled by the middle of January. The rolling call will close on Sat March 3, 2018. http://2018.splashcon.org/track/splash-2018-Workshops ## PACMPL Issue OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Submissions due: Mon, April 16, 2018 http://2018.splashcon.org/track/splash-2018-OOPSLA ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Mon, April 23, 2018 https://2018.onward-conference.org/track/onward-2018-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short. An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Mon, April 23, 2018 https://2018.onward-conference.org/track/onward-2018-Onward-Essays ## Dynamic Languages Symposium (DLS) >From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects of Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Submissions due: Sun, July 1, 2018 http://www.dynamic-languages-symposium.org/dls-18/index.html ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Fri, June 29, 2018 Submissions due: Fri, July 6, 2018 http://2018.splashcon.org/track/gpce-2018 ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. SLE 2018 solicits high quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Abstracts due: Fri, June 29, 2018 Submissions due: Fri, July 6, 2018 http://2018.splashcon.org/track/sle-2018/papers ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact at any desired level of detail. To further facilitate, we will also host 15-minute demo sessions for interested presenters. The poster session and demo presentations are held early in the conference to promote continued discussion among interested parties. Submissions due: Sat, September 22, 2018 http://2018.splashcon.org/track/splash-2018-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions due: Fri, July 20, 2018 http://2018.splashcon.org/track/splash-2018-Doctoral-Symposium ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Submissions due: Fri, July 27, 2018 https://2018.splashcon.org/track/splash-2018-Student-Research-Competition ## Student Volunteers The SPLASH Student Volunteers program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Detailed information on how to apply will be available on the main conference page in March 2018. Estimated deadline for the SV applications will be towards the end of September 2018. https://2018.splashcon.org/track/splash-2018-Student-Volunteers ## Information Contact: publicity at splashcon.org Website: http://2018.splashcon.org Location: Boston Park Plaza Hotel Boston, MA USA ## Organization SPLASH General Chair: * Jan Vitek (Northeastern University) OOPSLA Program Chair: * Manu Sridharan (Uber) Onward! Papers Chair: * Elisa Gonzalez Boix (Vrije Universiteit Brussel) Onward! Essays Chair: * Richard P. Gabriel (Dream Songs, Inc & HPI) DLS Program Chair: * Tim Felgentreff (Oracle Labs, Potsdam) GPCE General Chair: * Eric Van Wyk (University of Minnesota) GPCE Program Chair: * Tiark Rompf (Purdue University) SLE General Chair: * David Pearce (Victoria University of Wellington) SLE Program Co-Chairs: * Tanja Mayerhofer (TU Wien) * Friedrich Steimann (Fernuniversität) SPLASH-I Co-Chairs: * Karim Ali (University of Alberta) * Michael Carbin (MIT) Workshops Co-Chairs: * Arjun Guha (University of Massachusetts Amherst) * Alex Potanin (Victoria University of Wellington) OOPLSA Artifact Evaluation Co-Chairs: * Sam Tobin-Hochstadt (Indiana University) * Jan Vitek (Northeastern University) Posters Co-Chairs: * Paley Li (Czech Technical University in Prague) * Konrad Siek (Czech Technical University in Prague) Doctoral Symposium Chair: * Philipp Haller (KTH Royal Institute of Technology) Student Research Competition Co-Chairs: * Shan Shan Huang (LogicBlox) * Jay McCarthy (University of Massachusetts Lowell) Student Volunteers Co-Chairs: * Juliana Franco (Imperial College London) * Petr Maj (ReactorLabs) Publications Chair: * Tijs van der Storm (CWI & University of Groningen) * Fabio Niephaus (Hasso Plattner Institute, University of Potsdam) Publicity Co-Chairs: * Jonathan Bell (George Mason University) * Celeste Hollenbeck (Northeastern University) Housing Chair: * Ben Greenman (Northeastern University) Diversity Chair: * Etiene Dalcol (Red Badger) Accessibility Chair: * Justin Slepak (Northeastern University) Sponsorships Co-Chairs: * Tocker Taft (AdaCore) * Heather Miller (Northeastern University) Video Co-Chairs: * Benjamin Chung (Northeastern University) * Leif Andersen (Northeastern University) Web Co-Chairs: * Aviral Goel (Northeastern University) * Filip Krikava (Czech Technical University) From c.grelck at uva.nl Wed Mar 7 07:32:53 2018 From: c.grelck at uva.nl (Clemens Grelck) Date: Wed, 7 Mar 2018 08:32:53 +0100 Subject: [Haskell] PhD position (Uni Amsterdam) in Programming Languages and Energy-aware Multi-core Computing Message-ID: <4e9f4dc3-4c10-ec71-eb02-de0e51a6d804@uva.nl> The System and Network Engineering Lab (SNE) of the University of Amsterdam invites applications for a fully funded PhD candidate position in the area of programming languages and energy-aware multi-core computing. The PhD candidate will be involved in the EU Horizon-2020 collaborative research project TeamPlay (Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms) and work under the supervision of Dr Clemens Grelck and Dr Sebastian Altmeyer. The EU Horizon-2020 project TeamPlay brings together 11 academic and industrial partners from across Europe to develop innovative techniques that treat non-functional properties of multi-core software, such as execution time, energy usage and security as first-class citizens. The TeamPlay vision is to enable developers to reason about the functional *and* the non-functional properties of their software at the source code level and to create programs that reflect on their own execution time, energy consumption, etc. More information on the TeamPlay project can be found at www.teamplay-h2020.eu. Within the TeamPlay vision the successful candidate will work on novel programming language abstractions, system-level coordination as well as energy- and time-aware mapping and scheduling techniques that together control the execution of componentised applications on parallel and heterogeneous multi-core architectures under various constraints. This is a paid position as a staff member of the SNE Lab with all advantages and privileges of the Dutch higher education sector! The SNE Lab is part of the Informatics Institute (IvI), which has consistently been ranked among the top 100 computer science departments in the world. The University of Amsterdam is one of the oldest universities in the Netherlands. Today it is the largest and highest ranked Dutch university. The SNE Lab conducts research on leading-edge computing systems across all scales, from global-scale systems and networks to embedded devices. Our particular interest is on extra-functional properties, such as performance, energy consumption, reliability, programmability, productivity, trust and security. The appointment will be full-time (38 hours a week) for a period of 4 years (the initial employment is for 18 months). The salary is in accordance with the university regulations for academic personnel and will range from €2,222 in the first year up to a maximum of €2,840 in the final year (per month, before tax). Additional benefits such as the 8% holiday bonus and the 8.3% end of year bonus result in (almost) 14 effective salaries per year. Come to work at one of Europe’s top universities and live in one of Europe's most beautiful and cosmopolitan cities. Closing date: March 16, 2018 All further information and a link to apply can be found here: http://www.uva.nl/en/content/vacancies/2018/02/18-064-phd-candidate-in-programming-languages-and-energy-aware-parallel-computing.html Or contact us directly: Dr Clemens Grelck: c.grelck at uva.nl Dr Sebastian Altmeyer: altmeyer at uva.nl -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 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 P.Achten at cs.ru.nl Wed Mar 7 14:29:44 2018 From: P.Achten at cs.ru.nl (Peter Achten) Date: Wed, 7 Mar 2018 15:29:44 +0100 Subject: [Haskell] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg Message-ID: <3ee48dff-8787-ec0e-938c-da46b4341e97@cs.ru.nl> ----------------------------- C A L L F O R P A P E R S ----------------------------- ======== TFP 2018 =========== 19th Symposium on Trends in Functional Programming 11-13 June, 2018 Chalmers Campus Johanneberg, Gothenburg http://www.cse.chalmers.se/~myreen/tfp2018/index.html 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 (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2018 will be the main event of a pair of functional programming events. TFP 2018 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 14. == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: Leading-edge, previously unpublished research work Position Articles: On what new trends should or should not be Project Articles: Descriptions of recently started new projects Evaluation Articles: What lessons can be drawn from a finished project Overview Articles: Summarizing work with respect to a trendy subject. Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2018 program chairs, Michał Pałka and Magnus Myreen. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Paper Submissions == We use EasyChair for the refereeing process. The link to the submission page is: https://easychair.org/conferences/?conf=tfp2018 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. == Important Dates == Submission (pre-symposium review): March 26, 2018 Submission (draft, post-symposium review): April 26, 2018 Notification (pre- and post-symposium review): May 3, 2018 Registration: June 3, 2018 TFP Symposium: June 11-13, 2018 TFPIE Workshop: June 14, 2018 Student papers feedback: June 21, 2018 Submission (post-symposium review): August 14, 2018 Notification (post-symposium review): September 20, 2018 Camera-ready paper (pre- and post-symposium review): November 30, 2018 == Program Committee == Program Co-chairs Michał Pałka, Chalmers University of Technology (SE) Magnus Myreen, Chalmers University of Technology (SE) Program Committee Soichiro Hidaka, Hosei University (JP) Meng Wang, University of Bristol (UK) Sam Tobin-Hochstadt, Indiana University Bloomington (US) Tiark Rompf, Purdue University (US) Patricia Johann, Appalachian State University (US) Neil Sculthorpe, Nottingham Trent University (UK) Andres Löh, Well-Typed LLP (UK) Tarmo Uustalu, Tallinn University of Technology (EE) Cosmin E. Oancea, University of Copenhagen (DK) Mauro Jaskelioff, Universidad Nacional de Rosario (AR) Peter Achten, Radboud University (NL) Dimitrios Vytiniotis, Microsoft Research (UK) Alberto Pardo, Universidad de la República (UY) Natalia Chechina, University of Glasgow (UK) Peter Sestoft, IT University of Copenhagen (DK) Scott Owens, University of Kent (UK) From manlang at jku.at Wed Mar 7 21:12:18 2018 From: manlang at jku.at (ManLang Conference) Date: Wed, 07 Mar 2018 22:12:18 +0100 Subject: [Haskell] Call for Papers: ManLang 2018 (Sept. 10-14, Linz, Austria) References: <5AA00CD90200007E00014771@s05gw02.im.jku.at> Message-ID: <5AA055B20200007E000147F0@s05gw02.im.jku.at> ------------------------------------------------------------------------------------------------ CALL FOR PAPERS 15th International Conference on Managed Languages & Runtimes (ManLang'18) September 10-14, 2018, Linz, Austria http://ssw.jku.at/manlang18/ ------------------------------------------------------------------------------------------------ ManLang (formerly PPPJ) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable applications). ====== Topics ====== Topics of interest include but are not limited to: Languages and Compilers ----------------------- - Managed languages (e.g., Java, Scala, JavaScript, Python, Ruby, C#, F#, Clojure, Groovy, Kotlin, R, Smalltalk, Racket, Rust, Go, etc.) - Domain-specific languages - Language design - Compilers and interpreters - Type systems and program logics - Language interoperability - Parallelism, distribution, and concurrency Virtual Machines ---------------- - Managed runtime systems (e.g., JVM, Dalvik VM, Android Runtime (ART), LLVM, .NET CLR, RPython, etc.) - VM design and optimization - VMs for mobile and embedded devices - VMs for real-time applications - Memory management - Hardware/software co-design Techniques, Tools, and Applications ----------------------------------- - Static and dynamic program analysis - Testing and debugging - Refactoring - Program understanding - Program synthesis - Security and privacy - Performance analysis and monitoring - Compiler and program verification =============== Important Dates =============== Submission: May 4, 2018 (Abstracts: April 27) Notification: July 6, 2018 Camera-ready version: August 3, 2018 Poster submission: August 6, 2018 Poster notification: August 13, 2018 Conference: September 10-14, 2018 ========================== Submission and Proceedings ========================== Submissions to the conference will be evaluated on the basis of originality, relevance, technical soundness and presentation quality. Papers should be written in English and not exceed 12 pages in ACM format for full papers (6 pages for WiP, industry, and tool papers). You can also submit posters, which can be accompanied by a one-page abstract, and are due on August 6, 2018. The conference proceedings will be published as part of the ACM International Conference Proceedings Series and will be disseminated through the ACM Digital Library. See the conference homepage for details on paper formats and submission. ============ Organization ============ General Chair: Hanspeter Mössenböck, Johannes Kepler University Linz, Austria Program Chair: Eli Tilevich, Virginia Tech, USA Steering Committee: Walter Binder, University of Lugano (USI), Switzerland Bruce Childers, University of Pittsburgh, USA Martin Pluemicke, DHBW Stuttgart, Germany Christian Probst, Technical University of Denmark, Denmark Petr Tuma, Charles University, Czech Republic Thomas Würthinger, Oracle Labs, Switzerland Program Committee: Godmar Back, Virginia Tech, USA Clement Bera, INRIA, France Christoph Bockisch, Philipps Universität Marburg, Germany Man Cao, Google, USA Shigeru Chiba, University of Tokyo, Japan Yvonne Coady, University of Victoria, Canada Julian Dolby, IBM Research, USA Patrick Eugster, University of Lugano, Switzerland Irene Finocchi, Sapienza University of Rome, Italy Görel Hedin, Lund University, Sweden Robert Hirschfeld, Hasso Plattner Institute, Germany Tony Hosking, Purdue University, USA Doug Lea, SUNY Oswego, USA Eliot Moss, University of Massachusetts, USA Nate Nystrom, University of Lugano, Switzerland Tiark Rompf, Purdue University, USA Jennifer B. Sartor, Vrije Universiteit Brussel, Belgium JeremyJan Vitek, Northeastern University, USA Christian Wimmer, Oracle Labs, USA Jianjun Zhao, Kyushu University, Japan ======== Location ======== Linz, the capital of Upper Austria, is both a city of culture and of industry. Located at the Danube it features a historic downtown and a modern university campus just north of the Danube, where the conference will take place. For information on JKU and Linz, also see: http://www.jku.at, https://en.wikipedia.org/wiki/Linz and https://www.linz.at/english/ ================= Other Information ================= The 5th Virtual Machine Meetup (VMM) is a collocated event with ManLang '18. It is a venue for discussing the latest research and developments in the area of managed language execution. ManLang'18 is organized in cooperation with ACM, ACM SIGPLAN and ACM ICPS, and is sponsored by the JKU Department of Computer Science, Oracle Labs, and Linz AG. http://ssw.jku.at/manlang18/ https://www.facebook.com/ManLangConf/ https://twitter.com/manlangconf From icfp.publicity at googlemail.com Thu Mar 8 20:09:03 2018 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Thu, 08 Mar 2018 12:09:03 -0800 Subject: [Haskell] Final Call for Papers: PACMPL issue ICFP 2018 Message-ID: <5aa1985f9858b_a4e93fdb36057bec2207e@landin.local.mail> PACMPL Volume 2, Issue ICFP 2018 Call for Papers accepted papers to be invited for presentation at The 23rd ACM SIGPLAN International Conference on Functional Programming St. Louis, Missouri, USA http://icfp18.sigplan.org/ ### Important dates Submissions due: 16 March 2018 (Friday) Anywhere on Earth https://icfp18.hotcrp.com Author response: 2 May (Wednesday) - 4 May (Friday) 14:00 UTC Notification: 18 May (Friday) Final copy due: 22 June (Friday) Conference: 24 September (Monday) - 26 September (Wednesday) ### About PACMPL Proceedings of the ACM on Programming Languages (PACMPL ) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers, like this one. ### Scope [PACMPL](https://pacmpl.acm.org/) issue ICFP 2018 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * *Language Design*: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * *Implementation*: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * *Software-Development Techniques*: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * *Foundations*: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * *Analysis and Transformation*: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * *Applications*: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * *Education*: teaching introductory programming; parallel programming; mathematical proof; algebra. Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. PACMPL issue ICFP 2018 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such at the time of submission and that need not report original research results. Detailed guidelines on both categories are given at the end of this call. Please contact the principal editor if you have questions or are concerned about the appropriateness of a topic. ### Preparation of submissions **Deadline**: The deadline for submissions is Friday, March 16, 2018, Anywhere on Earth (). This deadline will be strictly enforced. **Formatting**: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from . For authors using LaTeX, a lighter-weight package, including only the essential files, is available from . There is a limit of 27 pages for a full paper or 14 pages for an Experience Report; in either case, the bibliography will not be counted against these limits. These page limits have been chosen to allow essentially the same amount of content with the new single-column format as was possible with the two-column format used in past ICFP conferences. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting, will be summarily rejected. See also PACMPL's Information and Guidelines for Authors at . **Submission**: Submissions will be accepted at Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. **Author Response Period**: Authors will have a 72-hour period, starting at 14:00 UTC on Wednesday, May 2, 2018, to read reviews and respond to them. **Supplementary Materials**: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. The material should be uploaded at submission time, as a single pdf or a tarball, not via a URL. This supplementary material may or may not be anonymized; if not anonymized, it will only be revealed to reviewers after they have submitted their review of the paper and learned the identity of the author(s). **Authorship Policies**: All submissions are expected to comply with the ACM Policies for Authorship that are detailed at . **Republication Policies**: Each submission must adhere to SIGPLAN's republication policy, as explained on the web at . **Resubmitted Papers**: Authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the principal editor will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. ### Review Process This section outlines the two-stage process with lightweight double-blind reviewing that will be used to select papers for PACMPL issue ICFP 2018. We anticipate that there will be a need to clarify and expand on this process, and we will maintain a list of frequently asked questions and answers on the conference website to address common concerns. **PACMPL issue ICFP 2018 will employ a two-stage review process.** The first stage in the review process will assess submitted papers using the criteria stated above and will allow for feedback and input on initial reviews through the author response period mentioned previously. At the review meeting, a set of papers will be conditionally accepted and all other papers will be rejected. Authors will be notified of these decisions on May 18, 2018. Authors of conditionally accepted papers will be provided with committee reviews (just as in previous conferences) along with a set of mandatory revisions. After five weeks (June 22, 2018), the authors will provide a second submission. The second and final reviewing phase assesses whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. The intent and expectation is that the mandatory revisions can be addressed within five weeks and hence that conditionally accepted papers will in general be accepted in the second phase. The second submission should clearly identify how the mandatory revisions were addressed. To that end, the second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper. The cover letter will facilitate a quick second review, allowing for confirmation of final acceptance within two weeks. Conversely, the absence of a cover letter will be grounds for the paper’s rejection. **PACMPL issue ICFP 2018 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. ### Information for Authors of Accepted Papers * As a condition of acceptance, final versions of all papers must adhere to the new ACM Small format. The page limits for final versions of papers will be increased to ensure that authors have space to respond to reviewer comments and mandatory revisions. * Authors of accepted submissions will be required to agree to one of the three ACM licensing options: open access on payment of a fee (**recommended**, and SIGPLAN can cover the cost as described next); copyright transfer to ACM; or retaining copyright but granting ACM exclusive publication rights. Further information about ACM author rights is available from . * PACMPL is a Gold Open Access journal. It will be archived in ACM’s Digital Library, but no membership or fee is required for access. Gold Open Access has been made possible by generous funding through ACM SIGPLAN, which will cover all open access costs in the event authors cannot. Authors who can cover the costs may do so by paying an Article Processing Charge (APC). PACMPL, SIGPLAN, and ACM Headquarters are committed to exploring routes to making Gold Open Access publication both affordable and sustainable. * ACM offers authors a range of copyright options, one of which is Creative Commons CC-BY publication; this is the option recommended by the PACMPL editorial board. A reasoned argument in favour of this option can be found in the article [Why CC-BY?](https://oaspa.org/why-cc-by/) published by OASPA, the Open Access Scholarly Publishers Association. * We intend that the papers will be freely available for download from the ACM Digital Library in perpetuity via the OpenTOC mechanism. * ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to the definitive version of an ACM article should reduce user confusion over article versioning. After an article has been published and assigned to the appropriate ACM Author Profile pages, authors should visit to learn how to create links for free downloads from the ACM DL. * At least one author of each accepted submissions will be expected to attend and present their paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected. Presentations will be videotaped and released online if the presenter consents. * The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to *two weeks prior* to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Artifact Evaluation Authors of papers that are conditionally accepted in the first phase of the review process will be encouraged (but not required) to submit supporting materials for Artifact Evaluation. These items will then be reviewed by an Artifact Evaluation Committee, separate from the paper Review Committee, whose task is to assess how the artifacts support the work described in the associated paper. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers will be encouraged to make the supporting materials publicly available upon publication of the papers, for example, by including them as "source materials" in the ACM Digital Library. An additional seal will mark papers whose artifacts are made available, as outlined in the ACM guidelines for artifact badging. Participation in Artifact Evaluation is voluntary and will not influence the final decision regarding paper acceptance. Further information about the motivations and expectations for Artifact Evaluation can be found at . ### Special categories of papers In addition to research papers, PACMPL issue ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to half the length of a full paper. Authors submitting such papers should consider the following guidelines. #### Functional Pearls A Functional Pearl is an elegant essay about something related to functional programming. Examples include, but are not limited to: * a new and thought-provoking way of looking at an old idea * an instructive example of program calculation or proof * a nifty presentation of an old or new data structure * an interesting application of functional programming techniques * a novel use or exposition of functional programming in the classroom While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. Functional Pearls are valued as highly and judged as rigorously as ordinary papers, but using somewhat different criteria. In particular, a pearl is not required to report original research, but, it should be concise, instructive, and entertaining. A pearl is likely to be rejected if its readers get bored, if the material gets too complicated, if too much specialized knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. A submission that is intended to be treated as a pearl must be marked as such on the submission web page, and should contain the words "Functional Pearl" somewhere in its title or subtitle. These steps will alert reviewers to use the appropriate evaluation criteria. Pearls will be combined with ordinary papers, however, for the purpose of computing the conference's acceptance rate. #### Experience Reports The purpose of an Experience Report is to help create a body of published, refereed, citable evidence that functional programming really works — or to describe what obstacles prevent it from working. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using functional programming * comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum * project-management, business, or legal issues encountered when using functional programming in a real-world project * curricular issues encountered when using functional programming in education * real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report is distinguished from a normal PACMPL issue ICFP paper by its title, by its length, and by the criteria used to evaluate it. * Both in the papers and in any citations, the title of each accepted Experience Report must begin with the words "Experience Report" followed by a colon. The acceptance rate for Experience Reports will be computed and reported separately from the rate for ordinary papers. * Experience Report submissions can be at most 12 pages long, excluding bibliography. * Each accepted Experience Report will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience reports may be asked to give shorter talks. * Because the purpose of Experience Reports is to enable our community to accumulate a body of evidence about the efficacy of functional programming, an acceptable Experience Report need not add to the body of knowledge of the functional-programming community by presenting novel results or conclusions. It is sufficient if the Report states a clear thesis and provides supporting evidence. The thesis must be relevant to ICFP, but it need not be novel. The review committee will accept or reject Experience Reports based on whether they judge the evidence to be convincing. Anecdotal evidence will be acceptable provided it is well argued and the author explains what efforts were made to gather as much evidence as possible. Typically, more convincing evidence is obtained from papers which show how functional programming was used than from papers which only say that functional programming was used. The most convincing evidence often includes comparisons of situations before and after the introduction or discontinuation of functional programming. Evidence drawn from a single person's experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. An Experience Report should be short and to the point: it should make a claim about how well functional programming worked on a particular project and why, and produce evidence to substantiate this claim. If functional programming worked in this case in the same ways it has worked for others, the paper need only summarize the results — the main part of the paper should discuss how well it worked and in what context. Most readers will not want to know all the details of the project and its implementation, but the paper should characterize the project and its context well enough so that readers can judge to what degree this experience is relevant to their own projects. The paper should take care to highlight any unusual aspects of the project. Specifics about the project are more valuable than generalities about functional programming; for example, it is more valuable to say that the team delivered its software a month ahead of schedule than it is to say that functional programming made the team more productive. If the paper not only describes experience but also presents new technical results, or if the experience refutes cherished beliefs of the functional-programming community, it may be better off submitted it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. The principal editor will be happy to advise on any concerns about which category to submit to. ### ICFP Organizers General Chair: Robby Findler (Northwestern University, USA) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organiser: Matthew Fluet (Rochester Institute of Technology, USA) Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA) Student Research Competition Chair: Ilya Sergey (University College London, UK) Video Co-Chairs: Jose Calderon (Galois, Inc., USA) Nicolas Wu (University of Bristol, UK) Workshops Co-Chair: David Christiansen (Indiana University, USA) Christophe Scholliers (Universiteit Gent, Belgium) ### PACMPL Volume 2, Issue ICFP 2018 Principal Editor: Matthew Flatt (Univesity of Utah, USA) Review Committee: Sandrine Blazy (IRISA, University of Rennes 1, France) David Christiansen (Indiana University, USA) Martin Elsman (University of Copenhagen, Denmark) Marco Gaboardi (University at Buffalo, CUNY, USA) Sam Lindley (University of Edinburgh, UK) Heather Miller (Northweastern University, USA / EPFL, Switzerland) J. Garrett Morris (University of Kansas, USA) Henrik Nilsson (University of Nottingham, UK) François Pottier (Inria, France) Alejandro Russo (Chalmers University of Technology, Sweden) Ilya Sergey (University College London, UK) Michael Sperber (Active Group GmbH, Germany) Wouter Swierstra (Utrecht University, UK) Éric Tanter (University of Chile, Chile) Katsuhiro Ueno (Tohoku University, Japan) Niki Vazou (University of Maryland, USA) Jeremy Yallop (University of Cambridge, UK) External Review Committee: Michael D. Adams (University of Utah, USA) Amal Ahmed (Northeastern University, USA) Nada Amin (University of Cambridge, USA) Zena Ariola (University of Oregon) Lars Bergstrom (Mozilla Research) Lars Birkedal (Aarhus University, Denmark) Edwin Brady ( University of St. Andrews, UK) William Byrd (University of Alabama at Birmingham, USA) Giuseppe Castagna (CRNS / University of Paris Diderot, France) Sheng Chen (University of Louisiana at Lafayette, USA) Koen Claessen (Chalmers University ot Technology, Sweden) Ugo Dal Lago (University of Bologna, Italy / Inria, France) David Darais (University of Vermont, USA) Joshua Dunfield (Queen’s University, Canada) Richard Eisenberg (Bryn Mawr College, USA) Matthew Fluet (Rochester Institute of Technology, USA) Nate Foster (Cornell University, USA) Jurriaan Hage (Utrecht University, Netherlands) David Van Horn (University of Maryland, USA) Zhenjiang Hu (National Institute of Informatics, Japan) Suresh Jagannathan (Purdue University, USA) Simon Peyton Jones (Microsoft Research, UK) Naoki Kobayashi (University of Tokyo, Japan) Neelakantan Krishnaswami (University of Cambridge, UK) Kazutaka Matsuda (Tohoku University, Japan) Trevor McDonell (University of New South Wales, Australia) Hernan Melgratti (University of Buenos Aires, Argentina) Akimasa Morihata (University of Tokyo, Japan) Aleksandar Nanevski (IMDEA Software Institute, Spain) Kim Nguyễn (University of Paris-Sud, France) Cosmin Oancea (DIKU, University of Copenhagen, Denmark) Bruno C. d. S. Oliveira (University of Hong Kong, China) Tomas Petricek (University of Cambridge, UK) Benjamin Pierce (University of Pennsylvania, USA) Christine Rizkallah (University of Pennsylvania, USA) Tom Schrijvers (KU Leuven, Belgium) Manuel Serrano (Inria, France) Jeremy Siek (Indiana University, USA) Josef Svenningsson (Chalmers University of Technology, Sweden) Nicolas Tabareau (Inria, France) Dimitrios Vytiniotis (Microsoft Research, UK) Philip Wadler (University of Edinburgh, UK) Meng Wang (University of Kent, UK) From Graham.Hutton at nottingham.ac.uk Mon Mar 12 10:54:42 2018 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 12 Mar 2018 10:54:42 +0000 Subject: [Haskell] Midlands Graduate School 2018 - final call for participation Message-ID: <382794D8-9AC3-4CC9-B7D3-541B27B30FBA@exmail.nottingham.ac.uk> Dear all, There are just a few days left now to register for this years Midlands Graduate School (MGS) in Nottingham: eight fantastic courses on dependently typed programming, categories, lambda calculus, semantics, and more. Registration closes on Friday 16th March. Please share! http://tinyurl.com/MGS18NOTT Best wishes, Graham Hutton and Henrik Nilsson ========================================================== Midlands Graduate School 2018 9-13 April 2018, Nottingham, UK http://tinyurl.com/MGS18NOTT BACKGROUND: The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES: Eight courses will be given. Participants usually take all the introductory courses and choose additional options from the advanced courses depending on their interests. Invited course - Type-Driven Development with Idris, Edwin Brady Introductory courses - Lambda Calculus, Venanzio Capretta - Category Theory, Roy Crole - Domain Theory and Denotational Semantics, Achim Jung Advanced courses - Univalent Foundations, Benedikt Ahrens - Coalgebra, Alexander Kurz - Separation Logic, Georg Struth - Machine Learning, Michel Valstar REGISTRATION: Registration is £550 for student, academic and independent participants, and £850 for industry participants. The fee includes 5 nights single en-suite accommodation (Sun-Thu), lunch and coffee breaks, and the conference dinner. The registration deadline is ** Friday 16th March **. Spaces are limited, so please register early to secure your place. SPONSORSHIP: We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. ========================================================== 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 publicityifl at gmail.com Tue Mar 13 07:48:40 2018 From: publicityifl at gmail.com (Jurriaan Hage) Date: Tue, 13 Mar 2018 00:48:40 -0700 Subject: [Haskell] 1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages) Message-ID: Hello, Please, find below the first call for papers for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- ================================================================================ IFL 2018 30th Symposium on Implementation and Application of Functional Languages University of Massachusetts Lowell, MA, USA September 5th-7th, 2018 http://iflconference.org ================================================================================ ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2018 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications ### Submissions and peer-review Differently from previous editions of IFL, IFL 2018 solicits two kinds of submissions: * Regular papers (12 pages including references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication will be considered as draft papers, at the request of the author. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. Prior to the symposium: Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2018. After the symposium: Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Publication The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication ### Important dates Submission of regular papers: May 25, 2018 Submission of draft papers: July 17, 2018 Regular and draft papers notification: July 20, 2018 Deadline for early registration: August 8, 2018 Submission of pre-proceedings version: August 29, 2018 IFL Symposium: September 5-7, 2018 Submission of papers for post-proceedings: November 7, 2018 Notification of acceptance: December 22, 2018 Camera-ready version: February 10, 2019 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2018 ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organization and Program committee Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell, USA Program Committee: * Arthur Chargu√©raud, Inria, FR * Ben Delaware, Purdue University, USA * Christos Dimoulas, Northwestern University, USA * David Darais, University of Vermont, USA * Dominic Orchard, University of Kent, UK * Ekaterina Komendantskaya, Heriot-Watt University, UK * Garrett Morris, University of Kansas, USA * Heather Miller, EPFL & Northeastern University, CH & USA * Jeremy Yallop, University of Cambridge, UK * Keiko Nakata, SAP Innovation Center Potsdam, DE * Laura Castro, University of A Coru√±a, ESP * Magnus Myreen, Chalmers University of Technology, SWE * Natalia Chechina, Bournemouth University, UK * Peter Achten, Radboud Universiteit Nijmegen, NL * Peter-Michael Osera, Grinnell College, USA * Richard Eisenberg, Bryn Mawr College, USA * Trevor McDonell, University of New South Wales, AUS * Yukiyoshi Kameyama, University of Tsukuba, JAP ### Venue The 30th IFL will take place at the UMass Lowell Inn & Conference Center in Lowell (MA), in association with the University of Massachusetts Lowell. The City of Lowell is located at the heart of the Merrimack Valley just 30 miles northwest of Boston. Lowell can be easily reached by train or taxi. See the website for more information on the venue. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organizers for their work, which is reused here. A part of IFL 2018 format and CFP language that describes conditionally accepted papers has been adapted from call-for-papers of OOPSLA conferences. -------------- next part -------------- An HTML attachment was scrubbed... URL: From evw at umn.edu Tue Mar 13 14:58:16 2018 From: evw at umn.edu (Eric Van Wyk) Date: Tue, 13 Mar 2018 09:58:16 -0500 Subject: [Haskell] GPCE 2018 Call for Papers: Boston, MA, USA, Nov 5, 6 2018 Message-ID: -------------------------------------------------------------------------- CALL FOR PAPERS 17th International Conference on Generative Programming: Concepts & Experiences (GPCE 2018) November 5-6, 2018 Boston, MA, USA (co-located with SPLASH 2018) http://2018.splashcon.org/track/gpce-2018 http://twitter.com/GPCECONF http://www.facebook.com/GPCEConference IMPORTANT DATES * Submission of abstracts: June 29, 2018 * Submission of papers: July 6, 2018 * Paper notification: August 24, 2018 Submission site: https://gpce18.hotcrp.com/ -------------------------------------------------------------------------- SCOPE GPCE is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, * domain-specific languages, language embedding, language design, and language workbenches, * feature-oriented programming, domain engineering, and feature interactions, * applications and properties of code generation, language implementation, and product-line development. Authors are welcome to check with the PC chair whether their planned papers are in scope. PAPER SELECTION The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. PAPER CATEGORIES GPCE solicits three kinds of submissions. * Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography. * Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. * Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords "Tool Demo" or "Tool Demonstration" in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission. PAPER SUBMISSION All submissions must use the ACM SIGPLAN Conference Format "acmart", using the "sigplan" sub-format, and 10 point font. Additional details and links to templates and the LaTeX class file can be found on the conference web site: http://2018.splashcon.org/track/gpce-2018. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. GPCE will follow a very lightweight model, where author identities are revealed to reviewers after submitting their initial reviews. Hence, the purpose is not to conceal author identities at all cost, but merely to provide reviewers with an unbiased first look at a submission. Author names and institutions should be omitted from submitted papers, and references to the authors' own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. Papers must be submitted using HotCRP: https://gpce18.hotcrp.com/ For additional information, clarification, or answers to questions please contact the program chair. ORGANIZATION Chairs (chairs at gpce.org) General Chair: Eric Van Wyk (University of Minnesota, USA) Program Chair: Tiark Rompf (Purdue University, USA) Program Committee Vander Alves, University of Brasilia Kenichi Asai, Ochanomizu University Martin Berger, University of Sussex Aggelos Biboudis, EPFL Eugene Burmako, Twitter Charisee Chiw, University of Chicago Dana Drachsler Cohen, ETH Zürich Sebastian Erdweg, TU Delft Robert Glück, DIKU Vinod Grover, NVIDIA Shoaib Kamil, Adobe Andrei Klimov, Keldysh Institute Oleg Kiselyov, Tohoku University Stefan Marr, University of Kent Sarah Nadi, University of Alberta Klaus Ostermann, University of Tübingen Oleksandr Polozov, Microsoft Research Ina Schaefer, TU Braunschweig Ulrik Pagh Schultz, University of Southern Denmark Chung-chieh Shan, Indiana University Jeremy Siek, Indiana University Alexander Slesarenko, Huawei Anthony Sloane, Macquarie University Tijs van der Storm, CWI Walid Taha, Halmstad University Kanae Tsushima, NII Jeremy Yallopp, University of Cambridge -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Mar 14 13:16:37 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 14 Mar 2018 09:16:37 -0400 Subject: [Haskell] [FNC-2018] 13th International Conference on Future Networks and Communications. Gran Canaria, Spain (August 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 13th International Conference on Future Networks and Communications August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/fnc-18/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: March 22, 2018 - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All FNC 2018 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 following special issues: - International 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), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) FNC 2018 will be held in conjunction with the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-18/). FNC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. FNC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Hossam Hassanein, Queens University, Canada Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/fnc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Mar 14 13:23:08 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 14 Mar 2018 09:23:08 -0400 Subject: [Haskell] [MobiSPC-2018] 15th International Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: March 22, 2018 - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 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 following special issues: - International 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), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/). . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From grewe at st.informatik.tu-darmstadt.de Wed Mar 14 17:32:45 2018 From: grewe at st.informatik.tu-darmstadt.de (Sylvia Grewe) Date: Wed, 14 Mar 2018 18:32:45 +0100 Subject: [Haskell] Call for Participation: 2018 in Nice Message-ID: <29c3d8c8-1a9b-b201-67ba-20165e081cc1@st.informatik.tu-darmstadt.de> -----------------------------------------------------------------------   2018 : The Art, Science, and Engineering of Programming    April 9-12, 2018, Nice, France https://2018.programming-conference.org/ ----------------------------------------------------------------------- We are excited to welcome you to 2018, the second edition of a young conference on everything to do with programming. It takes place at the Boscolo B4 Plaza in Nice, France on April 9-12. The conference is closely associated with the open-access journal "The Art, Science, and Engineering of Programming". The journal's first two issues are freely accessible at http://programming-journal.org/ and form part of the conference's research track.  Along with the research track, 2018 features a program with two main keynotes, several workshops, a coding dojo, and a student research competition. ***********************************************************************  Program highlights *********************************************************************** Main conference:  - Keynote: "The Recurring Rainfall Problem" by Shriram Krishnamurthi  - Keynote: "Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities" by Sukyoung Ryu Co-located events: - Bx 2018: Seventh International Workshop on Bidirectional Transformations, with 12 talks - MoreVMs 2018: Workshop on Modern Language Runtimes, Ecosystems, and VMs, with 9 talks - PASS 2018: Programming Across the System Stack, with 3 paper talks and two invited talks by Christa Lopes and Ludovic Henrio - PX/18: 4th Edition of the Programming Experience Workshop - ProWeb 2018: Programming Technology for the Future Web, with 4 paper talks and one invited talk by Manuel Serrano - Salon des Refusés 2018 workshop - CoCoDo 2018, Compiler Coding Dojo Social events:  - Banquet at Restaurant of the Plage Beau Rivage (April 11) ***********************************************************************  Registration, attendance and accommodation ***********************************************************************  - You can register for 2018 at: https://2018.programming-conference.org/attending/registration  - Early registration ends soon! Please register before March 16th to obtain the early-bird discount.  - More information on attending the conference is available at: https://2018.programming-conference.org/attending/reaching-the-conference  - More information on accommodation is available at: https://2018.programming-conference.org/attending/accommodation ***********************************************************************  About Nice *********************************************************************** Nice, Capital of the French Riviera, is a charming city between sea and mountains, which has a strong cultural heritage. You will discover the French gastronomy and specialities from Nice, the numerous museums (Musée Matisse, Musée des Arts Asiatiques, Musée des Beaux Arts, Musée d’Art Moderne et d’Art Contemporain (MAMAC), Musée Chagall…) and of course various places like “la promenade des Anglais” or “le Vieux Nice”. In “La Promenade des Anglais”, you may practice sports like running, roller skating or cycling, enjoy the beauty of the Meditterean Sea and spend some time on the beach. You can also walk downtown to do some shopping or just discover the city by using the Tramway which allows you to go about everywhere in Nice. There are many places to go out to enjoy your evenings in the Vieux Nice, around the harbor or downtown. ----------------------------------------------------------------------- For more information, please visit https://2018.programming-conference.org/ You can also find us on Twitter (twitter.com/programmingconf ) and Facebook (facebook.com/programmingconf ) Looking forward to seeing you in Nice, Manuel Serrano (General chair), Tamara Rezk (Organizing chair), Guido Salvaneschi (Program chair), Sylvia Grewe, Philipp Haller, Etienne Lozes, Stefan Marr, Minh Ngo, Tobias Pape, Yves Roudier, and Jennifer B. Sartor -------------- next part -------------- An HTML attachment was scrubbed... URL: From lemming at henning-thielemann.de Thu Mar 15 11:06:49 2018 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Thu, 15 Mar 2018 12:06:49 +0100 (CET) Subject: [Haskell] GHC 8.4.1 released Message-ID: So far only announced on Haskell-Cafe, but not the Haskell mailing list: http://mail.haskell.org/haskell-cafe/2018-March/128730.html From simonpj at microsoft.com Thu Mar 15 22:52:47 2018 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Thu, 15 Mar 2018 22:52:47 +0000 Subject: [Haskell] The Haskell Report: who maintains it? Message-ID: Friends Does anyone know who, if anyone, feels responsible for committing updates to the Haskell 2010 Report? Who even has commit rights? There’s Frank’s pull request below, and I have another important typo to fix. Thanks Simon From: Frank Steffahn [mailto:notifications at github.com] Sent: 11 March 2018 17:03 To: haskell/haskell-report Cc: Subscribed Subject: [haskell/haskell-report] Fix a typo in: Semantics of Case Expressions, Part 3 (s) (#4) Hi. I noticed this in the Haskell 2010 report, which is an obvious typo / mistake. I’m not 100% sure if this is the right branch (or even in general the right place) to note this, but I hope it will get fixed ;-) This seems like it is an artifact of copy-and-pasting from “Semantics of Case Expressions, Part 1 (c)” without properly adapting the thing, especially in commit bc94554. ________________________________ You can view, comment on, or merge this pull request online at: https://github.com/haskell/haskell-report/pull/4 Commit Summary * Fix a typo in: Semantics of Case Expressions, Part 3 (s) File Changes * M report/exps.verb (1) Patch Links: * https://github.com/haskell/haskell-report/pull/4.patch * https://github.com/haskell/haskell-report/pull/4.diff — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread. -------------- next part -------------- An HTML attachment was scrubbed... URL: From david.feuer at gmail.com Thu Mar 15 22:57:13 2018 From: david.feuer at gmail.com (David Feuer) Date: Thu, 15 Mar 2018 18:57:13 -0400 Subject: [Haskell] The Haskell Report: who maintains it? In-Reply-To: References: Message-ID: We also have an inconsistency between the textual descriptions of accumArray and accum and their reference implementations. I recently changed GHC's implementations to better match the text (for efficiency reasons), but the reference implementations should be adjusted too. On Thu, Mar 15, 2018 at 6:52 PM, Simon Peyton Jones via Haskell < haskell at haskell.org> wrote: > Friends > > > > Does anyone know who, if anyone, feels responsible for committing updates > to the Haskell 2010 Report? > > > > Who even has commit rights? > > > > There’s Frank’s pull request below, and I have another important typo to > fix. > > > > Thanks > > > > Simon > > > > *From:* Frank Steffahn [mailto:notifications at github.com] > *Sent:* 11 March 2018 17:03 > *To:* haskell/haskell-report > *Cc:* Subscribed > *Subject:* [haskell/haskell-report] Fix a typo in: Semantics of Case > Expressions, Part 3 (s) (#4) > > > > Hi. I noticed this in the Haskell 2010 report, which is an obvious typo / > mistake. I’m not 100% sure if this is the right branch (or even in general > the right place) to note this, but I hope it will get fixed ;-) > > This seems like it is an artifact of copy-and-pasting from “Semantics of > Case Expressions, Part 1 (c)” without properly adapting the thing, > especially in commit bc94554 > > . > ------------------------------ > You can view, comment on, or merge this pull request online at: > > https://github.com/haskell/haskell-report/pull/4 > > Commit Summary > > - Fix a typo in: Semantics of Case Expressions, Part 3 (s) > > File Changes > > - *M* report/exps.verb > > (1) > > Patch Links: > > - https://github.com/haskell/haskell-report/pull/4.patch > > - https://github.com/haskell/haskell-report/pull/4.diff > > > — > You are receiving this because you are subscribed to this thread. > Reply to this email directly, view it on GitHub > , > or mute the thread > > . > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From jaspervdj at gmail.com Thu Mar 15 23:49:29 2018 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Thu, 15 Mar 2018 19:49:29 -0400 Subject: [Haskell] [Google Summer of Code 2018] Student Applications are now open Message-ID: <20180315234929.GD16135@colony6.localdomain> Hey all, As we've previously announced through different channels, Haskell.org was accepted into Google Summer of Code 2018 [1]. Students application have now opened. Students can submit their proposal at the Summer of Code Dashboard [2]. We are also seeking mentors for possible projects. This year, we would like to assign a back-up mentor for each student. If you are interested in mentoring, please contact us [3] so we can add you to the mentor list directly. Having good mentors is an important factor in making the students feel welcome and guiding them to a succesful completion of their projects. If you would like to apply but you don't know how to start your proposal, have a look at our ideas list [4] and this great guide [5]. Lastly, we recognize that inclusion is an important part of our mission to promote Haskell. Therefore, we strongly encourage applications from people in communities that are underrepresented in functional programming, including but not limited to women; people of color; people in gender, sexual and romantic minorities; people with disabilities; people residing in Asia, Africa, or Latin America; and people who have never taken part in similar programs before. Kind regards, Jasper Van der Jeugt & George Wilson on behalf of the Haskell.org Committee [1]: https://summerofcode.withgoogle.com/organizations/5706672807346176/ [2]: https://summerofcode.withgoogle.com/ [3]: https://summer.haskell.org/contact.html [4]: https://summer.haskell.org/ideas.html [5]: http://write.flossmanuals.net/gsocstudentguide/writing-a-proposal/ From Tillmann.Vogt at rwth-aachen.de Fri Mar 16 11:06:37 2018 From: Tillmann.Vogt at rwth-aachen.de (Tillmann Vogt) Date: Fri, 16 Mar 2018 12:06:37 +0100 Subject: [Haskell] [Google Summer of Code 2018] Student Applications are now open In-Reply-To: <20180315234929.GD16135@colony6.localdomain> References: <20180315234929.GD16135@colony6.localdomain> Message-ID: <94f83004-596f-7918-1e6d-f83c03c8641f@rwth-aachen.de> Am 16.03.2018 um 00:49 schrieb Jasper Van der Jeugt: > Lastly, we recognize that inclusion is an important part of our mission > to promote Haskell. Therefore, we strongly encourage applications from Why "strongly" encourage? Why not just encourage? This sounds like you are in a war. I would also be very careful about being "on a mission". This by itself would be OK if its just about being enthusiastic. But in combination with the other text. Hm. People generally don't like missionaries. Also: Why are minorities explicitly named? To me this has a dividing and discriminating effect. I know I know. I am supposed to just ignore this. You most likely just copied it from a template. The people with the money want control over our minds. And we should better not complain or there will be no GSOC next year. SCNR. > people in communities that are underrepresented in functional > programming, including but not limited to women; people of color; people > in gender, sexual and romantic minorities; people with disabilities; > people residing in Asia, Africa, or Latin America; and people who have > never taken part in similar programs before. > > Kind regards, Jasper Van der Jeugt & George Wilson on behalf of the > Haskell.org Committee From wheeler at amnh.org Fri Mar 16 15:16:05 2018 From: wheeler at amnh.org (Ward C Wheeler) Date: Fri, 16 Mar 2018 15:16:05 +0000 Subject: [Haskell] Haskell Programmer position Message-ID: (Apologies if this this list is inappropriate for such an announcement) Seeking a programmer for bioinformatics applications in phylogenetic analysis. Will be working on a grant funded project in a an academic setting (with opportunity for collaboration on academic bioinformatics publications), which centers on creating evolutionary trees from linguistic, genomic and other data. The main development language is Haskell. We have a functioning core Haskell codebase of 22K LOC and a stable legacy C & C++ codebase of 10K. Remote work in not possible and the duration of the project is from July 1, 2018 to June 30, 2020. Qualifications: B.S/M.S. Degree in Computer Science or Engineering. Experienced with sizable applications preferable in a functional language (ML, Lisp, Haskell, Ocaml) ideally Haskell. Experience with C or C++ is not-essential, but desirable. Salary: Commensurate with experience Contact: wheeler at amnh.org Ward Wheeler Division of Invertebrate Zoology American Museum of Natural History Central Park West at 79th Street New York, NY 10024-5192 USA wardwheeler.wordpress.com http://www.amnh.org/our-research/computational-sciences/research/projects/systematic-biology/poy/download -------------- next part -------------- An HTML attachment was scrubbed... URL: From danburton.email at gmail.com Sat Mar 17 01:50:31 2018 From: danburton.email at gmail.com (Dan Burton) Date: Fri, 16 Mar 2018 18:50:31 -0700 Subject: [Haskell] [Google Summer of Code 2018] Student Applications are now open In-Reply-To: <94f83004-596f-7918-1e6d-f83c03c8641f@rwth-aachen.de> References: <20180315234929.GD16135@colony6.localdomain> <94f83004-596f-7918-1e6d-f83c03c8641f@rwth-aachen.de> Message-ID: Pardon the tangent, but if I could just throw in my two cents about this. The Haskell community has always been helpful, kind, and inclusive of me. This was true before I came out of the closet as gay, and remained true afterwards as well. At a time when I was unable to turn to people in my personal life, I was able to turn to contacts in the Haskell community. I would not have done so if I did not explicitly know that those particular people would be safe to turn to. Messages of explicit inclusion need not be interpreted as divisive; they do not imply exclusion of those not explicitly listed. I am grateful that minorities are explicitly called out and strongly encouraged to apply in this announcement. I am confident that haskell.org will make every effort to support and empower all applicants. -- Dan Burton On Fri, Mar 16, 2018 at 4:06 AM, Tillmann Vogt wrote: > Am 16.03.2018 um 00:49 schrieb Jasper Van der Jeugt: > >> Lastly, we recognize that inclusion is an important part of our mission >> to promote Haskell. Therefore, we strongly encourage applications from >> > > Why "strongly" encourage? Why not just encourage? > This sounds like you are in a war. I would also be very careful about > being "on a mission". This by itself would be OK if its just about being > enthusiastic. But in combination with the other text. Hm. People generally > don't like missionaries. > Also: Why are minorities explicitly named? To me this has a dividing and > discriminating effect. > I know I know. I am supposed to just ignore this. You most likely just > copied it from a template. The people with the money want control over our > minds. And we should better not complain or there will be no GSOC next > year. SCNR. > >> people in communities that are underrepresented in functional >> programming, including but not limited to women; people of color; people >> in gender, sexual and romantic minorities; people with disabilities; >> people residing in Asia, Africa, or Latin America; and people who have >> never taken part in similar programs before. >> >> Kind regards, Jasper Van der Jeugt & George Wilson on behalf of the >> Haskell.org Committee >> > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Sat Mar 17 02:20:39 2018 From: gershomb at gmail.com (Gershom B) Date: Fri, 16 Mar 2018 22:20:39 -0400 Subject: [Haskell] [Google Summer of Code 2018] Student Applications are now open In-Reply-To: <94f83004-596f-7918-1e6d-f83c03c8641f@rwth-aachen.de> References: <20180315234929.GD16135@colony6.localdomain> <94f83004-596f-7918-1e6d-f83c03c8641f@rwth-aachen.de> Message-ID:   On March 16, 2018 at 7:08:20 AM, Tillmann Vogt (tillmann.vogt at rwth-aachen.de(mailto:tillmann.vogt at rwth-aachen.de)) wrote: > I know I know. I am supposed to just ignore this. You most likely just > copied it from a template. The people with the money want control over > our minds. And we should better not complain or there will be no GSOC > next year. SCNR. This was not mindlessly copied from a template, and it was not imposed by google. This was written by the people involved in the Haskell GSoC work, because we meant it. It was not written to ask people to ignore. It was written to ask people to consider, and to indicate that we understand that in drawing people into the world of free software development, we should take pains to make the tools we build and use as widely accessible as possible. We want to share the joy of functional programming with everyone, and that means, especially that we want to help foster Haskell among those that are, thus far, historically underrepresented in the world of functional programming. I think it is a good thing. Best, Gershom (p.s. This list is intended to be low-traffic and for announcements. Future discussion on this list would be off topic. If people would like discussion to continue, I suggest haskell-cafe). From Gerwin.Klein at data61.csiro.au Sat Mar 17 08:17:47 2018 From: Gerwin.Klein at data61.csiro.au (Gerwin.Klein at data61.csiro.au) Date: Sat, 17 Mar 2018 08:17:47 +0000 Subject: [Haskell] Data61 Seeking Proof Engineers Message-ID: <7F370BAB-F369-43E5-AFA7-ABFFA62B5284@data61.csiro.au> Data61 Seeking Proof Engineers ============================== We are are hiring again! If only there were a place where I could prove theorems for money, change the world, and have fun while doing it... Sounds too good to exist? In the Trustworthy Systems team at Data61 that's what we do for a living. We are the creators of seL4, the world's first fully formally verified operating system kernel with extreme performance and strong security & correctness proofs. Our highly international team is located on the UNSW campus, close to the beautiful beaches of sunny Sydney, Australia, one of the world's most liveable cities. We are looking for 3 motivated proof engineers who want to join our team in Sydney, move things forward, and have global impact. We are expanding our team, because seL4 is going places. There are active projects around the world in - Automotive - because cars have been hacked enough - Aviation - for more security and safety for autonomous vehicles - Defence - protecting confidential information - Connected consumer devices - with security built in from the start - Spaceflight - because awesome To make these projects successful, we need to scale formal verification. You would - work on industrial-scale formal proofs in Isabelle/HOL - develop formally verified infrastructure for building secure systems on top of seL4 - contribute to improved proof automation and better reasoning techniques - apply formal proof to real-world systems and tools To apply for this position, you should possess a significant subset of the following skills. - functional programming in a language like Haskell, ML, or OCaml - first-order or higher-order formal logic - basic experience in C - ability and desire to quickly learn new techniques - undergraduate degree in Computer Science, Mathematics, or similar - ability and desire to work in a larger team We are hiring at two levels, so if you are more qualified or experienced than the above would suggest, you can come in as a senior proof engineer. If you additionally have experience - in software verification with an interactive theorem prover such as Isabelle/HOL, HOL4, or Coq, and/or - with operating systems and microkernels you should definitely apply! If you have the right skills and background, we can provide training on the job. Continual learning is a central component of everything we do. You will work with a unique world-leading combination of OS and formal methods experts, students at undergraduate and PhD level, engineers, and researchers from 5 continents, speaking over 15 languages. Trustworthy Systems is a fun, creative, and welcoming workplace with flexible hours & work arrangements. We value diversity in all forms and welcome applications from people of all ages, including people with disabilities, and those who identify as LGBTIQ. See https://ts.data61.csiro.au/diversity/ for more information. Salary ranges for this position, in AUD (plus superannuation): - Junior: 80-91K - Senior: 95-103K depending on experience and qualifications. Apply online at the following links: - https://jobs.csiro.au/job/Sydney%2C-NSW-Proof-Engineer/464792900/ - https://jobs.csiro.au/job/Sydney%2C-NSW-Senior-Proof-Engineer/464792300/ Your application should include a cover letter, CV, undergraduate transcript (if applicable), and contact information for two references. This round of applications closes 21 November 2017. The seL4 code and proof are open source. Check them out at https://seL4.systems More information about Data61's Trustworthy Systems team at https://ts.data61.csiro.au Still studying? We also have internship opportunities! https://ts.data61.csiro.au/students/ From icfp.publicity at googlemail.com Sun Mar 18 04:07:53 2018 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Sat, 17 Mar 2018 21:07:53 -0700 Subject: [Haskell] Call for Tutorial Proposals: ICFP 2018 Message-ID: <5aade6197eeb0_d12c3ffd2e057bf095691@landin.local.mail> CALL FOR TUTORIAL PROPOSALS ICFP 2018 23rd ACM SIGPLAN International Conference on Functional Programming September 23-29, 2018 St. Louis, Missouri, United States http://conf.researchr.org/home/icfp-2018 The 23rd ACM SIGPLAN International Conference on Functional Programming will be held in St. Louis, Missouri, United States on September 23-29, 2018. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Tutorials may occur in parallel to both ICFP and its co-located workshops, from September 23 through September 29. Additionally, ICFP is co-located with Strange Loop this year, and this will be taken into account when scheduling tutorials. ---------------------------------------------------------------------- Submission details Deadline for submission: April 9, 2018 Notification of acceptance: April 16, 2018 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2018 workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018 at googlegroups.com by April 9, 2018. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by April 16, 2018. The proposal form is available at: http://www.icfpconference.org/icfp2018-files/icfp18-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2018 organizing committee. Workshop Co-Chair: Christophe Scholliers (University of Ghent) Workshop Co-Chair: David Christiansen (Galois, Inc.) General Chair: Robby Findler (Northwestern University) Program Chair: Matthew Flatt (University of Utah) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018 at googlegroups.com From rdgrande at site.uottawa.ca Mon Mar 19 12:19:20 2018 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Mon, 19 Mar 2018 08:19:20 -0400 Subject: [Haskell] CFP Special Sessions: DS-RT 2018 - Madrid, Spain, October 15-17, 2018 Message-ID: Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2018, the 22nd IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running three special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS These special sessions cover important areas of the field of distributed simulations and real time applications, and many papers were accepted in previous editions of DS-RT on the same topics. See below for more detailed descriptions of those special sessions. Accepted works will be published in the main track of IEEE DS-RT 2018 proceedings. ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** IMPORTANT DATES ***** Full paper submission deadline: June 10th, 2018 Paper acceptance notification: July 10th, 2018 ***** FOR MORE INFORMATION ***** For questions about the paper submission and review process, please contact the session organisers - find all relevant information on the corresponding web pages below. ***** DESCRIPTION OF THE SPECIAL SESSIONS ***** * Special Session on Distributed Simulations of Distributed Systems * Distributed simulation (DS) is a valuable tool for understanding and evaluating distributed systems. The current computing trend sees businesses and individuals moving toward a more centralized infrastructure, namely the cloud. On the one hand, as the computing infrastructure at data centers is highly complex and distributed, DS becomes essential for diagnosing and gaining insights of the system. On the other hand, the scale and nature of interaction between different components in the cloud present new challenges and push DS's state of the art. Another computing trend that has potential to drive DS is internet-of-things. Such complex systems consist of a large number of autonomous, heterogeneous devices communicating with one another in non-uniform manner. DS is valuable not only for discerning system properties but also for predicting the devices' emergent behavior. Finally, users in online social networks make up large distributed systems. Insights of user interaction and the network's collective behavior --- the study of which fits well into the realm of DS --- bring significant value to both the society and the business of social network providers. This special session seeks to bring together experts and practitioners in the domain of DS to discuss new opportunities and challenges for DS. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2018/dsimdsys_2018.htm * Special Session on Agent-based Modeling and Simulation * This special session focuses on general aspects and special properties for agent-based modeling and simulations that allows them to be applied on several scientific domains, such as sociology, physics, chemistry, biology, ecology, and economy. The session is intended to bring together researchers and practitioners, so they can present the current status of their work and discuss the challenges they face in developing solutions and applications for agent-based simulations. Consequently, the design of these simulations aims not only to social contexts but also to more technical domains, which involves highly complex interactive systems. Web page: http://ds-rt.com/2018/abms_2018.htm * Special Session on Simulation of Urban Traffic Management and ITS * This special session focuses on simulation tools and real-time simulation applications used in and for evaluation, management, and design of Intelligent Transportation Systems (ITS), as well as Smart Cities. Such simulations are expected to offer prediction and on-the-flow feedback for the better decision-making, bringing up means for both the implementation of more complex traffic management systems and end-user applications. Off-line and real-time analyses of data collected from infrastructured systems (e.g. real-time traffic information), mobile, distributed technologies (e.g. communication devices), and socially-build systems (e.g. social networks applications) are of great interest for shaping and influencing how ITS solutions are designed. Thus, we are particularly interested in how these data and technologies can be incorporated in domain-related models and simulations. We aim to bring together experts from both industry and academia to discuss the challenges related to modelling and simulation for ITS. Web page: http://ds-rt.com/2018/soiits_2018.htm Best Regards, DS-RT 2018 Special Session Chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Mon Mar 19 17:17:52 2018 From: ben at well-typed.com (Ben Gamari) Date: Mon, 19 Mar 2018 13:17:52 -0400 Subject: [Haskell] [ANNOUNCE] GHC 8.4.1 released Message-ID: <87in9svvb4.fsf@smart-cactus.org> (Apologies for the belated announcement on this list) The GHC developers are very happy to announce the 8.4.1 release of Glasgow Haskell Compiler. Binary and source distributions can be found at https://downloads.haskell.org/~ghc/8.4.1/ This is the third major release in the GHC 8 series. As such, the focus of this release is performance, stability, and consolidation. Consequently numerous cleanups can be seen throughout the compiler including, * Further refinement of TypeInType, including significant improvements in error messages. * Improvements in code generation resulting in noticable performance improvements in some types of programs. * Core library improvements, including phase 2 of the Semigroup/Monoid proposal * Many improvements to instance deriving * The resolution of nearly 300 other tickets A more thorough list of the changes in this release can be found in the release notes, https://downloads.haskell.org/~ghc/8.4.1/docs/html/users_guide/8.4.1-notes.html There are a few changes in release-engineering matters that should be noted, * This is GHC's first release on it's new, accelerated release schedule. From now on GHC will produce one release every six months. * While we typically strive to produce OpenBSD builds, the gcc shipped with OpenBSD 6.1 is unfortunately too old to compile this release. * FreeBSD builds are still in progress This release has been the result of approximately six months of work by over one hundred code contributors. Thanks to everyone who has helped in writing patches, testing, reporting bugs, and offering feedback over the last year. As always, let us know if you encounter trouble. How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating efficient code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces. GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://ghc.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://ghc.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://mail.haskell.org/cgi-bin/mailman/listinfo Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug From kei at lanl.gov Mon Mar 19 18:19:46 2018 From: kei at lanl.gov (Kei Davis) Date: Mon, 19 Mar 2018 12:19:46 -0600 Subject: [Haskell] CfP: Workshop on Functional High-Performance Computing 2018 at ICFP In-Reply-To: References: Message-ID:                              CALL FOR PAPERS   FHPC 2018    7th ACM SIGPLAN Workshop on Functional High-Performance Computing             September 29, 2018, St. Louis, Missouri, USA https://icfp18.sigplan.org/track/FHPC-2018-papers The 7th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC’18) is being held as in previous years in conjunction with the International Conference on Functional Programming (ICFP’18) together with numerous other workshops/symposia, and as a first, colocated with Strange Loop, in St. Louis, Missouri, USA. Workshop Objectives The FHPC’18 workshop seeks to bring together researchers and practitioners exploring uses of functional (or more generally, declarative or high-level) programming systems or concepts in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented (low-level) imperative implementations. All aspects of performance-critical programming and parallel programming are in scope for the workshop, irrespective of hardware target. This includes both traditional large-scale distributed-memory scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. FHPC 2018 seeks to encourage a range of submissions, focusing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. Original research, experience reports, case studies, and evaluations of programming systems are all welcome. Work on incorporation of functional programming concepts into more traditional (imperative) HPC applications is explicitly solicited. This year FHPC provides authors the opportunity to submit for evaluation any relevant artifacts that accompany their papers. The dissemination of artifacts promotes reproducibility, and enables authors to build on top of each others’ work, while it can also help to more unambiguously resolve questions about cases not considered by the original authors. For the purpose of FHPC, we plan to reward selected artifacts with additional presentation time in a dedicated slot during the workshop, for example, for demonstrating (i) reproducibility of results or (ii) practical usage of the framework (visualization, demos, etc). Artifact Details The artifact-evaluation committee (AEC) will accept any artifact that authors wish to submit. Obviously, the better the artifact is packaged, the more likely the AEC can actually work with it. We ask the authors to provide provide the title of the FHPC paper submission, together with three files: *     a .pdf file that provides detailed instructions to the reviewers about how to install the artifact and what to look for in the evaluations *     an archive .zip or .tar.gz containing the artifact *     the submitted FHPC’18 paper (.pdf file) The artifact evaluation process is intended to encourage an open and constructive communication (via HotCRP) between (anonymous) reviewers and authors. Submission of an artifact does not constitute tacit permission to make its content public. AEC members will be instructed that they may not publicise any part of your artifact during or after completing evaluation, nor retain any part of it after evaluation. Thus, you are free to include models, data files, proprietary binaries, and similar items in your artifact. The AEC organisers strongly encourage you to anonymise any data files that you submit. Publication The proceedings of FHPC’18 will be published by the ACM Digital Press. Important Dates *     Submission Deadline: June 8, 2018 anywhere on Earth. *     Notification: early July (TBD) *     Camera ready: late July (TBD) *     Final version of proceedings available: Sept. 9 *     FHPC 2018: Saturday Sept. 29, 2018. Official website, submissions, registration details https://icfp18.sigplan.org/track/FHPC-2018-papers Previous FHPC websites https://icfp17.sigplan.org/track/FHPC-2017-papers https://sites.google.com/site/fhpcworkshops/ ICFP and related workshops https://conf.researchr.org/home/icfp-2018 https://icfp18.sigplan.org Strange Loop https://www.thestrangeloop.com/ Questions or comments? fhpc18 at gmail.com Kei Davis and Mike Rainey, co-chairs From janis.voigtlaender at uni-due.de Tue Mar 20 06:41:18 2018 From: janis.voigtlaender at uni-due.de (=?iso-8859-1?Q?Voigtl=E4nder=2C_Janis=2C_Prof=2E_Dr=2E?=) Date: Tue, 20 Mar 2018 06:41:18 +0000 Subject: [Haskell] Call for Papers: WFLP 2018 - International Workshop on Functional and (constraint) Logic Programming Message-ID: <37CC9781F991B844A5AADF269A88F0AC4221BCBE@ccr04.win.uni-due.de> ====================================================================== WFLP 2018: Call for Papers ====================================================================== 26th International Workshop on Functional and (constraint) Logic Programming WFLP 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html Frankfurt, Germany, September 6, 2018 (co-located with PPDP 2018 and LOPSTR 2018) The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions. The 26th International Workshop on Functional and (constraint) Logic Programming (WFLP 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous WFLP editions were WFLP 2017 (Würzburg, Germany), WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013 (Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). WFLP 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and LOPSTR 2018 (International Symposium on Logic-Based Program Synthesis and Transformation). The topics of interest cover all aspects of functional and logic programming. They include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, non-monotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program and model manipulation * Program transformation, partial evaluation, meta-programming * Specification, verification * Debugging, testing * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software techniques for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. Survey papers that present some aspects of the above topics from a new perspective, and experience reports are also welcome. Papers must be written and presented in English. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 27, 2018 Paper submission: July 2, 2018 Notification: July 27, 2018 Camera-ready (for electronic pre-proceedings): August 24, 2018 Workshop: September 6, 2018 Submission Guidelines Submission is via Easychair submission website for WFLP 2018: https://easychair.org/conferences/?conf=wflp2018 Authors are invited to submit papers in the following categories: + Regular research paper + Work-in-progress report + System description Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions. All submissions must be formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. However, all submissions (especially work-in-progress reports and system descriptions) may be considerably shorter than 15 pages. Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Therefore, all accepted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee + Slim Abdennadher, German University in Cairo, Egypt + Maria Alpuente, Universitat Politècnica de València, Spain + Sergio Antoy, Portland State University, USA + Olaf Chitil, University of Kent, UK + Maria del Mar Gallardo, Universidad de Málaga, Spain + Michael Hanus, University of Kiel, Germany + Herbert Kuchen, University of Münster, Germany + Kostis Sagonas, Uppsala University, Sweden + Tom Schrijvers, Katholieke Universiteit Leuven, Belgium + Sibylle Schwarz, HTWK Leipzig, Germany + Martina Seidl, Johannes Kepler University Linz, Austria + Dietmar Seipel, University of Würzburg, Germany + Josep Silva, Universitat Politècnica de València, Spain (Program Chair) + Salvador Tamarit, Universidad Politécnica de Madrid, Spain + Janis Voigtländer, University of Duisburg-Essen, Germany + Johannes Waldmann, HTWK Leipzig, Germany Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From Nalqirim at uaeu.ac.ae Wed Mar 21 15:04:47 2018 From: Nalqirim at uaeu.ac.ae (Nabeel Al-Qirim) Date: Wed, 21 Mar 2018 15:04:47 +0000 Subject: [Haskell] CFP: ICFNDS 2018, Amman, Jordan Message-ID: ICFNDS 2018 Final Paper Submission due: April 15, 2018 International Conference on Future Networks and Distributed Systems June 26 - 27, 2018 Amman, Jordan http://www.icfnds.org ACM ICPS is indexed in DBLP, Scopus and Thomson Reuters. --------------------------------------------------------------------------------------------- Dear Colleagues, We are currently welcoming papers for the International Conference on Future Networks and Distributed Systems (ICFNDS) which is being held at the Middle East University, Amman, Jordan from 26th-27th June 2018. -------------------- Special Issues -------------------- 1. "Sensors and Actuators: Security Threats and Countermeasures" in the Journal of Sensor and Actuator Networks 2. "Real-time Behavioral Monitoring in IoT Applications using Big Data Analytics" in the concurrency and computation practice and experience -------------------- Workshops -------------------- 1. International Workshop on Smart Technologies (WOSTech), http://wostech17.asastechno.com 2. International Workshop on Smart Sensor Networks and Applications (WSSNA'18), http://wssna.uae.ma/ -------------------- Call for Papers -------------------- In the last decade, the growth of Internet and other web technologies driven fast developments of various networking technologies that are becoming primary parts of our daily lives. The wealth of exiting algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices, resulted is a fast growing adoption of future networks and highly decentralised systems. Future networks and distributed systems research is an interdisciplinary research filed involving academic researchers in computer science, communication engineering, physics and social and behaviour studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service , spontaneous and autonomic networking and other capabilities. The 2018 International Conference on Future Networks and Distributed Systems (ICFNDS 2018) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere. The 2017 ICFNDS meeting was held at The M?ller Centre, Churchill College, University of Cambridge, Cambridge, UK. Topics of interest include, but are not limited to, the following: 1. Future Networks * Future Internet * Future Generation Communication Networks * Future Warehousing * Multi-Cores, Virtualization * Clusters and Grid Computing * Web-services and SOA * 5G, 4G, LTE, LTE-Advanced, WLAN, WPAN * Small cell Networks * Cognitive Radio Network * QoE, QoS, SLA, and GoS * Heterogeneous Networks * Optical Wireless, VLC and LED Communication * CCN/CDN/ICN/Delay-tolerant networks * Software Defined Networking (SDN) * Network functions virtualization (NFV) * Future Network Platforms, Software and Services * Network Theory and Network Science * Intelligent Internet Communication * Mobile computing * Peer to peer, ATM, Optical, IP/ATM and Interconnection networks * Network routing and communication algorithms * Security, eliability and fault-tolerance * Network security 2. Cloud, Distributed and Parallel systems * Parallel and distributed architectures * Theory of parallel and distributed computing * Parallel algorithms and their implementation * Resource allocation and management * Task mapping and job scheduling * Distributed data and knowledge based systems * Database applications and data mining * Web technologies * Performance evaluation and measurements * Wireless networks and Protocols * Optimization * Language, compliers and operating systems * Reusability and scheduling * Formal methods and programming languages * Modelling and simulation * Crowd Sourcing and Cloud Computing * Big Data Networks and Data Center Architecture 3. Internet of Things * Data collection, deep learning, reality mining, and prediction methods * Real-time decision making and information extraction * Methods for seamless human-to-object and object-to-object interactions * Advanced manufacturing and logistics with IoT * Evaluation of challenges of real world deployments of Industrial Internet and GS1 * Information architecture design on field device, edge device and servers in cloud * Transitioning functional and processing allocation across system entities * Advanced data capturing and networking technology * Object identification and access * Interoperability of IoT systems * Service and device discovery * Synchronization of distributed directory systems * Semantic data description frameworks for IoT * Data sharing and acceptance of IoT Systems * Data security, authentication and authorization * Privacy protection, data sharing technologies, tampering protection and detection * Wireless Sensor Networks * Smart cities and services * Case studies in deployment of IoT applications/services in the area of accessibility * Wearable technology for independent living * Pervasive platforms and applications for assisted living 4. General Conference Track Future networks and distributed systems papers that do not fit to the above tracks can be submitted to the general conference track. Subjects of interest include, but not limited to: * Traffic analysis * Cyber security and darknet * Smart infrastructure ----------------------------- Types of Submissions ----------------------------- Full papers, short papers and posters. Please refer to the website for paper format. ----------------------- Important Dates ----------------------- Final paper submission due: April 15, 2018 Notification of Acceptance: May 15, 2018 Camera ready paper due: June 1, 2018 Authors registration deadline: June 1, 2018 --------------------------- Conference website --------------------------- http://www.icfnds.org --------------------------- Submit papers here --------------------------- https://easychair.org/conferences/?conf=icfnds2018 ---------------------------- Contact details ---------------------------- For further information please contact the Professional Programmes team ICFNDS at meu.edu.jo If you no longer wish to receive these emails, please reply to this message with "Unsubscribe" in the subject line. Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae -------------- next part -------------- An HTML attachment was scrubbed... URL: From Nalqirim at uaeu.ac.ae Wed Mar 21 15:08:16 2018 From: Nalqirim at uaeu.ac.ae (Nabeel Al-Qirim) Date: Wed, 21 Mar 2018 15:08:16 +0000 Subject: [Haskell] CFP: ICFNDS 2018, Amman, Jordan Message-ID: ICFNDS 2018 Final Paper Submission due: April 15, 2018 International Conference on Future Networks and Distributed Systems June 26 - 27, 2018 Amman, Jordan http://www.icfnds.org ACM ICPS is indexed in DBLP, Scopus and Thomson Reuters. --------------------------------------------------------------------------------------------- Dear Colleagues, We are currently welcoming papers for the International Conference on Future Networks and Distributed Systems (ICFNDS) which is being held at the Middle East University, Amman, Jordan from 26th-27th June 2018. -------------------- Special Issues -------------------- 1. "Sensors and Actuators: Security Threats and Countermeasures" in the Journal of Sensor and Actuator Networks 2. "Real-time Behavioral Monitoring in IoT Applications using Big Data Analytics" in the concurrency and computation practice and experience -------------------- Workshops -------------------- 1. International Workshop on Smart Technologies (WOSTech), http://wostech17.asastechno.com 2. International Workshop on Smart Sensor Networks and Applications (WSSNA'18), http://wssna.uae.ma/ -------------------- Call for Papers -------------------- In the last decade, the growth of Internet and other web technologies driven fast developments of various networking technologies that are becoming primary parts of our daily lives. The wealth of exiting algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices, resulted is a fast growing adoption of future networks and highly decentralised systems. Future networks and distributed systems research is an interdisciplinary research filed involving academic researchers in computer science, communication engineering, physics and social and behaviour studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service , spontaneous and autonomic networking and other capabilities. The 2018 International Conference on Future Networks and Distributed Systems (ICFNDS 2018) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere. The 2017 ICFNDS meeting was held at The M?ller Centre, Churchill College, University of Cambridge, Cambridge, UK. Topics of interest include, but are not limited to, the following: 1. Future Networks * Future Internet * Future Generation Communication Networks * Future Warehousing * Multi-Cores, Virtualization * Clusters and Grid Computing * Web-services and SOA * 5G, 4G, LTE, LTE-Advanced, WLAN, WPAN * Small cell Networks * Cognitive Radio Network * QoE, QoS, SLA, and GoS * Heterogeneous Networks * Optical Wireless, VLC and LED Communication * CCN/CDN/ICN/Delay-tolerant networks * Software Defined Networking (SDN) * Network functions virtualization (NFV) * Future Network Platforms, Software and Services * Network Theory and Network Science * Intelligent Internet Communication * Mobile computing * Peer to peer, ATM, Optical, IP/ATM and Interconnection networks * Network routing and communication algorithms * Security, eliability and fault-tolerance * Network security 2. Cloud, Distributed and Parallel systems * Parallel and distributed architectures * Theory of parallel and distributed computing * Parallel algorithms and their implementation * Resource allocation and management * Task mapping and job scheduling * Distributed data and knowledge based systems * Database applications and data mining * Web technologies * Performance evaluation and measurements * Wireless networks and Protocols * Optimization * Language, compliers and operating systems * Reusability and scheduling * Formal methods and programming languages * Modelling and simulation * Crowd Sourcing and Cloud Computing * Big Data Networks and Data Center Architecture 3. Internet of Things * Data collection, deep learning, reality mining, and prediction methods * Real-time decision making and information extraction * Methods for seamless human-to-object and object-to-object interactions * Advanced manufacturing and logistics with IoT * Evaluation of challenges of real world deployments of Industrial Internet and GS1 * Information architecture design on field device, edge device and servers in cloud * Transitioning functional and processing allocation across system entities * Advanced data capturing and networking technology * Object identification and access * Interoperability of IoT systems * Service and device discovery * Synchronization of distributed directory systems * Semantic data description frameworks for IoT * Data sharing and acceptance of IoT Systems * Data security, authentication and authorization * Privacy protection, data sharing technologies, tampering protection and detection * Wireless Sensor Networks * Smart cities and services * Case studies in deployment of IoT applications/services in the area of accessibility * Wearable technology for independent living * Pervasive platforms and applications for assisted living 4. General Conference Track Future networks and distributed systems papers that do not fit to the above tracks can be submitted to the general conference track. Subjects of interest include, but not limited to: * Traffic analysis * Cyber security and darknet * Smart infrastructure ----------------------------- Types of Submissions ----------------------------- Full papers, short papers and posters. Please refer to the website for paper format. ----------------------- Important Dates ----------------------- Final paper submission due: April 15, 2018 Notification of Acceptance: May 15, 2018 Camera ready paper due: June 1, 2018 Authors registration deadline: June 1, 2018 --------------------------- Conference website --------------------------- http://www.icfnds.org --------------------------- Submit papers here --------------------------- https://easychair.org/conferences/?conf=icfnds2018 ---------------------------- Contact details ---------------------------- For further information please contact the Professional Programmes team ICFNDS at meu.edu.jo Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae -------------- next part -------------- An HTML attachment was scrubbed... URL: From joachim.niehren at inria.fr Fri Mar 23 16:39:10 2018 From: joachim.niehren at inria.fr (Joachim Niehren) Date: Fri, 23 Mar 2018 17:39:10 +0100 Subject: [Haskell] WPTE 2018 Call for Papers Message-ID: <32f5ea63-0a44-bee3-75c8-44c7d34faa39@inria.fr> *WPTE 2018 **CALL FOR PAPERS** * *5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation* Affiliated with FLoC 2018 and FSCD 2018 in Oxford, July 8. http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html About WPTE The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics of Interest * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. Steering Committee * Yuki Chiba , JAIST * Horatiu Cirstea , LORIA, Université de Lorraine, France * Santiago Escobar , Universitat Politècnica de València * Naoki Nishida , Nagoya University * David Sabel , Goethe-University, Frankfurt am Main * Manfred Schmidt-Schauß , Goethe-University, Frankfurt am Main Previous Editions WPTE 2017 in Oxford was affiliated with FSCD 2017 , WPTE 2016 in Porto was affiliated with FSCD 2016 , WPTE 2015 in Warsaw was affiliated with RDP 2015 , and WPTE 2014 in Vienna was affiliated with RTA/TLCA 2014 . Program Committee * Joachim Niehren (Chair), Inria, Lille. * David Sabel (Co-chair), Goethe University, Frankfurt. * Noaki Nishida , Nagoya University. * Joachim Breitner , University of Pennsylvania. * Giulio Guerrieri , Oxford University. * Manfred Schmidt-Schauß , Goethe-University, Frankfurt. * Vivek Nigam , Universidade Federal da Paraíba. * Adam Barwell , University of St Andrews. * Maribel Fernandez , King's College London. Paper Selection and Proceedings Contributions to WPTE'2018 For the paper submission deadline an extended abstract of at most 10 pages is required to be submitted. The extended abstract may present original work or also work in progress. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Extended abstract submission to WPTE'2018 is handled by easychair at https://easychair.org/conferences/?conf=wpte2018. Formal Proceedings As in previous years, we intend to publish WPTE post-proceedings of selected papers by the Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). For this, full papers must be submitted until the post-proceedings deadline.  The authors of all presented contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. The submission deadline for these post-proceedings will be after the workshop in September 2018. There will be a second round of reviewing for selecting papers to be published in the formal proceedings. Important Dates * Submission of extended abstracts: April 15, 2018 * Notification of acceptance: May 15, 2018 * Final version for proceedings deadline: May 30, 2018 * Workshop: July 8, 2018 * Submission to postproceedings: September 2018 -------------- next part -------------- An HTML attachment was scrubbed... URL: From martin.sulzmann.haskell at googlemail.com Mon Mar 26 10:50:46 2018 From: martin.sulzmann.haskell at googlemail.com (Martin Sulzmann) Date: Mon, 26 Mar 2018 12:50:46 +0200 Subject: [Haskell] FLOPS2018: Call for participation Message-ID: ======================= Call For Participation ======================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan Registration is now open for FLOPS 2018. http://www.sqlab.jp/FLOPS2018/#registration Deadline for early registration is 20 April, 2018. 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. The list of accepted papers is at http://www.sqlab.jp/FLOPS2018/accepted.html Invited Speakers William E. Byrd (University of Alabama at Birmingham, USA) Zhenjiang Hu (National Institute of Informatics, SOKENDAI, Japan) Cédric Fournet (Microsoft) Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) -------------- next part -------------- An HTML attachment was scrubbed... URL: From mihai.maruseac at gmail.com Mon Mar 26 14:04:53 2018 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Mon, 26 Mar 2018 07:04:53 -0700 Subject: [Haskell] [Call for Contributions] Haskell Communities and Activities Report, May 2018 edition (34th edition) Message-ID: Dear all, We would like to collect contributions for the 34th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 April 2018 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format, both are equally accepted) ============================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac FAQ: Q: What format should I write in? A: The usual format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/11-2017/template.tex There is also a LaTeX style file at http://haskell.org/communities/11-2017/hcar.sty that you can use to preview your entry. If you do not know LaTeX or don't want to use it or don't have time to translate your entry into it, then please use plain text, it is better to have an entry in plain-text which we will translate than not have it at all. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/). The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then. PNG is preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachments are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From wim.ectors at uhasselt.be Tue Mar 27 06:59:21 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 26 Mar 2018 23:59:21 -0700 Subject: [Haskell] [MobiSPC-2018] Extended submission deadline: April 13. Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April, 13 (Extended) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 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 following special issues: - International 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), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/). . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Tue Mar 27 07:02:16 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 27 Mar 2018 00:02:16 -0700 Subject: [Haskell] [FNC-2018] Extended submission deadline: April 13. Conference on Future Networks and Communications. Gran Canaria, Spain (August 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 13th International Conference on Future Networks and Communications August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/fnc-18/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 13, 2018 (Extended) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All FNC 2018 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 following special issues: - International 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), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) FNC 2018 will be held in conjunction with the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-18/). FNC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. FNC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Hossam Hassanein, Queens University, Canada Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/fnc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From thiemann at informatik.uni-freiburg.de Thu Mar 29 10:19:23 2018 From: thiemann at informatik.uni-freiburg.de (Peter Thiemann) Date: Thu, 29 Mar 2018 12:19:23 +0200 Subject: [Haskell] Call for Contributions - Workshop on Programming Languages and Computing Concepts (in German) Message-ID: <56DA0FD8-B86C-42F5-A52F-D34D46AD661E@informatik.uni-freiburg.de> Workshop on Programming Languages and Computing Concepts May 2-4, 2018, Physikzentrum Bad Honnef Deadline for abtracts: April 13, 2018 I'd like to draw your attention to a German workshop with Haskell-related topics. It's an informal workshop with an emphasis on presenting ongoing and timely work as well as networking. Student presentations are very welcome. One-page abstracts may be submitted in English or German. Presentations may be in English or in German. The venue is "Physikzentrum Bad Honnef" https://www.dpg-physik.de/dpg/pbh/index.html?lang=en a conference center run by the German Society of Physics. The workshop is organized by chapter 2.1.3 of GI, the German Informatics Society. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 35. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2.-4. Mai 2018 im Physikzentrum Bad Honnef http://www.complang.tuwien.ac.at/gi-fgpsurk/Honnef2018 Einladung Einreichung von Beiträgen (Call for Papers) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Seit 1984 veranstaltet die GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", die aus den ehemaligen Fachgruppen 2.1.3 "Implementierung von Programmiersprachen" und 2.1.4 "Alternative Konzepte für Sprachen und Rechner" hervorgegangen ist, regelmäßig im Frühjahr einen Workshop im Physikzentrum Bad Honnef. Das Treffen dient in erster Linie dem gegenseitigen Kennenlernen, dem Erfahrungsaustausch, der Diskussion und der Vertiefung gegenseitiger Kontakte. Wir laden Sie ein, Vorträge und Demonstrationen sowohl bereits abgeschlossener als auch noch laufender Arbeiten aus Ihrem Betätigungsfeld einzureichen, unter anderem (aber nicht ausschließlich) zu Themen wie - Sprachen, Sprachparadigmen - Korrektheit von Entwurf und Implementierung - Werkzeuge - Software-/Hardware-Architekturen - Spezifikation, Entwurf - Validierung, Verifikation - Implementierung, Integration - Sicherheit (Safety und Security) - eingebettete Systeme - hardware-nahe Programmierung Beiträge zu anderen verwandten Themen sind ebenso willkommen. Es sind nicht nur die Fachgruppenmitglieder herzlich eingeladen, sondern das Treffen ist darüber hinaus auch für andere Interessenten offen. Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden Atmosphäre des Physikzentrums Bad Honnef statt. Es können bis zu 40 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Vortragsvorschläge senden Sie bitte in der Form einer erweiterten Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF) bis spätestens 13. April 2018 ~~~~~~~~~~~~~~ möglichst per EMail an Baltasar Trancon Widemann baltasar at trancon.de semantics GmbH und Jens Knoop knoop at complang.tuwien.ac.at Fakultät für Informatik TU Wien Ihre Anmeldung zur Teilnahme am Workshop sollte ebenfalls bis zum 13. April 2018 im WWW über die Seite http://www-ps.informatik.uni-kiel.de/~mh/fg214/Honnef2018/reg.cgi erfolgen. Veraltete Informationen auf der Homepage des Workshops bitten wir höflichst zu entschuldigen. = HINWEIS ===== Siehe auch die im Entwurf und Aufbau befindliche Seite http://www.complang.tuwien.ac.at/gi-fgpsurk/ für weitere Informationen zur Fachgruppe und von ihr organisierte und unterstützte Veranstaltungen. Webseite der FG Programmiersprachen und Rechenkonzepte: http://www-ps.informatik.uni-kiel.de/fg214/ =============== From carlos.camarao at gmail.com Thu Mar 29 12:05:11 2018 From: carlos.camarao at gmail.com (Carlos Camarao) Date: Thu, 29 Mar 2018 09:05:11 -0300 Subject: [Haskell] SBLP 2018 second call for papers Message-ID: Universidade de São Paulo - ICMC/USP São Carlos, Brazil, September 20-21, 2018 Conference website http://www.sbc.org.br/cbsoft2018 Submission link https://easychair.org/conferences/?conf=sblp2018 SBLP 2018 is the 22nd edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer Society (SBC) and constitutes a forum for researchers, students and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages. SBLP's first edition was in 1996. Since 2010, it is part of CBSoft, the Brazilian Conference on Software: Theory and Practice (http://cbsoft.org/cbsoft2018/). Submission Guidelines ________________________________________________________________________________ Papers can be written in Portuguese or English. Submission in English is strongly encouraged since the symposium proceedings are indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2018 The following paper categories are welcome (page limits include figures, references and appendices): Full papers: up to 8 pages long in ACM 2-column conference format, available at http://www.acm.org/publications/proceedings-template Short papers: up to 3 pages in the same format, can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses. List of Topics (related but not limited to the following) ________________________________________________________________________________ • Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming • Program generation and transformation • Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical • Program analysis and verification, type systems, static analysis and abstract interpretation • Programming language design and implementation, programming language environments, compilation and interpretation techniques Publication ________________________________________________________________________________ SBLP proceedings will be published in ACM's digital library. As in previous editions, after the conference authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal's special issue. Since 2009, selected papers of each SBLP edition are being published in a special issue of Science of Computer Programming, by Elsevier. Important dates ________________________________________________________________________________ Abstract submission: April 29th 2018 Paper submission: May 6th 2018 Author notification: June 22nd 2018 Camera ready deadline: July 8th 2018 Program Committee ________________________________________________________________________________ Mariza Bigonha Universidade Federal de Minas Gerais Roberto Bigonha Universidade Federal de Minas Gerais Andre R. Du Bois Universidade Federal de Pelotas Christiano Braga Universidade Federal Fluminense Carlos Camarão Universidade Federal de Minas Gerais (chair) Fernando Castor Universidade Federal de Pernambuco Renato Cerqueira IBM Research, Brazil João Fernandes Universidade de Coimbra João Ferreira Teesside University Lucília Figueiredo Universidade Federal de Ouro Preto Ismael Figueroa Pontifícia Universidad Católica de Valparaiso Alex Garcia Instituto Militar de Engenharia Francisco Heron Universidade Federal do Ceará Roberto Ierusalimschy Pontifícia Universidade Católica do Rio de Janeiro Yu David Liu State University of New York at Binghamton Hans-Wolfgang Loidl Heriot-Watt University Marcelo Maia Universidade Federal de Uberlândia André M. Maidl Pontifícia Universidade Católica do Paraná Manuel A. Martins Universidade de Aveiro Fábio Mascarenhas Universidade Federal do Rio de Janeiro Sérgio Medeiros Universidade Federal do Rio Grande do Norte Victor Miraldo University of Utrecht Álvaro Moreira Universidade Federal do Rio Grande do Sul Anamaria M. Moreira Universidade Federal do Rio de Janeiro Peter Mosses Swansea University Martin Musicante Universidade Federal do Rio Grande do Norte Alberto Pardo Universidad de la República Fernando Pereira Universidade Federal de Minas Gerais Gustavo Pinto Universidade Federal do Pará Louis-Noel Pouchet Ohio State University Zongyan Qiu Peking University Henrique Rêbelo Universidade Federal de Pernambuco Leonardo Reis Universidade Federal de Ouro Preto Rodrigo Ribeiro Universidade Federal de Ouro Preto Noemi Rodriguez Pontifícia Universidade Católica do Rio de Janeiro Francisco Sant'Anna Universidade Estadual do Rio de Janeiro João Saraiva Universidade do Minho Martin Sulzmann Hochschule Karlsruhe - Technik und Wirtschaft (chair) Leopoldo Teixeira Universidade Federal de Pernambuco Simon Thompson University of Kent Cristiano Vasconcellos Universidade do Estado de Santa Catarina Varmo Vene University of Tartu Invited Speaker ________________________________________________________________________________ Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany Contact ________________________________________________________________________________ All questions about submissions should be emailed to Carlos Camarão (camarao at dcc.ufmg.br) -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at joachim-breitner.de Thu Mar 29 15:55:03 2018 From: mail at joachim-breitner.de (Joachim Breitner) Date: Thu, 29 Mar 2018 11:55:03 -0400 Subject: [Haskell] Call for Talks -- Haskell Implementors' Workshop Message-ID: <1522338903.1062.10.camel@joachim-breitner.de> Call for Contributions ACM SIGPLAN Haskell Implementors’ Workshop https://icfp18.sigplan.org/track/hiw-2018-papers Co-located with ICFP 2018 St. Louis, Missouri, US https://conf.researchr.org/home/icfp-2018 Important dates --------------- Proposal Deadline: Friday, 20 July, 2018 Notification: Friday, 3 August, 2018 Workshop: Sunday, 23 September, 2018 Keynote speaker --------------- This year, the Haskell Implementors’ Workshop is proud to present Rahul Muttineni as the keynote speaker. Rahul brough the joys of Haskell to the realm of Java by creating the Eta programming language. About the Haskell Implementors’ Workshop ---------------------------------------- The 10th Haskell Implementors’ Workshop is to be held alongside ICFP 2018 this year in St. Louis. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos and lightning talks. Scope and Target Audience ------------------------- It is important to distinguish the Haskell Implementors’ Workshop from the Haskell Symposium which is also co-located with ICFP 2018. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors’ Workshop will have no proceedings – although we will aim to make talk videos, slides and presented data available with the consent of the speakers. The Implementors’ Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we’ve missed, so by all means submit a proposal even if it doesn’t fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via HotCRP at https://icfp-hiw18.hotcrp.com/ until July 20th (anywhere on earth). We will also have lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Program Committee ----------------- * Edwin Brady (University of St. Andrews, UK) * Joachim Breitner – chair (University of Pennsylvania) * Ben Gamari (Well-Typed LLP) * Michael Hanus (Kiel University) * Roman Leshchinsky (Facebook) * Niki Vazou (University of Maryland) Contact ------- * Joachim Breitner -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: This is a digitally signed message part URL: From bob.atkey at gmail.com Sat Mar 31 21:33:44 2018 From: bob.atkey at gmail.com (Robert Atkey) Date: Sat, 31 Mar 2018 22:33:44 +0100 Subject: [Haskell] Mathematically Structured Functional Programming 2018: Final Call for Papers Message-ID: Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: additional talk proposal category ** ** Deadline: 5th April (abstract), 12th April (paper) ** The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. Important Dates: ================ Abstract deadline: 5th April (Thursday) Paper deadline: 12th April (Thursday) Notification: 17th May (Thursday) Final version: 14th June (Thursday) Workshop: 8th July (Sunday) Invited Speakers: ================= - Tamara von Glehn, University of Cambridge, UK - Didier Remy, INRIA, France Program Committee: ================== Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey - University of Strathclyde, UK (co-chair) Jeremy Gibbons - University of Oxford, UK Jennifer Hackett - University of Nottingham, UK Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina Shin-ya Katsumata - National Institute of Informatics, Japan Sam Lindley - University of Edinburgh, UK (co-chair) Clare Martin - Oxford Brookes University, UK Shin-Cheng Mu - Academia Sinica, Taiwan Valeria de Paiva - Nuance Communications, US Alexandra Silva - University College London, UK Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Robert Atkey and Sam Lindley if you have any questions about the scope of the workshop. (New this time) We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Full papers (not two page talk abstracts) must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers and talks must be presented at the workshop by at least one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2018.