- Haskell - Haskell.org

CFP (Deadline Approaching): IEEE DS-RT 2017 (October 18-20, Rome, Italy)
by Robson De Grande 28 Apr '17

28 Apr '17

------------------------------------------------------------------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------------------------------ Call for Papers - DS-RT 2017 21st IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 18 - 20, 2017, Rome, Italy *IEEE/ACM Pending Upon Approval ----------------------------------------------------------------------- IMPORTANT: Submission deadline: May 5th, 2017 *** The Symposium *** The 2017 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) promises to be a grand affair and will take place in London, UK. DS-RT 2017 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2017 targets the growing overlap between large distributed simulations and real-time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2017 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real-time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is very encouraged. The scope of the symposium includes, but is not limited to: - Paradigms, Methodology and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud-based Simulation, hardware-software co-design for extreme-scale simulations) - Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Constraints - Advanced modelling techniques (reuse of models, new modelling languages, agent-based M&S, and spatial M&S) - Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) - Theoretical Foundations of Large-Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) - Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy, Pervasive and Ubiquitous Computing Systems) - Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) - Algorithms and methods for parallel or distributed simulation (synchronization, scheduling, memory management, and load balancing) - Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations - Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms - Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints - Simulation-based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) - Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation - Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues - Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) - Design Issues, Interaction Designs, Human Commuter Interaction Issues raised by Large Scale DS-RT Systems - Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) - Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) - Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) - Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Air Traffic, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Disaster Planning, etc.) - Advanced Simulation Studies and Technologies (e.g. Discrete event, continuous Simulation, etc.) - Cognitive Modelling and Simulation, Artificial Intelligence in Simulation, and Neural Network Models and Simulation - Service-oriented Computing and Simulation, Web-based Modelling and Simulation, and Simulation of Multimedia Applications and Systems - Advances in Simulation Methodology and Practices - Smart Network Design and Traffic Modelling Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. *** Important Dates *** Paper Submission Deadline: May 5th, 2017 Notification of Acceptance: June 5th, 2017 Camera Ready version due: July 10th, 2017 Symposium presentation: September 18-20 2017 *** Submission *** 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. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. General information regarding submission can be found at http://ds-rt.com/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: ATTENDANCE BY AT LEAST ONE AUTHOR IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair Alfredo Garro, University of Calabria, Italy Program Chair Andrea D'Ambrogio, University of Rome "Tor Vergata", Italy Registration Chair Simona Citrigno, ICT-SUD Competence Center, Italy Publicity Co-Chairs Simon J. E. Taylor, Brunel University, United Kingdom Mirela Sechi Moretti, FAERO/AeroTD, Brazil Special Sessions Co-Chairs Anthony Ventresque, Lero & University College Dublin, Ireland Robson De Grande, University of Ottawa, Canada Posters Chair Floriano De Rango, University of Calabria, Italy

1 0

Fwd: Getting ready for Summer of Haskell 2017
by Jasper Van der Jeugt 25 Apr '17

25 Apr '17

Hey all, The student applications for Summer of Haskell 2017 are now open! You can apply at: https://goo.gl/forms/OAfyD0Oen2KvKu6t2 The application period is open until the 6th of May, so that should give you plenty of time. At this time, we are also actively *seeking mentors*. In case you would like to mentor a project, please let us know: https://summer.haskell.org/contact.html Thanks to the generous donations of our sponsors, we will be able to sponsor around 10 students this year (depending on the applications we receive). Our sponsors are: - haskell.org kicked things off this year by funding a student and organizing the Summer of Haskell 2017 after a successful Summer of Haskell 2016 <https://mail.haskell.org/pipermail/haskell-cafe/2016-December/125702.html> . - Asahi Net <https://asahi-net.jp/en/> is a Japanese Internet service provider that has been running stable systems for over 25 years. They are a proud sponsor of the Summer of Haskell, and contribute to the Japanese Haskell community. - Awake Networks <http://www.awakenetworks.com/> is building a next generation network security and analytics platform. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community. - CodeWorld <http://code.world/> is an educational project that blends mathematics and Haskell programming into a visual playground. Chris Smith has volunteered to fund two students to work on CodeWorld in particular. - Digital Asset <http://digitalasset.com/> provides Distributed Ledger solutions for financial institutions globally. They have developed a pure, typed, functional, domain specific language for writing contracts, called DAML. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community. - Facebook <http://facebook.com/> uses Haskell in its anti-abuse infrastructure <https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/> and as part of that effort we open-sourced the Haxl <https://github.com/facebook/Haxl> framework which is being used at scale in production to automatically parallelise data-fetching code. We're delighted to be able to support the Haskell community's efforts by sponsoring a student for this year's Summer of Haskell. - Fugue Inc. <http://fugue.co/> radically simplifies cloud operations with its software-defined system for dynamically orchestrating and enforcing cloud infrastructure at scale. Fugue uses Haskell in its product and is proud to sponsor a student to improve the ecosystem. - Galois <http://galois.com/> applies cutting-edge computer science and applied mathematics to solve difficult technological problems, delivering practical solutions tailored to our clients’ needs. Haskell and other functional programming languages are key tools we use in providing these solutions. - IOHK <https://iohk.io/> is a technology company committed to using peer-to-peer technologies to provide financial services to the three billion people who don't have them. We implement our first-principles cryptographic research in Haskell and we are committed to the development of the Haskell ecosystem. - Tweag I/O <http://tweag.io> is a network of software innovation labs across Europe. We develop novel solutions and products for our clients around the world. Haskell is key to delivering fast, correct and maintainable code. We have shipped Haskell in anything from tiny web services to large high-performance compute clusters with custom hardware. We're particularly keen to help the community grow Haskell into the strongest systems programming language and ecosystem out there. We're very proud to sponsor a student this summer to help make it happen. - Davean has volunteered to fund a student expressly to work on the Hadrian build system for GHC <http:///ideas.html#hadrian-ghc>. Best, Niki Vazou & Jasper Van der Jeugt for the Haskell.org Committee On Wed, Apr 5, 2017 at 3:17 PM, Niki Vazou <nikivazou(a)gmail.com> wrote: > We are happy to announce that Summer of Haskell 2017 will host at least 8 > students, funded from the Haskell community and corporate sponsors. > > You can find all information (including the timeline) at the Summer of > Haskell new webpage: > > https://summer.haskell.org/ > > Students can submit applications from April 25th until the May 6th. We > recommend that interested students start thinking about their proposals and > brainstorm with potential mentors. In case you would like to participate as > a student, but you have no idea what to work on, we have a page dedicated > to ideas here: > > https://summer.haskell.org/ideas.html > > Teachers of FP courses at universities around the world are strongly > encouraged to share this announcement with their students. > > Mentors, as well as everyone from the community, are encouraged to > contribute ideas by sending pull requests to the Summer of Haskell > repository (or contacting us): > > https://github.com/haskell-org/summer-of-haskell > > Sponsors are still welcome, as we can add more slots if the necessary > funds become available. Combining our current individual donations with > partial sponsors, we only need $2000 more to fund an additional student. > Please consider making a small donation towards that goal. If you would > like to contribute do not hesitate to contact us or donate directly: > > https://wiki.haskell.org/Donate_to_Haskell.org > > We’d like to thank our current sponsors for making this Summer of Haskell > possible: > > haskell.org kicked things off this year by funding a student and > organizing the Summer of Haskell 2017 after a successful Summer of > Haskell 2016 > <https://mail.haskell.org/pipermail/haskell-cafe/2016-December/125702.html> > . > > Asahi Net <http://asahinet.com/> is a Japanese Internet service provider > that has been running stable systems for over 25 years. They are a proud > sponsor of the Summer of Haskell, and contribute to the Japanese Haskell > community. > > Awake Networks <http://www.awakenetworks.com/> is building a next > generation network security and analytics platform. They are a proud > sponsor of the Summer of Haskell and contribute broadly to the Haskell > community. > > CodeWorld <http://code.world/> is an educational project that blends > mathematics and Haskell programming into a visual playground. Chris Smith > has volunteered to fund two students to work on CodeWorld in particular. > > Facebook <http://facebook.com/> uses Haskell in its anti-abuse > infrastructure > <https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/>, > and as part of that effort we open-sourced the Haxl > <https://github.com/facebook/Haxl> framework which is being used at scale > in production to automatically parallelise data-fetching code. We're > delighted to be able to support the Haskell community's efforts by > sponsoring a student for this year's Summer of Haskell. > > Fugue Inc. <http://fugue.co/> radically simplifies cloud operations with > its software-defined system for dynamically orchestrating and enforcing > cloud infrastructure at scale. Fugue uses Haskell in its product and is > proud to sponsor a student to improve the ecosystem. > > Galois <http://galois.com/> applies cutting-edge computer science and > applied mathematics to solve difficult technological problems, delivering > practical solutions tailored to our clients’ needs. Haskell and other > functional programming languages are key tools we use in providing these > solutions. > > Tweag I/O <http://tweag.io/> is a network of software innovation labs > across Europe. We develop novel solutions and products for our clients > around the world. Haskell is key to delivering fast, correct and > maintainable code. We have shipped Haskell in anything from tiny web > services to large high-performance compute clusters with custom hardware. > We're particularly keen to help the community grow Haskell into the > strongest systems programming language and ecosystem out there. We're very > proud to sponsor a student this summer to help make it happen. > > Finally, Davean has volunteered to fund a student expressly to work on > the Hadrian build system for GHC > <https://haskell-org.github.io/summer-of-haskell/ideas.html#hadrian-ghc>. > > Feel free to contact us at (nvazou at cs.umd.edu and m at jaspervdj.be) > if want to help or if you have any ideas, questions, or concerns. > > Best, > > Niki Vazou & Jasper Van der Jeugt > > for the Haskell.org Committee > >

1 0

CUFP 2017 Call for Tutorials
by Runhang Li 25 Apr '17

25 Apr '17

Call for Tutorials Commercial Users of Functional Programming (CUFP) 2017 September 7th-9th, 2017, Oxford, United Kingdom Co-located with International Conference on Functional Programming (ICFP) Dear Haskell community, Commercial Users of Functional Programming (CUFP) 2017 is now seeking tutorials proposals. Co-located with International Conference on Functional Programming (ICFP), Commercial Users of Functional Programming (CUFP) will take place in Oxford, U.K. from 7th to 9th of September, 2017. CUFP is devoted to showcase the state of the art of functional programming in industrial settings. We are looking for tutors who would like to host half-day tutorial sessions of the following topics: * Introductions to functional programming languages, e.g., Haskell, OCaml, Scala, F#, Scheme, Erlang, Clojure. * Advanced programming languages, concepts, or applications, e.g., Agda, Idris, F*, Coq, Eff. * Applications of functional languages in particular areas, including web, high-performance computing, and finance. * Tools and techniques supporting state of the art functional programming, e.g., ReasonML, TypeScript, Elm, QuickCheck, FlowType. * Theory. Type theory, category theory, abstract algebra, ongoing or new research, or anything useful or interesting to functional programmers. **Proposal submission deadline is May 25th** Details can be found at: http://cufp.org/2017/call-for-tutorials.html <http://cufp.org/2017/call-for-tutorials.html> Kindly, Runhang Li, CUFP 2017 tutorials co-chair

1 0

Senior Lectureships in Computer Science at Chalmers and Gothenburg U
by Andreas Abel 25 Apr '17

25 Apr '17

We are hiring full-time permanent lecturers! http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpag… http://www.gu.se/english/about_the_university/job-opportunities/vacancies-d… The positions are focusing on teaching, but some time will be available for research as well. Excerpt from the description: Major responsibilities The scientific area is Computer Science, interpreted broadly. The position is a full-time tenured appointment with focus on education and pedagogical development. You will teach a variety of topics in Computer Science; there may include courses such as programming, data structures, algorithms and databases. You will also supervise bachelor level projects and master’s theses. Besides teaching, you will keep up with the technical and pedagogical development in the areas of the position and introduce new methods in the curriculum. As a faculty member you will share the responsibility of the administration and management of the department and the educational programmes. You will collaborate with industrial, academic or governmental partners, and take part in the research conducted at the department. In addition, you are encouraged to apply for funding of further pedagogical advancement of our programmes, and for research funding. -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel(a)gu.se http://www.cse.chalmers.se/~abela/

1 0

ANN: Compose Unconference and Exchange [NYC, May 20-21]
by Gershom B 24 Apr '17

24 Apr '17

I'm happy to announce that we now have a venue and dates for the affiliated Unconference and Exchange (aka "hackathon") for the Compose conference in NYC. It will take place the weekend immediately following the main conference, featuring improptu tutorials, collaborative coding, and generally be a good informal opportunity to work and discuss with functional programmers of all sorts. Registration (free) is at: https://www.eventbrite.com/e/cmpse-unconference-and-exchange-2017-tickets-3… Registration for the main conference remains at: https://composeconference.eventbrite.com. Early bird tickets are now gone, so get tickets while you can! We're also happy to announce the topic of our invited keynote by Emily Riehl: A Categorical View of Computational Effects * Unconference information: http://www.composeconference.org/2017/unconference/ * Unconference registration: https://www.eventbrite.com/e/cmpse-unconference-and-exchange-2017-tickets-3… * Full conference abstracts: http://www.composeconference.org/2017/program * Conference Registration: http://composeconference.eventbrite.com * Follow @composeconf on twitter for news: https://twitter.com/composeconf * On freenode irc, chat with fellow attendees at #composeconference * Corporate sponsorships are welcome. Current sponsors list forthcoming. * Policies (diversity and anti-harassment): http://www.composeconference.org/conduct * Email us with any questions at info(a)composeconference.org * Please forward this announcement to interested parties and lists.

1 0

6 Assistant professor positions at the University of Utrecht
by Wouter Swierstra 24 Apr '17

24 Apr '17

The department of Information and Computing Sciences of Utrecht University is looking for: 6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) (Female/Male), including one Westerdijk fellowship (Female) We have a strong tradition of research using functional languages -- please consider applying! ## Job description We are searching for excellent candidates, preferably on the Assistant Professor level. Candidates must have expertise in Computing and Information Sciences, related to our current research groups and teaching programmes. We are looking for outstanding candidates who will invigorate and enrich the scope of expertise of our Department and can enhance its involvement in interdisciplinary research projects within and outside the university. The quality of the candidate is leading, but preferred areas of expertise are Data Science, Programming Languages, Information Science, Computer Graphics and Serious Games. As teaching is an important and satisfying part of our work we are searching for people with a demonstrable motivation to teach. The preferred candidate has teaching experience, and is actively interested in improving her or his teaching, the courses and the teaching programme. Also candidates largely focusing on teaching will be considered. ## Qualifications Ideally your eligibility is exemplified by: ### Research: * PhD in Computer Science, Information Science or another relevant discipline; * track record of international publications in leading conferences and journals; * experience with or good prospects for acquiring external research funds; * vision on future research directions in own area of expertise; * experience with or readiness to supervise PhD projects; * active role in international scientific communities. ### Teaching: * enthusiasm for teaching and student supervision; * ability to teach in departmental BSc and MSc programmes; * vision on teaching and your own contribution to teaching. Please note that we are also interested in candidates with a focus on teaching! ### Leadership: * play an active and cooperative role in the department and the University; * willingness to organize scientific events, such as research seminars or teaching seminars; * willingness to partake in departmental committees. In view of the gender balance we strongly encourage qualified women to apply. ## Offer The candidate is offered a position for 3-5 years, depending on experience (0.8 / 1.0 FTE). Depending on experience and the specific field of expertise a tenure-track position could be offered. Salary depends on qualifications and experience, and ranges between 3,068euro and 5,330euro (scale 10 - 12 Collective Labour Agreement Dutch Universities) gross per month for a full-time employment. In case of proven outstanding performance an appointment as associate professor could be considered. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. We offer flexible employment conditions (according to a multiple choice model), working-from-home facilities, partially paid parental leave, a pension scheme, and collective insurance schemes. Facilities for sports and child care are available on our campus, which is only 15 minutes away from the historical city center of Utrecht. ## About the organization A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, the various disciplines collaborate intensively towards major societal themes. Our focus is on Dynamics of Youth, Institutions for Open Societies, Life Sciences and Sustainability. The city of Utrecht is one of the oldest cities in the Netherlands, with a charming old center and an internationally oriented culture that is strongly influenced by its century-old university. Utrecht city has been consistently ranked as one of the most livable cities in the Netherlands. The Faculty of Science consists of six departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry and Mathematics. The Faculty is home to 5,900 students and nearly 1,600 staff and is internationally renowned for the quality of its research. The Faculty's academic programmes reflect developments in today's society. The Department of Information and Computing Sciences is nationally and internationally renowned for its research in Computer Science and Information Science. The research of the Department focuses on fundamental aspects of Computing and Information Sciences. Current research groups are Algorithmic Data Analysis, Algorithms and Complexity, Decision Support Systems, Intelligent Systems, Simulation of Complex Systems, Multimedia, Geometric Computing, Organisation and Information, Software Technology, Software Technology of Learning and Teaching. Relevant areas of interdisciplinary research include Game Research and Technology, Foundations of Complex Systems, Applied Data Science and Integrative Bioinformatics. The Department has, among others, close collaborations with the University Medical Center, the Departments of Physics and Mathematics, and the Faculties of Humanities and Geosciences. The Department offers Bachelor programmes in Computer Science and Information Science, and four English language research Master programmes in Artificial Intelligence, Business Informatics, Computing Science, and Game and Media Technology. The Department is developing Master programmes in Data Science. High enrolment figures and good student ratings make the education very successful. The Department currently comprises 9 full-time chairs and 100 other scientific staff, including postdocs and PhD-students. Due to our successful teaching programmes and our ambitions in research the Department is expanding. We are therefore actively searching for 6 talented Research and Teaching Assistant Professors in Information and Computing Sciences. Please note that positions offered will vary, depending on experience and expertise. We will offer the top candidate a fully financed PhD position. We offer the top female candidate a Westerdijk fellowship which includes a fully financed PhD student and a 50K euro research budget. In case this is the same person the second PhD student will be offered to the second candidate on the list. ## Additional information Additional information about the vacancy can be obtained from: Prof M. van Kreveld, (M.J.vanKreveld(a)uu.nl) Research Director or Ria van Vlimmeren (M.F.J.vanVlimmeren(a)uu.nl) Secretary to the Board of the Department. As part of the selection procedure, the candidate is expected to give an outline of her/his research plans in a written report and/or an oral presentation. ## Apply Application deadline is 14 May 2017. To apply go to: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs and please attach a letter of motivation, curriculum vitae and (email) addresses of two referees. ## More information: https://www.uu.nl/en https://www.uu.nl/en/organisation/faculty-of-science https://www.uu.nl/en/organisation/department-of-information-and-computing-s… https://www.uu.nl/en/organisation/faculty-of-science/about-us/westerdijk-fe… https://www.uu.nl/en/organisation/working-at-utrecht-university/terms-of-em… https://www.uu.nl/en/organisation/working-at-utrecht-university

1 0

RV 2017 - Deadline Extension: full submissions May 8
by Klaus Havelund 21 Apr '17

21 Apr '17

*RV 2017* **** DEADLINE EXTENSION: MAY 8 **** *Call for Papers and Tutorials* The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: - specification languages - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - statistical model checking - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, recovery and repair - integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates *Papers* as well as *tutorial proposals* will follow the following timeline: - Abstract deadline: April 24, 2017 May 1, 2017 (Anywhere on Earth) - Paper and tutorial deadline: May 1, 2017 May 8, 2017 (Anywhere on Earth) - Tutorial notification: May 21, 2017 - Paper notification: June 26, 2017 - Camera-ready deadline: July 24, 2017 - Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: - Rodrigo Fonseca <http://cs.brown.edu/~rfonseca/>, Brown University, USA - Vlad Levin and Jakob Lichtenberg <https://msdn.microsoft.com/en-us/windows/hardware/drivers/devtest/tools-for…>, Microsoft, USA - Andreas Zeller <https://www.st.cs.uni-saarland.de/zeller/>, Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. - *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. - *Tool Demonstration Papers* (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design <http://link.springer.com/journal/10703>. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a brief abstract, a proposed format and timelines (of different parts), a note on the relevance to RV, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its place a Workshop is being organised to discuss the future of the competition and showcase existing Runtime Verification tools. Please see the relevant page <http://rv2017.cs.manchester.ac.uk/rv-cubes/> on the conference website for details. Organization *General Chair* Klaus Havelund <http://www.havelund.com/>, NASA Jet Propulsion Laboratory, USA *Program Chairs* Shuvendu Lahiri <https://www.microsoft.com/en-us/research/people/shuvendu/>, Microsoft Research, USA Giles Reger <http://www.cs.man.ac.uk/~regerg/>, University of Manchester, UK *Finance Chair* Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/>, University of Pennsylvania, USA *Publicity Chair* Ayoub Nour <http://www-verimag.imag.fr/~nouri/>i, University Grenoble Alpes, France *Local Organisation Chairs* Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>, University of Washington, USA Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA *Program Committee* Wolfgang Ahrendt <http://www.cse.chalmers.se/~ahrendt/>, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho <https://people.kth.se/~artho/>, KTH Royal Institute of Technology, Sweden Howard Barringer <http://www.manchester.ac.uk/research/Howard.barringer/>, The University of Manchester, UK Ezio Bartocci <http://www.eziobartocci.com/>, Vienna University of Technology, Austria Andreas Bauer <http://www.immerundewig.at/>, KUKA Systems, Germany Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/>, University of Grenoble Alpes/VERIMAG, France Eric Bodden <http://www.bodden.de/>, Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour <http://www.cas.mcmaster.ca/borzoo/>, McMaster University, Canada Christian Colombo <https://www.um.edu.mt/ict/cs/staff/christian_colombo>, University of Malta, Malta Ylies Falcone <http://www.ylies.fr/>, University Grenoble Alpes/Inria, France Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>, University of Washington, USA Lu Feng <https://www.cs.virginia.edu/~lufeng/>, University of Virginia, USA Patrice Godefroid <https://patricegodefroid.github.io/>, Microsoft Research, USA Jean Goubault-Larrecq <http://www.lsv.ens-cachan.fr/~goubault/>, CNRS/ENS de Cachan, France Alex Groce <http://eecs.oregonstate.edu/people/groce-alex>, Northern Arizona University, USA Radu Grosu <https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University of Technology, Austria Sylvain Hallé <http://leduotang.ca/sylvain/>, University of Québec at Chicoutimi, Canada Marieke Huisman <http://wwwhome.ewi.utwente.nl/~marieke/>, University of Twente, Netherlands Franjo Ivancic <https://sites.google.com/site/ivancic/>, Google, USA Bengt Jonsson <http://user.it.uu.se/~bengt/>, Uppsala University, Sweden Felix Klaedtke <https://sites.google.com/site/felixklaedtkeshomepage/>, NEC Europe Ltd., Germany Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA Kim Larsen <http://people.cs.aau.dk/~kgl/>, Aalborg University, Denmark Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml>, University of Pennsylvania, USA Axel Legay <https://people.irisa.fr/Axel.Legay/>, Inria Rennes, France Martin Leucker <https://www.isp.uni-luebeck.de/leucker>, University of Lübeck, Germany Ben Livshits <http://research.microsoft.com/en-us/um/people/livshits/>, Imperial College, UK David Lo <http://www.mysmu.edu/faculty/davidlo/>, Singapore Management University, Singapore Francesco Logozzo <https://www.linkedin.com/in/francesco-logozzo-4106386>, Facebook, USA Parthasarathy Madhusudan <http://madhu.cs.illinois.edu/>, University of Illinois at Urbana-Champaign, USA Leonardo Mariani <http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMa…>, University of Milan Bicocca, Italy Madan Musuvathi <https://www.microsoft.com/en-us/research/people/madanm/>, Microsoft Research, USA Ayoub Nouri <http://www-verimag.imag.fr/~nouri/>, University of Grenoble Alpes, France Gordon Pace <http://www.cs.um.edu.mt/gordon.pace/>, University of Malta, Malta Doron Peled <http://u.cs.biu.ac.il/~doronp/>, Bar Ilan University, Israel Veselin Raychev <http://www.srl.inf.ethz.ch/raychev.php>, ETH Zurich, Switzerland Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu>, University of Illinois at Urbana-Champaign, USA Cesar Sanchez <http://software.imdea.org/~cesar/>, IMDEA Software Institute, Spain Gerardo Schneider, <http://www.cse.chalmers.se/~gersch/> Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma <https://cs.stanford.edu/people/sharmar/>, Microsoft Research, India Julien Signoles <http://julien.signoles.free.fr/index.en.html>, CEA LIST, France Scott Smolka <http://www3.cs.stonybrook.edu/~sas/>, Stony Brook University, USA Oleg Sokolsky <https://www.cis.upenn.edu/~sokolsky/>, University of Pennsylvania, USA Bernhard Steffen <http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.h…> , University of Dortmund, Germany Scott Stoller <http://www3.cs.stonybrook.edu/~stoller/>, Stony Brook University, USA Volker Stolz <http://www.mn.uio.no/ifi/personer/vit/stolz/>, Western Norway University of Applied Sciences, Norway Frits Vaandrager <http://www.cs.ru.nl/~fvaan/>, Radboud University, Netherlands Neil Walkinshaw <http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw>, University of Leicester, UK Chao Wang <http://www-bcf.usc.edu/~wang626/>, University of Southern California, USA Eugen Zalinescu <http://www2.in.tum.de/hp/Main?nid=315>, Technische Universitat München, Germany

1 0

Last CFP - Extended deadline - HLPP'2017 - The 10th International Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 20 Apr '17

20 Apr '17

[ Apologies if you receive multiple copies of this email ] Please, feel free to resubmit this call for papers to your colleagues or any other person or institution if you think they could be interested. ------------------------------------------------------- CALL FOR PAPERS -- Paper submission Deadline extended to *April 21* -- Accepted papers to be published in special issues of the following journals (see below): * IJPP (Springer) * CCPP (Wiley) HLPP 2017 The 10th International Symposium on High-Level Parallel Programming and Applications July 10 - 11, 2017 Valladolid, Spain Web: https://hlpp2017.infor.uva.es/ email: hlpp2017(a)infor.uva.es == Aims and scope of HLPP == As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism, it becomes crucial to provide the software industry with high-level, clean, and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001, the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools, and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity, and high-level performance models. The 10th Symposium on High-Level Parallel Programming and Applications will be held July 10-11th in the cultural city of Valladolid, Spain. == Topics == HLPP 2017 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: * High-level programming, performance models (BSP, CGM, LogP, MPM, etc.) and tools * Declarative parallel programming methodologies based on functional, logical, data-flow, and other paradigms * Algorithmic skeletons, patterns, etc., and constructive methods * High-level parallelism in programming languages and libraries (e.g, Haskell, Scala, PGAS, etc.): semantics and implementation * Verification of declarative parallel and distributed programs * Efficient code generation, auto-tuning, and optimization for parallel programming * Model-driven software engineering for parallel systems * Domain-specific languages: design, implementation, and applications * High-level programming models for heterogeneous/hierarchical platforms with accelerators; e.g. GPU, Xeon Phi, etc. * High-level parallel methods for large structured and semi-structured datasets * Applications of parallel systems using high-level languages and tools * Teaching experience with high-level tools and methods == Important dates == * Submission deadline: Extended to *April 21* * Author notification: *May 16* * Camera-ready paper due for draft proceedings: *June 16* * Early registration deadline: *May 31* * Late registration deadline: *June 30* (after this date the registration will be only possible paying by cash at the registration desk during the symposium) * Symposium: *July 10-11* * Camera-ready paper due for journal publication: *September 15* == Proceedings and Journal Special Issues == Accepted papers will be distributed as informal draft proceedings during the symposium. Additionally, accepted papers will be published in a special issue of a renowned international journal. Depending on their subject, some papers will be selected for the *International Journal of Parallel Programming* (Springer), while others will be selected for *Concurrency and Computation: Practice and Experience* (Wiley). We expect the special issues to appear online-first by the end of 2017 and the printed edition in 2018. == Paper submission == Papers submitted to HLPP2017 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJPP Latex macro package <http://static.springer.com/sgw/documents/468198/application/zip/LaTeX.zip>, using the single column option (\documentclass[smallextended]{svjour3}), and submitted via the EasyChair Conference System <https://easychair.org/conferences/?conf=hlpp2017>, as one PDF file. The strict page limit for initial submission and camera-ready version is 18 pages in the aforementioned format. Each paper will receive a minimum of three reviews by members of the program committee. Papers will be selected based on their originality, relevance, technical clarity, and quality of presentation. At least one author of each accepted paper must register for the HLPP 2017 symposium and present the paper. After the symposium, you have ample time to revise the paper incorporating potential comments and remarks of your colleagues. == Organization Committee == * Arturo Gonzalez-Escribano, Universidad de Valladolid, Spain * Diego R. Llanos, Universidad de Valladolid, Spain * Daniel Barba-Gutierrez, Universidad de Valladolid, Spain * Ana Moreton-Fernandez, Universidad de Valladolid, Spain * Eduardo Rodriguez-Gutiez, Universidad de Valladolid, Spain == Program committee == * Chair: José Daniel García (Universidad Carlos III de Madrid, Spain) * Herbert Kuchen (University of Muenster) * Aleksandar Prokopec (École Polytechnique Fédérale de Lausanne) * Kostis Sagonas (Uppsala University) * Massimo Torquati (University of Pisa) * Pedro Alonso (Universitat Politècnica de València) * Christoph Kessler (Linköping University) * Murray Cole (University of Edinburgh) * Susanna Pelagatti (University of Pisa) * Michel Steuwer (The University of Edinburgh) * Clemens Grelck (University of Amsterdam) * Gaétan Hains (Huawei France, R&D Center) * Dora Blanco (University of Santiago de Compostela) * Marco Danelutto (University of Pisa) * Peter Kilpatrick (Queen¿s University Belfast) * Marco Aldinucci (University of Pisa) * Kiminori Matsuzaki (Kochi University of Technology) * Sergei Gorlatch (University of Münster) * Francisco de Sande (Universidad de La Laguna) * Joel Falcou (NumScale, Universitè Paris Sud) * Kevin Hammond (University of St. Andrews) * Arturo Gonzalez-Escribano (Universidad de Valladolid) * Diego R. Llanos (Universidad de Valladolid) == HLPP steering committee == * Clemens Grelck (Universiteit van Amsterdam, Netherlands) * Gaétan Hains (Université Paris-Est, France) * Kiminori Matsuzaki (Kochi University of Technology, Japan) * Frédéric Loulergue (SICCS, Northern Arizona University, USA) * Quentin Miller (Somerville College Oxford, United Kingdom) * Alexander Tiskin (University of Warwick, United Kingdom) == Venue == HLPP 2017 will be hosted by Universidad de Valladolid, Spain The symposium will be held at "Palacio de Congresos Conde Ansurez" ------------------------------------------------------- Kind regards, The HLPP'2017 local organization committee -- -- -- HLPP'2017. Local Organization Committee -- Universidad de Valladolid (Spain) -- http://hlpp2017.infor.uva.es/ -- ---------------------------------------------------------------------- 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 ----------------------------------------------------------------------

1 0

Re: [Haskell] haskell Summer of Code
by Jasper Van der Jeugt 19 Apr '17

19 Apr '17

Sorry for the double mail -- re-sending since my mail bounced for the haskell mailing list. Jasper On Wed, Apr 19, 2017 at 12:10 PM, Jasper Van der Jeugt <m(a)jaspervdj.be> wrote: > Hey all, > > Sorry for the confusion. As stated in the timeline, the student > application period begins on the 25th of April, so next week. At that > time, a form will be provided on <https://summer.haskell.org/>. I > should have added this info explicitly to the homepage -- I will rectify > that now. > > If it is somehow not possible to submit at that time because of schedule > conflicts, please contact us and we will take of it. > > Kind regards > Jasper Van der Jeugt > > On Wed, Apr 19, 2017 at 07:11:17AM +0530, Harendra Kumar wrote: >> It is surprising that the haskell summer of code webpage does not mention >> how to or where to submit a proposal. After reading this email I went >> through the SoC announcement email myself and thus got to >> https://summer.haskell.org/ which too does not have any details on how to >> submit proposals, maybe I missed something. However, I could find the >> following from contacts page on this website: >> >> You can reach us by sending an email to committee [AT] haskell.org. >> Alternatively, you can contact nvazou [AT] cs.umd.edu and m [AT] >> jaspervdj.be directly. >> >> I guess, you can try sending your proposal to these email ids, I have >> copied them on this email as well. >> >> -harendra >> >> >> On 19 April 2017 at 05:14, Bhavishya Desai <bhavishyagopesh(a)gmail.com> >> wrote: >> >> > Hello devs, >> > >> > I'm attaching the link of my proposal for summer of code.I'm interested in >> > IOS app for codeworld. >> > >> > Here it is:Proposal >> > <https://docs.google.com/document/d/1HWTtCZqQdAC9CD9ADCo6CuWfBidunnwi_1vlw5d…> >> > >> > Sorry if it's not the right place for submitting proposals for review, I >> > couldn't find any appropriate place(even the irc wasn't that active.) >> > >> > Waiting for your review, >> > >> > Thank YOU. >> > >> > _______________________________________________ >> > Haskell mailing list >> > Haskell(a)haskell.org >> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >> > >> >

1 0

CFP: 20th ACM MSWiM - Miami Beach, USA
by Robson De Grande 19 Apr '17

19 Apr '17

=================================================== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 ==================================================== IMPORTANT: Submission deadline: May 20th 2017 =================================================== *Pending Upon Approval Note: Extended versions of selected papers will be considered for publication in a Fast Track issue of Elsevier's Computer Communications. ===================================================== ACM* MSWiM 2017 is the 20th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2017 will be held in Miami Beach, USA, Nov 21-25, 2017. Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: -- Wireless Communication and Mobile Networking - Performance evaluation and modeling - Analytical Models - Simulation languages and tools for wireless systems - Wireless measurements tools and experiences - Formal methods for analysis of wireless systems - Correctness, survivability and reliability evaluation - Mobility modeling and management - Models and protocols for cognitive radio networks - Models and protocols for autonomic, or self-* networks - Capacity, coverage and connectivity modeling and analysis - Wireless network algorithms and protocols - Software Defined Network - Services for Smart City - Wireless PANs, LANs - Ad hoc and MESH networks - Vehicular Ad-hoc Networks (VANET) - Sensor and actuator networks - Delay Tolerant Networks - Integration of wired and wireless systems - Pervasive computing and emerging models - Wireless multimedia systems - QoS provisioning in wireless and mobile networks - Security and privacy of mobile/wireless systems - Algorithms and protocols for energy efficient operation and power control - Mobile applications, system software and algorithms - RF channel modeling and analysis - Design methodologies, Tools, prototypes and testbeds - Parallel and distributed simulation of wireless systems - Operating systems for mobile computations - Programming language support for mobility - Resource management techniques - Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. 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. More detailed instructions for EDAS paper submission can be found at http://www.mswimconf.com/2017. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration (Full list of authors, title, keywords, abstract): May 20th 2017 Paper Submission Deadline: May 20, 2017 Notification of Acceptance: June 30, 2017 Organizing Committee: General Co-Chair: - Antonio Loureiro, UFMG, Brazil TPC Co-Chairs: - Richard Yu, Carleton University Canada - Hsiao-Chun Wu, Louisana State University, USA Tutorial Chairs: - Pan Li, Case Western Reserve University, USA, - Costas Bush, Louisiana State University, USA Workshop Chair: - Paolo Bellavista, University of Bologna, Italy Demos/Toosl Chair - Raquel Mini, PUC-Minas, Brazil PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden

1 0