From C.Orasan at wlv.ac.uk Mon Jan 1 13:10:11 2018 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Mon, 1 Jan 2018 12:10:11 +0000 Subject: Two PhD studentships in Translation Technology References: <1513351062.6993.21.camel@wlv.ac.uk> Message-ID: <1514808611.2818.8.camel@wlv.ac.uk> [Apologies for cross-posting] 2 PhD studentships in Translation Technology Closing date 5th January 2018 The Research Group in Computational Linguistics (http://rgcl.wlv.ac.uk) at the University of Wolverhampton invites applications for TWO 3-year PhD studentships in the area of translation technology. These two PhD studentships are part of a larger university investment which includes other PhD students and members of staff with the aim to strengthen the existing research undertaken by members of the group in this area. These funded student bursaries consist 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 user studies which involves using of technology in the translation process. We welcome proposals focusing 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 (with particular interest in sentiment analysis, automatic summarisation and question answering) - 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 5th January 2018 and Skype interviews with the shortlisted candidates will be organised shortly after the deadline. The starting date of the PhD positions is as soon as possible after the offer is made. 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 (if relevant to the proposed topic). - Experience in Computational Linguistics / Natural Language Processing, including statistical, Machine Learning and Deep Learning, applications to Natural Language Processing. - Experience with translation technology - Experience with programming languages such as Python, Java or R is a plus - An IELTS certificate with a score of 6.5 is required from candidates whose native language is not English. 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. Candidates from both UK/EU and non-EU can apply. Applications must include: 1. A curriculum vitae indicating degrees obtained, courses covered, publications, relevant work experience and names of two referees that could be contacted if necessary 2. 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) The shortlisted applicants will be interviewed by phone/Skype shortly after the application deadline. 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://dinel.org.uk University of Wolverhampton, UK From nmmoniz at inesctec.pt Tue Jan 2 12:29:14 2018 From: nmmoniz at inesctec.pt (Nuno Moniz) Date: Tue, 02 Jan 2018 12:29:14 +0100 Subject: COST'2018: Cost-Sensitive Learning Workshop (with SIAM SDM 2018) [PMLR Proceedings] - 3 weeks to deadline Message-ID: <20180102122914.13156paplkfwwefe@webmail.inesctec.pt> *Apologies for cross-posting* ******************************************************************************************** International Workshop on Cost-Sensitive Learning (COST 2018, co-located with SDM 2018) 3-5th May, 2018 San Diego, California, USA Website: http://cost.dcc.fc.up.pt/ ******************************************************************************************** The proceedings of this workshop will be published as a volume of the Proceedings of Machine Learning Research (PMLR) series. *********************************************** KEY DATES Submission Deadline: Friday, January 26, 2018 Notification of Acceptance: Sunday, February 25, 2018 Camera-ready Deadline: Sunday, March 11, 2018 SDM 2018: 3-5th May, 2018 COST'2018: TBA *********************************************** Research on data mining and machine learning tasks are commonly developed under assumptions of uniform preferences, where cases are equally important, and issues such as data acquisition costs are not considered. However, many real-world data-mining applications involve complex settings where such assumptions do not apply. Frequently, predictive analytics involve settings where the consideration of costs is unavoidable. Such costs can appear at all stages of the data mining process, e.g. data acquisition, modelling or model application. In this workshop we will target tasks involving the consideration of costs and/or benefits which may arise from different sources. The most studied setting regards binary classification tasks with costs applied at the evaluation level. In this case, different penalizations and/or benefits are assigned to different mistakes and/or accurate predictions, and a cost matrix is used to assess the performance of model. However, other settings may also be cost dependent such as regression and time series or data streams forecasting tasks. Moreover, there are other issues which, although relevant, are still unsolved or need improved solutions, such as performance evaluation and applications involving unsupervised and semi-supervised tasks. Tackling the issues raised by cost-sensitive learning problems is crucial to both academia and industry, as it allows the development of more suitable and robust systems for complex settings. For industry partners, this presents the opportunity to develop frameworks targeting specific contexts, embedding in the solutions the necessary domain knowledge. Examples include dealing with budgeted resources, limited space or computational time, prediction of rare events and anomaly detection. This workshop will bring together practitioners and researchers from both academia and industry that are linked to all levels of cost-sensitive learning. This will promote a wider knowledge exchange as well as the interaction between different agents. Our workshop invites inter-disciplinary contributions to tackle the problems that many real-world domains face nowadays, in order to promote significant developments in this field. The research topics of interest to COST'2018 workshop include (but are not limited to) the following: *** Foundations of cost- and utility-based learning Probabilistic and statistical models New knowledge discovery theories and models Deep learning in the context of cost-sensitive learning Handling cost-sensitive big data Learning with non i.i.d. data Relations between cost/utility-based learning and data pre-processing/post-processing Sampling approaches Feature selection and feature transformation Evaluation in cost-sensitive learning *** Knowledge discovery and machine learning in cost and utility-based tasks Classification, ordinal classification Regression Data streams and time series forecasting Clustering Outlier detection Adaptive learning and algorithm-level approaches Multi-label, multi-instance, sequence and association rules mining Active learning Spatial and spatio-temporal learning *** Applications of cost and utility-based learning Budgeted applications Fraud detection (e.g. finance, credit and online banking) Anomaly detection (e.g. industry, intrusion detection) Health applications Environmental applications (e.g. meteorology, biology) Social media applications (e.g. popularity prediction, recommender systems) Real world applications (e.g. oil spill detection) Case studies *********************************************** SUBMISSION This workshop accepts two types of submissions: Full and Short (Poster) Papers For each of the accepted full papers, a presentation slot of 20 minutes is provided. As for short papers, these will be introduced with short presentations, and a poster session will be organized. * The maximum length for full papers is 12 pages and for the short papers the limit is 10 pages. Papers not respecting such limit will be rejected. * All submissions must be written in English and follow the PMLR format. Instructions for authors and style files may be found in http://cost.dcc.fc.up.pt/ManuscriptPMLR.zip * All submissions will be reviewed by the Program Committee using a double-blind method. As such, it is required that no personal information or reference to the authors should be introduced in the submitted paper. * Full papers that have already been accepted or are currently under review for other workshops, conferences, or journals will not be considered. * Submissions will be evaluated concerning their technical quality, relevance, significance, originality and clarity. * At least one author of each accepted paper must attend the workshop and present the paper. To submit a paper, authors must use the on-line submission system hosted in EasyChair: https://easychair.org/conferences/?conf=cost2018 *********************************************** PROCEEDINGS All accepted papers will be included in the workshop proceedings, published as a volume in Proceedings of Machine Learning Research (PMLR). Additionally, based on the success of the workshop, authors of selected papers may be invited to submit extended versions of their manuscripts to a premier journal concerning the topics of this workshop. *********************************************** PROGRAM COMMITTEE Naoki Abe, IBM Roberto Alejo, Tecnológico de Estudios Superiores de Jocotitlán Colin Bellinger, University of Alberta Seppe Vanden Broucke, Katholieke Universiteit Leuven Nitesh Chawla, University of Notre Dame Christopher Drummond, National Research Council Canada Ines Dutra, DCC - FCUP Tom Fawcett, Silicon Valley Data Science Mikel Galar, Universidad Pública de Navarra Nathalie Japkowicz, American University Charles Ling, Western University Dragos Margineantu, Boeing Research and Technology Ronaldo Prati, Universidade Federal do ABC Foster Provost, NYU Stern Jose Hernandez-Orallo, Universitat Politècnica de València Rita Ribeiro, LIAAD / INESC Tec Shengli Victor Sheng, University of Central Arkansas Marina Sokolova, University of Ottawa *********************************************** ORGANIZERS Luis Torgo | Department of Computer Science - University of Porto, LIAAD - INESC TEC Stan Matwin | Faculty of Computer Science, Dalhousie University Gary Weiss | Department of Computer and Information Science, Fordham University Nuno Moniz | Department of Computer Science - University of Porto, LIAAD - INESC TEC Paula Branco | Department of Computer Science - University of Porto, LIAAD - INESC TEC ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From grlmc at grlmc.com Wed Jan 3 20:30:34 2018 From: grlmc at grlmc.com (GRLMC) Date: Wed, 03 Jan 2018 20:30:34 +0100 Subject: BigDat 2018: regular registration January 19 Message-ID: <545102060a010b060255570700025a0353570458030301515007010207020051535551520308535106545354070a03@grlmc_ip-zone_com-6> BigDat 2018: regular registration January 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   Timișoara, Romania   January 22-26, 2018   Organized by: West University of Timișoara Rovira i Virgili University   http://grammars.grlmc.com/BigDat2018/   *******************************************************   --- Regular registration deadline: January 19, 2018 ---   *******************************************************   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:   Bing Liu (University of Illinois, Chicago), Towards Machines that Learn like Humans   Jeffrey Ullman (Stanford University), Data Science: Is it Real?   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: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance   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: From epontell at cs.nmsu.edu Thu Jan 4 00:49:10 2018 From: epontell at cs.nmsu.edu (epontell) Date: Wed, 03 Jan 2018 16:49:10 -0700 Subject: CFP: International Conference on Logic Programming 2018 Message-ID: 34th International Conference on Logic Programming (ICLP 2018) 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 February 5, 2018 Paper submission February 12, 2018 Notification March 20, 2018 Revision submission (TPLP papers) April 5, 2018 Final notifications (TPLP papers) April 15, 2018 Camera-ready copy May 1, 2018 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 Tomi Janhunen             Aalto University 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 Barry O'Sullivan          University College Cork 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 Peter Szeredi             Budapest University of Technology and Economics Mirek Truszczynski        University of Kentucky German Vidal              Universitat Politècnica de València Jan Wielemaker            VU University of Amsterdam Stefan Woltran            TU Wien Roland Yap                National University of Singapore Jia-Huai You              University of Alberta Neng-Fa Zhou              CUNY Brooklyn College and Graduate Center -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From vitordouzi at gmail.com Thu Jan 4 22:48:33 2018 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Thu, 04 Jan 2018 21:48:33 +0000 Subject: Deadline Extension First International Workshop on Narrative Extraction from Texts (Text2Story'18@ECIR'18) Message-ID: *** Apologies for cross-posting *** ++ CALL FOR PAPERS ++ ************************************************************ ****************************** First International Workshop on Narrative Extraction from Texts (Text2Story'18 at ECIR'18) Grenoble, France bit.ly/text2story *********************************************************** ****************************** Proceedings to be submitted to CEUR workshop proceedings (potentially indexed on DBLP). Authors of relevant papers will be invited to submit an extended version of their article to a Special issue hosted by IPM Journal (URL: https://www.journals.elsevier.com/information-processing-and-management/) ++ Important Dates ++ - The new Submission deadline: January 15th, 2018 - Acceptance Notification Date: February 19th, 2018 - Camera-ready copies: March 5th, 2018 - Workshop: March 26th, 2018 ++ Overview ++ The increasing availability of text information in the form of news articles, comments or posts in social networks poses new challenges for those who aim to understand the storyline of an event. Although understanding natural language text has improved over the last couple of years with several research works emerging on the grounds of information extraction and text mining, the problem of constructing consistent narrative structures is yet to be solved. It is not only the algorithms that need to be improved, but also the state-of-the-art that needs to advance in order to provide methods that automatically identify, interpret and relate the different elements of a narrative which will be likely spread from different sources. In this workshop we aim to foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from texts. More specifically, we aim to capture a wide range of multidisciplinary issues related to the text-to-narrative-structure and to its various related tasks. This is a very rich line of research that poses many challenging problems in information retrieval, text mining, information extraction, computational linguistics and automatic production of media content. ++ List of Topics ++ Research works submitted to the workshop should foster the scientific advance on all aspects of storyline generation from texts including but not limited to narrative and content generation, formal representation, and visualization of narratives. This includes the following topics: - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Storyline Visualization - Temporal Aspects of Storylines - Story Evolution and Shift Detection - Causal Relation Extraction and Arrangement - Evaluation Methodologies for Narrative Extraction - Big data applied to Narrative Extraction - Resources and Dataset showcase - Personalization and Recommendation - User Profiling and User Behavior Modeling - Credibility - Fact Checking - Bots Influence ++ Submission Guidelines ++ We invite two kinds of submissions (max 6 pages): - Research papers - Demos and position papers Papers must be submitted electronically in PDF format through Easy Chair ( https://easychair.org/conferences/?conf=text2story). All submissions must be in English. LNCS style ( http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines ) Submissions will be peer-reviewed by at least three members of the programme committee. ++ Workshop Format ++ Participants of accepted papers will be given 15 minutes for short oral presentation. All papers will also be presented in an interactive poster session. ++ Invited Speaker ++ TBA ++ Organizing committee ++ Alípio M. Jorge (INESC TEC; University of Porto, Portugal) Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) Adam Jatowt (Kyoto University, Japan) Sérgio Nunes (INESC TEC; University of Porto, Portugal) ++ Proceedings Chair ++ − Conceição Rocha (LIAAD INESC TEC) − João Paulo Cordeiro (INESC TEC; University of Beira Interior) ++ Web Chair ++ − Arian Pasquali (INESC TEC) ++ Dissemination Chair ++ − Vitor Mangaravite (INESC TEC) ++ Program Committee ++ - Klaus Berberich (Max Planck Institute for Informatics) - Marc Spaniol (Normandie University) - Miguel Martinez-Alvarez (Signal) - Dhruv Gupta (Max Planck Institute for Informatics) - Federico Nanni (University of Mannheim) - Yihong Zhang (Kyoto University) - Udo Kruschwitz (University of Essex) - Conceição Rocha (LIAAD INESC TEC) - João Paulo Cordeiro (University of Beira Interior) - Grace Hui Yang (Georgetown University) - Gerasimos Lampouras (The University of Sheffield) - Denilson Barbosa (University of Alberta) - Sumit Bhatia (IBM) - Yating Zhang (Kyoto University) - Nina Tahmasebi (University of Gothenburg) - Jaime Arguello (University of North Carolina at Chapel Hill) - Akiko Aizawa (NII) - António Horta Branco (University of Lisbon) - Bruno Martins (University of Lisbon) - Gael Dias (University of Caen) - Henrique Lopes Cardoso (University of Porto) - Pablo Gamallo (University of Santiago de Compostela) ++ Contacts ++ Website: bit.ly/text2story For general enquires regarding the workshop, send an email to the organizers at ricardo.campos at ipt.pt, alipio.jorge at inesctec.pt, vima at inescporto.pt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wangzhengzwang at didichuxing.com Fri Jan 5 10:47:26 2018 From: wangzhengzwang at didichuxing.com (=?gb2312?B?zfXV9yi088r9vt28vMr1sr8p?=) Date: Fri, 5 Jan 2018 09:47:26 +0000 Subject: Call for Papers: 1st Int'l Workshop on Big Traffic Data Analytics (BigTraffic 2018) Message-ID: **apologies for cross-posting** BigTraffic 2018: 1st Int'l Workshop on Big Traffic Data Analytics Venue: San Diego Marriott Mission Valley San Diego, CA, United States, May 5, 2018 Conference website https://illidanlab.github.io/big_traffic/2018/index.html Submission link https://easychair.org/conferences/?conf=bigtraffic2018 Submission deadline January 19, 2018 The BigTraffic workshop, in conjunction with 18th SIAM International Conference on Data Mining (SDM 2018), aims to bring the attention of researchers to the various data mining and machine learning methods for traffic studies, and therefore promote AI research. The availability of massive amount of travel data has provided unique opportunities for data-driven intelligent transportation systems. Even though traffic patterns are extensively studied from both the marcoscopic traffic level (e.g., urban traffic patterns) and microscropic traffic level (e.g., behavior of individual drivers/vehicles), the small-scale data used in prior studies has greatly restricted the complexity of models and thus the capability of capturing complicated dynamics in traffic patterns. The availability of big traffic data has enabled a wide spectrum of powerful machine learning and data mining methodologies to be applied to traffic studies. We encourage submissions on a variety of topics, including but not limited to: 1. Novel machine learning algorithms for traffic studies, e.g., new trajectory analysis algorithms, new traffic state estimation algorithms, new data-driven algorithms for map matching. 2. Novel approaches for applying existing machine learning algorithms, e.g., applying bilinear models, sparse learning, metric learning, neural networks and deep learning, for traffic studies. 3. Novel optimization algorithms and analysis for improving traffic data processing, e.g., parallel/distributed optimization techniques and efficient stochastic gradient descent. 4. Industrial practices and implementations of big traffic data modeling, e.g., feature engineering, model ensemble, and lessons from large-scale implementations of intelligent transportation systems. > Submission Guidelines The workshop accepts long paper and short (demo/poster) papers. Short papers submitted to this workshop should be limited to 4 pages while long papers should be limited to 8 pages. All papers should be formatted using the SIAM SODA macro. > Invited Speakers Yan Liu, University of Southern California [More speakers will be confirmed soon] > Program Committee Zhenhui Li, Pennsylvania State University Shiyu Chang, IBM Research Yanjie Fu, Missouri University of Science and Technology Yong Ge, University of Arizona Guannan Liu, Beihang University Jiawei Zhang, Florida State University Zijun Yao, Rutgers University Jianpeng Xu, eBay Inc. Defu Lian, University of Electronic Science and Technology of China > Organizing committee Jiayu Zhou, Michigan State University Zheng Wang, Didi Research Jieping Ye, Didi Research > Contact All questions about submissions should be emailed to jiayuz at msu.edu -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Jan 5 17:59:46 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Fri, 5 Jan 2018 11:59:46 -0500 (EST) Subject: Alonzo Church Award - Call for Nominations Message-ID: <20180105165946.C3E39170109A@cs.miami.edu> The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation Call for Nominations Introduction An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt G??del Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see: http://siglog.org/awards/alonzo-church-award/ The 2017 Alonzo Church Award was given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, see: http://siglog.org/winners-of-the-2017-alonzo-church-award/ Eligibility and Nominations The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2018 award, the cut-off date is January 1, 1993. When a paper has appeared in a conference and then in a journal, the date of the journal publication will determine the cut-off date. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the G??del Prize. (The nominee(s) may have received such awards for other contributions.) While the contribution can consist of conference or journal papers, journal papers will be given a preference. Nominations for the 2018 award are now being solicited. The nominating letter must summarise the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self- nominations are excluded. Nominations must include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the contribution; and a detailed statement (not exceeding four pages) to justify the nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness. Nominations should be submitted to catuscia at lix.polytechnique.fr by March 1, 2018. Presentation of the Award The 2018 award will be presented at ICALP 2018, the International Colloquium on Automata, Languages and Programming. The award will be accompanied by an invited lecture by the award winner, or by one of the award winners. The awardee(s) will receive a certificate and a cash prize of USD 2,000. If there are multiple awardees, this amount will be shared. Award Committee The 2018 Alonzo Church Award Committee consists of the following five members: Thomas Eiter, Javier Esparza, Catuscia Palamidessi (chair), Gordon Plotkin, and Natarajan Shankar. From jim at cs.sfu.ca Fri Jan 5 23:58:44 2018 From: jim at cs.sfu.ca (James Delgrande) Date: Fri, 5 Jan 2018 14:58:44 -0800 (PST) Subject: PhD and MSc Positions at Simon Fraser University Message-ID: <410176108.1654612.1515193124285.JavaMail.zimbra@sfu.ca> Graduate Student Research Positions in Knowledge Representation and Reasoning and Computational Logic School of Computing Science Simon Fraser University British Columbia, Canada Applications are invited for several graduate student positions in Knowledge Representation and Reasoning, specifically, and more broadly in Computational Logic in the School of Computing Science, Simon Fraser University. The successful applicants will work with members of the Computational Logic Lab, and conduct research in one or more of the areas listed below. The Computational Logic Lab is a research group in the School of Computing Science. Broadly, the field of computational logic consists of all uses of logic in computer science. Members of the lab, and their areas of interest are as follows: Andrei Bulatov: Constraint satisfaction, complexity of computation http://www.cs.sfu.ca/~abulatov/ James Delgrande: Belief revision, reasoning about action and change, nonmonotonic reasoning, reasoning with preferences http://www.cs.sfu.ca/~jim David Mitchell: Constraint satisfaction, propositional satisfiability testing, theorem proving, complexity. http://www.cs.sfu.ca/~mitchell Oliver Schulte: Machine learning, computational decision theory. http://www.cs.sfu.ca/~oschulte Eugenia Ternovska: Logical reasoning about dynamic systems, constraint programming, applications of descriptive complexity to declarative programming http://www.cs.sfu.ca/~ter Ph.D. students will receive funding for at least four years, while M.Sc. students will receive funding for at least 20 months. The normal starting date is at the beginning of September, with January also a possibility. Students interested in beginning in September 2018 should apply no later than Feb 1, 2018, ideally sooner. The School of Computing Science has over 40 research faculty members, and offers an expanding graduate program with over 200 M.Sc. and Ph.D. students. Simon Fraser University is consistently the top ranked comprehensive university in Canada in MacLeans Magazine's rankings. The university is situated on top of Burnaby Mountain just east of Vancouver and offers views of Burrard Inlet, the North Shore Mountains, the Fraser River, and Vancouver Harbour. Vancouver's cultural and intellectual pursuits, leisure opportunities and favourable climate make it one of the most desirable places in the world to live and work. Graduate student applications should be submitted via the School's online application system. Prospective applicants should also directly contact a faculty member with whom they may be interested in working. For more information about the School of Computing Science, see www.cs.sfu.ca. From el-ghazali.talbi at univ-lille1.fr Sun Jan 7 11:14:44 2018 From: el-ghazali.talbi at univ-lille1.fr (El-ghazali Talbi) Date: Sun, 7 Jan 2018 11:14:44 +0100 Subject: CFP META'18 @Marrakech Message-ID: <1aa066a7-f9bd-d13e-1b71-f603b9b594bc@univ-lille1.fr> Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. **********************************************************************                           META'2018 International Conference on Metaheuristics and Nature Inspired Computing                          27-31 Oct 2018                        Marrakech, Morocco http://meta2018.sciencesconf.org/ ********************************************************************** META is one of the main event focusing on the progress of the area of metaheuristics and their applications. As in previous editions, META’2018 will provide an opportunity to the international research community in metaheuristics to discuss recent research results, to develop new ideas and collaborations, and to meet old friends and make new ones in a friendly and relaxed atmosphere. All selected papers will be published in the conference proceedings. Following the tradition, selected long papers will be published in a postponed Springer book as in META'2014 and META'2016. At least, 2 special special issues in ISI and SCOPUS journals are also confirmed: - Special issue in "Optimization and learning" in Wiley Journal ITOR - International Journal on Operational Research (deadline for submission: 31 May 2018) - Special issue in "Metaheuristics for 4.0 industry" in  Elsevier Journal Swarm-and-Evolutionary-Computation (deadline for submission: 31 May 2018) META'2018 welcomes presentations that cover any aspects of metaheuristic research such as new algorithmic developments, high-impact applications, new research challenges, theoretical developments, implementation issues, and in-depth experimental studies. META'2018 strives for a high-quality program that will be completed by a number of invited talks, tutorials, workshops and special sessions. The scope of the META’2018 conference includes, but is not limited to:     * Local search, tabu search, simulated annealing, VNS, ILS, …     * Evolutionary algorithms, swarm optimization, scatter search, …     * Emergent nature inspired algorithms: quantum computing, artificial immune systems, bee colony, DNA computing, …     * Parallel algorithms     * Hybrid methods with machine learning, game theory, mathematical programming, constraint programming, co-evolutionary, …     * Application to: logistics and transportation, networks, scheduling, data mining, engineering design, energy, cloud, bio-medical, …     * Theory of metaheuristics, landscape analysis, convergence, problem difficulty, very large neighbourhoods, …     * Multi-objective optimization, bi-level optimization     * Dynamic optimization, problems with uncertainty, …     * Parameter tuning (static, dynamic, adaptive, self-adaptive)     * Hyper-heuristics, cross-domain metaheuristics     * Software frameworks for metaheuristics and nature inspired computing Submission of papers: ____________________ - Submission of papers via the website     S1) Short papers: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages.     S2) Long papers: Original research contributions of a maximum of 10 pages.     S3) Journal papers: High-quality manuscripts that have recently, within the last year, been submitted or accepted for journal publication. For this special case, the submission should have the same title that the accepted work, the abstract AND the complete reference of the work. - Proceedings of the conference will be provided. Selected papers of type S1 and S2 will be published in a Springer book and international journals (ISI journals). - Predefined styles are available on the website http://meta2018.sciencesconf.org/ - Proposals for invited sessions, workshops and tutorials: Deadline 15th March 2018. contact meta2018 at sciencesconf.org Important dates _______________ - Submission deadline: April 13, 2018 - Notification of acceptance: May 15, 2018 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Mon Jan 8 13:05:11 2018 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 8 Jan 2018 13:05:11 +0100 Subject: [AAMAS18] - Call for Exhibition Message-ID: <4552262853104719413531@Galvatron> ****************************************** Call for Exhibition ****************************************** Seventeenth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2018 (AAMAS-18) July 10-15 Stockholm, Sweden. http://celweb.vuse.vanderbilt.edu/aamas18/ AAMAS is a premier artificial intelligence conference in the world, which brings together researchers and practitioners in the areas of autonomous agents and multi-agent systems including embodied agents and robotics. AAMAS consistently attracts about 500-700 participants every year. AAMAS-18 has the twin aim of offering a high-quality academic conference and connecting researchers to industry through events such as exhibitions, demonstrations and the Industrial Applications track. Thus, AAMAS provides a targeted opportunity to reach prominent and influential AI researchers. In parallel with the conference, there will be exhibitions on the days of main conference, where products such as books, devices, services and software can be presented. We call upon potential exhibitors to connect with AAMAS. AAMAS-18 will provide exhibitors with: - Exhibit space, in a special and easily accessible area of the conference venue (9 squm); - Materials such as a table, chairs and poster board; - Other resources (on demand) such as an internet connection and electric power. The fee for exhibiting at AAMAS this year will be USD 1,200 (approx. 1000 EURO) which includes the above arrangements and the registration fee for one person excluding banquet. Potential exhibitors are encouraged to contact the exhibit chair for more details and any questions. Submission requirements: Companies and publishers wishing to exhibit products or services of interest to the AAMAS-18 attendees are asked to submit a letter or e-mail of intent to exhibit with the following information: - A short description of the company - A description of the products or services to be exhibited - The minimum amount of exhibit space needed (e.g., the number of tables and size needed) - Any special requirements (e.g., internet connection, electric power plugs) All requests should be submitted by electronic mail to the Exhibits Chair (see below) no later than April 15, 2018. Key Dates Exhibits Registration Deadline: April 15, 2018 AAMAS-18 Exhibits: July 11-13, 2018 Letters of intent and inquiries can be sent by letter or email to the exhibits chair: Contact Roie Zivan AAMAS 2018 Exhibits Chair, Ben Gurion University of the Negev, Israel E-mail : zivanr at bgu.ac.il Fax +972-8-6472958 Phone +972-8-6472953 From jpg at ruc.dk Mon Jan 8 17:20:11 2018 From: jpg at ruc.dk (John Patrick Gallagher) Date: Mon, 8 Jan 2018 16:20:11 +0000 Subject: FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018) Message-ID: <6C97AAB7-EA62-4C19-A50A-5525B85F85DE@ruc.dk> FINAL CALL FOR PAPERS Sixth International Workshop on Verification and Program Transformation ==> April 20th 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 The post-proceedings will be published in the Electronic Proceedings in Theoretical Computer (EPTCS) series (http://about.eptcs.org/), as was done for previous editions of VPT. If the workshop attracts 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 reyhanehpahlevan at ce.sharif.edu Mon Jan 8 19:53:16 2018 From: reyhanehpahlevan at ce.sharif.edu (reyhanehpahlevan) Date: Mon, 08 Jan 2018 22:23:16 +0330 Subject: RoboCup 2018 Virtual Robot Competition - Final call for Participation Message-ID: <9032d23dfd79ddb1d78fea23a4564f01@ce.sharif.edu> Dear All, Please remember that the deadline for sending the intention of participation is *** January 15, 2018 ***. See all details below. We hope to see you all in Canada! Best, Reyhaneh ===== (Please apologize for multiple postings.) ********************************************************************************************** Call for Participation RoboCup 2018 Virtual Robot Competition JUNE 16 - JUNE 22, 2018 (Montreal, Canada) http://www.robocup2018.org/ [1] We would like to invite all robot rescue teams to participate in the 2018 RoboCup Rescue Simulation League World Championship. The Virtual Robot Competition has been largely renewed since 2016, both in terms of the simulation environment, with the transition from an Unreal-based environment to a ROS/Gazebo based environment, and in terms of challenges and rules. If you are interested to participate please take the time to pre-register your team for the RoboCup 2018 Virtual Robot Competition as soon as possible, so that we can inform you about the latest developments. (1) RoboCup Rescue Simulation League and Virtual Robot Competition --------------------- The RoboCup Rescue Simulation League is a socially relevant part of RoboCup event. Its main purpose is to provide emergency decision support by integration of disaster information, prediction, planning, and human interface. A generic urban disaster simulation environment is constructed on network computers. Heterogeneous intelligent agents such as firefighters, commanders, victims, volunteers, etc. conduct search and rescue activities in this virtual disaster world. Agents can sense their environment and make decisions on the basis of the perceived data. Mission-critical human interfaces support disaster managers, disaster relief brigades, residents, and volunteers to decide their actions to minimize the disaster damage. Addressing this problem involves advanced and interdisciplinary research themes. As AI/robotics research, for example, behavior strategy (e.g., multi-agent planning, real-time/anytime planning, heterogeneity of agents, robust planning, mixed-initiative planning) is a challenging problem. For disaster researchers, RoboCup Rescue works as a standard basis in order to develop practical comprehensive simulators adding necessary disaster modules. Since 2016, the Virtual Robot Competition is based on ROS/Gazebo, an advanced robot simulator in which users can simulate multiple agents whose capabilities closely mirror those of real robots. ROS/Gazebo currently features several ground and air robots, as well as a wide range of sensors and actuators. Moreover, exploiting ROS, users can easily develop their robot systems integrating standard modules. For more information: - RoboCup Rescue Simulation League: http://wiki.robocup.org/Rescue_Simulation_League [2] - Tutorials and links to repositories for the simulation environment: https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ [3] - A demo: https://github.com/m-shimizu/RoboCup2017RVRL_Demo [4] - Simulated worlds from previous competitions: https://github.com/m-shimizu/RoboCup2016RVRL_FieldModels [5] - Document describing the transition to the new simulator: http://robocup.oss-cn-beijing.aliyuncs.com/symposium%2FRoboCup_Symposium_2015_submission_14.pdf [6] (2) Intention of participation ------------------- If you are interested to participate in the competition, please send, before January 15, 2018, an email to reyhanehpahlevan at ce.sharif.edu with as attachment the following form filled in: http://ce.sharif.edu/~reyhanehpahlevan/Robocup/IntentVirtual2018.txt [7] (3) Qualification material ------------------------- Besides sending the intention of participation, please prepare before March 15, 2018, a Team Description Paper describing the most innovative contributions or scientific results your team is intended to provide. The TDP is limited to 8 pages and must be formatted according to the LNCS format: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines [8] The Team Description Paper is an overview of the methodologies you use or intend to use to control your robots inside the Virtual Robot Competition. If applicable, include a reference to your latest publications. The qualification material should be placed on a dedicated web page on the team's home page. Please include the link to the qualification material on the intention of participation information. (4) Deadlines ----------- - Deadline for intention of participation to Virtual Robot Competition: January 15, 2018 - Deadline for qualification material Virtual Robot Competition: March 15, 2018 - Team qualification notification: March 30, 2018 - Early registration period: will be announced -Team setup: June 16-17, 2018 -competition: June 16-22, 2018 -RoboCup symposium: June 22, 2018 (5) Rules -------- The rules for the RoboCup 2018 Virtual Robot Competition will be published in due time at: http://wiki.robocup.org/Rescue_Simulation_League#Rules [9] With respect to rules adopted in 2017, we expect to list allowed sensors and platforms and, possibly, to include a ROS node for realistically simulating communication between robots. We hope to see you all in Canada! With kind regards, Masaru Shimizu, Francesco Amigoni, Fatemeh Pahlevan Agahababa , Sanaz Taleghani and Amirreza kabiri(members of the 2018 RoboCup Rescue Simulation Virtual Robot Competition Technical and Organization Committees) ===== --------------------------------------------------------- Fatemeh Pahlevan Aghababa, Intelligence System Laboratory, Computer engineering department Sharif University of Technology Azadi Ave, Tehran, Iran PO Box: 11365-11155 Voice: +98 912 516-9683 Email: reyhanehpahlevan at ce.sharif.edu Web: http://ce.sharif.edu/~reyhanehpahlevan/ [10] --------------------------------------------------------- Links: ------ [1] http://www.robocup2018.org/ [2] http://wiki.robocup.org/Rescue_Simulation_League [3] https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ [4] https://github.com/m-shimizu/RoboCup2017RVRL_Demo [5] https://github.com/m-shimizu/RoboCup2016RVRL_FieldModels [6] http://robocup.oss-cn-beijing.aliyuncs.com/symposium%2FRoboCup_Symposium_2015_submission_14.pdf [7] http://ce.sharif.edu/~reyhanehpahlevan/Robocup/IntentVirtual2018.txt [8] http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines [9] http://wiki.robocup.org/Rescue_Simulation_League#Rules [10] http://ce.sharif.edu/~reyhanehpahlevan/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Tue Jan 9 08:55:41 2018 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue, 9 Jan 2018 08:55:41 +0100 (CET) Subject: CICM 2018: Call for Papers, Workshops & Tutorials Message-ID: <20180109075541.2CF11208E658@mbp-autexier.informatik.uni-bremen.de> Call for Papers formal papers - informal papers - doctoral programme - workshops - tutorials 11th Conference on Intelligent Computer Mathematics - CICM 2018 - August 13-17, 2018 RISC, Hagenberg, Austria http://www.cicm-conference.org/2018 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2018 invites submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries CICM appreciates the varying nature of the relevant research in this area and invites submissions of very different forms: 1) Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (up to 5 pages) present digital artifacts 2) Informal submissions will be reviewed with a positive bias and selected for presentation based on their relevance for the community. * informal papers may present work-in-progress, project announcements, position statements, etc. * posters and system demos will be presented in parallel in special sessions 3) The doctoral programme provides PhD students a forum to present early results receive constructive feedback and mentoring. 4) Workshops allow smaller groups to self-organize focused discussions. 5) Tutorials allow presenting a particular system in depth. * Important Dates * Formal submissions - Abstract deadline: April 15 - Full paper deadline: April 22 - Reviews sent to authors: May 21 - Rebuttals due: May 27 - Notification of acceptance: June 4 - Camera-ready copies due: June 8 - Conference: August 13-17 Informal submissions and doctoral programme Two separate submission rounds are offered so that some authors can make early travel plans while other authors submit spontaneously. - First round submission deadline: April 22 - Second round submission deadline: July 31 Workshop and Tutorial proposals - Submission deadline: February 26 All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2018 From riccardo.zese at unife.it Tue Jan 9 09:31:20 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Tue, 9 Jan 2018 09:31:20 +0100 Subject: [CFP] ILP 2018 - Conference and Journal Track Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- ILP 2018 Joint Call for Papers The 28th International Conference on Inductive Logic Programming September 2nd - 4th, Ferrara, Italy http://ilp2018.unife.it/ ---------------------------------------------------------------------- The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. ILP 2018 is also encouraging submissions on (combination with) other areas such as cognitive technologies, neural networks and deep relational learning, knowledge acquisition from big data and the cloud, as well as contributions on the application of any of these solutions to real world problems. ILP 2018 will feature two tracks: a conference track and a journal track. CONFERENCE TRACK -------------- 1. Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Accepted long paper submissions will be split in regular papers, accepted for appearing in Springer LNAI conference proceedings, and up-and-coming papers, accepted for appearing in CEUR proceedings, depending on the maturity of the submitted work. Regular papers will be assigned a long time slot for presentation, up-and-coming papers will be assigned a shorter time slot for presentation. 2. Short papers describing original work in progress presenting preliminary results, brief accounts of original ideas, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. Accepted short papers will be assigned a reduced time slot for presentation and will be published on CEUR proceedings. 3. Work in progress abstracts describing ideas and proposals that the author(s) would like to present at the conference. Submissions will be accepted/rejected on the grounds of relevance. Accepted abstracts will be assigned a reduced time slot and will be published on the conference website but will not appear in the conference proceedings. 4. Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/ PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. These will be accepted/rejected on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation and will not appear in the conference proceedings, however a link to the original work will be inserted in CEUR. Submissions of long papers and short papers (categories 1 and 2) must not have been published or be under review for a journal or for another conference with published proceedings. Submissions must be in Springer LNAI format, according to the Springer LNCS author instructions downloadable at http://www.springer.com/comp/lncs/Authors.html Already published papers should be submitted in their original format and the authors should indicate the original publication venue. More information about submission process will be published soon. Publication: Regular papers will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. Regular papers must not exceed 15 pages including references. Up-and-coming and short papers will be included in the Late Breaking Papers proceedings, to be published by Sun SITE Central Europe CEUR Workshop proceedings. Up-and-coming papers must not exceed 15 pages including references, while short papers must not exceed 7 pages including references. Work in progress abstracts will be published on the conference website but will not be included in the conference proceedings. Given their nature of preliminary proposals, they must be of 1 to 6 pages including references. A link to already published papers will be included in the Late Breaking Papers CEUR proceedings. At least one of the authors of accepted papers/abstracts must register for the conference, and present his work. Important Dates: * Abstract registration: 16th May 2018 * All papers submission: 23rd May 2018 * All papers notification: 3rd July 2018 * Work in progress abstracts and already published papers submission: 22nd July 2018 * Work in progress abstracts and already published papers notification: 27th July 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/conference-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: 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 cutoff date. The last cutoff date is: * 5th February 2018 The deadline on each of these dates is midnight, Central European Time. Papers rejected at this track are welcome to the conference track. Additional information about the submission guidelines is available at http://ilp2018.unife.it/call-for-papers/journal-track. 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 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 From Thomas.Agotnes at uib.no Tue Jan 9 12:48:37 2018 From: Thomas.Agotnes at uib.no (=?utf-8?Q?Thomas_=C3=85gotnes?=) Date: Tue, 9 Jan 2018 19:48:37 +0800 Subject: =?utf-8?Q?=5BExtended_deadline=5D=C2=A0CLAR_2018_Second_Chinese_C?= =?utf-8?Q?onference_on_Logic_and_Argumentation_-_Final_CFP_?= Message-ID: <9E0F5063-2A65-44D0-8A1E-4EC2E39195CB@uib.no> The interplay between logic and argumentation has a long history, from ancient Aristotle’s logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China. CLAR 2018 takes place at Zhejiang University in Hangzhou, China, 16-17 June 2018. Proceedings will be published in Logic in Asia (Springer, Studia Logica Library). We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). Examples of research questions of interest are (not exclusively!): What are the roles of logic and/or argumentation in social networks? How to model legal reasoning, medical reasoning, etc. in logic and/or argumentation? How can we formalize reasoning in game theoretic situations? What are the logical principles, models and patterns of daily life argumentation? What are the logical theories, methods and techniques that can be of interest to researchers in formal argumentation? How can existing logics be represented within existing argumentation frameworks? What are the trade-offs between expressive power and computational complexity in logic and argumentation? How can we model the strength of arguments? How can we further develop and apply formal argumentation in AI? How to identify and formalize argumentation in natural language texts? We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work. Accepted full papers will be published in a volume of Springer's Logic in Asia series (Studia Logica Library). Accepted submissions of both types will be invited for presentation at the conference. Authors of accepted submissions will also be invited to submit extended versions to a special issue of Journal of Applied Logic, after the conference. More information at the website: http://www.xixilogic.org/events/clar2018 Important Dates: Paper submission deadline: 7 February 2018 (Extended!) Notification of acceptance: 5 March 2018 Camera-ready papers: 12 March 2018 Conference dates: 16-17 June 2018 Submissions: https://easychair.org/conferences/?conf=clar2018 Organizers: Thomas Ågotnes (thomas.agotnes at infomedia.uib.no) Beishui Liao (baiseliao at zju.edu.cn) Yì N. Wáng (ynw at xixilogic.org) From J.H.Davenport at bath.ac.uk Tue Jan 9 14:07:07 2018 From: J.H.Davenport at bath.ac.uk (James Davenport) Date: Tue, 9 Jan 2018 13:07:07 +0000 Subject: Call for Sessions, ICMS 2018 Message-ID: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE University of Notre Dame, 24--27 July 2018 http://icms-conference.org/2018/ CALL FOR SESSIONS =============================================================================== The 6th International Congress on Mathematical Software will be held from July 24 to July 27, 2018 at the University of Notre Dame. The General Chair is James H. Davenport and the Local Chairs are Jonathan Hauenstein and Andrew Sommese. The program consists of several topical sessions. Each session will provide an overview of the challenges, achievements and progress in a subfield of mathematical software research, development and use. A list of possible topics is given at the bottom. The program committee will consist of the session organizers. At this time we solicit session proposals. How to propose a session? Prepare a session proposal with the following contents. title of the session name(s) of the organizer(s), with contact addresses and emails aim and scope of the session (at most 150 words) Submit it by email to one of the Program Chairs: Manuel Kauers George Labahn Josef Urban at latest by Jan 31, 2018. The decision on the proposal will be made by the program chairs, the general chair, and the advisory board within mid-February 2018. How to organize a session? Maintain a session web page. Send a call for abstracts to the potential speakers in the topic area of the session. Review the submitted abstracts and make decision on their acceptance, preferrably on a rolling basis. Complete the process by April 15, 2018. During the meeting, chair your session. Format of a session A session will consist of one or more time slots. A time slot will consist of about 3-4 talks. We encourage that each session begins with one general overview talk (may be given by a session organizer). This format is meant only as a rough frame; the organization of a session can be done in a quite free fashion (e.g., concerning the duration of the individual contributions). "Talks" may also include software presentations and demos. Possible topics for sessions These are not exclusive. You can propose any mathematical topic. These are not required titles of sessions. You can propose any title. These are provided as initial hint for topics and titles. logic theorem proving logic minimization quantifier elimination .... number theory diophantine equations algebraic numbers theory analytic number theory elliptic curves .... combinatorics partition graph matroid finite summation, difference equations arithmetic combinatorics algebraic combinatorics analytic combinatorics topological combinatorics ... algebra group theory linear algebra polynomial algebra differential algebra homological algebra non-commutative algebra tensor algebra .... analysis numerical analysis functional analysis differential/integral equations special functions .... geometry computational geometry polyhedral geometry algebraic geometry differential geometry algebraic topology differential topology ... inter-disciplinary statistics optimization cryptography coding scientific computation engineering computation mathematical document processing education ... mathematical problem solving platform mathematical theory exploration mathematical knowledge management user interface programming language kernel design ... Sent from Mail for Windows 10 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Jan 9 15:01:54 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 9 Jan 2018 09:01:54 -0500 (EST) Subject: IJCAR 2018 - Call for Papers Message-ID: <20180109140154.88CC51701037@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. IJCAR'18 Special Issue of the Journal of Automated Reasoning: ------------------------------------------------------------- The authors of a selection of the best IJCAR'18 papers will be invited to produce an extended version of their paper for a special issue of the Journal of Automated Reasoning. 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, FaMA FUniversidad 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, Nazarbayev University, Astana 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, Universita 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 grlmc at grlmc.com Wed Jan 10 05:28:17 2018 From: grlmc at grlmc.com (GRLMC) Date: Wed, 10 Jan 2018 05:28:17 +0100 Subject: HighPer 2018: early registration January 20 Message-ID: <545102060a010b06025f570a06025a040705515953050f54060508505357575152550401030e040a55500257020658@grlmc_ip-zone_com-6> HighPer 2018: early registration January 20*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: January 20, 2018 ---   *****************************************************************************   SCOPE:   HighPer 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 high performance computing, 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 subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 24 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, 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, HighPer 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:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS:   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science   PROFESSORS AND COURSES: (to be completed)   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] High Performance Computing on Parallel Computers and GPUs with Julia   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering   Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing   Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Studying Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics   Frank Mueller (North Carolina State University), [advanced] Embracing the Exascale Challenge: From Accelerators over Scalable Program Tracing to Resilience   J. (Ram) Ramanujam (Louisiana State University), tba   Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks   Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming   Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing   El-Ghazali Talbi (University of Lille 1), [introductory] Parallel Metaheuristics for Optimization and Machine Learning   Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   Jeffrey S. Vetter (Oak Ridge National Laboratory), [intermediate] Exploiting Deep Memory Hierarchies   Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture   David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA   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 April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing 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 April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   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:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From flm at informatik.uni-kiel.de Wed Jan 10 11:11:27 2018 From: flm at informatik.uni-kiel.de (Florin Manea) Date: Wed, 10 Jan 2018 11:11:27 +0100 Subject: CiE 2018: Final Call for Papers Message-ID: <7adbb205b458db6d0ddb6be3111c301e@informatik.uni-kiel.de> Apologies for multiple postings. ========================= FINAL CALL FOR PAPERS: ========================= CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de http://www.computability.org.uk IMPORTANT DATES: ============================ *** Deadline for 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 a 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 organisers at the email address cie2018 at email.uni-kiel.de SPECIAL SESSIONS (and organisers): ================================== Approximation and Optimisation — Organisers: Leah Epstein (Haifa), Klaus Jansen (Kiel) Bioinformatics and Bio-inspired Computing — Organisers: Andre Franke (Kiel), Victor Mitrana (Bucharest) Computing with Imperfect Information — Organisers: Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison) Continuous Computation — Organisers: Ulrich Berger (Swansea), Dieter Spreen (Siegen) History and Philosophy of Computing — Organisers: Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex) SAT-Solving — Organisers: Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds) The speakers of the special sessions will be announced soon on the website of the conference. PROGRAMME COMMITTEE: ==================== 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, co-chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca Muscholl (Bordeaux), Dirk Nowotka (Kiel, co-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). CONTRIBUTED PAPERS: =================== 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. HaPoC Grants | Commission for the History and Philosophy of Computing ===================================================================== The HaPoc Council is happy to announce the availability of two HAPOC travel grants of 250USD each to support participation to the conference. To be eligible for a grant, a paper or informal presentation in the area of history and/or philosophy of computing accepted at CiE 2018 is required. In order to apply for a grant, please send the following details to info at hapoc.org: cv, the paper or informal presentation submitted, accompanied by the acceptance email, a detailed budget indicating any other funding possibilities (if available). Association CiE: http://www.computability.org.uk CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ From tobo at dtu.dk Thu Jan 11 09:33:53 2018 From: tobo at dtu.dk (Thomas Bolander) Date: Thu, 11 Jan 2018 08:33:53 +0000 Subject: CFP: Special issue of AIJ on Epistemic Planning Message-ID: <46431F5E-F123-4D1D-B030-27920C5598F2@dtu.dk> Call for papers: Special Issue of the Artificial Intelligence Journal (AIJ) on Epistemic Planning Epistemic planning is the enrichment of automated planning with epistemic notions such as knowledge and belief. In general, single-agent epistemic planning considers the following problem: given an agent’s current state of knowledge, and a desirable state of knowledge, how does it get from one to the other? In multi-agent epistemic planning, the current and desirable states of knowledge might also refer to the states of knowledge of other agents, including higher-order knowledge like ensuring that agent A doesn’t get to know that agent B knows P. Single-agent epistemic planning is of central importance in settings where agents need to be able to reason about their own lack of knowledge and, e.g., make plans of how to achieve the required knowledge. Multi-agent epistemic planning is essential for coordination and collaboration among multiple agents, where success can only be expected if agents are able to reason about the knowledge, uncertainty and capabilities of other agents. It is a relatively recent area of research involving combinations of several sub-areas of artificial intelligence, such as automated planning, decision-theoretic planning, epistemic logic, strategic reasoning and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine state of the art from several such sub-areas of artificial intelligence that have so far been considered mostly in separation. Epistemic planning has applications in game playing, human-robot interaction, social robotics, etc. For this special issue of AIJ, we invite papers on theory, applications, and implemented systems of epistemic planning. -- How to submit -- Please submit your article using the Elsevier Editorial System (http://ees.elsevier.com/artint). To ensure that all manuscripts are correctly identified as submissions for the special issue, select Special Issue - Epistemic Planning when you reach the "Article Type" step in the submission process. Manuscripts can be submitted until the deadline and the reviewing process of each manuscript will start immediately after submission. Preliminary versions of the papers will be published continuously (as soon as accepted) on the special issue website. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere. -- Important dates -- - Submission deadline: 1 October 2018 - Notification: 1 February 2019 -- Guest editors -- - Vaishak Belle, University of Edinburgh, Scotland, UK - Thomas Bolander, Technical University of Denmark, Denmark - Andreas Herzig, CNRS, IRIT Toulouse, France - Bernhard Nebel, Albert-Ludwigs-Universität Freiburg, Germany From sdm.publicity at gmail.com Sun Jan 14 02:46:49 2018 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Sat, 13 Jan 2018 20:46:49 -0500 Subject: SIAM SDM 2018: Accepted papers, tutorials and workshops 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/ ------------------- ACCEPTED PAPERS --------------------- A list of accepted papers is now published at http://www.siam.org/meetings/ sdm18/sdm18_accepted.pdf ---------------------- WORKSHOPS ------------------------ The SDM ’18 organizing committee kindly invites you to submit papers to the workshops held in conjunction with the conference: http://www.siam.org/meetings/sdm18/workshops.php This year SDM will host 6 workshops. Most workshops have paper submission deadlines in mid-January. Additional information on the individual workshops and their submission dates can be found at the following links. Workshop on Big Traffic Data Analytics https://illidanlab.github.io/big_traffic/2018/index.html Organizers: Jiayu Zhou, Zheng Wang, Jieping Ye Workshop on Artificial Intelligence in Insurance https://sda-amfam.github.io/sdm-workshop-2018.html Organizers: Glen Fung, Edward W. (Jed) Frees, Luisa F. Polanía Workshop on Machine Learning Methods for Recommender Systems https://doogkong.github.io/2018/index.html Organizers: Deguang Kong, Xia Ning, George Karypis Workshop on Cost-Sensitive Learning http://cost.dcc.fc.up.pt/ Organizers: Luis Torgo, Stan Matwin, Gary Weis, Nuno Moniz, Paula Branco Workshop on Data Mining for Geophysics and Geology http://dm4og.inesctec.pt/dmg2 Organizers: Youzuo Lin, Weichang Li, Alipio Jorge, Rui L. Lopes, German Larrazabal, Pablo Guillen Workshop on Data Mining for Medicine and Healthcare https://sites.google.com/site/feiwang03/dmmh18 Organizers: Fei Wang, Xi Zhang, Lifang He ---------------------- TUTORIALS ------------------------ The conference features the following tutorials on several special topics. For more details, please visit the conference website: http://www.siam.org/meetings/sdm18/tutorials.php A Critical Review of Online Social Data: Biases, Methodological: Pitfalls, and Ethical Boundaries Authors: Alexandra Olteanu (IBM Research), Emre Kıcıman (Microsoft Research), Carlos Castillo (Universitat Pompeu Fabra) Data Mining Critical Infrastructure Systems - Models and Tools Authors: Liangzhe Chen (Virginia Tech), B. Aditya Prakash (Virginia Tech) Knowledge Discovery from Temporal Social Networks Authors: Fabíola S. F. Pereira (Federal University of Uberlandia, Brazil), João Gama (University of Porto, Portugal) Problems with Partially Observed (Incomplete) Networks: Biases, Skewed Results, and Solutions Authors: Tina Eliassi-Rad (Northeastern University), Sucheta Soundarajan (Syracuse University), Sahely Bhadra (IIT Palakkad) The Canonical Polyadic Tensor: Decomposition and Variants for Mining Multi-Dimensional Data Authors: Tamara G. Kolda and Jed A. Duersch, Sandia National Laboratories FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM18 https://www.facebook.com/events/324672047986484/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Sun Jan 14 02:57:56 2018 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Sat, 13 Jan 2018 20:57:56 -0500 Subject: SIAM SDM 2018 - Call for Doctoral Student Forum Participants and Student Travel Scholarship Applications 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 Doctoral Student Forum Participants and Student Travel Scholarship Applications The SDM Doctoral Forum is a unique opportunity for PhD students in data science (including data mining, machine learning, databases, and pattern recognition) to present their doctoral dissertation in poster format and get feedback from SDM participants and senior leaders in the field. The SDM doctoral forum will be held in a plenary poster session alongside posters from the main conference, allowing for an interesting cross fertilization of ideas. Past participants have benefited significantly from this plenary session. Travel funding is also exclusively set aside for SDM doctoral forum participants for both US-based and international applicants. With the generous support of SIAM, industry sponsors, and the NSF, the SIAM Conference on Data Mining (SDM 2018) is pleased to announce the availability of a limited number of student travel scholarships to cover the registration and travel expenses for students participating the SDM 2018 Doctoral Forum. Application deadline: Monday, February 12th, 2018 Notification date: Monday, February 26th, 2018 For travel scholarships, local students who live within 30 miles of the conference venue can receive only registration expenses. Application instructions can be found at http://cseweb.ucsd.edu/~jmcauley/SDM18Scholarship/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From unilog2018 at vichy-universite.com Sun Jan 14 10:26:09 2018 From: unilog2018 at vichy-universite.com (UNILOG2018) Date: Sun, 14 Jan 2018 09:26:09 +0000 Subject: Alfred Tarski Logic Prize In-Reply-To: References: <155716c258d779d9d5316c32fb0ccc40@jyb-logic.org> <30b84a8184dbf0206ad953982b721cff@jyb-logic.org> <2c4cb5c70bcc3e7d049c1d6d6ddb141b@jyb-logic.org>,,,,,, Message-ID: Today, January 14, is the anniversary of Alfred Tarski, one of the most important logicians of all time. He was born January 14, 1901 in Warsaw. We celebrate this day by launching the Alfred Tarski Logic Prize http://www.uni-log.org/alfred-tarski-prize-of-logic This prize is part of the project A PRIZE OF LOGIC IN EVERY COUNTRY which I started by creating the Newton da Costa Logic Prize in Brazil in 2015 These prizes aim at promoting logic in each country in particular by developing interaction between all people interested in logic http://www.uni-log.org/logic-prize-world Winners of these logic prizes will present their works at UNILOG'2018, the 6th World Congress on Universal Logic, in Vichy next June and their papers will be published in the journal Logica Universalis If you are interested to create a logic prize in your country contact the Logica Universalis Association (LUA) http://www.logica-universalis.org/ Jean-Yves Beziau University of Brazil, Rio de Janeiro and Ecole Normale Supérieure, Paris -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From blllne2 at unife.it Mon Jan 15 17:13:05 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Mon, 15 Jan 2018 17:13:05 +0100 Subject: CFP: PLP 2018 - Probabilistic Logic Programming Workshop 2018 Message-ID: PLP-2018: The Fifth Workshop on Probabilistic Logic Programming ----------------------------------------------------------------------------------------- A workshop of the 28th International Conference on Inductive Logic Programming 1 September 2018 Ferrara, Italy http://stoics.org.uk/plp/plp2018/ Overview ------------ Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * 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 * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----------- The fifth edition of PLP is held at the ILP conference in Ferrara. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----------------- Submissions will be managed via EasyChair ( https://easychair.org/conferences/?conf=plp2018). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication --------------- Informal proceedings will be made available electronically to attendees. They will also be stored permanently in the form of CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Special Issue of IJAR ----------------------------- Like for past additions of PLP, we plan to invite all authors to submit a revised version of their paper for a Probabilistic Logic Programming special issue of the IJAR journal. Deadlines ------------- Papers due: 11th June 2018 Notification to authors: 11th July 2018 Camera ready version due: 27th July 2018 Workshop data: 1st September 2018 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ------------------------ To be announced Program Chairs --------------------- Elena Bellodi (Department of Engineering, University of Ferrara, Italy) Tom Schrijvers (Department of Computer Science, KU Leuven, Belgium) Programme Committee ------------------------------- Krysia Broda (Imperial College, UK) Henning Christiansen (Roskilde University, Denmark) Fabio Cozman (University of São Paulo, Brazil) Luke Dickens (University College London, UK) Sriraam Natarajan (The University of Texas at Dallas, USA) Matthias Nickles (National University of Ireland, Ireland) Rolf Schwitter (Macquarie University, Australia) Chung-chieh Shan (Indiana University Bloomington, USA) Senior Committee ------------------------ Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From vitordouzi at gmail.com Mon Jan 15 17:26:48 2018 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Mon, 15 Jan 2018 16:26:48 +0000 Subject: Last CfP: First International Workshop on Narrative Extraction from Texts (Text2Story'18@ECIR'18) Message-ID: *** Apologies for cross-posting *** ++ CALL FOR PAPERS ++ ****************************************************************************************** First International Workshop on Narrative Extraction from Texts (Text2Story'18 at ECIR'18) Grenoble, France Text2Story18.inesctec.pt ****************************************************************************************** Proceedings to be submitted to CEUR workshop proceedings (potentially indexed on DBLP). Authors of relevant papers will be invited to submit an extended version of their article to a Special issue hosted by IPM Journal . ++ Important Dates ++ - Submission deadline: *January 22th, 2018* - Acceptance Notification Date: February 19th, 2018 - Camera-ready copies: March 5th, 2018 - Workshop: March 26th, 2018 ++ Overview ++ The increasing availability of text information in the form of news articles, comments or posts in social networks poses new challenges for those who aim to understand the storyline of an event. Although understanding natural language text has improved over the last couple of years with several research works emerging on the grounds of information extraction and text mining, the problem of constructing consistent narrative structures is yet to be solved. It is not only the algorithms that need to be improved, but also the state-of-the-art that needs to advance in order to provide methods that automatically identify, interpret and relate the different elements of a narrative which will be likely spread from different sources. In this workshop we aim to foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from texts. More specifically, we aim to capture a wide range of multidisciplinary issues related to the text-to-narrative-structure and to its various related tasks. This is a very rich line of research that poses many challenging problems in information retrieval, text mining, information extraction, computational linguistics and automatic production of media content. ++ List of Topics ++ Research works submitted to the workshop should foster the scientific advance on all aspects of storyline generation from texts including but not limited to narrative and content generation, formal representation, and visualization of narratives. This includes the following topics: - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Storyline Visualization - Temporal Aspects of Storylines - Story Evolution and Shift Detection - Causal Relation Extraction and Arrangement - Evaluation Methodologies for Narrative Extraction - Big data applied to Narrative Extraction - Resources and Dataset showcase - Personalization and Recommendation - User Profiling and User Behavior Modeling - Credibility - Fact Checking - Bots Influence ++ Submission Guidelines ++ We invite two kinds of submissions (max 6 pages): - Research papers - Demos and position papers Papers must be submitted electronically in PDF format through Easy Chair . All submissions must be in English. LNCS style . Submissions will be peer-reviewed by at least three members of the programme committee. ++ Workshop Format ++ Participants of accepted papers will be given 15 minutes for short oral presentation. All papers will also be presented in an interactive poster session. ++ Invited Speaker ++ TBA ++ Organizing committee ++ Alípio M. Jorge (INESC TEC; University of Porto, Portugal) Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) Adam Jatowt (Kyoto University, Japan) Sérgio Nunes (INESC TEC; University of Porto, Portugal) ++ Proceedings Chair ++ − Conceição Rocha (LIAAD INESC TEC) − João Paulo Cordeiro (INESC TEC; University of Beira Interior) ++ Web Chair ++ − Arian Pasquali (INESC TEC) ++ Dissemination Chair ++ − Vitor Mangaravite (INESC TEC) ++ Program Committee ++ - Klaus Berberich (Max Planck Institute for Informatics) - Marc Spaniol (Normandie University) - Miguel Martinez-Alvarez (Signal) - Dhruv Gupta (Max Planck Institute for Informatics) - Federico Nanni (University of Mannheim) - Yihong Zhang (Kyoto University) - Udo Kruschwitz (University of Essex) - Conceição Rocha (LIAAD INESC TEC) - João Paulo Cordeiro (University of Beira Interior) - Grace Hui Yang (Georgetown University) - Gerasimos Lampouras (The University of Sheffield) - Denilson Barbosa (University of Alberta) - Sumit Bhatia (IBM) - Yating Zhang (Kyoto University) - Nina Tahmasebi (University of Gothenburg) - Jaime Arguello (University of North Carolina at Chapel Hill) - Akiko Aizawa (NII) - António Horta Branco (University of Lisbon) - Bruno Martins (University of Lisbon) - Gael Dias (University of Caen) - Henrique Lopes Cardoso (University of Porto) - Pablo Gamallo (University of Santiago de Compostela) ++ Contacts ++ Website: Text2Story18.inesctec.pt For general enquires regarding the workshop, send an email to the organizers at ricardo.campos at ipt.pt, alipio.jorge at inesctec.pt, vima at inescporto.pt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Tue Jan 16 05:02:02 2018 From: grlmc at grlmc.com (GRLMC) Date: Tue, 16 Jan 2018 05:02:02 +0100 Subject: AlCoB 2018: 3rd call for papers Message-ID: <545102060a010b060353560305035a015b07065550030156560609540502065951030001570a050b0802550b0e0058@grlmc_ip-zone_com-6> AlCoB 2018: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2018   Hong Kong   June 25-27, 2018   Co-organized by:   The Hong Kong Polytechnic University Department of Computing   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2018/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), and Aveiro.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2018 will take place in Hong Kong, the city with the most skyscrapers in the world, one of the highest human development indexes, and the longest life expectancy. The venue will be:   M1603, Li Ka Shing Tower The Hong Kong Polytechnic University Hung Hom, Kowloon Hong Kong   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2018 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Tatsuya Akutsu (Kyoto University), Algorithms for Analysis and Control of Boolean Networks   Bin Ma (University of Waterloo), De Novo Protein Sequencing with Mass Spectrometry and Its Medical Applications   Ben Raphael (Princeton University), Algorithms for Cancer Evolution   PROGRAMME COMMITTEE:   Josep Francesc Abril (University of Barcelona, ES) Kees Albers (Radboud University Medical Centre, NL) Emmanuel Barillot (Curie Institute, FR) Philipp Bucher (Swiss Federal Institute of Technology Lausanne, CH) Rita Casadio (University of Bologna, IT) José C. Clemente (Icahn School of Medicine at Mount Sinai, US) Eytan Domany (Weizmann Institute of Science, IL) Liliana Florea (Johns Hopkins University, US) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina at Chapel Hill, US) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, JP) John Hancock (ELIXIR Europe, UK) Robert Harrison (Georgia State University, US) Martijn Huynen (Radboud University Medical Centre, NL) Jesper Jansson (The Hong Kong Polytechnic University, HK) Pouya Kheradpour (Verily Life Sciences, US) Julien Lagarde (Centre for Genomic Regulation, ES) Gerton Lunter (University of Oxford, UK) Ruibang Luo (Johns Hopkins University, US) Bill Majoros (Duke University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Huaiyu Mi (University of Southern California, US) Ryan E. Mills (University of Michigan, US) Kenta Nakai (University of Tokyo, JP) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) Itsik Pe'er (Columbia University, US) Mihaela Pertea (Johns Hopkins University, US) Paolo Ribeca (The Pirbright Institute, UK) Peter Robinson (The Jackson Laboratory for Genomic Medicine, US) Stephane Rombauts (Ghent University, BE) Russell Schwartz (Carnegie Mellon University, US) Xinghua Shi (University of North Carolina at Charlotte, US) Denis Shields (University College Dublin, IE) Ilya Shmulevich (Institute for Systems Biology, US) Thomas Sicheritz-Pontén (Technical University of Denmark, DK) Steven Skiena (Stony Brook University, US) Wing-Kin Sung (National University of Singapore, SG) Weili Wu (The University of Texas at Dallas, US) Wenzhong Xiao (Massachusetts General Hospital, US) Shibu Yooseph (University of Central Florida, US) Yaoqi Zhou (Griffith University, AU)   ORGANIZING COMMITTEE:   Jesper Jansson (Hong Kong, co-chair) Konstantinos Mampentzidis (Hong Kong) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra-Royón (Granada) Abdul Raheem (Hong Kong) David Silva (London) Sandhya T P (Hong Kong) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955) 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/AlCoB2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: February 11, 2018 Notification of paper acceptance or rejection: March 18, 2018 Final version of the paper for the LNCS/LNBI proceedings: March 28, 2018 Early registration: March 28, 2018 Late registration: June 11, 2018 Submission to the journal special issue: September 27, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   AlCoB 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGEMENTS:   The Hong Kong Polytechnic University Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Tue Jan 16 13:07:58 2018 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Tue, 16 Jan 2018 13:07:58 +0100 Subject: Special issue of IJAR on Defeasible and Ampliative Reasoning Message-ID: <0D196D3E-658B-4501-AE6F-27C59A987846@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 formalisation 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 fstolzenburg at hs-harz.de Tue Jan 16 14:36:23 2018 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Tue, 16 Jan 2018 14:36:23 +0100 Subject: ZIM project "Best Buddy Intelligence" - staff position at Harz University Message-ID: <1b9ba026-f38f-a837-dd53-ae507a8c5eb6@hs-harz.de> *** German version of job advertisement see *** The Harz University of Applied Sciences conducts the project “Best Buddy Intelligence”, together with a partner from industry, funded by the German Federal Ministry for Economic Affairs and Energy (BMWi) in the Central Innovation Programme for SMEs (ZIM). The aim of the project is to use a smartphone or tablet as an input device for a robot companion. We are looking to recruit a dedicated project staff. The position is limited to 2 years, full-time. The salary will be according to qualification up to salary scale 13 TV-L. The successful candidate can pursue a PhD thesis in collaboration with a partner university. Prerequisites: The candidate should have an academic degree, preferably in computer science. Very good knowledge in one or more of the following areas is desirable: Android and iOS programming object recognition and tracking voice control computer vision machine learning artificial intelligence The Harz University of Applied Sciences wishes to raise the proportion of female academic staff and would therefore like to expressly encourage qualified women to apply for the position. Preference is given to severely disabled candidates, if they have the same level of qualification. Please send your application with the usual documents - preferably by e-mail - to by 12 February 2018 or by mail to: Hochschule Harz Personaldezernat Friedrichstrasse 57-59 38855 Wernigerode For more information, please contact: Prof. Dr. Frieder Stolzenburg Project Manager Tel: +49 3943 659-333 Email: -- Prof. Dr. Frieder Stolzenburg ▲ Hochschule Harz (Harz University of Applied Sciences) FB Automatisierung und Informatik (Automation & Computer Sciences Dep.) Friedrichstr. 57-59 D-38855 Wernigerode (Germany) Raum (Office): 2.008 Tel: +49 3943 659-333 Fax: +49 3943 659-399 Skype: fstolzenburg E-Mail: fstolzenburg at hs-harz.de WWW: http://www.hs-harz.de/fstolzenburg From tstuder at inf.unibe.ch Tue Jan 16 14:30:13 2018 From: tstuder at inf.unibe.ch (Thomas Studer) Date: Tue, 16 Jan 2018 14:30:13 +0100 Subject: AiML 2018: SECOND CALL FOR PAPERS Message-ID: <19879CA7-0D3C-4DDF-B5B8-ACB49265947A@inf.unibe.ch> [ Please distribute, apologies for multiple postings. ] AiML 2018: SECOND CALL FOR PAPERS 12TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC BERN, 27 AUGUST -- 31 AUGUST 2018 http://www.aiml2018.unibe.ch Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net AiML 2018 is the 12th conference in the series. AiML 2018 will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018) http://www.latd2018.unibe.ch TOPICS We invite submissions on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (topological/algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions for AiML 2018: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://easychair.org/conferences/?conf=aiml2018 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML 2018 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML 2018 website http://www.aiml2018.unibe.ch in due time. Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper. The presentations of accepted full papers will be 30 minutes long. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS Agata Ciabattoni (TU Wien, Austria) Rob Goldblatt (Victoria University, New Zealand) Rosalie Iemhoff (Utrecht University, The Netherlands) -- joint AiML-LATD invited speaker Stanislav Kikot (Birkbeck College London and Institute for Information Transmission Problems, Moscow) Dana Scott (University of California, Berkeley) LOCAL ORGANIZING COMMITTEE Bettina Choffat Almudena Colacito José Gil-Ferez Eveline Lehmann George Metcalfe (chair) Nenad Savić Silvia Steila Thomas Studer (chair) Olim Tuyt PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham) Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Guram Bezhanishvili (New Mexico State University) Marta Bílková (Charles University) Patrick Blackburn (University of Roskilde) Giovanna D'Agostino (University of Udine) Stéphane Demri (CNRS, LSV, ENS Paris-Saclay) David Fernández-Duque (Institute de Recherche en Informatique de Toulouse) David Gabelaia (TSU Razmadze Mathematical Institute) Mai Gehrke (CNRS Paris Diderot) Silvio Ghilardi (Università degli Studi di Milano) Nina Gierasimczuk (Danish Technical University) Valentin Goranko (Stockholm University) Rajeev Goré (The Australian National University) Helle Hvid Hansen (Delft University of Technology) Ian Hodkinson (Imperial College) Wesley Holliday (UC Berkeley) Emil Jeřábek (Czech Academy of Sciences) Marcus Kracht (Bielefeld University) Clemens Kupke (University of Strathclyde) Agi Kurucz (King's College London) Roman Kuznets (TU Wien) Tamar Lando (Columbia University) Carsten Lutz (Universität Bremen) Larry Moss (Indiana University) Sara Negri (University of Helsinki) Eric Pacuit (University of Maryland) Valeria de Paiva (Nuance Communications, USA) Mark Reynolds (The University of Western Australia) Ilya Shapirovsky (Institute for the Information Transmission Problems) Valentin Shehtman (Institute for the Information Transmission Problems) Sonja Smets (Institute of Logic, Language and Computation) Viorica Sofronie-Stokkermans (Universität Koblenz-Landau) Thomas Studer (Universität Bern) Heinrich Wansing (Ruhr University Bochum) Frank Wolter (University of Liverpool) Michael Zakharyaschev (Birkbeck College London) PROGRAMME COMMITTEE CHAIRS Guram Bezhanishvili (New Mexico State University) Giovanna D'Agostino (University of Udine) IMPORTANT DATES Abstracts of full papers submission deadline: 11 March 2018 Full papers submission deadline: 18 March 2018 Full papers acceptance notification: 18 May 2018 Short presentations submission deadline: 20 May 2018 Short presentations acceptance notification: 8 June 2018 Final version of full papers and short presentations due: 17 June 2018 Conference: 27 August -- 31 August 2018 FURTHER INFORMATION Please see http://www.aiml2018.unibe.ch ENQUIRIES E-mail enquiries should be directed to the PC chairs, sent to aiml2018 at easychair.org From Natasha.Alechina at nottingham.ac.uk Tue Jan 16 17:42:37 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Tue, 16 Jan 2018 16:42:37 +0000 Subject: last call: JAAMAS paper track at AAMAS 2018 Message-ID: <24C7178A-B0EB-4771-899A-B29893A6745F@exmail.nottingham.ac.uk> This call for submissions is relevant to authors of papers published in the Journal of Autonomous Agents and Multi-agent Systems (JAAMAS) in the last year, provided the paper was not published in an archival conference before. AAMAS 2018 will be running a JAAMAS paper track. It will accept papers for presentation that have appeared in JAAMAS in the 12 months period preceding the AAMAS notification date (24 January 2018). Authors of these articles have the option to publish an extended abstract (maximum two pages, excluding bibliography) in the AAMAS proceedings. The articles must be original and not previously published as a full paper in an archival conference. The publisher of JAAMAS, Springer, agreed to make full papers corresponding to abstracts accepted for the JAAMAS track freely available to AAMAS participants. Deadline: 26th of January 2018 Submission site: https://jaamas.confmaster.net Best regards, Natasha Alechina (JAAMAS track chair for AAMAS 2018) This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From unilog2018 at vichy-universite.com Wed Jan 17 14:39:04 2018 From: unilog2018 at vichy-universite.com (UNILOG2018) Date: Wed, 17 Jan 2018 13:39:04 +0000 Subject: Louis Couturat Logic Prize In-Reply-To: References: ,,,,,,,,,,,,,, Message-ID: Today, January 17, is the 150th anniversary of the birth of Louis Couturat (1868–1914) Couturat was the main promoter of symbolic logic in France at the beginning of the 20th century We celebrate this day by launching the Louis Couturat Logic Prize http://www.uni-log.org/louis-couturat-logic-prize And there will be a tutorial on Couturat at the 6th World School of Logic in Vichy (June 16-20) given by Oliver Schlaudt (University of Heidelberg, Germany): Louis Couturat: Early symbolic logic and the dream of a Characteristica Universalis http://www.uni-log.org/ULS6-louis-couturat.html This prize is part of the project A PRIZE OF LOGIC IN EVERY COUNTRY which I started by creating the Newton da Costa Logic Prize in Brazil in 2015 These prizes aim at promoting logic in each country in particular by developing interaction between all people interested in logic http://www.uni-log.org/logic-prize-world We recently launched the Alfred Tarski Logic Prize last Sunday, January 14, birthday of Tarski http://www.uni-log.org/alfred-tarski-prize-of-logic Winners of these logic prizes will present their works at UNILOG'2018, the 6th World Congress on Universal Logic in Vichy next June (21-26) and their papers will be published in the journal Logica Universalis If you are interested to create a logic prize in your country contact the Logica Universalis Association (LUA) http://www.logica-universalis.org Jean-Yves Beziau University of Brazil, Rio de Janeiro and Ecole Normale Supérieure, Paris -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From flm at informatik.uni-kiel.de Thu Jan 18 09:30:15 2018 From: flm at informatik.uni-kiel.de (Florin Manea) Date: Thu, 18 Jan 2018 09:30:15 +0100 Subject: CiE 2018 - deadline extension Message-ID: <70b518bdb169db623c357a5b5239d876@informatik.uni-kiel.de> Apologies for multiple postings. Please note the extended submission deadlines! ========================= FINAL CALL FOR PAPERS: ========================= CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de http://www.computability.org.uk IMPORTANT DATES (DEADLINE EXTENSION!!): ======================================= *** Deadline for abstract submission: January 24, 2018 AOE (extended) *** *** Deadline for article submission: February 8, 2018 AOE (extended) *** 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 a 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 organisers at the email address cie2018 at email.uni-kiel.de SPECIAL SESSIONS (and organisers): ================================== Approximation and Optimisation — Organisers: Leah Epstein (Haifa), Klaus Jansen (Kiel) Bioinformatics and Bio-inspired Computing — Organisers: Andre Franke (Kiel), Victor Mitrana (Bucharest) Computing with Imperfect Information — Organisers: Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison) Continuous Computation — Organisers: Ulrich Berger (Swansea), Dieter Spreen (Siegen) History and Philosophy of Computing — Organisers: Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex) SAT-Solving — Organisers: Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds) The speakers of the special sessions will be announced soon on the website of the conference. PROGRAMME COMMITTEE: ==================== 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, co-chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca Muscholl (Bordeaux), Dirk Nowotka (Kiel, co-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). CONTRIBUTED PAPERS: =================== 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. HaPoC Grants | Commission for the History and Philosophy of Computing ===================================================================== The HaPoc Council is happy to announce the availability of two HAPOC travel grants of 250USD each to support participation to the conference. To be eligible for a grant, a paper or informal presentation in the area of history and/or philosophy of computing accepted at CiE 2018 is required. In order to apply for a grant, please send the following details to info at hapoc.org: cv, the paper or informal presentation submitted, accompanied by the acceptance email, a detailed budget indicating any other funding possibilities (if available). Association CiE: http://www.computability.org.uk CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ From C.Orasan at wlv.ac.uk Thu Jan 18 12:11:52 2018 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Thu, 18 Jan 2018 11:11:52 +0000 Subject: Lecturer/Senior Lecturer in Translation Technology (permanent) Message-ID: <1516273911.4411.5.camel@wlv.ac.uk> [apologies for cross-posting] Lecturer/Senior Lecturer in Translation Technology (permanent) Salary £34,520 to £49,149 Closing date: 8th Feb 2018 The Research Group in Computational Linguistics at the University of Wolverhampton (http://rgcl.wlv.ac.uk) is currently recruiting a Lecturer/Senior Lecturer in Translation Technology (permanent). The purpose of this post is to strengthen the research group by enhancing its research and publications in the field of translation technology. The appointed candidate will be expected to produce REF-returnable outputs, attract external income, seek industrial collaborations, teach at Masters level and supervise PhD students. He/she will join a recently appointed research fellow and two PhD students in translation technology. All these posts are part of a university investment in the area of translation technology. Profile ------- The successful candidate will hold a PhD (or equivalent) in a field related to machine translation, translation memories or translation technologies, and will have carried out research in the area at a university, research institute or in a related part of the private sector in the UK or abroad. They will be proficient in a range of subject-specific skills and ideally will have experience in site-based research settings. A background in computer science or programming experience will be a bonus. The post holder will be able to demonstrate the ability to work independently to develop new research and contribute to collaborative projects. The appointed candidate will have evidence of an individual track record in research which is at the cutting edge of machine translation and/or translation technology and is recognised internationally (e.g. through publications in journals). They should have experience in preparation of bids for funds from external sources which include both UK and non-UK funding bodies. Candidates should have teaching experience and a track record in supervising Masters students. For the Senior Lecturer position, candidates are expected to provide evidence of supervising students at PhD level and leadership skills. In addition, they should have successfully bid for funds from external sources. How to apply ------------ The applications should be made via the University of Wolverhampton's e-recruitment site: https://jobs.wlv.ac.uk/vacancies.html (Reference: 11083) The applications should include an up to date CV and a cover letter detailing their experience in the area and research plans for the next three years. The closing date for the applications is 8th Feb 2018. Interview dates to be confirmed. Start of the posts: to be agreed with the successful candidates. For informal discussion about the role please contact Dr Constantin Orasan (c.orasan at wlv.ac.uk). The Research Group in Computational Linguistics ----------------------------------------------- The Research Group in Computational Linguistics (http://rgcl.wlv.ac.uk) at the University of Wolverhampton was founded by Prof. Ruslan Mitkov in 1998 and is one of the leading research groups in computational linguistics in the UK. The group is well known for its high level research with strong international and inter-sector collaboration, and is renowned for its innovative NLP research and development of various NLP tools and resources. RGCL was the coordinator of the recently completed EXPERT project (http://expert-itn.eu) which trained young researchers to promote the research, development and use of hybrid language translation technologies. The lecturer/senior lecturer to be appointed is expected to continue the work in this direction. -- 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 From Frank.Trollmann at dai-labor.de Thu Jan 18 15:20:23 2018 From: Frank.Trollmann at dai-labor.de (Frank Trollmann) Date: Thu, 18 Jan 2018 14:20:23 +0000 Subject: [KI2018] Call for papers Message-ID: [Apologies for multiple copies of this CFP] CALL FOR PAPERS ---------------------------------------------- KI2018 - The 41st German Conference on Artificial Intelligence September 24-28th, 2018, Berlin, Germany http://ki2018.dai-labor.de SCOPE ---------------------------------------------- KI2018 is the 41st edition of the German Conference on Artificial Intelligence organized in cooperation with the AI chapter of the German Computer Science Society. KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium. IMPORTANT DATES ---------------------------------------------- Full/Short Paper Submission: May 7th, 2018 Notification of Acceptance: June 15th, 2018 Final Version Due: July 2nd, 2018 Workshop, Tutorials, and Doctoral Consortium: Will be announced in a separate call TOPICS OF INTEREST ---------------------------------------------- You are invited to submit original research and application papers on all aspects of AI research, including but not limited to the following: * Agent-based and multi-agent systems * AI applications and innovations * Belief change * Cognitive modelling, AI and psychology * Commonsense reasoning * Computer vision * Constraint satisfaction, search, and optimization * Diagnosis and configuration * Evolutionary computation * Game playing and interactive entertainment * Information retrieval, integration, and extraction * Knowledge engineering and ontologies * Knowledge representation and reasoning * Knowledge discovery and data mining * Machine learning * Multidisciplinary AI * Natural language processing * Nonmonotonic reasoning and default logics * Philosophical foundations of AI * Planning and scheduling * Recommender systems * Robotics * Uncertainty in AI * Web and information systems We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. SUBMISSION ---------------------------------------------- We invite papers, which have to be in English and formatted according to the Springer LNCS style, in the following two categories Full technical papers (12 pages max., excluding references) are expected to report on new research that makes a substantial technical contribution to the field. Additional details may be included in an appendix, which, however, will be read at the discretion of the PC. Technical communications (6 pages max., excluding references) can report on research in progress or other issues of interest to the AI community. Examples of work suitable for technical communication paper submissions include novel ideas whose scope is not large enough for a full paper; important implementation techniques; novel interesting benchmark problems; short experimental studies; interesting applications that are not yet completely solved or analysed; position or challenge papers. Technical communication submissions are especially invited for software demonstration or PhD work in progress. Submission will be through the EasyChair conference management system. All papers will be subject to blind peer review based on the standard criteria of relevance, the significance of results, originality of ideas, soundness, and quality of the presentation. If you have used the EasyChair conference management system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking 'I have no EasyChair account' button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. Paper submission is electronic. To submit, please prepare a PDF file of your paper, a short abstract in plain text, and a list of two to five keywords. Submission is possible via the following link: https://easychair.org/conferences/?conf=ki2018 All accepted papers will be published in the main conference proceedings and will be presented at the conference. The KI 2018 proceedings will be published by Springer as a volume of the LNAI series (Lecture Notes in Artificial Intelligence). At least one author of each accepted paper must register for the conference and present the contribution. The most outstanding submission will be recognized with a best paper award at the conference. ORGANIZATION ---------------------------------------------- General Chair * Sahin Albayrak, TU Berlin Programm Chairs * Frank Trollmann, TU Berlin * Anni-Yasmin Turhan, TU Dresden Workshop and Tutorial Chair: * Oezguer Oezcep, Universität zu Lübeck Doctoral Consortium Chair * Johannes Fähndrich, GT-ARC Berlin SUPPORTED BY ---------------------------------------------- * Springer-Verlag GmbH * Gesellschaft für Informatik e.V. -- Dr.-Ing. Frank Trollmann frank.trollmann at dai-labor.de Tel +49 30/314 -74048 Future in touch. DAI-Labor Technische Universität Berlin Fakultät IV - Elektrotechnik & Informatik Sekretariat TEL 14 Ernst-Reuter-Platz 7 10587 Berlin, Germany www.dai-labor.de DAI-Labor - Distributed Artificial Intelligence Laboratory Chief Executive Director: Prof. Dr. Dr. h.c. Sahin Albayrak -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcci at insticc.info Thu Jan 18 17:27:55 2018 From: ijcci at insticc.info (ijcci at insticc.info) Date: 18 Jan 2018 16:27:55 +0000 Subject: CFP IJCCI 2018 - 10th Int.l Joint Conf. on Computational Intelligence (Seville/Spain) Message-ID: <20180118162757.1.A409497DBC2E7315@insticc.info> SUBMISSION DEADLINE 10th International Joint Conference on Computational Intelligence Submission Deadline: May 2, 2018 http://www.ijcci.org/ September 18 - 20, 2018 Seville, Spain. IJCCI is organized in 4 major tracks: - Evolutionary Computation - Fuzzy Computation - Neural Computation - Cognitive and Hybrid Systems 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, IJCCI Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 100 033 Fax: +351 265 520 186 Web: http://www.ijcci.org/ e-mail: ijcci.secretariat at insticc.org From wasa2018 at pmf.uns.ac.rs Fri Jan 19 10:24:58 2018 From: wasa2018 at pmf.uns.ac.rs (wasa2018 at pmf.uns.ac.rs) Date: Fri, 19 Jan 2018 10:24:58 +0100 Subject: 8th Workshop on Applications of Software Agents - Novi Sad, Serbia, June 25-27, 2018 Message-ID: <36e82025402ae2da00ccc47cadbb3519@pmf.uns.ac.rs> 8th Workshop on Applications of Software Agents - WASA 2018 in conjunction with 8th International Conference on Web Intelligence, Mining and Semantics - WIMS 2018 https://wims2018.pmf.uns.ac.rs/ ----------------------------------------------------------- https://perun.pmf.uns.ac.rs/events/wasa2018/index.html Novi Sad, Serbia, June 25-27, 2018 Workshop Description -------------------- Software agent technologies reached a certain level of maturity that allows development of applications spanning from lab prototypes to mature real-life systems, in domains that could have not been imagined before. Furthermore, software agent technologies proved their usefulness in synergy with methods of intelligent computing and artificial intelligence. The aim of the WASA workshop is to contribute to the advancement of technologies and applications of software agents' with a special interest in intelligent computing including, but not limited to: reasoning, semantics, pattern recognition, learning and cognition, etc. The workshop welcomes papers addressing research and experience reports on various applications of software agents. Papers describing finalized research, as well as work-in-progress, are welcome. The topics of the workshop cover, broadly understood, software agent and intelligent technologies connected to applications and experiences in areas like: - e-business - social networks - e-learning - grid and cloud computing - gaming - smart environments - e-health - multimedia - disaster and crisis management - virtual organizations - simulation - energy conservation - sustainability and green computing - planning and decision making - traffic control - image and video understanding - manufacturing and industrial management etc. (but this list is not exhaustive). Program Chairs -------------- Mirjana Ivanovic, University of Novi Sad, Serbia Maria Ganzha, University of Gdansk and IBS PAN, Poland Program Co-chairs ----------------- Marcin Paprzycki, IBS PAN and WSM, Poland Costin Badica, University of Craiova, Romania Program Committee Members (tentative) ------------------------- Amelia Badica, University of Craiova, Romania Olivier Boissier, ENS Mines Saint-Etienne, France Paolo Bresciani, FBK, Italy Marius Brezovan, University of Craiova, Romania Mihaela Colhon, University of Craiova, Romania Weihui Dai, Fudan University, China Giancarlo Fortino, University of Calabria, Italy Adrian Groza, Technical University of Cluj-Napoca, Romania Galina Ilieva, University of Plovdiv "Paisii Hilendarsky", Bulgaria Nicolae Jascanu, "Dunarea de Jos" University of Galati, Romania Gordan Jezic, University of Zagreb, Croatia Systä Kari, Tampere University of Technology, Finland Petros Kefalas, University of Sheffield International Faculty, CITY College, Thessaloniki, Greece Florin Leon, Technical University "Gheorghe Asachi" of Iasi, Romania, Marin Lujak, University Rey Juan Carlos, Spain Viorel Negru, West University of Timisoara, Romania Andrea Omicini, University of Bologna, Italy Agostino Poggi, University of Parma, Italy Ilias Sakellariou, University of Macedonia, Greece Denis Trcek, University of Ljubljana, Slovenia Important Dates --------------- Submission of papers to WASA: February 7, 2018 Notification of acceptance: March 25, 2018 Camera-ready papers: April 25, 2018 Paper registration: April 25, 2018 Workshop: June 25-27, 2018 Post-conference publication --------------------------- A selection of the best papers accepted and presented at WASA'2018 will be invited for extension and possible inclusion (subject to an additional review process) into a Special Issue of an internationally recognized journals: 1. ComSIS - Computer Science and Information Systems Journal, Two-year impact factor (2016): 0.837., http://www.comsis.org/ 2. Information Technology And Control, Impact factor (2016): 0.475, http://itc.ktu.lt/index.php/ITC/ Previous editions ----------------- 7th Workshop on Applications of Software Agents - WASA 2017 http://perun.pmf.uns.ac.rs/events/wasa2017/ 6th Workshop on Applications of Software Agents - WASA 2016 http://perun.pmf.uns.ac.rs/events/wasa2015/ 5th Workshop on Applications of Software Agents - WASA 2015 http://perun.pmf.uns.ac.rs/events/wasa2015/ 4th Workshop on Applications of Software Agents - WASA 2014 http://perun.pmf.uns.ac.rs/events/wasa2014/ 3rd Workshop on Applications of Software Agents - WASA 2013 http://perun.pmf.uns.ac.rs/events/wasa2013/ 2nd Workshop on Applications of Software Agents - WASA 2012 http://perun.pmf.uns.ac.rs/events/wasa2012/ 1st Workshop on Applications of Software Agents - WASA 2011 http://perun.pmf.uns.ac.rs/events/wsagents/ From oezcep at ifis.uni-luebeck.de Fri Jan 19 15:39:10 2018 From: oezcep at ifis.uni-luebeck.de (Oezguer Oezcep) Date: Fri, 19 Jan 2018 15:39:10 +0100 Subject: First call for workshop and tutorial proposals at KI 2018 Message-ID: <019CB990-A38A-48B9-A5F6-9E97328508CE@ifis.uni-luebeck.de> First call for workshop and tutorial proposals at KI 2018 ========================================== KI 2018 is the 41st edition of the German Conference on Artificial Intelligence which will take place in Berlin. It is organized in cooperation with the AI chapter of the German Computer Science Society. KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium. Further information on KI 2018 can be found at http://ki2018.dai-labor.de/ We invite proposals for workshops and tutorials to be held at the beginning (September 24-25) of the conference week (September 24-28). Topics include all subareas of artificial intelligence as well as their foundations and applications. Important dates ============ Workshop/tutorial proposal deadline: March 25, 2018 Notification of acceptance: April 1, 2018 Workshop 1st call for papers ready by: April 10, 2018 Workshop/tutorial web page ready by: April 10, 2018 Workshop/tutorial: September 24-25, 2018 Conference: September 24-28, 2018 How to propose a workshop ===================== Proposals should be PDF documents of up to three pages and should be sent by mail to oezcep at ifis.uni-luebeck.de. They should be formulated in English language and must have been sent not later than March 25, 2018. Workshop proposals should provide the following information: - Title (and possibly acronym) of the workshop - Description of workshop topic and goal. This description should discuss the relevance of the suggested topic and its interest to the general AI community and the KI 2018 audience. - Names and affiliations (including email and web address) of the workshop organizer(s). Please indicate the primary contact person for KI 2018. - Description of the organizers' background regarding the workshop topic - How many participants do you expect? How do you plan to attract enough participants for the workshop? - A brief description of the workshop format regarding the mix of events such as paper presentation, invited talks, panels, demonstrations, and general discussion - A preliminary agenda - A notice on the expected length of the workshop, half-day or full-day - A tentative list of PC members Workshop organizers will be responsible for: - producing a call for papers. The first call is due April 10, 2018. This call will be posted on (/ linked from) the KI 2018 website. Organizers are responsible for additional publicity such as distributing the call to relevant newsgroups and mailing lists, and especially to potential audiences from outside the KI conference community. - maintaining a workshop web page (going online no later than April 10, 2018) with updated information about the workshop. - producing the workshop proceedings - in case the workshop organizers plan to have proceedings. The workshop organizers coordinate the collection, production and distribution of the proceedings for the workshops. How to propose a tutorial =================== Tutorial proposals should be PDF documents of up to three pages and should be sent by mail to oezcep at ifis.uni-luebeck.de. They should be formulated in English language and must have been sent not later than March 25, 2018. Tutorial proposals should provide the following information: - Title of the tutorial - Description of tutorial topic and goal. This description should discuss the relevance of the suggested topic and its interest to the general AI community and the KI 2018 audience. - Names and affiliations (including email and web address) of the person(s) giving the tutorial. Please indicate the primary contact person for KI 2018. - A description of the background of tutorial organizers w.r.t. previous teaching/tutorial experience and/or own papers published in the field covered by the tutorial - A description of the targeted audience and the expected prerequisite knowledge - An indication of the length of the tutorial: quarter day (slot of 90 minutes), or half day tutorial (two slots), three quarter day (three slots) or full day tutorial (4 slots) - An outline of the tutorial agenda Tutorial organizers will be responsible for - setting up a tutorial web page containing - in particular - a short description of the tutorial, possibly a link to tutorial slides, hints on reading material, and a short biography of the presenters. The web page should be online by April 10, 2018. The KI 2018 conference organizers will provide rooms for the workshops and the tutorials as well as determine the dates and times of the tutorials and workshops. Should you have further questions regarding the KI 2018 workshops and tutorials, please do not hesitate to contact me. Workshop and tutorial chair Özgür L. Özcep oezcep at ifis.uni-luebeck.de —————————————————————————— Dr. Özgür L. Özcep Universität zu Lübeck Institut für Informationssysteme (Ifis) Ratzeburger Allee 160 (Gebäude 64, 2. OG) D-23562 Lübeck, Deutschland Telefon: +49 451 3101 5710 E-Mail: oezcep at ifis.uni-luebeck.de Web: https://www.ifis.uni-luebeck.de/index.php?id=oezcep —————————————————————————— -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giacomo.cabri at unimore.it Fri Jan 19 16:01:06 2018 From: giacomo.cabri at unimore.it (gcabri@unimore.it) Date: Fri, 19 Jan 2018 16:01:06 +0100 Subject: CfP - Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC) at WETICE 2018 Message-ID: *16th Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC)* Track at IEEE WETICE 2018 Paris, France, June 27-29, 2018 http://didattica.agentgroup.unimore.it/ACEC2018 Call for Papers *Aims and Scope* Over its 15 years in existence, ACEC has focused on worksthat explorethe adaptability, autonomy and intelligence of software agents for the collaboration across the enterprise. In 2018, organizers would like to continue to explore the research on agent-based computing, but they would also welcome works that leverage advanced adaptive techniques, non necessarily based on software agents. In addition to the traditional domain areas, i.e., Computer Supported Collaborative Work, Workflow and Supply Chain Management, Automation in Virtual Enterprises, and Automated Distributed Service Composition, ACEC isalso interested in new adaptive techniques, e.g., Cloud Computing, Crowd-Sourcing and Social Networking. In addition to traditional papers, the forthcoming 16th episode of ACEC welcomes papers from two focus areas: * Adaptive and Agent-based Services * Adaptive Techniques for Organizational/Enterprise Use of Emerging Web Paradigms (Cloud, Crowd-sourcing, Mobile Apps) Such two themes represent important areas where software agents can leverage their distributed nature,along with their proactive and autonomous characteristics, to provide solutions to complex problems, which are difficult to solveusing traditional/existing technologies. * * *Topics of Interest* Topics of interest include, but are not limited to: * Adaptive and/or agent-mediated workflow, supply chain, and virtual enterprises * Methodologies, languages and tools to support agent collaboration * Agent architectures and infrastructures for dynamic collaboration * Adaptive and/or Agent-based service architectures and infrastructures * Service Oriented Architectures (SOAs) based on agents * Services for dynamic agent collaboration * Agent-to-Human service interactions * Autonomous, Adaptive and/or Agent-mediated service integration * Organizational and enterprise systems that leverage the Web 2.0 * Adaptive and Agent-mediated cloud environments * * *Important Dates* * Paper submission: *March 2, 2018* * Notification:*April 8, 2018* * Camera ready: *April 13, 2018* * Registration: *April 13, 2018* * Conference:*June 27-29, 2018* * * *Paper Submission* Papers should contain original contributions (not published or submitted elsewhere) and references to related state-of-the art work. Please submit your papers in PDF or PS format. Papers up to 6 pages (including figures, tables and references) can be submitted. Papers should follow the IEEE format, which is single-spaced, two columns, 10pt Times/Roman font. Papers should include a title, the name and affiliation of each author, an abstract of up to 150 words and no more than eight keywords. All submitted papers will be peer-reviewed by a minimum of three program committee members. The accepted papers will be published in the post-conference proceedings (to be published by the IEEE Computer Society Press). Authors of accepted papers must present their papers at the conference. *At least one author for each accepted paper should register and attend WETICE 2018 to have the paper published in the proceedings.* The paper submission procedure is carried out using the EasyChair conference management system: https://www.easychair.org/conferences/?conf=wetice2018 * * *Track Chairs* * Stefania Monica, Università degli Studi di Parma, Italy * Federico Bergenti, Università degli Studi di Parma, Italy * M. Brian Blake, Drexel University, USA * Giacomo Cabri, Università degli Studi di Modena e Reggio Emilia, Italy * Usman Wajid, The University of Manchester, UK From abraham at informatik.rwth-aachen.de Mon Jan 22 13:16:07 2018 From: abraham at informatik.rwth-aachen.de (Erika Abraham) Date: Mon, 22 Jan 2018 13:16:07 +0100 Subject: CfP Gender Equality in Software Engineering In-Reply-To: <558cb59f-c8ce-ecd0-2a9e-7abc87d85552@informatik.rwth-aachen.de> References: <558cb59f-c8ce-ecd0-2a9e-7abc87d85552@informatik.rwth-aachen.de> Message-ID: =========================================================== CALL FOR PAPERS GE at ICSE2018 First Workshop on Gender Equality in Software Engineering May 28, 2018, Gothenburg, Sweden https://sites.google.com/view/ge-icse2018 Satellite event at ICSE 2018 40th International Conference on Software Engineering https://www.icse2018.org =========================================================== === Important dates === Paper submission: February 05, 2018 Paper notification: March 5, 2018 Final version: March 19, 2018 Conference: May 28, 2018 === Objectives and scope === ICT is pervasively influencing all human activities. In this context, more and more people of any age, gender and culture is exposed to such technologies and has to acquire some ability and skill in this context. For reasons that are still being studied, the engagement of genders with ICT is not uniform. This gap is occurring at all levels and it is evident, for instance, in the small percentage of women covering top positions in professional and academic activities in the field. At the same time, the community is realising that diversity, when it does not assume the negative aspects of discrimination, plays a key role to a successful and competitive context for software development and research. Such diversity is not only related to gender aspects but refers also to the combination of culture, religion and geographical distribution. In this context, the purpose of this workshop, which will be held as part of ICSE 2018, is to discuss about the role, difficulties and opportunities concerning people of different gender in the field of software engineering, in research, education and industry. === What to submit === Students, industry professionals, academics, and other leaders in software engineering are invited to submit position papers, collaborate and attend this workshop with the objective of assessing the current gender situation in various contexts and geographic areas, also in combination with any discriminatory factor, and of identifying and discussing possible difficulties and corresponding solutions. Areas of interest include but are not limited to: - Summaries, challenges, and studies regarding the role of different genders in software engineering education and research. - Studies concerning the role of different genders in software engineering industry. - Specific experiences that can be generalized and shared with the public. Also submissions from other scientific areas with contents that are transferable to software engineering are welcome. All contributions will undergo a peer-review process carried out by the Program Committee. Accepted papers will be included in the ACM workshop proceedings. === Submission guidelines === Submissions should have a maximum length of 4 pages and follow the ACM SIGS proceedings format (see https://www.icse2018.org/track/icse-2018-Double-blind-review#Formatting). Submissions should be made using the Easychair site https://easychair.org/conferences/?conf=geicse2018 . === Invited speakers === Gabriele Abermann (Salzburg University of Applied Sciences, Austria) Reyyan Ayfer (Bilkent University in Ankara, Turkey) Anna Nilsson-Ehle (Chalmers University of Technology, Sweden) Philip B. Stark (Berkeley Institute for Data Science, USA) === Committees === Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Elisabetta Di Nitto (Politecnico di Milano, Italy) Raffaela Mirandola (Politecnico di Milano, Italy) Program Committee: Alberto Avritzer (Sonatype, Fulton, USA) Steffen Becker (University of Stuttgart, Germany) Antonella Ferrecchia (University College Dublin, Ireland) Carlo Ghezzi (Politecnico di Milano, Italy) Jane Hillston (University of Edinburgh, UK) Letizia Jaccheri (Norwegian University of Science and Technology, Norway) Rick Kazman (Carnegie-Mellon University and University of Hawaii, USA) Tiziana Margaria (Lero, Ireland) Marija Mikic (Google, USA) Gail Murphy (University of British Columbia, Canada) Bashar Nuseibeh (The Open University, UK and Lero, Ireland) Flavio Oquendo (IRISA / UMR CNRS and University Bretagne-Sud, France) Jennifer Perez Universidad Politecnica de Madrid, Spain) Rafael Prikladnicki (Pontificia Universidade Catolica do Rio Grande do Sul, Brazil) Patrizia Scandurra (DIIMM - University of Bergamo, Italy) David Shepherd (ABB, Inc, USA) Sebastian Uchitel (University of Buenos Aires, Argentinia and Imperial College London, UK) Willem Visser (Stellenbosch University, South Africa) === Sponsor === The workshop is sponsored by Chalmers University of Technology http://www.chalmers.se/en/Pages/default.aspx . From cldixon at liverpool.ac.uk Tue Jan 23 11:39:18 2018 From: cldixon at liverpool.ac.uk (Clare Dixon) Date: Tue, 23 Jan 2018 10:39:18 +0000 Subject: Workshop on Verification and Validation of Autonomous Systems, 18-19 July 2018 CFP Message-ID: <323b6dfe-fbc5-8270-076c-34dc9f5512db@liverpool.ac.uk> *** Apologies for multiple copies *** PRELIMINARY CALL FOR PAPERS Workshop on Verification and Validation of Autonomous Systems Satellite Workshop of FLoC 2018 18-19 July 2018 University of Oxford, Oxford, UK https://sites.google.com/site/wsvavas2018/ General Information The Workshop on Verification and Validation of Autonomous Systems is a workshop held as part of the Federated Logic Conference (FLOC) in July 2018 at the University of Oxford, UK. Introduction Autonomous systems are being increasingly developed and used in many areas of society, from driverless cars and unmanned air vehicles, to web-bots and companion robots. A defining characteristic of such systems is that they make decisions for themselves about what to do given their current state, the state of the environment, and the purpose of the system. A key aspect of ensuring that systems with such complex (and often safety-critical) behaviour can be safely deployed is verification and validation. The workshop aims to bring together researchers working on a range of techniques for verification and validation of autonomous systems, ranging from formal methods to simulation and testing, to present recent work in the area, discuss key difficulties, and stimulate collaboration. The workshop will include invited speakers, contributed papers, demonstrations and panel sessions. Topics of interest The topics covered by the workshop include, but are not limited to, the following: * Formal verification techniques for autonomous systems; * Testing approaches to autonomous systems; * Simulation approaches to autonomous systems; * Statistical approaches to autonomous systems; * Combinations of several approaches; * Routes to certification for autonomous systems; * Ethics, trust and privacy; * Verification of specific autonomous systems. Previous Events The workshop is funded by EPSRC through the Network on the Verification and Validation of Autonomous Systems. This is the final workshop organised by the Network which has run a series of events over the last three years about specific topics. Information about the network and previous events are accessible from https://vavas.org/ Submissions Submitted contributions should not exceed eight pages using the latex article format. Submitted papers should be in PDF and uploaded to https://easychair.org/conferences/?conf=vavas2018 Submission of extended abstracts relating to noteworthy, previously published papers is welcome. Three types of submission will be considered: * Extended abstracts (paper) of up to two pages reporting on work in progress or previously published work; * Extended abstracts (demo) of up to two pages describing demonstrations to be presented at the workshop; * Papers of up to eight pages covering novel research. Each submission should be clearly identified as belonging to one of these categories. Submissions should make clear the relevance to verification and validation of autonomous systems, identify the main contribution of the work, explain its significance, its novelty, and include comparisons with the relevant literature. Extended abstracts (demo) should describe a demonstration to be presented at the workshop and, if possible, include links to a video relating to the proposed demonstration. Accepted papers will be collected together as an informal pre-proceedings and made available via the workshop website. Submissions from PC members are encouraged. Important Dates 16th April 2018: Submission deadline. 8th May 2018: Acceptance notification. 16th May 2018: Camera-ready version deadline. 18th-19th July 2018: Workshop Proceedings The submitted papers will be collected together as an informal pre-proceedings that will be available via the workshop website. Depending on the success of the event, a journal issue may be organised following the workshop. All papers submitted to the special issue will be re-refereed and will have to adhere to the usual standards of high quality journal articles, including novelty. General Chair Michael Fisher, University of Liverpool Program Chairs Clare Dixon, University of Liverpool Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London From sabel at ki.informatik.uni-frankfurt.de Tue Jan 23 14:45:53 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Tue, 23 Jan 2018 14:45:53 +0100 Subject: PPDP 2018: First Call for Papers Message-ID: ======================================================================                 PPDP 2018: First Call for Papers ======================================================================                  20th International Symposium on         Principles and Practice of Declarative Programming          Frankfurt am Main, Germany, 3-5 September 2018         http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html              Frankfurt, Germany, September 4-6, 2018              (co-located with LOPSTR 2018 and WFLP 2018) ====================================================================== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declaractive programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to -   Language Design: domain-specific languages; interoperability;     concurrency, parallelism, and distribution; modules; probabilistic     languages; reactive languages; database languages; knowledge     representation languages; languages with objects; language     extensions for tabulation; metaprogramming. -   Implementations: abstract machines; interpreters; compilation;     compile-time and run-time optimization; memory management. -   Foundations: types; logical frameworks; monads and effects;     semantics. -   Analysis and Transformation: partial evaluation; abstract     interpretation; control flow; data flow; information flow;     termination analysis; resource analysis; type inference and type     checking; verification; validation; debugging; testing. -   Tools and Applications: programming and proof environments;     verification tools; case studies in proof assistants or interactive     theorem provers; certification; novel applications of declarative     programming inside and outside of CS; declarative programming     pearls; practical experience reports and industrial application;     education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team atAptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author'srights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== -   23.04.2018 paper submission -   14.06.2018 rebuttal period (48 hours) -   25.06.2018 notification -   16.07.2018 final papers -   03.09.2018 conference starts From giacomo.cabri at unimore.it Tue Jan 23 22:20:09 2018 From: giacomo.cabri at unimore.it (gcabri@unimore.it) Date: Tue, 23 Jan 2018 22:20:09 +0100 Subject: CfP: 1st Workshop on Actors, Agents, Assistants, Avatars (4A'18) Message-ID: <5bcdbcc0-2191-4f89-a227-5adccd334795@unimore.it> 1st Workshop on Actors, Agents, Assistants, Avatars (4A'18) Poznañ, Poland, September, 9-12, 2018 https://fedcsis.org/2018/4a The field of, broadly understood, agent technology is undergoing rapid changes. What was once envisioned, primarily, in research papers becomes reality. Over last few years we observe proliferation of personal assistants and avatars (sometimes considered under a joint umbrella of ChatBots). For instance, consider Siri, Cortana, Amazon Echo, or Google Assistant (to name the most popular). They can help in different activities, but a lot of work remains before they reach full potential. Furthermore, actors start to materialize in real-world applications – as a promising approach to implement large-scale distributed systems. It is also worthy noticing that avatars, humans and smart things can cooperate as a community that instantiates, contributes to and exploits various aspects of collective intelligence. Here, observe that agents can play very relevant role in the context of implementing, for example, intelligence of smart devices, which interact with each other and with humans, by common communication channels and, possibly even, social networks. At the same time, software tools that can be used to realize 4A systems have reached maturity and are surrounded by active user communities. TOPICS To recognize the current trends we have decided to develop a new workshop that will cover all aspects concerning the 4A’s. Therefore, we welcome submissions of original papers concerning the following topics (the list is not exhaustive and deliberately provided on a meta-level): • Actors, as an approach to design and (efficiently) implement distributed systems • Current perspectives on software agents and multi-agent systems • Design and implementation of assistants • ChatBot design, implementation and use • Avatars for today and tomorrow • Theoretical foundations of 4A-based systems • 4A-based simulations (with application to real-world use cases, in particular) • Case studies, applications and experiences with 4A’s (in real-world, in particular) DEMO-SESSION A special session devoted to demonstration of working prototypes is planned. Special recognition for the best demo will be given. PAPER SUBMISSION AND PUBLICATION • Authors should submit draft papers (as Postscript, PDF or MSWord file). • The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here. • Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop. • Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants. • Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database. • Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site. • Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar • Extended versions of selected papers presented during the conference will be invited to the Special Issue of * Scalable Computing; Practice and Experience * Complex Adaptive Systems Modeling (fee waiver is expected) * Multiagent and Grid Systems PROGRAM COMMITTEE • Agotnes, Thomas, University of Bergen, Norway • Ambroszkiewicz, Stanislaw, Institute of Computer Science, Polish Academy of Sciences, Poland • Barseghyan, Artak, Yerevan, Armenia • Braubach, Lars, University of Hamburg, Germany • Budimac, Zoran, Faculty of Sciences, Univ. of Novi Sad, Serbia • Byrski, Aleksander, AGH University of Science and Technology, Poland • Cabri, Giacomo, University of Modena and Reggio Emilia, Italy • Di Napoli, Claudia, CNR ICAR, Italy • Fernández, Alberto, Universidad Rey Juan Carlos, Spain • Florea, Adina, University POLITEHNICA of Bucharest, Romania • Jedrzejowicz, Piotr, Gdynia Maritime University, Poland • Jezic, Gordan, University of Zagreb, Croatia • Kaleta, Mariusz, Warsaw University of Technology, Poland • Kruczkiewicz, Zofia, Wroc³aw University of Technology, Poland • Kusek, Mario, University of Zagreb, Faculty of Electrical Engineering and Computing, Croatia • Leszczyna, Rafal, Gdansk University of Technology, Poland • Letia, Ioan Alfred, Technical University of Cluj-Napoca, Romania • Morge, Maxime, Université de Lille, France • Negru, Viorel, West University of Timisoara, Romania • Neruda, Roman, Institute of Computer Science, Academy of Sciences of the Czech Republic, Czech Republic • Ngoc-Thanh, Nguyen, Wroclaw University of Science and Technology, Poland • Niazi, Muaz, COSMOSE Research Group, COMSATS Institute of IT, Pakistan • Oliveira, Eugenio, Faculty of Engineering, University of Porto, Portugal • Omicini, Andrea, Alma Mater Studiorum–Universit? di Bologna, Italy • Oren, Nir, University of Aberdeen, United Kingdom • Ouedraogo, Moussa, Public Research Centre Henri Tudor, Luxembourg • Paik, Incheon, University of Aizu, Japan • Poggi, Agostino, DII - University of Parma, Italy • Pokahr, Alexander, Helmut-Schmidt-Universität/Universität der Bundeswehr Hamburg, Germany • Rahimi, Shahram, Southern Illinois University, United States • Rimassa, Giovanni, Whitestein Technologies AG, Switzerland • Rykowski, Jarogniew, Poznan University of Economics, Poland • Sakellariou, Ilias, University of Macedonia, Greece • Santoro, Corrado, University of Catania, Italy • Schaefer, Robert, AGH University of Science and Technology, Poland • Senatore, Sabrina, DIEM University of Salerno, Italy • Tang, Yuqing, Carnegie Mellon University, United States • Thimm, Matthias, University of Koblenz-Landau, Germany • Venticinque, Salvatore, University of Campania "Luigi Vanvitelli", Italy • Vouros, George, University of Piraeus, Greece • Wahjudi, Paulus, Marshall Unviersity, United States EVENT CHAIRS • Badica, Costin, University of Craiova, Romania • Ganzha, Maria, Warsaw University of Technology, Poland • Ivanoviæ, Mirjana, University of Novi Sad, Serbia • Paprzycki, Marcin, Systems Research Institute Polish Academy of Sciences, Poland • Unland, Rainer, Universität Duisburg-Essen, Germany -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Full Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From jpg at ruc.dk Wed Jan 24 09:44:29 2018 From: jpg at ruc.dk (John Patrick Gallagher) Date: Wed, 24 Jan 2018 08:44:29 +0000 Subject: DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation References: <49A73E1C-84E5-4244-9C75-9B069B03D4EE@ruc.dk> Message-ID: FINAL CALL FOR PAPERS ************************** *** DEADLINE EXTENSION *** ************************** Sixth International Workshop on Verification and Program Transformation April 20th 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 29th, 2018: Paper submission deadline - Extended!!! February 19th, 2018: Acceptance notification February 25th, 2018: Camera ready version (for the pre-proceedings) April 20th, 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 The post-proceedings will be published in the Electronic Proceedings in Theoretical Computer (EPTCS) series (http://about.eptcs.org/), as was done for previous editions of VPT. If the workshop attracts 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 gvidal at dsic.upv.es Wed Jan 24 11:00:23 2018 From: gvidal at dsic.upv.es (German Vidal) Date: Wed, 24 Jan 2018 11:00:23 +0100 Subject: Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <989DF62A-E74B-44A4-8897-6269CDABD552@dsic.upv.es> (apologies for multiple copies) Call for Papers 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: TBA Submission deadlines: - Paper submission: 15 April 2018 - Paper notification: 15 May 2018 - Camera-ready: 31 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 From karl.h.hammar at gmail.com Wed Jan 24 11:18:51 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Wed, 24 Jan 2018 11:18:51 +0100 Subject: CFP: Call for Workshop and Tutorial Proposals, JOWO @ FOIS 2018 Cape Town Message-ID: (with apologies for cross-posting) JOWO @ FOIS 2018 Cape Town Call for Workshop and Tutorial Proposals http://www.iaoa.org/jowo2018/ * Submission deadline: March 2, 2018 * The International Association for Ontology and its Applications, IAOA, invites proposals for workshops and tutorials for the 4th Joint Ontology Workshops, JOWO 2018, to be held in conjunction with the 10th International Conference on Formal Ontology and Information Systems (FOIS 2018) in Cape Town, South Africa, on September 17-21, 2018 (http://fois2018.cs.uct.ac.za/). Workshops and tutorials at JOWO 2018 are events whose scientific program is independently established by the workshop organizer. The workshop organizers will be responsible for advertising the workshop and reviewing and selecting the contributions. Workshops can be events that provide a forum for the discussion of topics that may complement the main conference or focus on specialized sub-topics related to formal ontology and its application in information systems. We specifically invite proposals by IAOA Special Interest Groups and Technical Committees. Previous JOWO editions were held in 2017 in Bolzano (Italy), in conjunction with FOIS 2016 in Annecy (France), and at IJCAI 2015 in Buenos Aires (Argentina). As in earlier years, all contributions to JOWO workshops will be published in a joint CEUR proceedings volume, together with the contributions to the Early Career Symposium. JOWO 2015: http://ceur-ws.org/Vol-1517/ JOWO 2016: http://ceur-ws.org/Vol-1660/ JOWO 2017: http://ceur-ws.org/Vol-2050/ Together, the JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats. Researchers and practitioners interested in the theory, practice, development and/or application of ontologies are invited to submit workshop proposals for review. We encourage several forms and length of workshops (the list is non-exhaustive): - workshops that focus on an established research area, including continuations of workshops that were already held in the past; - workshops that focus on emerging topics and applications, or on open research questions and challenges; - workshops that aim to create cross-disciplinary research fostering exchange of ideas between groups otherwise mostly disconnected. SUBMISSION Proposals for workshops and tutorials should be no more than 2 pages in length, and must contain the following information: - title of the workshop/tutorial; - names of the workshop/tutorial organizers; - brief description of experience in workshop/tutorial organization; - description of the workshop/tutorial topic; - brief statement on the relation and relevance of the workshop to FOIS; - intended duration of the workshop (half-day, full-day); - timeline for the workshop (submission dates, notification dates), taking into account the notification date of FOIS and the proposed Workshop Submission Deadline. Workshop proposals should be sent to jowoworkshops2018 at gmail.com by March 2, 2018. EVALUATION Submissions for workshop proposals will be evaluated by members of the FOIS organizing and program committee, using the following criteria: - Scientific relevance and utility to attendees; - Quality of the proposal; - Likelihood of success of the workshop; - Complementarity with FOIS and overlap with other workshops. IMPORTANT DATES - March 2, 2018 - Proposal submission deadline - March 19, 2018 - Acceptance notification - March 26, 2018 - JOWO at FOIS workshops and events announced - May 30, 2018 - Notification for submissions to FOIS main conference - June 18, 2018 - Recommended submission deadline for workshop contributions (after notification for FOIS submissions) - Sept 17-21, 2018 - FOIS 2018 in Cape Town - Sept 17-18, 2018 - JOWO 2018 at FOIS - Sept 19-21, 2018 - FOIS 2018 main conference FURTHER INQUIRIES In case of further questions please contact the JOWO chairs via: jowoworkshops2018 at gmail.com CONFERENCE ORGANISATION JOWO 2018 Chairs: Ludger Jansen, Ruhr University Bochum, Germany Daniele P. Radicioni, University of Torino, Italy FOIS General Chair: Oliver Kutz, University of Bozen-Bolzano, Italy FOIS Program Chairs: Stefano Borgo Laboratory for Applied Ontology, Trento, Italy Pascal Hitzler, Data Semantics Laboratory, Wright State University, USA FOIS Local Organization: Maria Keet, University of Cape Town, South Africa FOIS Publicity: Karl Hammar, Jönköping University, Sweden FOIS Early Career Symposium: Emilio Sanfilippo, Laboratory for Applied Ontology, Trento, Italy Maria Hedblom, Otto-von-Guericke University, Magdeburg, Germany Zubeida Khan, University of Cape Town, South Africa -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Wed Jan 24 17:50:27 2018 From: grlmc at grlmc.com (GRLMC) Date: Wed, 24 Jan 2018 17:50:27 +0100 Subject: DeepLearn 2018: early registration February 14 Message-ID: <545102060a010b0604575607050b5a00070307580601500505500f540f5350045c580505055b0556015e5456545307@grlmc_ip-zone_com-6> DeepLearn 2018: early registration February 14*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA-London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: February 14, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 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 deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 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:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Calata Molo Vecchio 15 Modulo 5 – 1° piano 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Li Deng (Citadel), tba   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (Microsoft Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), tba   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (Nanjing Normal University), [introductory/intermediate] Convolutional Neural Network and Its Variants   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 July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   ORGANIZING COMMITTEE:   Francesco Masulli (co-chair) Manuel J. Parra-Royón David Silva (co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/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 estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From S.Linker at liverpool.ac.uk Fri Jan 26 16:22:12 2018 From: S.Linker at liverpool.ac.uk (Linker, Sven) Date: Fri, 26 Jan 2018 15:22:12 +0000 Subject: DEADLINE EXTENSION: SCAV 2018 - 2nd Workshop on Safe Control of Autonomous Vehicles Message-ID: <89315ffcfda8408ca8e890f8d471f65b@liverpool.ac.uk> [[ apologies if you receive multiple copies ]] Due to several requests, we chose to extend the deadline for submission for a week. SCAV 2018 2nd International Workshop on Safe Control of Autonomous Vehicles hosted by CPS Week 2018, April 10-13, 2018, Porto, PT # Important Dates (AoE) # Full paper deadline: 02 Feb 2018 (NEW!) Author notification: 28 Feb 2018 Camera-ready due: 20 Mar 2018 Workshop: 10 Apr 2018 Autonomous vehicles (AV) of any kind (e.g. road, maritime, aerial, unmanned) and in any configuration (e.g. individual, connected, cooperative, traffic) will provide novel services having to fulfill strong safety requirements. For controllers of AVs and for control schemes of AV collectives, we must (1) guarantee safety and resilience, (2) deliver verified system designs for (1), and (3) enhance verification approaches for (1) & (2). These objectives will play a decisive role in the adoption of AVs as a consumer, transport, and mobility technology. These objectives demand novel approaches to the analysis and assurance of local, distributed, and supervisory controllers. The goal of this workshop is to discuss and consolidate models, algorithms, and verification approaches for safety and resilience of the whole control loop of autonomous machines and machine collectives. The task of this workshop is to identify open research problems, discuss recent achievements, bring together researchers in, e.g. control theory, adaptive systems, machine self-organization and autonomy, mobile intelligent robotics, transportation, traffic control, machine learning, software verification, and dependability and security engineering. For this interactive single-day workshop we plan a keynote, an optional poster session, and a final discussion. # Paper Categories # * technical research or methodology (max. 8 pages incl. bib.), * case studies (max. 8 pages incl. bib.), and * problem statements or tools (max. 2 pages incl. bib.) # Topics # We kindly request contributions to (but not limited to): ** formal verification and validation (e.g. testing, simulation, experimentation) of * safe high-performance requirements, * safe non-deterministic behaviors (weakest invariants), * safe off-line and on-line machine-learnable behaviors, * resilience against hazardous unintentional or malicious misuse (e.g. non-vigilance, security attacks), ** formal models and design methods for * controllers, * monitors, * platforms (i.e., architecture, SW, HW, network), ** verified efficient algorithms for * incremental and online synthesis of controllers, * optimal adaptive control, * self-adaptation and run-time reconfiguration for AVs and AV collectives in open environments. # Workshop Format # All submissions are expected to be original work not published, or in submission, elsewhere, and will be peer-reviewed by at least three members of the program committee for quality, relevance, and novelty. Accepted papers will be included in the electronic CPSWeek workshop proceedings. Please, check our workshop website for updates! # Workshop Organizers # Mario Gleirscher (U York, UK) Stefan Kugele (TU Munich, DE) Sven Linker (U Liverpool, UK) # Workshop Website # http://scav.in.tum.de # Contact # mario.gleirscher at york.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Mon Jan 29 11:13:57 2018 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 29 Jan 2018 11:13:57 +0100 Subject: [AAMAS18] - Call for Demos - LAST CALL Message-ID: <5522610180962114031258@Galvatron> *************************************************** Call for Demos - LAST CALL *************************************************** Seventeenth International Conference on Autonomous Agents and Multiagent Systems July 10-15, 2018, Stockholm, Sweden Important Dates --------------------- Demonstration Submission: ***** 16th of February 2018 (23:59 UTC-12) ***** Author Notification: 29th of March 2018 (23:59 UTC-12) Camera Ready Submission: 7th of May 2018 (23:59 UTC-12) Information for Authors ------------------------------- The goal of the AAMAS Demo track is to provide opportunities for participants from academia and industry to present their latest developments in agent-based and robotic systems. Interactive systems and novel applications are particularly welcome. Two �Best Demo� awards will be assigned by the Program Committee to recognize the most innovative demo (the one with the most original and significant research methodologies) and the best application demo (the one with the highest impact in a real-world application). For further information: -------------------------------- http://celweb.vuse.vanderbilt.edu/aamas18/callForDemos/ Demonstration Chairs: ----------------------------- Alessandro Farinelli (University of Verona) Iolanda Leite (KTH Royal Institute of Technology) From jsabater at iiia.csic.es Mon Jan 29 11:21:29 2018 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 29 Jan 2018 11:21:29 +0100 Subject: [AAMAS18] - Doctoral Consortium - Call for submissions Message-ID: <5522610180962880514424@Galvatron> ************************************** AAMAS 2018 - Doctoral Consortium Seventeenth International Conference on Autonomous Agents and Multiagent Systems July 10-15, 2018, Stockholm, Sweden ****************************************** The AAMAS 2018 doctoral mentoring program is intended for Ph.D. students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. ******************************************** IMPORTANT THINGS TO NOTE: - please use easychair to submit a SINGLE PDF containing all requested infos and documents, except the recommendation letter (see below) - Submission due: 18th February 2018 - Doctoral Mentoring Program: 10th July 2018 - please notice that THERE WILL BE NO DEADLINE EXTENSION; 18 OF FEBRUARY IS A FIRM DEADLINE ******************************************** Specifically, the goals of the program are: ------------------------------------------- To match each student with an established researcher in the community who will act as a mentor. The mentor will interact closely with the student, provide feedback on research, and help the student form new contacts. To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. To provide students with new contacts and professional networking opportunities. The doctoral mentoring program will consist of a one day doctoral symposium and the opportunity for interaction between mentors and their mentees during the conference. Submission Requirements ------------------------ We encourage submissions from Ph.D. students at advanced stages of their research within the Autonomous Agents and Multiagent Systems field. Each submission package should include the following items: - An extended abstract of the Ph.D. thesis (2-pages in the AAMAS paper submission format) - A short text or table that includes the following items: * affiliation (institute, etc.) * area of study (3-5 keywords) or title of thesis (if already decided) * name and contact data of supervisor * year when the Ph.D. started * expected time until submission of Ph.D. thesis * a list with names of suggested mentors (at least 3) * a list of your favorite papers in the area (3-5 papers) * a list of own papers (max. 3 papers) * whether you have participated in the AAMAS doctoral mentoring program before * A short resume (2-pages) that includes: * citizenship and gender * what you expect from the doctoral consortium * what you expect from participating in the AAMAS conference * A recommendation letter from the advisor (max. 1 page), sent separately by the advisor her/himself to both chairs (see addresses below). Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. Submission Details: ------------------- Those interested in participating in the doctoral mentoring program should submit the required document, in one single PDF, to https://easychair.org/conferences/?conf=dcaamas18 For questions, please contact the doctoral mentoring co-chairs: Ana Lucia C. Bazzan Universidade Federal do Rio Grande do Sul, Brazil Email adress: bazzan at inf.ufrgs.br Birgit Lugrin University of Wuerzburg, Germany Email adress: birgit.lugrin at uni-wuerzburg.de From bucchiarone at fbk.eu Mon Jan 29 15:01:20 2018 From: bucchiarone at fbk.eu (Antonio Bucchiarone) Date: Mon, 29 Jan 2018 15:01:20 +0100 Subject: 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2018 CFP Message-ID: ==================================================================================== CALL FOR PAPERS 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2018 - September 3-7, 2018 Trento, Italy https://saso2018.fbk.eu Part of FAS* - Foundations and Applications of Self* Systems Co-located with the IEEE International Conference on Autonomic Computing (ICAC 2018) ==================================================================================== AIMS AND MOTIVATION The aim of the Self-Adaptive and Self-Organizing Systems conference series (SASO) is to provide a forum for the presentation and discussion of research on the foundations of engineered systems that self-adapt and self-organize. The complexity of current and emerging networks, software, and services can be characterized by issues such as scale, heterogeneity, openness, and dynamics in the environment. This has led the software engineering, distributed systems, and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, chemistry, psychology, sociology, and biology) to find new ways of designing and managing such computing systems in a principled way. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis of many other so-called self-* properties, such as self-configuration, self-healing, or self-optimization. SASO aims to be an interdisciplinary meeting, where contributions from participants with different backgrounds leads to the fostering of a cross-pollination of ideas, and where innovative theories, frameworks, methodologies, tools, and applications can emerge. SCOPE The twelfth edition of the SASO conference embraces this interdisciplinary nature, and welcomes novel contributions to both the foundational and application-focused dimensions of self-adaptive and self-organizing systems research. We are looking for contributions that present new fundamental understanding of self-adaptive and self-organizing systems and how they can be engineered and used. The topics of interest include, but are not limited to: - Self-* Systems theory: nature-inspired and socially-inspired paradigms and heuristics; inter-operation of self-* mechanisms; theoretical frameworks and models; control theory; - Self-* System properties: robustness; resilience; stability; anti-fragility; diversity; self-reference and reflection; emergent behavior; computational awareness and self-awareness; - Self-* Systems engineering: reusable mechanisms and algorithms; design patterns; architectures; methodologies; software and middleware development frameworks and methods; platforms and toolkits; multi-agent systems; - Theory and practice of self-organization: self-governance, change management, electronic institutions, distributed consensus, commons, knowledge management, and the general use of rules, policies, etc. in self-* systems; - Theory and practice of self-adaptation: mechanisms for adaptation, including evolution, logic, learning; adaptability, plasticity, flexibility; - Socio-technical self-* systems: human and social factors; visualization; crowdsourcing and collective awareness; humans-in-the-loop; ethics and humanities in self-* systems; - Data-driven approaches to self-* systems: data mining; machine learning; data science and other statistical techniques to analyze, understand, and manage the behavior of complex systems; - Self-adaptive and self-organizing hardware: self-* materials; self-construction; reconfigurable hardware; - Self-* Systems Education: experience reports; curricula; innovative course concepts; methodological aspects of self-* systems education; - Applications and experiences with self-* systems: smart grid, smart cities, smart homes, adaptive industrial plants, cyber-physical systems; autonomous vehicles and robotics; traffic management; self-adaptive cyber-security; Internet of Things; fog/edge computing; etc. IMPORTANT DATES Abstract submission: April 16, 2018 Paper submission: April 23, 2018 Notification: June 4, 2018 Camera ready copy due: July 2, 2018 Conference: September 3-7, 2018 SUBMISSION INSTRUCTIONS Submissions can have up to 10 pages formatted according to the standard IEEE Computer Society Press proceedings style guide. Please submit your papers electronically in PDF format using the SASO 2018 conference management system: https://easychair.org/conferences/?conf=saso2018 The proceedings will be published by IEEE Computer Society Press, and made available as a part of the IEEE Digital Library. Note that a separate Call for Poster and Demo Submissions will also be issued. As per the standard IEEE policies, all submissions should be original, i.e., they should not have been previously published in any conference proceedings, book, or journal and should not currently be under review for another archival conference. We would like to also highlight IEEE’s policies regarding plagiarism and self-plagiarism (http://www.ieee.org/.../ID_Plagiarism.html). Where relevant and appropriate, accepted papers will also be encouraged to participate in the Demo or Poster Sessions. REVIEW CRITERIA Papers should present novel ideas in the cross-disciplinary research context described in this call, motivated by problems from current practice or applied research. Both theoretical and empirical contributions should be highlighted, substantiated by formal analysis, simulation, experimental evaluations, or comparative studies, etc. Appropriate references must be made to related work. Due to the cross-disciplinary nature of the SASO conference, we encourage papers to be intelligible and relevant to researchers who are not members of the same specialized sub-field. Authors are also encouraged to submit papers describing applications. Application papers should provide an indication of the real-world relevance of the problem that is solved, including a description of the domain, and an evaluation of performance, usability, or comparison to alternative approaches. Experience papers are also welcome, especially if they highlight insights into any aspect of design, implementation or management of self-* systems that would be of benefit to practitioners and the SASO community. All submissions will be rigorously peer reviewed and evaluated based on the quality of their technical contribution, originality, soundness, significance, presentation, understanding of the state of the art, and overall quality. CONFERENCE GENERAL CHAIRS Antonio Bucchiarone (Fondazione Bruno Kessler, IT) Alberto Montresor (University of Trento, IT) PROGRAM CHAIRS Jake Beal (Raytheon BBN Technologies, USA) Nelly Bencomo (Aston University, UK) Jean Botev (University of Luxembourg, LU) -- -- Le informazioni contenute nella presente comunicazione sono di natura privata e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai destinatari indicati e per le finalità strettamente legate al relativo contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente. -- The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From riccardo.zese at unife.it Mon Jan 29 17:04:43 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Mon, 29 Jan 2018 17:04:43 +0100 Subject: [CFP] ILP 2018 *journal track deadline approaching* - Conference and Journal Track Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- ILP 2018 Joint Call for Papers The 28th International Conference on Inductive Logic Programming September 2nd - 4th, Ferrara, Italy http://ilp2018.unife.it/ ---------------------------------------------------------------------- The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. ILP 2018 is also encouraging submissions on (combination with) other areas such as cognitive technologies, neural networks and deep relational learning, knowledge acquisition from big data and the cloud, as well as contributions on the application of any of these solutions to real world problems. * We are glad to announce two awards for best papers and student best papers. The awards are sponsored by Springer and Machine Learning Journal. * ILP 2018 will feature two tracks: a conference track and a journal track. * NOTE: Journal track final deadline is approaching. * 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: 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 cutoff date. The last cutoff date is: * 5th February 2018 (APPROACHING) The deadline on this date is midnight, Central European Time. Papers rejected at this track are welcome to the conference track. Additional information about the submission guidelines is available at http://ilp2018.unife.it/call-for-papers/journal-track. CONFERENCE TRACK -------------- 1. Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Accepted long paper submissions will be split in regular papers, accepted for appearing in Springer LNAI conference proceedings, and up-and-coming papers, accepted for appearing in CEUR proceedings, depending on the maturity of the submitted work. Regular papers will be assigned a long time slot for presentation, up-and-coming papers will be assigned a shorter time slot for presentation. 2. Short papers describing original work in progress presenting preliminary results, brief accounts of original ideas, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. Accepted short papers will be assigned a reduced time slot for presentation and will be published on CEUR proceedings. 3. Work in progress abstracts describing ideas and proposals that the author(s) would like to present at the conference. Submissions will be accepted/rejected on the grounds of relevance. Accepted abstracts will be assigned a reduced time slot and will be published on the conference website but will not appear in the conference proceedings. 4. Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/ PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. These will be accepted/rejected on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation and will not appear in the conference proceedings, however a link to the original work will be inserted in CEUR. Submissions of long papers and short papers (categories 1 and 2) must not have been published or be under review for a journal or for another conference with published proceedings. Submissions must be in Springer LNAI format, according to the Springer LNCS author instructions downloadable at http://www.springer.com/comp/lncs/Authors.html Already published papers should be submitted in their original format and the authors should indicate the original publication venue. More information about submission process will be published soon. Publication: Regular papers will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. Regular papers must not exceed 15 pages including references. Up-and-coming and short papers will be included in the Late Breaking Papers proceedings, to be published by Sun SITE Central Europe CEUR Workshop proceedings. Up-and-coming papers must not exceed 15 pages including references, while short papers must not exceed 7 pages including references. Work in progress abstracts will be published on the conference website but will not be included in the conference proceedings. Given their nature of preliminary proposals, they must be of 1 to 6 pages including references. A link to already published papers will be included in the Late Breaking Papers CEUR proceedings. At least one of the authors of accepted papers/abstracts must register for the conference, and present his work. Important Dates: * Abstract registration: 16th May 2018 * All papers submission: 23rd May 2018 * All papers notification: 3rd July 2018 * Work in progress abstracts and already published papers submission: 22nd July 2018 * Work in progress abstracts and already published papers notification: 27th July 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/conference-track. 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 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 From riccardo.zese at unife.it Mon Jan 29 17:09:07 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Mon, 29 Jan 2018 17:09:07 +0100 Subject: [CfP] IJAR Special issue on Probabilistic Logic Programming Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- 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 From C.Orasan at wlv.ac.uk Wed Jan 31 02:00:27 2018 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Wed, 31 Jan 2018 01:00:27 +0000 Subject: Reminder: Lecturer/Senior Lecturer in Translation Technology (permanent) References: <1516273911.4411.5.camel@wlv.ac.uk> Message-ID: <1517360426.20569.6.camel@wlv.ac.uk> [apologies for cross-posting] Lecturer/Senior Lecturer in Translation Technology (permanent) Salary £34,520 to £49,149 Closing date: 8th Feb 2018 The Research Group in Computational Linguistics at the University of Wolverhampton (http://rgcl.wlv.ac.uk) is currently recruiting a Lecturer/Senior Lecturer in Translation Technology (permanent). The purpose of this post is to strengthen the research group by enhancing its research and publications in the field of translation technology. The appointed candidate will be expected to produce REF-returnable outputs, attract external income, seek industrial collaborations, teach at Masters level and supervise PhD students. He/she will join a recently appointed research fellow and two PhD students in translation technology. All these posts are part of a university investment in the area of translation technology. Profile ------- The successful candidate will hold a PhD (or equivalent) in a field related to machine translation, translation memories or translation technologies, and will have carried out research in the area at a university, research institute or in a related part of the private sector in the UK or abroad. They will be proficient in a range of subject-specific skills and ideally will have experience in site-based research settings. A background in computer science or programming experience will be a bonus. The post holder will be able to demonstrate the ability to work independently to develop new research and contribute to collaborative projects. The appointed candidate will have evidence of an individual track record in research which is at the cutting edge of machine translation and/or translation technology and is recognised internationally (e.g. through publications in journals). They should have experience in preparation of bids for funds from external sources which include both UK and non-UK funding bodies. Candidates should have teaching experience and a track record in supervising Masters students. For the Senior Lecturer position, candidates are expected to provide evidence of supervising students at PhD level and leadership skills. In addition, they should have successfully bid for funds from external sources. How to apply ------------ The applications should be made via the University of Wolverhampton's e-recruitment site: https://jobs.wlv.ac.uk/vacancies.html (Reference: 11083) The applications should include an up to date CV and a cover letter detailing their experience in the area and research plans for the next three years. The closing date for the applications is 8th Feb 2018. Interview dates to be confirmed. Start of the posts: to be agreed with the successful candidates. For informal discussion about the role please contact Dr Constantin Orasan (c.orasan at wlv.ac.uk). The Research Group in Computational Linguistics ----------------------------------------------- The Research Group in Computational Linguistics (http://rgcl.wlv.ac.uk) at the University of Wolverhampton was founded by Prof. Ruslan Mitkov in 1998 and is one of the leading research groups in computational linguistics in the UK. The group is well known for its high level research with strong international and inter-sector collaboration, and is renowned for its innovative NLP research and development of various NLP tools and resources. RGCL was the coordinator of the recently completed EXPERT project (http://expert-itn.eu) which trained young researchers to promote the research, development and use of hybrid language translation technologies. The lecturer/senior lecturer to be appointed is expected to continue the work in this direction. -- 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 From flins2018 at ulster.ac.uk Wed Jan 31 10:20:52 2018 From: flins2018 at ulster.ac.uk (FLINS2018) Date: Wed, 31 Jan 2018 09:20:52 +0000 Subject: Extended Deadline - February 28 2018): CFP of FLINS2018 on Data Science and Knowledge Engineering for Sensing Decision Support & ISKE2018 on Intelligent Systems and Knowledge Engineering, August 21-24, 2018, Belfast, Northern Ireland, United Kingdom Message-ID: [Apologies for cross-posting] 13th International FLINS conference on Data Science and Knowledge Engineering for Sensing Decision Support (FLINS2018) & 13th International Conference on Intelligent Systems and Knowledge Engineering (ISKE2018) August 21-24, 2018, Belfast, Northern Ireland, United Kingdom http://scm.ulster.ac.uk/flins2018/ Dear Friends, Greetings from FLINS2018/ISKE2018! We are very much delighted to invite you, on behalf of the organizing committee, to submit a paper and participate as a speaker at the upcoming "13th International FLINS Conference on Data Science and Knowledge Engineering for Sensing Decision Support (FLINS2018)", which will be jointly held with the "13th International Conference on Intelligent Systems and Knowledge Engineering (ISKE2018)"during August 21-24, 2018 at Belfast, the birthplace of Titanic and the capital city of Northern Ireland, UK. All accepted papers (oral and poster presentations) in FLINS2018/ISEK2018 will be published as a book by the World Scientific and it will be included in the ISI proceedings, included in EI Compendex for indexing as well as indexed in Scopus. Special issues of several (six) SCI indexed journals will be devoted to a strict refereed selection of extended papers. Important Dates * Full paper submission (extended and strict) deadline: February 28, 2018 * Notification of acceptance: April 01, 2018 * Camera-ready paper submission: April 15, 2018 * Authors registration: April 20, 2018 Call for Papers of FLINS2018: http://scm.ulster.ac.uk/FLINS2018/wp-content/uploads/2018/01/CFP_FLINS2018.pdf Call for Papers of ISKE2018: http://scm.ulster.ac.uk/FLINS2018/wp-content/uploads/2018/01/ISKE2018_CFP.pdf FLINS2018 Special Sessions: http://scm.ulster.ac.uk/FLINS2018/special-session/ Keynote Speakers: http://scm.ulster.ac.uk/FLINS2018/invited-speakers/ Tutorial of FLINS2018: http://scm.ulster.ac.uk/FLINS2018/tutorials/ Each paper, written in English, should be between 6-8 pages (minimum 6 pages and the maximum 8 pages), including references and Illustrations. All papers to be submitted to the FLINS 2018 should follow the templates below: Word template Latex2e template E-submissions in PDF format are strongly recommended. Please submit your papers via EasyChair at https://easychair.org/conferences/?conf=flins2018. Thank you for your time and looking forward to your participation. Contact Information: * FLINS2018 * School of Computing, Ulster University, Northern Ireland, UK * Email: flins2018 at ulster.ac.uk This email and any attachments are confidential and intended solely for the use of the addressee and may contain information which is covered by legal, professional or other privilege. If you have received this email in error please notify the system manager at postmaster at ulster.ac.uk and delete this email immediately. Any views or opinions expressed are solely those of the author and do not necessarily represent those of Ulster University. The University's computer systems may be monitored and communications carried out on them may be recorded to secure the effective operation of the system and for other lawful purposes. Ulster University does not guarantee that this email or any attachments are free from viruses or 100% secure. Unless expressly stated in the body of a separate attachment, the text of email is not intended to form a binding contract. Correspondence to and from the University may be subject to requests for disclosure by 3rd parties under relevant legislation. The Ulster University was founded by Royal Charter in 1984 and is registered with company number RC000726 and VAT registered number GB672390524.The primary contact address for Ulster University in Northern Ireland is Cromore Road, Coleraine, Co. Londonderry BT52 1SA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marcello.balduccini at gmail.com Wed Jan 31 22:37:14 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 31 Jan 2018 16:37:14 -0500 Subject: DEADLINE APPROACHING: KR18 - Call for Tutorial and Workshop Proposals Message-ID: <201801312137.w0VLbEH9024517@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ******* DEADLINE APPROACHING ******* KR18 - Call for Tutorial and Workshop Proposals ** Apologies if you receive multiple copies of this call ** ** Please distribute to interested parties ** ======================================== Call for Tutorial and Workshop Proposals 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona (USA) Workshop/Tutorial dates: 27-29 October 2018 KR main program: 30 October to 2 November 2018 http://kr2018.org/ ******* DEADLINE APPROACHING ******* *** Deadline (for proposal submissions): 21 February 2018 *** For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** SUBMISSION INSTRUCTIONS ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically using the following submission forms: Tutorial proposal: http://tinyurl.com/kr18tute Workshop proposal: http://tinyurl.com/kr18workshop For all accepted proposals, KR will take care of all local arrangements. * SUBMISSION REQUIREMENTS FOR TUTORIAL PROPOSALS * Each tutorial proposal should contain the following information: - A short title of the tutorial. - A two-paragraph description of the tutorial. - Proposed length of the tutorial (half day is the default and recommended length, but an argument can be made for a full day tutorial). - A detailed outline of the tutorial. - The potential target audience for the tutorial and prerequisite knowledge. - A brief resume of the presenter(s) including: . Name,affiliation, and email address. . Evidence of scholarship in the area, including a list of publications. . Evidence of teaching experience. The main duties of the tutorial organizers are: - Setup a web-site for the tutorial, which should include, at least, title and abstract of the tutorial, presenters? details, outline, tutorial notes and related reading material. - Deliver the tutorial at KR 2018. * SUBMISSION REQUIREMENTS FOR WORKSHOP PROPOSALS * Each workshop proposal should contain the following information: - Title of the workshop and acronym. - Names, affiliations, and contact details of the organisers. - Short description and format. - History of the workshop (if applicable) and related events. - Size of the workshop and duration. - Tentative list of PC members with their respective affiliations. - Experience of the organisers. - Tentative call for papers. The main duties of the workshop chairs are: - Set up a website for the workshop. - Advertise the workshop and distribute its call for papers. - Coordinate the peer-reviewing of submitted contributions. - Organise a schedule for the workshop in collaboration with the local organisers and the Workshop Co-Chairs. - Coordinate and moderate the workshop participation and content. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** IMPORTANT DATES ** - Proposal submission deadline: 21 February 2018. - Notification: 31 March 2018. - Workshops paper submission deadline: 21 July 2018. - Workshops paper notification: 25 August 2018. - Workshops registration deadline: TBD. - Tutorial and workshop dates: 27-29 October 2018. ** SUBMISSIONS AND INQUIRIES ** Those interested in presenting a tutorial or workshop should register their interest and proposal in the following forms: 1) Tutorial proposals: http://tinyurl.com/kr18tute 2) Workshop proposals: http://tinyurl.com/kr18workshop Inquiries should be sent by email to the tutorials/workshop chairs: Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au Ivan Varzinczak CRIL, Univ. Artois & CNRS, France varzinczak at cril.fr