January 2019 - Haskell

Call for Conference Grant Applications (Inclusiveness Target Countries)
by Ambrus Kaposi 05 Nov '19

05 Nov '19

Call for Conference Grant Applications The European research network on types for programming and verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports attendance of young researchers presenting work on type theory at international conferences via travel grants. The rules are described here: https://eutypes.cs.ru.nl/ConfGrants The main points are: * Only researchers from ITCs participating in the action are eligible. As of September 2017, the ITCs involved in EUTypes are: Bosnia and Herzegovina, Czechia, Estonia, Hungary, Lithuania, Macedonia, Poland, Portugal, Romania, Serbia, Slovenia. * Only PhD students and Early Career Investigators (researchers whose PhD degree is at most 8 years old) are eligible. * The grantee must give a talk or present a poster on the topic of type theory. Applications have to be submitted through the e-COST system: https://e-services.cost.eu/conferencegrant Please inform researchers in your country who might be interested. Many thanks, Ambrus Kaposi EUTypes conference grant coordinator

1 6

SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada)
by Aneta Poniszewska-Marańda 28 Apr '19

28 Apr '19

--- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

1 7

CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19)
by Yazan Mualla 19 Feb '19

19 Feb '19

CALL FOR PAPERS The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) In conjunction with the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) 13th and 14th of May 2019 in Montreal, Canada. https://extraamas.ehealth.hevs.ch ------------------------------------------------------------------------------------------- Description ========== The aim of the EXTRAAMAS-19 workshop is to: - Establish a common ground for the study and development of explainable and understandable autonomous agents, robots and multi-agent systems, - Investigate the potential of agent-based systems in the development of personalized user-aware explainable AI, - Assess the impact of transparent and explained solutions on user/agents behaviors, and - Discuss motivating examples and concrete applications in which the lack of explainability leads to problems that can be resolved by explainability. ---------------------------------------------- Topics ====== The main topics of the EXTRAAMAS-19 workshop are (but not restricted to): - Explainable agent architectures - Adaptive and personalized explainable agents - Explainable human-robot interaction - Expressive robots - Explainable planning - Explanation visualization - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Reinforcement learning agents - Cognitive and social sciences perspectives on explanations - Legal aspects of explainable agents ---------------------------------------------- Important Dates ============== - Deadline for Submissions: February 20, 2019 - Notification of acceptance: March 10, 2019 - Camera-ready: April 1, 2019 - Workshop: May 13-14, 2019 ---------------------------------------------- Submission ========= Submissions will be reviewed by at least three members of the programme committee, who are experts in the field. The acceptance of the submitted papers will depend on their quality, relevance, and originality. To conduct this process, the chairs will rely on easychair to make the reviewing procedure traceable, transparent and accessible. In the case of accepted papers characterized by relevant demands (e.g., clarifications, changes, corrections) set by the reviewers, the final acceptance will be subject to their accomplishment. Accepted papers will be published in the Springer proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length, addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS proceedings template), and have to be submitted electronically as PDF files via the EasyChair submission page. The top papers will be published in Special Issue of a journal with a relevant impact factor (to be announced). ---------------------------------------------- Program Chairs ============= - Kary Främling (Umeå University, Sweden / Aalto University, Finland) - Davide Calvaresi (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) - Amro Najjar (Umeå University, Sweden) - Michael Schumacher (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) ---------------------------------------------- Advisory Board ============= - Virginia Dignum (Umeå University, Sweden) - Tim Miller (University of Melbourne, Australia) - Catholijn M. Jonker (TU Delft / LIACS Leiden University, The Netherlands) ---------------------------------------------- Publicity Chairs ============== - Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France) - Timotheus Kampik (Umeå University, Sweden) ---------------------------------------------- Program Committee ================= To be announced.

1 3

The 16th International Conference on Mobile Web and Intelligent Information Systems (MobiWis 2019) Springer, LNCS 26-28 August 2019, Istanbul, Turkey
by Aneta Poniszewska-Marańda 31 Jan '19

31 Jan '19

------------------------ Call for Papers ----------------------------- The 16th International Conference on Mobile Web and Intelligent Information Systems (MobiWis 2019) Springer, LNCS 26-28 August 2019, Istanbul, Turkey http://www.mobiwis.org/2019/ ----------------------------------------------------------------------------- The areas of the Web, mobile technologies, and information systems have been following a continuous and steady development over a number of years through the innovative research and practices of researchers, developers and practitioners from academia, industry, governmental and scientific organizations. The International Conference on Mobile Web and Intelligent Information Systems (MobiWis) aims to enable synergy between these areas and provides the premier venue to present and discuss latest research and developments related to research issues of the mobile web and the engineering of intelligent and innovative mobile systems and services. The conference comprises a set of carefully selected tracks that focus on the particular challenges regarding mobile Web and intelligent information systems in research areas such as, among others, Web Engineering, Service-Oriented Computing, Web of Things, Data and Knowledge Management, Cloud Computing, Security and Human-Computer Interaction. Conference Tracks: - Smart and Intelligent Systems - Mobile Software Systems - Adaptive Approaches for Mobile Computing - Middleware/SOA for Mobile Systems - Context- and Location-aware Services - Pervasive and Ubiquitous Applications - Data management in the Mobile Web - Mobile Cloud Services - Mobile Web of Things - Mobile Web Security, Trust and Privacy - Mobile Networks, Protocols and Applications - Mobile Commerce and Business Services - Socially Influencing Systems - HCI in Mobile Applications - Industry and Demos Important Dates: Submission Deadline: 11 March 2019 Authors Notification: 20 May 2019 Final Manuscript Due: 14 June 2019 Submission Instructions: Full papers must be in English and must not exceed 12 pages. Short papers should be limited to 8 pages. Papers should be formatted in Springer's LNCS format. See submission instructions on the conference website. Publication: All accepted papers will be included in the conference proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series. For each accepted paper, at least one author must register for the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their papers for a special issues in international journals (see conference website). Lecture Notes in Computer Science (LNCS) series is indexed by the ISI Conference Proceedings Citation Index - Science (CPCI-S), included in ISI Web of Science, EI Engineering Index (Compendex and Inspec databases), ACM Digital Library, dblp, Google Scholar, Scopus, etc. See LNCS - Information on Abstracting and Indexing (http://www.springer.com/computer/lncs?SGWID=0-164-6-1068921-0) Organizing Committee: General Co-Chairs: Markus Aleksy, ABB, Germany Perin Unal, Teknopar, Turkey Program Co-Chairs: Irfan Awan, University of Bradford, UK Mohammed Ghazal, Abu Dhabi University, UAE Local Organising Co-Chairs: Sezer Gören Ugurdag, Yeditepe University, Turkey Tacha Serif, Yeditepe University, Turkey Publication Chair: Muhammad Younas, Oxford Brookes University, UK Journal Special Issue Coordinator: George Ghina, Brunel University London, UK Workshop Coordinator: Tor-Morten Grřnli, Kristiania University College, Norway Publicity Chair: Aneta Poniszewska-Maranda, Lodz University of Technology, Poland --- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

1 0

CFP_14th International Conference on Risks and Security of Internet and Systems (CRiSIS)
by SAOUSSEN CHEIKHROUHOU 28 Jan '19

28 Jan '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. === 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 Easy Chair conference management system: https://easychair.org/conferences/?conf=crisis2019 === IMPORTANT DATES === - Submission deadline: June 09, 2019 - Notification to authors: July 20, 2019 - Camera-ready versions: September 22, 2019 - Conference dates: October 29-31, 2019 === 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(to be completed) === Esma Aimer, University of Montreal Luca Allodi ,University of Torento Jocelyn Aubert, Luxembourg Institute of Science and Technology Fabrizio Biondi, IRISA/INRIA Rennes Anis Bkakria, IMT Atlantique Yu Chen, State University of New York Binghamton Nora Cuppens-Boulahia,IMT Atlantique, France Frédéric Cuppens, IMT Atlantique, France Imen Jemili, Faculté des Sciences, Bizerte, Tunisia Jose M. Fernandez, Ecole Polytechnique de Montreal Manoj Singh Gaur, IIT Jammu, India Bogdan Groza, Politehnica University of Timisoara Ruan He, Orange Christos Kalloniatis, University of the Aegean Sokratis Katsikas, Center for Cyber and Information Security, NTNU Nizar Kheir, Thales Group Igor Kotenko, St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRA) Marc Lacoste, Orange Kostas Lambrinoudakis, University of Piraeus Jean-Louis Lanet, LHS Rennes, France Mohamed Mosbah, LaBRI, Bordeaux INP, France Raja Natarajan, TIFR, India Stephen Neville, University of Victoria Roberto Di Pietro, Bell Labs Kai Rannenberg, Goethe University Frankfurt Michael Rusinowitch, LORIA INRIA Nancy Ketil Stoelen, SINTEF Nadia Tawbi, Université de Laval Akka Zemmari, LaBRI - Université de Bordeaux Lingyu Wang, Concordia University

1 0

KKIO 21st Software Engineering Conference, September 11-13, 2019, Bialystok, Poland
by Aneta Poniszewska-Marańda 27 Jan '19

27 Jan '19

================================== Call for Papers ============================== KKIO 21 st Software Engineering Conference September 11-13, 2019, Bialystok, Poland Motto : Integrating Research and Practice in Software Engineering KKIO’19 web site: [ http://kkio.pti.org.pl/2019/ | http://kkio.pti.org.pl/2019/ ] KKIO is a prime software engineering conference organized annually by Polish Information Processing Society. The language of the conference is English. The aim of KKIO 2018 is to stimulate research, promote cooperation between science and industry, and facilitate a dialogue with governmental bodies. In particular, KKIO'19 will provide a forum for the presentation of research results, scientific challenges faced by the industry, scientific achievements that could address these problems. It will be also a platform to make contacts, initiate cooperation between researchers and engineers. This year KKIO coincides with 30 th anniversary of the Faculty of Computer Science, Bialystok University of Technology who also hosts KKIO. Bialystok is a quickly growing IT hub, surrounded by unspoiled nature, rivers, forests, with biggest population of European bisons living at large in wilderness. We invite papers covering a wide range of software engineering topics including software methods & tools, innovative applications in emerging domains, technology transfer success stories and failures, education, and other topics listed on the conference web site. Submission deadline : Abstract by 24 March 2019; Papers by 31 March 2019 Submission site : EasyChair [ https://easychair.org/conferences/?conf=kkio2019 | https://easychair.org/conferences/?conf=kkio2019 ] You will find all the submission details on the KKIO’19 web site (For Authors -> Submissions) We invite researchers, PhD students, engineers and business representatives to submit papers concerning research, research & development, case-studies, education in software engineering, and application of software systems in industry. In addition, we invite proposals for special sessions, workshops, discussion panels and tutorials. Papers and proposals should be written in English. Accepted papers will be published in a dedicated monograph of the prestigious series Studies in Computational Intelligence (Springer): Integrating Research and Practice in Software Engineering The books of this series are submitted by Springer to WoS, EI-Compendex, DBLP, SCOPUS, Google Scholar and Springerlink. Authors of the best papers will be invited to submit revised and extended versions of their submissions to high profile journals. The authors of all high-quality papers that will not be accepted for dedicated volume of Studies in Computational Intelligence will be invited to prepare the extended version of the papers that will be published in Special Issue of Lecture Notes on Data Engineering and Communications Technologies (LNDECT), Springer (https://www.springer.com/series/15362) The books of this series are submitted to ISI Proceedings, MetaPress, Springerlink and DBLP. Proceedings for the KKIO’16 and KKIO’17 are now indexed by Web of Science and Scopus. Call for Special Sessions The organizers of the conference are seeking Special Sessions / Workshop Proposals on topics complementary to those of the main conference and Panel, Training / Business Workshops, and Tutorial Proposals. The responsibility of the Special Session / Workshop Chair(s) would be to prepare a specific Call for Papers, organize the sessions program committee (reviewers) and advertise the event. The special session should include at least three papers (if more papers are submitted it could have a form of an independent workshop). The papers are accepted based on two reviews provided by the Special Session PC members and one by a member of the KKIO Program Committee. Please, submit a proposal using the web form: [ https://tinyurl.com/kkio-sessions-tutorials | https://tinyurl.com/kkio-sessions-tutorials ] , preferably before 15.02.2019 for special sessions and 15.05.2019 for tutorials. Important dates: Papers: Abstract submission (strongly recommended): 24.03.2019 Paper submission: 31.03.2019 Notification of acceptance: 10.05.2019 Camera-ready papers submission: 26.05.2019 Special Sessions/Workshops Proposal submission: 15.02.2019 Notification of acceptance: 20.02.2019 Panels, Training Workshops, Tutorial Proposals Submission: 15.05.2019 Notification of acceptance: 30.05.2019 Registration & payment Early registration: 25.06.2019 Late registration: 20.08.2019 Program Committee Co-Chairs: Stanislaw Jarzabek, Bialystok University of Technology, Poland Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Special Sessions, Panels, Training Workshops, Tutorials Chair : Miroslaw Ochodek, Poznan University of Technology, Poland Contacts: Conference program: [ mailto:kkio2019@easychair.org | kkio2019(a)easychair.org ] Special Sessions, Panels, Workshops, Tutorials: Miroslaw Ochodek, miroslaw.ochodek(a)cs.put.poznan.pl Conference organization: [ mailto:wi.kkio2019@pb.edu.pl | wi.kkio2019(a)pb.edu.pl ] --- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

1 0

SPLASH 2019: 1st Combined Call for Contributions
by Aggelos Biboudis 22 Jan '19

22 Jan '19

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'19) Athens, Greece Sun 20 - Fri 25 October 2019 https://2019.splashcon.org/ Sponsored by ACM SIGPLAN /************************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS OOPSLA Onward! Workshops Dynamic Languages Symposium (DLS) Generative Programming: Concepts & Experiences (GPCE) Software Language Engineering (SLE) Managed Programming Languages and Runtimes (MPLR) /************************************************************************************/ The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * SPLASH Workshops * PACMPL Issue OOPSLA * Onward! Papers * Onward! Essays * Dynamic Languages Symposium (DLS) * Generative Programming: Concepts & Experiences (GPCE) * Software Language Engineering (SLE) * Managed Programming Languages and Runtimes (MPLR) * SPLASH-I * Posters * Doctoral Symposium * Student Research Competition * Student Volunteers ## SPLASH Workshops Following its long-standing tradition, SPLASH 2018 will host a variety of high quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Submissions are currently being accepted on “a rolling basis”. The rolling call will close on Fri 15 Mar, 2019. https://2019.splashcon.org/track/splash-2019-workshops ## PACMPL Issue OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Submissions due: Fri 5 Apr, 2019 https://2019.splashcon.org/track/splash-2019-oopsla ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Mon 22 April, 2019 https://2019.onward-conference.org/track/onward-2019-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short. An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Mon 22 April, 2019 https://2019.onward-conference.org/track/onward-2019-Onward-Essays ## Dynamic Languages Symposium (DLS) >From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects of Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Abstracts due: Wed 29 May, 2019 Submissions due: Wed 5 Jun, 2019 https://conf.researchr.org/home/dls-2019 ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Fri 14 Jun, 2019 Submissions due: Fri 21 Jun, 2019 https://conf.researchr.org/home/gpce-2019 ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. SLE 2018 solicits high quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Abstracts due: Fri 14 Jun, 2019 Submissions due: Fri 21 Jun, 2019 https://conf.researchr.org/home/sle-2019 ## Managed Programming Languages and Runtimes (MPLR) The International Conference on Managed Programming Languages & Runtimes (MPLR, formerly ManLang) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable applications). Submissions due: Mon July 8, 2019 https://conf.researchr.org/home/mplr-2019 ## SPLASH-I SPLASH-I is a series of high-quality talks that highlight the challenges that are on the forefront of both research and practice across the SPLASH community's broad spectrum of domains and techniques. We invite the community to propose speakers (including themselves) through our call for contributions. Submissions due: Fri May 17, 2019 https://2019.splashcon.org/track/splash-2019-SPLASH-I ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact at any desired level of detail. The poster session is held early in the conference to promote continued discussion among interested parties. Submissions due: Sat 7 Sep, 2019 https://2019.splashcon.org/track/splash-2019-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. This year, the John Vlissides Award will be presented to a symposium participant showing significant promise in applied software research. All participants to the Doctoral Symposium are eligible. The award includes a prize of $2,000. Submissions due: Fri 12 Jul, 2019 http://2019.splashcon.org/track/splash-2019-Doctoral-Symposium ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Student Research Competition abstract due: Fri July 12, 2019 https://2019.splashcon.org/track/splash-2019-SRC ## Student Volunteers The SPLASH Student Volunteers program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Detailed information on how to apply will be available on the main conference page in March 2019. Estimated deadline for the SV applications will be towards the end of September 2019. https://2019.splashcon.org/track/splash-2019-Student-Volunteers ## Information Contact: publicity at splashcon.org Website: https://2019.splashcon.org/ Location: Royal Olympic Hotel, Athens, Greece ## Organization SPLASH General Chair: * Yannis Smaragdakis (University of Athens) OOPSLA Review Committee Chair: * Eelco Visser (Delft University of Technology) Onward! Papers Chair: * Hidehiko Masuhara (Tokyo Institute of Technology) Onward! Essays Chair: * Tomas Petricek (Alan Turing Institute) DLS Program Chair: * Stefan Marr (University of Kent) GPCE General Chair: * Ina Schaefer (Technische Universität Braunschweig) GPCE Program Chair: * Tijs van der Storm (Centrum Wiskunde & Informatica / University of Groningen) SLE General Chair: * Oscar Nierstrasz (University of Bern) SLE Program Co-Chairs: * Bruno Oliveira (University of Hong Kong) * Jeff Gray (University of Alabama) SLE Publicity Chair: * Andrei Chiş (Feenk GmbH, Switzerland) SLE AEC Co-Chairs: * Emma Söderberg (Lund University) * Abel Gomez (Universitat Oberta de Catalunya) MPLR General Chair: * Tony Hosking (Australian National University / Data61) MPLR Program Chair: * Irene Finocchi (Sapienza University of Rome) SPLASH-I Co-Chairs: * Shan Shan Huang (Facebook) * Michael Carbin (MIT) Workshops Co-Chairs: * Arjun Guha (University of Massachusetts Amherst) * Neville Grech (University of Athens, University of Malta) OOPSLA Artifact Evaluation Co-Chairs: * Colin S. Gordon (Drexel University) * Jan Vitek (Northeastern University) Posters Chair: * Christoph Reichenbach (Lund University) Doctoral Symposium Chair: * Éric Tanter (University of Chile & Inria Paris) Student Research Competition Co-Chairs: * Jay McCarthy (University of Massachusetts Lowell) * David Darais (University of Vermont) Student Volunteers Co-Chairs: * Juliana Franco (Microsoft Research, Cambridge) * Tony Antoniadis (University of Athens) Publications Chair: * Magnus Madsen (Aarhus University) Publicity Co-Chairs: * Aggelos Biboudis (École Polytechnique Fédérale de Lausanne) * Tijs van der Storm (Centrum Wiskunde & Informatica / University of Groningen) Local Arrangements Chair: * George Fourtounis (University of Athens) Accessibility Chair: * Kostas Saidis (University of Athens) Sponsorships Co-Chairs: * Caitlin Sadowski (Google) * Jaeheon Yi (Google) Video Chair: * Benjamin Chung (Northeastern University) Web Co-Chairs: * Aggelos Biboudis (École Polytechnique Fédérale de Lausanne) * Aviral Goel (Northeastern University) /************************************************************************************/

1 0

[TCCN] MobiSPC 2019 CfPs: The 16th International Conference on Mobile Systems and Pervasive Computing (August 19-21, 2019, Halifax, Canada)
by Davidekova Monika 21 Jan '19

21 Jan '19

CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Workshop Proposal Due: February 15, 2019 - Paper Submission Due: March 28, 2019 - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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<http://www.elsevier.com/> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com/>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://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<http://www.scopus.com/>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com/>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees ________________________________

1 0

Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19)
by Yazan Mualla 21 Jan '19

21 Jan '19

INVITATION FOR PAPERS AND TALKS (extended) The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ----------------------------------------------------------------------- In conjunction with: * the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on February 15, 2019. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 15, 2019, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019) not exceeding 1000 words in length. Organizer ========= -Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) <stephane.galland(a)utbm.fr> -Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France). Registration ============ Registration to the European SarlCon 2019 is free. Please notify the organizers if you want to come in order to organize the meeting.

1 0

Three Tenure-Track Faculty Positions - Brock University
by Robson De Grande 16 Jan '19

16 Jan '19

The Department of Computer Science at Brock University invites applications for three (3) probationary tenure-stream positions as Assistant Professor: * Artificial Intelligence: machine learning, neural networks and deep learning, representation and reasoning, computer vision, and applications in bioinformatics, health informatics, and scientific computing. * Data science: data security, big data, databases, data visualization. * Software systems: software engineering, computer gaming, networks, security. Please visit the link below for more details: - https://brocku.wd3.myworkdayjobs.com/en-US/brocku_careers/job/St-Catharines… Brock University is actively committed to diversity and the principles of Employment Equity and invites applications from all qualified candidates. Women, Indigenous peoples, members of visible minorities, and people with disabilities are encouraged to apply. We will accommodate the needs of the applicants and the Ontario Human Rights Code and the Accessibility for Ontarians with Disabilities Act (AODA) throughout all stages of the selection process, as outlined in the Employee Accommodation Policy https://brocku.ca/webfm_send/39939. -- Dr. Robson E. De Grande Network Manager - DIVA Strategic Research Network PARADISE Research Laboratory University of Ottawa

1 0