From r.s.miller at ucl.ac.uk Tue Aug 1 22:44:03 2017 From: r.s.miller at ucl.ac.uk (Miller, Rob) Date: Tue, 1 Aug 2017 20:44:03 +0000 Subject: Commonsense-2017: submission deadline extended to Tuesday 8 August Message-ID: <87A1F5D4-02A8-4C98-B4E9-C15779B5B440@ucl.ac.uk> Due to numerous requests from authors the deadline for Commonsense-2017 paper submissions has been extended to TUESDAY 8 AUGUST. Amended call for papers follows: Thirteenth International Symposium on Commonsense Reasoning (Commonsense-2017) We invite submissions to Commonsense-2017, to be held in London at University College London, November 6-8, 2017. Endowing computers with common sense is one of the major long-term goals of Artificial Intelligence research. Commonsense knowledge and reasoning are relevant for many applications of current interest. Examples include robot and human collaboration, transparent machine-learning systems that can explain their conclusions, social media and story understanding software, and dialogue systems. The recent resurgence of interest in commonsense reasoning reflects a wider societal reaction to current technological advances, such as the fact that ?next year a law will come into operation in [EU] member states which gives everyone a right to an explanation of any decision affecting them that has been reached algorithmically? [Guardian newspaper, 14 April 2017]. Approaches to acquiring commonsense knowledge and performing commonsense reasoning may incorporate semantics-based representation and inference, machine learning, natural language processing, computer vision, and/or cognitive science. The symposium aims to encourage cross-fertilization between these and other techniques. The synthesis of multiple approaches is challenging, but could jump-start progress on many outstanding problems of commonsense reasoning. We welcome a wide variety of submissions, including formal results, experimental results, demos, surveys, evaluations and comparisons of different approaches, and papers on methodological issues. While mathematical logic has traditionally been the primary lingua franca of the Symposium, we welcome all relevant and rigorous approaches to automating commonsense knowledge and reasoning. Topics of interest include, but are not limited to: * Semantics-based representations for specific commonsense domains, such as: - Time, change, action, causality - Commonsense physical and spatial reasoning - Legal, biological, medical, and other scientific reasoning incorporating elements of common sense - Mental states such as beliefs, intentions, and emotions - Social activities and relationships * Inference methods for commonsense reasoning, such as: - Logic programming - Probabilistic, heuristic, and approximate reasoning - Nonmonotonic reasoning, belief revision and argumentation - Abductive and inductive reasoning - Textual Entailment * Methods for creating commonsense knowledge bases, such as: - Statistical and corpus-based techniques, including both traditional machine learning and deep learning - Crowdsourcing - Hand-crafting domain theories - Hybrid methods * Applications of commonsense reasoning, especially interdisciplinary research in the following areas: - Natural language understanding (understanding discourse, question answering, semantic parsing) - Image understanding - Cognitive robotics and planning - Web-based applications (search, internet of things) - Support technologies (computer-aided instruction, home automation) * Discussions of the science of commonsense reasoning research, including: - Meta-theorems about commonsense theories and techniques - Relation to other fields, such as philosophy, linguistics, cognitive psychology, game theory, and economics - Challenge problem sets and benchmarking By default accepted papers will be published shortly after the symposium in the CEUR Workshop Proceedings series. Authors may however opt out of publishing in CEUR, e.g. if they wish to publish their paper at another venue. Authors will be asked to confirm their inclusion in CEUR Workshop Proceedings approximately two weeks after the symposium. All accepted papers will be made available on the commonsensereasoning.org website for the duration of the symposium. A special issue of Annals of Mathematics and Artificial Intelligence, which will include selected and extended papers from Commonsense-2017, is currently planned; journal submissions will be due in winter 2018. Important Dates - Submissions due (new extended deadline): August 8, 2017 - Submission notification date: September 8, 2017 - Camera-ready versions due: September 22, 2017 - Symposium: November 6-8, 2017 Invited Speakers We are happy to announce two invited speakers for Commonsense 2017: - Murray Shanahan, Imperial College London - Sebastian Riedel, University College London Submissions - Submissions will be made through EasyChair, at: https://easychair.org/conferences/?conf=commonsense2017 - Papers are limited to 6 pages, prepared in IJCAI or AAAI format, using Letter or A4 sized paper, plus one additional page for references. Review Process Each paper will receive three blind peer reviews. Selection criteria include novelty, technical accuracy and rigor, significance and generalizability, relevance, and quality of writing. Program Chairs Andrew S. Gordon, University of Southern California Rob Miller, University College London Gyorgy Turan, University of Illinois at Chicago and University of Szeged Program Committee Eyal Amir, University of Illinois at Urbana-Champaign Chitta Baral, Arizona State University Vaishak Belle, University of Edinburgh Brandon Bennett, University of Leeds G?bor Berend, University of Szeged Nicola Bicocchi, Unversity of New Brunswick Antonis Bikakis, University College London Bert Bredeweg, University of Amsterdam Erik Cambria, Nanyang Technological University Cungen Cao, Chinese Academy of Sciences Nathanael Chambers, United States Naval Academy Ernest Davis, New York University Gerard de Melo, Rutgers University Valeria De Paiva, University of Birmingham Luke Dickens, University College London Esra Erdem, Sabanci University Nina Gierasimczuk, Technical University of Denmark Jonathan Gordon, USC Information Sciences Institute Catherine Havasi, Luminoso Technologies Jose Hernandez-Orallo, Universitat Politecnica de Valencia Jeff Horty, University of Maryland Daniela Inclezan, Miami University Naoya Inoue, Tohoku University Benjamin Johnston, University of Technology Sydney Antonis Kakas, University of Cyprus Gerhard Lakemeyer, RWTH Aachen University Henry Lieberman, Massachusetts Institute of Technology Vladimir Lifschitz, University of Texas Fangzhen Lin, Hong Kong University of Science and Technology Quan Liu, University of Science and Technology of China Loizos Michael, Open University of Cyprus Niloofar Montazeri, University of California Riverside Leora Morgenstern, Leidos Charlie Ortiz, Nuance Communications Sebastian Pado, Stuttgart University Theodore Patkos, Institute of Computer Science, FORTH Pavlos Peppas, University of Patras Dimitris Plexousakis, Institute of Computer Science, FORTH Chiaki Sakama, Wakayama University Steven Schockaert, Cardiff University Mark Steedman, University of Edinburgh Michael Thielscher, University of New South Wales Richmond Thomason, University of Michigan Lucy Vanderwende, Microsoft Research Laure Vieu, Institut de Recherche en Informatique de Toulouse Stefan Woltran, Technische Universit?t Wien Website: http://commonsensereasoning.org From grlmc at grlmc.com Wed Aug 2 04:50:24 2017 From: grlmc at grlmc.com (GRLMC) Date: Wed, 02 Aug 2017 04:50:24 +0200 Subject: TPNC 2017: extended submission deadline August 10 Message-ID: <545102060a010b000753570b03025a03550302580b05535406050d040e5050075d0303060201520100050206500454@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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From manna at mat.unical.it Sun Aug 6 12:49:21 2017 From: manna at mat.unical.it (manna at mat.unical.it) Date: Sun, 6 Aug 2017 12:49:21 +0200 Subject: PADL 2018 - 1 month to abstract deadline Message-ID: <8c03bca79ee5adf6269d73703250619a.squirrel@www.mat.unical.it> [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, 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 geoff at cs.miami.edu Wed Aug 9 13:44:08 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Wed, 9 Aug 2017 07:44:08 -0400 (EDT) Subject: TPTP v7.0.0 and CASC-26 Message-ID: <20170809114408.E1E1017010D3@cs.miami.edu> ================================================================================ The TPTP Problem Library, Release v7.0.0 ---------------------------------------- Geoff Sutcliffe Dep't of Computer Science, University of Miami, USA geoff at cs.miami.edu *** NOTICE: The 26th CADE STP System Competition (CASC-26) is running today. *** See the action online at ... *** http://www.tptp.org/CASC/26/ *** http://www.tptp.org/CASC/26/RealTimeResults.html The TPTP (Thousands of Problems for Theorem Provers) Problem Library is a library of test problems for automated theorem proving (ATP) systems. The TPTP supplies the ATP community with: + A comprehensive library of the ATP test problems that are available today, in order to provide an overview and a simple, unambiguous reference mechanism. + A comprehensive list of references and other interesting information for each problem. + Arbitary size instances of generic problems (e.g., the N-queens problem). + A utility to convert the problems to existing ATP systems' formats. + General guidelines outlining the requirements for ATP system evaluation. + Standards for input and output for ATP systems. The principal motivation for the TPTP is to support the testing and evaluation of ATP systems, to help ensure that performance results accurately reflect capabilities of the ATP system being considered. A common library of problems is necessary for meaningful system evaluations, meaningful system comparisons, repeatability of testing, and the production of statistically significant results. The TPTP is such a library. This is the first release with polymorphic THF (TH1) problems. There are 644 polymorphic TH1 problems in 14 domains. TPTP v7.0.0 is now available at: http://www.tptp.org The TPTP-v7.0.0.tgz file contains the library, including utilities and basic documentation. Full documentation is online at: http://www.tptp.org/TPTP/TR/TPTPTR.shtml The TPTP is regularly updated with new problems, additional information, and enhanced utilities. If you would like to register as a TPTP user, and be kept informed of such developments, please email Geoff Sutcliffe. ========================== What's New in TPTP v7.0.0 ========================== Changes from v6.4.0 to v7.0.0 for THF problems 639 new abstract problems, in the domains ANA COM DAT GEO LIN MSC NUN PRO PUZ RAL SEV. 648 new problems, in the domains ANA COM DAT GEO LIN MSC NUN PRO PUZ RAL SEV. 0 new generators. 0 bugfixes done. Changes from v6.4.0 to v7.0.0 for TFA problems 195 new abstract problems, in the domains ARI DAT SWW. 198 new problems, in the domains ARI DAT SWW. 0 new generators. 0 bugfixes done. Changes from v6.4.0 to v7.0.0 for TFF problems 0 new abstract problems. 0 new problems. 0 new generators. 0 bugfixes done. Changes from v6.4.0 to v7.0.0 for FOF problems 106 new abstract problems, in the domains GEO SEV SYO. 109 new problems, in the domains GEO SEV SYO. 0 new generators. 4 bugfixes done, in the domains BIO. Changes from v6.4.0 to v7.0.0 for CNF problems 0 new abstract problems. 0 new problems. 0 new generators. 0 bugfixes done. + Two new domains have been added: - LIN (Linear Algebra) - RAL (Real Algebra) + Numbers no longer permitted in CNF and FOF. Use "distinct objects", e.g., "27". + In SyntaxBNF - Noted that s may not be used in CNF or FOF. - Added tcf - Moved ^ into - Changed and to be more precise. removed from . - Specified that the quantification in a $let must be universal. - Added ()s around the in a (to avoid binding ambiguity). - Changed $ite to be an instance of a , so it uses application rather than FOF style $ite(...). - Added := to the THF binary connectives, to accomodate logic specifications. This changed $let to use for it's first arguments; the original rule hierarchy for $let has been changed to :== semantic rules. Semantic rules for logic specifications have been added. - Added := to the TFF binary connectives, to accomodate logic specifications. - Split off TFX language, for FOOL and modal logic. - Renamed things to separate THF from TFF from FOF from general - Added back - Added . Allow s to use either {}s or []s. - Added to - Updated comment about number of languages, and comment saying all variables except CNF must be quantified. ================================================================================ From grlmc at grlmc.com Thu Aug 10 03:09:46 2017 From: grlmc at grlmc.com (GRLMC) Date: Thu, 10 Aug 2017 03:09:46 +0200 Subject: BigDat 2018: early registration September 3 Message-ID: <545102060a010b0008575406070a5a52555e0c04040904510a055c02030f070750500005525b05030255500a045300@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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.nocera at poliba.it Sun Aug 13 17:37:10 2017 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Sun, 13 Aug 2017 15:37:10 +0000 Subject: ACM SAC 2018 --Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) -- Call For Papers In-Reply-To: References: Message-ID: ---------------------------------------------------------------------------------------------- SA-TTA 2018 at ACM SAC 2018: CALL FOR PAPERS and STUDENT RESEARCH ABSTRACTS The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018) The 6th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) http://dinamico2.unibg.it/sa-tta/2018/ April 9 - 13, 2018 Pau, France ---------------------------------------------------------------------------------------------- **Aim and scope** The Sixth Edition of the Software Architecture: Theory, Technology, and Applications (SA-TTA 2018) is part of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC). For the past thirty-one years, ACM SAC has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. Nowadays Software Architecture is a consolidated and necessary discipline centered on the idea of reducing complexity in software development and evolution through abstraction and separation of concerns. Designing software architectures that enable provisioning and evolution of functional requirements and exhibit a good tradeoff between multiple quality attributes (or extra-functional requirements) is hard and still challenging. At the same time having adaptable software architectures able to change their topology and behavior to overcome certain environmental situations is still under analysis in different domains especially when they are used to realize complex and distributed systems (i.e., systems of systems). The goal of the track SA-TTA is to bring together researchers and industry R&D having the common objective of transforming Software Architecture into a mature discipline leveraging on both solid scientific foundations and validated engineering methodologies and tools. SA-TTA is focused broadly on how to address functional requirements and quality characteristics in the design, maintenance, adaptation and evolution of software architectures through the support of automated techniques and tools. Of special interest are architecture description languages, formalisms, techniques, methodologies, tools, and runtime environments that support these activities, possibly exploiting model-driven engineering principles. A special emphasis will be put also on technical aspects of software architectures development for specific class of software systems and application domains. The SA-TTA track seeks to attract scholars, researchers, engineers, and practitioners interested in Applied Software Architecture, namely practical engineering concerns, experiences in tools development, and applications of Software Architecture. Specific topics include, but are not limited to: * Architecture description languages and component models for Software Architectures * Architectural patterns, tactics, styles, viewpoints, and tool support * Software architecture modeling, analysis methods and tools * Software architecture and development practices such as agile development and global software development * Architecture quality measures and tool support * Formal validation and verification techniques for Software Components and Architectures * Linking architecture to requirements and implementation * Testing based on Software Architecture * Recovery of Software Architecture * Architecture based Software Evolution and mMaintenance * Model-driven methodologies and tools for Software Architectures * Dynamic Software ArchitecturesService-oriented Architectures and Microservices * Software Architectures for Software Product Lines * Software Architectures for legacy systems and systems integration * Software Architectures for Real-time and Embedded Systems * Software Architectures for Self-adaptive Systems * Software Architectures for Collective Adaptive Systems * Software Architectures for System-of-Systems * Software Architectures for Cloud-based applications and services * Software Architectures for Mobile cloud computing * Software Architectures for IoT applications * Software Architectures for Social Computing * Software Architectures for Sociotechnical systems * Software Architectures for Data-Intensive Systems * Software Architectures for Artificial Intelligence Systems * Industrial experiments and case studies **Submissions** Regular papers: Authors are invited to submit original unpublished papers. Submission of the same paper to multiple tracks is not allowed. The program committee will blindly review submissions to the track. The author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be in the third person. This is to facilitate blind review. SA-TTA track chairs will not submit to the track. Submissions from SA-TTA PC members and track chairs of other SAC tracks are welcome. Paper submissions must be made electronically in PDF format via the ACM SAC online submission system. Details on the paper format and submission guidelines can be found on the SAC 2017 website http://www.acm.org/conferences/sac/sac2018/. The maximum length for papers is 8 pages. Accepted papers whose camera-ready version will exceed 6 pages will have to pay an extra charge. Student Research Competition: The Student Research Competition (SRC) program, sponsored by Microsoft Research, is a newly added program to the ACM SIGAPP Symposium on Applied Computing (SAC). The SAC 2018 SRC program provides graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Active graduate students seeking feedback from the scientific community on their research ideas are invited to submit abstracts of their original un-published and in-progress research work in areas of experimental computing and application development related to SAC 2018 Tracks. For more details, visit the SAC 2017 website http://www.acm.org/conferences/sac/sac2018/ **Paper Registration** Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. **Important Dates** September 15, 2017: Submission of regular papers and SRC abstracts November 10, 2017: Notification of papers and posters and SRC acceptance/rejection November 25, 2017: Camera-ready copies of accepted papers December 10, 2017: Author registration due date **Program Committee** Yamine Ait-Ameur - IRIT/ENSEEIHT, France Jesper Andersson - Linnaeus University, Sweden Paolo Arcaini - Charles University in Prague Oliver Barais - INRIA, France Georg Buchgeher - SCCH GmbH Hagenberg, Austria Radu Calinescu - University of York, UK Rafael Capilla - University Rey Juan Carlos of Madrid, Spain Guglielmo De Angelis - IASI CNR, Italy Naranker Dulay - Imperial College London, UK Sam Guinea - Politecnico di Milano, Italy Kenneth Johnson - Auckland University of Technology, New Zealand Jens Knodel - Fraunhofer IESE, Kaiserslautern, Germany Eva Kühn - Vienna University of Technology, Austria Patricia Lago - VU University, Amsterdam Chan-gun Lee - Chung-Ang University, Korea Jihyun Lee - Dept. of Software Engineering, Chonbuk National University Hernan Melgratti - University of Buenos Aires, Argentina José Javier Merseguer - University of Saragoza, Spain Henry Muccini - University of L'Aquila, Italy Elisa Yumi Nakagawa - University of São Paulo, Brazil Francesco Nocera - Polytechnic University of Bari, Italy Ileana Ober - IRIT/University of Toulouse Hongyu Pei-Breivold - ABB Corporate Research, Västerås, Svezia Alexander Raschke - Universität Ulm, Germany Elvinia Riccobene - University of Milan, Italy Ella Roubstova - Open Universiteit Nederland Antonino Sabetta - SAP Research, France Lionel Seinturier - Univ. Lille & IUF - LIFL & Inria ADAM Wang Shuai - Simula Labs, OSLO, Norway Romina Spalazzese - Malmö University, Sweden Maria Spichkova - School of Computer Science and Inf., RMIT Univ. Melbourne, Australia Catia Trubiani - GSSI L'Aquila, Italy Danny Weyns - University of Linnaeus, Sweden Xiwei Xu - SSRG, NICTA, Sydney, Australia **Track Chairs** Marina Mongiello, Department of Electrical & Information Engineering (DEI), Polytechnic University of Bari, Italy E-mail: marina.mongiello at poliba.it Diego Perez-Palacin, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy E-mail: diego.perez at polimi.it Sungwon Kang, Korea Advanced Institute of Science and Technology, Daejeon, South Korea. E-mail: sungwon.kang at kaist.ac.kr Web page: http://salab.kaist.ac.kr/ Patrizia Scandurra, Dept. of Management, Information and Production Engineering, University of Bergamo, Italy E-mail: patrizia.scandurra at unibg.it Web page: http://cs.unibg.it/scandurra/ **Steering Committee** Antonio Bucchiarone, SOA Research Unit of Bruno Kessler Foundation of Trento, Italy E-mail: bucchiarone at fbk.eu Web page: http://soa.fbk.eu/bucchiarone Sungwon Kang, Korea Advanced Institute of Science and Technology, Daejeon, South Korea. E-mail: sungwon.kang at kaist.ac.kr Web page: http://salab.kaist.ac.kr/ Raffaela Mirandola, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy E-mail: raffaela.mirandola at polimi.it Web page: http://home.dei.polimi.it/mirandola/ Patrizia Scandurra, Dept. of Management, Information and Production Engineering, University of Bergamo, Italy. E-mail: patrizia.scandurra at unibg.it Web page: http://cs.unibg.it/scandurra/ Regards, Marina Mongiello, Diego Perez-Palacin, Sungwon Kang, Patrizia Scandurra -- SAC 2018 - https://www.softconf.com/i/sac2018 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marcello.balduccini at gmail.com Sun Aug 13 19:55:21 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Sun, 13 Aug 2017 13:55:21 -0400 Subject: KR18 - Preliminary Call for Tutorial and Workshop Proposals Message-ID: <201708131755.v7DHtLFV010568@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 15:41:27 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 15 Aug 2017 15:41:27 +0200 Subject: SLSP 2017: call for posters Message-ID: <545102060a010b0008515506070a5a5750540d54060502040b020955050052530054560e040b52030155590b555156@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. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From paul.kaufmann at gmail.com Thu Aug 17 16:38:11 2017 From: paul.kaufmann at gmail.com (Paul Kaufmann) Date: Thu, 17 Aug 2017 16:38:11 +0200 Subject: EVOApplications 2018 Call for Papers Message-ID: CfP: EVOApplications 2018 - Parma, 4-6 April 2018 Submission Deadline: 1 November, 2017, 16 pages Springer LNCS Authors of selected publications will be invited to submit an extended version of their work to Springer's Genetic Programming and Evolvable Machines (GPEM, impact factor: 1.514, fast track review process). EvoApplications, the European Conference on the Applications of Evolutionary Computation brings together researchers in a variety of areas of application of Evolutionary Computation and other Nature-inspired techniques. EvoApplications' 21st edition will be held as part of the EvoStar 2018 event in Parma, Italy, 4-6 April 2018, and co-located within EvoStar with three related conferences: EuroGP, EvoCOP and EvoMUSART. *Publication* - Page limit: 16 pages. - Accepted papers will be published by Springer Verlag in the Lecture Notes in Computer Science series. - The review process is double-blind. Please ensure to anonymize your submission accordingly. - Selected papers will be invited to submit extended versions to Genetic Programming and Evolvable Machines. *The Venue* Parma is an elegant city with the refined atmosphere of a "petite capitale". It is rich in cultural treasures and with its attractive architecture, shops and restaurants, it is very welcoming. Parma is a centre of gastronomic heritage, famous for Parma ham and Parmigiano Reggiano cheese. The conference will be held at the University Campus. *Tracks* EvoApplications 2018 is composed of 14 tracks, each focusing on an area of application of genetic and evolutionary computation and other related Computational Intelligence fields. The following tracks will be running in 2018. Papers on applications of Evolutionary Computation and related methods to other fields are also welcome and will be presented within a "General" track. - EvoBAFIN - Natural Computing Methods in Business Analytics and Finance. - EvoBIO - Evolutionary Computation, Machine Learning and Data Mining for Biology and Medicine. - EvoCOMNET - Nature-inspired Techniques for Communication Networks and other Parallel and Distributed Systems. - EvoCOMPLEX - Evolutionary Algorithms and Complex Systems. - EvoENERGY - Evolutionary Algorithms in Energy Applications. - EvoGAMES - Bio-inspired Algorithms in Games. - EvoIASP - Evolutionary Computation in Image Analysis, Signal Processing and Pattern Recognition. - EvoINDUSTRY - Evolutionary and Bio- Inspired Computational Techniques within Real-World Industrial and Commercial Environments. - EvoKNOW - Knowledge Incorporation in Evolutionary Computation. - EvoNUM - Bio-inspired algorithms for Continuous Parameter optimization. - EvoPAR - Parallel Architectures and Distributed Infrastructures. - EvoROBOT - Evolutionary Robotics. - EvoSET - Nature-inspired algorithms in Software Engineering and Testing. - EvoSTOC - Evolutionary Algorithms and Meta-heuristics in Stochastic and Dynamic Environments. Visit http://www.evostar.org/ or join the EVOstar group on LinkedIn for more details and updates. EvoApplications Coordinator Kevin Sim, Edinburgh Napier University, United Kingdom EvoApplications Publication Chair Paul Kaufmann, Paderborn University, Germany Evo* Coordinator Jennifer Willies, United Kingdom Evo* Local Chairs Stefano Cagnoni, Università degli Studi di Parma, Italy Monica Mordonini, Università degli Studi di Parma, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From manna at mat.unical.it Fri Aug 18 16:18:55 2017 From: manna at mat.unical.it (manna at mat.unical.it) Date: Fri, 18 Aug 2017 16:18:55 +0200 Subject: 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 geoff at cs.miami.edu Mon Aug 21 19:49:45 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 21 Aug 2017 13:49:45 -0400 (EDT) Subject: GCAI in Miami - Call for Posters Message-ID: <20170821174945.13427170103B@cs.miami.edu> Call for Poster Papers The 3rd Global Conference on Artificial Intelligence (GCAI 2017) Miami, USA, 18-22 October 2017 http://easychair.org/smart-program/GCAI2017/ The 3rd Global Conference on Artificial Intelligence (GCAI 2017) will be held in Miami, USA, at the Courtyard Marriott hotel in Coconut Grove, 18-22 October 2017. The conference, which addresses all aspects of artificial intelligence, is being organized by LRG (http://www.lrg.global) and the University of Miami. The program chairs are Christoph Benzmueller, Christine Lisetti and Martin Theobald. The conference chair is Geoff Sutcliffe. SUBMISSION Poster papers (one-page extended abstracts) in all areas of artifical intelligence are invited. The posters will be presented in a poster session at the conference, and the extended abstracts will be published in the conference proceedings. Dates + Submission: 18 September, 2017 + Notification: 25 September, 2017 + Final version: 2 October, 2017 Suggested topics include, but are not limited to: Foundations + Knowledge representation + Cognitive modeling + Perception + Search + Reasoning and programming + Machine learning + Constraints and uncertainty Architectures + Agents and distributed AI + Intelligent user interfaces + Natural language systems and linguistics + Information retrieval + Case-based reasoning + Affective computing + Robotics Applications + Aviation and aerospace + Education and tutoring systems + Games and entertainment + Law and Machine Ethics + Mathematics and the Sciences + Medicine and healthcare + Management and manufacturing + World Wide Web + Security Implications + Philosophical foundations + Social impact and ethics + Evaluation of AI systems + AI education SUBMISSION and PUBLICATION Submission is via EasyChair at https://easychair.org/conferences/?conf=gcai2017 The proceedings will be published by EasyChair Publications in the EPiC Series in Computing. The volume will be open access and authors will retain copyright. From C.Orasan at wlv.ac.uk Tue Aug 22 00:01:46 2017 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Mon, 21 Aug 2017 22:01:46 +0000 Subject: Reader in Translation Technology at University of Wolverhampton Message-ID: <034C0B87CC091D46B6CF0FD17E97B383020E2F62E4@Exchmbx10I02.unv.wlv.ac.uk> *** Apologies for cross-posting *** Reader in Translation Technology The closing date for the applications is 18 September 2017. Salary £49,772 to £57,675 pa The Research Group in Computational Linguistics at the University of Wolverhampton (http://rgcl.wlv.ac.uk) is currently recruiting a Reader in Translation Technology (permanent). The purpose of this post is to strengthen the research group by enhancing its research and publications in the field of translation technology. The appointed candidate will be expected to produce REF-returnable outputs, attract external income, seek industrial collaborations, teach at Masters level and supervise PhD students. He/she will join a recently appointed research fellow and two PhD students in translation technology. All these posts are part of a university investment in the area of translation technology. ------- Profile ------- The post holder will hold a PhD (or equivalent) in a field related to machine translation, translation memories or translation technologies, and will have carried out extensive research in the area at a university, research institute or in a related part of the private sector in the UK or abroad. They will be proficient in a range of subject-specific skills and ideally will have extensive experience in site-based research settings. The post holder will be able to demonstrate the ability to work independently to develop new research objectives and proposals including contributing to the securing of external funding and collaborative projects. The appointed candidate should have evidence of an individual track record in research which is at the cutting edge of machine translation and/or translation technology and is recognised internationally (e.g. through publications in journals). They should have a track record of having successfully obtained funding from external sources and successfully completed projects. Candidates should have teaching experience and a track record in supervising PhD students. ------------ How to apply ------------ The applications should be made via the University of Wolverhampton's e-recruitment site: https://jobs.wlv.ac.uk/vacancies.html The applications should include an up to date CV and a cover letter detailing your experience in the area and research plans for the next three years. The closing date for the applications is 18 September 2017. Interview dates to be confirmed. Start of the posts: to be agreed with the successful candidates. For informal discussion about the roles please contact Dr Constantin Orasan (c.orasan at wlv.ac.uk). ----------------------------------------------- The Research Group in Computational Linguistics ----------------------------------------------- The Research Group in Computational Linguistics (http://rgcl.wlv.ac.uk) at the University of Wolverhampton was founded by Prof. Ruslan Mitkov in 1998 and is one of the leading research groups in computational linguistics in the UK. The group is well known for its high level research with strong international and inter-sector collaboration, and is renowned for its innovative NLP research and development of various NLP tools and resources. RGCL was the coordinator of the recently completed EXPERT project (http://expert-itn.eu) which trained young researchers to promote the research, development and use of hybrid language translation technologies. The reader and research fellow to be appointed are expected to continue the work in this direction. ---- Dr Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics University of Wolverhampton, UK http://www.wlv.ac.uk/~in6093 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.nocera at poliba.it Tue Aug 22 08:45:38 2017 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Tue, 22 Aug 2017 06:45:38 +0000 Subject: CfP: Special issue on Software Architectures for the Web of Things ( SAWoT) In-Reply-To: References: Message-ID: IET Software Special Issue: Software Architectures for the Web of Things ( SAWoT) ** Call for paper ** http://digital-library.theiet.org/files/IET_SEN_CFP_SAWoT.pdf/ Engineering of the Web of Things is a cross-disciplinary research area that interests both engineers of the World Wide Web and researchers of the Internet of Things and Web of Things. Web technologies (e.g., HTML, JavaScript, Ajax, PHP, Ruby) can be used to build applications involving smart things, on the other hand well-known web mechanisms are available to interact with and share these devices. This calls for architectural styles and patterns that allow real-world objects to be part of the World Wide Web. The aim of this Special Issue is to bring together researchers, engineers and practitioners interested in architecting the Web of Things; of particular interest are contributions related to the subject at different levels, from modelling and design to engineering. Foundational contributions, as well as experiments of concrete applications, are sought. Topics of interest: - Software architectural styles and patterns for connecting objects to the World Wide Web - Engineering smart objects on the web - Semantic web and Linked open data - Web of Thing and Internet of Everything - Challenges for Big Data and Internet of Things applications - Architectures and frameworks for connection of smart devices - Survey and comparative studies - Other topics relevant to Web of Things All papers must be submitted through the journal's Manuscript Central system: http://mc.manuscriptcentral.com/iet-sen Expanded conference papers must include at least 30% new scientific material. Publication Schedule: Submission Deadline: 30 September 2017 Publication Date: June 2018 Guest Editors: o Marina Mongiello, Politecnico di Bari, Italy o Tommaso Di Noia, Politecnico di Bari, Italy o Francesco Nocera, Politecnico di Bari, Italy o Eugenio Di Sciascio, Politecnico di Bari, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Fri Aug 25 01:46:04 2017 From: grlmc at grlmc.com (GRLMC) Date: Fri, 25 Aug 2017 01:46:04 +0200 Subject: BigDat 2018: early registration September 3 Message-ID: <545102060a010b000955520604015a5c5555545506500f57060a09065753515551590202035f030b035452050f0251@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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From e.haasdijk at vu.nl Fri Aug 25 10:24:22 2017 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Fri, 25 Aug 2017 10:24:22 +0200 (CEST) Subject: [CfP] Special Issue on Social Learning and Cultural Evolution in Cognitive Systems Message-ID: <20170825082422.558A260B711F5@MW-020708.clients.vu.nl> (Apologies for cross posting) ------------------------------------------------------------------------------- Cognitive Systems Research journal Special Issue on Social Learning and Cultural Evolution with Cognitive Systems ------------------------------------------------------------------------------- We are very pleased that the Cognitive Systems Research journal accepted to publish a special issue on Social Learning and Cultural Evolution with Cognitive Systems. The full Call for Papers for the special issue, along with paper submission instructions, is available at: http://bit.ly/2wkiqnh We believe that this is a great opportunity to strengthen the field and to bring together researchers from many directions through the publishing of this special issue. We would like to invite all speakers and attendees of the First Interdisciplinary Workshop on Social Learning and Cultural Evolution to submit a paper for the special issue. If possible the paper should relate to the talk that you gave at the workshop, or any new work associated the topics discussed at the workshop. In general we expect new work in the paper that has not been published elsewhere, however this may include re-interpretation or re-analysis of previously reported data or general overview and re-interpretation of previous works published in a number of earlier papers. We are also open to receive position papers that highlight a particular concept or viewpoint in the context of social learning and cultural evolution. All papers will be reviewed according to the journal's standard reviewing procedures and only papers recommended for publication by the reviewers will be published in the special issue. Please let us know as soon as possible if you intend to submit a paper for this special issue. We aim to receive all papers for the special issue by 31 January 2018. Kind regards, James Borg Evert Haasdijk Peter Andras 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: 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 geoff at cs.miami.edu Mon Aug 28 15:42:17 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 28 Aug 2017 09:42:17 -0400 (EDT) Subject: FMCAD 2017: CALL FOR PARTICIPATION Message-ID: <20170828134217.4B8451701192@cs.miami.edu> FMCAD 2017: CALL FOR PARTICIPATION International Conference on Formal Methods in Computer-Aided Design (FMCAD) TU Wien, Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17 FMCAD Tutorial Day: October 2, 2017 FMCAD Regular Program: October 3-6, 2017 Part of the FMCAD 2017 program: - FMCAD Student Forum - Hardware Model Checking Competition 2017 - Symposium in memoriam of Helmut Veith Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/) CONFERENCE SCOPE FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing ground-breaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. REGISTRATION Early Registration Deadline: September 02, 2017 Registration Deadline: September 29, 2017 Registration details are available on http://fmcad.org/FMCAD17/registration TECHNICAL PROGRAM The program comprises presentations of 25 regular papers and 4 tool papers, 3 tutorials and 2 keynotes, a student forum, the Hardware Model Checking Competition, and a symposium in memoriam Helmut Veith. Details are available on the web-site: http://fmcad.org/FMCAD17 KEYNOTES - Byron Cook (Amazon, University College London) "Formal Verification, Model Checking, and Constraints for Security of the Cloud" - Wilfried Steiner (TTTech) "Formal Methods in Industrial Dependable Systems Design" TUTORIALS - Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network) "How Formal Methods and Analysis Helps Security of Entire Blockchain-based Systems" - Cas Cremers (Oxford University) "Symbolic Security Analysis using the Tamarin Prover" - Jade Alglave (Microsoft Research, University College London) "Consistency Properties of Parallel/Distributed Programs in cat" STUDENT FORUM AND HELMUT VEITH SYMPOSIUM The FMCAD student forum consists of short presentations and posters of doctoral students presenting their work-in-progress. The Symposium in memoriam Helmut Veith features talks on model checking, synthesis, distributed algorithms, and security, as well as a LogicLounge on Teaching Logic in Computer Science. SPONSORS - Sponsored by FMCAD, Inc. - Technical Co-sponsor: IEEE - In-cooperation with: ACM SIGPLAN/SIGSOFT - Financial support: Amazon, ARM, BMVIT, Centaur Technology, DiffBlue, Galois, Microsoft, NSF, Oski Technology, Real Intent, Synopsys, TTTech, WWTF From nils.muellner at mdh.se Tue Aug 29 10:21:45 2017 From: nils.muellner at mdh.se (Nils Muellner) Date: Tue, 29 Aug 2017 08:21:45 +0000 Subject: International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Message-ID: ITEQS 2018 - Call for Papers 2nd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Co-located with the 11th IEEE International Conference on Software Testing, Verification and Validation (ICST 2018), Västerås - Sweden Website: http://www.mrtc.mdh.se/ITEQS/2018/ SCOPE ===== The rapid development towards increased integration of software with the social and physical world that we see today means that quality aspects such as performance, safety, security, and robustness become more important in an increasing number of the systems and devices, which we use and depend on. In this context, the success of a software product may not only depend on the logical correctness of its functions, but also on the system quality characteristics. Such system characteristics, which are referred to and captured as Extra-Functional Properties (EFPs) or Non-Functional Properties, are particularly important in resource constrained systems such as in the domains of real-time embedded and cyber-physical systems. Therefore, such systems need to be tested with a special attention to the EFPs. Testing EFPs is challenging and often requires different approaches compared to testing normal functionality. ITEQS provides a focused forum with the goal of bringing together researchers and practitioners to share ideas, identify challenges, propose solutions and techniques, and in general expand the state of the art in testing EFPs and quality characteristics of software systems and services. The workshop endorses contributions in a wide range of topics related to testing of EFPs in the form of full papers and short yet solid work-in-progress/position papers. Note: The workshop does not accept papers that focus purely on functional testing! TOPICS ====== - Model-based testing of EFPs; e.g., choice of modeling languages to capture EFPs and their role on testability, model-based test case generation, etc. - Mutation-based testing for EFPs; e.g., application of mutation techniques for testing of EFPs particularly introduction of EFP-specific mutation operators - Search-based testing techniques for EFPs - Testability, observability, controllability and the role of the platform; e.g., how the choice of operating system can impact testability of EFPs, for instance, a real-time operating system, introducing testability mechanisms into a platform, designing - middlewares for testing of EFPs - Empirical studies and experience reports; e.g., on the importance of testing EFPs, evaluation of testing methods, case-study and reports on project failures due to EFPs, comparison of methods and techniques - Quality assurance, standards, and their impact on testing EFPs - Requirements and testing EFPs; e.g., identification and generation of test oracles for EFPs from requirements, requirements for testability, traceability - Coverage criteria in testing EFPs - Processes and their role in testing EFPs; e.g., agile and TDD - Fault localization for EFPs and debugging - Formal methods, model-checking, and reasoning about EFPs - Parallelism, Concurrency, and Testing of multicore applications - Performance, Robustness, and Security Testing - Testing real-time, embedded, and cyber-physical systems, and their challenges - Testing quality characteristics of distributed, mobile, and cloud applications SUBMISSION GUIDELINES ===================== Paper format: 1) full papers 6-10 pages, 2) solid work-in-progress and position papers 4 pages; in IEEE double column format. Submission site: https://easychair.org/conferences/?conf=iteqs2018 Accepted papers will be published in IEEE Digital Library. IMPORTANT DATES =============== Submission deadline: January 12, 2018 Notifications: February 21, 2018 Workshop date: April 9, 2018 (preliminary) ORGANIZERS ========== Mehrdad Saadatmand, RISE SICS Västerås, Sweden (mehrdad.saadatmand[at]ri.se) Birgitta Lindström, University of Skövde, Sweden (birgitta.lindstrom[at]his.se) Bernhard K. Aichernig, Graz University of Technology, Austria (aichernig[at]ist.tugraz.at) Contact: iteqs2018 at easychair.org PROGRAM COMMITTEE ================= Antonia Bertolino, CNR (National Research Council), Italy Brian Nielsen, Aalborg University, Denmark Lionel Briand, University of Luxembourg, Luxembourg Mohammad Mousavi, University of Leicester, UK Vahid Garousi, University of Luxembourg, Luxembourg Jeff Offutt, George Mason University, USA Yvan Labiche, Carleton University, Canada Vittorio Cortellessa, University of L'Aquila, Italy Björn Lisper, Mälardalen University, Sweden Markus Bohlin, RISE SICS Västerås, Sweden Mika Mäntylä, University of Oulu, Finland Hadi Hemmati, University of Calgary, Canada Bestoun S. Ahmed, Czech Technical University in Prague, Czech Republic James H. Hill, Indiana University-Purdue University Indianapolis, USA Wasif Afzal, Mälardalen University, Sweden Heinz Schmidt, RMIT University, Australia Pasqualina Potena, RISE SICS Västerås, Sweden -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Wed Aug 30 03:27:16 2017 From: grlmc at grlmc.com (GRLMC) Date: Wed, 30 Aug 2017 03:27:16 +0200 Subject: BigDat 2018: early registration September 3 Message-ID: <545102060a010b00095f53000f055a55500307555453015902515b000e0e550350025006510055050007550a075158@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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: