From riebisch at informatik.uni-hamburg.de Tue Aug 1 14:08:26 2017 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Tue, 1 Aug 2017 12:08:26 +0000 Subject: [fg-arc] GI-Workshop Traceability 27.10. - Aktuelle Methoden zur Gewinnung und Aktualisierung von Traceability Modellen - Deadline 1.10.17 Message-ID: - Bitte entschuldigen Sie doppelte Zustellungen - Sehr geehrte Kolleginnen und Kollegen, der Arbeitskreis Traceability / Evolution der GI-Fachgruppe Architekturen lädt Sie ein, Beiträge zu Methoden für die Gewinnung und Aktualisierung von Traceability Modellen bei einem offenen Workshop vorzustellen und zu diskutieren. Kontext und Problemstellung Die explizite Nachverfolgbarkeit von Abhängigkeiten (Traceability) birgt nach wie vor großes Potential zur Unterstützung von Softwareentwicklungsprojekten mit unterschiedlich gearteten Artefakten wie natürlichsprachlicher Dokumentation, Modellen, Tests und Code in verschiedenen Programmiersprachen. Zu den Anwendungsbereichen gehören • Feature Location • Impact Analyse • Konsistenzprüfung zwischen (Architektur-) Dokumentation und Implementation • Prüfung von Testabdeckung • Plattform- und sprachübergreifende Co-Evolution • Security Eine maßgebliche Problemstellung ist dabei die Gewinnung nutzbarer Trace Links aus zuverlässigen Informationsquellen. Diese Informationsquellen über Abhängigkeiten zwischen Softwareartefakten müssen identifiziert und effiziente Methoden zu deren Erschließung erforscht werden. Darüber hinaus müssen die Traceability Modelle nach Änderung der verknüpften Artefakte aktualisiert werden. Ziel Obgleich die Art der verknüpften Artefakte in verschiedenen Forschungsgruppen unterschiedlich ist, sind die Ansätze zur Gewinnung und Aktualisierung der Trace Links verwandt. Forscher verschiedener Nutzungsdomänen von Traceability tauschen sich in diesem Workshop über die gemeinsamen Problembereiche Gewinnung und Aktualisierung von Traceability Modellen aus. Insbesondere sollen verschiedene Arten von Informationsquellen identifiziert und passende Methoden für ihre Erschließung diskutiert werden. Wichtige Termine: Einreichung der Beiträge: bis 1. Oktober 2017 Entscheidung über Annahme: bis 6. Oktober 2017 Workshop: 27. Oktober 2017 Ort: TU Ilmenau Raum Z4005 (Zusebau) Ehrenbergstraße 29 98693 Ilmenau Einreichungen: Wir freuen uns über Einreichungen im Umfang zwischen zwei und sechs Seiten, die auf inhaltliche Passung zum Workshopthema geprüft und im Anschluss an den Workshop in der Zeitschrift „Softwaretechnik-Trends“ veröffentlicht werden. Teilnehmer ohne schriftlichen Beitrag sind ebenfalls willkommen. Die Beiträge sind im Format der Softwaretechnik-Trends zu verfassen (siehe http://pi.informatik.uni-siegen.de/stt/). Die Beiträge sind als PDF per Mail an stehle at informatik.uni-hamburg.de einzureichen. Organisatoren: Tilmann Stehle, Universität Hamburg Patrick Mäder, TU Ilmenau Matthias Riebisch, Universität Hamburg Aktuelle Informationen: Bitte besuchen Sie die Webseite des AK Traceability / Evolution: http://ak-traceab.gi.de/naechste-veranstaltung/workshop-2017.html From grlmc at grlmc.com Wed Aug 2 01:01:35 2017 From: grlmc at grlmc.com (GRLMC) Date: Wed, 02 Aug 2017 01:01:35 +0200 Subject: [fg-arc] TPNC 2017: extended submission deadline August 10 Message-ID: <545102060a010b00075253000f035a50065105005603070507060b010503540003020306515b075501055057050050@grlmc_ip-zone_com-6> TPNC 2017: extended submission deadline August 10*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: August 10 ***** ------------------------------------------------------------------------------   *************************************************************************** 6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2017   Prague, Czech Republic   December 18-20, 2017   Organized by:   Institute of Computer Science Czech Academy of Sciences   Faculty of Mathematics and Physics Charles University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2017/ ***************************************************************************   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 2017 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 2017 will take place in Prague, whose historic centre is UNESCO World Heritage Site and which is home to famous attractions like the Prague Castle, the Charles Bridge, etc. The venue will be:   Faculty of Mathematics and Physics Charles University Ke Karlovu 3 121 16 Praha 2   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems 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 2017 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Enrique Alba (University of Málaga), Natural Computing for Smart Cities   Carlos A. Coello Coello (CINVESTAV-IPN), Recent Results and Open Problems in Evolutionary Multiobjective Optimization   Thomas Stützle (Université Libre de Bruxelles), Automatic Generation of Swarm Intelligence Algorithms   PROGRAMME COMMITTEE:   Ajith Abraham (Machine Intelligence Research Labs, US) Uwe Aickelin (University of Nottingham, UK) Robert Babuska (Delft University of Technology, NL) Thomas Bäck (Leiden University, NL) Gilles Brassard (University of Montréal, CA) Erik Cambria (Nanyang Technological University, SG) Carlos Coello Coello (CINVESTAV-IPN, MX) David W. Corne (Heriot-Watt University, UK) Dipankar Dasgupta (University of Memphis, US) Kalyanmoy Deb (Michigan State University, US) Marco Dorigo (Université Libre de Bruxelles, BE) Andries Engelbrecht (University of Pretoria, ZA) Michel Gendreau (Polytechnique Montréal, CA) Deborah M. Gordon (Stanford University, US) Lawrence Hall (University of South Florida, US) Enrique Herrera-Viedma (University of Granada, ES) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Joshua Knowles (University of Birmingham, UK) Andrew Kusiak (University of Iowa, US) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) José M. Merigó Lindahl (University of Chile, CL) Radko Mesiar (Slovak University of Technology, SK) Risto Miikkulainen (University of Texas, Austin, US) Christos Ouzounis (Centre for Research and Technology Hellas, GR) Henri Prade (Paul Sabatier University, FR) Patrick Siarry (University of Paris-Est, FR) Andrzej Skowron (University of Warsaw, PL) John A. Smolin (IBM Thomas J. Watson Research Center, US) Thomas Stützle (Université Libre de Bruxelles, BE) Ponnuthurai N. Suganthan (Nanyang Technological University, SG) Johan Suykens (KU Leuven, BE) Guy Theraulaz (Paul Sabatier University, FR) Jon Timmis (University of York, UK) Xin‐She Yang (Middlesex University, UK) Yiyu Yao (University of Regina, CA) Lotfi A. Zadeh (University of California, Berkeley, US) Anton Zeilinger (University of Vienna, AT)   ORGANIZING COMMITTEE:   Carlos Martín-Vide (Tarragona, co-chair) Roman Neruda (Prague, co-chair) Petra Novotna (Prague) Manuel Jesús Parra Royón (Granada) Martin Pilat (Prague) David Silva (London) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) 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=tpnc2017   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 BioSystems (Elsevier, 2015 JCR impact factor: 1.495) 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://grammars.grlmc.com/TPNC2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: August 10, 2017 – EXTENDED – Notification of paper acceptance or rejection: September 6, 2017 Final version of the paper for the LNCS proceedings: September 16, 2017 Early registration: September 16, 2017 Late registration: December 4, 2017 Submission to the post-conference journal special issue: March 20, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   TPNC 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Akademie věd České republiky Univerzita Karlova v Praze Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Aug 3 12:06:57 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 3 Aug 2017 13:06:57 +0300 Subject: [fg-arc] 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): Call for Participation Message-ID: *** Call for Participation *** 5th European Conference on the Engineering of Computer Based Systems ECBS 2017 Lordos Beach Hotel, Larnaca, Cyprus 31 August - 1 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjIJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fecbs2017%2F In Cooperation with ACM SIGAPP, SIGOPS and SIGSOFT *** Early Registration Deadline: 19 August, 2017 *** (collocated with the 8th International Conference on Information Inteligence Systems and Applications, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjIJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr%29 ECBS 2017 is a formal meeting dedicated to formulating and advancing methods, techniques, and tools for engineering of computer-based systems. The conference is devoted to the design, development, deployment, and analysis of the complex systems whose behavior is largely determined or controlled by computers. Such systems are characterized by functional, performance, and reliability requirements that mandate the tight integration of information processing and physical processes. ECBS integrates software, hardware, and communication perspective of system engineering through its many facets that include system modeling, requirements specification, simulation, architectures, safety, security, reliability, human-computer interaction, system integration, verification and validation, high performance/parallel computing, cloud-based technologies, and project management. The conference provides a bridge between industry and academia, blending academic research and industrial development. The 5th edition of the conference will be held in Larnaca, Cyprus. Larnaca is known for its palm-tree seafront, the Church of Saint Lazarus, the Hala Sultan Tekke, the Kamares Aqueduct and its medieval fort. It is built on the ruins of ancient Citium, which was the birthplace of Stoic philosopher Zeno. Larnaca is home to the country's primary airport, Larnaca International Airport. It also has a seaport and a marina. Larnaca is a highly touristic city and close to some of the best beaches of Cyprus in Ayia Napa and Protaras. The conference venue is the well known 4* hotel, Lordos Beach Hotel. The Lordos Beach Hotel is one of the leading 4 star hotels in Cyprus. Standing directly on the sandy beach of the Larnaca Bay it is ideally located yet close to both the Larnaca International Airport and the city centre. Set in its own gardens the Lordos Beach boasts a comfortable and stylish environment with professional service from caring staff. Extensively refurbished during 2002 and 2006, the guest rooms on all floors are equipped with all the facilities a discerning traveller expects and are luxuriously decorated in a natural pastel tones. The program of ECBS 2017 includes a keynote by Avgoustinos Constantinides, the Solutions Director of IBSCY Ltd. on the business value of the Cloud, and research papers. The conference attracted 42 paper submissions from 25 countries from many continents. After rigorous reviewing by at least three members of the Program Committee per paper, 16 full papers, 3 short papers and 3 posters were selected to form the technical program and be included in the conference proceedings to be published by ACM ICPS. Papers cover topics of interest in ECBS in areas of software engineering, parallel and distributed systems, embedded systems and networking. We cordially invite you to attend ECBS 2017 in Larnaca, Cyprus! Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chair · Ondrej Rysavy, Brno University of Technology , Czech Republic Program Co-Chair · Valentino Vranic, Slovak University of Technology in Bratislava, Slovakia Steering Committee · Hassan Charaf, ECBS-EERC 2013 General Chair · George Angelos Papadopoulos, General Chair · Miroslav Popovic, ECBS-EERC 2009 General Chair · Ondrej Rysavy, ECBS-EERC 2015 General Chair · Valentino Vranic, ECBS-EERC 2011 General Chair Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjIJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fecbs2017%2Forganizers.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From foclasa2017 at gmail.com Fri Aug 4 15:31:03 2017 From: foclasa2017 at gmail.com (foclasa2017 at gmail.com) Date: Fri, 4 Aug 2017 15:31:03 +0200 Subject: [fg-arc] FOCLASA 2017 - Call for Participation Message-ID: <201708041331.v74DV3s7014176@localhost.localdomain> [Apologies for multiple postings] ------ FOCLASA 2017: Call for Participation ------ FOCLASA 2017: 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems Date: September 5, 2017, Trento (Italy) Co-located with SEFM 2017 - http://sefm17.fbk.eu Web: http://foclasa.lcc.uma.es/ ------------------------------------------------------ FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017). The goal of the FOCLASA workshop is to put together researchers and practitioners to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. ------ REGISTRATION ------ http://sefm17.fbk.eu/registration ------ INVITED SPEAKER ------ Gianluigi Zavattaro, University of Bologna, Italy ------ ACCEPTED PAPERS ------ * "An initial user study comparing the readability of a graphical coordination model with Event-B notation." Eva Kühn and Sophie Therese Radschek * "Combining trust and aggregate computing." Roberto Casadei, Alessandro Aldini and Mirko Viroli * "From (incomplete) TOSCA specs to running apps, with Docker." Antonio Brogi, Davide Neri, Luca Rinaldi and Jacopo Soldani * "Lightweight preprocessing for agent-based simulation of smart mobility initiatives." Jacopo de Berardinis, Giorgio Forcina, Carlo Castagnari, Ali Jafari and Marjan Sirjani * "Towards the performance analysis of elastic systems with e-Motions." Patrícia Araújo de Oliveira, Francisco Durán and Ernesto Pimentel * "Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation." Javier Cámara Moreno, Wenxin Peng, David Garlan and Bradley Schmerl * "Using Coq for Formal Modeling and Verification of Timed Connectors." Weijiang Hong, Saqib Nawaz, Xiyue Zhang, Yi Li and Meng Sun From manna at mat.unical.it Sun Aug 6 09:49:42 2017 From: manna at mat.unical.it (manna at mat.unical.it) Date: Sun, 6 Aug 2017 09:49:42 +0200 Subject: [fg-arc] PADL 2018 - 1 month to abstract deadline Message-ID: [Apologies for cross-posting] Call for Papers =============== 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) http://popl18.sigplan.org/track/PADL-2018-papers Los Angeles, CA, USA, 8 - 9 January, 2018 Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home) The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2018 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the past PADL symposia. It will be co-located with the Symposium on Principles of Programming Languages (POPL 2018), in Los Angeles, CA, USA. Important Dates and Submission Guidelines ========================================= Abstract submission: September 3, 2017 Paper submission: September 10, 2017 Notification: October 9, 2017 Camera-ready: October 23, 2017 Symposium: January 8-9, 2017 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2018 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2018 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2018 will appear in the LNCS series of Springer Verlag ( www.springer.com/lncs ). Two papers accepted for publication at PADL'18 will be nominated for the Most Practical Paper award (one of them as the Student Best Paper), each in cash amount of 250 Euro. These two papers will be invited to submit an extended version of their contribution to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. The extended paper will undergo an additional review process. Program Committee ================= * Daan Leijen, Microsoft Research * Daniel Winograd-Cort, University of Pennsylvania * David Van Horn, University of Maryland * Edwin Brady, University of St. Andrews * Enrico Pontelli, New Mexico State University * Erika Abraham, RWTH Aachen University * Esra Erdem, Sabanci University * Francesco Calimeri, University of Calabria * Geoffrey Mainland, Drexel University * Grigore Rosu, University of Illinois at Urbana-Champaign * James Cheney, University of Edinburgh * Jurriaan Hage, Universiteit Utrecht * Karl Crary, Carnegie Mellon University * Konstantin Schekotihin, University of Klagenfurt * Lars Bergstrom, Mozilla Research * Lukasz Ziarek, SUNY Buffalo * Manuel Carro, Technical University of Madrid and UPM and IMDEA Software Institute * Marcello Balduccini, Saint Joseph's University * Marco Gavanelli, University of Ferrara * Marco Maratea, University of Genova * Martin Gebser, University of Potsdam * Mats Carlsson, SICS * Meera Sridhar, University of North Carolina Charlotte * Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center * Paul Tarau, University of North Texas * Paulo Oliva, Queen Mary University of London * Peter Schüller, Marmara University * Ricardo Rocha, University of Porto * Stefan Woltran, Vienna University of Technology * Stefania Costantini, University of L'Aquila * Wolfgang Faber, University of Huddersfield Publicity Chair: * Marco Manna, University of Calabria, Italy Program Chairs: * Nicola Leone, University of Calabria, Italy * Kevin Hamlen, University of Texas at Dallas, TX, USA Contacts ======== For additional information about papers and submissions, please write to the official conference email address, or contact the Program Chairs: * email: padl2018 at easychair.org * Nicola Leone University of Calabria, Italy https://www.mat.unical.it/leone/ * Kevin Hamlen University of Texas at Dallas, TX, USA http://www.utdallas.edu/~hamlen/ From grlmc at grlmc.com Wed Aug 9 23:30:37 2017 From: grlmc at grlmc.com (GRLMC) Date: Wed, 09 Aug 2017 23:30:37 +0200 Subject: [fg-arc] BigDat 2018: early registration September 3 Message-ID: <545102060a010b00085651060e015a55515300040b07045901005b08540450575c500500030e070b55055554000551@grlmc_ip-zone_com-6> BigDat 2018: early registration September 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *******************************************************   4th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2018   Timișoara, Romania   January 22-26, 2018   Organized by: West University of Timișoara Rovira i Virgili University   http://grammars.grlmc.com/BigDat2018/   *******************************************************   SCOPE:   BigDat 2018 will be a research training event with a global scope aiming at updating participants about 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 five hour and fifteen minute-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. Also, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master 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 2018 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 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:   Universitatea de Vest Blvd. Vasile Parvân, nr. 4 300223 Timișoara   KEYNOTE SPEAKERS: (to be completed)   tba   PROFESSORS AND COURSES: (to be completed)   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Diego Calvanese (Free University of Bozen-Bolzano), tba   Geoffrey C. Fox (Indiana University, Bloomington), tba   Minos Garofalakis (Technical University of Crete), tba   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Big Data Analysis in Microbiome Study   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing   Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Application to NLP   Folker Meyer (Argonne National Laboratory), tba   Wladek Minor (University of Virginia), tba   Raymond Ng (University of British Columbia), tba   Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Jaideep Srivastava (Qatar Computing Research Institute), tba   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data   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.silva409 (at) yahoo.com by January 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 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, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Viorel Negru Manuel J. Parra Royón Dana Petcu Monica Sancira (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2018/registration.php   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 if 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:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universitatea de Vest din Timișoara Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Wed Aug 9 02:15:22 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Wed, 9 Aug 2017 00:15:22 +0000 Subject: [fg-arc] [fm-announcements] RV 2017 - 2nd Call for Participation Message-ID: CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification September 13-16 2017, Seattle, WA, USA Website: http://rv2017.cs.manchester.ac.uk Program: http://easychair.org/smart-program/RV2017/ Affiliated Event: RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools === Early Registration and Accommodation Deadline === *** August 13 *** === OVERVIEW === Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: specification languages monitor construction techniques program instrumentation logging, recording, and replay combination of static and dynamic analysis specification mining and machine learning over runtime traces monitoring techniques for concurrent and distributed systems runtime checking of privacy and security policies statistical model checking metrics and statistical information gathering program/system execution visualization fault localization, containment, recovery and repair integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. === INVITED TALKS === Rodrigo Fonseca, Brown University, USA: “The Design and Applications for a Tracing Plane for Distributed Systems” Vlad Levin and Jakob Lichtenberg, Microsoft, USA: “Windows Driver Verification Platform” Andreas Zeller, Saarland University, Germany: “Learning Input Languages for Runtime Verification” === TUTORIALS === Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA: “P : Modular and Safe Asynchronous Programming” Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA: “Machine-learning State Properties” Adrian Francalanza, University of Malta, Malta: “Foundations For Runtime Monitoring” === VENUE === The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay. Exceptionally well organized, Seattle’s public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass. === REGISTRATION === Registration is available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. Early registration means on or before August 13, 2017. Late registration means after August 13, 2017. Different possibilities of registration are available: Tutorial Day Only (13th September): 210 USD Conference including tutorial day and RV-CuBES (13-16th September) Full Registration Early: 680 USD, Late (after 13 August): 780 USD Student Registration Early: 480 USD, Late (after 13 August): 580 USD === Program Committee === Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho, KTH Royal Institute of Technology, Sweden Howard Barringer, The University of Manchester, UK Ezio Bartocci, Vienna University of Technology, Austria Andreas Bauer, KUKA Systems, Germany Saddek Bensalem, VERIMAG (University of Grenoble Alpes), France Eric Bodden, Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour, McMaster University, Canada Christian Colombo, University of Malta, Malta Ylies Falcone, University of Grenoble Alpes, France Grigory Fedyukovich, University of Washington, USA Lu Feng, University of Virginia, USA Patrice Godefroid, Microsoft Research, USA Jean Goubault-Larrecq, CNRS & ENS de Cachan, France Alex Groce, Northern Arizona University, USA Radu Grosu, Vienna University of Technology, Austria Sylvain Hallé, University of Québec at Chicoutimi, Canada Marieke Huisman, University of Twente, Netherlands Franjo Ivancic, Google, USA Bengt Jonsson, Uppsala University, Sweden Felix Klaedtke, NEC Europe Ltd. Rahul Kumar, Microsoft Research, USA Kim Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, Inria Rennes, France Martin Leucker, University of Lübeck, Germany Ben Livshits, Imperial College, UK David Lo, Singapore Management University, Singapore Francesco Logozzo, Facebook, USA Parthasarathy Madhusudan, University of Illinois at Urbana-Champaign, USA Leonardo Mariani, University of Milan Bicocca, Italy Madan Musuvathi, Microsoft Research, USA Ayoub Nouri, University of Grenoble Alpes, France Gordon Pace, University of Malta, Malta Doron Peled, Bar Ilan University, Israel Grigore Rosu, University of Illinois at Urbana-Champaign, USA Veselin Raychev, ETH Zurich, Switzerland Cesar Sanchez, IMDEA Software Institute, Spain Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma, Microsoft Research, India Julien Signoles, CEA LIST, France Scott Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volker Stolz, Western Norway University of Applied Sciences, Norway Frits Vaandrager, Radboud University, Netherlands Neil Walkinshaw, University of Leicester, UK Chao Wang, University of Southern California, USA Eugen Zalinescu, Technische Universitat München, Germany === CHAIRS AND ORGANIZERS === General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Shuvendu Lahiri, Microsoft Research, USA Giles Reger, University of Manchester, UK Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University of Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA RV-CuBES, PC chairs Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA === SPONSORS === Microsoft Springer --- end -- -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From sac.soap2018 at gmail.com Fri Aug 11 22:07:29 2017 From: sac.soap2018 at gmail.com (sac.soap2018 at gmail.com) Date: Fri, 11 Aug 2017 22:07:29 +0200 Subject: [fg-arc] SOAP@SAC 2017, April 9-13, Pau, France - second call for papers Message-ID: <20170811200729.jt6VW%sac.soap2018@gmail.com> (Apologies for duplicates) SECOND CALL FOR PAPERS - SOAP track at SAC Service-Oriented Architectures and Programming track of the 33st ACM/SIGAPP Symposium On Applied Computing 9-13 April 2018, Pau, France http://sac-soap.sdu.dk/soap2018/ IMPORTANT DATES September 15, 2017: Submission of regular papers and SRC research abstracts November 10, 2017: Notification of paper and SRC abstracts acceptance/rejection November 25, 2017: Camera-ready copies of accepted papers/SRC abstracts December 10, 2017: Author registration due date SAC 2018 For the past thirty years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be held in Pau, France. CALL FOR PAPERS Service-Oriented Programming (SOP) is quickly changing our vision of software development, bringing a paradigmatic shift in the methodologies followed by programmers when designing and implementing distributed systems. SOP originally triggered a radical transformation of the Web, from being a means of presenting information to a wide spectrum of people to becoming a computational fabric. In such fabric, loosely-coupled services publish their interfaces and, through them, discover and interact with each other abstracting from their internal implementations. While this transformation still continues today, it has also already generated other shifts in how programmers deal with resource handling (Cloud Computing) and the scalability of software architectures from the very small to the very large (Microservices). Research on SOP is giving strong impetus to the development of new technologies and tools for creating and deploying distributed software. In the context of this modern paradigm we have to cope with an old challenge, like in the early days of Object-Oriented Programming (OOP) when consistency in the programming model definition was not achieved until the definition of key features like encapsulation, inheritance, and polymorphism, together with proper design methodologies. The complex scenario of SOP needs to be clarified on many aspects, both from the engineering and from the foundational points of view. From the engineering point of view, there are open issues at many levels. Among others, at the system design level, both traditional approaches based on UML and approaches taking inspiration from business process modelling, e.g. BPMN, are used. At the composition level, orchestration and choreography are continuouslsy improved both formally and practically, with an evident need for their integration in the development process. At the description and discovery level there are two separate communities pushing respectively the semantic approach (ontologies, OWL, ...) and the syntactic one like WSDL. In particular, the role of discovery engines and protocols is not clear. In this respect we still lack adopted standards: UDDI looked to be a good candidate, but it is no longer pushed by the main corporations, and its wide adoption seems difficult. Furthermore, a recent implementation platform, the so-called REST services, is emerging and competing with classic Web Services. Finally, features like Quality of Service, security and dependability need to be taken seriously into account, and this investigation should lead to standard proposals. From the foundational point of view, researchers have discussed widely in the last years, and many attempts to use formal methods for specification and verification in this setting have been made. Session correlation, service types, contract theories and communication patterns are only a few examples of the aspects that have been investigated. Moreover, several formal models based upon automata, Petri nets and algebraic approaches have been developed. However, most of these approaches concentrate only on a few features of Service-Oriented Systems in isolation, and a comprehensive approach is still far from being achieved. Our track aims at bringing together researchers and practitioners having the common objective of transforming SOP into a mature discipline with both solid scientific foundations and mature software engineering development methodologies supported by dedicated tools. In particular, we will encourage works and discussions about what SOP still needs in order to achieve its original goal. Major topics of interest will include: -Formal methods for Service-Oriented Computing -Notations, models, and standards for Service-Oriented Computing -Tools and Middlewares for Service-Oriented Development -Service-Oriented Programming Languages -Service-Oriented Programming in dynamic Open Service Ecosystems -Service Choreographies and Protocol-Driven Service Development -Service Interfaces and Communication Technologies (e.g., REST) -Microservices and Scalable Service-Oriented Computing -Engineering methodologies and Patterns for Service-Oriented Software -Static Analysis and Testing of Service-Oriented applications -Adaptability, Dependability, and Fault handling in Service Systems -Security in Service-Oriented Architectures -Quality of Service and Performance Analysis -Industrial deployment of tools and methodologies, case studies -Service application case studies -Trust and Services -Sustainability and Services, Green Computing -Cloud Computing and Services -Services and Big Data -IoT and Cloud-based Services SUBMISSION Authors are invited to submit original unpublished papers. Submission of the same paper to multiple tracks is not allowed. Peer groups with expertise in the track focus area will double-blindly review submissions. Accepted papers will be published in the annual conference proceedings. SOAP track chairs will not submit to the track. Submissions from SOAP PC members and from PC members and track chairs of other SAC tracks are welcome. Submission guidelines can be found on the SAC 2018 website. Prospective papers should be submitted to the track using the provided automated submission system. Please pay attention to ensure anonimity of your submitted manuscript as detailed in the submission page so to allow for double-blind review. Papers not satisfying this constraint will be automatically rejected. See the SAC site for the page constraints. For each accepted paper, an author or a proxy attending SAC MUST present the paper. This is a requirement for the paper to be included in the ACM/ IEEE digital library. Paper registration is required, allowing the inclusion of the papers, posters, or SRC abstracts in the conference proceedings. An author or a proxy attending SAC MUST present the paper. 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. Please submit your contribution via SAC 2018 submission site. SPECIAL ISSUE We plan a special issue of a top-level journal for which we will invite the best papers. STUDENT RESEARCH COMPETITION PROGRAM As before, SAC 2018 organizes 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. For guidelines and information about the SRC program: http://www.sigapp.org/sac/sac2018/src.html. Submission of research abstracts to the SRC program should be in electronic form via SAC 2018 SRC papers submission site. Submission of the same abstract to multiple tracks is not allowed. All research abstract submissions will be reviewed by researchers and practitioners with expertise in the track focus area to which they are submitted. Authors of selected abstracts will have the opportunity to give poster presentations of their work and compete for three top-winning places. The Student Research Competition committee will evaluate and select First-, Second-, and Third- place winners. The winners will receive cash awards and SIGAPP recognition certificates during the conference banquet. Authors of selected abstracts are eligible to apply to the SIGAPP Student Travel Award program for support. PROGRAM COMMITEE -Nazareno Aguirre (Universidad de Río Cuarto, AR) -Farhad Arbab (Leiden University and CWI, Amsterdam, NL) -Luís Barbosa (University of Minho, Braga, PT) -Maurice ter Beek (ISTI-CNR, IT) -Antonio Bucchiarone (FBK, Trento, IT) -Romain Demangeon (Université Pierre et Marie Curie, FR) -Shuiguang Deng (Zhejiang University, PRC) -Schahram Dustdar (Vienna University of Technology, AT) -Gian Luigi Ferrari (Università di Pisa, IT) -José Fiadeiro (Royal Holloway University of London, UK) -Saverio Giallorenzo (University of Bologna, IT) -Ross Horne (Nanyang Technological University, SG) -Vasileios Koutavas (Trinity College Dublin, IR) -Alberto Lluch Lafuente (Technical University of Denmark, DK) -Hernán Melgratti (University of Buenos Aires, AR) -Alberto Núñez (Universidad Complutense de Madrid, SP) -Jorge A. Perez (University of Groningen, NL) -Gustavo Petri (Purdue University, USA) -António Ravara (Universidade Nova de Lisboa, PT) -Victor Rivera (Innopolis University, RU) -Alceste Scalas (Imperial College London, UK) -Nikolay Shilov (Russian Academy of Sciences, Novosibirsk, RU) -Hugo Torres Vieira (IMT Lucca, IT) -Farouk Toumani (Université Blaise Pascal, FR) -Emilio Tuosto (University of Leicester, UK) -Yuhong Yan (Concordia University, CA) -Gianluigi Zavattaro (University of Bologna, IT) -Roberto Zunino (University of Trento, IT) TRACK CHAIRS -Massimo Bartoletti bart @ unica.it Università di Cagliari, Italy -Luís Cruz-Filipe lcf @ imada.sdu.dk University of Southern Denmark, Denmark -Gwen Salaün gwen.salaun @ inria.fr Université Grenoble Alpes, France PUBLICITY CHAIR -Stefano Lande lande @ unica.it Università di Cagliari, Italy STEERING COMMITTEE -Claudio Guidi, italianaSoftware, Italy -Ivan Lanese, University of Bologna, Italy and INRIA, France -Manuel Mazzara, Innopolis University, Russia -Fabrizio Montesi, University of Southern Denmark, Denmark From marcello.balduccini at gmail.com Sun Aug 13 19:49:07 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Sun, 13 Aug 2017 13:49:07 -0400 Subject: [fg-arc] KR18 - Preliminary Call for Tutorial and Workshop Proposals Message-ID: <201708131749.v7DHn7s9010054@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] KR18 - Preliminary Call for Tutorial and Workshop Proposals ** Apologies if you receive multiple copies of this call ** ** Please distribute to interested parties ** ======================================== Call for Tutorial and Workshop Proposals 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona (USA) Workshop/Tutorial dates: 27-29 October 2018 KR main program: 30 October to 1 November 2018 http://reasoning.eas.asu.edu/kr2018 *** Deadline (for proposal submissions): 21 February 2018 *** For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** SUBMISSION INSTRUCTIONS ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically using the following submission forms: Tutorial proposal: http://tinyurl.com/kr18tute Workshop proposal: http://tinyurl.com/kr18workshop For all accepted proposals, KR will take care of all local arrangements. * SUBMISSION REQUIREMENTS FOR TUTORIAL PROPOSALS * Each tutorial proposal should contain the following information: - A short title of the tutorial. - A two-paragraph description of the tutorial. - Proposed length of the tutorial (half day is the default and recommended length, but an argument can be made for a full day tutorial). - A detailed outline of the tutorial. - The potential target audience for the tutorial and prerequisite knowledge. - A brief resume of the presenter(s) including: . Name,affiliation, and email address. . Evidence of scholarship in the area, including a list of publications. . Evidence of teaching experience. The main duties of the tutorial organizers are: - Setup a web-site for the tutorial, which should include, at least, title and abstract of the tutorial, presenters? details, outline, tutorial notes and related reading material. - Deliver the tutorial at KR 2018. * SUBMISSION REQUIREMENTS FOR WORKSHOP PROPOSALS * Each workshop proposal should contain the following information: - Title of the workshop and acronym. - Names, affiliations, and contact details of the organisers. - Short description and format. - History of the workshop (if applicable) and related events. - Size of the workshop and duration. - Tentative list of PC members with their respective affiliations. - Experience of the organisers. - Tentative call for papers. The main duties of the workshop chairs are: - Set up a website for the workshop. - Advertise the workshop and distribute its call for papers. - Coordinate the peer-reviewing of submitted contributions. - Organise a schedule for the workshop in collaboration with the local organisers and the Workshop Co-Chairs. - Coordinate and moderate the workshop participation and content. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** IMPORTANT DATES ** - Proposal submission deadline: 21 February 2018. - Notification: 31 March 2018. - Workshops paper submission deadline: 21 July 2018. - Workshops paper notification: 25 August 2018. - Workshops registration deadline: TBD. - Tutorial and workshop dates: 27-29 October 2018. ** SUBMISSIONS AND INQUIRIES ** Those interested in presenting a tutorial or workshop should register their interest and proposal in the following forms: Tutorial proposals: http://tinyurl.com/kr18tute Workshop proposals: http://tinyurl.com/kr18workshop Inquiries should be sent by email to the tutorials/workshop chairs: Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au Ivan Varzinczak CRIL, Univ. Artois & CNRS, France varzinczak at cril.fr From grlmc at grlmc.com Tue Aug 15 11:49:28 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 15 Aug 2017 11:49:28 +0200 Subject: [fg-arc] SLSP 2017: call for posters Message-ID: <545102060a010b0008535806020b5a53565f0d020053050505040f0555010050565001030458020703000456025658@grlmc_ip-zone_com-6> SLSP 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------- The 5th International Conference on Statistical Language and Speech Processing (SLSP 2017) invites researchers to submit poster presentations. SLSP 2017 will be held in Le Mans (France) on October 23-25, 2017. See  http://grammars.grlmc.com/SLSP2017/ 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 16, 2017 Notification of poster acceptance or rejection: September 23, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2017 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 2017. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2015 impact factor: 1.324). REGISTRATION At least one author of each accepted poster must register to the conference by October 9, 2017. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, coffee breaks, lunches). 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 manna at mat.unical.it Sun Aug 20 16:09:59 2017 From: manna at mat.unical.it (manna at mat.unical.it) Date: Sun, 20 Aug 2017 16:09:59 +0200 Subject: [fg-arc] 3rd CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages Message-ID: [Apologize for unintended cross-mailing] Call for Papers =============== 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) http://popl18.sigplan.org/track/PADL-2018-papers Los Angeles, CA, USA, 8 - 9 January, 2018 Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home) The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2018 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the past PADL symposia. It will be co-located with the Symposium on Principles of Programming Languages (POPL 2018), in Los Angeles, CA, USA. Important Dates and Submission Guidelines ========================================= Abstract submission: September 3, 2017 Paper submission: September 10, 2017 Notification: October 9, 2017 Camera-ready: October 23, 2017 Symposium: January 8-9, 2018 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2018 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2018 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2018 will appear in the LNCS series of Springer Verlag (www.springer.com/lncs). Two papers accepted for publication at PADL'18 will be nominated for the Most Practical Paper award (one of them as the Student Best Paper), each in cash amount of 250 Euro. These two papers will be invited to submit an extended version of their contribution to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. The extended paper will undergo an additional review process. Program Committee ================= * Daan Leijen, Microsoft Research * Daniel Winograd-Cort, University of Pennsylvania * David Van Horn, University of Maryland * Edwin Brady, University of St. Andrews * Enrico Pontelli, New Mexico State University * Erika Abraham, RWTH Aachen University * Esra Erdem, Sabanci University * Francesco Calimeri, University of Calabria * Geoffrey Mainland, Drexel University * Grigore Rosu, University of Illinois at Urbana-Champaign * James Cheney, University of Edinburgh * Jurriaan Hage, Universiteit Utrecht * Karl Crary, Carnegie Mellon University * Konstantin Schekotihin, University of Klagenfurt * Lars Bergstrom, Mozilla Research * Lukasz Ziarek, SUNY Buffalo * Manuel Carro, Technical University of Madrid and UPM and IMDEA Software Institute * Marcello Balduccini, Saint Joseph's University * Marco Gavanelli, University of Ferrara * Marco Maratea, University of Genova * Martin Gebser, University of Potsdam * Mats Carlsson, SICS * Meera Sridhar, University of North Carolina Charlotte * Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center * Paul Tarau, University of North Texas * Paulo Oliva, Queen Mary University of London * Peter Schüller, Marmara University * Ricardo Rocha, University of Porto * Stefan Woltran, Vienna University of Technology * Stefania Costantini, University of L'Aquila * Wolfgang Faber, University of Huddersfield Publicity Chair: * Marco Manna, University of Calabria, Italy Program Chairs: * Nicola Leone, University of Calabria, Italy * Kevin Hamlen, University of Texas at Dallas, TX, USA Contacts ======== For additional information about papers and submissions, please write to the official conference email address, or contact the Program Chairs: * email: padl2018 at easychair.org * Nicola Leone University of Calabria, Italy https://www.mat.unical.it/leone/ * Kevin Hamlen University of Texas at Dallas, TX, USA http://www.utdallas.edu/~hamlen/ From grlmc at grlmc.com Thu Aug 24 22:09:09 2017 From: grlmc at grlmc.com (GRLMC) Date: Thu, 24 Aug 2017 22:09:09 +0200 Subject: [fg-arc] BigDat 2018: early registration September 3 Message-ID: <545102060a010b00095759060e0b5a50005207550a5707570b0758500f045356060401525601080408530557525453@grlmc_ip-zone_com-6> BigDat 2018: early registration September 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *******************************************************   4th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2018   Timișoara, Romania   January 22-26, 2018   Organized by: West University of Timișoara Rovira i Virgili University   http://grammars.grlmc.com/BigDat2018/   *******************************************************   SCOPE:   BigDat 2018 will be a research training event with a global scope aiming at updating participants about 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 five hour and fifteen minute-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. Also, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master 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 2018 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 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:   Universitatea de Vest Blvd. Vasile Parvân, nr. 4 300223 Timișoara   KEYNOTE SPEAKERS: (to be completed)   tba   PROFESSORS AND COURSES: (to be completed)   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Diego Calvanese (Free University of Bozen-Bolzano), tba   Geoffrey C. Fox (Indiana University, Bloomington), tba   Minos Garofalakis (Technical University of Crete), tba   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Big Data Analysis in Microbiome Study   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing   Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Application to NLP   B.S. Manjunath (University of California, Santa Barbara), [introductory/intermediate] Working with Unstructured (Big) Data   Folker Meyer (Argonne National Laboratory), tba   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations   Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Jaideep Srivastava (Qatar Computing Research Institute), tba   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery   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.silva409 (at) yahoo.com by January 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 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, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Viorel Negru Manuel J. Parra Royón Dana Petcu Monica Sancira (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2018/registration.php   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 if 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:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universitatea de Vest din Timișoara Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Aug 27 10:47:04 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 27 Aug 2017 11:47:04 +0300 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Call for Participation Message-ID: <7FUZIRED-LT6D-PIRV-4PFY-ZX5SQT8SH8V@cs.ucy.ac.cy> *** Call for Participation *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTEyNAlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F (collocated with the 21st European Conference on Advances in Databases and Information Systems, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTEyNAlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F%29 Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. The 114 high quality papers will be presented by researchers from 31 countries all over the world on the following topics: - Knowledge Engineering and Semantic Web - Social Networks and Recommender Systems - Data Mining Methods and Applications- - Multi-agent Systems - Sensor Networks and Internet of Things - Decision Support & Control Systems - Cooperative Strategies for Decision Making and Optimization - Computational Swarm Intelligence - Machine Learning in Medicine and Biometrics - Cyber Physical Systems in Automotive Area - Internet of Things - Its Relations and Consequences - Text Processing and Information Retrieval - Low Resource Language Processing - Computer Vision Techniques - Intelligent Processing of Multimedia in Web Systems Keynote Lectures 1. Prof. Dr.-Ing. Andreas Nürnberger Otto von Guericke University Magdeburg, Germany Title: Collaborative Exploration: Methods to Support Collaborative Searching and Sensemaking 2. Prof. Yannis Manolopoulos Aristotle University of Thessaloniki, Greece Title: Predicting the future evolution of scientific output 3. Prof. Slawomir Zadrozny Systems Research Institute, Polish Academy of Sciences, Poland Title: Consensual decision making: history and new trends 4. Prof. Constantinos S. Pattichis University of Cyprus, Cyprus Title: Cardiovascular Health Informatics: Predicting the Risk of Stroke Based on Ultrasound Image Analysis of the Atherosclerotic Carotid Plaque Proceedings The proceedings are published in Springer's LNCS/LNAI series. According to the recent Springer Reports of May 2017 Proceedings of ICCCI 2016 and ICCCI 2015 belong to the top 25% most downloaded eBooks in the relevant SpringerLink eBook Collection in 2016. Registration http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTEyNAlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2Fregistration.html Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus å Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa? Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Aug 27 14:57:15 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 27 Aug 2017 15:57:15 +0300 Subject: [fg-arc] UMUAI special issue on personalized cultural heritage content - Call for Papers Message-ID: Digital cultural heritage is now a mature field, in which information technologies are used in the service of preserving cultural heritage. The digital form of resources allows for the exploitation of advances in data analytics, semantics, information retrieval, user interaction, profiling and personalization in order to develop new, exciting and stimulating cultural heritage experiences in tourism and education. This special issue aims to form a reference point for the field of personalized delivery of cultural heritage content. We invite works that present and/or review the current state of the art in theory and practice, as well as promising recent advances in the area of aligning the delivery process for cultural heritage content to the needs, goals, characteristics and preferences of individual users and groups of users. The issue is broad in scope, with the caveat that emphasis should be on the link between cultural heritage and personalization techniques; works dealing exclusively with one of the two topics will be deemed out of scope. Topics of interest Semantic modelling for cultural heritage content and their application to personalized content delivery. Advances in knowledge representation. Metadata standards and datasets. Automated reasoning and computational argumentation for personalized explanations and feedback. Personalization/recommendation technologies applied to cultural heritage content. Profiling techniques for individuals, groups and crowds. Context awareness in cultural heritage venues and cities. Applications in cultural, educational or touristic experiences. Personalized storytelling. Adaptive navigation and browsing. Crowdsourcing and crowd computing methodologies, tools and case studies and their application to personalization in Cultural Heritage. Creativity and collaboration. Social interaction and argumentation. Mixed Crowd and AI- based processing approaches to personalization Personalized interaction with cultural heritage content. PCs and mobile personal devices. Multi-touch interfaces. Information booths. Public and shared displays Paper submission Prospective authors are invited to submit an extended abstract (up to four pages) to the special issue editors via EasyChair (https://easychair.org/conferences/?conf=umuaich2017). Promising and in-scope works will be invited for extension into full submissions, from which point on a standard reviewing process will be followed. Submission and detailed formatting instructions for full papers are available at the journal's site (http://www.umuai.org/paper_submission.html). Important dates Abstract due: November 30th, 2017 Full submission invitation: December 15th, 2017 Manuscript due: February 28th, 2018 First notification to authors: April 30th, 2018 Revised submission deadline: June 15th, 2018 Final notification to authors: July 31st, 2018 Publication date: End of 2018 / start of 2019, as per UMUAI's publication schedule Guest editors Manolis Wallace ??? LAB - Knowledge and Uncertainty Research Laboratory Department of Informatics and Telecommunications University of Peloponnese Martín López-Nores Department of Telematics Engineering University of Vigo Yannick Naudet Luxembourg Institute for Science and Technology (LIST) 5, avenue des Hauts-Fourneaux L-4362 Esch/Alzette Tsvi Kuflik Information Systems Department The University of Haifa -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Tue Aug 29 23:47:09 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 29 Aug 2017 23:47:09 +0200 Subject: [fg-arc] BigDat 2018: early registration September 3 Message-ID: <545102060a010b000951560101075a52510201020b065754030a0f070e500053035657040500530601045956530556@grlmc_ip-zone_com-6> BigDat 2018: early registration September 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *******************************************************   4th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2018   Timișoara, Romania   January 22-26, 2018   Organized by: West University of Timișoara Rovira i Virgili University   http://grammars.grlmc.com/BigDat2018/   *******************************************************   SCOPE:   BigDat 2018 will be a research training event with a global scope aiming at updating participants about 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, 25 five hour and fifteen minute-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. Also, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master 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 2018 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 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:   Universitatea de Vest Blvd. Vasile Parvân, nr. 4 300223 Timișoara   KEYNOTE SPEAKERS: (to be completed)   tba   PROFESSORS AND COURSES: (to be completed)   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Diego Calvanese (Free University of Bozen-Bolzano), tba   Nick Duffield (Texas A&M University), [introductory/intermediate] Sampling for Big Data   Sašo Džeroski (Jožef Stefan Institute), [introductory/intermediate] Multi-target Prediction: Techniques and Applications   Geoffrey C. Fox (Indiana University, Bloomington), tba   Minos Garofalakis (Technical University of Crete), tba   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Big Data Analysis in Microbiome Study   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing   Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Application to NLP   B.S. Manjunath (University of California, Santa Barbara), [introductory/intermediate] Working with Unstructured (Big) Data   Folker Meyer (Argonne National Laboratory), tba   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations   Srinivasan Parthasarathy (Ohio State University), [introductory/intermediate] Network Science Fundamentals   Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Kyuseok Shim (Seoul National University), [introductory/intermediate] MapReduce Algorithms for Big Data Analysis   Jaideep Srivastava (Qatar Computing Research Institute), [introductory/intermediate] Social Computing   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Pascal Van Hentenryck (University of Michigan, Ann Arbor), [intermediate] Big Data in Transportation and Mobility   Sebastián Ventura (University of Córdoba), tba   Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery   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.silva409 (at) yahoo.com by January 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 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, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Viorel Negru Manuel J. Parra Royón Dana Petcu Monica Sancira (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2018/registration.php   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 if 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:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universitatea de Vest din Timișoara Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.vanhoof at unamur.be Mon Aug 28 11:13:27 2017 From: wim.vanhoof at unamur.be (Wim Vanhoof) Date: Mon, 28 Aug 2017 11:13:27 +0200 Subject: [fg-arc] PPDP and LOPSTR 2017 Call for Participation Message-ID: <01D63873-5296-420C-851C-D97905E30E03@unamur.be> *********************************************** CALL FOR PARTICIPATION PPDP 2017 19th International Symposium on Principles and Practice of Declarative Programming Namur, Belgium, October 9-11 http://complogic.cs.mcgill.ca/ppdp2017 co-located with LOPSTR 2017 27th International Symposium on Logic-Based Program Synthesis and Transformation Namur, Belgium, October 10-12 https://www.sci.unich.it/lopstr17/ *********************************************** Registration is now open: https://events.info.unamur.be/ppdp-lopstr-2017/ ** Early registration deadline: September 15, 2017 ** INVITED TALKS: Marieke Huisman (Universiteit Twente) A Verification Technique for Deterministic Parallel Programs (joint PPDP/LOPSTR speaker) Sumit Gulwani (Microsoft) Programming by Examples: Applications, Algorithms, and Ambiguity Resolution (joint PPDP/LOPSTR speaker) Serge Abiteboul (INRIA) Ethical issues in data management (PPDP) Grigore Rosu (University of Illinois at Urbana-Champaign) K: A Logic-Based Framework for Program Transformation and Analysis (LOPSTR) Please consult the conferences' webpages for a list of accepted papers. Hope to see you in Namur ! From jose.proenca at di.uminho.pt Wed Aug 30 18:33:34 2017 From: jose.proenca at di.uminho.pt (Jose Proenca) Date: Wed, 30 Aug 2017 17:33:34 +0100 Subject: [fg-arc] FACS 2017 - Doctoral Track: Call for Contributions Message-ID: <67104dac-dcd4-4371-9bb1-8735ba4b02ad@SRV-EXCH-CAS-02.uminho.pt> CC: Markus Lumpe --------------------------------------------------------------------- Doctoral Track: Call for Contributions FACS'17 14th International Conference on Formal Aspects of Component Software Braga, Portugal, October 10-13, 2017 http://facs2017.di.uminho.pt --------------------------------------------------------------------- IMPORTANT DATES Doctoral Track submission deadline: September 3, 2017 Doctoral Track notification: September 10, 2017 FOLLOW US All updates on twitter.com/facs2017. INVITED SPEAKERS - Catuscia Palamidessi INRIA Saclay, Ile-de-France, France - David Costa NewMotion & CWI, Amsterdam, the Netherlands FACS 2017 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematics-based techniques for the specification, development, and verification of software and hardware systems. They have been shown to provide a strong foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The objective of FACS 2017 Doctoral Track is to give the opportunity to PhD students and young researchers to share their work-in-progress and innovative ideas in a supportive yet questioning setting. Students will be able to discuss their goals, methods, and results at an early stage in their research, receiving useful feedback from established researchers and the other student attendees. To submit to FACS 2017 Doctoral Track please prepare an extended abstract of your talk (3 pages, Springer LNCS format) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere, and will be made available in a companion technical report. Please use the easychair link below to submit your extended abstract: https://easychair.org/conferences/?conf=facs2017 More information: http://facs2017.di.uminho.pt