From maurice.terbeek at isti.cnr.it Fri Jul 6 15:24:50 2018 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Fri, 06 Jul 2018 15:24:50 +0200 Subject: [fg-arc] Second Call for Papers: FSEN 2019 Message-ID: ###################################################################### SECOND CALL FOR PAPERS Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19) http://fsen.ir/2019 Tehran, Iran May 1-3, 2019 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, May 1-3, 2019. -- Important Dates -- Abstract Submission (optional): October 19, 2018 (AoE) Paper Submission: October 28, 2018 (AoE) Notification: December 18, 2018 Final pre-Conference Version: January 20, 2019 (AoE) Conference: May 1-3, 2019 -- Keynote Speakers -- Rocco De Nicola - IMT School for Advanced Studies Lucca, Italy Giovanna Di Marzo Serugendo - University of Geneva, Switzerland Martin Wirsing - LMU Munich, Germany -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in Postscript or PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2019. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS post-proceedings and conference pre-proceedings 2) Short paper for the LNCS post-proceedings and conference pre-proceedings 3) Poster included only in the pre-proceedings Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'19 will be published by Springer Verlag in the LNCS series (to be confirmed). Pre-proceedings, printed locally by IPM, will be available at the conference. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'19 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Hossein Hojjat - Rochester Institute of Technology, USA Mieke Massink - CNR-ISTI Pisa, Italy -- Publicity Chair -- Maurice ter Beek - CNR-ISTI Pisa, Italy -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland (Chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran Erika Abraham - RWTH Aachen University, Germany Gul Agha - University of Illinois at Urbana - Champaign, USA Christel Baier - Technische Universitat Dresden, Germany Ezio Bartocci - Vienna University of Technology, Austria Marcello Bonsangue - Leiden University, Netherlands Mario Bravetti - University of Bologna, Italy Michael Butler - University of Southampton, UK Erik de Vink - Eindhoven University of Technology, Netherlands Alessandra Di Pierro - University of Verona, Italy Ali Ebnenasir - Michigan Technological University, USA Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands Adrian Francalanza - University of Malta, Malta Masahiro Fujita - University of Tokyo, Japan Maurizio Gabbrielli - University of Bologna, Italy Fatemeh Ghassemi - University of Tehran, Iran Jan Friso Groote - Eindhoven University of Technology, Netherlands Hassan Haghighi - Shahid Beheshti University, Iran Philipp Haller - KTH Royal Institute of Technology, Sweden Mohammad Izadi - Sharif University of Technology, Iran Narges Khakpour - Linnaeus University, Sweden Ramtin Khosravi - University of Tehran, Iran Natallia Kokash - IT Consultant NK Research, Netherlands Eva K?hn - Vienna University of Technology, Austria Kim Larsen - Aalborg University, Denmark Zhiming Liu - Southwest University, China Hassan Mirian-Hosseinabadi - Sharif University of Technology, Iran Emanuela Merelli - University of Camerino, Italy Ugo Montanari - University of Pisa, Italy Mohammad Reza Mousavi - University of Leicester, UK Ali Movaghar - Sharif University of Technology, Iran Peter Mosses - Swansea University, UK Magnus O. Myreen - Chalmers University, Sweden Shiva Nejati - University of Luxembourg, Luxembourg Peter Olveczky - University of Oslo, Norway Jose Proenca - INESC TEC & Universidade do Minho, Portugal Wolfgang Reisig - Humboldt-Universitat zu Berlin, Germany Philipp Ruemmer - Uppsala University, Sweden Gwen Salaun - University of Grenoble Alpes, Inria, France Cristina Seceleanu - M?lardalen University, Sweden Marjan Sirjani - M?lardalen University & Reykjavik University, Sweden/Iceland Marielle Stoelinga - University of Twente & Radboud University, Netherlands Meng Sun - Peking University, China Carolyn Talcott - SRI International, USA From erwan.bousse at tuwien.ac.at Thu Jul 5 10:43:19 2018 From: erwan.bousse at tuwien.ac.at (Bousse, Erwan Gwendal) Date: Thu, 5 Jul 2018 08:43:19 +0000 Subject: [fg-arc] 2nd CFP - Workshop on the Globalization of Modeling Languages (GEMOC 2018) - co-located with MODELS 2018 Message-ID: <2f98a178bb3f5c59b4c98907dc94f8ae959c7b60.camel@tuwien.ac.at> ----------------------------------------------------------------------- 2nd Call for Papers: 6th International Workshop on the Globalization of Modeling Languages (GEMOC 2018) co-located with MODELS 2018, October 15 2018, Copenhagen, Denmark http://gemoc.org/events/gemoc2018 ----------------------------------------------------------------------- We are pleased to invite you to submit papers to the 6th International Workshop on the Globalization of Modeling Languages (GEMOC 2018), held in conjunction with the ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Copenhagen, Denmark, on October 15 2018. --------------------------- Context and Motivation --------------------------- Software intensive systems are becoming more complex, driven by the need to integrate across multiple concerns. Consequently, the development of such systems requires the integration of different concerns and skills. These concerns are usually covered by different languages, with specific concepts, technologies and abstraction levels. This multiplication of languages eases the development related to one specific concern but raises language and technology integration problems at the different stages of the software life cycle. In order to reason about the global system, it becomes necessary to explicitly describe the different kinds of relationships that exist between the different languages used in the development of a complex system. To support effective language integration, there is a pressing need to reify and classify these relationships, as well as the language interactions that the relationships enable. The 2018 edition of the GEMOC workshop will follow the successful previous five editions: GEMOC at MODELS 2013 in Miami, USA, GEMOC at MODELS 2014 in Valencia, Spain, GEMOC at MODELS 2015 in Ottawa, Canada, GEMOC at MODELS 2016 in Saint-Malo, France, and GEMOC at MODELS 2017 in Austin, TX, USA. This edition will complete the state-of-the-art and practice initiated during the last years. It will also strengthen the community that broadens the current DSML research focus beyond the development of independent DSMLs to a research focus that provides support for globalized DSMLs. GEMOC 2018 is supported by the GEMOC initiative and its associated Eclipse Research consortium, which promotes research seeking to develop the necessary breakthroughs in software languages to support global software engineering, i.e., breakthroughs that lead to effective technologies supporting different forms of language integration, including language collaboration, interoperability and composability. --------------------------- Keynote --------------------------- A keynote will be given by Mark van den Brand, Full Professor at Eindhoven University of Technology (TU/e). Title: ?Model Driven Software Engineering creates the legacy of tomorrow? --------------------------- Topics --------------------------- The topics of interest for GEMOC 2018 include: * Tools and methods for engineering modeling languages * Composability and interoperability of heterogeneous modeling languages * Language integration challenges, from requirement to design, for analysis and simulation, during runtime, etc. * Model and metamodel composition * Language interface, viewpoint * Heterogeneous modeling and simulation * Language-based socio-technical coordination * Multi-language or multi-disciplinary environment Submissions describing practical and industrial experience related to the use of heterogeneous modeling languages are also encouraged, particularly in the following application domains: * Cyber-Physical Systems, System of Systems * Internet of Services, Internet of Things * Complex Adaptive Systems * Smart City, Smart Building, Home automation * Smart Grids, management of renewable and intermittent energy sources * Industry 4.0 and the smart factory of the future --------------------------- Submissions --------------------------- As contributions, we expect early research results about the aforementioned topics, descriptions of case studies on the coordinated use of multiple modeling languages, and/or descriptions of practical experience, opinions and related approaches. Each contribution must be described in a short paper not exceeding 3 pages in the ACM sigconf format, or a full paper not exceeding 6 pages in the ACM sigconf format. Each paper should describe problems, case studies, or solutions related to the topics of interest. Each paper is expected to highlight the relationships between modeling languages, as well as their management. Papers that describe use cases, or novel integration approaches can be accompanied by concrete artifacts, such as models (requirements, design, analysis, transformation, composition, etc.), stored in a public repository (e.g., ReMoDD). Artifacts should illustrate any experience on the conjoint use of different modeling languages. Submitted articles must not have been previously published or currently submitted for publication elsewhere. The program chairs will apply the principles of the ACM Plagiarism Policy throughout the submission and review process. All contributions will be reviewed and selected by the program committee members. Each contribution must be submitted electronically in PDF format via Easychair: https://easychair.org/conferences/?conf=gemoc2018 The accepted papers will be published by CEUR in the workshop proceedings. Also, participants will be strongly encouraged to participate in preparing the workshop report. --------------------------- Important Dates --------------------------- * Abstract submission deadline: July 10, 2018 * Paper submission deadline: July 17, 2018 * Notification of acceptance: August 17, 2018 * Workshop: October 15, 2018 --------------------------- Workshop Format --------------------------- The format of the workshop reflects the goals of the workshop: constructive feedback on submitted papers and other artifacts on the conjoint use of different modeling languages, collaborations, and community building. The format of the workshop is that of a working meeting. Hence, there is less focus on presentations and more focus on producing and documenting a research content that identifies challenges, different forms of language integration, and relates existing solutions. The workshop consists of a morning session in which a keynote and short presentations of the accepted papers will be given. A significant amount of time will be reserved for discussing each paper and their relations to each other. The afternoon session is devoted to a working session dedicated to open discussions of the presented contributions and other topics suggested by the participants. The closing session is dedicated to develop a plan to publish the results of the discussion in a final workshop report. --------------------------- Organizers --------------------------- * Erwan Bousse, TU Wien, Austria * Benoit Combemale, University of Toulouse, France * Jeff Gray, University of Alabama, USA Contact: gemoc2018 at gemoc.org --------------------------- Program Committee --------------------------- * Fr?d?ric Boulanger (CentraleSup?lec) * Eugene Syriani (University of Montreal) * Julien Deantoni (UNS - I3S - INRIA Sophia Antipolis Mediterranee) * Jonathan Corley (University of West Georgia) * Mark Van Den Brand (Eindhoven University of Technology) * Bernhard Rumpe (RWTH Aachen University) * Richard Paige (University of York) * Tony Clark (Sheffield Hallam University) * Marsha Chechik (University of Toronto) * Andreas Wortmann RWTH (Aachen University) * Tanja Mayerhofer (TU Wien) * Marjan Mernik (University of Maribor) From irdta at irdta.eu Fri Jul 6 17:17:38 2018 From: irdta at irdta.eu (IRDTA) Date: Fri, 06 Jul 2018 17:17:38 +0200 Subject: [fg-arc] SLSP 2018: call for posters Message-ID: <545102060a010b050853570a000a5a510003560257525500050001000f075b5952585303560e0105515e560b505355@grlmc_ip-zone_com-6> SLSP 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************ The 6th International Conference on Statistical Language and Speech Processing (SLSP 2018) invites researchers to submit poster presentations. SLSP 2018 will be held in Mons (Belgium) on October 15-16, 2018. See? http://slsp2018.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 8, 2018 Notification of poster acceptance or rejection: September 15, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2018. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2016 impact factor: 1.900). REGISTRATION At least one author of each accepted poster must register to the conference by October 1st, 2018. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Fri Jul 6 17:25:18 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Fri, 6 Jul 2018 17:25:18 +0200 Subject: [fg-arc] PPDP 2018: Call for Participation Message-ID: <174ebaf9-e874-0592-56f0-a0b7d828a7ab@ki.informatik.uni-frankfurt.de> ====================================================================== ??????????????? PPDP 2018: Call for Participation ====================================================================== ???????????????? 20th International Symposium on ??????? Principles and Practice of Declarative Programming ???????? Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html ??????????? (co-located with LOPSTR 2018 and WFLP 2018) ???????????? http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Registration ============ ?http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration ?Early registration ends on 15 August, 2018. Session in Honour of Martin Hofmann =================================== PPDP will include a session in honour of Martin Hofmann including a talk given by Nick Benton, Facebook on Semantic Equivalence Checking for HHVM Bytecode Invited Talks ============= -?? Philippa Gardner, Imperial College. ??? Testing and Verification for JavaScript (joint with LOPSTR) -?? Jorge Navas, SRI International. ??? Constrained Horn Clauses for Verification (joint with LOPSTR) -?? Chung-Chieh Shan, University of Indiana. ??? Calculating Distributions Accepted Papers =============== -?? Maciej Bendkowski and Pierre Lescanne. ??? Combinatorics of explicit substitutions -?? Manfred Schmidt-Schauss, David Sabel and Nils Dallmeyer. ??? Sequential and Parallel Improvements in a Concurrent Functional Programming Language -?? Magnus Madsen and Ondrej Lhotak. ??? Implicit Parameters for Logic Programming -?? Mistral Contrastin, Dominic Orchard and Andrew Rice. ??? Automatic reordering for dataflow safety of Datalog -?? Danil Annenkov and Martin Elsman. ??? Certified Compilation of Financial Contracts -?? Jos? Fragoso Santos, Petar Maksimovi?, Th?otime Grohens, Julian Dolby and Philippa Gardner. ??? Cosette: Symbolic Execution for JavaScript -?? Michael Hanus. ??? Verifying Fail-Free Declarative Programs -?? Dmitri Rozplokhas and Dmitry Boulytchev. ??? Improving Refutational Completeness of Relational Search via Divergence Test -?? Martin Sulzmann and Kai Stadtm?ller. ??? Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks -?? Sylvia Grewe, Sebastian Erdweg, Andr? Pacak and Mira Mezini. ??? An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers -?? Gopalan Nadathur and Yuting Wang. ??? Schematic Polymorphism in the Abella Proof Assistant -?? Stephan Adelsberger, Anton Setzer and Eric Walkingshaw. ??? Declarative GUIs: Simple, Consistent, and Verified -?? Genki Sakanashi and Masahiko Sakai. ??? Transformation of combinatorial optimization problems written in extended SQL into constraint problems -?? Yuki Nishida and Atsushi Igarashi. ??? Nondeterministic Manifest Contracts -?? Alberto Pardo, Emmanuel Gunther, Miguel Pagano and Marcos Viera. ??? An Internalist Approach to Correct-by-Construction Compilers -?? Falco Nogatz, Jona Kalkus and Dietmar Seipel. ??? Web-based Visualisation for Definite Clause Grammars using Prolog Meta-Interpreters -?? Helmut Seidl and Ralf Vogler. ??? Three improvements to the top-down solver -?? Flavien Breuvart and Ugo Dal Lago. ??? On Intersection Types and Probabilistic Lambda Calculi -?? Taku Terao. ??? Lazy Abstraction for Higher-Order Program Verification -?? Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, Jose F. Morales and Manuel V. Hermenegildo. ??? Static Performance Guarantees for Programs with Run-time Checks -?? Abhishek Dang and Piyush Kurur. ??? Verse: An EDSL for cryptographic primitives -?? Pablo Barenbaum, Eduardo Bonelli and Kareem Mohamed. ??? Pattern Matching and Fixed Points: Resources Types and Strong Call-By-Need Sponsors ======== ?PPDP is financially supported by the ?Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063, ?and by the Goethe-University Frankfurt am Main. Conference Organisers ===================== ?Program Committee ?? See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc ?Program Chair ?? Peter Thiemann, Universit?t Freiburg, Germany ?Organizing Committee (Goethe-University Frankfurt am Main, Germany) ??? Ehud Cseresnyes ??? Nils Dallmeyer ??? Bircan D?lek ??? Ronja D?ffel ??? Lars Huth ??? Leonard Priester ??? David Sabel (General Chair) From irdta at irdta.eu Tue Jul 10 01:23:53 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 10 Jul 2018 01:23:53 +0200 Subject: [fg-arc] BigDat 2019: early registration July 26 Message-ID: <545102060a010b050957560b04055a0407070c0754090e07570701500e0f5a545d5906060500090504055951010207@grlmc_ip-zone_com-6> BigDat 2019: early registration July 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ******************************************************** ? 5th INTERNATIONAL WINTER SCHOOL ON BIG DATA ? BigDat 2019 ? Cambridge, United Kingdom ? January 7-11, 2019 ? Co-organized by: ? Cambridge Big Data Initiative, University of Cambridge ? Institute for Research Development, Training and Advice (IRDTA) Brussels / London ? http://bigdat2019.irdta.eu/ ? ******************************************************** ? SCOPE: ? BigDat 2019 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, which covers 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 2 keynote lectures, 24 four-hour courses, 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 2019 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. ? 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. ? VENUE: ? BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be: ? tba ? KEYNOTE SPEAKERS: ? tba ? PROFESSORS AND COURSES: (to be completed) ? Thomas B?ck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications ? Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function ? Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications ? Nitesh Chawla (University of Notre Dame), tba ? Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society ? Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing ? David Gerbing (Portland State University), [introductory] Data Visualization with R ? Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data ? Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows ? Wladek Minor (University of Virginia), tba ? Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges ? Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning ? Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis ? Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services ? Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise ? Jaideep Srivastava (University of Minnesota), tba ? Mayte Su?rez-Fari?as (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R ? Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning ? Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit ? Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action ? Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning ? 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 title, authors, and summary of the research to david at irdta.eu by December 30, 2018. ? 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. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018. ? 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. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018. ? ORGANIZING COMMITTEE: (to be completed) ? Sara Morales (Brussels) Manuel J. Parra-Roy?n (Granada) David Silva (London, co-chair) ? REGISTRATION: ? It has to be done at ? http://bigdat2019.irdta.eu/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 approximation 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 facility 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. ? 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: ? Cambridge Big Data Initiative, University of Cambridge ? Institute for Research Development, Training and Advice (IRDTA) ? Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthias.gudemann at gmail.com Wed Jul 11 06:55:49 2018 From: matthias.gudemann at gmail.com (=?UTF-8?Q?Matthias_G=C3=BCdemann?=) Date: Wed, 11 Jul 2018 06:55:49 +0200 Subject: [fg-arc] 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019 Message-ID: 34th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Limassol, Cyprus April 8 ? 12, 2019 https://www.sigapp.org/sac/sac2019/ https://sites.google.com/site/sacsvt2019/home svt.sac.2019 at gmail.com https://twitter.com/SvtSac Important dates =============== Sep. 10, 2018 - Submission of regular papers and SRC research abstracts Nov. 10, 2018 - Notification of paper / SRC abstract acceptance/rejection Nov. 25, 2018 - Camera-ready copies of accepted papers/SRC Dec. 10, 2018 - Author registration due date ACM Symposium on Applied Computing ================================== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2019 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Cyprus, Limassol, Cyprus. Software Verification and Testing Track ======================================= The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification Submission Guidelines ===================== Paper submissions must be original, unpublished work. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within eight two-column pages (an extra two pages, to a total of ten pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2019 proceedings. Paper registration is required, allowing the inclusion of papers, posters, or SRC abstracts in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts will result in excluding them from the ACM/IEEE digital library. After the Symposium we will organize a special issue of the Software Quality Journal (SQJ) on the topics of SVT. Student Travel Award ==================== The SIGAPP Student Travel Award Program (STAP) was established to provide financial support for SIGAPP student members to attend SIGAPP primary conference (SAC) to present their accepted work. Student primary authors and co-authors are eligible to apply for these awards. For details please see: https://www.sigapp.org/stawards.html Student Research Competition ============================ As previous editions, SAC 2019 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.sigapp.org/sac/sac2019/. Program Committee Chairs ======================== Leonardo Mariani, University of Milano Bicocca Matthias Guedemann, Diffblue Ltd. Program Committee ================= will be announced in time on the webpage From announce at cs.ucy.ac.cy Wed Jul 11 11:34:27 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 11 Jul 2018 12:34:27 +0300 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): Last Call for Papers Message-ID: *** LAST CALL FOR PAPERS *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycwkyMzgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 *** Submission Deadline: 31 July, 2018 *** *** Proceedings published by IEEE *** *** Special issue: Journal of Industrial Integration and Management, World Scientific *** WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycwkyMzgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: Enterprise Systems for Industry 4.0 ? Business-IT Alignment and IT Agility ? Enterprise Modelling and Integration ? Decision Support Systems ? Enterprise Knowledge Engineering and Knowledge Management ? Enterprise Systems for Business Process Management ? Enterprise Systems for Case Management ? Information integration and interoperability ? Cross-organizational collaboration and virtual enterprise ? Integration of (legacy) enterprise applications and information ? Information Governance ? Enterprise Architecture and Engineering ? Service Oriented Architecture (SOA) Cyber Physical Systems for Industry 4.0 ? Artificial intelligence and autonomous systems ? Smart agents and systems ? Cloud computing techniques for industrial systems ? Cloud robotics ? Cloud-based automation and control systems ? Model based development for CPS ? Semantic technologies for CPS ? Formal methods for industrial and enterprise applications ? Smart logistics for complex services ? Intelligent Transportation Systems ? E-Health Systems ? Smart Grid Systems ? Smart Homes, Buildings, Communities, and Cities Internet of Things for Industry 4.0 ? Internet of Things, Services, and People ? Industrial internet and tactile internet ? Wireless sensor and actuator network ? Automation networks, field buses, and Time Sensitive Networks ? Green communications and computing ? Ultra-reliable and ultra-low latency networks ? Super dense networks ? Automotive networks and Internet-of-Vehicles ? New PHY/MAC design and signal processing techniques ? Next generation networks e.g. 5G for industries ? IP-fication and interoperability of communication technologies Big Data for Industry 4.0 ? Innovative approaches for data collection (e.g., sensor-based wearable devices, location-based mobile devices) ? Data analysis (e.g., new econometrics, machine learning, decision science models) of big data ? New methods to extract business intelligence from structured and unstructured business data (e.g. data in the form of text, video, audio, link structure, etc.) ? New methods for the creation, sharing and reuse of big data ? Tools and technologies for deploying and managing big data ? Cloud-based data storage and exchange ? New approaches to combine multiple methods of research on big data ? New methods introduced from reference disciplines (e.g. statistics, biology, medical science, computer science, physics, etc.) for the business analysis of big data Security and Privacy Protection for Industry 4.0 ? Security in industrial networks ? Smart device information leaks ? Trusted and trustworthy computing and cloud services ? Security in cloud-based enterprise infrastructure ? Cloud and cyber security ? Privacy preservation in data release ? Cryptography, key distribution, and security management ? Asymmetric encryption for low capacity devices ? Privacy and data governance System Engineering and Human Factors for Industry 4.0 ? System-of-systems methodology and practices ? Social networks and social computing ? Service design and engineering ? Management of innovation in complex enterprise environment ? Human-in-the-loop automation, control, operation, and optimization ? Advanced human-machine/computer/robot/facility-interaction ? Wearable technologies and human centric sensing ? User centric design of industrial and enterprise systems ? Collaboration between human workers and robots ? Social-industry information exchange ? Enablers, drivers, and use cases of the Social Sensing IoT-enabled Smart Manufacturing ? Cloud based innovation of business models and manufacturing eco-systems ? Cloud manufacturing, mass-customization, and flexible manufacturing ? Networked manufacturing infrastructure and services ? Flexible and rapid recombination and reconfiguration of workshop floors ? Task modelling, decomposition, and composition ? Sharing of distributed manufacturing facilities and fine grain scheduling ? Holistic optimization of manufacturing efficiency ? Interaction and integration of Cyber Factory and Physical Factory ? Evolution and integration of Manufacturing Execution Systems ? Product life cycle management ? Manufacturing Facility-as-a-Service PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: ? Full papers present final result. They must not exceed 8 pages. ? Short papers can contain preliminary results. They must not exceed 6 pages. ? Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycwkyMzgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycwkyMzgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for a special issue by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES ? Regular Paper Submissions (al types) due: 31st July 2018 ? Notification of Acceptance/Rejection: 25th August 2018 ? Camera-Ready Versions of Accepted Papers: 6th September 2018 ? Author Registration: 6th September 2018 ? Early Non-Author Registration: 10th September 2018 ? Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs ? Aurona Gerber, South Africa, IEEE SMC EAE TC Chair ? Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair ? Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs ? Ling Xia Li, Old Dominion University, USA ? Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand ? Yale Yu, Infosys Australia & New Zealand ? Chris Zhang, University of Saskatchewan, Canada ? Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycwkyMzgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From marcello.balduccini at gmail.com Wed Jul 11 20:40:42 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 11 Jul 2018 14:40:42 -0400 Subject: [fg-arc] KR 2018 ** WORKSHOP DEADLINES EXTENDED ** Message-ID: <201807111840.w6BIegcE100068@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 WORKSHOPS *** *** WORKSHOP DEADLINES EXTENDED *** 16th International Conference on Principles of Knowledge Representation and Reasoning --- WORKSHOPS --- Tempe, Arizona (USA) October 30-November 2, 2018 http://kr2018.org/ Co-located with DL 2018 [http://dl.kr.org/] and NMR 2018 [http://www.kr.org/NMR] Many KR 2018 Workshops have extended their deadlines, with new deadlines ranging from 21 July to 4th August. Please visit http://kr2018.org/?p=workshops_tutorials for more information. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2018 will feature prominent invited speakers and a number of exciting workshop and tutorial. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. The list of KR 2018 invited talks, workshops and tutorials can be found below. Please check the KR 2018 website for further information. WORKSHOPS (more details at http://kr2018.org/?p=workshops_tutorials) --------- W1: Knowledge Representation in Natural Languages W2: Reasoning about Actions and Processes: Planning, Verification and Synthesis W3: First Workshop on Induce and Deduce: Integrating learning of representations and models with deductive, explainable reasoning that leverages knowledge W4: Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine W5: Hybrid Reasoning and Learning W6: Third International Workshop on Ontology Modularity, Contextuality, and Evolution W7: Cognitive Robotics Workshop INVITED SPEAKERS ---------------- Michael Beetz (University of Bremen) William W. Cohen (Carnegie Mellon University) Oren Etzioni (Allen Institute for AI) Francesca Rossi (IBM Research and University of Padua) Mirek Truszczynski -- Great Moments in KR Talk (University of Kentucky) TUTORIALS (more details at http://kr2018.org/?p=workshops_tutorials) --------- T1: Belief Revision: 30 Years T2: Implementing KR Approaches with Tweety T3: An overview of ranking-based argumentation semantics T4: Knowledge, Strategy, and Know-How T5: Stream Reasoning - Incremental Reasoning Upon Rapidly Changing Information T6: Rulelog: Highly Expressive, Yet Scalable, Semantic Rules T7: From Game Description Language to Game Description Logics T8: Inconsistency-Tolerant Ontology-Mediated Query Answering CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universitat Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT University, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From patrizi at diag.uniroma1.it Fri Jul 13 11:12:58 2018 From: patrizi at diag.uniroma1.it (Fabio Patrizi) Date: Fri, 13 Jul 2018 11:12:58 +0200 Subject: [fg-arc] ACTIONS@KR18: DEADLINE EXTENSION Message-ID: **************************************************************************** DEADLINE EXTENSION Reasoning about Actions and Processes: Highlights of Recent Advances ACTIONS at KR18 http://www.diag.uniroma1.it/~kr18actions/ Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona (USA) **************************************************************************** The field of Reasoning about actions, a fundamental area of KR, is expanding to incorporate research from a wide range of other areas of AI and CS. In recent years, we have moved from standard forms of reasoning, such as action sequence executabilty and future effects (projection), to more sophisticated forms of reasoning which share many commonalities with other fields of CS, from verification in Formal Methods to process modeling and analysis in Business Process Management. Moreover, connections with planning are being extended to other forms of synthesis, such as generalized planning, MDPs/RL, supervisory control, reactive synthesis, etc. Papers from these various areas are dispersed across many conferences, which makes it difficult to follow the general direction of the field. Drawing upon a successful format followed in other fields (e.g., http://highlights-conference.org), the workshop aims to offer a wide picture of the latest research in the field and a chance to meet everybody in the community. Goal This workshop aims to bring together researchers working in a variety of areas of AI and CS -- including KR, planning, RL, verification, and synthesis -- to foster these emerging directions of reasoning about actions and processes. Format We invite submissions for presentations, not papers. We welcome a presentation on your favorite recent technical work, position paper, or open problems with clear and concise formulations of current challenges. The contributed talks will be 15-minutes long. All sessions will be designed to promote interaction between the attendees by holding frequent discussion periods for analysis and critique. The workshop will also have panel sessions on important emerging issues for the field and longer keynote talks. Submissions Submissions should have a single main author, who will be the speaker, and each speaker can have no more than one submission. Each submission must be at most 2-pages long and may refer to joint work with other collaborators to be credited in the presentation. There are no formal proceedings and we encourage submissions of work presented or submitted elsewhere (no copyright transfer is required, only permission to post the abstract on the workshop site). Topics of interest include but are not limited to: Reasoning about actions Representing and reasoning about processes Hierarchical abstractions of action models Generalized planning Verification and Synthesis of high level agent behaviors Agent behavior control Logic-based representation, action theories, temporal logics, logics of programs Stochastic representation, MDPs and Non-Markovian Decision Processes Learning dynamic behaviors, RL Partial observability, incomplete information, uncertainty Reasoning about beliefs, goals and intentions First-person vs third person view Plan, intention, and activity recognition Transparency, predictability and accountability of agents? behaviors Both theoretical and application-oriented contributions are welcome. Papers can be submitted via EasyChair: https://easychair.org/conferences/?conf=actionskr18 Important Dates Submission July 21, 2018 ***extended to August 4, 2018*** Notification August 25, 2018 ***extended to August 31, 2018*** Workshop October 28 & 29, 2018 Invited Talks To be announced. Registration For registration details see KR 2018 website. Organizing Committee Giuseppe De Giacomo University of Rome "La Sapienza" Andreas Herzig IRIT, CNRS, Universit? Paul Sabatier Yves Lesperance York University Marco Montali Free University Bozen-Bolzano Fabio Patrizi University of Rome "La Sapienza" Sasha Rubin University of Naples "Federico II" Siddharth Srivastava Arizona State University -------------- next part -------------- An HTML attachment was scrubbed... URL: From ijwa at dline.info Fri Jul 13 12:13:01 2018 From: ijwa at dline.info (ijwa at dline.info) Date: Fri, 13 Jul 2018 04:13:01 -0600 Subject: [fg-arc] FGCT 2018 In-Reply-To: References: Message-ID: <49148f0120a104231eb179580201f86a@dline.info> Call For Papers Seventh International Conference on Future Generation Communication Technologies (FGCT 2018) Xi?an Jiaotong-Liverpool University, Suzhou, Jiangsu, China November 19-21, 2018 http://www.socio.org.uk/fgct In the last decade, a number of newer communication technologies have been evolved, which have a significant impact on the technology, as a whole. The impact ranges from incremental applications to dramatical breakthrough in the society. Users rely heavily on broadcast technology, social media, mobile devices, video games and other innovations to enrich the learning and adoption process. The Seventh International Conference on Future Generation Communication Technologies (FGCT 2018) conference is designed for teachers, administrators, practitioners, researchers and scientists in the development arenas. It aims to provide discussions and simulations in the communication technology at the broad level and broadcasting technology and related technologies at the micro level. Through a set of research papers, using innovative and interactive approach, participants can expect to share a set of research that will prepare them to apply new technologies to their work in teaching, research and educational development amid this rapidly evolving landscape. Topics discussed in this platform are not limited to- Emerging cellular and new network architectures for 5G New antenna and RF technology for 5G wireless Modulation algorithms Circuits, software and systems for 5G Convergence of multi-modes, multi-bands, multi-standards and multi- applications in 5G systems Cognitive radio and collaborative transmissions in 5G Computing and processing platform for 5G Programming models and development tools to enable 5G systems Small cells and heterogeneous networks Metrics and Evaluation of 5G systems Standardization of 5G Deployment options such as small cells, eICIC, MIMO and CoMP LTE/WiFi interworking, carrier aggregation, dual connectivity C-RAN, D-RAN, mmWave, Massive MIMO and ultra-low latency Higher protocol layers Latency and traffic scheduling Broadcast technology Future Internet and networking architectures Future mobile communications Mobile Web Technology Mobile TV and multimedia phones Communication Security, Trust, Protocols and Applications Communication Interfaces Communication Modelling Satellite and space communications Communication software Future Generation Communication Networks Communication Network Security Communication Data Grids Collaborative Communication Technology Intelligence for future communication systems Forthcoming optical communication systems Communication Technology for Elearning, Egovernment, Ebusiness Games and games designing Social technology devises, tools and applications Crowdsourcing and Human Computation Human-computer communication Pervasive Computing Grid, crowd sourcing and cloud computing Hypermedia systems Software and technologies for E-communication Intelligent Systems for E-communication Future Cloud for Communication Future warehousing Future communication for healthcare and medical devices applications Future communication for Mechatronic applications All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. The selected papers after extension and modification will be published in many peer reviewed and indexed journals. International Journal of Computational Science and Engineering (Scopus and EI Indexed) Technologies (Scopus/EI) Australian Journal of Telecommunications and the Digital Economy (Scopus/EI) Journal of Digital Information Management Important Dates Submission of Papers: September 25, 2018 Notification of Acceptance: October 20, 2018 Camera Ready: November 10, 2018 Registration: November 10, 2018 Conference Dates: November 19-21, 2018 Programme Committee General Chair Ezendu Ariwa, UK IEEE Chair for TEMS, UK Programme Chairs Yong Yue, Xi?an Jiaotong-Liverpool University (XJTLU), China Adrian FLOREA, Lucian Blaga? University of Sibiu, Romania Programme Co-Chairs Ali Aloa, UK IEEE Secretary for TEMS, UK UK Pavel Loskot, University of Swansea, UK Submissions at-http://www.socio.org.uk/fgct/paper-submission/ contact: fgct at socio.org.uk --------------------------------- From announce at cs.ucy.ac.cy Mon Jul 16 14:46:00 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 16 Jul 2018 15:46:00 +0300 Subject: [fg-arc] The 34th ACM Symposium on Applied Computing (SAC 2019): Second Combined Call for Papers Message-ID: <3KT0EXEL-M8OS-A3M-NSJ5-2KKTX00J13J@cs.ucy.ac.cy> *** SECOND COMBINED CALL FOR PAPERS *** The 34th ACM Symposium on Applied Computing (SAC 2019) St. Raphael Resort, Limassol, Cyprus, April 8-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMzR0aCBBQ00gU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMgMjAxOSk6IFNlY29uZCBDb21iaW5lZCBDYWxsIGZvciBQYXBlcnMJMjQwCUxpc3RzCTE1MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.sigapp.org%2Fsac%2Fsac2019 For the past thirty-three years the ACM Symposium on Applied Computing (SAC) has been a primary and international forum for applied computer scientists, computer engineers and application developers to gather, interact and present their work. The ACM Special Interest Group on Applied Computing (SIGAPP) is the sole sponsor of SAC. The conference proceedings are published by ACM and are also available online through ACM's Digital Library. The 34th Annual SAC meeting will be held in April 2019 in Limassol, Cyprus, and is hosted by the University of Cyprus. The conference features the following tracks: ? Intelligent Robotics and Multi-Agent Systems (IRMAS) ? Knowledge Representation and Reasoning (KRR) ? Information Access and Retrieval (IAR) ? Software Verification and Testing (SVT) ? Computational Intelligence and Video & Image Analysis (CIVIA) ? Social Network and Media Analysis (SONAMA) ? Selected Areas of Wireless Communications and Networking (WCN) ? Recommender Systems: Theory and Applications (RS) ? Computer Security (SEC) ? Web-based Technologies for Interactive Computing Education (WICE) ? Data Mining (DM) ? Usability Engineering (UE) ? Cloud Computing (CC) ? Privacy by Design in Practice (PDP) ? Advances in COMputational Biomedical Imaging (COMBI) ? Operating Systems (OS) ? Software Platforms (SP) ? Decentralized Applications (DAPP) with Blockchain, DLT and Crypto-Currencies (DAPP) ? Databases and Big Data Management (DBDM) ? Requirements Engineering (RE) ? Cyber-Physical Systems (CPS) ? Software Architecture: Theory, Technology, and Applications (SA-TTA) ? Internet of Things (IoT) ? Sustainability of Fog/Edge Computing Systems (SFECS) ? Software-intensive Systems-of-Systems (SiSoS) ? Data Streams (DS) ? Programming Languages (PL) ? Business Process Management & Enterprise Architecture (BPMEA) ? Microservices, DevOps, and Service-Oriented Architecture (MiDOS) ? Health Informatics (HI) ? Dependable, Adaptive, and Secure Distributed Systems (DADS) ? GeoInformation Analytics (GIA) ? Knowledge and Language Processing (KLP) ? KomIS: Knowledge Discovery meets Information Systems (KomIS) ? Next Generation Programming Paradigms and Systems (NGPS) ? Communication, Computing and Networking in Internet of Vehicles (CCNIV) ? Bioinformatics (BIO) ? Embedded Systems (EMBS) ? Digital Life for Human Well-being (DLHWB) ? Networking (NET) ? Semantic Web and Applications (SWA) ? Mobile Computing and Applications (MCA) ? Software Engineering (SE) ? Variability and Software Product Line Engineering (VSPLE) ? Smart Human Computer Interaction (HCI) ? Web Technologies (WT) ? Machine Learning and its Applications (MLA) More information about the topics covered by each track and submission instructions are available on the conference web site and the web sites of the tracks themselves (accessible from the conference web site). Important Dates ? Sept 10, 2018: Submission of papers ? Nov 10, 2018: Author notification ? Nov 25, 2018: Camera-ready copies ? Dec 10, 2018: Author registration Committees http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMzR0aCBBQ00gU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMgMjAxOSk6IFNlY29uZCBDb21iaW5lZCBDYWxsIGZvciBQYXBlcnMJMjQwCUxpc3RzCTE1MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.sigapp.org%2Fsac%2Fsac2019/organization.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From rmscouto at hotmail.com Wed Jul 18 11:02:04 2018 From: rmscouto at hotmail.com (rui couto) Date: Wed, 18 Jul 2018 09:02:04 +0000 Subject: [fg-arc] [CFP] EICS 2019 : Engineering Interactive Computing System Message-ID: Call for papers PACMHCI Issue on Engineering Interactive Computing Systems http://eics.acm.org/pacm/ Submissions for Q3 due July 24th, 2018. AoE (Anywhere on Earth) ------------------------------------------------------------------------ OVERVIEW Proceedings of the ACM on Human-Computer Interaction (PACMHCI) is a new journal published by ACM featuring content on a broad range of research in the area of Human-Computer Interaction. PACMHCI issues on Engineering Interactive Computing Systems contain articles covering the full range of aspects that come into play when engineering interactive systems, such as innovations in the design, development, deployment, verification, and validation of interactive systems. Topics of interest include the design and development of systems incorporating new input devices, interaction techniques, multimodal interaction, multi-device interaction, mobile, wearable, and pervasive systems, large-scale and big data applications, deployment of interactive systems, as well as novel development methods and processes. Papers must present original and mature research work. High-quality, elaborated case studies and practice reports with generalizable findings will also be considered. Papers may be of any length, and will be reviewed by members of the PACMHCI-EICS Editorial Board and by at least 2 external reviewers. When the reviews are available, authors will have the chance to provide a rebuttal with clarifications and answers to reviewers? comments. Rebuttals and reviews will be discussed during the next Editorial Board meeting. Similar to a journal, authors will receive one of three possible decisions: Reject, Major Revisions, or Accept. Submissions identified by members of the PACMHCI-EICS Editorial Board as not suitable for the topics of PACMHCI-EICS may be desk-rejected by the Chairs and the authors will be notified about this outcome before the start of the reviewing period. Issues of PACMHCI appear in the ACM Digital Library with several submission deadlines during the year. More details on the deadlines and the review process can be found at http://eics.acm.org/pacm/. ------------------------------------------------------------------------ PACMHCI EICS TOPICS Submissions are invited that advance the state of the art of the engineering of interactive systems. Topics include but are not limited to: * Modelling and analysis of interaction and interactive systems * Processes for engineering interactive systems (e.g., design, implementation, prototyping, evaluation, verification and validation, testing) * Integrating interaction design into the software development process * Requirements engineering for interactive systems * Specification of interactive systems (methods, principles and tools) * Software architectures for interactive systems * Frameworks, toolkits, and APIs for interactive systems (e.g., API usability, interaction-driven API design) * Domain-specific languages for interactive systems * Formal methods within interactive systems engineering * Modelling and analysis of users? activities * Engineering innovative interactive applications (e.g., adaptive, tangible, touch and multitouch input, voice, gesture, EEG, multimodal input, mobile and wearable systems) * Engineering hardware/software integration in interactive systems (e.g., fabrication and maker processes, physical computing, etc.) * Engineering user experience (e.g., fun, affective) * Engineering complex interactive systems (e.g., large datasets, large communities, enterprise systems, collaborative systems) * Engineering interactive systems for various user categories (e.g., children, elderly, people with disabilities) * Certification issues of interactive systems * New datasets and evaluation data relevant for engineering interactive systems ------------------------------------------------------------------------ IMPORTANT DATES (Q3 2018 Reviewing Round) Submissions: July 24, 2018 AoE (Anywhere on Earth) Reviews sent out for rebuttal: September 3, 2018 Rebuttals from Authors: September 7, 2018 Notifications: September 17, 2018 Accepted papers in this round can present their work at the forthcoming EICS 2019 conference to take place in Valencia, Spain on June 18-21, 2019. ------------------------------------------------------------------------ UPCOMING REVIEWING ROUNDS (for guidance only, subject to change) 2018 Q4: Submission deadline October 26, 2018 2019 Q1: Submission deadline February 26, 2019 Further information can be found on the web site: http://eics.acm.org/pacm/ ------------------------------------------------------------------------ PS. Apologies for cross-posting. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Jul 18 10:17:54 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 18 Jul 2018 11:17:54 +0300 Subject: [fg-arc] 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018): Call for Short Papers, Posters & Demos Message-ID: *** CALL FOR SHORT PAPERS, POSTERS & DEMOS *** 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018) St. Raphael Resort, Limassol, Cyprus, 15-17 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBDYWxsIGZvciBTaG9ydCBQYXBlcnMsIFBvc3RlcnMgJiBEZW1vcwkyNDQJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.wimob.org%2Fwimob2018%2F (*** Sponsorship Approved by IEEE Communication Society ***) *** Submission Deadline: September 1, 2018 *** WiMob is an international forum for the exchange of knowledge and experience among researchers, developers and practitioners of wireless and mobile technology. For fourteen years, the International WiMob conference has provided unique opportunities for researchers and developers to interact, share new results, show live demonstrations, and discuss emerging directions in a number of contemporary topics in wireless and mobile computing. WiMob 2018 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. TOPICS WiMob 2018 will host 5 parallel symposia on: ? Wireless Communications ? Wireless Networking, Mobility and Nomadicity ? Ubiquitous Computing, Services and Applications ? Green and Sustainable Communications and Network Computing ? Security on Wireless and Mobile Networks A full list of topics for each symposium can be found on the conference web site. INSTRUCTIONS FOR SUBMISSION All short paper submissions should be written in English conforming to the IEEE standard conference format (8.5" x 11" - US letter, Two-Column) with a maximum paper length of 4 pages. They should be fully formatted, with graphs, images and other special areas arranged as intended for the final publication. The short papers will be included in the conference proceedings, published by IEEE CS Press (IEEE Xplore) and indexed by Scopus and Ei Compendex. Participants submitting posters or demos are required to submit a short paper describing the poster/demo content, the research supporting it, and the relevance and importance to WiMob. Accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference, by the early date indicated by the organizers, and present the paper. During the conference, posters and demos will be displayed or presented in specified sessions. The recommended display poster size is A1 (594mm by 841mm, portrait). Demo submissions may include an additional 1-page appendix describing the specific contents of the demo that conference attendees would see. Any special technical requirements for the demo should also be described in this appendix. The contents of this appendix will be used to evaluate whether the demo is a good fit for WiMob 2018, but will not be included in the proceedings. Only timely submissions through EDAS at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBDYWxsIGZvciBTaG9ydCBQYXBlcnMsIFBvc3RlcnMgJiBEZW1vcwkyNDQJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fedas.info will be accepted. For more details, please visit the Facebook page for WiMob 2018: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBDYWxsIGZvciBTaG9ydCBQYXBlcnMsIFBvc3RlcnMgJiBEZW1vcwkyNDQJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.facebook.com%2Fwimob2018%2F as well as the conference web site. IMPORTANT DATES ? Short Papers, Posters & Demos: September 1, 2018 ? Notification of Acceptance: September 10, 2018 ? Camera ready & Author Registration: September 20, 2018 ORGANISATION Honorific Chair ? Lajos Hanzo, University of Southampton, UK General Chair ? Abderrahim Benslimane, University of Avignon, France Steering Committee ? Abderrahim Benslimane - University of Avignon, France ? Hsiao-Hwa Chen - National Cheng Kung University, Taiwan ? Khaled Ben Letaief - Hong Kong University of Science and Technology, HK ? Victor C. M. Leung - University of British Columbia, Canada ? Samuel Pierre - Ecole Polytechnique de Montreal, Canada ? Dovan Thanh - Telenor & Norwegian Univ. of Science & Technology, Norway Executive Co-Chairs ? Wessam Ajib, Universite du Quebec - Montreal, Canada ? George Angelos Papadopoulos, University of Cyprus, Cyprus Workshop Co-Chairs ? Nirwan Ansari, New Jersey Institute of Technology, USA ? Hossam Hassanein, Queen's University, Canada ? Anna Maria Vegni - Roma Tre University, Italy TPC Co-Chairs ? Abbas Bradai, XLIM Institute, University of Poitiers, France ? Brigitte Jaumard, Concordia University, Canada ? Ming Li, University of Arizona, USA ? Qi Liao, Nokia Bell Labs, Germany Publication Co-Chairs ? Abderrahim Benslimane, University of Avignon, France ? Corinna Schmitt, University of Zurich, Switzerland Publicity Co-Chairs ? Abdellatif Ezzouhairi, ENSA Fez, Morocco ? Chunxiao Jiang, Tsinghua University, China ? Neeraj Kumar, Thapar University, India ? Cristina L?pez-Bravo, Universidade de Vigo, Spain ? Roca Vincent, INRIA Rhone-Alpes, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Jul 17 15:43:43 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 17 Jul 2018 16:43:43 +0300 Subject: [fg-arc] 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018): Sixth Call for Contributions Message-ID: **** SIXTH CALL FOR CONTRIBUTIONS **** (Short Papers, Posters, Demos, PhD Consortium) The 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) Hilton Cyprus, Nicosia, Cyprus, 10-13 December, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogU2l4dGggQ2FsbCBmb3IgQ29udHJpYnV0aW9ucwkyNDIJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fcloudcom2018%2F *** Submission Deadline: 31 August, 2018 *** CloudCom is the premier conference on Cloud Computing worldwide, attracting researchers, developers, users, students and practitioners from the fields of big data, systems architecture, services research, virtualization, security and privacy, high performance computing, always with an emphasis on how to build cloud computing platforms with real impact. The conference is co-sponsored by the Institute of Electrical and Electronics Engineers (IEEE), is steered by the Cloud Computing Association, and draws on the excellence of its world-class Program Committee and its participants. CloudCom 2018 will be held in Nicosia, Cyprus between 10-13 December, 2018. TOPICS OF INTEREST Topics of interest of CloudCom 2018 are grouped into four tracks: ? Architecture, Storage and Virtualization ? Cloud Services and Applications ? Security, Privacy and Trust ? Edge Computing and Distributed Cloud The (non-exhaustive) list of topics for each track is as follows: Track 1: Architecture, Storage and Virtualization Chairs: Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil, Ivona Brandic, TU-Wien, Austria ? Intercloud architecture models ? Virtual Machines (VMs), containers, unikernels and microservices ? Cloud services delivery models, campus integration & "last mile" issues ? Virtualization technology and enablers (network virtualization, software-defined networking) ? Networking technologies ? Cloud system design with FPGAs, GPUs, APUs ? Storage & file systems ? Scalability & performance ? Resource provisioning, monitoring, management & maintenance ? Operational, economic & business models ? Green data centers ? Computational resources, storage & network virtualization ? Resource monitoring ? Virtual desktops ? Resilience, fault tolerance, disaster recovery ? Modeling & performance evaluation ? Disaster recovery ? Energy efficiency Track 2: Cloud Services and Applications Chairs: Laura Ricci, University of Pisa, Italy, Beniamino Di Martino, Seconda Universita' di Napoli, Italy ? XaaS (everything as a service including IaaS, PaaS, and SaaS) ? Cloud services models & frameworks ? Service deployment and orchestration in the Cloud ? Cloud service management ? Cloud workflow management ? Cloud services reference models & standardization ? Cloud-powered services design ? Cloud elasticity ? Machine learning and systems interactions ? Data management applications & services ? Service for computing-intensive applications ? Mining and analytics ? Data-provisioning services ? Cloud programming models, benchmarks, and tools ? Cloud-based services & protocols ? Fault-tolerance & availability of cloud services and applications ? Application development and debugging tools ? Business models & economics of cloud services Track 3: Security, Privacy and Trust Chairs: Martin Gilje Jaatun, University of Stavanger, Norway, Barbara Carminati, Insubria, Italy ? Accountability & audit ? Authentication & authorization ? Cloud integrity ? Blockchain Cloud services ? Cryptography in the Cloud ? Hypervisor security ? Identity management & security as a service ? Prevention of data loss or leakage ? Secure, interoperable identity management ? Trust & credential management ? Trust models for cloud services ? Usable security risk management in cloud computing environments ? Privacy policy framework for clouds ? Privacy-preserving data mining for clouds ? Information sharing and data protection in the cloud ? Cryptographic protocols against internal attacks in clouds ? Privacy protection in cloud platforms ? Energy/cost/efficiency of security in clouds Track 4: Edge Computing and Distributed Cloud Chairs: Antonio Fernandez Anta, IMDEA, Spain, Sarunas Girdzijauskas, KTH, Sweden ? Cloudlet-enabled applications ? Distributed Cloud Infrastructure ? Foundations and principles of distributed cloud computing ? Architectural models, prototype implementations and applications ? Cloud brokers and coordination across multiple resource managers ? Interoperability and mobility ? Software infrastructure for cloudlets ? Dynamic resource, service and context management on edge computing ? Fog Computing ? IoT cloud architectures & models ? Cloud-based context-aware IoT ? Economics and pricing ? Experience with and performance evaluation of existing deployments and measurements (public, private, hybrid, federated environments) GENERAL SUBMISSION INSTRUCTIONS Authors are invited to submit their research work to the CloudCom 2018 conference. Submitted work must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Authors must submit their work by 31 August, 2018 using the EasyChair submission system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogU2l4dGggQ2FsbCBmb3IgQ29udHJpYnV0aW9ucwkyNDIJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcloudcom2018 . Only PDF files will be accepted. Manuscripts need to be prepared according to the IEEE CS format (https://www.ieee.org/conferences_events/conferences/publishing/templates.html). CALL FOR SHORT PAPERS, POSTERS & DEMOS (Late-breaking Results) All short paper submissions should be written in English with a maximum paper length of 4 pages. The short papers will be included in the conference proceedings, published by IEEE CS Press (IEEE Xplore) and indexed by EI and ISSN. Participants submitting posters or demos are required to submit a short paper describing the poster/demo content, the research supporting it, and the relevance and importance to the Cloud Computing Association. Accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference, by the early date indicated by the organizers, and present the paper. During the conference, posters and demos will be displayed or presented in specified sessions. The recommended display poster size is A1 (594mm by 841mm, portrait). Demo submissions may include an additional 1-page appendix describing the specific contents of the demo that conference attendees would see. Any special technical requirements for the demo should also be described in this appendix. The contents of this appendix will be used to evaluate whether the demo is a good fit for CloudCom 2018, but will not be included in the proceedings. CALL FOR PH.D. CONSORTIUM A Ph.D. consortium will be held in conjunction with IEEE CloudCom 2018. The Ph.D. consortium aims to provide an opportunity for Ph.D. students in the early stage of their dissertation and Master students planning to advance their study in a doctoral program to present their research results and receive feedback from experienced scholars and industry experts. Accepted Ph.D. consortium papers will be published in the Proceedings of IEEE CloudCom 2018 and archived in IEEE Xplore. IMPORTANT DATES ? Short Papers, Posters, Demos, Ph.D. Consortium Due: 31 August, 2018 ? Notification of Acceptance: 14 September, 2018 ? Camera Ready: 08 October, 2018 ? Author Registration: 15 October, 2018 ORGANIZING COMMITTEE GENERAL CHAIR ? George Angelos Papadopoulos, University of Cyprus, Cyprus PROGRAM CHAIRS ? George Pallis, University of Cyprus, Cyprus ? Sebastien Varrette, University of Luxembourg, Luxembourg PROGRAM TRACK CHAIRS ? Antonio Fernandez Anta, IMDEA, Spain ? Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil ? Ivona Brandic, TU-Wien, Austria ? Barbara Carminati, Insubria, Italy ? Martin Gilje Jaatun, University of Stavanger, Norway ? Sarunas Girdzijauskas, KTH, Sweden ? Beniamino Di Martino, Seconda Universita? di Napoli, Italy ? Laura Ricci, University of Pisa, Italy WORKSHOPS & TUTORIALS CO-CHAIRS ? Domenico Talia, University of Calabria, Italy ? Dimitrios Tsoumakos, Ionian University, Greece PH.D. COMSORTIUM CHAIR ? Achilleas Achilleos, University of Cyprus, Cyprus SHORT PAPERS, POSTERS & DEMO CHAIR ? Ioannis Konstantinou, NTUA, Greece PUBLICITY CHAIR ? Achilleas Achilleos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From haowu at cs.nuim.ie Tue Jul 17 17:28:05 2018 From: haowu at cs.nuim.ie (HaoWu) Date: Tue, 17 Jul 2018 16:28:05 +0100 Subject: [fg-arc] iFM, FMICS and PhD-iFM 2018: Student Bursaries and Call for Participation Message-ID: <000401d41de2$d5574df0$8005e9d0$@cs.nuim.ie> **************************************************************************** *************************************** 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS) http://fmics2018.fi.muni.cz PhD Symposium (PhD-iFM'18) http://ifm2018.cs.nuim.ie/PhDSymposium 14th International Conference on integrated Formal Methods (iFM) http://ifm2018.cs.nuim.ie **************************************************************************** *************************************** Call for Participation and Applications for Student Bursaries **************************************************************************** *************************************** You are warmly invited to participate in iFM 2018, and co-located events PhD-iFM'18 and FMICS 2018, to be held in Maynooth University, Ireland, from 3rd - 7th September 2018. Thanks to funding from Science Foundation Ireland and the Embassy of France in Ireland, we will be awarding a number of student bursaries to support student participation in iFM, FMICS and PhD-iFM. These bursaries will be awarded on a competitive basis covering student registration fees and a contribution towards travel costs. The eligibility criteria are that applicants must be a full-time or part-time student (confirmed by a letter from their supervisor), and must have a presentation accepted at the conference events. Website: http://ifm2018.cs.nuim.ie/participation/registration-bursaries **************************************************************************** *************************************** Important Dates **************************************************************************** *************************************** Early Registration Ends: 27 July 2018 (17:00 GMT) Author Registration Deadline: 27 July 2018 (17:00 GMT) Student Bursary Application Deadline: 24 July 2018 (17:00 GMT) FMICS Conference: 3-4 September 2018 PhD-iFM'18: 4 September 2018 iFM Conference: 5-7 September 2018 **************************************************************************** *************************************** Scope: The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. PhD-iFM a PhD Symposium at iFM 2018 on Formal Methods: Algorithms, Tools and Applications, focuses on the theory, implementation, integration or application of formal methods in a broad sense. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modelling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. **************************************************************************** *************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: easst-logo.svg.png Type: image/png Size: 33065 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: embassy-of-france-in-ireland.png Type: image/png Size: 101217 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Failte.png Type: image/png Size: 65230 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Maynooth University Logo colour RGB 300dpi.png Type: image/png Size: 53310 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: MeetInIreland-2016-RGB.png Type: image/png Size: 126622 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: SFI_logo_2017__Dual(long)_CMYK.png Type: image/png Size: 36170 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: SIGLOG-600.png Type: image/png Size: 15652 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: springer-logo-C2001CC88E-seeklogo.com.png Type: image/png Size: 8881 bytes Desc: not available URL: From ggelfond at unomaha.edu Tue Jul 17 20:49:44 2018 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Tue, 17 Jul 2018 13:49:44 -0500 (CDT) Subject: [fg-arc] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Message-ID: <20180717184944.CFF782EC279@Pascal.local> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 http://sju.edu/lpnmr/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to???provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS To be announced TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop ASSOCIATED EVENTS WORKSHOPS To be announced DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW: http://sju.edu/lpnmr/ Email: lpnmr2019 at easychair.org Tentative IMPORTANT DATES * Paper registration: January 29 * Paper submission: February 5 * Notification: March 12 * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universit??t Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universit??t Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Polit??cnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Sch??ller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universit??t Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of S??o Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From rmcouto at outlook.pt Tue Jul 24 11:35:50 2018 From: rmcouto at outlook.pt (rui couto) Date: Tue, 24 Jul 2018 09:35:50 +0000 Subject: [fg-arc] [CFP] EICS 2019: Engineering Interactive Computing System (UPDATED) Message-ID: EICS 2019 : Engineering Interactive Computing System The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems 18-21 June, 2019 - Valencia, Spain EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. Work presented at EICS covers the full range of aspects that come into play when "engineering" interactive systems, such as innovations in the design, development, deployment, verification and validation of interactive systems. Topics of interest include the design and development of systems incorporating new interaction techniques and multimodal interaction, multi-user, multi-device/screen, multi-environment interaction, mobile and pervasive systems, large-scale and big data applications, deployment of interactive systems, as well as novel development methods and processes for improving the development of interactive systems. ------------------------------------------------------------------------ TOPICS EICS 2019 focuses on models, languages, notations, methods, techniques and tools that support designing and developing interactive systems. The Conference brings together people who study or practice the engineering of interactive systems, drawing from HCI, Software Engineering, Requirements Engineering, Conceptual Modelling, CSCW, Ubiquitous / Pervasive Systems. Submissions are invited that advance the state of the art of the engineering of interactive systems. Topics include but are not limited to: * Modelling and analysis of interaction and interactive systems * Processes for engineering interactive systems (e.g., design, implementation, prototyping, evaluation, verification and validation, testing) * Integrating interaction design into the software development process * Requirements engineering for interactive systems * Specification of interactive systems (methods, principles and tools) * Software architectures for interactive systems * Frameworks, toolkits, and APIs for interactive systems (e.g., API usability, interaction-driven API design) * Domain-specific languages for interactive systems * Formal methods within interactive systems engineering * Modelling and analysis of users? activities * Engineering innovative interactive applications (e.g., adaptive, tangible, touch and multitouch input, voice, gesture, EEG, multimodal input, mobile and wearable systems) * Engineering hardware/software integration in interactive systems (e.g., fabrication and maker processes, physical computing, etc.) * Engineering user experience (e.g., fun, affective) * Engineering complex interactive systems (e.g., large datasets, large communities, enterprise systems, collaborative systems) * Engineering interactive systems for various user categories (e.g., children, elderly, people with disabilities) * Certification issues of interactive systems * New datasets and evaluation data relevant for engineering interactive systems ------------------------------------------------------------------------ PAPER SUBMISSIONS EICS papers are now published as articles in the journal Proceedings of the ACM on Human Computer Interaction (EICS series). Papers submissions still follow the normal conference review process, but this process is iterated multiple times per year. Submissions to this venue should present original and mature research work. High-quality, elaborated case studies and practice reports with generalizable findings will also be considered. There are no length restrictions on papers, nor any limit to the number of references that may be included. More information about the new PACM-HCI (EICS series) review and publication process can be found at http://eics.acm.org/pacm. Upcoming deadlines for papers to be presented at EICS 2019 are: * 2018 Q3: Submission deadline July 24, 2018 * 2018 Q4: Submission deadline October 26, 2018 (for guidance only, subject to change) * 2019 Q1: Submission deadline February 5, 2019 (for guidance only, subject to change) Submissions can be done through http://new.precisionconference.com Further information can be found on the web site: https://eics.acm.org/2019/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From eichelberger at sse.uni-hildesheim.de Wed Jul 25 11:44:20 2018 From: eichelberger at sse.uni-hildesheim.de (Holger Eichelberger) Date: Wed, 25 Jul 2018 11:44:20 +0200 Subject: [fg-arc] 2nd CfP: Symposium on Software Performance 2018 (deadlines approaching) Message-ID: <6f90c235-dbdf-a44e-372d-6f02b854cd93@sse.uni-hildesheim.de> 2nd Call for Papers 9th Symposium on Software Performance 2018 Hildesheim, November 08-09, 2018 http://www.performance-symposium.org/2018/ Performance is one of the most relevant quality attributes of any IT system. While good performance leads to high user satisfaction, weak response times lead to loss of users, perceived unavailability of the system, or unnecessarily high costs of network or computing resources. Therefore, various techniques to measure, collect, evaluate, control, and improve the performance of IT systems have been developed, ranging from online monitoring and benchmarking to modeling and prediction. Experience shows, that for system design or later optimization, such techniques should be applied in smart combination. Therefore, the ?Symposium on Software Performance? brings together researchers and practitioners interested in all facets of software performance, ranging from modeling and prediction to monitoring and runtime management. The symposium is organized by the three established research groups Descartes, Kieker, and Palladio; thus this symposium also serves as a joint community meeting. The symposium program will include contributions (in form of talks and demos) from practitioners and researchers in the field of software performance. SSP 2018 is supported by the GI special interest group "Softwaretechnik". Submission: We solicit technical papers (maximum 3 pages) and extended abstracts for industry or experience talks (maximum 700 words). Technical papers should follow the Softwaretechnik-Trends format (http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html) and need to be submitted electronically via EasyChair (https://easychair.org/conferences/?conf=ssp18). Extended abstracts need to be submitted as "abstract only" submissions via EasyChair. A LaTeX template is available via the web pages. For further submission details, see http://www.performance-symposium.org/2018/ Important dates: - Abstract submission: Aug. 15, 2018 at 23.59 AoE - Paper submission: Sep. 02, 2018 at 23.59 AoE - Acceptance notification: Oct. 01, 2018 - Program announcement: Oct. 02, 2018 - Camera ready papers: Oct. 15, 2018 - Registration deadline: Oct. 24, 2018 Steering committee: - Steffen Becker, Uni Stuttgart - Wilhelm Hasselbring, Kiel University - Andr? van Hoorn, Uni Stuttgart - Samuel Kounev, Uni W?rzburg - Ralf Reussner, KIT / FZI Local Organization: - Holger Eichelberger, Uni Hildesheim - Klaus Schmid, Uni Hildesheim Program Review Committee: - Du?an Okanovi?, Uni Stuttgart - J?rgen Walter, Uni W?rzburg - Christian Stier, FZI - Robert Heinrich, KIT - Reiner Jung, Kiel University - Henning Schnoor, Kiel University - Johannes Kro?, fortiss - Holger Knoche, Kiel University [please apologize cross-postings] -- ------------------------------------------------------------------------ Dr. Holger Eichelberger Software Systems Engineering University of Hildesheim Tel.: +49 (0) 5121 / 883-40334 Institute of Computer Science Fax.: +49 (0) 5121 / 883-40331 Universit?tsplatz 1 eichelberger at sse.uni-hildesheim.de D-31141 Hildesheim, Germany http://www.uni-hildesheim.de/de/eichelberger.htm PGP public key: https://www.uni-hildesheim.de/media/fb4/informatik/AG_SSE/pgp/sse_he_pubkey.asc PGP fingerprint: 4522 685C 57E5 D0EA D5BA 4EDE C53F 5B9D 9F71 55E7 From irdta at irdta.eu Sat Jul 21 12:14:36 2018 From: irdta at irdta.eu (IRDTA) Date: Sat, 21 Jul 2018 12:14:36 +0200 Subject: [fg-arc] TPNC 2018: extended submission deadline August 5 Message-ID: <545102060a010b050951590b05035a0606040d50030304565152080754040207070451070a09070753005251040755@grlmc_ip-zone_com-6> TPNC 2018: extended submission deadline August 5*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: August 5 ***** ------------------------------------------------------------------------------ ? *************************************************************************** 7th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING ? TPNC 2018 ? Dublin, Ireland ? December 12-14, 2018 ? Co-organized by: ? Natural Computing Research & Applications Group School of Business University College Dublin ? Institute for Research Development, Training and Advice Brussels / London ? http://tpnc2018.irdta.eu/ *************************************************************************** ? AIMS: ? TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2018 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. ? VENUE: ? TPNC 2018 will take place in Dublin, a major historical and contemporary centre for education, arts, administration, economy and industry. The venue will be: ? Michael Smurfit Graduate Business School University College Dublin Carysfort Avenue Blackrock Co. Dublin http://www.smurfitschool.ie/ ? SCOPE: ? Topics include, but are not limited to: ? - Theoretical contributions to: ? artificial chemistry artificial immune systems artificial life cellular automata cognitive computing cognitive engineering cognitive robotics collective behaviour complex systems computational intelligence computational social science computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing evolutionary game theory fractal geometry fuzzy control fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural computing neural networks quantum communication quantum computing rough sets self-assembly self-organization social computing social simulation soft computing swarm intelligence synthetic biology ? - Applications of natural computing to: ? algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence ? A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. ? STRUCTURE: ? TPNC 2018 will consist of: ? - invited talks - peer-reviewed contributions - posters ? INVITED SPEAKERS: ? Juergen Branke (University of Warwick), Design of Complex Systems via Simulation-based Optimisation ? Hani Hagras (University of Essex), Towards Human Understandable Explainable AI via Type-2 Fuzzy Logic Systems ? Georgios Ch. Sirakoulis (Democritus University of Thrace), The Cellular Automata Computing Paradigm Enriched: From Simple Models to Real World Applications ? PROGRAMME COMMITTEE: ? Andrew Adamatzky (University of the West of England, UK) Wolfgang Banzhaf (Memorial University of Newfoundland, CA) Mauro Birattari (Universit? Libre de Bruxelles, BE) Christian Blum (Spanish Higher Scientific Research Council, ES) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Sung-Bae Cho (Yonsei University, KR) Claude Cr?peau (McGill University, CA) Jean-Louis Deneubourg (Universit? Libre de Bruxelles, BE) Marco Dorigo (Universit? Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Carlos M. Fonseca (University of Coimbra, PT) Amir H. Gandomi (Stevens Institute of Technology, US) Michel Gendreau (Polytechnique Montr?al, CA) Deborah M. Gordon (Stanford University, US) Jin-Kao Hao (University of Angers, FR) Zeng-Guang Hou (Chinese Academy of Sciences, CN) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Ljupco Kocarev (Macedonian Academy of Sciences and Arts, MK) Vladik Kreinovich (University of Texas El Paso, US) Rudolf Kruse (University of Magdeburg, DE) Jos? Ignacio Latorre (University of Barcelone, ES) Jing Liang (Zhengzhou University, CN) Gui Lu Long (Tsinghua University, CN) Jianquan Lu (Southeast University, CN) Carlos Mart?n-Vide (Rovira i Virgili University, ES, chair) Luis Mart?nez (University of Ja?n, ES) Ujjwal Maulik (Jadavpur University, IN) Jos? M. Merig? (University of Chile, CL) Nenad Mladenovic (Serbian Academy of Sciences and Arts, RS) Michael O'Neill (University College Dublin, IE) Celso C. Ribeiro (Fluminense Federal University, BR) Frank Schweitzer (Swiss Federal Institute of Technology Zurich, CH) Patrick Siarry (Paris-Est Cr?teil Val de Marne University, FR) Andrzej Skowron (University of Warsaw, PL) John A. Smolin (IBM Thomas J. Watson Research Center, US) Attila Szolnoki (Hungarian Academy of Sciences, HU) Jos? Luis Verdegay (University of Granada, ES) Fernando J. Von Zuben (State University of Campinas, BR) David Wolpert (Santa Fe Institute, US) Hao Ying (Wayne State University, US) Jacek M. ?urada (University of Louisville, US) ? ORGANIZING COMMITTEE: ? David Fagan (Dublin, co-chair) Sara Morales (Brussels) Michael O'Neill (Dublin, co-chair) Manuel Jes?s Parra Roy?n (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodr?guez (C?ceres) Irene Ward (Dublin) ? 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). ? Submissions have to be uploaded to: ? https://easychair.org/conferences/?conf=tpnc2018 ? PUBLICATIONS: ? A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. ? A special issue of Soft Computing (Springer, 2016 JCR impact factor: 2.472) 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: ? http://tpnc2018.irdta.eu/Registration.php ? DEADLINES (all at 23:59 CET): ? Paper submission: August 5, 2018 ? EXTENDED ? Notification of paper acceptance or rejection: September 5, 2018 Final version of the paper for the LNCS proceedings: September 12, 2018 Early registration: September 12, 2018 Late registration: November 28, 2018 Submission to the journal special issue: March 14, 2019 ? QUESTIONS AND FURTHER INFORMATION: ? david at irdta.eu ? ACKNOWLEDGMENTS: ? UCD ? University College Dublin ? IRDTA ? Institute for Research Development, Training and Advice, Brussels/London ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Jul 24 00:52:06 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 24 Jul 2018 00:52:06 +0200 Subject: [fg-arc] SLSP 2018: call for posters Message-ID: <545102060a010b040052510005075a56015f0751025052030a515a540457060457030202040b5207045f0006000405@grlmc_ip-zone_com-6> SLSP 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------ The 6th International Conference on Statistical Language and Speech Processing (SLSP 2018) invites researchers to submit poster presentations. SLSP 2018 will be held in Mons (Belgium) on October 15-16, 2018. See? http://slsp2018.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 8, 2018 Notification of poster acceptance or rejection: September 15, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2018. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2016 impact factor: 1.900). REGISTRATION At least one author of each accepted poster must register to the conference by October 1st, 2018. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jul 23 14:17:08 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 23 Jul 2018 15:17:08 +0300 Subject: [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Call for Workshop Papers Message-ID: *** CALL FOR WORKSHOP PAPERS *** 2018 European Conference on Ambient Intelligence (AmI 2018) Golden Bay Beach Hotel, Larnaca, Cyprus, 12-14 November, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogQ2FsbCBmb3IgV29ya3Nob3AgUGFwZXJzCTI0NglMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fami2018 *** Submission Deadline: 10th August 2018 *** Ambient intelligence refers to normal working and living environments being surrounded by embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g. The Internet of Things). Such devices, each specialised in one or more capabilities, are intended to work together based on an infrastructure of intelligent systems, to provide a variety of services improving safety, security and the quality of life in ordinary living, travelling and working environments. Accompanying the main conference, the following two workshops will be organized: WS-AFFIN 2nd Workshop On Affective Interaction With Avatars and Robots http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogQ2FsbCBmb3IgV29ya3Nob3AgUGFwZXJzCTI0NglMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fws-sime.com%2Fws-affin BRAINS Behavioral Change and Ambient Intelligence for Sustainability http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogQ2FsbCBmb3IgV29ya3Nob3AgUGFwZXJzCTI0NglMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fsites.google.com%2Fdiag.uniroma1.it%2Fbrains18 SUBMISSION AND PROCEEDINGS Both workshops invite full-papers, work-in progress and position papers that address one or more of the topics of interest. All submitted papers will be peer-reviewed by at least three Program Committee members from the corresponding workshop. All accepted full papers and posters will appear in the conference proceedings published by Elsevier under the ENTCS Journal series. Papers must be submitted in PDF format adhering to the ELSEVIER Journal format and should follow the publication policies of ENTCS. The macros can be obtained on the ENTCS Macro Web Site http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogQ2FsbCBmb3IgV29ya3Nob3AgUGFwZXJzCTI0NglMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.entcs.org along with detailed instructions about preparing the papers for the series. IMPORTANT DATES ? Paper Submissions Due: 10 August, 2018 ? Notification of Acceptance/Rejection: 10 September, 2018 ? Camera Ready Versions Due: 25 September, 2018 ? Author (of workshop papers) Registration: 25 September, 2018 JOURNAL SPECIAL ISSUE A few papers from each workshop will be selected by the workshop chairs and invited for submission to a special issue of MDPI Applied Sciences (http://www.mdpi.com/journal/applsci/special_issues/intelligent_environments). The final paper should have at least 30% extra material and will be reviewed as any MDPI submission. ORGANIZING COMMITTEE General Chair ? George Roussos, Birkbeck, University of London, UK Program Chairs ? Achilleas D. Kameas, Hellenic Open University, Greece ? Kostas Stathis, Royal Holloway, University of London, UK Workshops Chairs ? Ioannis Chatzigiannakis, University of Rome, Italy ? Fariba Sadri, Imperial College, UK Local Organization Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Jul 24 10:00:26 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 24 Jul 2018 11:00:26 +0300 Subject: [fg-arc] THE 19TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (IEEE/ACM CCGrid 2019): FIRST CALL FOR CONTRIBUTIONS Message-ID: THE 19TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (IEEE/ACM CCGrid 2019) **** FIRST CALL FOR CONTRIBUTIONS **** (Papers, Workshop Proposals, Tutorial Proposals, Doctoral Symposium, SCALE) http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUSEUgMTlUSCBJRUVFL0FDTSBJTlRFUk5BVElPTkFMIFNZTVBPU0lVTSBPTiBDTFVTVEVSLCBDTE9VRCBBTkQgR1JJRCBDT01QVVRJTkcgKElFRUUvQUNNIENDR3JpZCAyMDE5KTogRklSU1QgQ0FMTCBGT1IgQ09OVFJJQlVUSU9OUwkyNDgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fccgrid2019.ucy.ac.cy CALL FOR PAPERS Advances in architectures, networks, systems and middleware technologies are leading to new concepts and platforms for computing, ranging from Clusters and Grids to Clouds and Datacenters, and result in an outstanding impact to numerous aspects of the modern world. The 19th Annual IEEE/ACM International Symposium in Cluster, Cloud, and Grid Computing (CCGrid 2019) is a forum bringing together international researchers, developers, and practitioners to present leading research activities and results on a broad range of topics related to these concepts, platforms, and their applications. The conference features keynotes, technical presentations, workshops, and posters, as well as the Doctoral Symposium and the SCALE challenge featuring live demonstrations. CCGrid has travelled over the world. Its next stop is in beautiful Larnaca, Cyprus, in May 2019. Papers due: December 7, 2018 Author notifications: January 18, 2019 More info at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUSEUgMTlUSCBJRUVFL0FDTSBJTlRFUk5BVElPTkFMIFNZTVBPU0lVTSBPTiBDTFVTVEVSLCBDTE9VRCBBTkQgR1JJRCBDT01QVVRJTkcgKElFRUUvQUNNIENDR3JpZCAyMDE5KTogRklSU1QgQ0FMTCBGT1IgQ09OVFJJQlVUSU9OUwkyNDgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fccgrid2019.ucy.ac.cy/pages/cfp.html CALL FOR WORKSHOPS Workshops should provide forums for discussion among researchers and practitioners on focused topics or emerging research areas relevant to the community. Organizers may structure workshops as they see fit, including invited talks, panel discussions, presentations of work in progress, fully peer-reviewed papers, or some combination of the above. Workshops could be scheduled for half a day or a full day, depending on interest, space constraints, and organizer preference. Organizers should design workshops for approximately 20-40 participants, to balance impact and effective discussion. Deadline for Workshop Proposals: September 30, 2018 Notifications of Acceptance: October 15, 2018 More info at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUSEUgMTlUSCBJRUVFL0FDTSBJTlRFUk5BVElPTkFMIFNZTVBPU0lVTSBPTiBDTFVTVEVSLCBDTE9VRCBBTkQgR1JJRCBDT01QVVRJTkcgKElFRUUvQUNNIENDR3JpZCAyMDE5KTogRklSU1QgQ0FMTCBGT1IgQ09OVFJJQlVUSU9OUwkyNDgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fccgrid2019.ucy.ac.cy/pages/cfw.html CALL FOR TUTORIALS CCGrid 2019 will feature state-of-the-art tutorials from leading experts in their fields. Topics will cover different levels, ranging from introductory to highly advanced skills. All tutorials will address highly important and relevant subject areas of cluster computing and grid technology. To provide the best possible tutorial offerings, CCGrid 2019 solicits proposals for half day (3,5 hours) or full day tutorials. Deadline for Tutorial Proposals: January 15, 2019 Notification of Acceptance: February 15, 2019 More info at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUSEUgMTlUSCBJRUVFL0FDTSBJTlRFUk5BVElPTkFMIFNZTVBPU0lVTSBPTiBDTFVTVEVSLCBDTE9VRCBBTkQgR1JJRCBDT01QVVRJTkcgKElFRUUvQUNNIENDR3JpZCAyMDE5KTogRklSU1QgQ0FMTCBGT1IgQ09OVFJJQlVUSU9OUwkyNDgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fccgrid2019.ucy.ac.cy/pages/cft.html CALL FOR DOCTORAL SYMPOSIUM The Doctoral Symposium of the 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid2019) provides a forum for students in all areas of Cluster, Grid and Cloud research to obtain visibility, feedback and advice on their Ph.D. dissertation topics and on their research careers. The Symposium promotes fruitful interactions and networking between student researchers at a similar stage in their careers. The program committee consists of experts in the field and will provide their valuable feedback to the ongoing research work of participating students. Selected students will present their work in front of an audience of both their peer and researchers and will also be invited to present their work as a poster in the poster exhibition of CCGrid. The proceedings of the doctoral symposium will be published as part of CCGrid 2019 Proceedings through the IEEE Computer Society Conference Publishing Services and will be submitted to IEEE Xplore for EI indexing. Papers due: January 15, 2019 Author Notification: February 15, 2019 More info at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUSEUgMTlUSCBJRUVFL0FDTSBJTlRFUk5BVElPTkFMIFNZTVBPU0lVTSBPTiBDTFVTVEVSLCBDTE9VRCBBTkQgR1JJRCBDT01QVVRJTkcgKElFRUUvQUNNIENDR3JpZCAyMDE5KTogRklSU1QgQ0FMTCBGT1IgQ09OVFJJQlVUSU9OUwkyNDgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fccgrid2019.ucy.ac.cy/pages/doctoral.html CALL FOR THE 12TH IEEE INTERNATIONAL SCALABLE COMPUTING CHALLENGE (SCALE 2019) The 12th IEEE International Scalable Computing Challenge (SCALE 2019) is sponsored by the IEEE Computer Society Technical Committee on Scalable Computing (TCSC). The objective of the SCALE Challenge is to highlight and showcase real-world problem solving using computing that scales. Effective solutions to many scientific and engineering problems require applications that can scale. There are different dimensions to application scalability. For example, applications can scale-up to a large number of cores on a compute unit, scale-out to utilize multiple distinct compute units, or exhibit elastic scaling to acquire and release resources on-demand, based on current need. The result may be an application that can solve a larger problem, increase throughput, and/or reduce execution time. In order to scale, applications need to be supported by tools, middleware, software cyber-infrastructure, programming frameworks, computing infrastructure, etc. The SCALE Challenge is concerned with advances in application development and their supporting infrastructure to enable scaling. All papers presented at the SCALE challenge and selected by the Scale Challenge Committee of IEEE/ACM CCGrid 2019 will be submitted to IEEE Xplore for publication and EI indexing. Proposal submission: Jan 31, 2019 More info at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUSEUgMTlUSCBJRUVFL0FDTSBJTlRFUk5BVElPTkFMIFNZTVBPU0lVTSBPTiBDTFVTVEVSLCBDTE9VRCBBTkQgR1JJRCBDT01QVVRJTkcgKElFRUUvQUNNIENDR3JpZCAyMDE5KTogRklSU1QgQ0FMTCBGT1IgQ09OVFJJQlVUSU9OUwkyNDgJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fccgrid2019.ucy.ac.cy/pages/scale2019.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Jul 25 11:47:19 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 25 Jul 2018 12:47:19 +0300 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): Last Mile for Paper Submissions Message-ID: *** LAST MILE FOR PAPER SUBMISSIONS *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb25zCTI1MAlMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 *** Submission Deadline: 31 July, 2018 *** *** Proceedings published by IEEE *** *** Special issue: Journal of Industrial Integration and Management, World Scientific *** WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb25zCTI1MAlMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: Enterprise Systems for Industry 4.0 ? Business-IT Alignment and IT Agility ? Enterprise Modelling and Integration ? Decision Support Systems ? Enterprise Knowledge Engineering and Knowledge Management ? Enterprise Systems for Business Process Management ? Enterprise Systems for Case Management ? Information integration and interoperability ? Cross-organizational collaboration and virtual enterprise ? Integration of (legacy) enterprise applications and information ? Information Governance ? Enterprise Architecture and Engineering ? Service Oriented Architecture (SOA) Cyber Physical Systems for Industry 4.0 ? Artificial intelligence and autonomous systems ? Smart agents and systems ? Cloud computing techniques for industrial systems ? Cloud robotics ? Cloud-based automation and control systems ? Model based development for CPS ? Semantic technologies for CPS ? Formal methods for industrial and enterprise applications ? Smart logistics for complex services ? Intelligent Transportation Systems ? E-Health Systems ? Smart Grid Systems ? Smart Homes, Buildings, Communities, and Cities Internet of Things for Industry 4.0 ? Internet of Things, Services, and People ? Industrial internet and tactile internet ? Wireless sensor and actuator network ? Automation networks, field buses, and Time Sensitive Networks ? Green communications and computing ? Ultra-reliable and ultra-low latency networks ? Super dense networks ? Automotive networks and Internet-of-Vehicles ? New PHY/MAC design and signal processing techniques ? Next generation networks e.g. 5G for industries ? IP-fication and interoperability of communication technologies Big Data for Industry 4.0 ? Innovative approaches for data collection (e.g., sensor-based wearable devices, location-based mobile devices) ? Data analysis (e.g., new econometrics, machine learning, decision science models) of big data ? New methods to extract business intelligence from structured and unstructured business data (e.g. data in the form of text, video, audio, link structure, etc.) ? New methods for the creation, sharing and reuse of big data ? Tools and technologies for deploying and managing big data ? Cloud-based data storage and exchange ? New approaches to combine multiple methods of research on big data ? New methods introduced from reference disciplines (e.g. statistics, biology, medical science, computer science, physics, etc.) for the business analysis of big data Security and Privacy Protection for Industry 4.0 ? Security in industrial networks ? Smart device information leaks ? Trusted and trustworthy computing and cloud services ? Security in cloud-based enterprise infrastructure ? Cloud and cyber security ? Privacy preservation in data release ? Cryptography, key distribution, and security management ? Asymmetric encryption for low capacity devices ? Privacy and data governance System Engineering and Human Factors for Industry 4.0 ? System-of-systems methodology and practices ? Social networks and social computing ? Service design and engineering ? Management of innovation in complex enterprise environment ? Human-in-the-loop automation, control, operation, and optimization ? Advanced human-machine/computer/robot/facility-interaction ? Wearable technologies and human centric sensing ? User centric design of industrial and enterprise systems ? Collaboration between human workers and robots ? Social-industry information exchange ? Enablers, drivers, and use cases of the Social Sensing IoT-enabled Smart Manufacturing ? Cloud based innovation of business models and manufacturing eco-systems ? Cloud manufacturing, mass-customization, and flexible manufacturing ? Networked manufacturing infrastructure and services ? Flexible and rapid recombination and reconfiguration of workshop floors ? Task modelling, decomposition, and composition ? Sharing of distributed manufacturing facilities and fine grain scheduling ? Holistic optimization of manufacturing efficiency ? Interaction and integration of Cyber Factory and Physical Factory ? Evolution and integration of Manufacturing Execution Systems ? Product life cycle management ? Manufacturing Facility-as-a-Service PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: ? Full papers present final result. They must not exceed 8 pages. ? Short papers can contain preliminary results. They must not exceed 6 pages. ? Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb25zCTI1MAlMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb25zCTI1MAlMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for a special issue by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES ? Regular Paper Submissions (al types) due: 31st July 2018 ? Notification of Acceptance/Rejection: 25th August 2018 ? Camera-Ready Versions of Accepted Papers: 6th September 2018 ? Author Registration: 6th September 2018 ? Early Non-Author Registration: 10th September 2018 ? Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs ? Aurona Gerber, South Africa, IEEE SMC EAE TC Chair ? Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair ? Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs ? Ling Xia Li, Old Dominion University, USA ? Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand ? Yale Yu, Infosys Australia & New Zealand ? Chris Zhang, University of Saskatchewan, Canada ? Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb25zCTI1MAlMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Jul 30 12:42:52 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 30 Jul 2018 12:42:52 +0200 Subject: [fg-arc] BigDat 2019: early registration August 22 Message-ID: <545102060a010b04015650060f015a56065f0d025704030050020d5754045b555d0205020a0c0756545e5607500a59@grlmc_ip-zone_com-6> BigDat 2019: early registration August 22*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ******************************************************** ? 5th INTERNATIONAL WINTER SCHOOL ON BIG DATA ? BigDat 2019 ? Cambridge, United Kingdom ? January 7-11, 2019 ? Co-organized by: ? Cambridge Big Data Initiative, University of Cambridge ? Institute for Research Development, Training and Advice (IRDTA) Brussels / London ? http://bigdat2019.irdta.eu/ ? ******************************************************** ? --- Early registration deadline: August 22, 2018 --- ? ******************************************************** ? SCOPE: ? BigDat 2019 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, which covers 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 2 keynote lectures, 24 four-hour courses, 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 2019 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. ? 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. ? VENUE: ? BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be: ? tba ? KEYNOTE SPEAKERS: ? tba ? PROFESSORS AND COURSES: ? Thomas B?ck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications ? Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function ? Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications ? Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Big Data Fusion and Analytics ? Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks ? Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society ? Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing ? David Gerbing (Portland State University), [introductory] Data Visualization with R ? Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs ? Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data ? Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows ? Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences ? Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression ? Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges ? Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning ? Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis ? Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services ? Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise ? Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance ? Mayte Su?rez-Fari?as (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R ? Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning ? Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit ? Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action ? Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning ? 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 title, authors, and summary of the research to david at irdta.eu by December 30, 2018. ? 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. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018. ? 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. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018. ? ORGANIZING COMMITTEE: (to be completed) ? Sara Morales (Brussels) Manuel J. Parra-Roy?n (Granada) David Silva (London, co-chair) ? REGISTRATION: ? It has to be done at ? http://bigdat2019.irdta.eu/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 approximation 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 facility 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. ? 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: ? Cambridge Big Data Initiative, University of Cambridge ? Institute for Research Development, Training and Advice (IRDTA) ? Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From patrizi at diag.uniroma1.it Mon Jul 30 16:42:10 2018 From: patrizi at diag.uniroma1.it (Fabio Patrizi) Date: Mon, 30 Jul 2018 16:42:10 +0200 Subject: [fg-arc] ACTIONS@KR: LAST CALL FOR CONTRIBUTIONS Message-ID: **************************************************************************** LAST CALL FOR CONTRIBUTIONS Reasoning about Actions and Processes: Highlights of Recent Advances ACTIONS at KR18 http://www.diag.uniroma1.it/~kr18actions/ Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona (USA) **************************************************************************** The field of Reasoning about actions, a fundamental area of KR, is expanding to incorporate research from a wide range of other areas of AI and CS. In recent years, we have moved from standard forms of reasoning, such as action sequence executabilty and future effects (projection), to more sophisticated forms of reasoning which share many commonalities with other fields of CS, from verification in Formal Methods to process modeling and analysis in Business Process Management. Moreover, connections with planning are being extended to other forms of synthesis, such as generalized planning, MDPs/RL, supervisory control, reactive synthesis, etc. Papers from these various areas are dispersed across many conferences, which makes it difficult to follow the general direction of the field. Drawing upon a successful format followed in other fields (e.g., http://highlights-conference.org), the workshop aims to offer a wide picture of the latest research in the field and a chance to meet everybody in the community. Goal This workshop aims to bring together researchers working in a variety of areas of AI and CS -- including KR, planning, RL, verification, and synthesis -- to foster these emerging directions of reasoning about actions and processes. Format We invite submissions for presentations, not papers. We welcome a presentation on your favorite recent technical work, position paper, or open problems with clear and concise formulations of current challenges. The contributed talks will be 15-minutes long. All sessions will be designed to promote interaction between the attendees by holding frequent discussion periods for analysis and critique. The workshop will also have panel sessions on important emerging issues for the field and longer keynote talks. Submissions Submissions should have a single main author, who will be the speaker, and each speaker can have no more than one submission. Each submission must be at most 2-pages long and may refer to joint work with other collaborators to be credited in the presentation. There are no formal proceedings and we encourage submissions of work presented or submitted elsewhere (no copyright transfer is required, only permission to post the abstract on the workshop site). Topics of interest include but are not limited to: Reasoning about actions Representing and reasoning about processes Hierarchical abstractions of action models Generalized planning Verification and Synthesis of high level agent behaviors Agent behavior control Logic-based representation, action theories, temporal logics, logics of programs Stochastic representation, MDPs and Non-Markovian Decision Processes Learning dynamic behaviors, RL Partial observability, incomplete information, uncertainty Reasoning about beliefs, goals and intentions First-person vs third person view Plan, intention, and activity recognition Transparency, predictability and accountability of agents? behaviors Both theoretical and application-oriented contributions are welcome. Papers can be submitted via EasyChair: https://easychair.org/conferences/?conf=actionskr18 Important Dates Submission July 21, 2018 ***extended to August 4, 2018*** Notification August 25, 2018 ***extended to August 31, 2018*** Workshop October 28 & 29, 2018 Invited Talks To be announced. Registration For registration details see KR 2018 website. Organizing Committee Giuseppe De Giacomo University of Rome "La Sapienza" Andreas Herzig IRIT, CNRS, Universit? Paul Sabatier Yves Lesperance York University Marco Montali Free University Bozen-Bolzano Fabio Patrizi University of Rome "La Sapienza" Sasha Rubin University of Naples "Federico II" Siddharth Srivastava Arizona State University -- Fabio Patrizi Dipartimento di Ingegneria informatica, automatica e gestionale "A. Ruberti" Sapienza Universit? di Roma Room B214 Via Ariosto, 25 - 00185 Rome, Italy Phone: +39 06 77274073 Home Page: www.dis.uniroma1.it/~patrizi -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthias.gudemann at gmail.com Tue Jul 31 08:16:57 2018 From: matthias.gudemann at gmail.com (=?UTF-8?Q?Matthias_G=C3=BCdemann?=) Date: Tue, 31 Jul 2018 08:16:57 +0200 Subject: [fg-arc] Call for Papers Software Verification and Testing Track @ ACM SAC 2019 Message-ID: 34th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Limassol, Cyprus April 8 ? 12, 2019 https://www.sigapp.org/sac/sac2019/ https://sites.google.com/site/sacsvt2019/home svt.sac.2019 at gmail.com https://twitter.com/SvtSac Important dates =============== Sep. 10, 2018 - Submission of regular papers and SRC research abstracts Nov. 10, 2018 - Notification of paper / SRC abstract acceptance/rejection Nov. 25, 2018 - Camera-ready copies of accepted papers/SRC Dec. 10, 2018 - Author registration due date ACM Symposium on Applied Computing ================================== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2019 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Cyprus, Limassol, Cyprus. Software Verification and Testing Track ======================================= The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification Submission Guidelines ===================== Paper submissions must be original, unpublished work. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within eight two-column pages (an extra two pages, to a total of ten pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2019 proceedings. Paper registration is required, allowing the inclusion of papers, posters, or SRC abstracts in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts will result in excluding them from the ACM/IEEE digital library. After the Symposium we will organize a special issue of the Software Quality Journal (SQJ) on the topics of SVT. Student Travel Award ==================== The SIGAPP Student Travel Award Program (STAP) was established to provide financial support for SIGAPP student members to attend SIGAPP primary conference (SAC) to present their accepted work. Student primary authors and co-authors are eligible to apply for these awards. For details please see: https://www.sigapp.org/stawards.html Student Research Competition ============================ As previous editions, SAC 2019 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.sigapp.org/sac/sac2019/. Program Committee Chairs ======================== Leonardo Mariani, University of Milano Bicocca Matthias G?demann, Diffblue Ltd. Program Committee (preliminary) =============================== Marcelo d?Amorim, Universidade Federal de Pernambuco, Brazil S?bastien Bardin, CEA, France Ezio Bartocci, TU Vienna, Austria Marius Bozga, CNRS, France Lucas Cordeiro, University of Manchester, UK Cristina David, University of Cambridge, UK Giovanni Denaro, University of Milano Bicocca, Milano, Italy Gidon Ernst, University of Melbourne, Australia Yli?s Falcone, Univ. Grenoble Alpes, Inria, France Sylvain Hall?, Universit? du Qu?bec ? Chicoutimi, Canada Thierry J?ron, Inria, France Nikolai Kosmatov, CEA, France Maurizio Leotta, University of Genoa, Italy Leonardo Mariani, University of Milano Bicocca, Italy Mercedes Merayo, Universidad Complutense de Madrid, Spain Dejan Nickovic, Austrian Institute of Technology, Austria Mike Papadakis, University of Luxembourg, Luxembourg Filippo Ricca, Universit? di Genova, Italy Antoine Rollet, Bordeaux INP, LaBRI, France Gwen Sala?n, Univ. Grenoble Alpes, Inria, France Julien Signoles, CEA, France Neil Walkinshaw, University of Leicester, UK Rongxin Wu, Hong Kong University of Science and Technology, Hong Kong Fatiha Za?di, University of Paris-Sud, France