Skip to Content.
Sympa Menu

coq-club - [Coq-Club] [CFP] IEEE and Un. of Texas Co-sponsored (AISC2022)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [CFP] IEEE and Un. of Texas Co-sponsored (AISC2022)


Chronological Thread 
  • From: Ahmed Aleroud <ahmed21 AT umbc.edu>
  • To: moca-announce AT list.it.uu.se, eutypes AT cs.ru.nl, agda <agda AT lists.chalmers.se>, coq-club AT inria.fr, types-announce AT lists.seas.upenn.edu, haskell AT haskell.org, homotopytypetheory AT googlegroups.com
  • Subject: [Coq-Club] [CFP] IEEE and Un. of Texas Co-sponsored (AISC2022)
  • Date: Wed, 8 Jun 2022 03:32:19 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ahmed21 AT umbc.edu; spf=Pass smtp.mailfrom=ahmed21 AT umbc.edu; spf=None smtp.helo=postmaster AT mail-oa1-f46.google.com
  • Ironport-data: A9a23:vRL+/Kw5k5S3XbmCa3R6t+dLwCrEfRIJ4+MujC+fZmUNrF6WrkUDy 2sWXmGDM/bZMzb2Kox2Pdm+pEhQv5XdztVrTwY/r1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrdRbrJA24DjWVvT4 YOq+qUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhc4 e4VtsOTEzwTP6yPyfVNX0lfHyJhaPguFL/veRBTsOSWxkzCNnzlmrBgUB9wMoof9eJ6R2pJ8 JT0KhhXNkHF17/wmezjDLUy7iggBJGD0Ic3s3FlwD2DVN47RJrIBajG+Le02R9r15ETRqmOP aL1bxIzUVebOwBkJ2sKBZwXhfvwpFPOUmFH/Qf9Sa0fujCPlmSdyoPFO93MP9eOWM99hVedv muA/mLjAxhcOsb39Nae2nelh+uKmiqiHYxOSvu38fllhFDVzWsWYPELabelidSQsRa9BPEFE HYV+2l/vPg+pEunTcaoCnVUv0W4lhIbXtNRFcgz5weM1rfY7m6l6o4sHm4phDsO5J9eeNA66 rOat4i2WmE34dV5XVrYp+jE92rjUcQABTZaPXdscOcT3zX0TGgOYv/nS99iFOuyh4SwF22uh T+Nqyc6ivMYistjO0SHEbLv02rESnvhFFRdCuDrsoSNsFkRiGmNOdfA1LQjxawcRLt1t3HY1 JT+p+CQ7foVEbaGnzGXTeMGEdmBvqjYbGOG3wA1QMl7p1xBHkJPm6gAsFmSw285Yq45lcPBP Sc/RCsKuMMJYyP0BUOJS9vhU5tzpUQfKTgVfqmMMoAmjmlZewiA8yVjDXN8LEi8+HXAZZoXY M/BGe71VShyIf0+kFKeGrZFuZd2l3tW7T6CFPjTkU77uZLAPyX9YeleYDOzghURtf3sTPP9r 4sFZ6NnCnx3DIXDX8Ug2ddOdwBSdChnVc+eRg4+XrfrHzeK0VoJU5f5qY7NsaQ/x8y5T8/Eo SOwXFF20l36iSGVIAmGcCAxdbblVtByoW9iZX4gOlOh2n4CZ4ez7fpPKMBrIuN/rOEzn+RpS /QletmbBqgdQDrw/TlAP4L2q5ZvdUj2iA/XZ3ilbTEzcoROXQvM/tO4LALj+DNeXDeyv8B4r rG9j1uJTZ0GTgVkLcDXdPPynwzq4SdHwLp/BhKaLMNSdUPg9JlRBxbw1vJncdsRLRjjxyeB0 1rECxkvo+SQ8ZQ+98PEhPzZooqkT7l+E05dEzWJ5Lq6L3OBrG+qwIsFV+/ROD6BCiX7/6KtY egTxPb5aaVVkFFPuot6MrBq0aNuuIe19uECllxpTCfRclCmKrJ8OX3aj8NBgatAm+1CsgysV 0PTp9RXZeeTNMX+HAJDLQYpdL7Yh/Qdmz2X6v1sZUumuml4+72IVUgUNB6J0XQPILxwOYIj4 OEgpM9GtFDl20Ryao6L3nJO6mCBDn0cSKF75JsUN4nm11gwwVZYbJ2AVyL77fljsTmX3pXG/ 9NVuEbDu1iY7k/Lcn52EnGUmOQB29IBvxdFyFJELFOM8jYAajnbwzUJmQnbjCwMpvmE7w63E nVuPUYzKKmTl9utrNYWRHiiQmmtGzXAknEcCDI1eKnxUkyiXSrAIHBV1SNhOqwG2zo0QwW3N 410BIoovfgGsS0xMuYPtZZZlsHe
  • Ironport-hdrordr: A9a23:UWrHYa4jwpoodkJ6XAPXwPHXdLJyesId70hD6qkRc20tTiX8ra qTdZsgpHrJYVoqKRMdcJW7Scq9qBDnlKKdg7NhWYtKNTOO0ACVxcNZjbcKqAeQfBEWmNQts5 uIsJITNDQzNzVHZArBjzVQ2uxP/OW6
  • Ironport-phdr: A9a23:BzHmuBxHDDeE9YvXCzKew1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZvK0zxwaQDM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip2e2+4YDfbxlJiTayfL9+M RG7phjNu8cLhodvNrw/wQbTrHtSfORWy2JoJVaNkBv5+8y94p1t/TlOtvw478JPXrn0cKo+T bxDETQpKHs169HxtRnCVgSA+H0RWXgLnxVSAgjF6Bb6Xortsib/q+Fw1jWWMdHwQLspXzmp8 qVlRwLyiCofODE5/mPYhMx+gqxYvRyvuQBwzpXOb42JLvdzZL/Rcc8YSGdHQ81fVzZBAoS5b 4YXE+cBPeNYoJfgqFATsRa+ARejBPnoyj9Vm3D9wKo33P4hEQHDwgMvAswCvGnPodXoMacdS vy6wLPWwjrecvNbwDHw45XHfR49u/+DR65wcdbPxkk1EQPIlledpZHrMj6a2OkAvWiV4uV8W O+himMqtgF8riWuy8oiioTHiZwYx1PZ+Sh5wos5OdO1RU11bNO5Dpdetz2XOpdwT8g/TW9ov yM6xacHuZ69ZCUKyZInxwLBZPyDd4iI4x3jW/iXITdkmHJqZq6whxao/Uin0O38WdG430hQo SpektjDqnAN2AbS6sidUPd9+V2h2TmX2wDS9O5LP147mbDcK547zb48joAcsVnMHi/rg0X2k LWZel869ee19uTqZKjtqJyEN4JslA3yLqAjlta8DOk4KAQCQmmW9fim2LDs/ED0RqhBgOcsn anDqp/aINwWpq6nDA9R1YYu8xO/AC2n0NQchHUHK0hKdA+eg4jnNFzDIer0Dfi4g1Srnzdrw +7JMqf9DZXKK3jPiLbhfbBj5E5A0Ac/08xT6pZOBrwCIP//QFL9ud3EAhMjPAG5wv7rCNBn2 YMfXWKPDLWZMKTXsVKQ/O0vI+yMa5EItzrjNvQo/OPujXoillABZ6Wmw4YYaG2gEvRgOEqWe WDsjcsZEWcWogo+S/TnhECaXT5Je3myR7485i08CI++EYjDQZmtjKWd0ye/A51ZfXtLCkuME Hftb4WLQe0AaCOUIs97kzwLT6KtS4E71ULmiAivzr1sJ6/d/CsfqJTo2fBx5vbP0xAusyFpS d+QlymAUn1lhm4TbzQtmrpi50p5jh+K3qRxy6hRGtBaz/dISRshc5Xcxuh/BsrpHBnMKJPBQ 1G/B96iHDsZT9QrwtZIbVw5U8mzlh3YmiOsBbgIkbeGLJg16b7HmWP8Lt071m7L0q9nglU7B oNPPHali6p73wjaHI3El0HfkLylMewc2yvK6GCb3HafpExEUAN3S7TtUncYaU/bos7++1vZC bSpDOcJKAxEnOeCL6ZGIvTtgE9BWfurbN3eZm+9wT6YGBOCzfWBYJe8KDZV5znUFEVRy1Nbx n2BLwVrXk9JwkrbBT1qTxf0Zl/0tPN5ozW9R1M1yAeDawtg0aC081gbn6/UUOsdi5QDvipps DBoBBClxduDAtqFqgY7JY1BZNk2plpLyDGRrBRza6SpNLsqnVsCa0JytkLq2Q9wD9BJkc0no Clz5Bd3I6ne3V9cJHuDxZ6lHLrRJyHp+Qy3La7b3laLyNGN5qIG8+g1sX3mtQCtU00rqjBpj 4cT3Hyb6ZHHSgEVVPodS24R8B537/Hfayg5vcbP0GF0dLOzuXnE0s4oA+0szlChec1eOeWKD l26FcpSHMWoJOEw/jrhJhsZIOBf8rI1NMK6ZrOH3qCsJuNpgDOhiyxO/ol81kuG8yc0RPTP2 t4JxPSR3w3PUDmZ7h/pu8DylIwePBkPG2C0jyXoGc8ZZ6F/e5oKFXb7O9e+lZ11g5/gXWId9 Ub2XQtXnp/0P0PMNxqhg141twxfu3GslCqmwiYhljgoqvDaxynS26H4cxFBPGdXRW5khFOqI I6ujtlcUlL7Cmph3Baj+0v+wLBW4aplKGyGC05IeiX6dThKT666vfyPb9MFu/ZK+W1HFf+xZ 1yXUOu3qhsf3i+5RkNDwTowMTymp9+q1ww/g2WbInFpqXPfcswl3hbT6uvXQvtJ1yYHTi114 dXOLmC1JMLhvdCdlpOZ9/u7S3rkTJpYNy/i0YKHsiK/o2xsGxy22f6pyJXrFg0z0Cmz0NcPN 22ApRb5b4WxjoynNOhsOERkGRfw5tF7FYd3joYrzMtIiD5K29PMoyJBzTm7OM4Twa/kaXsRW TMHprydqBPo3kFuNDPBxo70UGmc3to0YtC7Zm0M3Sdup8tOCaqS8PlFhX4v+gv+/V+XOKYl2 GtDmp5MoDYAjuoEuRQg1HCYC7EWRwxDODD00g6P5Ja4pblWY2Cmdf6x0lB/lJavFuLnwEkUV XDnd5MlBSI14N94NQeG2X32542+IfHNaNgY8BCYjl2T6oodYIJ0jfcMiSd9bCj0vXgox7Rip QFr15r8sYSaYTYl7OeyBRhWMSfwbsUY92T2jKpQqc2R2pimApRrHjhYOfmgBeLtCj8Zsu7rc hqfCDBp4GnOAqLRREXMoFcjtX/EFIqncm2aNGVMh8s3XwGTfSk9yEgVRGloxcN/T1Hygpa9L wEhoWpNrl/g9kkSlqQybEK5CzmH4l/vM2Z8SYDDfkQIqFgavQGNd5TZtLoWfWkQ/4X9/lLTb DbHNkIYVSdRHRbcT1H7Yuvxv5+Zr67BV7D4d7yXMf2PsbAMCKvOnMjylNMgp3HVaKDtdjFjF 6FpgxITGykmRIKJ3W1IEXVfljqRPZfE/1Hlq3Ex9obnt621EAP3udnVU+oUYYgpokrmx//Eb rH15m4xKC4EhMlVmzmVmP5GjQRU02Y3JnGsCehS73eTCviLy+kMVVhDLHoifN1B66Z2tuVUE ejcjN69lrtxj/pvTkxASUSkgMaiI8oDP2C6MlrDQkeNLrWPYzPRkYnxZuunRLtcgf8x1VX4s CuHE0LlIjWIliX4HxGpP+ZWiSiHPRtY8IijexdpAGLnQZrocBq+eNNwiDQ3x/UziBaofSYEN iNgdkpWsrCKxSZRg/E6HGUYq3Q5c6+LnCGW6+SeIZET8LNqDilyi+NG8SE6xr9Sv0QmDLR+n CrfqMIroknzyLHejGo6FkMQ8nAX2tHu3w0qI6jS+5heVGyR+RsM6T/VEBEWv55/DdapvalMy 9/Jnaa1KTFY8tuS89FPYqqcYM+BLnclNgLkXTDOCw5QBzerMGzT3RV1jfSY/TuYooVw+f2O0 NIeD6RWUlA4DKZQEkN+ANkLO4t6RBshmL+fyckBvD+w8EeXS8JdsZTKEPmVBL+8TVTRxakBb BwOz7TiKI0VPYCuwE1uZG5xm4HSElbRV9RAysWERhIxqk4L/XRjHDVbM6PNbwqs5DoUHKfxk EJozAR5Zusp+XHn5FJlfjIiSwMtlUM639jpnGLIGAM=
  • Ironport-sdr: 2LCgTeKtqBwFqrkodYQcIMC76mdiFH+yCEOYVGtlI5RFptCxWXLLdNZAJolrgEHI6HMM059z8k qIC+dLEztCT2lq9J7qn0XO3KuPHGUNrVGHVOG20gYtRMzhSG3AgoYdHw3HzoOoBCzvUZ9QaIRm nBbIqIXemz4uasagEgMYDAjlFnP825RKuAneQQnqrUTcnlYCAtsYPYKOmO3uWpfYp/4N4/RyfI /MHw2r60oHQ/R2ZOmBVuH6/S48zM+NO9B6aH8fAgIUd5EMvcXbNvKFD/NU49Dqaq2yUD8gOpIF h0YB/ki84McBBYzqxPKJgGKI


We are glad to consider your submissions to the Second International Symposium on Advanced Intelligent Systems for Cybersecurity (AISC2022)

SEPTEMBER 5-7, 2022. SAN ANTONIO, TEXAS, USA

Colocated with The International Conference on Intelligent Data Science Technologies and Applications (IDSTA2022)



CALL FOR PAPERS
--------------------------------
In today’s world, billions of connected systems created an ever ending flow of data, which is prone to cyberattacks, which needs a fast and accurate detection of cyber-attacks. Intelligent systems and Data analytics are important components when matters pertaining to effective security solutions become the subject of discussion. This is because there is an impending need for high volume and high velocity data from different sources to detect anomalies as soon as they arise. This will help reduce significantly the vulnerability of the systems as well as improve their resilience. The capability to process large volumes of information real time through utilization of tools for data analytics has many advantages vital for analysis of cybersecurity systems. Moreover, the data collected from advanced intelligent systems, cloud systems, networks, sensors, computers, intrusion detection systems could be used to identify vital information. This information could be used to detect how vulnerable the systems are to risk factors, and so an effective Cyber security solution can be developed. In addition to that, the utilization of data analytics tools in the cybersecurity field gives new insights through considering factors such as zero-day attack detection, real time analysis; resource constrained data processing among others.


The AISC 2022 symposium addresses the use of advanced intelligent systems in providing cybersecurity solutions in many fields, and the challenges, approaches, and future directions. We invite the submission of original papers on all topics related to Intelligent Systems for Cybersecurity, with special interest in but not limited to:
  • Intelligent systems for effective detection of cyber-attacks
  • Advanced Intelligent systems and data analytics for Cloud/Edge systems security
  • Malware detection using intelligent systems Vulnerability assessment
  • Intelligent systems for intrusion detection in Internet of Things (IoT) systems
  • Network forensics using intelligent systems and data analytics
  • Data Analytics for privacy-by-design in smart health
  • Datasets, benchmarks, and open-source packages
  • Resource efficient deep learning
  • Adversarial Machine learning and Backdoor Attacks
  • Blockchain Applications for Cyber Security

ORGANIZATION COMMITTEE
------------------------------------------
  • Ahmed Aleroud, Augusta University, GA, USA
  • Lo’ai Tawalbeh, Texas A&M University-San Antonio, USA.
  • Gokay Saldamli: San Jose State University, CA, USA.
  • Yassine Maleh,. University Sultan Moulay Slimane, Morocco
  • Lina Zhou, University of North Carolina, Charlotte
  • Leigh Metcalf, co-Editor-in-Chief  ACM Digital Threats: Research and Practice
  • Samer Khamaiseh,  Miami university, OH

IMPORTANT DATES
----------------------------
Submission Due: June 25th, 2022
Notification: August 1st, 2022
Camera-ready submission: August 15th, 2022

Publication:
------------------
  • All accepted papers in AISC2022 and the workshops co-located with it will be submitted to IEEEXplore for possible publication.

KEYNOTE SPEAKERS
----------------------------------

AUTHORS SUBMISSION GUIDELINES:
Submission Site:
--------------------------------------------------

Paper format
-------------------
  • Submitted papers (.pdf format) must use the A4 IEEE Manuscript Templates for Conference Proceedings. Please remember to add Keywords to your submission
  • Submitted papers may be 6 to 8 pages. Up to two additional pages may be added for references. The reference pages must only contain references. 
  • Papers submitted to AISC must be the original work of the authors. They may not be simultaneously under review elsewhere. Publications that have been peer-reviewed and have appeared at other conferences or workshops may not be submitted to AISC. Authors should be aware that IEEE has a strict policy with regard to plagiarism https://www.ieee.org/publications/rights/plagiarism/plagiarism-faq.html The authors' prior work must be cited appropriately.

Author list
----------------
  • Please ensure that you submit your papers with the full and final list of authors in the correct order. The author list registered for each submission is not allowed to be changed in any way after the paper submission deadline.
Proofreading:
-------------------
  • Please proofread your submission carefully. It is essential that the language used in the paper is clear and correct so that it is easily understandable. (Either US English or UK English spelling conventions are acceptable.)

PROGRAM
----------------



Ahmed AlEroud

Associate Professor 

School of Computer and Cyber Sciences

Augusta UniversityA Carnegie R2 Institution

aaleroud AT augusta.edu

augusta.edu/ccs








--
Ahmed AlEroud, PhD



  • [Coq-Club] [CFP] IEEE and Un. of Texas Co-sponsored (AISC2022), Ahmed Aleroud, 06/08/2022

Archive powered by MHonArc 2.6.19+.

Top of Page