April 2019 - Haskell - Haskell.org

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

05 Nov '19

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

1 6

MPC 2019 deadline extension
by Graham Hutton 30 Apr '19

30 Apr '19

====================================================================== DEADLINE EXTENSION TO *10 MAY* -- 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 7th May 2019 (AoE) (extended) Paper submission 10th May 2019 (AoE) (extended) Author notification 14th June 2019 Camera ready copy 12th July 2019 (AoE) Conference 7-9 October 2019 KEYNOTE SPEAKERS: Assia Mahboubi INRIA, France Annabelle McIver Macquarie University, Australia 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 7th May 2019. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 10th 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 <graham.hutton(a)nottingham.ac.uk>. 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 <jno(a)di.uminho.pt>. ====================================================================== 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

OpenCert'19 - Formal Methods'19 (first call for papers)
by nevrenato＠gmail.com 30 Apr '19

30 Apr '19

[Apologies for cross-posting] ----------------------------------------------------------------------- First Call for Papers =============== OpenCERT 2019 =============== ======================================================================= 9th International Workshop on Open Community approaches to Education, Research and Technology - towards "Open community approaches" CERTification processes - ======================================================================= https://opencert.github.io Porto, Portugal, October 8, 2019 Satellite event of the 3rd World Congress on Formal Methods (FM 2019) http://formalmethods2019.inesctec.pt ----------------------------------------------------------------------- Submission link https://easychair.org/conferences/?conf=opencert2019 Submission deadline: June 24, 2019 ----------------------------------------------------------------------- Open Community is a generalisation of the concept of Open Source to other collaborative efforts. It includes Open Content, that is, some form of non restrictive license, and Open Knowledge, that is, the freedom to use, reuse, and redistribute knowledge without legal, social or technological restriction. The 9th International Workshop on Open Community approaches to Education, Research and Technology expands the scope of the International Workshop on Foundations and Techniques for Open Source Software Certification, whose 8 editions run from 2007 to 2014. The new scope of the workshop aims to promote the use of the Open Community approaches in Education and Research while also exploiting them to achieve wide diffusion and proper assessment of new, innovative Technology. The workshop general focus is on 1. EDUCATION, by exploring forms of open learning and collaborative learning in both formal and informal education contexts, as well as the use of peer reviewing and strategies and methods to ensure (and aiming at certifying) that such use guarantees a proper and fair assessment; 2. RESEARCH, by aiming at * establishing open research projects as “cauldrons” of open data, open knowledge and collaborative development, as well as devising methodologies and tools for the management and assessment of such projects; * defining open peer-review methodologies for the assessment of research outputs and appropriate bibliometrics based on the community open feedback rather than on a questionable analysis of citations; * defining, more specifically, quality metrics and a formal process to certify open source software (OSS) products and the outcomes of other peer-production efforts. 3. TECHNOLOGY, on the one hand by fostering and exploiting open communities to make new technologies globally available and accepted and, on the other hand, to support such communities in the production process and to certify the information and data produced or made publicly available by such communities, especially in the case of advices provided by thematic communities and user/consumer support/review communities. In the context of FM, OpenCERT 2019 will propose thematic aspects related to the area of Formal Methods 1. EDUCATION: open and collaborative approaches in Formal Methods education; 2. RESEARCH: open community research in Formal Methods, formal modelling of learning and collaboration 3. TECHNOLOGY, integrating Formal Methods technologies and tools within OSS projects as a means for Formal Methods acceptance and diffusion; but still accepting submissions outside these aspects. ----------------------------------------------------------------------- SUBMISSION GUIDELINES ----------------------------------------------------------------------- Authors are invited to submit, via Easychair, research contributions or experience reports. All papers should be written in English and prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html. There are nine categories of submissions RESEARCH PAPERS to present original research and the analysis, interpretation and validation of the research findings. POSITION PAPERS to present innovative, arguable ideas, opinions or frameworks which are likely to foster discussion at the workshop. PROJECT PAPERS to describe a new open community project (e.g. on a hosting provider or a dedicated portal) or a new research project, or the status of an ongoing project or the outcomes of a recently completed project. SURVEY PAPERS to collect previously published studies on topics related to the workshop and analyse them in the context of open communities. CASES STUDY PAPERS to report on case studies, preferably in a real-world setting. TOOL PAPERS to present a new tool, a new tool component or novel extensions to an existing tool aiming at supporting open community approaches, or the use/customisation of an existing tool in the context of open communities. TOOL DEMONSTRATION PAPERS to demonstrate the tool workflow(s) and human interaction aspects, and evaluate the overall role of the tool in supporting open community approaches. TEACHING EXPERIENCE PEPERS to report on teaching experiences using an open community approach in a formal education context (e.g. by university students) or in informal education. LEARNING EXPERIENCE PAPERS to report on a learning experience within an open community in a formal education context (e.g. by university students) or in informal education. Contributions will be in the form of * FULL PAPERS between 12 and 15 pages for submission (and between 12 and 16 pages for post-proceedings camera-ready). * SHORT PAPERS between 6 and 8 pages for submission. * PRESENTATIONS extended abstract up to 4 pages, which will be included in the pre-proceeding but not published in the post-proceedings. "Short papers" and "Presentations" can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. The program committee may reject papers that are outside these lengths on the grounds of length alone. Submitted papers will be refereed for quality, correctness, originality and relevance. All submitted papers will be posted on GitHub at https://github.com/opencert/workshop-2019/ and the review process will be carried out as an interactive, open discussion between the authors and the reviewers. Final decisions about acceptance/rejection of papers will be made through a closed discussion among the PC members. Notification and reviews will be communicated via email. Accepted papers will be included in the workshop programme and will appear in the workshop pre-proceedings. Pre-proceedings will be available online before the Workshop. ----------------------------------------------------------------------- LIST OF TOPICS ----------------------------------------------------------------------- EDUCATION * open education; * open learning communities and environments; * open learning in formal and informal education; * learning processes in open communities; * collaborative learning; * methodologies and tool to support collaboration; * social constructivism; * peer assessment; * student experience in open communities; * open community approaches to teaching; * teaching software engineering through OSS project participation; * peer-review in students' assessment; * validation and certification of open education approaches; * validation and certification of peer assessment approaches. RESEARCH * peer-production process; * open communities as peer-production models; * analytical models for peer-production processes; * business models for peer-production; * open community management and organisation; * knowledge management in open communities; * management and analysis of open data repositories; * management and analysis open source software repositories; * data mining and process mining of (software, communication, etc.) repositories; * community evolution; * community assessment; * peer review in OSS and other peer-production efforts; * quality assessment of OSS and other peer-production efforts; * certification of OSS and other peer-production processes; * peer-assessment of research outputs, citations analysis controversies, open-feedback-based bibliometrics; * legal implications in peer-production, OSS and peer-production licenses; * copyright and copyleft in OSS and peer-production, action research; * empirical studies. TECHNOLOGY * technological innovation in open communities; * open communities and technology diffusion; * information trustworthiness in thematic communities; * privacy in open communities; * recommender systems, reputation systems; * machine learning; deep learning architectures; * user/consumer reviews and quality assessment; * methodologies and tools for analysis, verification, validation, decision support, quality * assessment and certification. FORMAL METHODS * open and collaborative approaches in formal methods, logics and mathematics education; * open community research in formal methods and software engineering; * formal modelling of learning and collaboration; * integrating formal methods technologies and tools within OSS projects as a means for formal methods acceptance and diffusion; * reverse engineering of OSS; * static analysis, testing and inspection of OSS; * safety, security and usability analysis in OSS; * automated source code analyses in OSS; * software evolution and reconfigurability in OSS. ----------------------------------------------------------------------- PROGRAM CO-CHAIRS ----------------------------------------------------------------------- * Luis Barbosa, UNU-EGOV, United Nations University, UN, and Department of Computer Science, University of Minho, Portugal * Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan ----------------------------------------------------------------------- PROGRAM COMMITTEE (provisional) ----------------------------------------------------------------------- * Roberto Bagnara, BUGSENG and Department of Mathematical, Physical and Computer Sciences, University of Parma, Italy * Luis Barbosa, UNU-EGOV, United Nations University, UN, and Department of Computer Science, University of Minho, Portugal (Program Co-chair) * Marco C. Barbosa, Department of Computing Engineering, Universidad Federal de Tecnologia do Paraná, Brazil * Leonor Barroca, School of Computing and Communication, Open University, UK * Peter T. Breuer, Hecusys LLC, USA * Daniel Burgos, Universidad Internacional de La Rioja (UNIR), Spain * F. Heron Carvalho Júnior, Department of Computing, Universidad Federal do Ceará, Brazil * Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan (Program Co-chair) * Soumaya ben Dhaou, UNU-EGOV, United Nations University, UN * Yannis Dimitriadis, School of Telecommunications Engineering, University of Valladolid, Spain * Elsa Estevez, Department of Science and Computer Engineering, Universidad Nacional del Sur, Argentina * João F. Ferreira, IST, Department of Electrotechnical and Computer Engineering, University of Lisboa, Portugal * Michela Fazzolari, Institute for Informatics and Telematics (CNR-IIT), Italy * Roberta Gori, Department of Computer Science, University of Pisa, Italy * Padmanabhan Krishnan, Oracle Labs, Australia * Andreas Meiszner, Scio, Portugal, and School of Management, University of Liverpool, UK * Paolo Milazzo, Department of Computer Science, University of Pisa, Italy * Renato Neves, Department of Computer Science, University of Minho, Portugal * Donatella Persico, Institute for Educational Technologies (CNR-ITD), Italy * Alexander K. Petrenko, Institute for System Programming, Russian Academy of Sciences (ISP RAS), Russia * Marinella Petrocchi, Institute for Informatics and Telematics (CNR-IIT), Italy * Maria Helena Martinho, School of Education, University of Minho, Portugal * Lucia Rapanotti, School of Computing and Communication, Open University, UK * Steve Reeves Department of Computing and Mathematical Sciences, University of Waikato, New Zealand * Mona Rizvi, Department of Computer Science, Nazarbayev University, Kazakhstan * Markus Roggenbach, Department of Computer Science, Swansea University, UK * Marcus Specht, Welten Institute, Research Centre for Learning, Teaching and Technology, Open University of The Netherlands, The Netherlands * Ioannis Stamelos, School of Informatics, Aristotle University of Thessaloniki, Greece * Sulayman Sowe, Department of Informatics, Carl von Ossietzky University of Oldenburg, Germany * Anthony Wasserman, Integrated Innovation Institutre, Carnegie Mellon University Silicon Valley, USA ----------------------------------------------------------------------- KEYNOTE SPEAKER ----------------------------------------------------------------------- Andreas Meiszner Scio, Portugal, and School of Management, University of Liverpool, UK ----------------------------------------------------------------------- PUBLICATION ----------------------------------------------------------------------- Accepted regular and short papers will be published after the Workshop by Springer in a volume of Lecture Notes in Computer Science (http://www.springer.com/lncs) which will collect contributions to some workshops and symposia co-located with FM 2019. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Workshop. One or more journal special issue(s) with selected papers may be planned, depending on the number and quality of submissions. ----------------------------------------------------------------------- CONTACT ----------------------------------------------------------------------- All inquiries concerning submissions should be sent to opencert2019 AT easychair AT org

1 0

MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019)
by Davidekova Monika 29 Apr '19

29 Apr '19

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

1 0

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

28 Apr '19

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

1 7

Bx 2019 Call for Participation (Workshop on Bidirectional Transformations)
by James Cheney 27 Apr '19

27 Apr '19

Bx 2019 Call for Participation ============================== Highlights ---------- * Invited speaker: Zack Ives on Views, Update Propagation, and Provenance * Registration information (early deadline: May 4) * List of accepted papers and talks General Information ------------------- * 8th International Workshop on Bidirectional Transformations * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph’s University, Philadelphia, PA, USA * as part of the Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/plw/ Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2019 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Bx 2019 will be a part of Philadelphia Logic Week (PLW) 2019, which also includes conference and workshops on logic, provenance, and databases, topics that we hope will complement Bx and help build engagement with these communities. Registration ------------ * https://sites.sju.edu/plw/plw-2019-registration/ * Early registration deadline: May 4 * Passes available for attending multiple co-located events, including LPNMR (Logic Programming and Nonmonotonic Reasoning) and workshops, Datalog 2.0 (Resurgence of Datalog in Academia and Industry), and TaPP (Theory and Practice of Provenance) * Opportunities for students to receive financial support from the LPNMR Doctoral Consortium Invited Talk ------------ * Views, Update Propagation, and Provenance Zachary Ives (University of Pennsylvania) http://www.cis.upenn.edu/~zives/ Accepted Papers and Talks ------------------------- The abstracts can be found at http://bx-community.wikidot.com/bx2019:accepted . * ASN.1 Encoding Schemes Done Right Using CMPCT Mark Tullsen (Galois, Inc.) * Lenses and Learners Brendan Fong (Massachusetts Institute of Technology) and Michael Johnson (Macquarie University) * Multicategories of Multiary Lenses Michael Johnson (Macquarie University) and Robert Rosebrugh (Mount Allison University) * Incremental Bidirectional Model Transformation with eMoflon::IBeX (Tool Paper) Nils Weidmann (Paderborn University), Anthony Anjorin (Paderborn University), Lars Fritsche (TU Darmstadt), Gergely Varró, Andy Schürr (TU Darmstadt), and Erhan Leblebici (TU Darmstadt) * A Bidirectional Krivine Machine (Short Paper) Mikael Mayer (University of Chicago) and Ravi Chugh (University of Chicago) * Consistent Runtime Adaptation of User Interfaces (Short Paper) Anthony Anjorin (Paderborn University), Enes Yigitbas (Paderborn University), and Hermann Kaindl (Vienna University of Technology) * Symmetric d-Lenses and Symmetric c-Lenses are not Coextensive (Short Paper) Michael Johnson (Macquarie University) and François Renaud (Université Catholique de Louvain) * A Toolbox of Lenses: Dimensions of the Lens Design Space (Talk) Zinovy Diskin (McMaster University) * Expanding the Power of Lens Synthesis (Talk) Anders Miltner (Princeton University), Solomon Maina (University of Pennsylvania), Kathleen Fisher (Tufts University), Benjamin Pierce (University of Pennsylvania), David Walker (Princeton University), and Steve Zdancewic (University of Pennsylvania) * Optics and Type Equivalences (Talk) Jacques Carette (McMaster University) and Amr Sabry (Indiana University Bloomington) * Reified Correspondences: A New Component of the Multiary Delta Lenses Framework (Talk) Zinovy Diskin (McMaster University)

1 0

MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019)
by Davidekova Monika 25 Apr '19

25 Apr '19

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

1 0

Graph Computation Models/ last CFP: GCM 2019
by RACHID ECHAHED 25 Apr '19

25 Apr '19

----------------------------------------------------------------------- FINAL CALL FOR PAPERS GCM 2019 Tenth International Workshop on Graph Computation Models Eindhoven, The Netherlands, July 17th, 2019 [ http://gcm2019.imag.fr/ | http://gcm2019.imag.fr/ ] Part of STAF 2019 [ https://staf2019.win.tue.nl/ | https://staf2019.win.tue.nl/ ] ----------------------------------------------------------------------- Aims The aim of the International Workshop GCM 2019 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from different communities interested in the foundations, applications, and implementations of graph computation models and related areas. Previous editions of GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008), in Enschede, The Netherlands (GCM 2010), in Bremen, Germany (GCM 2012), in York, UK (GCM 2014), in L'Aquila, Italy (GCM 2015), in Wien, Austria (GCM 2016), in Marburg, Germany (GCM 2017) and in Toulouse, France (GCM 2018). ----------------------------------------------------------------------- Topics of Interest GCM 2019 solicits papers on all aspects of graph computation models. This includes but is not limited to the following topics: Foundations: Models of graph transformation; Analysis and verification of graph transformation systems; Parallel, concurrent, and distributed graph transformation; Term graph rewriting; Formal graph languages; Applications: Graph-based programming models and visual programming; Model-driven engineering; Evolutionary computation; Software architectures, validation and evolution; Databases; Graph-based security models; Workflow and business processes; Social network analysis; Bioinformatics and computational chemistry; Quantum computing; Case-studies ----------------------------------------------------------------------- Important Dates Abstract Submission : 2 May 2019 Paper Submission : 7 May 2019 Notification : 25 May 2019 Final version due: 5 June 2019 Workshop : 17 July 2019 Should you have problems to meet the deadlines, please contact the organizers. ----------------------------------------------------------------------- Submissions and Publication Authors are invited to submit papers in three possible categories: (1) Regular papers of at most 16 pages describing innovative contributions. (2) Position papers, system descriptions or work in progress of 6 to 12 pages. (3) Abstracts limited to 2 pages, introducing recently published papers in a peer-reviewed venue different from the ICGT conference. Papers in PDF format should be submitted electronically via the EasyChair system site [ https://easychair.org/conferences/?conf=gcm2019 | https://easychair.org/conferences/?conf=gcm2019 ] Submissions must use Lecture Notes in Computer Science (LNCS) style. For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings as well as submission of material that has already been published elsewhere is not allowed. The page limits include references. An optional appendix can be added if useful for the reviewing process. All submissions will be reviewed by the programme committee. Electronic proceedings will be available at the time of the workshop. Selected authors will be invited to contribute to post-proceedings to be published online by Electronic Proceedings in Theoretical Computer Science (EPTCS, [ http://www.eptcs.org/ | http://www.eptcs.org/ ] ). ----------------------------------------------------------------------- Program Committee * Anthony Anjorin , University of Paderborn, Germany * Andrea Corradini , University of Pisa, Italy * Juan de Lara , Universidad Autónoma de Madrid, Spain * Rachid Echahed (co-chair), CNRS and Univ. Grenoble Alpes, France * Maribel Fernández , King's College London, UK * Annegret Habel, University of Oldenburg, Germany * Hans-Joerg Kreowski, University of Bremen, Germany * Leen Lambers , University of Potsdam, Germany * Detlef Plump (co-chair), University of York, UK * Christopher M. Poskitt, Singapore Univ. of Technology and Design, Singapore * Leila Ribeiro , Universidade Federal do Rio Grande do Sul, Brazil ----------------------------------------------------------------------- Organizers and contact * Rachid Echahed, CNRS and University Grenoble Alpes, France * Detlef Plump, University of York, UK You can contact the organizers via: [ mailto:gcm2019@easychair.org | gcm2019(a)easychair.org ]

1 0

INCoS-2019 Call for Papers, September 5-7, 2019, Japan, Submission Deadline May 20
by Davidekova Monika 24 Apr '19

24 Apr '19

Call for Papers The 11-th International Conference on Intelligent Networking and Collaborative Systems (INCoS-2019) Oita University, Oita, Japan September 5 - 7, 2019 <http://cs-conferences.acadiau.ca/mobispc-19/> http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php IMPORTANT DATES - Submission Deadline: May 20, 2019 - Authors Notification: June 15, 2019 - Author Registration: June 25, 2019 - Final Manuscript: June 25, 2019 - Conference Dates: September 5 - 7, 2019 CONFERENCE SCOPE AND OBJECTIVES With the fast development of the Internet, we are experiencing a shift from the traditional sharing of information and applications as the main purpose of the Web to an emergent paradigm, which locates people at the very center of networks and exploits the value of people's connections and relations. Web 2.0 has come to play a major role in this context by enabling a new generation of social networks and web-based communities and dramatically changing the way we use and interact with the Web. Social network analysis is also a rapidly growing field to investigate the dynamics and structure of intelligent Web-based networking and collaborative systems. Virtual campuses and organizations strongly leverage intelligent networking and collaborative systems by a great variety of formal and informal electronic relations, such as business-to-business, peer-to-peer and many types of online collaborative learning interactions. This has resulted in entangled systems that need to be managed efficiently and in an autonomous way. In addition, latest and powerful technologies based on Grid and Wireless infrastructure as well as Cloud computing are currently enhancing collaborative and networking applications a great deal but also facing new issues and challenges. Well-known social networks lack of knowledge management and adaptive solutions and the information shared among peers is rather static. Virtual communities of practice also provide poorly interactive solutions and lack of full support for organization, management, mobility and security. This conference covers the latest advances in intelligent social networks and collaborative systems that lead to gain competitive advantages in business and academia scenarios. The ultimate aim is to stimulate research that will lead to the creation of responsive environments for networking and, at longer-term, the development of adaptive, secure, mobile, and intuitive intelligent systems for collaborative work and learning. Industry and academic researchers, professionals and practitioners are invited to exchange their experiences and present their ideas in this field. PUBLICATION Conference Proceedings All accepted papers of the conference and of workshops will be included in the conference proceedings of Lecture Notes in the Advances in Intelligent Systems and Computing book series published by Springer. Proceedings will be sent by Springer for indexing in EI and SCOPUS, ISI Proceedings, MetaPress, Springerlink. VENUE Oita University, Oita, Japan. MAIN TOPICS AND TRACKS The main topics of interest of INCoS-2019 include but are not limited to the following: * Data Mining, Machine Learning and Collective Intelligence <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#data> * Fuzzy Systems and Knowledge Management <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#fuzzy> * Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#grid> * Nature's Inspired Parallel Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#nature> * Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#security> * Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#semantics> * Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#wireless> * Service-based Systems for Enterprise Activities Planning and Management <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#service> * Next Generation Secure Network Protocols and Components <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#nextgen> * Big Data Analytics for Learning, Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#bigdata> * Cloud Computing: Services, Storage, Security and Privacy <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#cloudcom> * Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#intelli> * Social Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#social> * Intelligent and Collaborative Systems for e-Health <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#e-health> * Mobile Networking and Applications <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#mobile> INCoS-2019 CONFERENCE OFFICERS Honorary Chairs Seigo Kitano, Oita University, Japan Makoto Takizawa, Hosei University, Japan General Co-Chairs Hiroaki Nishino, Oita University, Japan Leonard Barolli, Fukuoka Institute of Technology, Japan Program Co-Chairs Hiroyoshi Miwa, Kwansei Gakuin University, Japan Flora Amato, University of Naples, Italy Workshops Co-Chairs Masato Tsuru, Kyushu Institute of Technology, Japan Jakub Nalepa, Silesian University of Technology, Poland International Advisory Committee Vincenzo Loia, University of Salerno, Italy Amélia Ferreira da Silva, CEOS. PP, Politécnico do Porto, Portugal Christine Strauss, University of Vienna, Austria Fang-Yie Leu, Tunghai University, Taiwan Albert Zomaya, University of Sydney, Australia International Liaison Co-Chairs Pavel Kromer, Technical Univ. of Ostrava, Czech Republic Kin Fun Li, University of Victoria, Canada Ana Azevedo, CEOS.PP, Politécnico do Porto, Portugal Joseph Tan, McMaster University, Canada Award Co-Chairs Marek Ogiela, AGH Univ. of Science and Technology, Poland Vaclav Snasel, Technical Univ. of Ostrava, Czech Republic Web Administrators Miralda Cuka, Fukuoka Institute of Technology, Japan Kevin Bylykbashi, Fukuoka Institute of Technology, Japan Donald Elmazi, Fukuoka Institute of Technology, Japan Local Arrangement Co-Chairs Ken’ichi Furuya, Oita University, Japan Makoto Nakashima, Oita University, Japan Finance Chair Makoto Ikeda, Fukuoka Institute of Technology, Japan Steering Committee Leonard Barolli, Fukuoka Institute of Technology, Japan TRACK CHAIRS Track 1: Data Mining, Machine Learning and Collective Intelligence Track Co-Chairs: Carson K Leung, University of Manitoba, Canada Thomas Lenhard, Comenius University in Bratislava, Slovakia TPC members: Alfredo Cuzzocrea, University of Trieste, Italy Fan Jiang, University of Northern British Columbia, Canada Wookey Lee, Inha University, Korea Oluwafemi A. Sarumi, Federal University of Technology - Akure, Nigeria Syed K. Tanbeer, University of Manitoba, Canada Tomas Vinar, Comenius University in Bratislava, Slovakia Kin Fun Li, University of Victoria, Canada Track 2: Fuzzy Systems and Knowledge Management Track Co-Chairs: Marek Ogiela, AGH University of Science and Technology, Poland Morteza Saberi, UNSW Canberra, Australia Chang Choi, Chosun University, Korea TPC members: Hsing-Chung (Jack) Chen, Asia University, Taiwan Been-Chian Chien, National University, Taiwan Junho Choi, Chosun University, Korea Farookh Khadeer Hussain, Technology Sydney University, Australia Hae-Duck Joshua Jeong, Korean Bible University, Korea Hoon Ko, Sungkyunkwan University, Korea Natalia Krzyworzeka, AGH University of Science and Technology, Poland Libor Mesicek, J. E. Purkinje University, Czech Republic Lidia Ogiela, Pedagogical University of Cracow, Poland Su Xi, Hohai University, China Ali Azadeh, Tehran University, Iran Jin Hee Yoon, Sejong University, South Korea Hamed Shakouri, Tehran University, Iran Jee-Hyong Lee, Sungkyunkwan University, South Korea Jung Sik Jeon, Mokpo National Maritime University, South Korea Track 3: Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems Track Co-Chairs: Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Michal Gregus, Comenius University in Bratislava, Slovakia Takuya Asaka, Tokyo Metropolitan University, Japan TPC members: Jordi Mongay Batalla, National Institute of Telecommunications, Poland Nik Bessis, University of Derby, UK Aniello Castiglione, Dipartimento di Informatica University of Salerno, Italy Naveen Chilamkurti, La Trobe University, Australia Radu-Ioan Ciobanu, University Politehnica of Bucharest, Romania Alexandru Costan, IRISA / INSA Rennes, France Vladimir-Ioan Cretu, University Politehnica of Timisoara, Romania Valentin Cristea, University Politehnica of Bucharest, Romania Marc Frincu, West University of Timisoara, Romania Rossitza Ivanova, Goleva Technical University of Sofia, Bulgaria Dorian Gorgan, Technical University of Cluj-Napoca, Romania Mauro Iacono, Seconda Universita' degli Studi di Napoli, Italy George Mastorakis, Technological Educational Institute of Crete, Greece Constandinos X. Mavromoustakis, University of Nicosia, Cyprus Gabriel Neagu, National Institute for Research and Development in Informatics, Romania Rodica Potolea, Technical University of Cluj-Napoca, Romania Radu Prodan, University of Innsbruck, Austria Ioan Salomie, Technical University of Cluj-Napoca, Romania George Suciu, BEIA International, Romania Nicolae Tapus, University Politehnica of Bucharest, Romania Sergio L. Toral Marín, University of Seville, Spain Radu Tudoran, European Research Center, Germany Lucian Vintan, Lucian Blaga University, Romania Mohammad Younas, Oxford Brookes University, UK Track 4: Nature's Inspired Parallel Collaborative Systems Track Co-Chairs: Mohammad Shojafar, University of Rome, Italy Zahra Pooranian, University of Padua, Padua, Italy Daichi Kominami, Osaka University, Japan TPC members: Francisco Luna, University of Málaga, Spain Sergio Nesmachnow, University La Republica, Uruguay Nouredine Melab, University of Lille 1, France Julio Ortega, University of Granada, Spain Domingo Giménez, University of Murcia, Spain Gregoire Danoy, University of Luxembourg, Luxembourg Carolina Salto, University of La Pampa, AR Stefka Fidanova, IICT-BAS, Bulgaria Michael Affenzeller, Upper Austria University, Austria Hernan Aguirre, Shinshu University, Japan Francisco Chicano, University of Malaga, Spain Javid Tahery, Karlstad University, Sweden Enrique Domínguez, University of Málaga, Spain Guillermo Leguizamón, Universidad Nacional de San Luis, AR Konstantinos Parsopoulos, University of Ioannina, Greece Carlos Segura, CIMAT, Mexico Eduardo Segredo, Edinburgh Napier University, UK Javier Arellano, University of Málaga, Spain Track 5: Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems Track Co-Chairs: Jungwoo Ryoo, Pennsylvania State University, USA Simon Tjoa, St. Poelten University of Applied Sciences, Austria TPC members: Nikolaj Goranin, Vilnius Gediminas Technical University, Lituania Kenneth Karlsson, Lapland University of Applied Sciences, Finland Peter Kieseberg, SBA Research, Austria Hyoungshick Kim, Sungkyunkwan University, Korea Hae Young Lee, DuDu IT, Korea Moussa Ouedraogo, Wavestone, Luxembourg Sebastian Schrittwieser, St. Pölten University of Applied Sciences, Austria Syed Rizvi, Pennsylvania State University, USA Track 6: Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems Track Co-Chairs: Kai Jander, University of Hamburg, Germany Giovanni Cozzolino, University of Naples "Federico II", Italy TPC members: Tsutomu Kinoshita, Fukui University of Technology, Japan Kouji Kozaki, Osaka University, Japan Hiroyoshi Miwa, Kwansei Gakuin University, Japan Burin Rujjanapan, Nation University, Thailand Hiroshi Kanasugi, Tokyo University, Japan Takayuki Shimotomai, Advanced Simulation Technology Of Mechanics R&D, Japan Jinattaporn Khumsri, Fukui University of Technology, Japan Rene Witte, Concordia University, Canada Amal Zouaq, University of Ottawa, Canada Jelena Jovanovic, University of Belgrade, RS Zeinab Noorian, Ryerson University, Canada Faezeh Ensan, Ferdowsi University of Mashhad, IR Alireza Vazifedoost, Sun Life Financial, Canada Morteza Mashayekhi, Royal Bank of Canada, Canada Track 7: Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems Track Co-Chairs: Do van Thanh, Telenor & Oslo Metropolitan University, Norway Salem Lepaja, University of Prishtina @ AAB College in Prishtina, Kosovo Shigeru Kashihara, Nara Institute of Science and Technology, Japan TPC members: Dhananjay Singh, HUFS, Korea Shirshu Varma, IIIT-Allahabad, India B. BALAJI Naik, NIT-Sikkim, India Sayed Chhattan Shah, HUFS, Korea, US Madhusudan Singh, Yonsei University, Korea Irish Singh, Ajou University, Korea Gaurav Tripathi, Bharat Electronics Limited, India Jun Kawahara, Kyoto University, Japan Muhammad Niswar, Hasanuddin University, Indonesia Vasaka Visoottiviseth, Mahidol University, Thailand Jane Louie F. Zamora, Weathernews Inc., Japan Track 8: Service-based Systems for Enterprise Activities Planning and Management Track Co-Chairs: Corinna Engelhardt-Nowitzki, University of Applied Sciences, Austria Natalia Kryvinska, Comenius University in Bratislava, Slovakia TPC members: Maria Bohdalova, Comenius University in Bratislava, Slovakia Ivan Demydov, Lviv Polytechnic National University, Ukraine Jozef Juhar, Technical University of Košice, Slovakia Nor Shahniza Kamal Bashah, Universiti Teknologi MARA, Malaysia Eric Pardede, La Trobe University, Australia Francesco Moscato, University of Campania, Italy Tomoya Enokido, Rissho University, Japan Track 9: Next Generation Secure Network Protocols and Components Track Co-Chairs: Xu An Wang, Engineering University of CAPF, China Mingwu Zhang, Hubei Univerisity of Technology, China TPC members: Fushan Wei, The PLA Information Engineering University, China He Xu, Nangjing University of Posts and Telecommunications, China Yining Liu, Guilin University of Electronic Technology, China Yuechuan Wei, Engineering Unviersity of CAPF, China Weiwei Kong, Xi`an University of Posts&Telecommunications, China Dianhua Tang, CETC 30, China Hui Tian, Huaqiao University, China Track 10: Big Data Analytics for Learning, Networking and Collaborative Systems Track Co-Chairs: Santi Caballe, Universitat Oberta de Catalunya Spain Francesco Orciuoli, University of Salerno, Italy Shigeo Matsubara, Kyoto University, Japan TPC members: Santi Caballe, Open University of Catalonia, Spain Jordi Conesa, Open University of Catalonia, Spain Soumya Barnejee, Institut national des sciences appliquées, France David Bañeres, Open University of Catalonia, Spain Nicola Capuano, University of Salerno, Italy Nestor Mora, Open University of Catalonia, Spain Jorge Moneo, University of San Jorge, Spain David Gañán, Open University of Catalonia, Spain Isabel Guitart, Open University of Catalonia, Spain Elis Kulla, Okayama University of Science, Japan Evjola Spaho, Polytechnic University of Tirana, Albania Florin Pop, University Politehnica of Bucharest, Romania Kin Fun Li, University of Victoria, Canada Miguel Bote, University of Valladolid, Spain Pedro Muñoz, University of Carlos III, Spain Track 11: Cloud Computing: Services, Storage, Security and Privacy Track Co-Chairs: Javid Taheri, Karlstad University, Sweden Shuiguang Deng, Zhejiang University, China TPC members: Ejaz Ahmed, National Institute of Standards and Technology, US Asad Malik, National University of Science and Technology, Pakistan Usman Shahid, Comsats Institute of Information Technology, Pakistan Assad Abbas, North Dakota State University, US Nikolaos Tziritas, Chinese Academy of Sciences, China Osman Khalid, Comsats Institute of Information Technology, Pakistan Kashif Bilal, Qatar University, Qatar Javid Taheri, Karlstad University, Sweden Saif Rehman, Comsats Institute of Information Technology, Pakistan Inayat Babar, University of Engineering and Technology, Pakistan Thanasis Loukopoulos, Technological Educational Institute of Athens, Greece Mazhar Ali, Comsats Institute of Information Technology, Pakistan Tariq Umer, Comsats Institute of Information Technology, Pakistan Track 12: Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses Track Co-Chairs: Nikolay Kazantsev, National Research University Higher School of Economics, Russia Monika Davidekova, Comenius University in Bratislava, Slovakia TPC members: Luis Alberto Casillas, University of Guadalajara, Mexico Nestor Mora, University of Cadiz, Spain Michalis Feidakis, University of Aegean, Greece Sandra Isabel Enciso, Fundación Universitaria Juan N. Corpas, Colombia Nicola Capuano, University of Salerno, Italy Rafael Del Hoyo, Technological Center of Aragon, Spain George Caridakis, University of Aegean, Greece Kazunori Mizuno, Takushoku University, Japan Satoshi Ono, Kagoshima University, Japan Yoshiro Imai, Kagawa University, Japan Takashi Mitsuishi, Tohoku University, Japan Hiroyuki Mitsuhara, Tokushima University, Japan Track 13: Social Networking and Collaborative Systems Track Co-Chairs: Nicola Capuano, University of Salerno, Italy Dusan Soltes, Comenius University in Bratislava, Slovakia Yusuke Sakumoto, Kwansei Gakuin University, Japan TPC members: Santi Caballé, Open University of Catalonia, Spain Thanasis Daradoumis, University of the Aegean, Greece Angelo Gaeta, University of Salerno, Italy Christian Guetl, Graz University of Technology, Austria Miltiadis Lytras, American College of Greece Agathe Merceron, Beuth University of Applied Sciences Berlin, Germany Francis Palma, Screaming Power, Canada Krassen Stefanov, Sofia University “St. Kliment Ohridski”, Bulgaria Daniele Toti, Roma Tre Universy, Italy Jian Wang, Wuhan University, China Jing Xiao, South China Normal University, China Jian Yu, Auckland University of Technology, Australia Aida Masaki, Tokyo Metropolitan University, Japan Takano Chisa, Hiroshima City University, Japan Sho Tsugawa, Tsukuba University, Japan Track 14: Intelligent and Collaborative Systems for e-Health Track Co-Chairs: Massimo Esposito, Institute for High Performance Computing and Networking - National Research Council of Italy, Italy Mario Ciampi, Institute for High Performance Computing and Networking - National Research Council of Italy, Italy Giovanni Luca Masala, University of Plymouth, UK TPC members: Tim Brown, Australian National University, Australia Mario Marcos do Espirito Santo, Universidad Stadual de Montes Claros, Brazil Jana Heckenbergerova, University Pardubice, Czech Republic Zdenek Matej, Masaryk University, Czech Republic Michal Musilek, University Hradec Kralove, Czech Republic Michal Prauzek, VSB-TU OStrava, Czech Republic Vaclav Prenosil, Masaryk University, Czech Republic Alvin C. Valera, Singapore Management University, Singapore Nasem Badr El Din, University of Manitoba, Canada Emil, Pelikan, Academy of Sciences, Czech Republic Joanne Nightingale, National Physical Laboratory, UK Tomas Barton, University of Alberta, Canada Track 15: Mobile Networking and Applications Track Co-Chairs: Miroslav Voznak, VSB-Technical University of Ostrava, Czech Republic Akihiro Fujihara, Chiba Institute of Technology, Japan Lukas Vojtech, Czech Technical University in Prague, Czech Republic TPC members: Nobuyuki Tsuchimura, Kwansei Gakuin University, Japan Masanori Nakamichi, Fukui University of Technology, Japan Masahiro Shibata, Kyushu Institute of Technology, Japan Yusuke Ide, Kanazawa Institute of Technology, Japan Takayuki Shimotomai, Advanced Simulation Technology Of Mechanics R&D, Japan Dinh-Thuan Do, Ton Duc Thang University, Vietnam Floriano De Rango, University of Calabria, Italy Homero Toral-Cruz, University of Quintana Roo, Mexico Remigiusz Baran, Kielce University of Technology, Poland Mindaugas Kurmis, Klaipeda State University of Applied Sciences, Lituania Radek Martinek, VSB-Technical University of Ostrava, Czech Republic Mauro Tropea, University of Calabria, Italy Gokhan Ilk, Ankara University, Turkey Shino Iwami, Microsoft, Japan

1 0

MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019)
by Davidekova Monika 24 Apr '19

24 Apr '19

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

1 0