- Haskell - Haskell.org

Postdoctoral position on database programming languages at Edinburgh LFCS
by James Cheney 19 Jun '19

19 Jun '19

Hi, We are now accepting applications for a postdoctoral position in database programming languages. The position is for 24 months, starting on September 2, 2019 at the earliest. Funding is provided by a five-year, €1.99M Consolidator Grant from the European Research Council on the project: "Skye: A programming language bridging theory and practice for scientific data curation". Funding from this ERC grant, and certain national funding schemes, is also available to help support travel/accommodation costs for visits from students, researchers or faculty at other institutions whose research aligns with the project. Please get in touch if interested. == Research associate (£33,199 - £39,609) == This postdoctoral research position is on database programming and data curation techniques in the Skye project. This project builds on the Links web programming language to add built-in support for scientific data management needs, particularly data archiving, transformation and provenance. Currently Links supports sophisticated database access via language-integrated query, but only for relational databases; other data models and query languages are not supported, and Links's capabilities for rewriting or transforming queries or updates is limited. The overall research goal of the Skye project is to identify, develop, and implement extensibility or metaprogramming capabilities to make advanced database programming easy. The successful candidate will focus on developing language-integrated query support for new data models/query languages, such as graph or RDF databases, and will work with other Skye project members to incorporate these techniques into Links. Links also has other advanced capabilities such as distributed programming with session types, and algebraic effects and handlers, and interactions between these features and database programming or new applications to database programming are in scope. The ideal candidate will have a strong background in database research, including familiarity with different query languages and models. Familiarity with programming language foundations is also desirable, as is experience with functional programming (e.g. Scala, OCaml, Haskell). Candidates with a strong background in either database or programming language research will be considered as long as there is clear evidence of ability to learn the complementary background. == To apply == For more information about the project, and about other related activities in my group, LFCS, and Edinburgh, please write to me or consult the following page: http://homepages.inf.ed.ac.uk/jcheney/group/skye.html Applications must be received by 5pm GMT, July 18, 2019. To apply, visit the University job posting for this position: Research Associate https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… then click "apply" and follow the instructions. Please note that applicants must use the University's application system above, which involves some account registration and form-filling, and it is recommended that applicants complete this process well before the deadline, since the system automatically stops accepting applications after the deadline. == Environment == The University of Edinburgh School of Informatics brings together world-class research groups in theoretical computer science, artificial intelligence and cognitive science. The School led the UK 2014 REF rankings in volume of internationally recognized or internationally excellent research. In 2013, the School of Informatics received an Athena Swan Silver Award, in recognition of its commitment to advancing the careers of women in science, technology, engineering, mathematics and medicine (STEMM) employment in higher education and research. Overall the University of Edinburgh has achieved a Silver Award.

1 0

CFP - CRISiS 2019 - Deadline extension and Special issue
by SAOUSSEN CHEIKHROUHOU 19 Jun '19

19 Jun '19

Call for papers The 14th International Conference on Risks and Security of Internet and Systems (CRiSIS) 29-31 October 2019, Hammamet, Tunisia http://crisis2019.redcad.org The International Conference on Risks and Security of Internet and Systems 2019 will be the 14th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defence, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. === IMPORTANT DATES === - Submission deadline: June 21, 2019 (Extended) - Notification to authors: July 20, 2019 - Camera-ready versions: September 22, 2019 - Conference dates: October 29-31, 2019 === SPECIAL ISSUE === Selected papers relevant to business, human and organisational aspects of cybersecurity will be invited to submit extended versions for publication in Information and Computer Security Journal http://emeraldgrouppublishing.com/products/journals/journals.htm?id=ics === TOPICS === The topics addressed by CRiSIS range from the analysis of risks, attacks to networks and system survivability, to security models, security mechanisms and privacy enhancing technologies. The authors are invited to submit research results as well as practical experiment or deployment reports. Industrial papers about applications or case studies are also welcomed in different domains (e.g., telemedicine, banking, e-government, e-learning, e-commerce, critical infrastructures, mobile networks, embedded applications, etc.). The list of topics includes but is not limited to: - Analysis and management of risk - Attacks and defenses - Attack data acquisition and network monitoring - Cryptography, biometrics, watermarking - Dependability and fault tolerance of Internet applications - Distributed systems security and safety - Embedded system security and safety - Empirical methods for security and risk evaluation - Hardware-based security and physical security - Intrusion detection and prevention systems - Organizational, ethical and legal issues - Privacy protection and anonymization - Risk-aware access and usage control - Security and risk assessment - Security and risks metrics - Security and dependability of operating systems - Security and safety of critical infrastructures - Security and privacy of peer-to-peer system - Security and privacy of wireless networks - Security models and security policies - Security of new generation networks, security of VoIP and multimedia - Security of e-commerce, electronic voting and database systems - Security of social networks - Security of industrial control systems - Smartphone security and privacy - Traceability, metrology and forensics - Trust management - Use of smart cards and personal devices for Internet applications - Web and cloud security === PAPER SUBMISSION === Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style ( http://www.springer.de/comp/lncs/authors.html) Authors of accepted papers must guarantee that their papers will be presented at the conference. All paper submissions will be handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=crisis2019 === Proceedings === The proceedings will be published as a volume of Springer's LNCS series. === GENERAL CHAIRS === Nora Cuppens, IMT Atlantique, France Ahmed Hadj Kacem, University of Sfax, Tunisia === PC CHAIRS === Frédéric Cuppens, IMT Atlantique, France Slim Kallel, University of Sfax, Tunisia === PUBLICATION CHAIRS === Nora Cuppens, IMT Atlantique, France Mohamed Mosbah, Bordeaux INP, France === PUBLICITY CHAIRS === Saoussen Cheikhrouhou, University of Sfax, Tunisia Reda Yaich, IRT SystemX, France === LOCAL ORGANISATION COMMITTEE=== Nesrine Khabou, University of Sfax, Tunisia Fairouz Fakhfekh, University of Sfax, Tunisia Riadh Ben Halima, University of Sfax, Tunisia Ismail Bouassida, University of Sfax, Tunisia Hatem Hadj Kacem, University of Sfax, Tunisia === PROGRAM COMMITTEE === Takoua Abdellatif, University of Carthage, Tunisia Esma Aimeur, University of Montreal, Canada Abderrahim Ait Wakrime, IRT Railenium, France Jocelyn Aubert, University of Luxembourg, Luxembourg Anis Bkakria, University of Bretagne Loire, France Nora Cuppens-Boulahia, University of Bretagne Loire, France Frédéric Cuppens, University of Bretagne Loire, France Bogdan Groza, Politehnica University of Timisoara, Romania Wided Guedria, Luxembourg Institute of Science and Technology, Luxembourg Brahim Hamid, University of Toulouse, France Christos Kalloniatis, University of the Aegean, Greece Sokratis Katsikas, Norwegian University of Science and Technology, Norway Kais Klai, University of Paris 13, France Igor Kotenko, St. Petersburg Institute for Informatics and Automation, Russia Marc Lacoste, Orange labs, France Jean-Louis Lanet, LHS Rennes, France Mohamed Mosbah, University of Bordeaux, France Raja Natarajan, Tata Institute of Fundamental Research, India Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Kai Rannenberg, Goethe University Frankfurt, Germany Michael Rusinowitch, Lorraine University, France Ketil Stoelen, University of Oslo, Norway Akka Zemmari, Université of Bordeaux, France Lingyu Wang, Concordia University, Canada

1 0

Postdoc position on quantified effects at Reykjavik University
by Tarmo Uustalu 18 Jun '19

18 Jun '19

Quantified computational effects and interaction Department of Computer Science, Reykjavik University One postdoc position Applications are invited for one postdoctoral position at the Department of Computer Science, Reykjavik University. The position is part of a three-year research project funded by the Icelandic Research Fund under the direction of Tarmo Uustalu. The overarching goal of to advance the theory and practice of disciplined effectful programming, based on graded monads, monad-like structures and interaction laws. Interested applicants should contact the PI (email tarmo(a)ru.is) for closer details on the research proposal. The successful candidate will benefit from, and contribute to, the research environment at the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), with research groups on concurrency, logic and semantics, algorithms, combinatorics. For information about ICE-TCS and its activities, see http://icetcs.ru.is/. Moreover, she/he will cooperate with Shin-ya Katsumata and Maciej Piróg during the project work and will benefit from the interaction with their research groups at the National Institute of Informatics in Tokyo and the University of Wroclaw. *Qualification requirements* Applicants for the postdoctoral position should have, or be about to defend, a PhD degree in computer science or a closely related field. Previous knowledge of at least one of lambda calculus and functional programming, proof theory/type theory, programming language semantics, category theory in computer science, proof assistants is a prerequisite. *Remuneration* The wage will be approx 500 kISK per month before income tax, but depend on the qualifications and experience of the postdoc. Check http://payroll.is/en/ for what this means in terms of take-home pay. A tax relief for foreign experts may apply. The position is for two years, to start in autumn 2019 (the start date is negotiable), and is renewable for another year, based on good performance and mutual satisfaction. *Application details* Interested applicants should send their CV, including a list of publications, to the PI (email tarmo(a)ru.is) together with a statement outlining their suitability for the project and the names of at least two references. Informal inquiries about the project and the conditions of work are very welcome. We will review applications as they arrive. Please apply before 5 July 2019.

1 0

GPCE 2019: Final Call for Papers - Athens, Greece; October 21-22 — Deadline Extension
by Rodin Aarssen 17 Jun '19

17 Jun '19

CALL FOR PAPERS — Deadline Extension 18th International Conference on Generative Programming: Concepts & Experiences (GPCE 2019) October 21-22, 2019 Athens, Greece (co-located with SPLASH 2019) https://conf.researchr.org/home/gpce-2019 http://twitter.com/GPCECONF http://www.facebook.com/GPCEConference IMPORTANT DATES Deadlines have been extended by one week from the earlier announcements: * Submission of abstracts: June 21, 2019 * Submission of papers: June 28, 2019 * Paper notification: August 9, 2019 Submission site: https://gpce19.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 program co-chairs 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: https://conf.researchr.org/home/gpce-2019. 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://gpce19.hotcrp.com/ For additional information, clarification, or answers to questions please contact the program co-chairs. ORGANIZATION Chairs * General chair: Ina Schaefer (TU Braunschweig) * Program co-chair: Christoph Reichenbach (Lund University) * Program co-chair: Tijs van der Storm (CWI / University of Groningen) Program Committee * Jonathan Aldrich (CMU) * Juliana Alves Pereira (University of Rennes, INRIA) * Marsha Chechik (University of Toronto) * Shigeru Chiba (University of Tokyo) * Thomas Degueule (CWI) * Sebastian Erdweg (TU Delft) * Matthew Flatt (University of Utah) * Robert Glück (University of Copenhagen) * Elisa Gonzalez Boix (VUB) * Geoffrey Mainland (Drexel University) * Chris Martens (NCSU) * Maryam Mehri Dehnavi (University of Toronto) * Peter Mosses (Swansea University / TU Delft) * David Pearce (Victoria University of Wellington) * Alex Potanin (Victoria University of Wellington) * Larissa Rocha Soares (Federal University of Bahia) * Ulrik Schultz (University of Southern Denmark) * Sandro Schulze (University of Magdeburg) * Christoph Seidl (TU Braunschweig) * Michel Steuwer (University of Glasgow) * Sam Tobin Hochstadt (Indiana University) * Kanae Tsushima (National Institute of Informatics) * Philip Wadler (University of Edinburgh) * Eric Walkingshaw (Oregon State University) * Adam Welc (Uber) * Peng Wu (Huawei)

1 0

CFP - CRISiS 2019 - Deadline extension and Special issue
by SAOUSSEN CHEIKHROUHOU 16 Jun '19

16 Jun '19

Call for papers The 14th International Conference on Risks and Security of Internet and Systems (CRiSIS) 29-31 October 2019, Hammamet, Tunisia http://crisis2019.redcad.org The International Conference on Risks and Security of Internet and Systems 2019 will be the 14th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defence, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. === IMPORTANT DATES === - Submission deadline: June 21, 2019 (Extended) - Notification to authors: July 20, 2019 - Camera-ready versions: September 22, 2019 - Conference dates: October 29-31, 2019 === SPECIAL ISSUE === Selected papers relevant to business, human and organisational aspects of cybersecurity will be invited to submit extended versions for publication in Information and Computer Security Journal http://emeraldgrouppublishing.com/products/journals/journals.htm?id=ics === TOPICS === The topics addressed by CRiSIS range from the analysis of risks, attacks to networks and system survivability, to security models, security mechanisms and privacy enhancing technologies. The authors are invited to submit research results as well as practical experiment or deployment reports. Industrial papers about applications or case studies are also welcomed in different domains (e.g., telemedicine, banking, e-government, e-learning, e-commerce, critical infrastructures, mobile networks, embedded applications, etc.). The list of topics includes but is not limited to: - Analysis and management of risk - Attacks and defenses - Attack data acquisition and network monitoring - Cryptography, biometrics, watermarking - Dependability and fault tolerance of Internet applications - Distributed systems security and safety - Embedded system security and safety - Empirical methods for security and risk evaluation - Hardware-based security and physical security - Intrusion detection and prevention systems - Organizational, ethical and legal issues - Privacy protection and anonymization - Risk-aware access and usage control - Security and risk assessment - Security and risks metrics - Security and dependability of operating systems - Security and safety of critical infrastructures - Security and privacy of peer-to-peer system - Security and privacy of wireless networks - Security models and security policies - Security of new generation networks, security of VoIP and multimedia - Security of e-commerce, electronic voting and database systems - Security of social networks - Security of industrial control systems - Smartphone security and privacy - Traceability, metrology and forensics - Trust management - Use of smart cards and personal devices for Internet applications - Web and cloud security === PAPER SUBMISSION === Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style ( http://www.springer.de/comp/lncs/authors.html) Authors of accepted papers must guarantee that their papers will be presented at the conference. All paper submissions will be handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=crisis2019 === Proceedings === The proceedings will be published as a volume of Springer's LNCS series. === GENERAL CHAIRS === Nora Cuppens, IMT Atlantique, France Ahmed Hadj Kacem, University of Sfax, Tunisia === PC CHAIRS === Frédéric Cuppens, IMT Atlantique, France Slim Kallel, University of Sfax, Tunisia === PUBLICATION CHAIRS === Nora Cuppens, IMT Atlantique, France Mohamed Mosbah, Bordeaux INP, France === PUBLICITY CHAIRS === Saoussen Cheikhrouhou, University of Sfax, Tunisia Reda Yaich, IRT SystemX, France === LOCAL ORGANISATION COMMITTEE=== Nesrine Khabou, University of Sfax, Tunisia Fairouz Fakhfekh, University of Sfax, Tunisia Riadh Ben Halima, University of Sfax, Tunisia Ismail Bouassida, University of Sfax, Tunisia Hatem Hadj Kacem, University of Sfax, Tunisia === PROGRAM COMMITTEE === Takoua Abdellatif, University of Carthage, Tunisia Esma Aimeur, University of Montreal, Canada Abderrahim Ait Wakrime, IRT Railenium, France Jocelyn Aubert, University of Luxembourg, Luxembourg Anis Bkakria, University of Bretagne Loire, France Nora Cuppens-Boulahia, University of Bretagne Loire, France Frédéric Cuppens, University of Bretagne Loire, France Bogdan Groza, Politehnica University of Timisoara, Romania Wided Guedria, Luxembourg Institute of Science and Technology, Luxembourg Brahim Hamid, University of Toulouse, France Christos Kalloniatis, University of the Aegean, Greece Sokratis Katsikas, Norwegian University of Science and Technology, Norway Kais Klai, University of Paris 13, France Igor Kotenko, St. Petersburg Institute for Informatics and Automation, Russia Marc Lacoste, Orange labs, France Jean-Louis Lanet, LHS Rennes, France Mohamed Mosbah, University of Bordeaux, France Raja Natarajan, Tata Institute of Fundamental Research, India Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Kai Rannenberg, Goethe University Frankfurt, Germany Michael Rusinowitch, Lorraine University, France Ketil Stoelen, University of Oslo, Norway Akka Zemmari, Université of Bordeaux, France Lingyu Wang, Concordia University, Canada

1 0

[ICTH-2019] CFPs (extended deadline): Current and Future Trends of Information and Communication Technologies in Healthcare
by Wim Ectors 14 Jun '19

14 Jun '19

Conference: The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/icth-19/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 30, 2019 - Paper Submission Due: July 1, 2019 (EXTENDED) - Author Notification: August 6, 2019 - Final Manuscript Due: September 6, 2019 Publication ------------- All ICTH 2019 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. Selected papers will be invited for publication, in the special issues of: - 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) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-comm…) ICTH 2019 will be held in conjunction with the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-19/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-19/call-for-papers.html ICTH 2019 will be held in the city of Coimbra. Coimbra is a historical city and a municipality in Portugal. Among the many archaeological structures dating back to the Roman era, when Coimbra was the settlement of Aeminium, are its well-preserved aqueduct and cryptoporticus. Similarly, buildings from the period when Coimbra was the capital of Portugal (from 1131 to 1255) still remain. During the late Middle Ages, with its decline as the political centre of the Kingdom of Portugal, Coimbra began to evolve into a major cultural centre. This was in large part helped by the establishment of the University of Coimbra in 1290, the oldest academic institution in the Portuguese-speaking world. Apart from attracting many European and international students, the university is visited by many tourists for its monuments and history. Its historical buildings were classified as a World Heritage site by UNESCO in 2013: "Coimbra offers an outstanding example of an integrated university city with a specific urban typology as well as its own ceremonial and cultural traditions that have been kept alive through the ages." Its atmospheric, beautiful historic core cascades down a hillside in a lovely setting on the east bank of the Rio Mondego: it's a multicoloured collage of buildings spanning nearly a millennium. The conference take place in the environment of technology startups and laboratories within the installations of Instituto Pedro Nunes (IPN). IPN is created in 1991 through a University of Coimbra initiative, Instituto Pedro Nunes (IPN)2 is a private non-profit organization which promotes innovation and the transfer of technology, establishing the connection between the scientific and technological environment and the production sector. IPN mission is to leverage a strong university - enterprise relationship for the promotion of innovation, rigor, quality and entrepreneurship in private and public sector organizations by acting in three complementary areas: Research and technological development, consultancy and specialized services; Incubation and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar Yasar, Hasselt University, Belgium Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Sofiane Hamrioui, University of Nantes, France An Neven, Hasselt University, Belgium International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee http://cs-conferences.acadiau.ca/icth-19/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

Request for Nominations to the GHC Steering Committee
by Joachim Breitner 12 Jun '19

12 Jun '19

Dear Haskell community, the GHC Steering committee is seeking nominations for two or three new member. The committee scrutinizes, nitpicks, improves, weights and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC. Our processes are described at https://github.com/ghc-proposals/ghc-proposals which is also the GitHub repository where proposals are proposed. We are looking for a member who has the ability * to understand such language extension proposals, * to find holes and missing corner cases in the specifications, * foresee the interaction with other language features and specifications, * comment constructively and improve the proposals, * judge the cost/benefit ratio and * finally come to a justifiable conclusion. We look for committee members who have some of these properties: * have substantial experience in writing Haskell applications or libraries, which they can use to inform judgements about the utility or otherwise of proposed features, * have made active contributions to the Haskell community, for some time, * have expertise in language design and implementation, in either Haskell or related languages, which they can share with us. The committee’s work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. The GHC developers themselves are already well represented already. We seek Haskell _users_ more than GHC hackers. There is no shortage of people who are eager to get fancy new features into the language, both in the committee and the wider community. But each new feature imposes a cost, to implement, to learn, (particularly) through its unexpected interaction with other features. We need to strike a balance, one that encourages innovation (as GHC always has) while still making Haskell attractive for real-world production use and for teaching. We therefore explicitly invite “conservative” members of the community to join the committee. To make a nomination, please send an email to me (as the committee secretary) at mail(a)joachim-breitner.de until June 23th. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. We explicitly encourage self-nominations. You can nominate others, but please obtain their explicit consent to do so. (We don’t want to choose someone who turns out to be unable to serve.) On behalf of the committee, Joachim Breitner -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Final Call for Participation: Compose Conference [NYC, Jun 22- 23 2019]
by Gershom B 12 Jun '19

12 Jun '19

=============================================== Final Call for Participation Compose Conference 2019 Mon June 24 - Tue June 25 2019 (Unconference on Sat Jun 22 - Sun Jun 23) New York, NY Deadline for registration: June 14 at 11pm EST. http://www.composeconference.org/2019 =============================================== The practice and craft of functional programming :: Conference Compose is a conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, SML, and related technologies. Typed functional programming has been taken up widely, by industry and hobbyists alike. For many of us it has renewed our belief that code should be beautiful, and that programming can be as enjoyable as it is practical. Compose is about bringing together functional programmers of all levels of skill and experience — from technical leads to novices, and from long-time hackers to students just getting started. It will feature a two days of great and wide-ranging talks * Invited Keynotes Donya Quick - Making Algorithmic Music David Spivak - Compositional Graphical Logic * Accepted Talks and Tutorials Kenny Foner - Functors of the World, Unite! Phillip Carter - The anatomy of the F# tools for Visual Studio Sebastien Mondet - Genspio: Generating Shell Phrases In OCaml Justin Le - Applicative Regular Expressions using the Free Alternative Gaetano Checinski - Buckaroo SAT - Solving a partially revealed SAT problem for Package Management Richard Feldman - From Rails to Elm and Haskell Samuel Gélineau - Stuck macros: deterministically interleaving macro-expansion and typechecking Vaibhav Sagar - Yes, IHaskell Can Do That! Fintan Halpenny - Bowl Full of Lentils Aditya Siram - A Tase Of ATS Ward Wheeler, Alex Washburn, Callan McGill - Phylogenetic Software in Haskell Igor Trindade Oliveira - Type Driven Secure Enclave Development using Idris David Christiansen - Bidirectional Type Checking Chris Smith - Teaching the intersection of mathematics and functional programming Brandon Kase - Fast Accumulation on Streams James Koppel - The Best Refactoring You’ve Never Heard Of Allister Beharry - Using Dependent Types in an F# DSL for Linear Algebra Diego Balseiro - Bridge Haskell and ReasonML in Production * Full abstracts: http://www.composeconference.org/2019/program * Conference Registration: https://www.eventbrite.com/e/new-york-compose-2019-tickets-56751182314 * Unconference Registration: https://www.eventbrite.com/e/new-york-compose-unconference-2019-tickets-603… * 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

Assistant/Associate Professorships in Nottingham
by Graham Hutton 10 Jun '19

10 Jun '19

Dear all, As part of a strategic expansion, the School of Computer Science at the University of Nottingham is seeking to make multiple new appointments at the Assistant or Associate Professor level: https://tinyurl.com/y4qfdqps https://tinyurl.com/y2uw6tsa Applications in the area of the Functional Programming (FP) lab are strongly encouraged! The FP lab is keen to receive applications from candidates with an excellent publication record (e.g. papers in leading venues such as LICS, POPL, ICFP, JFP, TOPLAS, etc) and the ability to secure external funding to support their research. Further information about the FP lab is available from: https://tinyurl.com/y2ekdkqa The deadline for applications is Monday 8th July 2019. The advert mentions some specific research areas, but the positions are open to applicants from any area of Computer Science. -- Graham Hutton and Thorsten Altenkirch 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.

1 0

Postdoc position in Functional Programming at Chalmers
by Mary Sheeran 07 Jun '19

07 Jun '19

We have an attractive 2 year postdoc position in Functional Programming at Chalmers, without the usual demand to work on a particular project. The deadline is tomorrow, June 8! Please consider applying. Use the "Apply" button at the bottom right of this job advertisement to submit your application: https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pag… Mary Sheeran

1 0