From mauro.jacopo at gmail.com Wed Apr 1 11:14:16 2020 From: mauro.jacopo at gmail.com (Jacopo Mauro) Date: Wed, 1 Apr 2020 11:14:16 +0200 Subject: [Om-announce] Assistant Professor Position in Computer Science with focus on Cybersecurity Message-ID: As part of our planned expansion in the area of Cybersecurity, the Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for an assistant professor position in Computer Science. We interpret the area cybersecurity broadly: the ideal applicant is a computer scientist, conducting research on cybersecurity or research that has cybersecurity as a direct application. We would like to expand on our current security research efforts within Cryptology, Formal Methods, Information Security, Security in DevOps, and Data-driven approaches, so these topics are of particular interest. Fluency in English is required. Knowledge of Danish is not a requirement: more English than Danish is used when teaching in computer science, and more than half of the faculty members in computer science have international backgrounds. More information about the application procedure can be found at https://www.sdu.dk/da/service/ledige_stillinger/1098235?sc_lang=en Deadline: 30 May 2020. For further information, please contact Associate Professor Jacopo Mauro mauro at imada.sdu.dk or Professor Joan Boyar joan at imada.sdu.dk. -- Jacopo Mauro, Associate Professor Department of Mathematics and Computer Science (IMADA) University of Southern Denmark (SDU) -------------- next part -------------- An HTML attachment was scrubbed... URL: From thao.dang at univ-grenoble-alpes.fr Thu Apr 2 12:46:40 2020 From: thao.dang at univ-grenoble-alpes.fr (Thao Dang) Date: Thu, 2 Apr 2020 12:46:40 +0200 Subject: [Om-announce] =?utf-8?q?CFP_-_SNR=E2=80=9920_Workshop_on_Symbolic?= =?utf-8?q?-Numeric_Methods_for_Reasoning_about_CPS_and_IoT=2C_co-organize?= =?utf-8?q?d_with_QONFEST=E2=80=9920?= Message-ID: <610063985.2117785.1585824400685.JavaMail.zimbra@univ-grenoble-alpes.fr> [ Apologies for cross posting ] CALL FOR PAPERS SNR?20 Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT [ http://www.cs.cas.cz/snr2020/ | http://www.cs.cas.cz/snr2020/ ] Co-organized with QONFEST?20 Monday August 31, 2020 ** Given the COVID-19 situation, SNR?20 will be conducted virtually ** The workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT (SNR) focuses on the combination of symbolic and numeric methods for reasoning about Cyber-Physical Systems and the Internet of Things to facilitate model identification, specification, verification, and control synthesis problems for these systems. The synergy between symbolic and numerical approaches is fruitful for two main reasons: ? Symbolic methods that operate on exact and discrete representations of systems, the set of reachable states, the distribution of model parameters or the possible gains for controller parameters. ? Numeric methods that operate on various forms of numerical approximations and continuous transformations of the systems, as developed in the area of continuous dynamical systems and control theory. Such synergies are already seen in areas such as reachability analysis (symbolic representation of reachable states versus numerical integration), uncertainty reasoning (eg., Rao-Blackwellization), machine learning (eg., learning models through stochastic gradient descent versus symbolic reasoning over the function represented by the network to prove properties) and decision procedures (eg., symbolic SAT solvers versus numerical convex optimisation solvers). =============== Topics of Interest The SNR workshop aims to catalyse work on the interface of symbolic and numeric methods for verification, synthesis and identification problems for CPS and IoT. The scope of the workshop includes, but is not restricted to, the following topics: ? Verification, parameter identification and control synthesis for hybrid systems ? Probabilistic inference and reachability for stochastic hybrid systems ? Symbolic and numerical integration and decision techniques ? Emerging applications to safe autonomous systems in uncertain environments ? Resiliency and dependability in CPS and IoT We particularly encourage submissions of papers in the following two specific areas: ? Verification of models used in machine learning and autonomous CPS ? Symbolic and numerical techniques for verification and synthesis of stochastic models =============== Submission Information The workshop solicits ? long research papers (not exceeding 15 pages excluding references), ? short research papers (not exceeding 6 pages excluding references), and ? work-in-progress papers (not exceeding 6 pages excluding references). Research papers must present original unpublished work which is not submitted elsewhere. In order to foster the exchange of ideas, we also encourage work-in-progress papers, which present recent or on-going work. The papers should be written in English and formatted according to the EPTCS guidelines. Papers can be submitted using the EasyChair system https://easychair.org/conferences/?conf=snr2020. All submissions will undergo a peer-reviewing process. Accepted research papers will be presented at the workshop and published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Accepted work-in-progress papers will be presented at the workshop but will not be included in the proceedings. =============== Important Dates Submission deadline: 15 June 2020 Notification: 15 July 2020 Final version: 30 July 2020 Workshop: 31 August 2020 =============== Organizers: ? Thao Dang (CNRS/VERIMAG,France) ? Stefan Ratschan (Academy of Sciences of the Czech Republic) =============== Past Versions of the Workshop This workshop would be the continuation of SNR held with the following conferences in the past: ? CPS-IoT Week 2019 [SNR?19] (organizers Sriram Sankaranarayanan and Sadegh Soudjani) ? ETAPS2018 [SNR?18] (organizers Taylor T. Johnson and Martin Fr?nzle) ? ETAPS2017 [SNR?17] (organizers Erika Abraham and Sergiy Bogomolov) ? CPSWeek2016 [SNR?16] (organizers Erika Abraham and Sergiy Bogomolov) ? CAV2015 [SNR?15] (organizers Sergiy Bogomolov and Ashish Tiwari) -------------- next part -------------- An HTML attachment was scrubbed... URL: From shuiyucfp at gmail.com Fri Apr 3 08:20:06 2020 From: shuiyucfp at gmail.com (Shui Yu) Date: Fri, 3 Apr 2020 17:20:06 +1100 Subject: [Om-announce] CFP:International Conference on Security and Privacy in Digital Economy (SPDE2020) Message-ID: We apology for possible cross posting, and appreciate your support and distribution. * ---* *International Conference on Security and Privacy in Digital Economy (SPDE2020) * http://spde2020.csp.escience.cn/ *Scope and Topics of Interest* We are in the age of digital economy. Information technology has significantly changed our daily life, including social networks, online shopping, and so on. The dramatic development of new business applications demands new technologies to serve the needs. We have seen the unprecedented progress in artificial intelligence, big data, blockchain, to name a few. However, security and privacy concerns are critical issues in this booming digital economy. The vulnerability and potential threats of the new techniques are yet to be examined, solutions are yet to be tested and confirmed in practice. For example, we need detection method against GAN based attacks, security and privacy problems of federated learning to be identified and fixed, fraud and cheating in digital economy ecosystems need to be detected and solved, there are a lot of unknown in blockchain systems, issues in auto pilot cars are to be addressed. We fully believe the solutions depend on the extensive collaboration between academia and industry, depend on cross disciplinary effort from ICT and law, social science and so on. The purpose of this conference is to offer a timely venue for researchers and industry partners in framework of digital economy to present and discuss their latest results in security and privacy related work. We focus on the security and privacy issues in digital economy from the following perspectives, but are not limited to: ? Generative adversarial networks ? Machine learning ? Artificial intelligence ? Differential privacy ? Driverless vehicular systems ? Internet of Things ? Social networks ? Blockchain systems ? Cloud and fog systems ? Threat and vulnerability analysis ? Cryptography systems ? Trust and forensics ? Anonymous communication ? E-health and aged care ? Attacks and countermeasures ? Complex networks ? Security and privacy from Social Science *Conference Highlights * ? *Invited Talks: *We present 5 cutting-edge keynotes from international leading researchers, and 10 invited talks from the distinguished experts in the front line of cybersecurity domain. ? *Social Events: *We will offer high-quality social events during the conference. Students, young researchers and engineers can talk with the renowned scholars. ? *Paper Awards*: All accepted and presented papers at SPDE2020 will contest for best paper awards in a variety of tracks: Best Conference Paper, Best Student Paper, Best Application Paper, and Best Innovation Paper. ? *Special Issues*: Selected SPDE2020 papers will be invited for possible publication in the special issues of the SCI-indexed journals. *General Co-chairs* Professor George Karagiannidis, Aristotle University of Thessaloniki, Greece Dr Zhensheng Zhang, Boeing, USA *Technical Program Co-chairs* Professor Shui Yu, University of Technology Sydney, Australia Dr Peter Mueller, IBM Research, Zurich Professor Jiangbo Qian, Ningbo University, China *Submission Instruction* The proceedings will be published by Springer, EI-indexed. We call for original and unpublished papers no longer than 14 pages. The reviews will be single-blinded. The manuscripts should be formatted in standard Springer camera-ready format and be submitted as PDF files. More details could be found at: http://spde2020.csp.escience.cn/. *Important Dates* Submission Deadline: May 01, 2020 Authors Notification: July 01, 2020 Final Manuscript Due: August 01, 2020 Enquiries should be submitted to conference email spde2020 at sdedi.org.cn -- ----------------------------- Shui YU, PhD, Professor School of Computer Science, University of Technology Sydney, Sydney, Australia. https://www.uts.edu.au/staff/shui.yu Email: Shui.Yu at uts.edu.au -------------- next part -------------- An HTML attachment was scrubbed... URL: From conference at sba-research.org Tue Apr 7 14:10:24 2020 From: conference at sba-research.org (res.mb.conference) Date: Tue, 7 Apr 2020 12:10:24 +0000 Subject: [Om-announce] extendend submission deadline - CD-MAKE 2020 - Call for Papers Message-ID: <2a793ddcef524231950540cef9666a6f@SATVIEEX03.securityresearch.local> 4th International IFIP Cross Domain Conference for Machine Learning & Knowledge Extraction (CD-MAKE 2020) - CALL FOR PAPERS ****************************************************************************************** CD-MAKE is a joint effort of IFIP TC 5, TC 12, IFIP WG 8.4, WG 8.9 and WG 12.9 and is held in conjunction with the International Conference on Availability, Reliability & Security, ARES 2020 August 25 - 28, 2020 University College Dublin, Dublin, Ireland https://cd-make.net/ ****************************************************************************************** CD-MAKE & the current COVI-19 Situation: ARES & CD-MAKE steering committee is closely monitoring the COVID-19 situation all around the globe and is taking every possible measure to insure participants safety, and, at the same time, the success of this year?s conference at UCD Dublin. Therefore, we decided on the following steps: - The submission deadline, of ARES & CD-MAKE is extended to April 22, 2020 - In case authors cannot be present at the conference, they will be allowed to present their work virtually to ensure both the safety of participants and wide dissemination of their work. We will announce further instructions regarding this in the due time. - To allow more time to prepare the papers, we will switch to post-conference proceedings, they will be available after the conference. - The adapted deadlines can be found here: CD- MAKE, ARES We are able to guarantee that ARES & CD-MAKE 2020 will be published by the International Conference Proceedings Series published by ACM ICPS (ARES) & Springer LNCS (CD-MAKE); even if we have to switch to an all-digital meeting. *********** CD-MAKE 2020 ************ Machine learning and Knowledge Extraction (MAKE) is the workhorse of Artificial Intelligence (AI). Successful human-centered AI needs a concerted effort without boundaries, supporting collaborative and integrative cross-disciplinary research between experts cross-domain. Paper Submission Deadline: April 22,2020 The goal of the CD-MAKE conference is to act as a catalysator, to bring together academia and industry in a cross-disciplinary manner, to stimulate fresh ideas and to support human-centered AI: 1) DATA - data fusion, preprocessing, mapping, knowledge representation, environments, etc. 2) LEARNING - algorithms, contextual adaptation, causal reasoning, transfer learning, etc. 3) VISUALIZATION - intelligent interfaces, human-AI interaction, dialogue systems, explanation interfaces, etc. 4) PRIVACY - data protection, safety, security, reliability, verifiability, trust, ethics and social issues, etc. 5) NETWORK - graphical models, graph-based machine learning, Bayesian inference, etc. 6) TOPOLOGY - geometrical machine learning, topological and manifold learning, etc. 7) ENTROPY - time and machine learning, entropy-based learning, etc. In line with CD-MAKE we organize the xAI Workshop: https://human-centered.ai/explainable-ai-2020/ Each paper will be reviewed by at least three experts from the conference committee. Accepted Papers will appear in Springer Lecture Notes in Computer Science (LNCS) ************ CONFERENCE OFFICERS ************ Andreas HOLZINGER, Holzinger Group HCI-KDD, Medical University Graz, Austria Peter KIESEBERG, St. P?lten University of Applied Sciences, Austria Edgar WEIPPL, SBA Research, Austria A Min TJOA, Vienna University of Technology, Austria ************ IMPORTANT DATES ************ Paper Submission Deadline: April 22, 2020 Author Notification: May 28, 2020 Camera Ready (hard deadline!): July 05, 2020 Conference: August 25 - 28, 2020 ************ SUBMISSION ************ EasyChair Submission Link: https://easychair.org/conferences/?conf=cdmake2020 Detailed submission information can be found here: https://cd-make.net/submission/ ************ PROGRAM COMMITTEE ************ the program committee can be found here: https://cd-make.net/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From hubie.chen at ehu.eus Sun Apr 5 12:11:48 2020 From: hubie.chen at ehu.eus (HUBERT MING CHEN) Date: Sun, 5 Apr 2020 12:11:48 +0200 Subject: [Om-announce] QBF 2020 - Call for papers Message-ID: <20200405121148.Horde.D5BXnVlraE7WRorxkuc8AlQ@webposta.ehu.eus> CALL FOR PAPERS QBF 2020 -------- International Workshop on Quantified Boolean Formulas and Beyond Alghero, Italy, July 5, 2020 https://www.ac.tuwien.ac.at/qbf2020 Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2020) July 5-9, 2020, Alghero, Italy ** The workshop/conference organization is monitoring the COVID-19 situation, and we hope to do our best to support the form of dialogue that this workshop aims to promote. For now, we would encourage those interested in submitting to the workshop to proceed in doing so; given the situation, we plan to give authors of accepted works a chance to confirm their willingness to participate prior to finalizing this. ------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== IMPORTANT DATES =============== April 24: Submission May 12: Notification of acceptance May 28: Final versions of accepted papers due July 5: Workshop Please see the workshop webpage for any updates: https://www.ac.tuwien.ac.at/qbf2020 ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): Applications, encodings and benchmarks with quantifiers QBF Proof theory and complexity results Experimental evaluations of solvers or related tools Case studies illustrating the power of quantifiers Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. Formats of proofs and certificates Implementations of proof checkers and verifiers Decision procedures Calculi and their relationships Data structures, implementation details and heuristics Pre- and inprocessing techniques Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf2020 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf2020 at easychair.org ================= PROGRAM COMMITTEE ================= Hubie Chen, Birbeck, University of London (co-chair) Friedrich Slivovsky, Vienna University of Technology (co-chair) Joshua Blinkhorn, Friedrich-Schiller-Universit?t Jena Mikolas Janota, INESC-ID/IST, University of Lisbon Paqui Lucio, University of the Basque Country Stefan Mengel, CNRS, CRIL Tom?? Peitl, Friedrich-Schiller-Universit?t Jena Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universit?t Freiburg From mauro.jacopo at gmail.com Tue Apr 7 10:51:37 2020 From: mauro.jacopo at gmail.com (Jacopo Mauro) Date: Tue, 7 Apr 2020 10:51:37 +0200 Subject: [Om-announce] CFP SEFM - International Conference on Software Engineering and Formal Methods Message-ID: -------------------------------------------------------------------- Call for Papers SEFM 2020 18th International Conference on Software Engineering and Formal Methods Amsterdam, The Netherlands, 14-18 September 2020 https://event.cwi.nl/sefm2020/ -------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: Monday 27 April 2020 (AoE) Paper submission deadline: Monday 4 May 2020 (AoE) Paper notification: Friday 26 June 2020 Camera ready: Tuesday 7 July 2020 (AoE) Concerning COVID-19 The Program Chairs and the Steering Committee of SEFM 2020 are fully aware that the COVID-19 crisis may require the organisation of alternatives to the scheduled physical conference events, following the recommendations of relevant national and international bodies, such as the World Health Organization. Such possible alternative scenarios include the possibility of remote paper presentations or a full electronic organisation of the conference. Any measures taken will be communicated via the SEFM website and via emails to the authors and the PC. OVERVIEW AND SCOPE SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods: # Software Development Methods - Formal modeling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: - Regular papers describing original research results, case studies, or surveys. Regular papers should not exceed 15 pages, excluding bibliography. - Tool papers that describe an operational tool and its contributions. Tool papers should not exceed 6 pages (including bibliography) and should include the URL of the tool. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=sefm2020 Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in the Formal Methods sublime of the Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a journal special issue. CONFIRMED KEYNOTE LECTURES Paola Inverardi University of L'Aquila, Italy Website: http://people.disim.univaq.it/inverard/ Eelco Visser Delft University of Technology, Neteherlands Website: https://eelcovisser.org/ PROGRAM COMMITTEE Erika Abraham, RWTH Aachen University, Germany Wolfgang Ahrendt, Chalmers University of Technology, Sweden Alessandro Aldini, University of Urbino, Italy Lu?s Soares Barbosa, University of Minho, Portugal Maurice H. ter Beek, ISTI-CNR, Italy Dirk Beyer, LMU, Germany Frank de Boer (Co-chair), CWI, Netherlands Ana Cavalcanti, University of York, United Kingdom Antonio Cerone (Co-chair), Nazarbayev University, Kazakhstan Alessandro Cimatti, FBK, Italy Marieke Huisman, University of Twente, Netherlands Alexander Knapp, Universit?t Augsburg, Germany Jacopo Mauro, University of Southern Denmark, Denmark Paolo Masci, National Institute of Aerospace, USA Tiziana Margaria, Lero, Ireland Peter M?ller, ETH Zurich, Switzerland Hans de Nivelle, Nazarbayev University, Kazakhstan Peter ?lveczky, University of Oslo, Norway Catuscia Palamidessi, INRIA, France Anna Philippou, University of Cyprus, Cyprus Ka I Pun, Western Norway University of Applied Sciences, Norway Birna Riemsdijk, Delft University of Technology, Netherlands Grigore Rosu, University of Illinois at Urbana-Champaign, USA Gwen Sala?n, University of Grenoble Alpes, France Augusto Sampaio, Federal university of Pernambuco, Brazil Gerardo Schneider, University of Gothenburg, Sweden Ina Schaefer, Technische Universit?t Braunschweig, Germany Robert Segala, University of Verona, Italy Marjan Sirjani, Malardalen University, Sweden Graeme Smith, The University of Queensland, Australia Martin Steffen, University of Oslo, Norway Meng Sun, Peking University, China Silvia Lizeth Tapia Tarifa, University of Oslo, Norway Simone Tini, Univerisity of Insubria, Italy Elena Troubitsyna, KTH -Royal Institute of Technology, Sweden Heike Wehrheim, University of Paderborn, Germany Gianluigi Zavattaro, University of Bologna, Italy CONTACT: sefm2020 at easychair.org -- Jacopo Mauro, Associate Professor Department of Mathematics and Computer Science (IMADA) University of Southern Denmark (SDU) -------------- next part -------------- An HTML attachment was scrubbed... URL: From beziau at gmail.com Tue Apr 7 17:13:46 2020 From: beziau at gmail.com (JY B) Date: Tue, 7 Apr 2020 12:13:46 -0300 Subject: [Om-announce] UNILOG'2021: 7th World Congress and School on Universal Logic In-Reply-To: References: Message-ID: UNILOG 2021 - The 7th World Congress and School on Universal Logic - will take place at the Orthodox Academy of Crete March 28 - April 7, 2021 UNILOG is a series of events (combining a congress and a school) promoting - logic in all its aspects: mathematical, philosophical, computational, semiological, historical - the relation between logic and other fields: physics, biology, economics, law, politics, religion, music, literature, pedagogy, color theory, medicine, psychology, psychoanalysis, cognitive science, architecture, artificial intelligence, sociology, linguistics, anthropology. 7th UNIVERSAL LOGIC SCHOOL The school will have a duration of 5 days: from March 28 to April 1st 2021 with: - an opening round table on the topic "Why study logic?" - 30 tutorials - A poster session. 7th UNIVERSAL LOGIC CONGRESS The congress will have a duration of 6 days: from April 2 to April 7 2021 with - invited speakers - contributing speakers - workshops - a secret speaker (as in previous editions), i.e. a speaker whose identity is revealed only at the time of his/her/its talk or after - a contest 2nd WORLD LOGIC PRIZES CONTEST The 1st World Logic Prizes Contest took place in Vichy, France, during the 6th UNILOG in 2018. This contest is a competition between winners of logic prizes of different countries. To the winner is awarded the Universal Logic Prize. UNILOG 2021 is organized under the Aegis of the Government of Crete. Crete is an island with a history of about 5.000 years, cradle of Western civilization, including the Labyrinth, Plato's cave and much more. Everybody is welcome to join and enjoy this wonderful place. UNILOG 2021 - The 7th World Congress and School on Universal Logic https://www.uni-log.org/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Apr 13 19:27:25 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 13 Apr 2020 19:27:25 +0200 Subject: [Om-announce] SLSP 2020: 2nd call for papers Message-ID: <545102060a010b02025f550b0303555e5b5e04580301010351520854070550545452510e0a0902575207510503005704@grlmc_ip-zone_com-6> SLSP 2020: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ********************************************************************************** ? 8th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING ? SLSP 2020 ? Cardiff, United Kingdom ? October 14-16, 2020 ? Co-organized by: ? School of Computer Science and Informatics Cardiff University ? Data Innovation Research Institute Cardiff University ? Institute for Research Development, Training and Advice (IRDTA), Brussels/London ? https://irdta.eu/slsp2020/ ? ********************************************************************************** ? AIMS: ? SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2020, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. ? Previous events took place in Tarragona, Grenoble, Budapest, Pilsen, Le Mans, Mons, and Ljubljana. ? VENUE: ? SLSP 2020 will take place in Cardiff, the capital of Wales and its political, commercial and cultural centre. The venue will be: ? Council Chamber Glamorgan Building King Edward VII Ave Cathays Park Cardiff CF10 3WT ? https://www.cardiff.ac.uk/visit/accessibility/cathays-park-campus/glamorgan-building ? SCOPE: ? The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: ? Anaphora and coreference resolution Audio event detection Authorship identification, plagiarism, and spam filtering Biases, explainability and interpretability in language and speech processing Corpora and resources for speech and language Data mining, term extraction, and semantic web Dialogue systems and spoken language understanding Information retrieval and information extraction Knowledge representation and ontologies Lexicons and dictionaries Machine translation and computer-aided translation Multimodal technologies Natural language understanding and generation Neural representation of speech and language Opinion mining and sentiment analysis Part-of-speech tagging, parsing, and semantic role labelling Question-answering systems for speech and text Speaker identification and verification Speech recognition and synthesis Spelling correction Text categorization and summarization Text normalization and inverted text normalization Text-to-speech User modeling Wake word detection ? STRUCTURE: ? SLSP 2020 will consist of: ? invited lectures peer-reviewed contributions posters ? KEYNOTE SPEAKERS: ? Dilek Hakkani-T?r (Amazon), Neural Response Generators for Social Conversations ? John H.L. Hansen (University of Texas, Dallas), Challenges and Advancements in Speaker Diarization & Recognition for Naturalistic Data Streams ? Mark A. Hasegawa-Johnson (University of Illinois, Urbana-Champaign), Automatic Discovery of Phoneme Inventories for Speech Technology in Under-resourced Languages ? PROGRAMME COMMITTEE: ? Mahmoud Al-Ayyoub (Jordan University of Science and Technology, JO) Chitta Baral (Arizona State University, US) Jon Barker (University of Sheffield, UK) Jean-Fran?ois Bonastre (University of Avignon, FR) Fethi Bougares (University of Le Mans, FR) Felix Burkhardt (audEERING, DE) Nicoletta Calzolari (National Research Council, IT) Bill Campbell (Amazon, US) Angel Chang (Simon Fraser University, CA) Kenneth W. Church (Baidu Research, US) Philipp Cimiano (Bielefeld University, DE) Carol Espy-Wilson (University of Maryland, US) Nikos Fakotakis (University of Patras, GR) Marcello Federico (Amazon AI, US) Robert Gaizauskas (University of Sheffield, UK) Ond?ej Glembek (Brno University of Technology, CZ) Ralph Grishman (New York University, US) Thomas Hain (University of Sheffield, UK) Gareth Jones (Dublin City University, IE) Martin Karafi?t (Brno University of Technology, CZ) Philipp Koehn (Johns Hopkins University, US) Haizhou Li (National University of Singapore, SG) Carlos Mart?n-Vide (Rovira i Virgili University, ES, chair) Seiichi Nakagawa (Chubu University, JP) Fuchun Peng (Facebook, US) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Paolo Rosso (Technical University of Valencia, ES) Diana Santos (University of Oslo, NO) Irena Spasi? (Cardiff University, UK) Tomek Strzalkowski (Rensselaer Polytechnic Institute, US) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Tomoki Toda (Nagoya University, JP) Isabel Trancoso (Instituto Superior T?cnico, PT) K. Vijay-Shanker (University of Delaware, US) Hsin-Min Wang (Academia Sinica, TW) Andy Way (Dublin City University, IE) Caiming Xiong (Salesforce, US) Steve Young (University of Cambridge, UK) Wlodek Zadrozny (University of North Carolina Charlotte, US) Guodong Zhou (Soochow University, CN) ? ORGANIZING COMMITTEE: ? Luis Espinosa-Anke (Cardiff) Sara Morales (Brussels) Manuel Parra-Roy?n (Granada) David Silva (London, co-chair) Irena Spasi? (Cardiff, co-chair) ? SUBMISSIONS: ? Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). ? Upload submissions to: ? https://easychair.org/conferences/?conf=slsp2020 ? PUBLICATIONS: ? A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. ? A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. ? REGISTRATION: ? The registration form can be found at: ? https://irdta.eu/slsp2020/registration/ ? DEADLINES (all at 23:59 CET): ? Paper submission: June 1, 2020 Notification of paper acceptance or rejection: July 6, 2020 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2020 Early registration: July 15, 2020 Late registration: September 30, 2020 Submission to the journal special issue: January 16, 2021 ? QUESTIONS AND FURTHER INFORMATION: ? david (at) irdta.eu ? ACKNOWLEDGMENTS: ? School of Computer Science and Informatics, Cardiff University / Prifysgol Caerdydd ? Data Innovation Research Institute, Cardiff University / Prifysgol Caerdydd ? IRDTA ? Institute for Research Development, Training and Advice, Brussels/London ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From beziau100 at gmail.com Fri Apr 17 11:33:55 2020 From: beziau100 at gmail.com (jean-yves beziau) Date: Fri, 17 Apr 2020 06:33:55 -0300 Subject: [Om-announce] SQUARE'2020 - Leuven - Deadline Approaching In-Reply-To: References: Message-ID: We confirm that the 7th edition of the World Congress on the Square of Opposition will take place in Leuven, Belgium, September, 16-20, 2020. Deadline to send a one page abstract is April 20. Organizing Committee - SQUARE 2020 https://www.square-of-opposition.org/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From mastorakis at gmail.com Fri Apr 17 11:43:14 2020 From: mastorakis at gmail.com (George Mastorakis) Date: Fri, 17 Apr 2020 12:43:14 +0300 Subject: [Om-announce] Call for Book Chapters on Intelligent Technologies for Internet of Vehicles Message-ID: <67d4a1d8-ed0a-4af3-848d-951d2732c451@gmail.com> Call for Book Chapters for the Springer-Verlag Handbook: ?Intelligent Technologies for Internet of Vehicles? Series on Internet of Things - Technologies, Communications and Computing (covered by Scopus) Editors: -??? Naercio Magaia, University of Lisbon, Portugal -??? George Mastorakis, Hellenic Mediterranean University, Greece -??? Constandinos X. Mavromoustakis, University of Nicosia, Cyprus -??? Evangelos Pallis, Hellenic Mediterranean University, Greece -??? Evangelos K. Markakis, Hellenic Mediterranean University, Greece Internet-of-things (IoT) has appeared as a novel and ground-breaking technology aiming to provide Internet connectivity to every device that have computation, communication and storage capability. Numerous applications such as smart health, smart cities, smart industries, and smart homes are a result of this phenomenon of connecting smart devices with the Internet. In order to provide secure and safe transportation, IoT has evolved into a novel concept, also known as the Internet of Vehicles (IoV) where smart vehicles equipped with computing, communicating and storing capabilities communicate with each other and with surrounding infrastructure via vehicle-to-everything (V2X) communications. The latter enabled the exchange of critical information among smart vehicles including sudden lane changes, steep-curves, black ice warnings, and traffic accidents avoidance, therefore assisting the drivers in extreme and difficult situations. IoV has an enormous potential to provide secure and safer transportation as it enables the vehicles to take correct decision in a timely manner. In addition, IoV will also have intelligence and learning capabilities to anticipate the vehicular users? intentions. Cloud-based IoV mechanisms provide several essential services from routing to content search, spectrum sharing, dissemination, attack protection, etc. However, IoV-based objects produce a vast volume of information frequently called as Big Data, which cannot be easily processed by traditional algorithms and schemes. Future smart environments will enable efficient handling and processing of Big Data that is generated by the associated objects for an effective communication and co-operation among them. In addition, Artificial Intelligence (AI) will play a crucial role in such environments, enabling for smarter services, applications, business processes and social interaction among the IoV objects. In this respect, a great potential exists for advanced technological solutions combined with AI and IoV-enabled capabilities. AI mechanisms applied in IoV environments can be exploited in smart cities to analyze drivers? actions via data gathered and/or exchanged by enabled V2X vehicles? Electronic Control Unit (ECU) and microcontrollers. AI will play a significant role in future IoV applications and infrastructures, by providing insights from collected data. This capability will enable the identification of patterns and will allow operational predictions with higher accuracy in small time periods. AI applications for smart vehicles will also enable businesses to develop new products, reduce possible risks and increase efficiency during the production time, by predicting failures that are usually non-detectable by humans. The future of the implementation of AI-powered IoV infrastructures depends on the effective solutions to a number of technical challenges that such paradigms introduce. These challenges include intelligent sensor capabilities improvement and integration, smart Big Data analytics, automated remote data management, as well as open and secure composition of processes, which may be implemented into emerging AI-enabled IoV scenarios. Some initiatives try to incorporate Artificial Intelligence schemes in IoV environments, but new frameworks have to be defined. In fact, the approach of IoV is to find the potential benefits of AI, in order to build extensive ecosystems, for increasing the number of automated services and their value. This Book aims to gather recent research works in emerging Artificial Intelligence methods for processing and storing the data generated from cloud-based Internet of Vehicles infrastructures. In this context, the major subjects of the proposed book will cover the analysis and the development of AI-powered mechanisms in future IoV applications and architectures. Topics of interest include but are not limited to: -??? Emerging trends of AI and IoV -??? Architectures and systems for AI and IoV convergence -??? IoV with Machine Learning technologies -??? IoV with deep learning schemes -??? AI-enabled IoV applications and systems -??? Performance evaluation of Deep Learning and IoV-related mechanisms -??? Social computing and Intelligent IoV -??? Blockchain-oriented IoV schemes and related topics -??? Artificial immune systems and IoV -??? Algorithm optimization for intelligent IoV applications -??? Intelligent Big Data analytics -??? AI-enabled computing -??? Deep-learning network approaches for IoV applications and services. -??? Applications of AI for 5G-based IoV resource management -??? Intelligent edge/fog-based computing and analysis -??? Self-Organizing intelligent systems -??? Smart cities and AI applications -??? AI in all sort of vehicular communications -??? Security, privacy and trust by design and performance evaluation -??? Multimedia QoS, and traffic management in IoV -??? Intelligent network estimation techniques -??? AI-based schemes for IoV emergency communication networks -??? Applications of AI for 5G+ vehicular technologies We strongly welcome other topic suggestions, dealing with AI and IoV and any converged approach. Schedule & Deadlines -??? 15th April 2020 *(New Deadline: 15th May 2020)* Chapter proposal (max. 2-pages)/Intention to submit a chapter -??? 31st July 2020 Full chapter submission via e-mail: itiov at outlook.com -??? 30th September 2020 Review comments -??? 31st October 2020 Submission of the revised version -??? 30th November 2020 Final acceptance notification -??? 31st December 2020 Final manuscript Manuscript Preparation -??? Please follow the manuscript formatting guidelines below and submit the original version (in Microsoft word) and or LaTex format as per the guidelines (URL: http://www.di.fc.ul.pt/~nmagaia/it_iov/T1-book_IT-IoV.zip). -??? Each final manuscript should be about 25-35 pages long (formatted). Depending on the number of submissions, longer manuscripts will also be accepted. -??? Please prepare your manuscript according to the following guidelines: http://www.springer.com/gp/authors-editors/book-authors-editors/manuscript-preparation/5636#c3324 http://www.di.fc.ul.pt/~nmagaia/it_iov/PermissionReqForm_Springer_2020.doc -??? Submit the proposal of your chapter(s) via e-mail: itiov at outlook.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From shuiyucfp at gmail.com Fri Apr 17 13:19:47 2020 From: shuiyucfp at gmail.com (Shui Yu) Date: Fri, 17 Apr 2020 21:19:47 +1000 Subject: [Om-announce] CFP:International Conference on Security and Privacy in Digital Economy (SPDE2020) Message-ID: We apology for possible cross posting, and appreciate your support and distribution. * ---* *International Conference on Security and Privacy in Digital Economy (SPDE2020) * http://spde2020.csp.escience.cn/ *Scope and Topics of Interest* We are in the age of digital economy. Information technology has significantly changed our daily life, including social networks, online shopping, and so on. The dramatic development of new business applications demands new technologies to serve the needs. We have seen the unprecedented progress in artificial intelligence, big data, blockchain, to name a few. However, security and privacy concerns are critical issues in this booming digital economy. The vulnerability and potential threats of the new techniques are yet to be examined, solutions are yet to be tested and confirmed in practice. For example, we need detection method against GAN based attacks, security and privacy problems of federated learning to be identified and fixed, fraud and cheating in digital economy ecosystems need to be detected and solved, there are a lot of unknown in blockchain systems, issues in auto pilot cars are to be addressed. We fully believe the solutions depend on the extensive collaboration between academia and industry, depend on cross disciplinary effort from ICT and law, social science and so on. The purpose of this conference is to offer a timely venue for researchers and industry partners in framework of digital economy to present and discuss their latest results in security and privacy related work. We focus on the security and privacy issues in digital economy from the following perspectives, but are not limited to: ? Generative adversarial networks ? Machine learning ? Artificial intelligence ? Differential privacy ? Driverless vehicular systems ? Internet of Things ? Social networks ? Blockchain systems ? Cloud and fog systems ? Threat and vulnerability analysis ? Cryptography systems ? Trust and forensics ? Anonymous communication ? E-health and aged care ? Attacks and countermeasures ? Complex networks ? Security and privacy from Social Science *Conference Highlights * ? *Invited Talks: *We present 5 cutting-edge keynotes from international leading researchers, and 10 invited talks from the distinguished experts in the front line of cybersecurity domain. ? *Social Events: *We will offer high-quality social events during the conference. Students, young researchers and engineers can talk with the renowned scholars. ? *Paper Awards*: All accepted and presented papers at SPDE2020 will contest for best paper awards in a variety of tracks: Best Conference Paper, Best Student Paper, Best Application Paper, and Best Innovation Paper. ? *Special Issues*: Selected SPDE2020 papers will be invited for possible publication in the special issues of the SCI-indexed journals. *General Co-chairs* Professor George Karagiannidis, Aristotle University of Thessaloniki, Greece Dr Zhensheng Zhang, Boeing, USA *Technical Program Co-chairs* Professor Shui Yu, University of Technology Sydney, Australia Dr Peter Mueller, IBM Research, Zurich Professor Jiangbo Qian, Ningbo University, China *Submission Instruction* The proceedings will be published by Springer, EI-indexed. We call for original and unpublished papers no longer than 14 pages. The reviews will be single-blinded. The manuscripts should be formatted in standard Springer camera-ready format and be submitted as PDF files. More details could be found at: http://spde2020.csp.escience.cn/. *Important Dates* Submission Deadline: May 01, 2020 Authors Notification: July 01, 2020 Final Manuscript Due: August 01, 2020 Enquiries should be submitted to conference email spde2020 at sdedi.org.cn -- ----------------------------- Shui YU, PhD, Professor School of Computer Science, University of Technology Sydney, Sydney, Australia. https://www.uts.edu.au/staff/shui.yu Email: Shui.Yu at uts.edu.au -------------- next part -------------- An HTML attachment was scrubbed... URL: From joaquin.garcia_alfaro at telecom-sudparis.eu Fri Apr 17 14:37:25 2020 From: joaquin.garcia_alfaro at telecom-sudparis.eu (Joaquin Garcia-Alfaro) Date: Fri, 17 Apr 2020 14:37:25 +0200 Subject: [Om-announce] [PSD 2020, deadline approaching] PRIVACY IN STATISTICAL DATABASES, Springer LNCS, Arezzo, Italy, Sep. 23-25, 2020 In-Reply-To: <08e10266-7874-9138-351c-a59b93d9c7bd@telecom-sudparis.eu> References: <08e10266-7874-9138-351c-a59b93d9c7bd@telecom-sudparis.eu> Message-ID: <952e8594-815e-c4dd-c9cd-2edf11ec38ac@telecom-sudparis.eu> [apologies for cross-posting] PRIVACY IN STATISTICAL DATABASES 2020 (PSD 2020) ================================================ Arezzo, Italy, Sep. 23-25, 2020 http://unescoprivacychair.urv.cat/psd2020 Submission deadline: **MAY 24, 2020** ** In spite of Covid-19, we plan to organize PSD 2020 as scheduled. The submission deadline (May 24, 2020) stays valid ** 1. AIMS AND GOAL ----------------- Privacy in statistical databases is about finding trade-offs to the tension between the increasing societal and economical demand for accurate information and the legal and ethical obligation to protect the privacy of individuals and enterprises which are the respondents providing the statistical data. In the case of statistical databases, the motivation for respondent privacy is one of survival: statistical agencies or survey institutes cannot expect to collect accurate information from individual or corporate respondents unless these feel the privacy of their responses is guaranteed. Beyond respondent privacy, there are two additional privacy dimensions to be considered: privacy for the data owners (organizations owning or gathering the data, who would not like to share the data they have collected at great expense) and privacy for the users (those who submit queries to the database and would like their analyses to stay private). "Privacy in Statistical Databases 2020" (PSD 2020) is a conference sponsored and organized by the UNESCO Chair in Data Privacy (http://unescoprivacychair.urv.cat) with proceedings published by Springer-Verlag in Lecture Notes in Computer Science. The purpose of PSD 2020 is to attract world-wide, high-level research in statistical database privacy. PSD 2020 is a successor to - PSD 2018 (Valencia, Sep. 26-28, 2018, https://unescoprivacychair.urv.cat/psd2018/), - PSD 2016 (Dubrovnik, Sep. 14-16, 2016, https://unescoprivacychair.urv.cat/psd2016/), - PSD 2014 (Eivissa, Sep. 17-19, 2014, http://unescoprivacychair.urv.cat/psd2014/), - PSD 2012 (Palermo, Sep. 26-28, 2012, http://unescoprivacychair.urv.cat/psd2012), - PSD 2010 (Corfu, Sep. 22-24, 2010, http://unescoprivacychair.urv.cat/psd2010), - PSD 2008 (Istanbul, Sep. 24-26, 2008, http://unescoprivacychair.urv.cat/psd2008), - PSD 2006 (Rome, Dec. 13-15, 2006, http://crises-deim.urv.cat/psd2006) and PSD 2004 (Barcelona, June 9-11, 2004, http://crises-deim.urv.cat/psd2004), all with proceedings published by Springer in LNCS 11126, LNCS 9867, LNCS 8744, LNCS 7556, LNCS 6344, LNCS 5262, LNCS 4302 and LNCS 3050, respectively. Those nine PSD conferences follow a tradition of high-quality technical conferences on SDC which started with "Statistical Data Protection-SDP'98", held in Lisbon in 1998 and with proceedings published by OPOCE, and continued with the AMRADS project SDC Workshop, held in Luxemburg in 2001 and with proceedings published in Springer LNCS 2316. Like the aforementioned preceding conferences, PSD 2020 originates in Europe, but wishes to stay a worldwide event in database privacy and SDC. Thus, contributions and attendees from overseas are welcome. 2. ORGANIZATION --------------- PROGRAM COMMITTEE (More members to be confirmed soon) - Jane Bambauer (University of Arizona, USA) - Bettina Berendt (Katholieke Universiteit Leuven, Belgium) - Elisa Bertino (CERIAS, Purdue University, USA) - Aleksandra Bujnowska (EUROSTAT, European Union) - Jordi Castro (Universitat Polit?cnica de Catalunya) - Anne-Sophie Charest (Universit? Laval, Qu?bec, Canada) - Chris Clifton (Purdue University, USA) - Graham Cormode (University of Warwick, UK) - Peter-Paul de Wolf (Statistics Netherlands) - Josep Domingo (Universitat Rovira i Virgili, Catalonia) - Joerg Drechsler (IAB, Germany) - Khaled El Emam (University of Ottawa, Canada) - Mark Elliot (Manchester University, UK) - S?bastien Gambs (Universit? du Qu?bec ? Montr?al) - Sarah Giessing (Destatis, Germany) - Hiroaki Kikuchi (Meiji University, Japan) - Bradley Malin (Vanderbilt University, USA) - Laura McKenna (Census Bureau, USA) - Anna Monreale (Universit? di Pisa, Italy) - Krish Muralidhar (The University of Oklahoma, USA) - Anna Oganyan (National Center for Health Statistics, USA) - David Rebollo (Universitat Rovira i Virgili, Catalonia) - Jerry Reiter (Duke University, USA) - Yosef Rinott (Hebrew University, Israel) - Steven Ruggles (University of Minnesota, USA) - Nicolas Ruiz (OECD, European Union) - Pierangela Samarati (University of Milan, Italy) - David S?nchez (Universitat Rovira i Virgili, Catalonia) - Eric Schulte-Nordholt (Statistics Netherlands) - Natalie Shlomo (University of Manchester, UK) - Aleksandra Slavkovic (Penn State University, USA) - Jordi Soria-Comas (Catalan Data Protection Authority, Catalonia) - Tamir Tassa (The Open University, Israel) - Vicenc Torra (National University of Ireland-Maynooth, Ireland) - Lars Vilhuber (Cornell University, USA) PROGRAM CHAIR - Josep Domingo-Ferrer (UNESCO Chair in Data Privacy, Universitat Rovira i Virgili, Catalonia) GENERAL CHAIR - Krishnamurty Muralidhar (The University of Oklahoma, USA) ORGANIZATION COMMITTEE - Joaquin Garcia-Alfaro (Telecom SudParis, France) - Giulia Lombardi (The University of Oklahoma, Italy) - Jesus Manjon (Universitat Rovira i Virgili, Catalonia) - Romina Russo (Universitat Rovira i Virgili, Catalonia) 3. TOPICS OF INTEREST --------------------- Topics of interest include but are not limited to: - New anonymization methods for tabular data - New anonymization methods for microdata (including non-conventional microdata types such as trajectories, graphs, etc.) - Best anonymization practices for tabular data - Best anonymization practices for microdata - Co-utility for privacy preservation - Big data anonymization - Streaming data anonymization - Decentralized anonymization - Balancing data quality and data confidentiality in SDC - Differential privacy and other privacy models - SDC transparency issues - Onsite access centers - Remote access facilities - SDC software - Estimating disclosure risk in SDC - Record linkage methods - Real-life disclosure scenarios in EU-member states and abroad - Privacy preserving data mining (both cryptographic and non-cryptographic) - Private information retrieval - Privacy in web-based e-commerce - Privacy in healthcare - Privacy in official and corporate statistics - Other data anonymization issues 4. SUBMISSIONS -------------- Full papers containing either original technical contributions or high-quality surveys on the above topics or on related topics are sought. Camera-ready versions of accepted papers should be prepared using the LaTeX2estyle or the Word template of Springer Verlag Lecture Notes in ComputerScience. For LaTeX2e, a macro package llncs.zip and an example file typeinst.zip can be downloaded from https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. For Microsoft Word, a template word.zip can be downloaded from the same page above. We encourage authors to use the above formats already for their submissions. LENGTH OF SUBMISSIONS. Using the above format with 11 point font, the paper should be at most 12 pages excluding bibliography and appendices, and at most 16 pages total. Committee members are not required to read appendices; the paper should be intelligible without them. Submissions not meeting these guidelines risk rejection without consideration of their merits. 5. PROCEEDINGS -------------- Among PSD 2020 accepted papers, a selection will be made based on quality and coverage and the selected papers will be published in the Lecture Notes in Computer Science (LNCS) series by Springer. This follows the tradition of the previous PSD conferences. The remaining accepted papers will be published in a USB with an ISBN. It is possible to submit a paper directly for the USB, which benefits from a later submission deadline (see USB-only dates below). The form of publication of an accepted paper will be clearly specified in the acceptance message. Both the LNCS volume and the CD will be *available at the conference*. 6. IMPORTANT DATES ------------------ Submission deadline: **MAY 24, 2020** Acceptance notification: June 26, 2020 Proceedings version due: July 5, 2020 USB-only submission deadline: July 5, 2020 USB-only acceptance notification: July 15, 2020 USB-only proceedings version due: July 22, 2020 Conference: Sep. 23-25, 2020 7. VENUE AND TRAVEL ------------------- The conference will take place at the San Francesco classroom annex of the 'Oklahoma University in Arezzo' facilities, located in the city of Arezzo. OU in Arezzo. San Francesco Classroom annex Piazza San Francesco, 18 Arezzo, Italy 52100 http://www.ou.edu/cis/education_abroad/programs/ou-in-arezzo Further venue, travel and accommodation information will be posted in due course at http://unescoprivacychair.urv.cat/psd2020 A number of travel grants are made available by the UNESCO Chair in Data Privacy, especially for authors and delegates from transition countries. Information on grants is posted in the conference web site. 8. REGISTRATION --------------- Registration information will be posted no later than June 2020 at http://unescoprivacychair.urv.cat/psd2020 From hubie.chen at ehu.eus Tue Apr 21 16:01:49 2020 From: hubie.chen at ehu.eus (HUBERT MING CHEN) Date: Tue, 21 Apr 2020 16:01:49 +0200 Subject: [Om-announce] QBF 2020 - updated call for papers Message-ID: <20200421160149.Horde.lX1DT1zs5l0sKuF-ti1SHv9@webposta.ehu.eus> CALL FOR PAPERS QBF 2020 -------- International Workshop on Quantified Boolean Formulas and Beyond July 5, 2020 -- to be held virtually https://www.ac.tuwien.ac.at/qbf2020 Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2020) July 5-9, 2020 UPDATES: The workshop will be held virtually. The deadline has been extended by 2 weeks. ------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== IMPORTANT DATES =============== May 8: Submission May 26: Notification of acceptance June 11: Final versions of accepted papers due July 5: Workshop Please see the workshop webpage for any updates: https://www.ac.tuwien.ac.at/qbf2020 ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): Applications, encodings and benchmarks with quantifiers QBF Proof theory and complexity results Experimental evaluations of solvers or related tools Case studies illustrating the power of quantifiers Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. Formats of proofs and certificates Implementations of proof checkers and verifiers Decision procedures Calculi and their relationships Data structures, implementation details and heuristics Pre- and inprocessing techniques Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf2020 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf2020 at easychair.org ================= PROGRAM COMMITTEE ================= Hubie Chen, Birbeck, University of London (co-chair) Friedrich Slivovsky, Vienna University of Technology (co-chair) Joshua Blinkhorn, Friedrich-Schiller-Universit?t Jena Mikolas Janota, INESC-ID/IST, University of Lisbon Paqui Lucio, University of the Basque Country Stefan Mengel, CNRS, CRIL Tom?? Peitl, Friedrich-Schiller-Universit?t Jena Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universit?t Freiburg From diego.marcilio at usi.ch Tue Apr 21 19:05:00 2020 From: diego.marcilio at usi.ch (iFM 2020) Date: Tue, 21 Apr 2020 19:05:00 +0200 Subject: [Om-announce] iFM 2020 (Integrated Formal Methods): Call for Papers Message-ID: ========================================================== CALL FOR PAPERS iFM 2020 16th International Conference on integrated Formal Methods 16-20 November 2020, Lugano, Switzerland https://ifm20.si.usi.ch/ =========================================================== === COVID-19 === Due to the disruptions caused by the COVID-19 pandemic, we have decided that iFM 2020 will not take place physically and will be replaced by a virtual event. However, the paper selection process will not be affected: an LNCS proceedings will be prepared as usual. We will announce the plans for how the virtual conference will take place in the following weeks (in time for the paper submission deadline). Authors of all of accepted papers: - must present in the virtual conference in 2020 (either a live presentation, or pre-recorded talk) - may, at their discretion, also present in person in 2021 === Important dates === Abstract submission: 15 June 2020 Paper submission: 22 June 2020 Notification: 14 August 2020 Co-located events: 16-17 November 2020 Main conference: 18-20 November 2020 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Submission site: https://easychair.org/conferences/?conf=ifm2020 === Objectives and scope === In recent years, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and efficient analysis of software-intensive systems. These approaches provide powerful support for the analysis of different functional and non-functional properties of the systems, complex interaction of components of different nature as well as validation of diverse aspects of system behaviour. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods with different simulation and system analysis techniques - Program verification, model checking, and static analysis - Theorem proving, decision procedures, SAT/SMT solving - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Abstraction and refinement - Model learning and inference - Approaches to integrating formal methods into software engineering practice === Submission guidelines === iFM 2020 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. We accept papers in the following categories: (1) Regular papers (limit 18 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigorous evaluations (2) Short papers (limit 8 pages) on - any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit Page limits include bibliography. Appendices may be included, which will only be read by a reviewer at their discretion. Regular and short papers submitted in categories (1) and (2) must be original, unpublished, and not submitted for publication elsewhere. Papers in these two categories will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submissions for both categories should be made using the iFM 2020 Easychair site: https://easychair.org/conferences/?conf=ifm2020 Submissions must be in PDF format, using the Springer LNCS style files. Springer requires that authors should consult Springer???s authors??? guidelines (ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guidelines_for_Authors_of_Proceedings.pdf) and use their proceedings templates, either for LaTeX (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip) or for Word (ftp://ftp.springernature.com/cs-proceeding/llnc/word/splnproc1703.zip), for the preparation of their papers. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) in their papers. After a paper is accepted, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. A special issue of the Formal Aspects of Computing - FAOC journal (https://link.springer.com/journal/165) is planned for extended versions of selected papers from iFM 2020. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, and present the paper. Since iFM 2020 will be a virtual conference, presentations will take place online. The conference organisation will define details and schedule of the virtual event and communicate them to authors. === Organisation === = General chair = Carlo A. Furia (Universit?? della Svizzera Italiana (USI), Switzerland) = PC chairs = Brijesh Dongol (University of Surrey, UK) Elena Troubitsyna (KTH, Sweden) = Local Organisation = Web Chair Mohammad Rezaalipour (USI Universit?? della Svizzera italiana, CH) Publicity Chair Diego Marcilio (USI Universit?? della Svizzera italiana, CH) Finance Chair Elisa Larghi (USI Universit?? della Svizzera italiana, CH) = Program committee = Erika Abraham (RWTH, Aachen University, Germany) Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France) ??tienne Andr?? (Universit?? de Lorraine, France) Richard Banach (The University of Manchester, UK) Maurice H. ter Beek (ISTI-CNR, Italy) Pierre-Evariste Dagand (CNRS-LIP6, France) Ferruccio Damiani (University of Torino, Italy) John Derrick (University of Sheffield, UK) Brijesh Dongol (University of Surrey, UK) Marc Frappier (University of Sherbrooke, Canada) Carlo A. Furia (Universit?? della Svizzera Italiana (USI), Switzerland) Marieke Huisman (University of Twente, Netherlands) Fuyuki Ishikawa (National Institute of Informatics, Japan) Einar Broch Johnsen (University of Oslo, Norway) Stephan Merz (Inria Nancy, France) Paritosh Pandya (IIT Mumbai, India) Patrizio Pelliccione (Chalmers University of Technology, Sweden) Luigia Petre (??bo Akademi University, Finland) R. Ramanujam (Institute of Mathematical Sciences, India) Steve Schneider (University of Surrey, UK) Emil Sekerinski (McMaster University, Canada) Silvia Lizeth Tapia Tarifa (University of Oslo, Norway) Stefano Tonetta (FBK, Italy) Elena Troubitsyna (KTH, Sweden) Juri Vain (Tallin Technical University, Estonia) Tom???? Vojnar (Brno University of Technology, Czech Republic) Farn Wang (NTU, Taiwan) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) Naijun Zhan (Chinese Academy of Sciences, China) From geoff at cs.miami.edu Mon Apr 27 22:01:36 2020 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 27 Apr 2020 16:01:36 -0400 Subject: [Om-announce] CASC-J10 - The CADE ATP System Competition Message-ID: <20200427200136.0B8AF1700C6B@cs.miami.edu> ------------------------------------------------------------------------------- CASC-J10 - The CADE ATP System Competition to be held at The 10th International Joint Conference on Automated Reasoning Online, Earth 29th June -6th July 2020 The CADE and IJCAR conferences are the major forums for the presentation of new research in all aspects of automated deduction. In order to stimulate ATP research and system development, and to expose ATP systems within and beyond the ATP community, the CADE ATP System Competition (CASC) is held at each CADE and IJCAR conference. CASC-J10 will be held on the 2nd July 2020, during the 10th International Joint Conference on Automated Reasoning. CASC evaluates the performance of sound, fully automatic, ATP systems. The evaluation is in terms of: + the number of problems solved, and + the number of problems solved with a solution output, and + the average runtime for problems solved; in the context of: + a bounded number of eligible problems, chosen from the TPTP library, and + specified time limits for solution attempts. The competition organizer is Geoff Sutcliffe. The competition is overseen by a panel of knowledgeable researchers who are not participating in the event. Further details and registration information are available at: http://www.tptp.org/CASC/J10/ Registration of systems for CASC-J10 is now invited. System registration closes on 5th June. Please register early so that adequate resources can be allocated. DO IT NOW! DO IT NOW! DO IT NOW! DO IT NOW! DO IT NOW! DO IT NOW! ------------------------------------------------------------------------------- From irdta at irdta.eu Sat Apr 25 18:08:33 2020 From: irdta at irdta.eu (IRDTA) Date: Sat, 25 Apr 2020 18:08:33 +0200 Subject: [Om-announce] BigDat 2020 Autumn: early registration May 9 Message-ID: <545102060a010b0203565302000b575e065f05045704555101055f020150010753580053060b03060851520000050353@grlmc_ip-zone_com-6> BigDat 2020 Autumn: early registration May 9*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ********************************************** ? 7th INTERNATIONAL SCHOOL ON BIG DATA ? BigDat 2020 Autumn ? Beersheba, Israel ? October 25-29, 2020 ? Co-organized by: ? Ben-Gurion University of the Negev ? Institute for Research Development, Training and Advice (IRDTA) Brussels / London ? https://irdta.eu/bigdat2020a/ ? ********************************************** ? --- Early registration deadline: May 9, 2020 --- ? ********************************************** ? SCOPE: ? BigDat 2020 Autumn will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data. Previous events were held in Tarragona, Bilbao, Bari, Timi?oara, Cambridge and Ancona. ? Big data is a broad field covering a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. ? Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 24 four-hour and a half courses, 2 keynote lectures and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ? An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles. ? ADDRESSED TO: ? Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2020 Autumn is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. ? VENUE: ? BigDat 2020 Autumn will take place in Beersheba, the largest city in the Negev desert of southern Israel and an important technology center. The venue will be: ? tba ? STRUCTURE: ? 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. ? KEYNOTE SPEAKERS: ? tba ? PROFESSORS AND COURSES: (to be completed) ? Paolo Addesso (University of Salerno), [introductory/intermediate] Data Fusion for Remotely Sensed Data ? Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models ? Altan Cakir (Istanbul Technical University), [intermediate] Big Data Analytics with Apache Spark ? Michael X. Cohen (Radboud University Nijmegen), [introductory] Dimension Explosion and Dimension Reduction in Brain Electrical Activity ? Ian Fisk (Flatiron Institute), [introductory] The Infrastructure to Support Data Science ? Michael Freeman (University of Washington), [intermediate] Interactive Data Visualization Using D3 + Observable ? David Gerbing (Portland State University), [introductory] Derive Meaning from Data with R Visualizations ? Yifan Hu (Yahoo Research), [introductory/advanced] Data Visualization and Machine Learning ? Ravi Kumar (Google), [intermediate/advanced] Clustering for Big Data ? Victor O.K. Li (University of Hong Kong), [intermediate] Deep Learning and Applications ? Panos Pardalos (University of Florida), [intermediate/advanced] Optimization and Data Sciences Techniques for Large Networks ? Valeriu Predoi (University of Reading), [introductory] A Beginner's Guide to Big Data Analysis: How to Connect Scientific Software Development with Real World Problems ? Alexandre Vaniachine (VirtualHealth), [intermediate] Open-source Columnar Databases ? Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Deep Learning for Text Mining ? OPEN SESSION ? An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david at irdta.eu by October 17, 2020. ? INDUSTRIAL SESSION: ? A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by October 17, 2020. ? EMPLOYER SESSION: ? Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by October 17, 2020. ? ORGANIZING COMMITTEE: ? Carlos Mart?n-Vide (Tarragona, program chair) Sara Morales (Brussels) Manuel J. Parra-Roy?n (Granada) Lior Rokach (Beersheba, co-chair) Bracha Shapira (Beersheba, co-chair) David Silva (London, co-chair) ? REGISTRATION: ? It has to be done at ? https://irdta.eu/bigdat2020a/registration/ ? The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. ? Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event. ? FEES: ? Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ? Refunding of registration fees will not be possible. However, an exception will be made in case the event must be postponed due to the continuation of the coronavirus crisis in Autumn (which is a scenario the organizers do not expect). ? ACCOMMODATION: ? Suggestions for accommodation will be available in due time. ? CERTIFICATE: ? A certificate of successful participation in the event will be delivered indicating the number of hours of lectures. ? QUESTIONS AND FURTHER INFORMATION: ? david at irdta.eu ? ACKNOWLEDGMENTS: ? Ben-Gurion University of the Negev ? Institute for Research Development, Training and Advice (IRDTA) ? Brussels/London ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From manna at mat.unical.it Sun Apr 26 22:51:03 2020 From: manna at mat.unical.it (manna at mat.unical.it) Date: Sun, 26 Apr 2020 22:51:03 +0200 Subject: [Om-announce] RW 2020 - Call for Applications for the 16th Reasoning Web Summer School Message-ID: <559ea36c0f6bbea25b018486f6cb8261.squirrel@www.mat.unical.it> [apologies for multiple postings] ================================================================= ****************************************************** CALL FOR APPLICATIONS The 16th Reasoning Web Summer School (RW 2020) 24-26 June, 2020 Virtual event (free registration) https://2020.declarativeai.net/events/rw-summer-school Part of "Declarative AI 2020: Rules, Reasoning, Decisions and Explanations" (DeclarativeAI 2020, https://2020.declarativeai.net) ****************************************************** The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. In 2020, the broad theme of the school is: ???Declarative Artificial Intelligence??? As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. This year the school is part of Declarative AI 2020 (https://2020.declarativeai.net), an event which is co-organised by SINTEF AS, University of Oslo, and Norwegian University of Science and Technology, under the umbrella of the SIRIUS Centre for Scalable Data Access. Due to the current situation regarding the spread of the COVID-19 coronavirus, Declarative AI 2020 will be held as an ONLINE event. The school is co-located with: - RuleML+RR: International Joint Conference on Rules and Reasoning, Virtual 29 June - 1 July, 2020 http://2020.ruleml-rr.org - DecisionCAMP, Virtual 29 June - 1 July, 2020 https://decisioncamp2020.home.blog The students attending the RW school are particularly encouraged to apply to the Doctoral Consortium of RuleML+RR (deadline: 22 May, 2020). == CONFIRMED LECTURES == - Stream Reasoning: From Theory to Practice Emanuele Della Valle (Politecnico di Milano), Riccardo Tommasini (University of Tartu) - Aggregates and Generalized Atoms in Answer Set Programming Wolfgang Faber (University of Klagenfurt) - Knowledge Graphs: Past, Present and Future Research Directions Aidan Hogan (University of Chile) - Declarative Data Analysis using Limit Datalog Programs Egor V. Kostylev (University of Oxford) - Reasoning with Learned Knowledge Loizos Michael (Open University of Cyprus) - Learning Description Logic Ontologies Ana Ozaki (Free University of Bozen-Bolzano & University of Bergen) - Introduction to Probabilistic Ontologies Rafael Penaloza (University of Milano-Bicocca) - Explanation via Machine Arguing Francesca Toni, Oana Cocarascu, Antonio Rago (Imperial College London) - Ontology-Mediated Query Answering over Temporal Data Michael Zakharyaschev (Birkbeck University of London) == APPLICATIONS == The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process. Applications have to be submitted by filling the following form: https://forms.gle/bDupPJyBrse1vFgP7 == IMPORTANT DATES == Application deadline: 1 June, 2020 Notification: 8 June, 2020 Summer school: 24-26 June, 2020 == COMMITTEE == Chairs - Marco Manna, University of Calabria, Italy - Andreas Pieris, University of Edinburgh, UK Scientific Advisory Board - Leopoldo Bertossi, Universidad Adolfo Ibanez, Chile - Thomas Eiter, TU Wien, Austria - Birte Glimm, University of Ulm, Germany - Markus Krotzsch, TU Dresden, Germany - Yuliya Leierler, University of Nebraska Omaha, US - Carsten Lutz, University of Bremen, Germany - Emanuel Sallinger, University of Oxford, UK == CONTACT == For further information please contact the chairs: - Marco Manna: marco.manna at unical.it - Andreas Pieris: apieris at inf.ed.ac.uk From shuiyucfp at gmail.com Mon Apr 27 02:48:39 2020 From: shuiyucfp at gmail.com (Shui Yu) Date: Mon, 27 Apr 2020 10:48:39 +1000 Subject: [Om-announce] CFP: Security and Privacy in Digital Economy (SPDE2020), Due in three days Message-ID: We apology for possible cross posting, and appreciate your support and distribution. *International Conference on Security and Privacy in Digital Economy (SPDE2020)* http://spde2020.csp.escience.cn/ *Scope and Topics of Interest* We are in the age of digital economy. Information technology has significantly changed our daily life, including social networks, online shopping, and so on. The dramatic development of new business applications demands new technologies to serve the needs. We have seen the unprecedented progress in artificial intelligence, big data, blockchain, to name a few. However, security and privacy concerns are critical issues in this booming digital economy. The vulnerability and potential threats of the new techniques are yet to be examined, solutions are yet to be tested and confirmed in practice. For example, we need detection method against GAN based attacks, security and privacy problems of federated learning to be identified and fixed, fraud and cheating in digital economy ecosystems need to be detected and solved, there are a lot of unknown in blockchain systems, issues in auto pilot cars are to be addressed. We fully believe the solutions depend on the extensive collaboration between academia and industry, depend on cross disciplinary effort from ICT and law, social science and so on. The purpose of this conference is to offer a timely venue for researchers and industry partners in framework of digital economy to present and discuss their latest results in security and privacy related work. We focus on the security and privacy issues in digital economy from the following perspectives, but are not limited to: ? Generative adversarial networks ? Machine learning ? Artificial intelligence ? Differential privacy ? Driverless vehicular systems ? Internet of Things ? Social networks ? Blockchain systems ? Cloud and fog systems ? Threat and vulnerability analysis ? Cryptography systems ? Trust and forensics ? Anonymous communication ? E-health and aged care ? Attacks and countermeasures ? Complex networks ? Security and privacy from Social Science *Conference Highlights * ? *Invited Talks: *We present 5 cutting-edge keynotes from international leading researchers, and 10 invited talks from the distinguished experts in the front line of cybersecurity domain. ? *Social Events: *We will offer high-quality social events during the conference. Students, young researchers and engineers can talk with the renowned scholars. ? *Paper Awards*: All accepted and presented papers at SPDE2020 will contest for best paper awards in a variety of tracks: Best Conference Paper, Best Student Paper, Best Application Paper, and Best Innovation Paper. ? *Special Issues*: Selected SPDE2020 papers will be invited for possible publication in the special issues of the SCI-indexed journals. *General Co-chairs* Professor George Karagiannidis, Aristotle University of Thessaloniki, Greece Dr Zhensheng Zhang, Boeing, USA *Technical Program Co-chairs* Professor Shui Yu, University of Technology Sydney, Australia Dr Peter Mueller, IBM Research, Zurich Professor Jiangbo Qian, Ningbo University, China *Submission Instruction* The proceedings will be published by Springer, EI-indexed. We call for original and unpublished papers no longer than 14 pages. The reviews will be single-blinded. The manuscripts should be formatted in standard Springer camera-ready format and be submitted as PDF files. More details could be found at: http://spde2020.csp.escience.cn/. *Important Dates* Submission Deadline: May 01, 2020 Authors Notification: July 01, 2020 Final Manuscript Due: August 01, 2020 Enquiries should be submitted to conference email spde2020 at sdedi.org.cn -- ----------------------------- Shui YU, PhD, Professor School of Computer Science, University of Technology Sydney, Sydney, Australia. https://www.uts.edu.au/staff/shui.yu Email: Shui.Yu at uts.edu.au -------------- next part -------------- An HTML attachment was scrubbed... URL: From hubie.chen at ehu.eus Wed Apr 29 15:31:30 2020 From: hubie.chen at ehu.eus (HUBERT MING CHEN) Date: Wed, 29 Apr 2020 15:31:30 +0200 Subject: [Om-announce] QBF 2020 - updated call for papers Message-ID: <20200429153130.Horde.g8-P9P6A4KT6j6nkE9ZNU-9@webposta.ehu.eus> CALL FOR PAPERS QBF 2020 -------- International Workshop on Quantified Boolean Formulas and Beyond July 5, 2020 -- to be held virtually https://www.ac.tuwien.ac.at/qbf2020 Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2020) July 5-9, 2020 UPDATES: The workshop will be held virtually. The deadline has been extended by 2 weeks. ------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== IMPORTANT DATES =============== May 8: Submission May 26: Notification of acceptance June 11: Final versions of accepted papers due July 5: Workshop Please see the workshop webpage for any updates: https://www.ac.tuwien.ac.at/qbf2020 ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): Applications, encodings and benchmarks with quantifiers QBF Proof theory and complexity results Experimental evaluations of solvers or related tools Case studies illustrating the power of quantifiers Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. Formats of proofs and certificates Implementations of proof checkers and verifiers Decision procedures Calculi and their relationships Data structures, implementation details and heuristics Pre- and inprocessing techniques Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf2020 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf2020 at easychair.org ================= PROGRAM COMMITTEE ================= Hubie Chen, Birbeck, University of London (co-chair) Friedrich Slivovsky, Vienna University of Technology (co-chair) Joshua Blinkhorn, Friedrich-Schiller-Universit?t Jena Mikolas Janota, INESC-ID/IST, University of Lisbon Paqui Lucio, University of the Basque Country Stefan Mengel, CNRS, CRIL Tom?? Peitl, Friedrich-Schiller-Universit?t Jena Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universit?t Freiburg From irdta at irdta.eu Thu Apr 30 00:11:21 2020 From: irdta at irdta.eu (IRDTA) Date: Thu, 30 Apr 2020 00:11:21 +0200 Subject: [Om-announce] SLSP 2020: 2nd call for papers Message-ID: <545102060a010b02035750040202585e5a5302040753040401040b01030e0200565757550a5f04010007555302575600@grlmc_ip-zone_com-6> SLSP 2020: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ********************************************************************************** ? 8th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING ? SLSP 2020 ? Cardiff, United Kingdom ? October 14-16, 2020 ? Co-organized by: ? School of Computer Science and Informatics Cardiff University ? Data Innovation Research Institute Cardiff University ? Institute for Research Development, Training and Advice (IRDTA), Brussels/London ? https://irdta.eu/slsp2020/ ? ********************************************************************************** ? AIMS: ? SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2020, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. ? Previous events took place in Tarragona, Grenoble, Budapest, Pilsen, Le Mans, Mons, and Ljubljana. ? VENUE: ? SLSP 2020 will take place in Cardiff, the capital of Wales and its political, commercial and cultural centre. The venue will be: ? Council Chamber Glamorgan Building King Edward VII Ave Cathays Park Cardiff CF10 3WT ? https://www.cardiff.ac.uk/visit/accessibility/cathays-park-campus/glamorgan-building ? SCOPE: ? The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: ? Anaphora and coreference resolution Audio event detection Authorship identification, plagiarism, and spam filtering Biases, explainability and interpretability in language and speech processing Corpora and resources for speech and language Data mining, term extraction, and semantic web Dialogue systems and spoken language understanding Information retrieval and information extraction Knowledge representation and ontologies Lexicons and dictionaries Machine translation and computer-aided translation Multimodal technologies Natural language understanding and generation Neural representation of speech and language Opinion mining and sentiment analysis Part-of-speech tagging, parsing, and semantic role labelling Question-answering systems for speech and text Speaker identification and verification Speech recognition and synthesis Spelling correction Text categorization and summarization Text normalization and inverted text normalization Text-to-speech User modeling Wake word detection ? STRUCTURE: ? SLSP 2020 will consist of: ? invited lectures peer-reviewed contributions posters ? KEYNOTE SPEAKERS: ? Dilek Hakkani-T?r (Amazon), Neural Response Generators for Social Conversations ? John H.L. Hansen (University of Texas, Dallas), Challenges and Advancements in Speaker Diarization & Recognition for Naturalistic Data Streams ? Mark A. Hasegawa-Johnson (University of Illinois, Urbana-Champaign), Automatic Discovery of Phoneme Inventories for Speech Technology in Under-resourced Languages ? PROGRAMME COMMITTEE: ? Mahmoud Al-Ayyoub (Jordan University of Science and Technology, JO) Chitta Baral (Arizona State University, US) Jon Barker (University of Sheffield, UK) Jean-Fran?ois Bonastre (University of Avignon, FR) Fethi Bougares (University of Le Mans, FR) Felix Burkhardt (audEERING, DE) Nicoletta Calzolari (National Research Council, IT) Bill Campbell (Amazon, US) Angel Chang (Simon Fraser University, CA) Kenneth W. Church (Baidu Research, US) Philipp Cimiano (Bielefeld University, DE) Carol Espy-Wilson (University of Maryland, US) Nikos Fakotakis (University of Patras, GR) Marcello Federico (Amazon AI, US) Robert Gaizauskas (University of Sheffield, UK) Ond?ej Glembek (Brno University of Technology, CZ) Ralph Grishman (New York University, US) Thomas Hain (University of Sheffield, UK) Gareth Jones (Dublin City University, IE) Martin Karafi?t (Brno University of Technology, CZ) Philipp Koehn (Johns Hopkins University, US) Haizhou Li (National University of Singapore, SG) Carlos Mart?n-Vide (Rovira i Virgili University, ES, chair) Seiichi Nakagawa (Chubu University, JP) Fuchun Peng (Facebook, US) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Paolo Rosso (Technical University of Valencia, ES) Diana Santos (University of Oslo, NO) Irena Spasi? (Cardiff University, UK) Tomek Strzalkowski (Rensselaer Polytechnic Institute, US) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Tomoki Toda (Nagoya University, JP) Isabel Trancoso (Instituto Superior T?cnico, PT) K. Vijay-Shanker (University of Delaware, US) Hsin-Min Wang (Academia Sinica, TW) Andy Way (Dublin City University, IE) Caiming Xiong (Salesforce, US) Steve Young (University of Cambridge, UK) Wlodek Zadrozny (University of North Carolina Charlotte, US) Guodong Zhou (Soochow University, CN) ? ORGANIZING COMMITTEE: ? Luis Espinosa-Anke (Cardiff) Sara Morales (Brussels) Manuel Parra-Roy?n (Granada) David Silva (London, co-chair) Irena Spasi? (Cardiff, co-chair) ? SUBMISSIONS: ? Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). ? Upload submissions to: ? https://easychair.org/conferences/?conf=slsp2020 ? PUBLICATIONS: ? A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. ? A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. ? REGISTRATION: ? The registration form can be found at: ? https://irdta.eu/slsp2020/registration/ ? DEADLINES (all at 23:59 CET): ? Paper submission: June 1, 2020 Notification of paper acceptance or rejection: July 6, 2020 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2020 Early registration: July 15, 2020 Late registration: September 30, 2020 Submission to the journal special issue: January 16, 2021 ? QUESTIONS AND FURTHER INFORMATION: ? david (at) irdta.eu ? ACKNOWLEDGMENTS: ? School of Computer Science and Informatics, Cardiff University / Prifysgol Caerdydd ? Data Innovation Research Institute, Cardiff University / Prifysgol Caerdydd ? IRDTA ? Institute for Research Development, Training and Advice, Brussels/London ? -------------- next part -------------- An HTML attachment was scrubbed... URL: