From Monika.Davidekova at fm.uniba.sk Wed Jan 2 07:56:38 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Wed, 2 Jan 2019 07:56:38 +0000 Subject: [Haskell] ANT-2019 and ABMTRANS-2019 : Call for papers : Final firm deadline : 2019-Jan-09 In-Reply-To: <20181220095807.biabam.4VFSZD@linux0> References: <20181220095807.biabam.4VFSZD@linux0> Message-ID: Submission deadline extended: please refer to http://cs-conferences.acadiau.ca/ant-19/#importantDates The 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-2019) http://www.abmtrans.eu/ http://cs-conferences.acadiau.ca/ant-19/#workshop_approved in conjunction with The 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) http://cs-conferences.acadiau.ca/ant-19/ April 29 - May 2, 2019 Leuven, Belgium CALL FOR PAPERS : ANT-2019(MSTS) and ABMTRANS-2019 The ANT-2019 conference dedicates the MSTS track to Modeling and Simulation in Transportation Sciences while the ABMTRANS-2019 workshop focuses on the agent-based approach in that domain. Both provide an international forum on the latest technologies and research in the field of traffic and transportation modeling. Both are organized by the Transportation Research Institute (IMOB), Hasselt University, Belgium. SCOPE The aim of the ANT-2019 MSTS track is to bring together communities interested in the computation, knowledge discovery and technology policy aspects of transportation systems. The organizers of ANT-2019 (MSTS track) welcome information technology application papers from researchers in the domains of transportation sciences and engineering, computer science, urban and regional planning, civil engineering, geography, geo-informatics and related disciplines to submit papers for consideration for presentation and for publication in the conference proceedings. The ABMTRANS workshop provides a multidisciplinary collaborative forum for researchers and practitioners to submit papers presenting new research results and novel ideas related to the theory or the practice of agent-based traffic and transportation modeling. This workshop also invites researchers to submit their work focusing on the data mining, (activity-based) demand prediction, management and configuration for agent-based traffic and transportation modeling. Topics of interest include (but are not limited to): Agent-based transportation modeling and simulation Agent-based negotiation of QoS and SLAs in traffic and transportation models Agent-based and activity-based scheduling to establish synthetic agenda for day-to-day activities (travel demand prediction) Calibration and validation of (agent-based) models for traffic and transportation Collaboration, cooperation, competition, coalitions in traffic and transportation models, including collaborative multi-modal transport Conceptual modeling of agent-based approach Data mining and statistical learning for travel information Environment modeling and interaction protocols Human-computer interfaces in intelligent transportation applications Human factors including adaptive driving, travel behavior, pervasive technology Large scale simulation of agent-based microscopic traffic models Logistics and transportation management Marketing decision support Mathematical optimization in traffic engineering and smart city topic Multi-modal routing of agents in a dynamic traffic environment Novel applications targeted to health, mobility, livable environment and sustainability Renewable energy sources in transportation Role of multi-agent methodologies for complex systems Simulation of traffic, passenger flows, assisted driving or collaborative transport Social and emergent behavior in MAS-T (multi-agent systems applied to traffic and transport) Social and institutional information related to travel Traffic flow and transportation modeling Travel information, including recommender systems and user feedback systems Uncertain information in collaborative transport and assisted traveling SUBMISSION AND PROCEEDINGS - JOURNAL SPECIAL ISSUES All ANT-2019 and ABMTRANS-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 Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Authors who submitted a paper of outstanding quality will receive an invitation to write an extended version of their paper for one of the ranked journals mentioned on http://cs-conferences.acadiau.ca/ant-19/#journalSpecialIssues The extended paper will be subject to an additional peer review. Please consult the website ( http://cs-conferences.acadiau.ca/ant-19/#journalSpecialIssues ) for the latest information about these journals. The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. The authors must follow Elsevier guidelines as given in ANT-2019 website ( http://cs-conferences.acadiau.ca/ant-19/ ). For ANT-2019, submitted technical papers must be no longer than 8 pages for full papers and 5 pages for short papers including all figures, tables and references. Authors are requested to submit their papers electronically using the online conference management system ( https://easychair.org/conferences/?conf=ant2019 )in PDF format before the deadline (see Important Dates). For ABMTRANS-2019 workshop papers, the number of pages is limited to 6 pages. Authors are requested to submit their contributions electronically in PDF format at: https://www.easychair.org/conferences/?conf=abmtrans2019 . IMPORTANT DATES for ANT-2019 and ABMTRANS-2019 are the same. Please refer to http://cs-conferences.acadiau.ca/ant-19/#importantDates PROGRAM COMMITTEE Ansar Yasar, Hasselt University, Belgium Athina Tympakianaki, KTH Royal Institute of Technology, Stockholm, Sweden Azedine Boulmakoul, Universite Hassan II de Casablanca, Morocco Boris Kerner, University Duisburg-Essen, Germany Bruno Kochan, Hasselt University, Belgium Eran Ben Elia, Ben-Gurion University of the Negev, Israel Eric Miller, University of Toronto, Canada Harry Timmermans, TUE Eindhoven, The Netherlands Irith Hartman, University of Haifa, Israel Itzhak Benenson, Tel Aviv University, Israel Johan Holmgren, Malmo University, Sweden Johan Joubert, University of Pretoria, South Africa Josep Maria Salanova, CERTH (Centre for Research & Technology, Hellas), Greece Joshua Auld, Argonne National Laboratory, USA Kai Nagel, TU Berlin, Germany Kay W. Axhausen, ETH Zuerich, Switzerland Luk Knapen, Hasselt University, Belgium Matthias Heinrichs, German Aerospace Center, Berlin, Germany Muhammad Adnan, Hasselt University, Belgium Nadav Levy, Ben-Gurion University of the Negev, Israel Oded Cats, TU Delft, The Netherlands Paul Davidsson, Malmo University, Sweden Peter Vortisch, Karlsruhe Institute of Technology, Germany Pieter Fourie, ETH Zuerich, Switzerland Stephane Galland, Universit?? de Technologie Belfort-Montb??liard, France Tom Bellemans, Hasselt University, Belgium Zineb Besri, University of Abdelmalek ESSAADI, T??touan, Morroco REGISTRATION Please visit: http://cs-conferences.acadiau.ca/ant-19/#registration for more information. VENUE, ACCOMMODATION & VISA REQUIREMENTS Please visit: http://cs-conferences.acadiau.ca/ant-19/#conferenceVenue for more information. ANT-2019 PROGRAM VICE-CHAIRS Prof. dr. Ansar-Ul-Haque Yasar Transportation Research Institute (IMOB) Hasselt University, Belgium ansar.yasar at uhasselt.be dr. ir. Luk Knapen Transportation Research Institute (IMOB) Hasselt University, Belgium luk.knapen at uhasselt.be ABMTRANS-2019 WORKSHOP ORGANIZERS Prof. dr. Ansar-Ul-Haque Yasar Transportation Research Institute (IMOB) Hasselt University, Belgium ansar.yasar at uhasselt.be dr. ir. Luk Knapen Transportation Research Institute (IMOB) Hasselt University, Belgium luk.knapen at uhasselt.be -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ANT-ABMTRANS_2019_v2.0.pdf Type: application/pdf Size: 1451512 bytes Desc: ANT-ABMTRANS_2019_v2.0.pdf URL: From Monika.Davidekova at fm.uniba.sk Wed Jan 2 09:15:38 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Wed, 2 Jan 2019 09:15:38 +0000 Subject: [Haskell] [MobiSPC2019] The 16th International Conference on Mobile Systems and Pervasive Computing (August 19-21, 2019, Halifax, Nova Scotia, Canada) In-Reply-To: References: , , , , , , , , , , , , , , , , , , , , Message-ID: ------------------------------------------------------------------------ The 16th International Conference on Mobile Systems and Pervasive Computing August 19-21, 2019 Halifax, Nova Scotia, Canada http://cs-conferences.acadiau.ca/mobispc-19/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-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. 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 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2019 will be held in conjunction with the 14th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-19/). 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 Ansar Yasar, Hasselt University Belgium Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Ahsan Habib, Dalhousie University, Canada Hassan Raza, Dalhousie University, Canada Tracks Chairs Longbiao Chen, Xiamen University, China Koray Incki, Özyeğin University, Turkey 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 Rüdiger Pryss, ULM University, Germany 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: MobiSPC19_Flyer.pdf Type: application/pdf Size: 350234 bytes Desc: MobiSPC19_Flyer.pdf URL: From saoussen.cheikhrouhou at redcad.org Fri Jan 4 10:01:15 2019 From: saoussen.cheikhrouhou at redcad.org (SAOUSSEN CHEIKHROUHOU) Date: Fri, 4 Jan 2019 11:01:15 +0100 Subject: [Haskell] CFP-16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019) Message-ID: Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019). http://ictac2019.redcad.org (Apologies if you have received multiple copies of this call for papers) We are pleased to invite you to submit papers for the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), which will be held from 30th October to 4th November 2019, in Hammamet, Tunisia. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. ICTAC also aims to promote research cooperation between developing and industrial countries. The proceedings will be published as a volume of Springer's LNCS series. The important dates are: Abstracts 5 May 2019 Papers 12 May 2019 Notification 21 July 2019 Final version 11 August 2019 Conference 30 October to 4 November 2019 Topics of interest include, but are not limited to, the following: Languages and automata Semantics of programming languages Logic in computer science Lambda calculus, type theory and category theory Domain-specific languages Theories of concurrency and mobility Theories of distributed, grid and cloud computing Models of objects and components Coordination models Models of software architectures Autonomous systems Timed, hybrid, embedded and cyber-physical systems Static analysis Software verification Software testing Program generation and transformation Model checking and automated theorem proving Interactive theorem proving Verified software, formalized programming theory We solicit the following types of papers: - Regular papers, with original research contributions; - Short papers, with original work in progress or with proposals of new ideas and emerging challenges; - Tool papers, on tools that support formal techniques for software modeling, system design, and verification. Submissions must adhere to the LNCS format. Regular papers should not exceed 18 pages (excluding bibliography of maximum 2 pages). Short and tool papers should not exceed 10 pages. Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Each paper submission will be reviewed by at least three members of the Programme Committee. All contributions to ICTAC 2019 have to be submitted electronically in PDF format via Easy Chair (https://easychair.org/conferences/?conf=ictac2019)and have to follow the Springer LNCS paper format. One author of each accepted paper must attend the conference to present it, having paid the regular registration fee. The ICTAC committee will evaluate and select the best paper award winner. The winner will receive a cash award. Authors of the best contributions will be invited to submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science (pending). Steering Committee: Ana Cavalcanti (University of York, UK) (chair) Martin Leucker (Universität zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universität München, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) General chairs: Mohamed Jmaiel, University of Sfax, Tunisia Walid Gaaloul, Paris-Saclay University, France Programme chairs: Robert M. Hierons, University of Sheffield, UK Mohamed Mosbah, LaBRI, Bordeaux INP, FR Programme Committee (provisional/draft) Eric Badouel (IRISA, FR) Kamel Barkaoui (CEDRIC - CNAM, FR) Frédéric Blanqui (INRIA, FR) Eduardo Bonelli (Universidad Nacional de Quilmes, AR) Ana Cavalcanti (University of York, UK) Uli Fahrenberg (LIX, FR) Adrian Francalanza (University of Malta, MT) Ahmed Hadj Kacem (University of Sfax, TN) Edward Hermann Haeusler (Pontifícia Universidade Católica do Rio de Janeiro, BR) Ross Horne (Nanyang Technological University, SG) David Janin (University of Bordeaux, FR) Jan Kretinsky (Technische Universität München, DE) Martin Leucker (Universität zu Lübeck, DE) Radu Mardare (Aalborg Universitet, DK) Dominique Méry (LORIA, FR) Mohammadreza Mousavi (University of Leicester, UK) Tobias Nipkow (Technische Universität München, DE) Maciej Piróg (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Riadh Robbana (University of Carthage, TN) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Georg Struth (University of Sheffield, UK) Cong Tian (Xidian University, CN) Tarmo Uustalu (Reykjavik University, IS / Tallinn University of Technology, EE) -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Fri Jan 4 20:59:10 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Fri, 4 Jan 2019 21:59:10 +0100 (CET) Subject: [Haskell] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) In-Reply-To: <1741544272.325062.1546635321229.JavaMail.zimbra@p.lodz.pl> References: <734604203.18558.1546481300103.JavaMail.zimbra@p.lodz.pl> <704934660.310561.1546628206123.JavaMail.zimbra@p.lodz.pl> <656264939.320635.1546633535594.JavaMail.zimbra@p.lodz.pl> <1449015373.322511.1546634145680.JavaMail.zimbra@p.lodz.pl> <1029982797.323607.1546634672976.JavaMail.zimbra@p.lodz.pl> <1161478498.324543.1546635096530.JavaMail.zimbra@p.lodz.pl> <1741544272.325062.1546635321229.JavaMail.zimbra@p.lodz.pl> Message-ID: <803869583.325319.1546635550920.JavaMail.zimbra@p.lodz.pl> Call for Papers The 9th International Conference on Sustainable Energy Information Technology (SEIT-19) http://cs-conferences.acadiau.ca/seit-19/ IMPORTANT DATES - Workshops Proposals Due: February 15, 2019 - Paper Submission Due: March 28, 2019 - Acceptance Notification: May 25, 2019 - Camera-Ready Submission: June 25, 2019 About SEIT 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. 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 journals special issues. SEIT 2019 will be held in Halifax Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately a 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 Main Tracks - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees General Chairs Elhadi Shakshuki, Acadia University, Canada Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Eduardo Vaz, Eduardo Vaz, QRA Corp., Canada Local Chair Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Publicity Chairs Hakan Ergun, ESAT - KULeuven, Belgium Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Bilal A. Akash, American University of Ras Al Khaimah, UAE Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-19/#programCommittees --- 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. -------------- next part -------------- A non-text attachment was scrubbed... Name: SEIT19_Flyer.pdf Type: application/pdf Size: 527655 bytes Desc: not available URL: From manuel.hermenegildo at imdea.org Sun Jan 6 09:42:07 2019 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sun, 6 Jan 2019 10:42:07 +0100 Subject: [Haskell] Tenure-track Faculty Positions at The IMDEA Software Institute Message-ID: <23601.52591.147108.441282@gazelle.local> TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of Data Science, including machine learning; Security and Privacy; Cyber-Physical Systems; Software Engineering; and Systems, including parallel and distributed systems, embedded systems, hybrid systems, heterogeneous architectures, etc. Exceptional candidates in other areas within the general research areas of the Institute will also be considered. Tenured-level (Associate and Full Professor) applications are also welcome. The primary mission of the IMDEA Software Institute is to perform research of excellence at the highest international level in software development technologies. It is one of the highest ranked institutions worldwide in its main topic areas. * Selection Process The main selection criteria are the candidate's demonstrated ability and commitment to research, the match of interests with the Institute's mission, and how the candidate complements areas of established strengths of the Institute. All positions require a doctoral degree in Computer Science or a closely related area, earned by the expected start date. Candidates for tenure-track positions will have shown exceptional promise in research and will have displayed an ability to work independently as well as collaboratively. Candidates for tenured positions must possess an outstanding research record, have recognized international stature, and demonstrated leadership abilities. Experience in graduate student supervision is also valued at this level. Applications should be completed using the application form at https://careers.imdea.org/software/ Please include the reference "FAC-1-2019" at the beginning of the form. For full consideration, complete applications must be received by February 6, 2018, although applications will continue to be accepted until the positions are filled. Pending final approval, we expect to fill two positions. * Working at the IMDEA Software Institute The Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, combining the best aspects of a research center and a university department. Its researchers can focus on developing new ideas and projects, in collaboration with world-leading, international faculty, post-docs, and students. Researchers also have the opportunity (but no obligation) to teach university courses. The Institute offers institutional funding and also encourages its members to participate in national and international research projects. The working language at the Institute is English. Salaries at the Institute are internationally competitive and established on an individual basis. They include social security provisions in accordance with existing national Spanish legislation, and in particular access to an excellent public health care system. Further information about the Institute's current faculty and research can be found at http://www.software.imdea.org . The IMDEA Software Institute is an Equal Opportunity Employer and strongly encourages applications from a diverse and international community and underrepresented groups. The Institute complies with the European Charter for Researchers. -- From Monika.Davidekova at fm.uniba.sk Mon Jan 7 07:19:55 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Mon, 7 Jan 2019 07:19:55 +0000 Subject: [Haskell] ANT & EDI40 2019 (FINAL CfPs) - Leuven, Belgium (April 29 - May 2, 2019) In-Reply-To: References: , <7D96F235-6116-4474-88C6-E9EC04D214F1@acadiau.ca>, , Message-ID: Call for Papers The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) & The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) Leuven, Belgium April 29 - May 2, 2019 http://cs-conferences.acadiau.ca/ant-19/ & http://cs-conferences.acadiau.ca/EDI40-19/ Important Date * Paper Submission Due: January 9, 2019 (FIRM) ANT & EDI40 2019 organizing committee invites you to submit papers. Please encourage your colleagues, research group members and fellow scientists to contribute and participate in this event. ANT & EDI40 2019 conferences will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Journals Speciaal Issues * Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) * Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer (http://www.springer.com/computer/hci/journal/779) * IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) * IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) * International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) Publication ANT & EDI40 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/). Your contributions and support are appreciated. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: ATT00001.txt URL: From Monika.Davidekova at fm.uniba.sk Mon Jan 7 07:32:15 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Mon, 7 Jan 2019 07:32:15 +0000 Subject: [Haskell] [MobiSPC2019] The 16th International Conference on Mobile Systems and Pervasive Computing (August 19-21, 2019, Halifax, Nova Scotia, Canada) In-Reply-To: References: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: ------------------------------------------------------------------------ The 16th International Conference on Mobile Systems and Pervasive Computing August 19-21, 2019 Halifax, Nova Scotia, Canada http://cs-conferences.acadiau.ca/mobispc-19/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-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. 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 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2019 will be held in conjunction with the 14th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-19/). 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 Ansar Yasar, Hasselt University Belgium Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Ahsan Habib, Dalhousie University, Canada Hassan Raza, Dalhousie University, Canada Tracks Chairs Longbiao Chen, Xiamen University, China Koray Incki, Özyeğin University, Turkey 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 Rüdiger Pryss, ULM University, Germany 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: MobiSPC19_Flyer.pdf Type: application/pdf Size: 350234 bytes Desc: MobiSPC19_Flyer.pdf URL: From Graham.Hutton at nottingham.ac.uk Mon Jan 7 09:04:14 2019 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 7 Jan 2019 09:04:14 +0000 Subject: [Haskell] 10 PhD studentships in Nottingham Message-ID: Dear all, *** FINAL CALL -- APPLICATION DEADLINE 18 JANUARY 2019 *** The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/10-phds-2019 Applicants in the area of the Functional Programming Laboratory (https://tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible (the application deadline is 18th January): Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, category theory, epistemic logic. Graham Hutton - functional programming, program calculation and transformation, correctness and efficiency, category theory. Henrik Nilsson - functional reactive programming, modelling and simulation, domain-specific languages, probabilistic languages. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/10-phds-2019 Applications are invited for up to ten fully-funded PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1 October 2019. The topics for the studentships are open, but should relate to one of the School’s research groups: Agents Lab; Automated Scheduling and Planning; Computer Vision Lab; Data Driven Algorithms, Systems and Design; Functional Programming Lab; Intelligent Modelling and Analysis; Uncertainty in Data and Decision Making; Mixed Reality Lab. The studentships are for a minimum of three years and include a stipend of £14,777 per year and tuition fees. They are open to students of any nationality. Applicants are normally expected to have a first-class MSc or BSc in Computer Science or a related discipline, and must obtain the support of a supervisor in the School prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Informal enquiries may be addressed to SS-PGR-JC at nottingham.ac.uk. To apply, please submit the following items by email to: Christine.Fletcher at nottingham.ac.uk: (1) a brief covering letter that describes your reasons for wishing to pursue a PhD, your proposed research area and topic, and the name of the potential supervisor whose support you have already secured; (2) a copy of your CV, including your actual or expected degree classes, and results of all University examinations; (3) an extended example of your technical writing, such as a project report or dissertation; (4) contact details for two academic referees. Closing date for applications: Friday 18 January 2019 +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From yazan.mualla at utbm.fr Mon Jan 7 15:02:03 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 7 Jan 2019 16:02:03 +0100 (CET) Subject: [Haskell] Final CFP 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19) Message-ID: <774045785.296692143.1546873323037.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS (Final) The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19) ------------------------------------------------------------------------------------------- In conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies ANT 2019 and the European SarlCon 2019 April 29 - May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:SARL19 ------------------------------------------------------------------------------------------- Description =========== Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. SARL-19 provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. SARL workshop was born with the SARL agent programming language, but the scientific results presented in SARL-19 are not restricted to SARL; other languages and agent platforms may be presented. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration. These high-level features are now considered as the major requirements for an easy and practical implementation of modern complex software applications. We are convinced that the agent-oriented paradigm holds the keys to effectively meet these features. Considering the variety of existing approaches and meta-models in the field of agent-oriented engineering and more generally multi-agent systems, our approach remains as generic as possible and highly extensible to easily integrate new concepts and features. The goal of SARL-19 is to provide a place where the different points of view on the modeling and the simulation with agent platforms and agent programming languages may be discussed. SARL-19 will be held in Leuven, Belgium (April 29 - May 2, 2019) in conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019) and the European SarlCon 2019. Topics ====== The main topics of the SARL-18 workshop are (but not restricted to): _Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. _Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: January 14, 2019 (Final); * Notification: February 4, 2019; * Final date for camera-ready copy: March 1, 2019; * Workshop: April 29 - May 2, 2019. Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series online. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full length papers in PDF format on EasyChair, not exceeding 6 pages in length, in single-column format including diagrams and references while following the Procedia Computer Science guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. All papers will be reviewed by at least two Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed below. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France). Sebastian RODRIGUEZ (Universidad Technologica National, Argentina). Publicity Chair ============= Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France). Program Committee ================= To be completed. -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Mon Jan 7 15:02:50 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 7 Jan 2019 16:02:50 +0100 (CET) Subject: [Haskell] Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19) Message-ID: <463888158.296693864.1546873370252.JavaMail.zimbra@utbm.fr> 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) 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Wed Jan 9 11:06:12 2019 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Wed, 9 Jan 2019 11:06:12 +0000 Subject: [Haskell] Call for papers, MPC 2019, Portugal Message-ID: Dear all, The next Mathematics of Program Construction (MPC) conference will be held in Portugal in October 2019, co-located with the Symposium on Formal Methods (FM). Paper submission is 3rd May 2019. Please share, and submit your best papers! Best wishes, Graham Hutton Program Chair, MPC 2019 ====================================================================== *** CALL FOR PAPERS -- MPC 2019 *** 13th International Conference on Mathematics of Program Construction 7-9 October 2019, Porto, Portugal Co-located with Formal Methods 2019 https://tinyurl.com/MPC-Porto ====================================================================== TIMELINE: Abstract submission 26th April 2019 Paper submission 3rd May 2019 Author notification 14th June 2019 Camera ready copy 12th July 2019 Conference 7-9 October 2019 BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2019 will be held in Porto, Portugal from 7-9 October 2019, and is co-located with the International Symposium on Formal Methods, FM 2019. Previous conferences were held in Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 26th April 2019. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 3rd May 2019. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2019 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2019 and MPC 2015 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Graham Hutton . KEYNOTE SPEAKERS: Assia Mahboubi INRIA, France Annabelle McIver Macquarie University, Australia PROGRAM COMMITTEE: Patrick Bahr IT University of Copenhagen, Denmark Richard Bird University of Oxford, UK Corina Cîrstea University of Southampton, UK Brijesh Dongol University of Surrey, UK João F. Ferreira University of Lisbon, Portugal Jennifer Hackett University of Nottingham, UK William Harrison University of Missouri, USA Ralf Hinze University of Kaiserslautern, Germany Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton (chair) University of Nottingham, UK Cezar Ionescu University of Oxford, UK Mauro Jaskelioff National University of Rosario, Argentina Ranjit Jhala University of California, USA Gabriele Keller Utrecht University, The Netherlands Ekaterina Komendantskaya Heriot-Watt University, UK Chris Martens North Carolina State University, USA Bernhard Möller University of Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Mary Sheeran Chalmers University of Technology, Sweden Alexandra Silva University College London, UK Georg Struth University of Sheffield, UK CONFERENE VENUE: The conference will be held at the Alfândega Porto Congress Centre, a 150 year old former custom's house located in the historic centre of Porto on the bank of the river Douro. The venue was renovated by a Pritzer prize winning architect and has received many awards. LOCAL ORGANISERS: José Nuno Oliveira University of Minho, Portugal For any queries about local issues please contact the local organiser, José Nuno Oliveira . ====================================================================== This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From icfp.publicity at googlemail.com Thu Jan 10 01:50:41 2019 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Wed, 09 Jan 2019 20:50:41 -0500 Subject: [Haskell] Second Call for Papers: PACMPL issue ICFP 2019 Message-ID: <5c36a4f1dca9f_64534650dc19240@hermes.mail> PACMPL Volume 3, Issue ICFP 2019 Call for Papers accepted papers to be invited for presentation at The 24th ACM SIGPLAN International Conference on Functional Programming Berlin, Germany http://icfp19.sigplan.org/ ### Important dates Submissions due: 1 March 2019 (Friday) Anywhere on Earth https://icfp19.hotcrp.com Author response: 16 April (Tuesday) - 18 Apri (Friday) 14:00 UTC Notification: 3 May (Friday) Final copy due: 22 June (Saturday) Conference: 18 August (Sunday) - 23 August (Friday) ### About PACMPL Proceedings of the ACM on Programming Languages (PACMPL ) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers, like this one. ### Scope [PACMPL](https://pacmpl.acm.org/) issue ICFP 2019 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * *Language Design*: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * *Implementation*: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * *Software-Development Techniques*: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * *Foundations*: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * *Analysis and Transformation*: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * *Applications*: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * *Education*: teaching introductory programming; parallel programming; mathematical proof; algebra. Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. PACMPL issue ICFP 2019 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such at the time of submission and that need not report original research results. Detailed guidelines on both categories are given at the end of this call. Please contact the principal editor if you have questions or are concerned about the appropriateness of a topic. ### Preparation of submissions **Deadline**: The deadline for submissions is **Friday, March 1, 2019**, Anywhere on Earth (). This deadline will be strictly enforced. **Formatting**: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from . For authors using LaTeX, a lighter-weight package, including only the essential files, is available from . There is a limit of **25 pages for a full paper or Functional Pearl** and **12 pages for an Experience Report**; in either case, the bibliography will not be counted against these limits. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting, will be summarily rejected. Supplementary material can and should be **separately** submitted (see below). See also PACMPL's Information and Guidelines for Authors at . **Submission**: Submissions will be accepted at Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. **Author Response Period**: Authors will have a 72-hour period, starting at 14:00 UTC on **Tuesday, April 16, 2019**, to read reviews and respond to them. **Supplementary Material**: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should **not** be submitted as part of the main document; instead, it should be uploaded as a **separate** PDF document or tarball. Supplementary material should be uploaded **at submission time**, not by providing a URL in the paper that points to an external repository. Authors are free to upload both anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). **Authorship Policies**: All submissions are expected to comply with the ACM Policies for Authorship that are detailed at . **Republication Policies**: Each submission must adhere to SIGPLAN's republication policy, as explained on the web at . **Resubmitted Papers**: Authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the principal editor will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. ### Review Process This section outlines the two-stage process with lightweight double-blind reviewing that will be used to select papers for PACMPL issue ICFP 2019. We anticipate that there will be a need to clarify and expand on this process, and we will maintain a list of frequently asked questions and answers on the conference website to address common concerns. **PACMPL issue ICFP 2019 will employ a two-stage review process.** The first stage in the review process will assess submitted papers using the criteria stated above and will allow for feedback and input on initial reviews through the author response period mentioned previously. At the review meeting, a set of papers will be conditionally accepted and all other papers will be rejected. Authors will be notified of these decisions on **May 3, 2019**. Authors of conditionally accepted papers will be provided with committee reviews (just as in previous conferences) along with a set of mandatory revisions. After four weeks (May 31, 2019), the authors will provide a second submission. The second and final reviewing phase assesses whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. The intent and expectation is that the mandatory revisions can be addressed within four weeks and hence that conditionally accepted papers will in general be accepted in the second phase. The second submission should clearly identify how the mandatory revisions were addressed. To that end, the second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper. The cover letter will facilitate a quick second review, allowing for confirmation of final acceptance within two weeks. Conversely, the absence of a cover letter will be grounds for the paper’s rejection. **PACMPL issue ICFP 2019 will employ a lightweight double-blind reviewing process.** To facilitate this, submitted papers must adhere to two rules: 1. **author names and institutions must be omitted**, and 2. **references to authors' own related work should be in the third person** (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. ### Information for Authors of Accepted Papers * As a condition of acceptance, final versions of all papers must adhere to the new ACM Small format. The page limit for the final versions of papers will be increased by two pages to help authors respond to reviewer comments and mandatory revisions: **27 pages plus bibliography for a regular paper or Functional Pearl, 14 pages plus bibliography for an Experience Report**. * Authors of accepted submissions will be required to agree to one of the three ACM licensing options: open access on payment of a fee (**recommended**, and SIGPLAN can cover the cost as described next); copyright transfer to ACM; or retaining copyright but granting ACM exclusive publication rights. Further information about ACM author rights is available from . * PACMPL is a Gold Open Access journal. It will be archived in ACM’s Digital Library, but no membership or fee is required for access. Gold Open Access has been made possible by generous funding through ACM SIGPLAN, which will cover all open access costs in the event authors cannot. Authors who can cover the costs may do so by paying an Article Processing Charge (APC). PACMPL, SIGPLAN, and ACM Headquarters are committed to exploring routes to making Gold Open Access publication both affordable and sustainable. * ACM offers authors a range of copyright options, one of which is Creative Commons CC-BY publication; this is the option recommended by the PACMPL editorial board. A reasoned argument in favour of this option can be found in the article [Why CC-BY?](https://oaspa.org/why-cc-by/) published by OASPA, the Open Access Scholarly Publishers Association. * We intend that the papers will be freely available for download from the ACM Digital Library in perpetuity via the OpenTOC mechanism. * ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to the definitive version of an ACM article should reduce user confusion over article versioning. After an article has been published and assigned to the appropriate ACM Author Profile pages, authors should visit to learn how to create links for free downloads from the ACM DL. * At least one author of each accepted submissions will be expected to attend and present their paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected. Presentations will be videotaped and released online if the presenter consents. * The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to *two weeks prior* to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Artifact Evaluation Authors of papers that are conditionally accepted in the first phase of the review process will be encouraged (but not required) to submit supporting materials for Artifact Evaluation. These items will then be reviewed by an Artifact Evaluation Committee, separate from the paper Review Committee, whose task is to assess how the artifacts support the work described in the associated paper. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers will be encouraged to make the supporting materials publicly available upon publication of the papers, for example, by including them as "source materials" in the ACM Digital Library. An additional seal will mark papers whose artifacts are made available, as outlined in the ACM guidelines for artifact badging. Participation in Artifact Evaluation is voluntary and will not influence the final decision regarding paper acceptance. ### Special categories of papers In addition to research papers, PACMPL issue ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to half the length of a full paper. Authors submitting such papers should consider the following guidelines. #### Functional Pearls A Functional Pearl is an elegant essay about something related to functional programming. Examples include, but are not limited to: * a new and thought-provoking way of looking at an old idea * an instructive example of program calculation or proof * a nifty presentation of an old or new data structure * an interesting application of functional programming techniques * a novel use or exposition of functional programming in the classroom While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. Functional Pearls are valued as highly and judged as rigorously as ordinary papers, but using somewhat different criteria. In particular, a pearl is not required to report original research, but, it should be concise, instructive, and entertaining. A pearl is likely to be rejected if its readers get bored, if the material gets too complicated, if too much specialized knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. A submission that is intended to be treated as a pearl must be marked as such on the submission web page, and should contain the words "Functional Pearl" somewhere in its title or subtitle. These steps will alert reviewers to use the appropriate evaluation criteria. Pearls will be combined with ordinary papers, however, for the purpose of computing the conference's acceptance rate. #### Experience Reports The purpose of an Experience Report is to help create a body of published, refereed, citable evidence that functional programming really works — or to describe what obstacles prevent it from working. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using functional programming * comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum * project-management, business, or legal issues encountered when using functional programming in a real-world project * curricular issues encountered when using functional programming in education * real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report is distinguished from a normal PACMPL issue ICFP paper by its title, by its length, and by the criteria used to evaluate it. * Both in the papers and in any citations, the title of each accepted Experience Report must end with the words "(Experience Report)" in parentheses. The acceptance rate for Experience Reports will be computed and reported separately from the rate for ordinary papers. * Experience Report submissions can be at most 12 pages long, excluding bibliography. * Each accepted Experience Report will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience reports may be asked to give shorter talks. * Because the purpose of Experience Reports is to enable our community to accumulate a body of evidence about the efficacy of functional programming, an acceptable Experience Report need not add to the body of knowledge of the functional-programming community by presenting novel results or conclusions. It is sufficient if the Report states a clear thesis and provides supporting evidence. The thesis must be relevant to ICFP, but it need not be novel. The review committee will accept or reject Experience Reports based on whether they judge the evidence to be convincing. Anecdotal evidence will be acceptable provided it is well argued and the author explains what efforts were made to gather as much evidence as possible. Typically, more convincing evidence is obtained from papers which show how functional programming was used than from papers which only say that functional programming was used. The most convincing evidence often includes comparisons of situations before and after the introduction or discontinuation of functional programming. Evidence drawn from a single person's experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. An Experience Report should be short and to the point: it should make a claim about how well functional programming worked on a particular project and why, and produce evidence to substantiate this claim. If functional programming worked in this case in the same ways it has worked for others, the paper need only summarize the results — the main part of the paper should discuss how well it worked and in what context. Most readers will not want to know all the details of the project and its implementation, but the paper should characterize the project and its context well enough so that readers can judge to what degree this experience is relevant to their own projects. The paper should take care to highlight any unusual aspects of the project. Specifics about the project are more valuable than generalities about functional programming; for example, it is more valuable to say that the team delivered its software a month ahead of schedule than it is to say that functional programming made the team more productive. If the paper not only describes experience but also presents new technical results, or if the experience refutes cherished beliefs of the functional-programming community, it may be better to submit it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. The principal editor will be happy to advise on any concerns about which category to submit to. ### ICFP Organizers General Chair: Derek Dreyer (MPI-SWS, Germany) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada) Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium) Jennifer Hackett (University of Nottingham, UK) Conference Manager: Annabel Satin (P.C.K.) ### PACMPL Volume 3, Issue ICFP 2019 Principal Editor: François Pottier (Inria, France) Review Committee: Lennart Beringer (Princeton University, United States) Joachim Breitner (DFINITY Foundation, Germany) Laura M. Castro (University of A Coruña, Spain) Ezgi Çiçek (Facebook London, United Kingdom) Pierre-Evariste Dagand (LIP6/CNRS, France) Christos Dimoulas (Northwestern University, United States) Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France) Andrew Kennedy (Facebook London, United Kingdom) Daan Leijen (Microsoft Research, United States) Kazutaka Matsuda (Tohoku University, Japan) Bruno C. d. S. Oliveira (University of Hong Kong, China) Klaus Ostermann (University of Tübingen, Germany) Jennifer Paykin (Galois, United States) Frank Pfenning (Carnegie Mellon University, USA) Mike Rainey (Indiana University, USA) Chung-chieh Shan (Indiana University, USA) Sam Staton (University of Oxford, UK) Pierre-Yves Strub (Ecole Polytechnique, France) German Vidal (Universitat Politecnica de Valencia, Spain) External Review Committee: Michael D. Adams (University of Utah, USA) Robert Atkey (University of Strathclyde, IK) Sheng Chen (University of Louisiana at Lafayette, USA) James Cheney (University of Edinburgh, UK) Adam Chlipala (Massachusetts Institute of Technology, USA) Evelyne Contejean (LRI, Université Paris-Sud, France) Germán Andrés Delbianco (IRIF, Université Paris Diderot, France) Dominique Devriese (Vrije Universiteit Brussel, Belgium) Richard A. Eisenberg (Bryn Mawr College, USA) Conal Elliott (Target, USA) Sebastian Erdweg (Delft University of Technology, Netherlands) Michael Greenberg (Pomona College, USA) Adrien Guatto (IRIF, Université Paris Diderot, France) Jennifer Hackett (University of Nottingham, UK) Troels Henriksen (University of Copenhagen, Denmark) Chung-Kil Hur (Seoul National University, Republic of Korea) Roberto Ierusalimschy (PUC-Rio, Brazil) Ranjit Jhala (University of California, San Diego, USA) Ralf Jung (MPI-SWS, Germany) Ohad Kammar (University of Oxford, UK) Oleg Kiselyov (Tohoku University, Japan) Hsiang-Shang ‘Josh’ Ko (National Institute of Informatics, Japan) Ondřej Lhoták (University of Waterloo, Canada) Dan Licata (Wesleyan University, USA) Geoffrey Mainland (Drexel University, USA) Simon Marlow (Facebook, UK) Akimasa Morihata (University of Tokyo, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Guillaume Munch-Maccagnoni (Inria, France) Kim Nguyễn (University of Paris-Sud, France) Ulf Norell (Gothenburg University, Sweden) Atsushi Ohori (Tohoku University, Japan) Rex Page (University of Oklahoma, USA) Zoe Paraskevopoulou (Princeton University, USA) Nadia Polikarpova (University of California, San Diego, USA) Jonathan Protzenko (Microsoft Research, USA) Tiark Rompf (Purdue University, USA) Andreas Rossberg (Dfinity, Germany) KC Sivaramakrishnan (University of Cambridge, UI) Nicholas Smallbone (Chalmers University of Technology, Sweden) Matthieu Sozeau (Inria, France) Sandro Stucki (Chalmers | University of Gothenburg, Sweden) Don Syme (Microsoft, UK) Zachary Tatlock (University of Washington, USA) Sam Tobin-Hochstadt (Indiana University, USA) Takeshi Tsukada (University of Tokyo, Japan) Tarmo Uustalu (Reykjavik University, Iceland) Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France) Daniel Winograd-Cort (University of Pennsylvania, USA) Nicolas Wu (University of Bristol, UK) From nevrenato at gmail.com Thu Jan 10 08:43:02 2019 From: nevrenato at gmail.com (Renato Neves) Date: Thu, 10 Jan 2019 08:43:02 +0000 Subject: [Haskell] FM'19: Second Call for Papers Message-ID: <20190110084302.GA26166@localhost.localdomain> ================================================================================================== Second Call for Papers FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ ================================================================================================== NEW: announcement of three invited speakers and confirmation of two special issues !!! ================================================================================================== FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM 1999 in Toulouse, and 10 years after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a PC with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. FORMAL METHODS: THE NEXT 30 YEARS It is now more than 30 years since the first VDM symposium in 1987 brought together researchers with the common goal of creating methods to produce high quality software based on rigour and reason. Since then the diversity and complexity of computer technology has changed enormously and the formal methods community has stepped up to the challenges those changes brought by adapting, generalising and improving the models and analysis techniques that were the focus of that first symposium. The theme for FM 2019 is a reflection on how far the community has come and the lessons we can learn for understanding and developing the best software for future technologies. Important Dates ================ Abstract submission: 28 March, 2019 Full paper submission: 11 April, 2019, 23:59 AoE Notification: 11 June, 2019 Camera ready: 9 July, 2019 Conference: 7-11 October, 2019 Invited Speakers ================= - June Andronick (CSIRO/Data61 and UNSW, Sydney, Australia) - Shriram Krishnamurthi (Brown University, Providence, RI, USA) - Erik Poll (Radboud University, Nijmegen, The Netherlands) Topics of Interest ====================== FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2019 include, but are not limited to: - Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. - Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. - Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. - Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. - Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. Submission Guidelines ======================= Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2019 Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by the reviewers. We solicit two categories of papers: - Regular Papers should not exceed 15 pages, not counting references and appendices. - Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award ================= At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. Publication ============ Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science in the subline on Formal Methods. Authors of selected papers will be invited to submit an extended version of their paper to one of the special issues in "Formal Aspects of Computing" and "Formal Methods in System Design". General Chair ============== José Nuno Oliveira, INESC TEC & University of Minho, PT Program Committee Chairs ========================= Maurice ter Beek, ISTI-CNR, Pisa, IT Annabelle McIver, Macquarie University, Sydney, AU Program Committee ================== Bernhard Aichernig, TU Graz, AT Elvira Albert, Complutense University of Madrid, ES María Alpuente, Polytechnic University of Valencia, ES Dalal Alrajeh, Imperial College, UK Mário S. Alvim, Federal University of Minas Gerais, BR June Andronick, CSIRO/Data61, AU Christel Baier, TU Dresden, DE Luís Barbosa, University of Minho and UN University, PT Gilles Barthe, IMDEA Software Institute, ES Marcello Bersani, Polytechnic University of Milan, IT Gustavo Betarte, Tilsor SA and University of the Republic, UY Nikolaj Bjørner, Microsoft Research, US Frank de Boer, CWI, NL Sergiy Bogomolov, Australian National University, AU Julien Brunel, ONERA, FR Néstor Cataño, Pontifical Xavierian University of Cali, CO Ana Cavalcanti, University of York, UK Antonio Cerone, Nazarbayev University, KZ Marsha Chechik, University of Toronto, CA David Chemouil, ONERA, FR Alessandro Cimatti, FBK-IRST, IT Alcino Cunha, University of Minho, PT Michael Dierkes, Rockwell Collins, FR Alessandro Fantechi, University of Florence, IT Carla Ferreira, New University of Lisbon, PT João Ferreira, Teesside University, UK José Fiadeiro, Royal Holloway University of London, UK Marcelo Frias, Buenos Aires Institute of Technology, AR Fatemeh Ghassemi, University of Tehran, IR Silvia Ghilezan, University of Novi Sad, RS Stefania Gnesi, ISTI-CNR, IT Reiner Hähnle, TU Darmstadt, DE Osman Hasan, National University of Sciences and Technology, PK Klaus Havelund, NASA Jet Propulsion Laboratory, US Anne Haxthausen, TU Denmark, DK Ian Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jane Hillston, University of Edinburgh, UK Thai Son Hoang, University of Southampton, UK Zhenjiang Hu, National Institute of Informatics, JP Dang Van Hung, Vietnam National University, VN Atsushi Igarashi, Kyoto University, JP Suman Jana, Columbia University, US Ali Jaoua, Qatar University, QA Einar Broch Johnson, University of Oslo, NO Joost-Pieter Katoen, RWTH Aachen University, DE Laura Kovács, TU Vienna, AT Axel Legay, KU Leuven, BE Alberto Lluch Lafuente, TU Denmark, DK Malte Lochau, TU Darmstadt, DE Michele Loreti, University of Camerino, IT Gabriele Lenzini, University of Luxembourg, LU Yang Liu, Nanyang Technical University, SG Anastasia Mavridou, NASA Ames, US Hernán Melgratti, University of Buenos Aires, AR Sun Meng, Peking University, CN Dominique Méry, LORIA and University of Lorraine, FR Rosemary Monahan, Maynooth University, IE Olfa Mosbahi, University of Carthage, TN Mohammad Mousavi, University of Leicester, UK César Muñoz, NASA Langley, US Tim Nelson, Brown University, US Gethin Norman, University of Glasgow, UK Colin O'Halloran, D-RisQ Software Systems, UK Federico Olmedo, University of Chile, CL Gordon Pace, University of Malta, MT Jan Peleska, University of Bremen, DE Marielle Petit-Doche, Systerel, FR Alexandre Petrenko, Computer Research Institute of Montréal, CA Anna Philippou, University of Cyprus, CY Jorge Sousa Pinto, University of Minho, PT André Platzer, Carnegie Mellon University, US Jaco van de Pol, Aarhus University, DK Tahiry Rabehaja, Macquarie University, AU Steve Reeves, University of Waikato, NZ Matteo Rossi, Polytechnic University of Milan, IT Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Daniel Schwartz-Narbonne, Amazon Web Services, US Natasha Sharygina, University of Lugano, CH Nikolay Shilov, Innopolis University, RU Ana Sokolova, University of Salzburg, AT Marielle Stoelinga, University of Twente, NL Jun Sun, Singapore University of Technology and Design, SG Helen Treharne, University of Surrey, UK Elena Troubitsyna, Åbo Akademi University, FI Tarmo Uustalu, Reykjavik University, IS Andrea Vandin, TU Denmark, DK R. Venkatesh, TCS Research, IN Erik de Vink, TU Eindhoven and CWI, NL Willem Visser, Stellenbosch University, ZA Farn Wang, National Taiwan University, TW Bruce Watson, Stellenbosch University, ZA Tim Willemse, TU Eindhoven, NL Kirsten Winter, University of Queensland, AU Jim Woodcock, University of York, UK Lijun Zhang, Chinese Academy of Sciences, CN Publicity Chair ================ Luís Soares Barbosa, INESC TEC & University of Minho, PT Organizing Committee ===================== José Creissac Campos, INESC TEC & University of Minho, PT João Pascoal Faria, INESC TEC and University of Porto, PT Sara Fernandes, University of Minho & INESC TEC, PT Luís Neves, Critical Software, PT Local Arrangements =================== Catarina Fernandes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT Web Team ========= Francisco Neves, INESC TEC & University of Minho, PT Rogério Pontes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT From yazan.mualla at utbm.fr Sun Jan 13 14:53:12 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Sun, 13 Jan 2019 15:53:12 +0100 (CET) Subject: [Haskell] CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) Message-ID: <1110125971.315891852.1547391192718.JavaMail.zimbra@utbm.fr> 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From george at wils.online Tue Jan 15 06:54:28 2019 From: george at wils.online (George Wilson) Date: Tue, 15 Jan 2019 16:54:28 +1000 Subject: [Haskell] ANN: New Haskell.org Committee Member Message-ID: Following the nomination period and discussion, the Haskell.org committee has selected the following member for a new three-year term, expiring 2021: * Emily Pillmore As per the rules of the committee, this discussion was held among the current members of the committee, and the outgoing member of the committee who was not seeking reappointment. Thank you to all the many candidates who submitted a self-nomination. We received a number of strong nominations. We would encourage all those who nominated themselves to consider self-nominating again in the future. The outgoing member is Gershom Bazerman. He served not one but two terms for the Haskell.org committee, and he was chair during his last term. During this long period, Gershom has undeniably made the community a better place with his leadership and efforts. Thank you for your service! Since Gershom was our chair, the committee, including the new member, will hold a discussion and elect a new chair from amongst ourselves. Regards, George Wilson From frantisek at farka.eu Tue Jan 15 09:46:59 2019 From: frantisek at farka.eu (=?utf-8?Q?Franti=C5=A1ek?= Farka) Date: Tue, 15 Jan 2019 09:46:59 +0000 Subject: [Haskell] PPDP 2019 CFP - Principles and Practice of Declarative Programming Message-ID: <20190115094645.GA1323@farka.eu> [Apologies for cross-posting; please circulate] ====================================================================== CALL FOR PAPERS -- PPDP 2019 21st International Symposium on Principles and Practice of Declarative Programming 7–9 October 2019, Porto, Portugal Collocated with FM'19 http://ppdp2019.macs.hw.ac.uk ====================================================================== Important Dates --------------- Title and abstract registration 26 April 2019 (AoE) Paper submission 3 May 2019 (AoE) Rebuttal period (48 hours) 3 June 2019 (AoE) Author notification 14 June 2019 Final paper version 15 July 2019 Conference 7–9 October 2019 About PPDP ---------- The PPDP 2019 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair (Ekaterina Komendanstkaya ) will be happy to advise on the appropriateness of a topic. Submission Categories --------------------- Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a Submission ---------------------- For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact ACM's TeX support team at Aptara . Authors should note ACM's statement on author's rights (http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy (http://www.acm.org/publications/policies/plagiarism_policy). Requirements for Publication ---------------------------- At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Program Committee Chair ----------------------- Ekaterina Komendantskaya Heriot-Watt University, UK Program Committee ----------------- Henning Basold CNRS, ENS de Lyon, France Jasmin Christian Blanchette Vrije Universiteit Amsterdam, The Netherlands Maria Paola Bonacina University of Verona, Italy Dmitry Boulytchev Saint–Petersburg University, Russia William Byrd University of Alabama at Birmingham, USA Ornela Dardha University of Glasgow, UK Marco Gaboardi University at Buffalo, SUNY, USA Arie Gurfinkel University of Waterloo, Canada Zhenjiang Hu National Institute of Informatics, Japan Moa Johansson Chalmers University of Technology, Sweden Neelakantan Krishnaswami University of Cambridge, UK Ralf Lämmel University of Koblenz · Landau, Germany Anthony Widjaja Lin University of Oxford, UK Aart Middeldorp University of Innsbruck, Austria Gopalan Nadathur University of Minnesota, USA Keisuke Nakano Tohoku University, Japan Dominic Orchard University of Kent, UK Alberto Pardo University of the Republic, Uruguay Aleksy Schubert University of Warsaw, Poland Peter J. Stuckey The University of Melbourne, Australia Tarmo Uustalu Reykjavik University, Iceland Local Chair ----------- José Nuno Oliveira INESC TEC & University of Minho, Portugal For any queries about local issues please contact the local organiser, José Nuno Oliveira . Publicity Chair --------------- František Farka University of St Andrews & Heriot-Watt University, UK From W.S.Swierstra at uu.nl Tue Jan 15 11:01:09 2019 From: W.S.Swierstra at uu.nl (Swierstra, W.S. (Wouter)) Date: Tue, 15 Jan 2019 11:01:09 +0000 Subject: [Haskell] Vacancies for six Assistant Professor positions at Utrecht University Message-ID: <20190115110107.GG8997@x1> We are currently advertising vacancies for 6 Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) We are particularly interested in candidates with expertise in functional programming, (automated) theorem proving and interactive proof assistants. # Job description Due to our successful teaching programmes and our ambitions in research, the Department of Information and Computing Sciences is expanding. We are therefore actively searching for six motivated, ambitious Assistant Professors in Information and Computing Sciences. Please note that positions offered will vary, depending on experience and expertise. You have a background in Computing and Information Sciences, preferably in the areas of Information Science, Artificial Intelligence, Data Science, Algorithms, Software, Computer Science Education and Process Management and Analytics. Excellent candidates with other areas of expertise related to our current research groups and teaching programmes are also invited to apply. You have proven ambition and talent for research. As teaching is an important and satisfying part of our work, we are searching for people with a demonstrable motivation to teach. The Department is expanding and provides a dynamic work environment. If you are excited to actively participate in shaping the department, you are very welcome to apply. One PhD candidate will be funded for you by the Department in order to start up your research. # Qualifications We are looking for 6 Assistant Professors. Ideally your eligibility is exemplified by an excellent track record in teaching and research. ## Research * PhD in Computer Science, Information Science or another relevant discipline; * 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 * experience with and enthusiasm for teaching and student supervision; * ability to teach in departmental BSc and MSc programmes; * well-developed didactic skills; * excellent command of the English language; * experience with or willingness to use innovative teaching methods and (e-learning) technologies; * 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. The department finds gender balance specifically and diversity in a broader sense very important. In recent procedures we attracted a significant number of women (five out of 10 positions). We are very keen on appointing more female scientists and therefore strongly encourage qualified women to apply. Publication track record, teaching record, and acquired research funds will be weighed against the number of years of academic experience, also taking into account parental leave or a part-time work schedule. # Offer We offer a position of 0.8 - 1.0 FTE. The gross salary - depending on previous qualifications and experience - ranges between €3,255 and €5,656 (scale 10/12 according to the Collective Labour Agreement Dutch Universities) gross per month for a full-time employment. Salaries are supplemented with a holiday bonus of 8 % and a year-end bonus of 8.3 % per year. We offer a pension scheme, (partly paid) parental leave, collective insurance schemes and flexible employment conditions. Facilities for sports and child care are available on our campus, which is only 15 minutes away from the historical city center of Utrecht. We offer you the possibility to develop towards a Basic Teaching Qualification, supported with educational development programs offered by the University. We also offer candidates the possibility to travel to conferences. # About the organization A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, colleagues from 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 Computing Science and Information Science. Current research groups are Algorithmic Data Analysis, Algorithms and Complexity, Decision Support Systems, Intelligent Systems, Simulation of Complex Systems, Multimedia, Human-Centered Computing, Geometric Computing, Process Management and Analytics, Organization and Information, Natural Language Processing, Intelligent Systems, Software Technology and Software Technology of Learning and Teaching. Relevant areas of interdisciplinary research include Game Research, Foundations of Complex Systems, Applied Data Science, Artificial Intelligence 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 Research Master programmes in Artificial Intelligence, Business Informatics, Computing Science, and Game and Media Technology. The Department is developing Master programmes in Data Science and Interaction Technology. High enrolment figures and good student ratings make the education very successful. The Department currently comprises 15 full-time Chairs and 105 other scientific staff, including Postdocs and PhD candidates. # Additional information Would you like additional information about the vacancy? This can be obtained from Prof. van Kreveld, Research Director (M.J.vanKreveld at uu.nl) or from Marloes Reichardt-Buijs, HR Officer for the Department, (M.S.Reichardt-Buijs at uu.nl). If you have any informal enquiries about these vacancies, feel free to contact me directly. # Applying You can submit your application online through: https://bit.ly/2CZsgO6 If you prefer a part-time appointment, you are also invited to apply, preferably stating the desired part-time ratio. From rdgrande at site.uottawa.ca Wed Jan 16 00:19:27 2019 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Tue, 15 Jan 2019 19:19:27 -0500 Subject: [Haskell] Three Tenure-Track Faculty Positions - Brock University Message-ID: 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-Main-Campus/Assistant-Professor--Tenure-Track---Computer-Science_JR-1001858 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Mon Jan 21 10:01:05 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 21 Jan 2019 11:01:05 +0100 (CET) Subject: [Haskell] Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19) Message-ID: <526571739.341122962.1548064865092.JavaMail.zimbra@utbm.fr> 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) -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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Mon Jan 21 11:52:25 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Mon, 21 Jan 2019 11:52:25 +0000 Subject: [Haskell] [TCCN] MobiSPC 2019 CfPs: The 16th International Conference on Mobile Systems and Pervasive Computing (August 19-21, 2019, Halifax, Canada) In-Reply-To: References: , <0FAC9C89-BB2D-4A7F-8B14-13C920FF0956@acadiau.ca>, , , , , , , , , Message-ID: 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 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 ________________________________ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: MobiSPC19_Flyer.pdf Type: application/pdf Size: 624802 bytes Desc: MobiSPC19_Flyer.pdf URL: From aggelos.biboudis at epfl.ch Tue Jan 22 09:05:20 2019 From: aggelos.biboudis at epfl.ch (Aggelos Biboudis) Date: Tue, 22 Jan 2019 10:05:20 +0100 Subject: [Haskell] SPLASH 2019: 1st Combined Call for Contributions Message-ID: /************************************************************************************/ 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) /************************************************************************************/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Sun Jan 27 12:22:18 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Sun, 27 Jan 2019 13:22:18 +0100 (CET) Subject: [Haskell] KKIO 21st Software Engineering Conference, September 11-13, 2019, Bialystok, Poland Message-ID: <656545598.48162.1548591738395.JavaMail.zimbra@p.lodz.pl> ================================== 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 at easychair.org | kkio2019 at easychair.org ] Special Sessions, Panels, Workshops, Tutorials: Miroslaw Ochodek, miroslaw.ochodek at cs.put.poznan.pl Conference organization: [ mailto:wi.kkio2019 at pb.edu.pl | wi.kkio2019 at 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CfP KKIO 2019.pdf Type: application/pdf Size: 533755 bytes Desc: not available URL: From yazan.mualla at utbm.fr Mon Jan 28 16:03:56 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 28 Jan 2019 17:03:56 +0100 (CET) Subject: [Haskell] CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) In-Reply-To: <1110125971.315891852.1547391192718.JavaMail.zimbra@utbm.fr> References: <1110125971.315891852.1547391192718.JavaMail.zimbra@utbm.fr> Message-ID: <2105961674.365762608.1548691436566.JavaMail.zimbra@utbm.fr> 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From saoussen.cheikhrouhou at redcad.org Mon Jan 28 20:24:52 2019 From: saoussen.cheikhrouhou at redcad.org (SAOUSSEN CHEIKHROUHOU) Date: Mon, 28 Jan 2019 21:24:52 +0100 Subject: [Haskell] CFP_14th International Conference on Risks and Security of Internet and Systems (CRiSIS) Message-ID: 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Thu Jan 31 08:03:51 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Thu, 31 Jan 2019 09:03:51 +0100 (CET) Subject: [Haskell] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) Message-ID: <668462891.56352.1548921830942.JavaMail.zimbra@p.lodz.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. -------------- next part -------------- A non-text attachment was scrubbed... Name: SEIT19_Flyer.pdf Type: application/pdf Size: 790763 bytes Desc: not available URL: From aneta.poniszewska-maranda at p.lodz.pl Thu Jan 31 09:24:04 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Thu, 31 Jan 2019 10:24:04 +0100 (CET) Subject: [Haskell] The 16th International Conference on Mobile Web and Intelligent Information Systems (MobiWis 2019) Springer, LNCS 26-28 August 2019, Istanbul, Turkey Message-ID: <1210557583.98702.1548926644594.JavaMail.zimbra@p.lodz.pl> ------------------------ 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.