From sdm.publicity at gmail.com Mon Oct 2 03:48:58 2017 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Sun, 1 Oct 2017 21:48:58 -0400 Subject: Last CFP: SDM'18: THE EIGHTEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING Message-ID: SDM'18: THE EIGHTEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING May 3 - May 5, 2018 San Diego Marriott Mission Valley San Diego, California, USA http://www.siam.org/meetings/sdm18/ ------------ CALL FOR CONTRIBUTIONS ------------ Abstract Submission: October 6, 2017, 11:59pm (PDT) Full Paper Submission: October 13, 2017, 11:59pm (PDT) Workshop Proposals: October 6, 2017, 11:59pm (PDT) Tutorial Proposals: October 6, 2017, 11:59pm (PDT) DESCRIPTION ------------------------------------------------------------ Data mining is the computational process for discovering valuable knowledge from data. It has enormous application in numerous fields, including science, engineering, healthcare, business, and medicine. Typical datasets in these fields are large, complex, and often noisy. Extracting knowledge from these datasets requires the use of sophisticated, high-performance, and principled analysis techniques and algorithms, which are based on sound theoretical and statistical foundations. These techniques in turn require implementations on high performance computational infrastructure that are carefully tuned for performance. Powerful visualization technologies along with effective user interfaces are also essential to make data mining tools appealing to researchers, analysts, and application developers from different disciplines. The SDM conference provides a venue for researchers who are addressing these problems to present their work in a peer-reviewed forum. It also provides an ideal setting for graduate students and others new to the field to learn about cutting-edge research by hearing outstanding invited speakers and attending presentations and tutorials (included with conference registration). A set of focused workshops is also held on the last day of the conference. The proceedings of the conference are published in archival form, and are also made available on the SIAM web site. THEMES AND TOPICS OF INTEREST ------------------------------------------------------------ Methods and Algorithms - Classification - Clustering - Frequent Pattern Mining - Probabilistic & Statistical Methods - Graphical Models - Deep Neural Networks - Spatial & Temporal Mining - Data Stream Mining - Anomaly & Outlier Detection - Feature Extraction, Selection and Dimension Reduction - Mining with Constraints - Data Cleaning & Preprocessing - Computational Learning Theory - Multi-Task Learning - Online Algorithms - Big Data, Scalable & High-Performance Computing Techniques - Mining with Data Clouds - Mining Graphs - Mining Semi-Structured Data - Mining Image Data - Mining on Emerging Architectures - Text & Web Mining - Optimization Methods - Other Novel Methods Applications - Astronomy & Astrophysics - High Energy Physics - Recommender Systems - Climate / Ecological / Environmental Science - Risk Management - Supply Chain Management - Customer Relationship Management - Finance - Genomics & Bioinformatics - Drug Discovery - Healthcare Management - Automation & Process Control - Logistics Management - Intrusion & Fraud detection - Bio-surveillance - Sensor Network Applications - Social Network Analysis - Educational Data Mining - Intelligence Analysis - Other Novel Applications & Case Studies Human Factors and Social Issues - Ethics of Data Mining - Intellectual Ownership - Privacy Models - Privacy Preserving Data Mining & Data Publishing - Risk Analysis - User Interfaces - Interestingness & Relevance - Data & Result Visualization - Other Human Factors and Social Issues WORKSHOPS AND TUTORIALS ------------------------------------------------------------ The conference will feature workshops and tutorials on several special topics. Please see the SDM 2018 website for submission requirements. Examples of workshops and tutorials are available through the SDM 2017 website at http://www.siam.org/meetings/sdm17/ FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM18 https://www.facebook.com/events/324672047986484/ ORGANIZING COMMITTEE ------------------------------------------------------------ STEERING COMMITTEE CHAIR Srinivasan Parthasarathy, Ohio State University, USA Zoran Obradovic, Temple University, USA CONFERENCE CO-CHAIRS Dimitrios Gunopulos, University of Athens, Greece Tanya Berger-Wolf, University of Illinois at Chicago, USA PROGRAM CO-CHAIRS Martin Ester, Simon Fraser University, Canada Dino Pedreschi, University of Pisa, Italy WORKSHOP CO-CHAIRS Joao Gama, University of Porto-LIAAD, Portugal Jing Gao, SUNY Buffalo, USA TUTORIAL CHAIR Yan Liu, University of Southern California, USA DOCTORAL FORUM CHAIR Julian McAuley, University of California, San Diego, USA PUBLICITY CO-CHAIRS Zhenhui Li, Pennsylvania State University, USA Gregor Stiglic, University of Maribor, Slovenia SPONSORSHIP CO-CHAIRS Matteo Riondato, TwoSigma, USA Jiliang Tang, Michigan State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oliver.kramer at uni-oldenburg.de Mon Oct 2 13:13:47 2017 From: oliver.kramer at uni-oldenburg.de (Oliver Kramer) Date: Mon, 2 Oct 2017 13:13:47 +0200 Subject: Call for Papers - EvoENERGY 2018, 4 - 6 April, Parma, Italy Message-ID: <6061D48B-68CD-4E0A-A84D-C769F55ABD72@uni-oldenburg.de> *** Apologies for cross-posting *** Submission deadline: November 1st, 2017 EvoENERGY 2018, 4 - 6 April, Parma, Italy The EvoENERGY track is part of EvoApplications, the European Conference on the Applications of Evolutionary Computation (http://www.evostar.org/), to be held in Parma, Italy. INTRODUCTION Along with the worldwide efforts to reduce fossil and nuclear based power generation, the number of distributed generators and other forms of distributed energy resources has been steadily increasing over the years. imposing challenges on their operation. The transformation requires new control and communication approaches to guarantee a stable, economical, and ecologically friendly supply. System and control optimization has an important part to play for the development of a smart energy grid. EvoENERGY is as a platform for new, innovative computational intelligence and nature-inspired techniques in the domain of energy-related optimization. We seek contributions in the field described above with an emphasis on heuristic optimization methods and adaptive learning strategies. TOPICS Topics of interest include, but are not limited to: - feature selection and generation for energy prediction - real-time configuration and optimization of system components - adaptive and learning smart grid agents - morphological optimization of components like wind turbine blades - grid planning and asset management PUBLICATION AND SUBMISSION DETAILS Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Based on reviewers’ assessment, accepted full papers will be presented as full length talks, and authors of accepted short papers will present a short talk as well as present a poster. All authors of accepted papers will be given the opportunity to further disseminate their work in poster sessions. Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submission format: Springer LNCS Submission page: http://www.evostar.org/ IMPORTANT DATES Submission Deadline: 1 November 2017 Notification: 3 January 2018 Camera-ready: 15 January 2018 EvoStar dates: 4 - 6 April 2018 TRACK CHAIRS Paul Kaufmann, University of Mainz, paul.kaufmann(at)gmail.com Oliver Kramer, University of Oldenburg, oliver.kramer(at)uol.com From geoff at cs.miami.edu Mon Oct 2 23:07:42 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 2 Oct 2017 17:07:42 -0400 (EDT) Subject: IJCAR 2018 - Call for Papers Message-ID: <20171002210742.12C67170102C@cs.miami.edu> CALL FOR PAPERS The 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org Part of The Federated Logic Conference, FLoC 2018, Oxford, UK, July 6-19, 2018. http://www.floc2018.org IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) Topics: ------- IJCAR 2018 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. IJCAR topics include the following ones: - Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory, etc. - Methods of interest include: tableaux, sequent calculi, resolution, model- elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem provers, combination of decision procedures, SAT and SMT solving, etc. - Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, etc. We welcome papers combining automated-reasoning formalisms & techniques and with those from other areas of CS and mathematics, including, e.g., computer algebra, machine learning, formal languages, formal verification, termination. In particular, high-quality conference papers on the topics of the IJCAR 2018 affiliated workshops (http://ijcar2018.org/#assocev) are welcome. The proceedings of IJCAR 2018 will be published by Springer in the LNAI/LNCS series (www.springer.com/lncs). Submission details: ------------------- Submission is electronic, through https://easychair.org/conferences/?conf=ijcar2018. Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html We solicit two categories of submissions: REGULAR PAPERS. Submissions, not exceeding sixteen (16) pages including bibliography, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and software available with their submission for reproducibility. The PC will take availability of software and data into account when evaluating submissions. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. SYSTEM DESCRIPTIONS. Submissions, not exceeding eight (8) pages including bibliography, should describe the implemented tool and its novel features. One author is expected to be able to perform a demonstration on demand to accompany a tool presentation. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Best paper award: ----------------- IJCAR 2018 will recognize the most outstanding submission with a best paper award at the conference. Invited speakers: ----------------- Invited Speakers will be announced later on. Important dates (provisional): ------------------------------ Abstract submission: January 22nd 2018 Paper submission: January 29th 2018 Notification: March 29th, 2018 Final version of papers due: April 23rd, 2018 IJCAR Conference: July 14-17th, 2018 FLoC Conference: July 6-19th, 2018 IMPORTANT NOTICE: due to very strict FLoC constraints, deadlines are SHARP! Student travel awards: ---------------------- Woody Bledsoe Travel Awards will be available to support selected students in attending the conference. Organization: ------------- Conference Chair: Ian Horrocks, University of Oxford, Oxford, UK Program Chairs: Didier Galmiche, LORIA, Universite de Lorraine, Nancy, France Stephan Schulz, DHBW Stuttgart, Stuttgart, Germany Roberto Sebastiani, DISI, University of Trento, Trento, Italy Local Arrangements Chairs: Daniel Kroening, University of Oxford, Oxford, UK Marta Kwiatkowska, University of Oxford, Oxford, UK Workshop Chair: Alberto Griggio, Fondazione Bruno Kessler, Trento, Italy Publicity Chair: Geoff Sutcliffe, University of Miami Program Committee: Carlos Areces, FaMAFUniversidad Nacional de Cordoba Alessandro Artale, Free University of Bolzano-Bozen Arnon Avron, Tel-Aviv University Franz Baader, TU Dresden Clark Barrett, Stanford University Peter Baumgartner, Data 61 and CSIRO Christoph Benzmueller, Freie Universitaet Berlin Armin Biere, Johannes Kepler University Linz Nikolaj Bjorner, Microsoft Research Jasmin Christian Blanchette, Vrije Universiteit Amsterdam Maria Paola Bonacina, Universita degli Studi di Verona Torben Brauener, Roskilde University Agata Ciabattoni, TU Wien Leonardo de Moura, Microsoft Research Hans De Nivelle, University of Wroclaw Stephane Demri, CNRS, LSV, ENS Paris-Saclay Clare Dixon, University of Liverpool Francois Fages, Inria Universite Paris-Saclay Pascal Fontaine, Universite de Lorraine - LORIA Didier Galmiche (Chair), Universite de Lorraine - LORIA Vijay Ganesh, University of Waterloo Silvio Ghilardi, Universite degli Studi di Milano Juergen Giesl, RWTH Aachen Laura Giordano, DISIT Universite del Piemonte Orientale Valentin Goranko, Stockholm University Rajeev Gore, The Australian National University Alberto Griggio, FBK-IRST John Harrison, Intel Corporation Ian Horrocks, University of Oxford Moa Johansson, Chalmers Tekniska Hogskola Cezary Kaliszyk, University of Innsbruck Deepak Kapur, University of New Mexico Konstantin Korovin, The University of Manchester Laura Kovacs Vienna, University of Technology George Metcalfe, University of Bern Dale Miller, INRIA and LIX/Ecole Polytechnique Claudia Nalon, University of Brasilia Albert Oliveras, - Technical University of Catalonia Nicola Olivetti, LSIS Aix-Marseille University Jens Otten, University of Oslo Lawrence Paulson, University of Cambridge Nicolas Peltier, CNRS, LIG Frank Pfenning, Carnegie Mellon University Silvio Ranise, FBK-Irst Christophe Ringeissen, LORIA-INRIA Philipp Ruemmer, Uppsala University Katsuhiko Sano, Hokkaido University Uli Sattler, The University of Manchester Renate A. Schmidt, The University of Manchester Stephan Schulz (Chair), DHBW Stuttgart Roberto Sebastiani (Chair), DISI University of Trento Viorica Sofronie-Stokkermans, University Koblenz-Landau Thomas Sturm, CNRS Geoff Sutcliffe, University of Miami Cesare Tinelli, The University of Iowa Alwen Tiu, Nanyang Technological University Ashish Tiwari, SRI International Josef Urban, Czech Technical University in Prague Luca Viganò, King's College London Andrei Voronkov, The University of Manchester Uwe Waldmann, Max Planck Institute for Informatics Christoph Weidenbach, Max Planck Institute for Informatics From paul.kaufmann at gmail.com Tue Oct 3 08:07:57 2017 From: paul.kaufmann at gmail.com (Paul Kaufmann) Date: Tue, 3 Oct 2017 08:07:57 +0200 Subject: 2nd CfP: EVOApplications 2018 - Parma, 4-6 April 2018 Message-ID: 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. *Publications* - This year EvoApplications is accepting two kinds of submission: full papers and short papers. Full papers require novel and complete research work and have a limit of 16 pages. Short papers should present complete research or interesting preliminary results and have a limit of 8 pages. Both types of submission will undergo the same double-blind review process and all accepted papers will be included in the LNCS proceedings. Based on reviewers' assessment, accepted full papers will be presented as full-length talks, and authors of accepted short papers will present a short talk as well as present a poster. All authors of accepted papers will be given the opportunity to further disseminate their work in poster sessions. - All 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 - Computational Intelligence 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, Johannes Gutenberg University Mainz, 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 geoff at cs.miami.edu Tue Oct 3 19:56:42 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 3 Oct 2017 13:56:42 -0400 (EDT) Subject: Artificial Intelligence and Theorem Proving - Call for Papers Message-ID: <20171003175642.85A121701047@cs.miami.edu> CALL FOR CONTRIBUTIONS Artificial Intelligence and Theorem Proving, AITP 2018 March 25-30, 2018, Aussois, France http://aitp-conference.org/2018 Deadline: December 3, 2017 https://easychair.org/conferences/?conf=aitp2018 BACKGROUND Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that. TOPICS - AI, machine learning and big-data methods in theorem proving and mathematics. - Collaboration between automated and interactive theorem proving. - Common-sense reasoning and reasoning in science. - Alignment and joint processing of formal, semi-formal, and informal libraries. - Methods for large-scale computer understanding of mathematics and science. - Combinations of linguistic/learning-based and semantic/reasoning methods - Formal verification of AI and machine learning algorithms, explainable AI . SESSIONS There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. CONTRIBUTED TALKS We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair (https://easychair.org/conferences/?conf=aitp2018). DATES Submission deadline: December 3, 2017 Author notification: January 10, 2018 Conference registration: January 24, 2018 Camera-ready versions: January 31, 2018 Conference: March 25-30, 2018 POST-PROCEEDINGS We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR). PROGRAM COMMITTEE (to be completed) David Aspinall, University of Edinburgh Jasmin Christian Blanchette, INRIA Nancy Cameron Freer, Remine Ulrich Furbach, University of Koblenz Thomas C. Hales (co-chair), University of Pittsburgh Sean Holden, University of Cambridge Geoffrey Irving, OpenAI Moa Johansson, Chalmers University Cezary Kaliszyk (co-chair), University of Innsbruck Michael Kohlhase, FAU Erlangen-Nürnberg Ramana Kumar, Data61 & UNSW Jens Otten, University of Oslo Stephan Schulz (co-chair), DHBW Stuttgart Dawn Song, University of California, Berkeley Martin Suda, Technische Universität Wien Geoff Sutcliffe, University of Miami Christian Szegedy, Google Research Josef Urban (co-chair), Czech Technical University in Prague LOCATION AND PRICE The conference will take place from March 25 to March 30 2018 in the CNRS Paul-Langevin Conference Center (https://www.caes.cnrs.fr/sejours/centre-paul-langevin/) located in the mountain village of Aussois in Savoy. Dominated by the "Dent Parrachée", one of the highest peaks of La Vanoise, Aussois is located on a sunny plateau at 1500 m altitude, offering a magnificent panorama of the surrounding mountains and a direct access to the downhill ski slopes or cross country slopes in winter. The total price for accommodation, food and registration for the five days will be around 600 EUR. ORGANIZERS Cezary Kaliszyk and Josef Urban From grlmc at grlmc.com Fri Oct 6 05:13:06 2017 From: grlmc at grlmc.com (GRLMC) Date: Fri, 06 Oct 2017 05:13:06 +0200 Subject: SLSP 2017: call for participation Message-ID: <545102060a010b07025e5602040b5a5c515550565650555606020a525303055356505455070e030152055002000151@grlmc_ip-zone_com-6> SLSP 2017: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2017 Le Mans, France October 23-25, 2017 Organized by: Computer Science Lab (LIUM) University of Le Mans Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2017/ ********************************************************************************** PROGRAM Monday, October 23 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Haizhou Li: Recent Advances in Singing Synthesis - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 12:15 Mercedes García Martínez, Loïc Barrault and Fethi Bougares. Neural Machine Translation by Generating Multiple Linguistic Factors Denis Jouvet, Katarina Bartkova, Mathilde Dargnat and Lou Lee. Analysis and Automatic Classification of Some Discourse Particles on a Large Set of French Spoken Corpora Javad Nouri and Roman Yangarber. Toward Learning Morphology of Natural Language as a Finite-state Grammar 12:15 - 13:45    Lunch 13:45 - 15:00 Ferdinand Fuhrmann, Anna Maly, Christina Leitner and Franz Graf. Three Experiments on the Application of Automatic Speech Recognition in Industrial Environments Sahar Ghannay, Yannick Estève and Nathalie Camelin. Enriching Confusion Networks for Post-processing Alp Öktem, Mireia Farrús and Leo Wanner. Attentional Parallel RNNs for Generating Punctuation in Transcribed Speech 15:00 - 15:15    Break 15:15 - 16:30 Céline Manenti, Thomas Pellegrini and Julien Pinquier. Unsupervised Speech Unit Discovery using k-means and Neural Networks Gueorgui Pironkov, Stéphane Dupont, Sean Wood and Thierry Dutoit. Noise and Speech Estimation as Auxiliary Tasks for Robust Speech Recognition Radek Šafarík and Jan Nouza. Unified Approach to Development of ASR Systems for East Slavic Languages --- Tuesday, October 24 09:00 - 09:50    Bhiksha Raj Ramakrishnan: An Introduction to Neural Networks - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Sadeen Alharbi, Madina Hasan and Anthony A.J. Simons. Detecting Stuttering Events in Transcripts of Children's Speech Kevin El Haddad, Ilaria Torre, Emer Gilmartin, Huseyin Cakmak, Stéphane Dupont, Thierry Dutoit and Nick Campbell. Introducing AmuS: The Amused Speech Database Abdelwahab Heba, Thomas Pellegrini, Tom Jorquera, Régine André-Obrecht and Jean-Pierre Lorré. Lexical Emphasis Detection in Spoken French using F-BANKs and Neural Networks 11:35 - 11:50    Break and Group photo 11:50 - 13:05 Michal Novák, Katerina Rysová, Magdaléna Rysová and Jirí Mírovský. Incorporating Coreference to Automatic Evaluation of Coherence in Essays Etienne Papegnies, Vincent Labatut, Richard Dufour and Georges Linarès. Graph-based Features for Automatic Online Abuse Detection Mathias Quillot, Cassandre Ollivier, Richard Dufour and Vincent Labatut. Exploring Temporal Analysis of Tweet Contents from Cultural Events 13:05 -    14:35    Lunch 14:35 - 15:35    Poster presentations Sina Ahmadi. Recurrent Neural Network Based Language Models for Spelling and Grammatical Error Correction Sunil Kumar Kopparapu and C. Anantaram. Reusing General Purpose ASR for Domain Specific Speech Recognition Using Posteriors Seongmin Mun, Guillaume Desagulier and Kyungwon Lee. How Can We Capture Multiword Expressions? Roelant Ossewaarde, Roel Jonkers, Fedor Jalvingh and Roelien Bastiaanse. Automated Detection of Unfilled Pauses in Speech of Healthy and Brain-damaged Individuals Amit Sangroya, C. Anantaram, Mrinal Rawat and Sunil Kumar Kopparapu. A Bio-inspired Mechanism to Improve Accuracy of ASR Output Sentences Patrice A. Yemmene and Ron C. Chiang. Automatic Speech Recognition for Ngiemboon Language in Mobile and Cloud Computing 16:00 - 18:00    Touristic visit --- Wednesday, October 25 09:00 - 09:50    Paolo Rosso: Author Profiling in Social Media: The Impact of Emotions in Discourse Analysis - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Manny Rayner, Nikolaos Tsourakis and Johanna Gerlach. Lightweight Spoken Utterance Classification with CFG, tf-idf and Dynamic Programming Máté Ákos Tündik, Balázs Tarján and György Szaszák. Low Latency MaxEnt- and RNN-based Word Sequence Models for Punctuation Restoration of Closed Caption Data Jan Vanek, Daniel Soutner, Josef Psutka and Jan Zelinka. A Regularization Post Layer: An Additional Way how to Make Deep Neural Networks Robust 11:35 - 11:50    Break 11:50 - 13:05 Gil Rocha and Henrique Lopes Cardoso. Towards a Relation-based Argument Model for Argumentation Mining Jose Patino, Héctor Delgado and Nicholas Evans. Speaker Change Detection using Binary Key Modelling with Contextual Information Marie Tahon, Gwénolé Lecorvé, Damien Lolive and Raheel Qader. Perception of Expressivity in TTS: Linguistics, Phonetics or Prosody? 13:05 - 13:15    Closing 13:15 -        Lunch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From woltran at dbai.tuwien.ac.at Fri Oct 6 10:10:41 2017 From: woltran at dbai.tuwien.ac.at (Stefan Woltran) Date: Fri, 6 Oct 2017 10:10:41 +0200 (CEST) Subject: FoIKS 2018 -- 2nd Call for Papers Message-ID: **Apologies for cross-postings*** Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FoIKS 2018. Abstract submission deadline is November 24, 2017. ===================== FoIKS 2018 | Call for Papers ======================== CALL FOR PAPERS 10th Int'l. Symposium on Foundations of Information and Knowledge Systems May 14-18, 2018 Alfred Renyi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary http://2018.foiks.org/ The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2018 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Previous FoIKS symposia were held in Linz (Austria) in 2016, Bordeaux (France) in 2014, Kiel (Germany) in 2012, Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. Submission Guidelines ===================== All papers must be original and not simultaneously submitted to another journal or conference. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at https://easychair.org/conferences/?conf=foiks2018 Suggested Topics ================ The suggested topics include, but are not limited to: Database Design: formal models, dependencies and independencies; Big Data: models for data in the Cloud, programming languages for big data, query processing; Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, negotiations and dialogue, logical models of emotions; Knowledge Discovery and Information Retrieval: machine learning, mining, formal concept analysis and association rules, text mining, information extraction; Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, computation models of argument, argumentation systems; Logics in Databases and AI: classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability logic, fuzzy logic; Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms, ontology-based data access; and The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining. Program Committee ================= Yamine Ait Ameur, France Pablo Barcelo, Chile Kim Bauters, Northern Ireland, UK Christoph Beierle, Germany Leopoldo Bertossi, Canada Philippe Besnard, France Nicole Bidoit, France Meghyn Bienvenu, France Joachim Biskup, Germany Marina De Vos, UK Michael Dekhtyar, Russia Dragan Doder, Serbia Thomas Eiter, Austria Christian Fermueller, Austria Marc Gyssens, Belgium Edward Hermann Haeusler, Brazil Martin Homola, Slovakia Anthony Hunter, England Gabriel Istrate, Romania Gyula Y. Katona, Hungary Gabriele Kern-Isberner, Germany Attila Kiss, Hungary Ioannis Kokkinis, France Sebastien Konieczny, France Juha Kontinen, Finland Nicola Leone, Italy Sebastian Link, New Zealand Thomas Lukasiewicz, UK Sofian Maabout, France Andrea Marino, Italy Jorge Martinez-Gil, Austria Henri Prade, France Elena Ravve, Israel Sebastian Rudolph, Germany Attila Sali, Hungary Vadim Savenkov, Austria Klaus-Dieter Schewe, Austria Thomas Schwentick, Germany Kostyantyn Shchekotykhin, Austria Csaba Istvan Sidlo, Hungary Guillermo Ricardo Simari, Argentina Mantas Simkus, Austria Bernhard Thalheim, Germany Alex Thomo, Canada Mirek Truszczynski, USA Gyorgy Turan, USA Jose Turull-Torres, Argentina/New Zealand Dirk Van Gucht, USA Jonni Virtema, Finland Qing Wang, Australia Program Chairs ============== Stefan Woltran, TU Wien, Austria. Flavio Ferrarotti, Software Competence Center Hagenberg, Austria. Local Organization Chair ======================== Attila Sali, Alfred Renyi Institute of Mathematics, Hungary. Invited Speakers ================ Laura Kovacs, TU Wien, Austria. Sebastian Link, University of Auckland, New Zealand. David Pearce, Technical University of Madrid, Spain (supported by ALP). Bernhard Thalheim, Christian-Albrechts-University at Kiel, Germany. Publication =========== The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2018 special issue of the Annals of Mathematics and Artificial Intelligence. Venue ===== The conference venue will be the renowned Alfred Renyi Institute of Mathematics at the Hungarian Academy of Sciences (for more information on the venue, see http://www.renyi.hu/contact.html Important Dates =============== Abstract submission deadline: November 24, 2017 Paper submission deadline: December 01, 2017 Author notification: February 02, 2018 Camera-ready paper due: February 16, 2018 FoIKS 2018 Symposium: May 14-18, 2018 Scientific Sponsorship ====================== Association for Logic Programming (ALP) European Association for Theoretical Computer Science Vienna Center for Logic and Algorithms Student Grants ============== Students of accepted papers on logic programming related topics can apply to the student travel grant of ALP to attend FoIKS 2018. Contact ======= All questions about submissions should be emailed to flavio.ferrarotti at scch.at and woltran at dbai.tuwien.ac.at Web page: http://2018.foiks.org/ From jpg at ruc.dk Fri Oct 6 13:40:44 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 6 Oct 2017 11:40:44 +0000 Subject: FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation References: Message-ID: <4A3ED2AE-2291-4E95-A78F-A50DC414E87B@ruc.dk> FIRST CALL FOR PAPERS Sixth International Workshop on Verification and Program Transformation April 21st 2018, Thessaloniki, Greece Co-Located with ETAPS 2018 The Sixth International Workshop on Verification and Program Transformation (VPT 2018) aims to bring together researchers working in the areas of Program Verification and Program Transformation. The previous workshops in this series were: VPT 2013, Saint Petersburg, Russia VPT 2014, Vienna, Austria VPT 2015, London, UK VPT 2016, Eindhoven, The Netherlands VPT 2017, Uppsala, Sweden The workshop solicits research, position, application, and system description papers with a special emphasis on case studies, demonstrating viability of the interactions between the research fields of program transformation and program verification in a broad sense. Also papers in related areas, such as program testing and program synthesis are welcomed. Topics of interest include, but are not limited to: Verification by Program Transformation Verification Techniques in Program Transformation and Synthesis Verification and Certification of Programs Transformations Program Analysis and Transformation Program Testing and Transformation Verifiable Computing and Program Transformation Case studies Important Dates January 16th, 2018: Abstract submission deadline January 22nd, 2018: Paper submission deadline February 19th, 2018: Acceptance notification February 25th, 2018: Camera ready version (for the pre-proceedings) April 21st, 2018: Workshop Submission Guidelines Authors should submit an electronic copy of the paper in PDF, formatted in the Electronic Proceedings in Theoretical Computer Science LaTeX Style (http://style.eptcs.org/), via the Easychair submission website for VPT 2018 : https://easychair.org/conferences/?conf=vpt2018 Papers must describe original work that has not been published, or currently submitted, to a journal, conference, or workshop with refereed proceedings. Also papers that already appeared in unpublished or informally published workshop proceedings may be submitted. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords that will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions should not exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Proceedings We hope to publish the post-proceedings in the Electronic Proceedings in Theoretical Computer (EPTCS) series (http://about.eptcs.org/), as was done for previous editions of VPT. If the workshop will attract sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered. The special issue will be open to high quality papers accepted for presentation in previous editions of the workshop. Program Committee: Emanuele De Angelis, University G.d'Annunzio of Chieti-Pescara, Italy Olivier Danvy, Yale-NUS College, Singapore John Gallagher, Roskilde University and IMDEA Software Institute, Denmark and Spain (Chair) Robert Glueck, University of Copenhagen, Denmark Geoff W. Hamilton, Dublin City University, Republic of Ireland Bishoksan Kafle, The University of Melbourne, Australia Julia Lawall, INRIA Paris, France Alexei Lisitsa, The University of Liverpool, UK Andrei P. Nemytykh, Program Systems Institute of RAS, Russia Maurizio Proietti, IASI-CNR, Rome, Italy C. R. Ramakrishnan, Stony Brook University, USA Kostis Sagonas, Uppsala University, Sweden Hirohisa Seki, Nagoya Institute of Technology, Japan Organisers: Alexei Lisitsa (The University of Liverpool, UK) Andrei P. Nemytykh (Program Systems Institute of RAS, Russia) John Gallagher (Roskilde University and IMDEA Software Institute) Contacts E-mail: Alexei Lisitsa, a.lisitsa at csc.liv.ac.uk Andrei P. Nemytykh, nemytykh at math.botik.ru John Gallagher, jpg at ruc.dk Web: http://refal.botik.ru/vpt/vpt2018/, http://www.etaps.org/index.php/2018/workshops From jsabater at iiia.csic.es Mon Oct 9 11:52:03 2017 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 9 Oct 2017 11:52:03 +0200 Subject: [AAMAS18] 3rd CfP: International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18) Message-ID: <124882553841282806930483@Galvatron> *************************************************** AAMAS 2018: July 10-15, 2018 in Stockholm *************************************************** http://aamas18.ifaamas.org @AAMAS2018 Important Dates --------------- Abstract Submission: 10th of November 2017 (23:59 UTC-12) Full Paper Submission: 14th of November 2017 (23:59 UTC-12) Rebuttal Phase: 9th-10th of January 2018 (23:59 UTC-12) Author Notification: 24th of January 2018 (23:59 UTC-12) AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. This edition will be a part of the Federated AI Meeting (FAIM) where AAMAS is co-located with several AI conferences including the International Joint Conference on Artificial Intelligence (IJCAI)/European Conference on Artificial Intelligence (ECAI) and the International Conference on Machine Learning (ICML). AAMAS 2018, the seventeenth conference in the AAMAS series, seeks the submission of high-quality papers addressing original research on autonomous agents and their interaction. All work must be original, that is, must not have appeared in conference proceedings, books, or journals and may not be under review for other archival conferences, books, or journals. A significant number of papers will be invited to submit extended versions to the Journal of Autonomous Agents and Multi-agent Systems (JAAMAS) for fast-track review. In addition to submissions in the main track, AAMAS 2018 will solicit papers for the following special tracks: 1) JAAMAS Submissions. 2) Robotics 3) Socially Interactive Agents 4) Blue Sky Ideas 5) Industrial Applications The review process for the special tracks will be similar to the main track, but with program committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. At least one of the authors of each paper is required to register, attend, and present the paper at the conference. In addition to the main conference, AAMAS 2018 will include: - Workshops - Tutorials - System demonstrations - Poster presentations for full papers and extended abstracts - Invited talks and panel discussions The submission processes for the workshops and system demonstrations are separate from the main paper submission process. Information will be posted on the relevant pages. ----- ORGANIZING COMMITTEE AAMAS 18 General Chairs: Elisabeth Andr� (Universit�t Augsburg, Germany) Sven Koenig (University of Southern California, USA) AAMAS 18 Program Chairs: Mehdi Dastani (University of Utrecht, Netherlands) Gita Sukthankar (University of Central Florida, USA) AAMAS 18 Local Chair: Franziska Kl�gl (�rebro University, Sweden) The full AAMAS 2018 Call for Papers, along with descriptions of the special tracks and all topics of interest, can be found at: aamas18.ifaamas.org @AAMAS2018 #aamas2018 From ruy at cin.ufpe.br Tue Oct 10 04:07:05 2017 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Mon, 9 Oct 2017 23:07:05 -0300 Subject: =?UTF-8?Q?25th_WoLLIC_2018_=28Bogot=C3=A1=2C_Colombia=29_=2D_Call_for_Pape?= =?UTF-8?Q?rs?= Message-ID: [Please circulate. Apologies for multiple copies.] WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/ instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 11, 2018, and the full paper by Mar 18, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 11, 2018: Paper title and abstract deadline Mar 18, 2018: Full paper deadline Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Tue Oct 10 05:06:14 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 10 Oct 2017 05:06:14 +0200 Subject: BigDat 2018: early registration October 19 Message-ID: <545102060a010b070352570203025a060304065653550f50505658575755535606580753030e5100045305070e5600@grlmc_ip-zone_com-6> BigDat 2018: early registration October 19*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 Timisoara, Romania January 22-26, 2018 Organized by: West University of Timisoara Rovira i Virgili University http://grammars.grlmc.com/BigDat2018/ ******************************************************* --- Early registration deadline: October 19, 2017 --- ******************************************************* 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, 26 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 Timisoara, 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 Timisoara KEYNOTE SPEAKERS: (to be completed) tba PROFESSORS AND COURSES: 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), [intermediate] 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), [intermediate] Integration of HPC, Big Data Analytics and Software Ecosystem Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Data Streaming Analytics 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 Applications in NLP B.S. Manjunath (University of California, Santa Barbara), [introductory/intermediate] Working with Unstructured (Big) Data Folker Meyer (Argonne National Laboratory), [introductory/intermediate] Efficient Multi Cloud Execution of Reproducible Data Analytics using Common Workflow Language, AWE and SHOCK Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences Fionn Murtagh (University of Huddersfield), [introductory/advanced] The New Science of Big Data Analytics, Based on the Geometry and the Topology of Complex, Hierarchic Systems 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), [intermediate/advanced] Pattern Mining on Big Data 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 Timisoara Universitat Rovira i Virgili   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Renate.Schmidt at manchester.ac.uk Tue Oct 10 17:30:18 2017 From: Renate.Schmidt at manchester.ac.uk (Renate Schmidt) Date: Tue, 10 Oct 2017 16:30:18 +0100 Subject: SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics - Call for Papers and Tutorials Message-ID: <20171010162837.045c9253@renate-vb.localnet> [Apologies if you receive multiple copies. Please forward this call to interested parties.] CALL FOR PAPERS AND TUTORIALS SOQE 2017 WORKSHOP ON SECOND-ORDER QUANTIFIER ELIMINATION AND RELATED TOPICS TU Dresden, Germany 6-8 December 2017 Deadline: 29 October 2017 http://2017.soqe.org/ AIMS AND TOPICS Second-order quantifier elimination (SOQE) means to compute from a given logic formula with quantifiers upon second-order objects such as predicates an equivalent first-order formula, or, in other words, an equivalent formula in which these quantified second-order objects do no longer occur. It can be combined with various underlying logics, including classical propositional and first-order logic as well as modal and description logics. In slight variations it is also known as forgetting, projection, predicate elimination and uniform interpolation. SOQE bears strong relationships to Craig interpolation, definability and computation of definientia, the notion of conservative theory extension, abduction and notions of weakest sufficient and strongest necessary condition, as well as to generalizations of Boolean unification to predicate logic. It is particularly attractive as a logic-based approach to various computational tasks, for example, the computation of circumscription, the computation of modal correspondences, forgetting in knowledge bases, knowledge-base modularization, computing abductive explanations, the specification of non-monotonic logic programming semantics, view-based query processing, and the characterization of formula simplifications in reasoner preprocessing. Topics of interest include, but are not limited to: * Abduction * Access interpolation * Algorithms for SOQE and related tasks * Applications of SOQE and related techniques * Automation and tools * Boolean equation solving / Boolean unification and SOQE * Characterizations of formula classes on which SOQE succeeds * Circumscription * Conservative theory extensions * Craig interpolation * Definability and computation of definienda * Elimination in formula simplifications * Elimination methods and calculi for theorem proving * Forgetting and projection in answer set programming * Forgetting and uniform interpolation in description logics * Historical aspects of SOQE * Ontology modularization * Relationships between elimination and decidability * View-based query rewriting on the basis of definability The workshop aims at bringing together researchers working on SOQE and related topics. The hope is that issues shared by problems emerging from different special contexts will become apparent, interesting open research problems will be identified, and potential new applications as well as demands on implementations will become visible. Tutorials aim to make foundations, methods and applications of SOQE and related techniques accessible to young researchers and to researchers with different specialist backgrounds. SUBMISSION We invite submissions of: * Works with original research, adaptions of relevant research published elsewhere, and discussions of research in progress. It is expected that submissions are presented at the workshop by at least one of the authors. * Suggestions for tutorials on topics of interest. In general, the tutorials should take between 60 and 120 minutes. Submissions should be written in English, formatted according to the Springer LNCS style, and match one of the following formats: * Full research paper: up to 15 pages + bibliography * Extended abstract: 5-8 pages + bibliography * Abstract: 1-4 pages * Tutorial abstract: 1-5 pages. Submissions must be uploaded via EasyChair at: https://easychair.org/conferences/?conf=soqe2017 Submissions will be reviewed by the PC, taking into account relevance, technical quality, quality of the presentation, and, as far as applicable, originality. PROCEEDINGS Proceedings of the workshop will be published as CEUR workshop proceedings. REGISTRATION Details will be announced on the workshop webpage. No fee will be charged for attending the workshop. IMPORTANT DATES 29 October 2017: Abstract / Paper Submission 8 November 2017: Author Notification 22 November 2017: Registration 22 November 2017: Camera-Ready Version for CEUR 6-8 December 2017: Workshop in Dresden PROGRAM COMMITTEE CHAIRS Patrick Koopmann TU Dresden, Germany Sebastian Rudolph TU Dresden, Germany Renate Schmidt The University of Manchester, UK Christoph Wernhard TU Dresden, Germany ORGANIZATION Christoph Wernhard, TU Dresden - International Center for Computational Logic info at christophwernhard.com FUNDING The workshop is supported by Deutsche Forschungsgemeinschaft (DFG) with grant WE 5641/1-1. From ijv at acm.org Thu Oct 12 10:21:09 2017 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Thu, 12 Oct 2017 10:21:09 +0200 Subject: Special issue of IJAR on Defeasible and Ampliative Reasoning Message-ID: <60715702-CAEF-4102-A6CB-9722D36F2AB7@acm.org> * Please accept our apologies if you receive multiple copies of this call * Call for Papers: ====================================================================== Special Issue of the International Journal of Approximate Reasoning on "Defeasible and Ampliative Reasoning" ====================================================================== Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of decision making as done by humans. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages (poor expressiveness) or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity in order to be also considered as good candidates for eXplainable Artificial Intelligence (XAI). This special issue aims at bringing together work on defeasible and ampliative reasoning from the perspective of artificial intelligence, cognitive sciences, philosophy and related disciplines in a multi-disciplinary way, thereby consolidating the mission of the DARe workshop series. -- Topics of interest -- Submissions are welcome on topics relevant to defeasible and ampliative reasoning and that include but are not limited to: - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- How to submit -- The submission url is: http://www.evise.com/evise/jrnl/IJA When submitting your manuscript, please select “VSI:DARe special issue” as the article type. Check the “Help” link on the above url for instructions. If you have any enquiries, please feel free to contact us at dare.to.contact.us at gmail.com -- Important Dates -- - Submission deadline: 15 February 2018 - Notification: 1 November 2018 - Publication date: 1 January 2019 -- Guest editors -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Szymon Klarman, Semantic Integration Ltd., UK - Gilles Richard, Université Paul Sabatier, France - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From epontell at cs.nmsu.edu Mon Oct 16 04:09:17 2017 From: epontell at cs.nmsu.edu (NMSU COMPUTER SCIENCE) Date: Sun, 15 Oct 2017 20:09:17 -0600 Subject: CFP: International Conference on Logic Programming 2018; First Call for Papers Message-ID: <605BFCCB-E46C-496F-A6D3-B0B12EA6B296@cs.nmsu.edu> Apologies if you receive multiple copies of this announcement ———— 34th International Conference on Logic Programming (ICLP 2018) First Call for Papers ===================== July 14-17, 2018 Oxford, UK http://www.logicprogramming.org/iclp2018 The 34th International Conference on Logic Programming (ICLP 2018) will take place in Oxford, U.K. as part of FLOC'2018 (http://www.floc2018.org/) from July 14 to July 17, 2018. Scope: ------ ICLP is the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming. Papers are solicited on: * Foundations: semantics, execution algorithms, formal models * Implementation: virtual machines, compilation, memory management, parallel execution, foreign interfaces * Language Design: inference engines, type systems, concurrency and distribution, modules, metaprogramming, relations to object-oriented and functional programming, logic-based domain-specific languages * Software-Development Techniques: declarative algorithms and data structures, design patterns, debugging, testing, profiling, execution visualization * Transformation and Analysis: assertions, type and mode inference, partial evaluation, abstract interpretation, program transformations * Applications and Synergies: interaction with SAT, SMT and CSP solvers, logic programming techniques for type inference and theorem proving, Horn-clause analysis, knowledge representation, cognitive computing, artificial intelligence, natural language processing, information retrieval, web programming, education, computational life sciences, computational mathematics. Submission Details: ------------------- Submissions of regular papers must be made in the condensed TPLP format via EasyChair. A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets. These will not not count towards this limit and will be available as supplementary material to the published paper in the TPLP website. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some papers to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates: ---------------- Abstract registration January 22, 2018 Paper submission January 29, 2018 Notification March 15 Revision submission (TPLP papers) April 1 Final notifications (TPLP papers) April 15 Camera-ready copy May 1 Conference July 14 / July 17, 2018 General Chair: Marco Gavanelli Program Chairs: Alessandro Dal Palù University of Parma Paul Tarau University of North Texas Program Committee: Mario Alviano University of Calabria Hassan Ait-Kaci Marcello Balduccini St. John's University Mutsunori Banbara Kobe University Pedro Cabalar University of Corunna Mats Carlsson SICS Manuel Carro UPM and IMDEA Software Institute Michael Codish Ben-Gurion University of the Negev Marina De Vos University of Bath Thomas Eiter TU Wien Esra Erdem Sabanci University Thom Fruehwirth University of Ulm Marco Gavanelli University of Ferrara Martin Gebser University of Potsdam Gopal Gupta University of Texas at Dallas Michael Hanus CAU Kiel Amelia Harrison University of Texas at Austin Manuel Hermenegildo UPM Angelica Kimmig Cardiff University Ekaterina Komendantskaya Heriot-Watt University Nicola Leone University of Calabria Michael Leuschel University of Dusseldorf Yuliya Lierler University of Nebraska at Omaha Vladimir Lifschitz University of Texas at Austin David Pearce Technical University of Madrid (UPM) Enrico Pontelli New Mexico State University Ricardo Rocha University of Porto Chiaki Sakama Wakayama University Vitor Santos Costa University of Porto Tom Schrijvers KU Leuven Tran Cao Son New Mexico State University Theresa Swift Universidade Nova de Lisboa Mirek Truszczynski University of Kentucky German Vidal Universitat Politècnica de València Jan Wielemaker VU University of Amsterdam Stefan Woltran TU Wien Jia-Huai You University of Alberta Neng-Fa Zhou CUNY Brooklyn College and Graduate Center From riccardo.zese at unife.it Mon Oct 16 13:48:30 2017 From: riccardo.zese at unife.it (Riccardo Zese) Date: Mon, 16 Oct 2017 13:48:30 +0200 Subject: IJAR Special issue on Probabilistic Logic Programming Message-ID: ---------------------------------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on the 4th Probabilistic Logic Programming workshop (PLP, http://stoics.org.uk/plp/plp2017). Deadline: March 7, 2018 ---------------------------------------------------------------------- The 4th PLP workshop was held on the 7th of September 2017, in Orlèans, France, as part of the 27th International Conference on Inductive Logic Programming. We welcome submissions of (improved/extended versions of) papers that were presented at the workshop in Orlèans, as well as new submissions on all topics of the workshop. Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important Dates: -------------- Submission of manuscripts: before March 7, 2018 (Papers will be sent to reviewers as soon as we receive them). Publication of the special issue: January 2019 (tentative). Guest Editors: -------------- Christian Theil Have (Copenhagen University, Denmark, c.have at sund.ku.dk) Riccardo Zese (University of Ferrara, Italy, riccardo.zese at unife.it) Submissions: ------------ All submitted papers under this call will undergo the standard review process of the journal and they must be prepared according to the "Guide for Authors" available from the online submission page of the IJAR at https://www.evise.com/profile/api/navigate/IJA Please select the Special Issue Prob. Log. Prog. 2017 at the "Article Type" step in the submission process. -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From complexis at insticc.info Mon Oct 16 19:33:51 2017 From: complexis at insticc.info (complexis at insticc.info) Date: 16 Oct 2017 18:33:51 +0100 Subject: CFP COMPLEXIS 2018 - 3rd Int.l Conf. on Complexity, Future Information Systems and Risk (Funchal, Madeira/Portugal) Message-ID: <20171016173352.21414.D0293961AE150C85@insticc.info> SUBMISSION DEADLINE 3rd International Conference on Complexity, Future Information Systems and Risk Submission Deadline: October 30, 2017 http://www.complexis.org/ March 20 - 21, 2018 Funchal, Madeira, Portugal. COMPLEXIS is organized in 7 major tracks: - Complexity in Informatics, Automation and Networking - Complexity in Biology and Biomedical Engineering - Complexity in Social Sciences - Complexity in Computational Intelligence and Future Information Systems - Complexity in EDA, Embedded Systems, and Computer Architecture - Network Complexity - Complexity in Risk and Predictive Modeling In Cooperation with IFSR, EATCS. With the presence of internationally distinguished keynote speakers: Ernesto Estrada, University of Strathclyde, United Kingdom A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, COMPLEXIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.complexis.org/ e-mail: complexis.secretariat at insticc.org From grlmc at grlmc.com Tue Oct 17 04:36:38 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 17 Oct 2017 04:36:38 +0200 Subject: LATA 2018: 2nd call for papers Message-ID: <545102060a010b070456540300015a04005e505953550f5802520c505501025856000c0e0a5d00575651030a025758@grlmc_ip-zone_com-6> LATA 2018: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************ 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2018   Bar-Ilan near Tel Aviv, Israel   April 8-12, 2018   Organized by:             Department of Computer Science Bar-Ilan University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2018/ ************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2018 will take place in Ramat Gan, in the district of Tel Aviv and home to one of the world's major diamond exchanges. The venue will be the Faculty of Exact Sciences of Bar-Ilan University.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2018 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Andrei Bulatov (Simon Fraser University), Constraint Satisfaction Problems and Their Complexity (tutorial)   Markus Lohrey (University of Siegen), Streaming Algorithms in Formal Language Theory   Alexander Okhotin (Saint Petersburg State University), tba   Eli Shamir (Hebrew University of Jerusalem), Reshaping the Context-free Model: Linguistic and Algorithmic Aspects   James Worrell (University of Oxford), Invariants for Linear Loops   PROGRAMME COMMITTEE:   Christel Baier (Technical University of Dresden, DE) Pablo Barceló (University of Chile, CL) Francine Blanchet-Sadri (University of North Carolina, Greensboro, US) Alexander Clark (King's College London, UK) Frank Drewes (Umeå University, SE) Manfred Droste (University of Leipzig, DE) Dora Giammarresi (University of Rome Tor Vergata, IT) Erich Grädel (RWTH Aachen University, DE) Peter Habermehl (Paris Diderot University, FR) Jeffrey Heinz (Stony Brook University, US) Pedro Rangel Henriques (University of Minho, PT) Christian Höner zu Siederdissen (University of Leipzig, DE) Hendrik Jan Hoogeboom (Leiden University, NL) David Janin (University of Bordeaux, FR) Marcin Jurdziński (University of Warwick, UK) Makoto Kanazawa (National Institute of Informatics, JP) Jarkko Kari (University of Turku, FI) Shmuel Tomi Klein (Bar-Ilan University, IL) Salvatore La Torre (University of Salerno, IT) Salvador Lucas (Polytechnic University of Valencia, ES) Stuart W. Margolis (Bar-Ilan University, IL) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Fernando Orejas (Polytechnic University of Catalonia, ES) Paritosh K. Pandya (Tata Institute of Fundamental Research, IN) Gennaro Parlato (University of Southampton, UK) Dominique Perrin (University Paris-Est Marne-la-Vallée, FR) Detlef Plump (University of York, UK) Matteo Pradella (Polytechnic University of Milan, IT) Arend Rensink (University of Twente, NL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiri Srba (Aalborg University, DK) Benjamin Steinberg (City College of New York, US) Frank Stephan (National University of Singapore, SG) K.G. Subramanian (University Sains Malaysia, MY) Klaus Sutner (Carnegie Mellon University, US) Menno van Zaanen (Tilburg University, NL) Margus Veanes (Microsoft Research, US) Éric Villemonte de la Clergerie (INRIA, FR) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural State University, RU)   ORGANIZING COMMITTEE:   Shmuel Tomi Klein (Ramat Gan, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Dana Shapira (Ariel) David Silva (London)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2018   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 the journal Information and Computation (Elsevier, 2016 JCR impact factor: 1.05) 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/LATA2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 17, 2017 Notification of paper acceptance or rejection: December 24, 2017 Final version of the paper for the LNCS proceedings: January 4, 2018 Early registration: January 4, 2018 Late registration: March 25, 2018 Submission to the journal special issue: July 12, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   LATA 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   אוניברסיטת בר-אילן Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iceis at insticc.info Wed Oct 18 11:11:21 2017 From: iceis at insticc.info (iceis at insticc.info) Date: 18 Oct 2017 10:11:21 +0100 Subject: CFP ICEIS 2018 - 20th Int.l Conf. on Enterprise Information Systems (Funchal, Madeira/Portugal) Message-ID: <20171018091122.94740.D45B45A405C23DE9@insticc.info> SUBMISSION DEADLINE 20th International Conference on Enterprise Information Systems Submission Deadline: October 30, 2017 http://www.iceis.org/ March 21 - 24, 2018 Funchal, Madeira, Portugal. ICEIS is organized in 6 major tracks: - Databases and Information Systems Integration - Artificial Intelligence and Decision Support Systems - Information Systems Analysis and Specification - Software Agents and Internet Computing - Human-Computer Interaction - Enterprise Architecture In Cooperation with SWIM, AAAI, ACM SIGAI, ACM SIGCHI, ACM SIGMIS. With the presence of internationally distinguished keynote speakers: Alexander Brodsky, George Mason University, United States Plamen Angelov, Lancaster University, United Kingdom Salvatore Distefano, Università degli Studi di Messina, Italy David Aveiro, University of Madeira / Madeira-ITI, Portugal A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICEIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.iceis.org/ e-mail: iceis.secretariat at insticc.org From flm at informatik.uni-kiel.de Thu Oct 19 09:31:29 2017 From: flm at informatik.uni-kiel.de (Florin Manea) Date: Thu, 19 Oct 2017 09:31:29 +0200 Subject: CiE 2018: Preliminary announcement Message-ID: <6519168629d2bc438c8fc5b81aed9dc8@informatik.uni-kiel.de> Appologies for multiple postings. ========================= PRELIMINARY ANNOUNCEMENT: ========================= CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de IMPORTANT DATES (tentative): ============================ Deadline for article registration (abstract submission): January 17, 2018 Deadline for article submission: February 1, 2018 Notification of acceptance: April 6, 2018 Final versions due: April 20, 2018 Deadline for informal presentations submission: April 20, 2018 (the notifications of acceptance for informal presentations will be sent few days after submission) Early registration before: May 30, 2018 CiE 2018 is the fourteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), and Turku (2017). TUTORIAL SPEAKERS: ================== Pinar Heggernes (Bergen, Norway) Bakhadyr Khoussainov (Auckland, NZ) INVITED SPEAKERS: ================= Kousha Etessami (Edinburgh, UK) Johanna Franklin (Hempstead, US) Mai Gehrke (Paris, France) Alberto Marcone (Udine, Italy) Alexandra Silva (London, UK) Jeffrey O. Shallit (Waterloo, Canada) ORGANIZED BY: ============= Department of Computer Science, Kiel University For questions please contact the PC-Chairs, Russell Miller and Dirk Nowotka, or the CiE conference series Steering Committee Chair Florin Manea. SPECIAL SESSIONS: ================= Approximation and Optimisation Bioinformatics and Bio-inspired Computing Computing with Imperfect Information Continuous Computation History and Philosophy of Computing SAT-Solving The organisers and speakers of the special sessions will be announced soon. CONTRIBUTED PAPERS: =================== Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: Eric Allender (Rutgers), Arnold Beckmann (Swansea), Marco Benini (Insubria), Olaf Beyersdorff (Leeds), Patricia Bouyer (Paris), Alessandra Carbone (Paris), Barbara Csima (Waterloo), Anuj Dawar (Cambridge), Henning Fernau (Trier), Ekaterina Fokina (Vienna), Peter Høyer (Calgary), Georgiana Ifrim (Dublin), Lila Kari (Waterloo), Elham Kashefi (Edinburgh), Karen Lange (Wellesley), Benedikt Löwe (Amsterdam), Barnaby Martin (Durham), Florin Manea (Kiel), Klaus Meer (Cottbus), Russell Miller (New York, chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca Muscholl (Bordeaux), Dirk Nowotka (Kiel, chair), Arno Pauly (Bruxelles), Isabella Peters (Kiel), Giuseppe Primiero (Middlesex), Henning Schnoor (Kiel), Monika Seisenberger (Swansea), Shinnosuke Seki (Tokyo), Mariya Soskova (Wisconsin–Madison), Raymond Turner (Essex), Peter Van Emde Boas (Amsterdam), Heribert Vollmer (Hannover). The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings at https://easychair.org/conferences/?conf=cie2018 . Papers must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. INFORMAL PRESENTATIONS: ======================= Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2018 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 1st, 2018. WOMEN IN COMPUTABILITY: ======================= We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2018. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol at univ-lille3.fr, before 15 May 2018 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2018. Association CiE: http://www.computability.org.uk CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ From riccardo.zese at unife.it Mon Oct 23 10:05:53 2017 From: riccardo.zese at unife.it (Riccardo Zese) Date: Mon, 23 Oct 2017 10:05:53 +0200 Subject: [CFP] ILP 2018 - Journal and Conference Track Message-ID: ---------------------------------------------------------------------- ILP 2018 Joint Call for Papers September 2nd - 4th, Ferrara, Italy http://ilp2018.unife.it/ ---------------------------------------------------------------------- In addition to the usual conference track, this year ILP offers a Journal Track. JOURNAL TRACK -------------- We are delighted to introduce a Journal Track whose accepted papers will be published in the Machine Learning Journal Special Issue on Inductive Logic Programming - ILP 2017 and 2018, collecting the best papers coming from ILP 2017 and ILP 2018. Submission: Papers for the Special Issue are solicited in all areas of learning in logic, multi-relational data mining, statistical relational learning, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to ILP and other machine learning approaches are invited. However, given the special nature of the journal track, only papers that satisfy the quality criteria of journal papers and at the same time lend themselves to conference talks will be considered. The journal track allows continuous submissions from October 2017 to the beginning of February 2018. Papers will be processed and sent out for review after each of the following three cutoff dates: * 17th November 2017 * 29th December 2017 * 5th February 2018 The deadline on each of these dates is midnight, Central European Time. Additional information about the submission guidelines is available at http://ilp2018.unife.it/call-for-papers/journal-track. CONFERENCE TRACK -------------- The conference also includes the traditional conference track that will open later in the year. Please consult the call for papers web page ( http://ilp2018.unife.it/call-for-papers/) for up to date information. CO-LOCATED EVENTS -------------- * ACAI 2018 - Summer School on Statistical Relational Artificial Intelligence: http://acai2018.unife.it/ * PLP 2018 - The 5th International Workshop on Probabilistic Logic Programming: http://stoics.org.uk/plp/plp2018/ CONFERENCE CO-CHAIR -------------- Fabrizio Riguzzi, University of Ferrara, Italy PROGRAM CO-CHAIRS -------------- Elena Bellodi, University of Ferrara, Italy Riccardo Zese, University of Ferrara, Italy -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Mon Oct 23 10:44:28 2017 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Mon, 23 Oct 2017 08:44:28 +0000 Subject: One PhD studentships in Translation Technology Message-ID: <1508748268.3939.21.camel@wlv.ac.uk> One PhD studentships in Translation Technology Deadline: 30th Nov 2017 The Research Group in Computational Linguistics at University of Wolverhampton invites applications for a 3-year PhD studentships in the area of translation technology. This PhD studentship is part of a university investment which also includes the appointment of a senior lecturer, a research fellow and another PhD student with the aim to strengthen the existing research undertaken by members of the group in this area. This bursary consists of a stipend towards living expenses (£14,500 per year) and remission of fees. We invite applications in the area of translation technology defined in the broadest sense possible and ranging from advanced methods in machine translation to other ways of involving technology in the translation process. The proposals should focus on Natural Language Processing techniques for translation memory systems and translation tools in general. Given the current research interests of the group and its focus on computational approaches, we would be interested in topics including but not limited to: - Enhancing retrieval and matching from translation memories with linguistic information - The use of deep learning (and in general, statistical) techniques in translation memories - (Machine) translation of user generated content - The use of machine translation in cross-lingual applications - Phraseology and computational treatment of multi-word expressions in machine translation and translation memory systems - Quality estimation for translation professionals Other topics will be also considered as long as they align with the interests of the group. The appointed student is expected to work on a project that has a significant computational component. For this reason we expect that the successful candidate will have good background in computer science and programming. The application deadline is 30 November 2017 and the interviews will take place in the first half of December by Skype. The starting date of the PhD position is 1st Jan 2018 or any time as soon as possible after that. A successful applicant must have: - A good honours degree or equivalent in Computational Linguistics, Computer Science, Translation studies or Linguistics - A strong programming and statistical / Mathematical background or closely related areas - Experience in Computational Linguistics / Natural Language Processing, including at least some of the following Statistical Processing, Machine Learning and Deep Learning, applications to Natural Language Processing. - Experience with translation technology - Experience with programming languages such as Python, Java or R. - If not native speaker a IELTS certificate with a score of 6.5. If a certificate is not available at the time of application, the successful candidate must be able to obtain it within one month from the offer being made. Applications must include: - A curriculum vitae indicating degrees obtained, courses covered, publications, relevant work experience and names of two referees that could be contacted if necessary - A research statement which outlines the topics of interest. More information about the expected structure of the research statement can be found at https://www.wlv.ac.uk/media/departments/star-office/documents/Guidelines-for-completion-of-Research-Statement.doc These documents will have to be sent by email before the deadline to Amanda Bloore (A.Bloore at wlv.ac.uk). Informal enquiries can be sent to Constantin Orasan (C.Orasan at wlv.ac.uk) Established by Prof Mitkov in 1998, the research group in Computational Linguistics delivers cutting-edge research in a number of NLP areas. The results from the latest Research Evaluation Framework confirm the research group in Computational Linguistics as one of the top performers in UK research with its research defined as ‘internationally leading, internationally excellent and internationally recognised’. The research group has recently completed successfully the coordination of the EXPERT project a successful EC Marie Curie Initial Training Network promoting research, development and use of data-driven technologies in machine translation and translation technology (http://expert-itn.eu) -- Dr. Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton, UK From adrianrp at unimelb.edu.au Wed Oct 25 00:50:41 2017 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Tue, 24 Oct 2017 22:50:41 +0000 Subject: ICAPS 2018 Operations Research (OR) Track - Call for Papers (CFP) Message-ID: ICAPS 2018 Operations Research (OR) Track - Call for Papers (CFP) In 2018, ICAPS will run an Operations Research (OR) Track as part of the main conference. Operations research and automated planning are often seen as distinct fields with different application areas and techniques. Operations research typically focuses on optimizing an objective function defined over variables that are subject to a range of combinatorial and mathematical constraints. Automated planning is typically concerned with transforming a current state of the world into a desirable outcome, exploiting symbolic and search techniques for finding a feasible or even optimal sequence of actions. Moreover, in the context of reasoning about uncertainty, the two fields have often progressed in parallel, inventing orthogonal techniques or rediscovering existing ones. However, a wide variety of applications are now emerging that require a tighter integration of these two fields. These applications typically require reasoning about time, space, and resources simultaneously: Their solutions are sequences of actions that use limited resources over time and must be selected from a wealth of different alternatives. In addition, some of these applications have inherent uncertainties, ranging from exogenous factors such as the demand for some products to endogenous aspects that determine the outcome of some actions. The OR track of the ICAPS conference solicits papers at the intersection of these two fields to stimulate and nurture progress in their integration. The track provides a forum to report new results and to compare existing methods and formulations for complex planning problems under constraints. The track welcomes both methodological and applied contributions. Author Guidelines Authors may submit long papers (8 pages AAAI style plus up to one page of references) or short papers (4 pages plus up to one page of references). The type of paper must be indicated at submission time. All papers, regardless of length, will be reviewed against the standard criteria of relevance, originality, significance, clarity and soundness, and are expected to meet the same high standards set by ICAPS. Short papers may be of narrower scope, for example by addressing a highly specific issue, or proposing or evaluating a small, yet important, extension of previous work or new idea. Authors making multiple submissions must ensure that each submission has significant unique content. Papers submitted to ICAPS 2018 may not be submitted to other conferences or journals during the ICAPS 2018 review period nor may they be already under review or published in other conferences or journals. Overlength papers will be rejected without review. Submission Instructions All submissions will be made electronically, through the EasyChair conference system: https://www.easychair.org/conferences/?conf=icaps2018 Submitted PDF papers should be anonymous for double-blind reviewing, adhere to the page limits of the relevant track CFP/submission type (long or short), and follow the AAAI author kit instructions for formatting: http://www.aaai.org/Publications/Author/icaps.php In addition to the submitted PDF paper, authors can submit supplementary material (videos, technical proofs, additional experimental results) for their paper. Please make sure that the supporting material is also anonymized. Papers should be self-contained; reviewers are encouraged, but not obligated, to consider supporting material in their decision. The proceedings will be published by AAAI Press. All accepted papers will be published in the main conference proceedings and will be presented orally at the conference (full papers will be allocated more time). Important Dates November 17, 2017Abstracts (electronic submission) due November 21, 2017Papers (electronic submission, PDF) due January 29, 2018Notification of acceptance The reference timezone for all deadlines is UTC-12. That is, as long as there is still some place anywhere in the world where the deadline has not yet passed, you are on time! Operations Research (OR) Track Chairs Pascal Van Hentenryck, University of Michigan Adrian Pearce, University of Melbourne Program Committee Florian Pommering, University of Basel Daniele Magazzeni, King's College London Nina Narodytska, Samsung Research America Sylvie Thiebaux, Australian National University (ANU) Christopher Beck, University of Toronto Russell Bent, Los Alamos National Laboratory Blai Bonet, Universidad Simón Bolívar Christina Burt, Satalia André Augusto Ciré, University of Toronto Michelle Blom, University of Melbourne From adrianrp at unimelb.edu.au Wed Oct 25 07:27:47 2017 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Wed, 25 Oct 2017 05:27:47 +0000 Subject: [AAMAS18] Final CFP: International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18) Message-ID: *************************************************** AAMAS 2018: July 10-15, 2018 in Stockholm *************************************************** http://aamas18.ifaamas.org @AAMAS2018 Important Dates --------------- Abstract Submission: 10th of November 2017 (23:59 UTC-12) Full Paper Submission: 14th of November 2017 (23:59 UTC-12) Rebuttal Phase: 9th-10th of January 2018 (23:59 UTC-12) Author Notification: 24th of January 2018 (23:59 UTC-12) AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. This edition will be a part of the Federated AI Meeting (FAIM) where AAMAS is co-located with several AI conferences including the International Joint Conference on Artificial Intelligence (IJCAI)/European Conference on Artificial Intelligence (ECAI) and the International Conference on Machine Learning (ICML). AAMAS 2018, the seventeenth conference in the AAMAS series, seeks the submission of high-quality papers addressing original research on autonomous agents and their interaction. All work must be original, that is, must not have appeared in conference proceedings, books, or journals and may not be under review for other archival conferences, books, or journals. A significant number of papers will be invited to submit extended versions to the Journal of Autonomous Agents and Multi-agent Systems (JAAMAS) for fast-track review. In addition to submissions in the main track, AAMAS 2018 will solicit papers for the following special tracks: 1) JAAMAS Submissions. 2) Robotics 3) Socially Interactive Agents 4) Blue Sky Ideas 5) Industrial Applications The review process for the special tracks will be similar to the main track, but with program committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. At least one of the authors of each paper is required to register, attend, and present the paper at the conference. In addition to the main conference, AAMAS 2018 will include: - Workshops - Tutorials - System demonstrations - Poster presentations for full papers and extended abstracts - Invited talks and panel discussions The submission processes for the workshops and system demonstrations are separate from the main paper submission process. Information will be posted on the relevant pages. ----- ORGANIZING COMMITTEE AAMAS 18 General Chairs: Elisabeth Andre (University of Augsburg, Germany) Sven Koenig (University of Southern California, USA) AAMAS 18 Program Chairs: Mehdi Dastani (University of Utrecht, Netherlands) Gita Sukthankar (University of Central Florida, USA) AAMAS 18 Local Chair: Franziska Kluegl (Orebro University, Sweden) The full AAMAS 2018 Call for Papers, along with descriptions of the special tracks and all topics of interest, can be found at: aamas18.ifaamas.org @AAMAS2018 #aamas2018 From icsai2017cfp2 at sdju.edu.cn Wed Oct 25 09:41:02 2017 From: icsai2017cfp2 at sdju.edu.cn (Prof Chen) Date: Wed, 25 Oct 2017 15:41:02 +0800 Subject: ICSAI2017, Hangzhou: Submission open until 30 October [EI Compendex/ Scopus/ISI/IEEE Xplore] 2017/10/25 15:41:07 jk Message-ID: <20171025154107383248@sdju.edu.cn> Dear Colleague, The 2017 4th International Conference on Systems and Informatics (ICSAI 2017) will be held from 11-13 November 2017 in Hangzhou, China. Submission remains open until 30 October 2017. ICSAI 2017 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. All papers in the conference proceedings will be submitted to EI Compendex, Scopus, and ISTP (ISI Proceedings), as well as IEEE Xplore. Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. An old Chinese saying goes, "There is heaven above, Suzhou and Hangzhou below." (Suzhou is about 100 kilometers north of Hangzhou). Famous for its scenic splendor, Hangzhou attracts more than 20 million tourists from home and abroad every year. West Lake is completely man-made in the imperial garden style. "Impressions of the West Lake" is an evening spectacle of light and dance staged outdoors at West Lake, created by award-winning director Zhang Yimou and musician Kitaro. Peak Flown in from Afar and Lingyin Temple are well-known for Buddhist carvings. Hangzhou is among the six oldest cities in China and is the southern end of the Beijing-Hangzhou Grand Canal, the longest canal ever built in the world. Boating on the old Canal is one of the best ways to get a panoramic view of river towns, with ancient dwellings, traditional stone bridges, and historical relics. Explore Chinese culture at the museums of tea, silk and Chinese medicine. Topics include (but are not limited to): Systems • Control and Automation Systems • Power and Energy Systems • Intelligent Systems • Computer Systems and Applications Informatics • Communications and Networking • Image, Video, and Signal Processing • Data Engineering and Data Mining • Software Engineering For more information, visit the conference web page: http://icsai.sdju.edu.cn/ or http://116.228.182.212 If you have any questions after visiting the conference web page, please email the secretariat at icsai2017 at sdju.edu.cn Join us at this major event in beautiful Hangzhou !!! Organizing Committee icsai2017 at sdju.edu.cn P.S.: Please forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2017/10/25 15:41:07 rfxq -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Oct 27 21:36:45 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Fri, 27 Oct 2017 15:36:45 -0400 (EDT) Subject: CAV 2018 - Call for Papers Message-ID: <20171027193645.0E52C17010E5@cs.miami.edu> Call for papers CAV 2018: The 30th International Conference on Computer Aided Verification July 14-17 2018, Oxford, UK, Part of the Federated Logic Conference, FLoC 2018 http://cavconference.org/2018/ http://floc2018.org Important dates: Paper submission deadline: January 31, 2018 (firm) Rebuttal period: March 15-17, 2018 Author notification: March 31st, 2018 CAV 2018 is the 30th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as machine learning, autonomous systems, and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM. CAV'18 will take place in Oxford, UK, and is a part of the Federated Logic Conference (FLoC) 2018. Topics of interest include but are not limited to: + Algorithms and tools for verifying models and implementations + Algorithms and tools for system synthesis + Algorithms and tools that combine verification and learning + Mathematical and logical foundations of verification and synthesis + Specifications and correctness criteria for programs and systems + Deductive verification using proof assistants + Hardware verification techniques + Program analysis and software verification + Software synthesis + Hybrid systems and embedded systems verification + Formal methods for cyber-physical systems + Compositional and abstraction-based techniques for verification + Probabilistic and statistical approaches to verification + Verification methods for parallel and concurrent systems + Testing and run-time analysis based on verification technology + Decision procedures and solvers for verification and synthesis + Applications and case studies in verification and synthesis + Verification in industrial practice + New application areas for algorithmic verification and synthesis + Formal models and methods for security + Formal models and methods for biological systems Submissions on a wide range of topics are sought, particularly ones that identify new research directions. CAV 2018 is not limited to topics discussed in previous instances of the conference. Authors concerned about the appropriateness of a topic may communicate with the conference chairs prior to submission. Program committee See http://cavconference.org/2018/organization/ CAV Award The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. For details please check http://cavconference.org/cav-award CAV Award Committee Kim Larsen (chair) Natarajan Shankar Piere Wolper Somesh Jha Paper Submission - Full papers should be uploaded by the submission deadline. - Tool papers require the submission of an artifact together with the paper submission. As in 2017, CAV will follow a lightweight double-blind review process. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period. Submissions will be in two categories: Regular Papers and Tool Papers. Regular Papers Regular Papers should not exceed 16 pages in LNCS format, not counting references and appendices. Authors can include a clearly marked appendix at the end of their submissions that is exempt from the page limit restrictions. However, the reviewers are not obliged to read the contents of these appendices. These papers should contain original research and sufficient detail to assess the merits and relevance of the contribution. Papers will be evaluated on basis of a combination of correctness, technical depth, significance, novelty, clarity, and elegance. We welcome papers on theory, case studies, and comparisons with existing experimental research, as well as combinations of new theory with experimental evaluation. A strong theoretical paper is not required to have an experimental component. On the other hand, strong papers reproducing and comparing existing results experimentally do not require new theoretical insights. Authors of accepted regular papers will be invited (but are not required) to submit the relevant artifact for evaluation by the artifact evaluation committee. Tool Papers: Tool Papers should not exceed 6 pages, not counting references. These papers should describe system and implementation aspects of a tool with a large (potential) user base (experiments not required, rehash of theory strongly discouraged). Papers describing tools that have already been presented (in any conference) will be accepted only if significant and clear enhancements to the tool are reported and implemented. Note that tool papers require the submission of an artifact for evaluation by the submission deadline. Artifacts will be evaluated concurrently with the review process and the program committee will have access to the artifact evaluation while making their decision. In special cases, where an artifact cannot be submitted, the authors should contact the program chairs to find alternate modes of artifact evaluation. From grlmc at grlmc.com Sun Oct 29 01:14:11 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 29 Oct 2017 01:14:11 +0200 Subject: TPNC 2017: call for posters Message-ID: <545102060a010b07045055000f075a0150510d53530103030b0b5d0505545a5455565704000b090108025803000605@grlmc_ip-zone_com-6> TPNC 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------------------------ The 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017) invites researchers to submit poster presentations. TPNC 2017 will be held in Prague on December 18-20, 2017. See  http://grammars.grlmc.com/TPNC2017/ 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 computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 11, 2017 Notification of poster acceptance or rejection: November 18, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2017 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 proceedings volume of TPNC 2017. However, they will be eligible for submission to the post-conference journal special issue in BioSystems (Elsevier, 2015 JCR impact factor: 1.495). REGISTRATION At least one author of each accepted poster must register to the conference by December 4, 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 Patrick.Hung at uoit.ca Sun Oct 29 06:38:10 2017 From: Patrick.Hung at uoit.ca (Patrick Hung) Date: Sun, 29 Oct 2017 05:38:10 +0000 Subject: CFP: 2018 IEEE World Congress on Services (BIGDATA CONGRESS/CLOUD/EDGE/ICCC/ICIOT/ICWS/SCC) In-Reply-To: <1509253128705.64719@uoit.ca> References: <1509250582088.74842@uoit.ca>,<1509250640894.4404@uoit.ca>,<1509250815859.45375@uoit.ca>,<1509250933559.69020@uoit.ca>,<1509251403360.77281@uoit.ca>,<1509251594674.58697@uoit.ca>,<1509251660801.86289@uoit.ca>,<1509251693421.69292@uoit.ca>,<1509251748614.60472@uoit.ca>,<1509251865424.30795@uoit.ca>,<1509251925825.50290@uoit.ca>,<1509252145860.28314@uoit.ca>,<1509252256404.52682@uoit.ca>,<1509252360759.71406@uoit.ca>,<1509252608788.68315@uoit.ca>,<1509253060510.56612@uoit.ca>,<1509253128705.64719@uoit.ca> Message-ID: <1509255489882.28566@uoit.ca> ​​​​​​​​​​​​​​​​​​Apology for cross-postings. Please send it to interested colleagues and students. Thanks! ***** Call For Papers ***** 2018 IEEE World Congress on Services (BIGDATA CONGRESS/CLOUD/EDGE/ICCC/ICIOT/ICWS/SCC) ====================================================================================== JULY 2 - 7, 2018, SAN FRANCISCO, USA Website: http://conferences.computer.org/services/2018/ 2018 IEEE World Congress on Services (IEEE SERVICES 2018) will be held on July 2-7, 2018 at the Grand Hyatt Hotel in San Francisco, California, USA. The scope of the Congress will cover all aspects of innovative services computing and applications, current and emerging. It involves various systems and networking aspects, such as cloud, edge, and Internet-of-Things (IoT), as well as other research and technologies, such as intelligent computing, learning techniques, and big data, including quality factors, such as high performance, security, privacy, dependability, trustworthiness, and cost-effectiveness. The Congress with the following seven conferences/congresses is solely sponsored by the IEEE Computer Society under the auspice of the Technical Committee on Services Computing (TCSVC). Original manuscripts are invited to submit to these conferences/congresses considered with most suitable from the technical point of view. IEEE International Congress on Big Data (BigDataCongress) --------------------------------------------------------- General chair: Laurence T. Yang, St. Francis Xavier University, Canada; co-chair: Francisco Henrrera, University of Granada, Spain; Program chair: Shadi Ibrabim, INRIA Rennes, France; co-chair: Isaac Triguero, Nottingham University, UK IEEE International Conference on Cloud Computing (CLOUD) -------------------------------------------------------- General chair: Geoffrey C. Fox, Indiana University, USA; co-chair: Daniel Reed, University of Iowa, USA; Program chair: Ian Foster, University of Chicago, USA; co-chair: Jia Zhang, Carnegie Mellon University, USA IEEE International Conference on Edge Computing (EDGE) ------------------------------------------------------ General chair: Andrzej Goscinski, Deakin University, Australia; co-chair: Dennis Gannon, Indiana University, USA; Program chair: Hong Zhu, Oxford Brookes University, UK; co-chair: Shangguang Wang, Beijing University of Post and Telecommunication, China IEEE International Conference on Cognitive Computing (ICCC) ----------------------------------------------------------- General chair: Jeffrey Tsai, Asia University, Taiwan; co-chair: Ernesto Damiani, University of Milan, Italy; Program chair: Xiaoqing Frank Liu, University of Arkansas, USA; co-chair: Incheon Paik, University of Aizu, Japan IEEE International Congress on Internet of Things (ICIOT) --------------------------------------------------------- General chair: Rong N. Chang, IBM Research, USA; co-chair: Manish Parashar, Rutgers University, USA; Program chair: Schahram Dustdar, Vienna University of Technology, Austria; co-chair: Zihin Zheng, Sun Yat-Sen University, China IEEE International Conference on Web Services (ICWS) ---------------------------------------------------- General chair: Peter Chen, Carnegie Mellon University, USA; co-chair: Nimish Radia, Ericsson Research, USA; Program chair: Bhavani Thuraisingham, University of Texas Dallas, USA; co-chair: Yushun Fan, Tsinghua University, China IEEE International Conference on Services Computing (SCC) --------------------------------------------------------- General chair: Xiaofei Xu, Harbin Institute of Technology, China; co-chair: Michael Goul, Arizona State University, USA; Program chair: Ilkey Altintas, University of California, San Diego, USA; co-chair: Yan Wang, Macquarie University, Australia *** Manuscript Guidelines and Submission Information *** Language: English. Paper size and format: US Letter; Two-column format in the IEEE style. Page limit: Up to 8 pages for peer review. Abstract length: Approximately 1500 characters. File format: Limit the size of a single PDF file to be 6 MB. All submitted manuscripts will be peer-reviewed by at least 3 program committee members. Accepted papers with confirmed presentation will appear in the conference proceedings published by the IEEE Computer Society Press. Each conference/congress will publicly announce the winners of its Best Paper Award, and Best Student Paper Award. The authors of selected papers will be encouraged to submit extended and enhanced versions of their papers to the IEEE Transactions on Services Computing (TSC) and other suitable journals. *** Key Dates *** Paper submission (for peer review) due: January 10, 2018. Notification to authors on the decisions on papers: March 15, 2018. Camera-ready papers due: April 6, 2018. Congress date: July 2 – 7, 2018. SERVICES Congress General Chair: Stephen S. Yau, Arizona State University, USA Steering Committee: Elisa Bertino, Purdue University, USA Carl K. Chang, Iowa State University, USA (Chair) Rong N. Chang, IBM Research, USA Peter Chen, Carnegie Mellon University. USA Ernesto Damiani, University of Milan, Italy Ian Foster, University of Chicago, USA Dennis Gannon, Indiana University, USA Michael Goul, Arizona State University, USA Hong Mei, Beijing Institute of Technology, China Stephen S. Yau, Arizona State University, USA Publicity Team: Uwe Breitenbücher, University of Stuttgart, Germany Young Poon, Hongik University, Korea Patrick C. K. Hung, University of Ontario Institute of Technology, Canada (Chair) Eleanna Kafeza, Zayed University, UAE Andrei V. Kopylov, Tula State University, Russia Matogoro Jabera, University of Dodoma, Tanzania Jorge Roa, National Technological University, Santa Fe Regional Faculty, Argentina Radha Krishna Pisipati, Infosys, India Send inquiries to ieeecs.services at gmail.com ​ From jsabater at iiia.csic.es Mon Oct 30 10:36:46 2017 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 30 Oct 2017 10:36:46 +0100 Subject: [AAMAS18] Final CFP: International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18) Message-ID: <121282553221041465911490@Galvatron> *************************************************** AAMAS 2018: July 10-15, 2018 in Stockholm *************************************************** http://aamas18.ifaamas.org @AAMAS2018 Important Dates --------------- Abstract Submission: 10th of November 2017 (23:59 UTC-12) Full Paper Submission: 14th of November 2017 (23:59 UTC-12) Rebuttal Phase: 9th-10th of January 2018 (23:59 UTC-12) Author Notification: 24th of January 2018 (23:59 UTC-12) AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. This edition will be a part of the Federated AI Meeting (FAIM) where AAMAS is co-located with several AI conferences including the International Joint Conference on Artificial Intelligence (IJCAI)/European Conference on Artificial Intelligence (ECAI) and the International Conference on Machine Learning (ICML). AAMAS 2018, the seventeenth conference in the AAMAS series, seeks the submission of high-quality papers addressing original research on autonomous agents and their interaction. All work must be original, that is, must not have appeared in conference proceedings, books, or journals and may not be under review for other archival conferences, books, or journals. A significant number of papers will be invited to submit extended versions to the Journal of Autonomous Agents and Multi-agent Systems (JAAMAS) for fast-track review. In addition to submissions in the main track, AAMAS 2018 will solicit papers for the following special tracks: 1) JAAMAS Submissions. 2) Robotics 3) Socially Interactive Agents 4) Blue Sky Ideas 5) Industrial Applications The review process for the special tracks will be similar to the main track, but with program committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. At least one of the authors of each paper is required to register, attend, and present the paper at the conference. In addition to the main conference, AAMAS 2018 will include: - Workshops - Tutorials - System demonstrations - Poster presentations for full papers and extended abstracts - Invited talks and panel discussions The submission processes for the workshops and system demonstrations are separate from the main paper submission process. Information will be posted on the relevant pages. ----- ORGANIZING COMMITTEE AAMAS 18 General Chairs: Elisabeth Andre (University of Augsburg, Germany) Sven Koenig (University of Southern California, USA) AAMAS 18 Program Chairs: Mehdi Dastani (University of Utrecht, Netherlands) Gita Sukthankar (University of Central Florida, USA) AAMAS 18 Local Chair: Franziska Kluegl (Orebro University, Sweden) The full AAMAS 2018 Call for Papers, along with descriptions of the special tracks and all topics of interest, can be found at: aamas18.ifaamas.org @AAMAS2018 #aamas2018 From sara at fc.ul.pt Mon Oct 30 11:15:44 2017 From: sara at fc.ul.pt (Sara Silva) Date: Mon, 30 Oct 2017 10:15:44 +0000 Subject: evoSET'18 - Deadline extended: Nov 10th Message-ID: ****************************************************************************** evoSET - Nature-inspired algorithms in Software Engineering and Testing Parma, Italy, 4 to 6 April 2018 A track of EvoApplications, part of Evo* 2018 www.evostar.org ** DEADLINE EXTENDED : Nov 10th 2017 ** http://www.evostar.org/2018/cfp_evoset.php ****************************************************************************** * Aims and scope We seek both theoretical developments and applications of Computational Intelligence to the design, the development, operation, and maintenance of software, with particular focus on testing for security and reliability. All bio-inspired computational paradigms are welcome, mainly Genetic and Evolutionary Computation, including Multi-Objective Approaches, but also Fuzzy Logic, Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems, Swarm Intelligence and others, including hybrids. Topics include but are not limited to: * Requirements engineering * Automated design and development of software * Search-based software engineering * Software reliability, testing and security * Software maintenance and self-repair * Software effort estimation and fault prediction * Genetic improvement of software * Real world applications of the above * Submission Details Submission link: https://myreview.saclay.inria.fr/evoapps18/ Please provide up to five keywords in your Abstract * Publications - This year EvoApplications is accepting two kinds of submission: full papers and short papers. Full papers require novel and complete research work and have a limit of 16 pages. Short papers should present complete research or interesting preliminary results and have a limit of 8 pages. Both types of submission will undergo the same double-blind review process and all accepted papers will be included in the LNCS proceedings. Based on reviewers' assessment, accepted full papers will be presented as full-length talks, and authors of accepted short papers will present a short talk as well as present a poster. All authors of accepted papers will be given the opportunity to further disseminate their work in poster sessions. - All 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. EvoSET 2018 Chairs: Anna I Esparcia-Alcázar, Universitat Politècnica de València, Spain Sara Silva, Universidade de Lisboa, Portugal From grlmc at grlmc.com Tue Oct 31 05:38:14 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 31 Oct 2017 05:38:14 +0100 Subject: BigDat 2018: early registration November 11 Message-ID: <545102060a010b070554520603035a5d06050c0453025352570a5c0155060054075553060b09510202555754570355@grlmc_ip-zone_com-6> BigDat 2018: early registration November 11*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/   *******************************************************   --- Early registration deadline: November 11, 2017 ---   *******************************************************   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:   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), [intermediate] 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), [intermediate] Integration of HPC, Big Data Analytics and Software Ecosystem   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Data Streaming Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   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 Applications in NLP   B.S. Manjunath (University of California, Santa Barbara), [introductory] Unstructured (Big) Data   Folker Meyer (Argonne National Laboratory), [introductory/intermediate] Efficient Multi Cloud Execution of Reproducible Data Analytics using Common Workflow Language, AWE and SHOCK   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Fionn Murtagh (University of Huddersfield), [introductory/advanced] The New Science of Big Data Analytics, Based on the Geometry and the Topology of Complex, Hierarchic Systems   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), [intermediate/advanced] Pattern Mining on Big Data   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: