- Haskell - Haskell.org

Final CFP 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19)
by Yazan Mualla 07 Jan '19

07 Jan '19

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.

1 0

10 PhD studentships in Nottingham
by Graham Hutton 07 Jan '19

07 Jan '19

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(a)nottingham.ac.uk. To apply, please submit the following items by email to: Christine.Fletcher(a)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.

1 0

[MobiSPC2019] The 16th International Conference on Mobile Systems and Pervasive Computing (August 19-21, 2019, Halifax, Nova Scotia, Canada)
by Davidekova Monika 07 Jan '19

07 Jan '19

------------------------------------------------------------------------ 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

1 0

ANT & EDI40 2019 (FINAL CfPs) - Leuven, Belgium (April 29 - May 2, 2019)
by Davidekova Monika 07 Jan '19

07 Jan '19

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<http://www.elsevier.com/> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com/>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com/>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) Your contributions and support are appreciated.

1 0

Tenure-track Faculty Positions at The IMDEA Software Institute
by Manuel Hermenegildo 06 Jan '19

06 Jan '19

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. --

1 0

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

04 Jan '19

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<http://www.elsevier.com/> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com/>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com/>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication in 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.

1 0

CFP-16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019)
by SAOUSSEN CHEIKHROUHOU 04 Jan '19

04 Jan '19

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)

1 0

[MobiSPC2019] The 16th International Conference on Mobile Systems and Pervasive Computing (August 19-21, 2019, Halifax, Nova Scotia, Canada)
by Davidekova Monika 02 Jan '19

02 Jan '19

------------------------------------------------------------------------ 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

1 0

ANT-2019 and ABMTRANS-2019 : Call for papers : Final firm deadline : 2019-Jan-09
by Davidekova Monika 02 Jan '19

02 Jan '19

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<http://www.Elsevier.com> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. 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

1 0

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

31 Dec '18

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 12, 2019 - Notification of acceptance: March 10, 2019 - Camera-ready: April 1, 2019 - Workshop: May 13-14, 2019 ---------------------------------------------- Submission ========= Submissions will be reviewed by at least three members of the programme committee, who are experts in the field. The acceptance of the submitted papers will depend on their quality, relevance, and originality. To conduct this process, the chairs will rely on easychair to make the reviewing procedure traceable, transparent and accessible. In the case of accepted papers characterized by relevant demands (e.g., clarifications, changes, corrections) set by the reviewers, the final acceptance will be subject to their accomplishment. Accepted papers will be published in the Springer proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length, addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS proceedings template), and have to be submitted electronically as PDF files via the EasyChair submission page. The top papers will be published in Special Issue of a journal with a relevant impact factor (to be announced). ---------------------------------------------- Program Chairs ============= - Kary Främling (Umeå University, Sweden / Aalto University, Finland) - Davide Calvaresi (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) - Amro Najjar (Umeå University, Sweden) - Michael Schumacher (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) ---------------------------------------------- Advisory Board ============= - Virginia Dignum (Umeå University, Sweden) - Tim Miller (University of Melbourne, Australia) - Catholijn M. Jonker (TU Delft / LIACS Leiden University, The Netherlands) ---------------------------------------------- Publicity Chairs ============== - Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France) - Timotheus Kampik (Umeå University, Sweden) ---------------------------------------------- Program Committee ================= To be announced.

1 0