My new paper on Cybersecurity in the AWS Cloud

This new paper was just posted as a technical report at Cornell’s arXiv (, but it will be submitted for publication in the future. PDF of the paper.

From the abstract: This paper re-examines the content of a standard advanced course in Cybersecurity from the perspective of Cloud Computing. More precisely, we review the core concepts of Cybersecurity, as presented in a senior undergraduate or graduate class, in light of the Amazon Web Services (AWS) cloud.

This paper has three goals: (i) to aid faculty in cloudifying a Cybersecurity offering; (ii) to re-examine Cybersecurity in light of the new paradigm of Cloud Computing; and, (iii) as a guide for preparing for the AWS Security Specialty certification. The paper presents an outline of Cybersecurity, with topics examined in the context of AWS, and with a long bibliography for a more in-depth study of each topic.

It should be mentioned that this paper is a second paper in a sequence on cloudification with AWS; the first one, Cloudifying the Curriculum with AWS, can be found here:

My book “An Intro to the Analysis of Algorithms”

My book, An Introduction to the Analysis of Algorithms, has been identified by the publisher, World Scientific, as one of the most downloaded ebooks. See my page with all the book details and resources (slides, GitHub repository with implementations of all algorithms, solutions to problems, errata, etc.).

KES 2020 – 24th International Conference on Knowledge Based and Intelligent information and Engineering Systems

KES-202024th  International Conference on Knowledge Based and Intelligent information and Engineering Systems (KES2020) |  16th  –  18th  September 2020  |   Verona, Italy

We are pleased to invite contributions for KES2020 taking place in Verona, Italy organised by KES International, in conjunction with the University of Verona.


KES2020 will consist of keynote talks, oral presentations, invited sessions, and workshops, on the applications and theory of 
intelligent systems and related areas. The conference encompasses a broad spectrum of intelligent systems related subjects.

Dates, Conference and Publication

•       Submission Deadline: 03 April 2020

•       Acceptance Notification: 01 May 2020

•       Camera Ready Submission: 29 May 2020

•       Presentation at Conference: 16 – 18 September 2020

•       Publication: Elsevier Procedia Proceedings

Conference Scope

Generic Topics of Interest

G1: Machine Learning, Artificial Neural Networks and Deep Learning

This track will cover both machine learning theoretical research and its applications. Contributions describing machine learning techniques applied to real-world problems and interdisciplinary research involving machine learning in different application fields with especial emphasis on the design of those systems, are particularly encouraged.

The topics of interest include (but are not limited to):

    computational learning theory

    cooperative learning

    distributed and parallel learning algorithms and applications

    feature extraction and classification

    hybrid learning algorithms

    inductive learning

    instance-based learning

    knowledge discovery in databases

    knowledge intensive learning

    learning through mobile data mining

    machine learning and information retrieval

    machine learning for web navigation and mining

    multi-strategy learning

    neural network learning

    online and incremental learning

    reinforcement learning

    scalability of learning algorithms

    statistical learning

    support vector machines

    text and multimedia mining through machine learning

G2: Knowledge Based and Expert Systems

Knowledge Management, Negotiation, Knowledge Acquisition, Knowledge Engineering, Ontologies Reasoning: Automated Reasoning, Reasoning strategies, Case-Based Reasoning, Common-Sense Reasoning, Computational Complexity of Reasoning, Description Logics, Diagnosis and Abductive Reasoning, Knowledge Representation, Logic Programming, Nonmonotonic Reasoning, Knowledge Preferences, Qualitative Reasoning, Reasoning with Beliefs Graphical Models, Visualisation Bayesian Networks, Causality, Decision/Utility Theory, Probabilistic Inference, Relational Probabilistic Models, Sequential Decision Making, Stochastic Optimization, Uncertainty Representations, Uncertainty in AI.

E-Learning, E-Business, E-Commerce

Web Intelligence, Intelligent Web-based Systems, Web Personalization and User Modeling

AI Web systems: Data Analytics, Multimedia and Multimodal Web Applications, Web Services: Semantic Descriptions, Planning, Matching, and Coordination, Web-Based Collaboration and Cooperation Crowdsourcing Techniques and Methodologies

Web Search and Information Retrieval, Exploiting Linked Open Data

Human Language Technologies for Web Systems, Including Text Summarization and Machine Translation

Intelligent User Interfaces for Web Systems

Knowledge Acquisition from the Web

Languages, Tools, and Methodologies for Representing, Managing, and Visualizing Semantic Web Data

Searching, Querying, Visualizing, and Interpreting the Semantic Web

Social Networking and Community Identification

Web-Based Recommendation Systems, Web-Based Opinion Extraction and Trend Spotting.

G3a: Intelligent Information and Engineering Systems

Natural Language Processing, Agent and Multi-Agent Systems, Bio-inspired Systems, Nature Inspired Methods and Optimization, Image Processing and Signal Processing, Machine & Computer Vision, Monitoring and Prediction, Speech Processing and Synthesis.

G3b: Cybersecurity

Cryptography, Compliance, Regulations, Law & Ethics, Cybersecurity in the Cloud, Malware, Engineering aspects of software development; from human behaviour, to issues related to the Internet of Things.

G4: Industry Applications

Multi-Sensor Information Systems, Dimensionality Reduction and Interactive Multivariate Data Visualization/Analysis, Organisation Memories, Industrial Control, Fault Diagnosis, Robotics, Image Processing, Medical & Diagnostic Systems, Environmental Monitoring, Power Electronics & Drives, High Voltage Systems, Engine Control and Vehicle Applications, Smart Vehicles and AGVs, Signal and Time Series Processing, Wavelets, Industrial communication standards (OPCUA, MqTT, DDS), Minifactories, Industry 4.0 applications, Financial & Stock Market, Dashboards, real time networking, Time Sensitive Networks, Industrial Wireless (5G, ZigBee).
Call for invited sessions

An invited session consists of a presentation session of 6 to 12 or more papers on a specific conference topic, organised as half or full day mini-conference. We invite senior scientists who have a special interest in a specific conference topic to take responsibility for an invited session, gathering papers from a range of research expertise around the world.  Researchers who would like to organise one or more Invited Sessions on topics falling within the scope of the conference are invited to submit a proposal for consideration.


For details of the sessions accepted so far Click here:

  • WS01: 3nd Symposium on Information Systems and Technologies for Management, Economy and Decision Making
  • IS01: Cyber-Physical Systems and Smart Internet-of-Things
  • IS02: Intelligent Information Processing for Educational Innovations
  • IS03: Recent Advances in Numerical Modelling and Recognition Techniques
  • IS04: Networks for Innovation, Knowledge Creation and Sharing
  • IS05: Intelligent Digital Architectures
  • IS06: Recent Advances in Biometric Technology
  • IS07: Interdisciplinary Approaches in Data Science and Digital Transformation Practice (IADSDTP 2020)
  • IS08: Collaboration in Software and System Engineering
  • IS09: Eye Movement Data Processing and Analysis (EMDPA)
  • IS10: Chance Discovery and Market of Data
  • IS11: The 2nd International Symposium on Metaheuristics and Multiagent models for Flexible Manufacturing Systems
  • IS12: Knowledge-Based Systems for e-Business
  • IS13: Software Engineering and Large-Scale Systems
  • IS14: Bioengineering Applications
  • IS15: Cybercrime Investigation and Digital Forensics
  • IS16: Knowledge-management and knowledge-based systems for configuration, self-assessment and training in medical home care
  • IS17: Artificial Intelligence for autonomous navigation and robotics
  • IS18: Classification, forecasting and decision support
  • IS19: New Generation Computing in Engineering, Life Science and Economy
  • IS20: Preventing risks and analysing events through social media analysis
  • IS21: Global and Constrained Optimization: Algorithms and Applications
  • IS22: Knowledge Management and Intelligent Interaction in Autonomous and Embedded Systems
  • IS23: Interactive Linguistics for Agent and Multiagent Systems
  • IS24: Immunity-Based Systems: Resilience with AI
  • IS25: Smart Education: Learning environment using technology
  • IS26: Knowledge and data engineering in medicine and health care
  • IS27: Contemporary issues in Informatics Education
  • IS28: Neuroscience techniques and quantitative methods in supporting decision making
  • IS29: Skill Acquisition and Ubiquitous Human Computer Interaction
  • IS30: Networking and Artificial Intelligence for Aerial Monitoring Systems: Design, Operation, Performance Analysis, and Future Directions
  • IS31: Knowledge Management and Smart Systems
  • IS32: Knowledge-based Learning and Education Support System: Design and Function
  • IS33: Computational Intelligence System and its Application to Media Information Technology
  • IS34: Service-oriented Data Science
  • IS35: AI, Robotics, and Human Machine Systems (IROHMS) for smart manufacturing


General Chair: Dr. Matteo Cristani, University of Verona, Italy
Honorary Chair: Prof. Lakhmi C. Jain, University of Canberra, Australia and Bournemouth University, UK
Executive Chair: Prof. Robert Howlett, Bournemouth University, UK

General Progamme Chair: Dr. Carlos Toro, A*STAR, Singapore

Invited Sessions Programme Chair: Prof. Cecilia Zanni-Merk, INSA Normande University, France 

International Program Committee

  The list of the IPC members will be added shortly to the conference page — here —

Stay in touchDon’t forget to follow us on Twitter @KES_Intl and on LinkedIn you can follow our company page and join our Group: KES International Knowledge Connections to keep up-to-date with news, events and discussions.

Further informationFor further information about KES International please email: or visit
This email was sent to ‘‘ from KES International. If you wish to stop receiving email from us, you can simply remove yourself by visiting:

RDAAPS first annual international conference on research in the broadly defined area of data analytics

Call for papersReconciling Data Analytics, Automation, Privacy, and Security: A Big Data Challenge (RDAAPS) 2020 conference
July 15 – 17, 2020, McMaster University, Hamilton, ON, CANADA
RDAAPS is the first annual international conference on research in the broadly defined area of data analytics. It brings together researchers from academia, industry, and the public sector to present and discuss various aspects of data analytics, including privacy, security, and automation. This venue is meant to bring together stakeholders whose interests lie at the interface of these concerns, providing a platform for integrating the needs of industry with state-of-the-art scientific advancements, and inspiring original research on solving enterprise data challenges. RDAAPS seeks papers presenting original research in the areas including, but not limited to:
Big Data Analytics for Decision Making– New models and algorithms for data analytics- Scalable data analytics- Optimization methods in data analytics- Theoretical analysis of data systems- Analytical reasoning systems- Decision making under uncertainty- Learning systems for data analytics- Large-scale text, speech, image, or graph processing systems
Accountable Data Analytics– Privacy-aware data analytics- Fairness in data analytics- Interpretable and transparent data analytics- Data analytics incorporating legal and ethical factors
Strings in Data Analytics– Patterns in Big Data- Data compression- Bioinformatics- Algorithms and data structures for string processing- Useful data structures for Big Data- Data structures residing on secondary storage
Security in Data Analysis– Traceability of decision making- Models for forecasting cyber-attacks and measuring impact- Data usage in mounting security threats- Data analytics for better situational awareness
Domain knowledge modelling and generation– Novel ontology representations- Scalability of domain-based reasoning on big data- Modelling and analyzing unstructured data sets
Automation for data analytics, security, and privacy in manufacturing– Application of data analysis in manufacturing- Big data in Industry 4.0- Privacy and security in manufacturing
Challenges of automation of data analytic processes– Case studies of the automation of data analytics processes- Architecture for data analytics and security- Built-in privacy and security in data analytics automation
Submission instructions:Successful papers will address real research challenges through analysis, design, measurement, and deployment of data systems. The program committee will evaluate each paper using metrics that are appropriate for the topic area. All submissions must describe original ideas, not published or currently under review for another conference or journal. 
Submissions must follow the formatting guidelines of IEEE proceedings, and be submitted electronically as a PDF file through the EasyChair author interface for the RDAAPS conference (link to follow soon). Submissions not adhering to the specified format and length may be rejected immediately.
The submitted papers can include up to 8 pages in IEEE format, including references, appendices, and figures. Publication:All accepted papers will be published in the IEEE conference proceeding.

Important dates:– Deadline for abstract submission: March 23rd, 2020- Deadline for full paper submission: March 29th, 2020- Notification to authors: May 15th, 2020- Deadline for camera ready version: June 7th, 2020
We look forward to receiving your submissions!
Best regards,
General ChairsM. Jamal Deen, McMaster UniversityRidha Khedri, McMaster University
Steering CommitteeRidha Khedri, McMaster UniversityWendy MacCaull, St. Francis Xavier UniversityMike Grainge, Adlib Software, Vice President Product EngineeringNeerja Mhaskar, McMaster University
Organizing CommitteeRidha Khedri, McMaster University, Local OrganizerNeerja Mhaskar, McMaster University, Local OrganizerAndrew LeClair, McMaster University, PublicistAlicia Marinache, McMaster University, TreasurerHassan Ashtiani, McMaster University, Publication Co-ChairWenbo He, McMaster University, Publication Co-ChairMike Grainge, Adlib Software, Industrial Liaison
Program Committee ChairsArash Habibi Lashkari, University of New BrunswickRidha Khedri, McMaster UniversityNeerja Mhaskar, McMaster University
Program Committee Members (Current confirmed list)Ken Barker, University of CalgarySolon Pissis, Centrum Wiskunde & Informatica (CWI)Wing-Kin Sung, National University of SingaporeAndrew Malton, Blackberry Ltd.Dan Feng, Beijing University of Posts and TelecommunicationsWendy MacCaull, St. Francis Xavier UniversityKamel Adi, Université du Québec en OutaouaisJian Li, Futurewei TechnologiesMaxime Crochemore, King’s College London and Université Paris-EstJason Jaskolka, Carleton UniversityClaude Baron, LAAS-CNRS, INSAFazle Rabbi, University of BergenYan Liu, Concordia UniversityWilliam F. Smyth, McMaster UniversityCostas Illiopoulos, King’s College LondonNoman Mohammed, University of ManitobaLaurence T. Yang, St. Francis Xavier UniversityHideo Bannai, Kyushu UniversityDon Adjeroh, West Virginia UniversityShunsuke Inenaga, Kyushu UniversityNadia Pisanti, Universita di PisaFei Chiang, McMaster UniversityWenbo He, McMaster UniversityHassan Ashtiani, McMaster UniversityJamal Deen, McMaster UniveristyMourad Debbabi, Concordia UniversityGiovanni Livraga, University of MilanMichael Soltys, California State University Channel Islands

My new paper on cloudifying the curriculum with AWS

This new paper was just posted as a technical report at Cornell’s arXiv (, but it will be submitted for publication in the future. PDF of the paper.

From the abstract: The Cloud has become a principal paradigm of computing in the last ten years, and Computer Science curricula must be updated to reflect that reality. This paper examines simple ways to accomplish curriculum cloudification using Amazon Web Services (AWS), for Computer Science and other disciplines such as Business, Communication and Mathematics.

In this paper we present the cloudification journey at our institution, California State University Channel Islands, where we have thriving programs under the department of Computer Science, that include Computer Science, Information Technology, Mechatronics Engineering, and a Masters program in Computer Science. We have partnered with AWS Academy and AWS Educate to bring cloud expertise to the students we serve – about 600 majors, in a campus of over 7,000 students. The paper gives the details.

Software Engineering Salaries Jump, Demand for AR/VR Expertise Skyrockets

It’s a good time to be an engineer specializing in augmented reality or virtual reality. That’s the conclusion of the latest report by job site Hired, which just released its annual state of software engineers report. To compile its data, Hired reviewed 400,000 interview requests from 10,000 companies made to 98,000 job seekers throughout 2019.

Demand for AR and VR engineers, in the form of job postings on Hired’s site, was 1400 percent higher in 2019 than in 2018. Salaries for engineers in these specialties climbed into the $135,000 to $150,000 range, at least in the largest U.S. tech hubs. Demand for gaming engineers and computer vision engineers is also on the upswing; both climbed 146 percent in 2019.

Meanwhile, demand for Blockchain expertise, a shooting star in 2018 with 517 percent greater demand than in the previous year, slowed dramatically, increasing only 9 percent.

Source: Software Engineering Salaries Jump, Demand for AR/VR Expertise Skyrockets – IEEE Spectrum

Position at Port Hueneme of interest to CS and IT students

Competitive Vacancy Announcement:
Title: Information Technology Specialist (SYSADMIN) 
Grade: GS-2210-11/12
Bargaining Unit Position: Yes
Department: Littoral & Strike Warfare Department, Code L20/L30/L40/L50
Org Code: L00
Duty Station:
 Port Hueneme, CA and San Diego, CA and Mayport, FL
Position Sensitivity: Non-Critical-Sensitive
Selection Official: stacie.jue
Selection Official Phone: 8052287679
Selection Official Email:

Job Summary:
Interested applicants must follow the directions in the “How to Apply” section of this flyer

It is anticipated that there will be a vacancy for an Information Technology Specialist (SYSADMIN), GS-2210-11/12 position at NSWC PHD, Port Hueneme, CA at the Littoral & Strike Warfare Department within the various division. The incumbent serves as an Information Technology Specialist (Systems Administration) and Subject Matter Expert for shipboard and land-based networks, Information Technology (IT) systems, and software.

NSWC PHD is located approximately 60 miles north of Los Angeles near the communities of Oxnard, Ventura and Camarillo, CA, and is on the Naval Base Ventura County. There are also opportunities for positions located in Port Hueneme, CA and San Diego, CA and Mayport, FL

Interested Applicants must submit resumes/application packages to:

Facsimile applications will not be considered.

All resumes/applications must be received no later than the close date of this flyer.

It is the applicant’s responsibility to verify that all information in their resume and documents, are received, legible, and accurate. HR will not modify answers/documents submitted by an applicant.

Failure to submit a complete application package will result in an ineligible rating and loss of consideration.

How To Apply (follow USA Jobs link):

Our paper with Neerja Mhaskar on logic of stringology appeard in Discrete Applied Math

In this paper, A new formal framework for Stringology is proposed, which consists of a three-sorted logical theory S designed to capture the combinatorial reasoning about finite strings. We propose a language L_S for expressing assertions about strings, and study in detail two sets of formulas \Sigma_0^B, a set of formulas decidable in polytime, and \Sigma_1^B, a set of formulas with the property that those provable in S yield polytime algorithms.