[Om-announce] LATA 2018: call for participation
LATA 2018: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2018 Bar-Ilan near Tel Aviv, Israel April 9-11, 2018 Organized by: Department of Computer Science Bar-Ilan University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/LATA2018/ PROGRAM Monday, April 9 09:00 - 09:30 Registration 09:30 - 09:40 Opening 09:40 - 10:30 Andrei Bulatov. Constraint Satisfaction Problems and Their Complexity - Invited lecture 10:30 - 11:00 Coffee break 11:00 - 12:15 Ekaterina Bakinova, Artem Basharin, Igor Batmanov, Konstantin Lyubort, Alexander Okhotin and Elizaveta Sazhneva. Formal Languages over GF(2) Laura Bozzelli, Adriano Peron and Aniello Murano. Event-clock Nested Automata J. Andres Montoya and Christian Nolasco. On the Synchronization of Planar Automata 12:15 - 13:45 Lunch 13:45 - 14:35 Markus Lohrey. Streaming Algorithms in Formal Language Theory - Invited lecture 14:35 - 14:50 Break 14:50 - 16:05 Maris Valdats. Descriptional and Computational Complexity of the Circuit Representation of Finite Automata Alexey Zhirabok and Alexey Shumsky. Disturbance Decoupling in Finite Automata Johannes K. Fichte, Markus Hecher and Irina Schindler. Default Logic and Bounded Treewidth 16:05 - 16:20 Break 16:20 - 17:10 Stefan Gerdjikov. A General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers Demen Güler, Andreas Krebs, Klaus-Joern Lange and Petra Wolf. Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy --- Tuesday, April 10 09:00 - 09:50 Alexander Okhotin. Underlying Principles and Recurring Ideas of Formal Grammars - Invited lecture 09:50 - 10:20 Coffee break 10:20 - 11:35 Sanjay Jain, Eric Martin and Frank Stephan. Transduced Learners Rick Smetsers, Paul Fiterau-Brostean and Frits Vaandrager. Model Learning as a Satisfiability Modulo Theories Problem Andrei Asinowski, Axel Bacher, Cyril Banderier and Bernhard Gittenberger. Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative Aspects 11:35 - 11:50 Break and Group photo 11:50 - 13:05 Ferdinando Cicalese, Zsuzsanna Liptak and Massimiliano Rossi. Bubble-Flip - A New Generation Algorithm for Prefix Normal Words Murray Elder and Yoong Kuan Goh. Permutations Sorted by a Finite and an Infinite Stack in Series Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter and Tomasz Walen. On Periodicity Lemma for Partial Words 13:05 - 14:35 Lunch 14:35 - 15:25 Eli Shamir. Reshaping the Context-free Model: Linguistic and Algorithmic Aspects - Invited lecture 15:30 - Visit to Jerusalem --- Wednesday, April 11 09:00 - 09:50 James Worrell. Invariants for Linear Loops - Invited lecture 09:50 - 10:20 Coffee break 10:20 - 11:35 Dmitry Berdinsky and Phongpitak Trakuldit. Measuring Closeness between Cayley Automatic Groups and Automatic Groups Thomas Chatain, Maurice Comlan, David Delfieu, Loig Jezequel and Olivier H. Roux. Pomsets and Unfolding of Reset Petri Nets Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare. Timed Comparisons of Semi-Markov Processes 11:35 - 11:50 Break 11:50 - 13:05 Markus Saers and Dekai Wu. Handling Ties Correctly and Efficiently in Viterbi Training Using the Viterbi Semiring Uli Schlachter. Over-approximative Petri Net Synthesis for Restricted Subclasses of Nets Christoph Teichmann, Antoine Venant and Alexander Koller. Efficient Translation with Linear Bimorphisms 13:05 - 13:15 Closing 13:15 - Lunch ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] Call for Papers: ARES 2018
ARES 2018 - CALL FOR PAPERS ** The 13th International Conference on Availability, Reliability and Security (ARES 2018) August 27 - August 30, 2018, Hamburg, Germany http://www.ares-conference.eu ** ICS-CSR 2018 (https://ics-csr.com/) & CD-MAKE 2018 (https://cd-make.net/) co-located with ARES! *** ARES CONFERENCE The 13th International Conference on Availability, Reliability and Security ("ARES - The International Dependability Conference") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of dependability - with special focus on the crucial linkage between availability, reliability and security. ARES aims at a full and detailed discussion of the research issues of dependability as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications. ARES will emphasize the interplay between foundations and practical issues of dependability in emerging areas such as e-government, m-government, location-based applications, ubiquitous computing, autonomous computing, chances of grid computing etc. ARES is devoted to the critical examination and research challenges of the various aspects of Dependable Computing and the definition of a future road map. Selected papers that are accepted by and presented at the ARES Conference will be published, after further revision, in special issues of international journals (e.g. Springer EURASIP Journal on Information Security). The acceptance rate of the ARES 2017 conference was 24% (full papers only). ARES 2017 was published by the International Conference Proceedings Series published by ACM (ACM ICPS). ARES is ranked as B-conference in CORE. Qualis (backed by Brazilian Ministry) ranked ARES and Esorics as leading security conference in Europe (A2) l papers only). CONFERENCE OFFICERS General Chairs 2018 Mathias Fischer, Universität Hamburg, Germany Dominik Herrmann, Universität Hamburg, Germany Program Committee Chairs 2018 Christian Doerr, TU Delft, Netherlands Sebastian Schrittwieser, FH St. Pölten, Austria IMPORTANT DATES Submission Deadline: March 16, 2018 23:59 UTC-11 Author Notification: May 30, 2018 Proceedings Version: June 29, 2018 Conference: August 27 - August 30, 2018 SUBMISSION ARES 2018 will be published by the International Conference Proceedings Series published by ACM (ACM ICPS). Authors are invited to submit research and application papers according the following guidelines: two columns, single-spaced, including figures and references, using 10 pt fonts and number each page. For the main conference as well as the workshops submission papers are classified into 3 categorizes representing original, previously unpublished work: -full paper (10 pages) -short paper (6 pages) -workshop paper (8 pages, a maximum of 10 pages is tolerated) Formating Instructions / template: Please read the template instructions carefully before submitting a paper, they can be found here (http://www.acm.org/publications/article-templates/proceedings-template.html/). Papers submitted to ARES 2018 have to use the SigConf template! Submitted papers will be carefully evaluated based on originality, significance, technical soundness, presentation and clarity of exposition. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. ARES, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. Contact author must provide the following information at the ARES conference system: paper title, authors' names, affiliations, postal address, phone, fax, and e-mail address of the author(s), about 200-250 word abstract, and about five keywords. Accepted papers will be given guidelines in preparing and submitting the final manuscript(s) together with the notification of acceptance. Double blind review: ARES requires anonymized submissions - please make sure that submitted papers contain no author names or obvious self-references. Submission of a paper implies that should the paper be accepted, at least one of the authors will register and present the paper in the conference. The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2018 Publishing preprints to Arxiv or other, open repositories is allowed prior to the notification of ARES and does not violate the requirement for novelty. Reviewers will be asked to not search for and ignore preprints that can deanonymize blinded
[Om-announce] Call for Papers: CD-MAKE 2018
Call for Papers International IFIP Cross Domain Conference for Machine Learning & Knowledge Extraction CD-MAKE in Hamburg (Germany) August 27 - August 30, 2018 https://cd-make.net CD stands for Cross-Domain and means the integration and appraisal of different fields and application domains (e.g. Health, Industry 4.0, AAL, Automotive Engineering etc.) to provide an atmosphere to foster different perspectives and opinions. The conference is dedicated to offer an international platform without any boundaries for novel ideas and a fresh look on the methodologies to put crazy ideas into Business for the benefit of the human. Serendipity is a desired effect, and shall cross-fertilize methodologies and transfer of algorithmic developments. MAKE stands for MAchine Learning & Knowledge Extraction. CD-MAKE is a joint effort of IFIP TC 5, IFIP WG 8.4, IFIP WG 8.9 and IFIP WG 12.9 and is held in conjunction with the International Conference on Availability, Reliability and Security (ARES). Keynote Speakers are Neil D. LAWRENCE (Amazon) and Marta MILO (University of Sheffield). IFIP is the International Federation for Information Processing and the leading multi-national, non-governmental, apolitical organization in Information & Communications Technologies and Computer Sciences, is recognized by the United Nations and was established in the year 1960 under the auspices of the UNESCO as an outcome of the first World Computer Congress held in Paris in 1959. Papers are sought from the following seven topical areas. Papers which deal with fundamental questions and theoretical aspects in machine learning are very welcome. 1) DATA - Data science (data fusion, preprocessing, mapping, knowledge representation), 2) LEARNING - Machine learning algorithms, 3) VISUALIZATION - and visual analytics 4) PRIVACY - data protection, safety, security, ethics, acceptance and social issues of ML 5) NETWORK - graphical models, graph-based ML 6) TOPOLOGY - geometrical machine learning, topological data analysis 7) ENTROPY - time and machine learning, entropy-based ML Important Dates: Paper Submission Deadline: April, 1, 2018 Author Notification: May, 27, 2018 Author Registration (latest): June, 17, 2018 Camera Ready (hard deadline!): June 27, 2018 Conference: August 27 - 30, 2018 The CD-MAKE Submission System (EasyChair) can be found here: https://easychair.org/conferences/?conf=cdmake2018 2017 Accepted Papers have been published by Springer LNCS. Outstanding contributions will be invited to special issues of journals (see Website - special sessions). Call for Papers due to April 1, 2018 ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE EXTENDED
[Please circulate. Apologies for multiple copies.] DEADLINE EXTENDED WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/i nstructions.html for instructions.) A title and single-paragraph abstract should be submitted by *Mar 18, 2018,* and the full paper by *Mar 25, 2018* (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Katalin Bimbo (Univ of Alberta, Canada) Xavier Caicedo (Univ de Los Andes, Colombia) José Meseguer (Univ of Illinois, Urbana-Champaign, USA) Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil) Guillermo Simari (Univ Nacional del Sur, Argentina) Renata Wassermann (Univ de São Paulo, Brazil) SPECIAL SCREENING - A TRIBUTE TO THE MEMORY AND LEGACY OF RAYMOND SMULLYAN As a tribute to the memory and legacy of the late Raymond Smullyan, who passed away in February 2017, there will be a special session with a screening of the documentary film "This Film Needs No Title: A Portrait of Raymond Smullyan" (Dir. Tao Ruspoli, 2006, 30min), as well as short testimonies by experts. STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html for details.
[Om-announce] Deadline extended - 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018)
CALL FOR PAPERS *** Submission deadline extended to March 16, 2018 (11:59 p.m. American Samoa time) *** ** 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018) Beijing, China - May 30-June 1, 2018 http://spc2018.di.unimi.it/ ** Cloud computing is today the reference paradigm for large-scale data storage and processing due to the convenient and efficient network access to configurable resources that can be easily adjusted according to the users’ needs. Although the benefits of cloud computing are tremendous, security and privacy concerns have still a detrimental impact on the adoption and acceptability of cloud services. In fact, users as well as companies that rely on cloud storage and computation services lose the direct control over the systems managing their data and applications, thus putting the confidentiality, integrity and availability of the data at risk. The goal of this workshop is to bring together researchers and practitioners who are interested in discussing the security, privacy, and data protection issues emerging in cloud scenarios, and possible solutions to them. SPC 2018 is the fourth workshop in this series and will be held in Beijing, China, on May 30-June 1, in conjunction with the IEEE Conference on Communications and Network Security (IEEE CNS 2018). The workshop seeks submissions from academia, industry, and government presenting novel research, as well as experimental studies, on all theoretical and practical aspects of security, privacy, and data protection in cloud scenarios. Topics of interest include, but are not limited to: - Anonymity in cloud scenarios - Applied cryptography in cloud scenarios - Cloud-based biometric systems - Data and application security - Data and system integrity - Data availability in outsourcing scenarios - Data protection - Efficient access to outsourced data - Key management in cloud scenarios - Privacy - Privacy of accesses - Secure computation over encrypted data - Security and trust metrics - Security and privacy in crowdsourcing - Security and privacy in multi-clouds and federated clouds - Security and privacy in data outsourcing - Security and privacy in the Internet of Things - Security and privacy of big data - Security and privacy of distributed computations - Security and privacy of fog computing - Security and privacy policies - Selective information sharing - Threats, vulnerabilities, and risk management PAPER SUBMISSIONS Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Submissions should be at most 9 pages in the IEEE 8,5"x11" two-column format. Submissions should not be anonymized. The workshop will also consider short submissions of up to 4 pages for results that are preliminary or that simply require few pages. Papers should be submitted for review through EDAS (http://edas.info/N24475). Only PDF files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the extended deadline of March 16, 2018 (11:59 p.m. American Samoa time). Authors of accepted papers must guarantee that their papers will be presented at the workshop. Accepted and presented papers will be included in the IEEE CNS 2018 conference proceedings and also in IEEE Xplore as well as other Abstracting and Indexing (A) databases. IMPORTANT DATES Paper submission due: March 16, 2018 (11:59 p.m. American Samoa time) [extended] Notification to authors: March 26, 2018 Camera ready due: April 2, 2018 PC CHAIR Sara Foresti, Universita' degli Studi di Milano, Italy PUBLICITY CHAIR Giovanni Livraga, Universita' degli Studi di Milano, Italy PROGRAM COMMITTEE Massimiliano Albanese, George Mason University, USA Daniel Bernau, SAP, Germany Andrew Byrne, EMC-DELL, Ireland Sherman S.M. Chow, The Chinese University of Hong Kong, Hong Kong Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy Giovanni Di Crescenzo, Vencore Labs, USA Josep Domingo-Ferrer, Universitat Rovira i Virgili, Spain Ghassan Karame, NEC Laboratories Europe, Germany Florian Kerschbaum, University of Waterloo, Canada Giovanni Livraga, Universita' degli Studi di Milano, Italy Wenjing Lou, Virginia Tech, USA David Nunez, Universidad de Malaga, Spain Melek Onen, EURECOM, France Stefano Paraboschi, Universita' degli Studi di Bergamo, Italy Pierangela Samarati, Universita' degli Studi di Milano, Italy Andreas Schaad, WIBU, Germany Anoop Singhal, NIST, USA Vicenc Torra, University of Skovde, Sweden Cong Wang, City University of Hong Kong, Hong Kong Lingyu Wang, Concordia University, Canada Meng Yu, University of Texas at San Antonio, USA If you have any question, please contact the organizers at spc2...@di.unimi.it
[Om-announce] SAS 2018: Call for Papers
- SAS 2018 25th Static Analysis Symposium Freiburg im Breisgau, Germany, August 29th-August 31st, 2018 http://staticanalysis.org/sas2018 - = = = New: Invited Talks, Invited Tutorials, Affiliated Events = = = = = = Submission deadline approaching: April 6th, 2018 = = = Objective Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany. Previous symposia were held in New York, Edinburgh, Saint-Malo, Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur. The proceedings of the conference will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of the Springer Lecture Notes in Computer Science (LNCS) series. Topics The technical program for SAS 2018 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: - Abstract domains - Abstract interpretation - Automated deduction - Data flow analysis - Debugging - Deductive methods - Emerging applications - Model checking - Program optimization and transformation - Program synthesis - Program verification - Security analysis - Tool environments and architectures - Theoretical frameworks - Type checking Paper Submission Submissions can address any programming paradigm including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science LNCS format, excluding bibliography and well-marked appendices (we may admit additional pages for the final version). Program Committee members are not required to read the appendices, and thus papers must be intelligible without them. Submissions are handled online: https://easychair.org/conferences/?conf=sas20180 Artifact Evaluation As in previous years, we are encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. The goal of the artifact submissions is to strengthen our field's scientific approach to evaluations and reproducibility of results. The virtual machines will be archived on a permanent Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work. Artifact submission is optional. We accept only virtual machine images that can be processed with Virtual Box. Details on what to submit and how will be sent to the corresponding authors by mail shortly after the paper submission deadline. The submitted artifacts will be used by the program committee as a secondary evaluation criterion whose sole purpose is to find additional positive arguments for the paper's acceptance. Furthermore, an Artifact Evaluation Committee will assess artifacts and will award an "Artifact Approved" stamps to accepted papers that come with an artifact that allows to reproduce the results presented in the paper. Submissions without artifacts are welcome and will not be penalized. Important Dates - Full paper submission: April 6th, 2018 (anywhere on earth) - Artifact submission: April 20th, 2018 (anywhere on earth) - Notification: June 5th, 2018 - Final version due: July 6th, 2018 - Conference: August 29th-August 31st, 2018 Radhia Cousot Young Researcher Award Since 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. Invited Talks - Aws Albarghouthi (University of Wisconsin-Madison, USA) Program Fairness through the Lens of Formal Methods - Zak Kincaid
[Om-announce] [Extended deadline - Call for Papers]: Workshop on Industrial Internet of Things Security (WIIoTS)
*** Apologies for multiple copies *** E x t e n d e d D e a d l i n e C a l l F o r P a p e r s Workshop on Industrial Internet of Things Security (WIIoTS) Bilbao, Spain, June 4-7, 2018 (in conjunction with Global IoT Summit 2018) http://globaliotsummit.org/sites/default/files/WIIoTS-2018.pdf Extended Submission due: March 27, 2018 (GMT) Conference Outline: The Industrial Internet of Things (IIoT) is an emerging paradigm in today’s (control) industry, comprising Internet-enabled cyber-physical devices with the ability to couple to the new interconnection technologies such as cloud/fog computing. Under this perspective, the new industrial cyber-physical “things” can be accessible and available from remote locations, the information of which can be processed and stored in distributed locations, favouring the cooperation, the performance in field, and the achievement of operational tasks working at optimal times. However, the incorporation of the IIoT in the new scenarios of the fourth industrial revolution, also known as Industry 4.0, entails having to consider the new security and privacy issues that can threaten the wellbeing of the new IIoT ecosystem and its coexistence with the existing industrial technologies, with a high risk of impact on the end-users. Therefore, this workshop will create a collaboration platform for experts from academia, governments and industry to address the new IIoT security and privacy challenges. Papers related to security and privacy of embedded systems working in industrial and control environments, such as SCADA, smart grid, smart cities, manufacturing systems, water systems, and in critical infrastructures in general, are all welcome at WIIoTS 2018. The technical topics of interest for this workshop include, but are not limited to: • Interoperable IIoT ecosystem-level security and privacy challenges • IIoT governance, regulation and standards • Cross-layer threat modelling in IIoT and risk assessment • Lightweight cryptography and key management • Lightweight IIoT security protocols and AAA services for IIoT • Collaborative and trustworthy IIoT frameworks and architectures • Privacy-preserving models and anonymization techniques for IIoT • Secure IIoT data storage and Big Data • Location privacy and trust management • Intrusion detection, anomaly diagnosis and situational awareness for IIoT • Response and resilience to IIoT cyber-attacks • Incident management and IIoT forensics • Case studies and practical validations: SCADA, energy, water, smart factory, etc. Important Dates: • Extended Submission due: March 27, 2018 (GMT) • Notification: April 25, 2018 • Camera-ready due: May 10, 2018 Program Chair: == • Cristina Alcaraz (University of Malaga, Spain) General Co-Chairs: == • Javier Lopez (University of Malaga, Spain) • Yan Zhang (University of Oslo, Norway) Technical Program Committee: • Alvaro Cardenas (University of Dallas, USA) • Christos Xenakis (University of Piraeus) • Dimitris Gritzalis (Athens University of Economics and Business) • Federica Pascucci (University of Roma Tre, Italy) • Kim-Kwang Raymond Choo (University of Texas, USA) • Luca Faramondi (University Campus Bio-Medico) • Mihalis Psarakis (University of Piraeus, Greece) • Nils Ole Tippenhauer (Information Systems Technology and Design (ISTD), Singapore) • Panayiotis kotzanikolaou (University of Piraeus, Greece) • Rakesh Bobba (Oregon State University, USA) • Rodrigo Roman (University of Malaga, Spain) • Sherali Zeadally (University of Kentucky, USA) • Urko Zurutuza Ortega (University of Mondragon, Spain) • Xinyi Huang (Fujian Normal University, China) Publicity Chair: • Juan E. Rubio (University of Malaga, Spain) Submission Instructions: Final submissions must not substantially overlap papers already or simultaneously submitted to a journal or a conference with proceedings. Their contents should be written in English with a maximum paper length of six (6) printed pages see web conference for instructions. Papers must be submitted through EDAS. "IEEE reserves the right to exclude a paper from distribution after the conference, including IEEE Xplore® Digital Library, if the paper is not presented by the author at the conference." Contact: Email: alca...@lcc.uma.es WIIoTS Home: http://globaliotsummit.org ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis
-- (apologies for multiple copies) Call for Papers 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: Pierre Ganty (IMDEA Software Institute) Hiroshi Unno (University of Tsukuba) Submission deadlines: - Paper submission: 15 April 2018 - Paper notification: 15 May 2018 - Camera-ready: 31 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Giorgio Delzanno (Universita degli Studi di Genova) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University and IMDEA Software Institute) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 -- ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce