From giacomo.cabri at unimore.it Wed Feb 6 22:38:12 2019 From: giacomo.cabri at unimore.it (gcabri@unimore.it) Date: Wed, 06 Feb 2019 22:38:12 +0100 Subject: CfP: *NEW DEADLINE* 1st International Workshop on Key Enabling Technologies for Digital Factories (KET4DF) at CAiSE 2019 Message-ID: [ apologies for potential cross-postings ] =============================================          Call For Papers    1st International Workshop on  Key Enabling Technologies for Digital Factories      in conjunction with CAiSE 2019        4th June 2019, Rome, Italy https://sites.google.com/view/ket4df2019 ============================================= ** NEW ** Paper submission deadline EXTENDED TO ** March 2nd, 2019, 11:59pm Hawaii Time (hard deadline) ** Scope --------------------- The manufacturing industry is entering a new digital era in which ICT technologies and collaboration applications will be integrated with traditional manufacturing practices and processes to increase flexibility and sustainability in manufacturing, mass customization, increase automation, better quality and improve productivity. This workshop seeks at providing the opportunity for inspiration and cross-fertilization for the research groups working on technological solutions for digital factories and smart manufacturing. We welcome innovative papers from academic and industrial researchers covering a wide range of topics of interests in the computer science and computer engineering fields. Topics of interest --------------------- The topics include but are not limited to: * Digital Platform Interoperability for Digital Factories * Internet-of-things for Smart Manufacturing * Digital Factories and End-to-end supply chains * Peer Manufacturing * Model-based development in Digital Factories * M2M interaction * Information Systems for Sustainable Value Networks * Information Systems Engineering for Additive Manufacturing * Manufacturing Enterprise Architecture Engineering * Big Data Technologies and Analytics for Smart Manufacturing * Cloud, Fog, Edge Computing and other programming techniques in Manufacturing Systems * Data Mining, Machine Learning and AI in Smart Manufacturing * Data-driven decision making in Industry 4.0 * Real-time Computing in Smart Manufacturing Environments * Proactive and Autonomous Computing in Digital Factories * Intelligent Cyber-Physical Systems and Digital Twins * Context-aware and Adaptive Systems in Smart Manufacturing and Digital Factories * Digital Security, Privacy and Liability * Business Process Modeling, Analysis and Engineering * Business Impact of Information Systems for Industry 4.0 * Advanced user interfaces for Industry 4.0 * Virtual and augmented reality for smart manufacturing Important Dates --------------------- Paper submission: March 2nd, 2019 Acceptance notification: March 16th, 2019 Workshop: June 4th, 2019 --------------------- Workshop Co-chairs: --------------------- Federica Mandreoli Università di Modena e Reggio Emilia, Italy Giacomo Cabri Università di Modena e Reggio Emilia, Italy Gregoris Mentzas National Technical University of Athens, Greece Karl Hribernik Bremer Institut für Produktion und Logistik GmbH (BIBA), Germany --------------------- Workshop web site: https://sites.google.com/view/ket4df2019 --------------------- --------------------- -- |----------------------------------------------------| | 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 vitordouzi at gmail.com Wed Feb 6 22:38:12 2019 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Wed, 06 Feb 2019 22:38:12 +0100 Subject: Last CfP: Text2Story'19@ECIR'19 Message-ID: *** Apologies for cross-posting *** ++ CALL FOR PAPERS ++ ****************************************************************************************** Second International Workshop on Narrative Extraction from Texts (Text2Story'19 at ECIR'19) held in conjunction with the 41st European Conference on Information Retrieval Cologne, Germany, April 14th, 2019 Website: http://bit.ly/text2story19 ****************************************************************************************** ++ Important Dates ++ *- Submission deadline (extended): February 11th, 2019* - Acceptance Notification Date: March 11th, 2019 - Camera-ready copies: March 22nd, 2019 - Workshop: April 14th, 2019 ++ 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 (not limited): - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Multi-modal 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 - Models for detection and removal of bias in generated stories - Ethical and fair narrative generation - Fact Checking - Bots Influence - Bias in Text Documents - Automatic Timeline Generation ++ Submission Guidelines ++ We invite two kinds of submissions: - Research papers (max 7 pages + references) - Demos and position papers (max 5 pages + references) Papers must be submitted electronically in PDF format through Easy Chair ( https://easychair.org/conferences/?conf=text2story2019). All submissions must be in English and formatted according to 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. The accepted papers will appear in the proceedings published at CEUR workshop proceedings (usually indexed on DBLP). ++ Workshop Format ++ Participants of accepted papers will be given 15 minutes for oral presentations. All papers will also be also presented in an interactive poster session. ++ Invited Speakers ++ 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) Sumit Bhatia (IBM Research AI, India) ++ 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 (UFMG; INESC TEC) ++ Program Committee ++ Nicola Ferro (University of Padova) Miguel Martinez-Alvarez (Signal) João Magalhães (New University of Lisbon) Federico Nanni (University of Mannheim) Dhruv Gupta (Max Planck Institute for Informatics) Yihong Zhang (Kyoto University) Nuno Moniz (LIAAD/INESC TEC) Bruno Martins (IST and INESC-ID - Instituto Superior Técnico, University of Lisbon) Mark Finlayson (Florida International University) Marc Spaniol (Université de Caen Normandie) Nina Tahmasebi (University of Gothenburg) Florian Boudin (Université de Nantes) Henrique Lopes Cardoso (University of Porto) Udo Kruschwitz (University of Essex) Mengdie Zhuang (The University of Sheffield) Daniel Loureiro (University of Porto) Daniel Gomes (FCT/Arquivo.pt) Pablo Gamallo (University of Santiago de Compostela) Paulo Quaresma (Universidade de Evora) Sérgio Nunes (University of Porto) Álvaro Figueira (University of Porto) Gaël Dias (Normandie University) Gerasimos Lampouras (The University of Sheffield) ++ Contacts ++ Website: http://bit.ly/text2story19 For general enquiries regarding the workshop, reach the organizers at: amjorge at fc.up.pt, ricardo.campos at ipt.pt, adam at dl.kuis.kyoto-u.ac.jp, sumitbhatia at in.ibm.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fioretto.ferdinando at isye.gatech.edu Wed Feb 6 22:38:12 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Wed, 06 Feb 2019 22:38:12 +0100 Subject: CFP: The 35th International Conference on Logic Programming (ICLP 2019) Message-ID: Apologies for cross-posting The 35th International Conference on Logic Programming (ICLP 2019) Call for Papers ===================== September 21-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special sessions: * Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. * Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details. Submission Details ------------------- All submissions of the main track must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 . Regular papers must be in the condensed TPLP format and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of regular papers will be accepted: * 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. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. 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 regular papers to be published as Technical communications, which will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). Technical communications must be in the OASIcs format (template here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). The authors of the technical communications 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. All regular papers and technical communications will be presented during the conference. 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: April 27, 2019 * Paper submission: May 4, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 23, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technology Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Sun Feb 10 22:56:42 2019 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sun, 10 Feb 2019 22:56:42 +0100 Subject: 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers - DEADLINE APPROACHING In-Reply-To: References: Message-ID: DEADLINE APPROACHING [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2019 26th Workshop on Logic, Language, Information and Computation July 2nd to 5th, 2019 Utrecht, The Netherlands ORGANISATION Utrecht University, Faculty of Humanities, The Netherlands (host university) Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at Utrecht University, The Netherlands, from July 2nd to 5th, 2019. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops: -Proof Theory in Logic on July 1-2, 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area. -Compositionality in formal and distributional models of natural language semantics, on July 6, 2019. The workshop programs will be announced end of December 2018 via the WoLLIC 2019 website (https://wollic2019.sites.uu.nl). Attendance of these satellite workshops is free, but registration is required. PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2019 EasyChair website. (Please go to http://wollic.org/wollic2019/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 22, 2019, and the full paper by Feb 26, 2019 (firm date). Notifications are expected by April 5, 2019, and final papers for the proceedings will be due by April 15, 2019 (firm date). PROCEEDINGS The proceedings of WoLLIC 2019, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2019 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Lev Beklemishev – Steklov Institute Raffaella Bernardi – University of Trento Marta Bilkova – Czech Academy of Sciences Johan Bos – University of Groningen George Metcalfe – University of Bern Reinhard Muskens – University of Tilburg STUDENT GRANTS ASL sponsorship of WoLLIC 2019 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2019). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Feb 22, 2019: Paper title and abstract deadline Feb 26, 2019: Full paper deadline April 5, 2019: Author notification Apr 15, 2019: Final version deadline (firm) PROGRAMME COMMITTEE Raffaella Bernardi (University of Trento) Nick Bezhanishvili (University of Amsterdam) Ivano Ciardelli (Ludwig-Maximilians-Universität, Munich) Giuseppe Greco (Utrecht University) Philippe de Groote (INRIA Nancy) Rosalie Iemhoff (Utrecht University) (Co-CHAIR) Roberto Maieli (Department of Mathematics and Physics, University "Roma Tre”) Michael Moortgat (Utrecht University) (Co-CHAIR) Richard Moot (CNRS (LIRMM) & University of Montpellier) Larry Moss (Indiana University Bloomington) Sara Negri (University of Helsinki) Carlo Nicolai (King's College London) Valeria de Paiva (Nuance Comms and University of Birmingham) Alessandra Palmigiano (Delft University of Technology) Ruy de Queiroz (Centro de Informatica, Univ Federal de Pernambuco) Yde Venema (University of Amsterdam) Fan Yang (University of Helsinki) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Lawrence Moss, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Giuseppe Greco (Utrecht University, The Netherlands) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS In remembrance of the 85th anniversary of the award of a doctorate in Mathematics to Paul Erdős (26 March 1913 - 20 September 1996), a renowned Hungarian mathematician considered to be one of the most prolific mathematicians and producers of mathematical conjectures of the 20th century, the program of the meeting will include a screening of George Csicsery's collection of interviews "Erdős 100", a 30-minute video prepared for the centennial celebration in 2013 of Paul Erdős's birth (2018) (tbc). FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2019/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From codesec at scu.edu.cn Sun Feb 10 22:56:42 2019 From: codesec at scu.edu.cn (Cheng Huang) Date: Sun, 10 Feb 2019 22:56:42 +0100 Subject: [CFP] ISC 2019 : 22nd Information Security Conference - Deadline: 5 April 2019 Message-ID: Dear Colleagues, Apologize if you have received multiple copies. Please distribute below the ISC’19 CFP to your colleagues and students. Thank you very much. ========================================================================= Call for Papers: ISC 2019 22nd Information Security Conference New York City, 16-18 September 2019 https://isc2019.cs.stonybrook.edu/ ========================================================================= # Important Dates: - Submission Deadline: 5 April 2019 - Notification of Decision: 7 June 2019 - Camera Ready Deadline: 5 July 2019 - Conference Dates: 16–18 September 2019 # General Information The Information Security Conference (ISC) is an annual international conference covering research in theory and applications of Information Security. ISC aims to attract high quality papers in all technical aspects of information security. This includes submissions from academia, industry and government on traditional as well as emerging topics and new paradigms in these areas, with a clear connection to real-world problems, systems, or applications. # Types of Submissions Solicited Papers on all technical aspects of information security and privacy are solicited for submission. Areas of interest include, but are not limited to: - Access control - Accountability - Anonymity and pseudonymity - Applied cryptography - Authentication - Biometrics - Computer forensics - Critical infrastructure security - Cryptographic protocols - Database security - Data protection - Data/system integrity - Digital right management - Economics of security and privacy - Electronic fraud - Embedded security - Formal methods in security - Identity management - Information hiding and watermarking - Intrusion detection - Network security - Peer-to-peer security - Privacy - Secure group communications - Security in blockchain - Security in information flow - Security for the Internet of Things - Security for mobile code - Secure cloud computing - Security in location services - Security modeling and architectures - Security and privacy in social networks - Security and privacy in pervasive and ubiquitous computing - Security of e-commerce, e-business, and e-government - Security models for ambient intelligence environments - Trust models and trust policies - Information dissemination control # Instructions for Authors Submissions must be original work and may not be under submission to another venue at the time of review. Submissions are limited to 18 pages in the Springer Lecture Notes in Computer Science (LNCS) style, including bibliography and any appendices; each submission must be intelligible and self-contained within this length. The Springer llncs class file can be downloaded at lncs2e.zip. Each submission must be thoroughly anonymized, with no author names, affiliations, acknowledgements, or obvious references. Submissions must not duplicate work that was published elsewhere, or work that has been submitted in parallel to any other conference, journal or workshop that has proceedings. Authors of accepted papers must guarantee that their paper will be presented at the conference. One full registration is required for every accepted paper. Submitted papers will be uploaded and managed by hotcrp. For further details on the submission process, please visit the conference website: https://isc2019.cs.stonybrook.edu/ At least one author of each accepted paper is required to physically present the submitted work at the conference, for the paper to be included in the proceedings. # Organizing Committee ## General Chair - Michalis Polychronakis (Stony Brook University, USA) ## Program Chairs - Zhiqiang Lin (Ohio State University, USA) - Charalampos (Babis) Papamanthou (University of Maryland, USA) ## Program Committee - Elias Athanasopoulos, University of Cyprus, Cyprus - Foteini Baldimtsi, George Mason University, USA - Alex Chepurnoy, IOHK, USA and Ergo Platform, Russia - Sherman Chow, Chinese University of HK, Hong Kong - Dana Dachman-Soled, University of Maryland, USA - Lucas Davi, University of Duisburg-Essen, Germany - Brendan Dolan-Gavitt, New York University, USA - Sanjam Garg, UC Berkeley, USA - André Grégio, Federal University of Parana, Brazil - Dimitris Papadopoulos, HKUST, Hong Kong - Esha Ghosh, Microsoft Research, USA - Alexandros Kapravelos, NC State University, USA - Vasileios Kemerlis, Brown University, USA - Evgenios Kornaropoulos, Brown University, USA - Alp Kupcu, Koc University, Turkey - Andrea Lanzi, University of Milan, Italy - Juanru Li, Shanghai Jiaotong University, China - Xiapu Luo, Hong Kong Polytechnic University, Hong Kong - Alex Malozemoff, Galois, Inc, USA - Masahiro Mambo, Kanazawa University, Japan - Mark Manulis, University of Surrey, UK - Daniel Masny, Visa Research, USA - Kartik Nayak, VMware Research, USA - Nick Nikiforakis, Stony Brook University, USA - Giancarlo Pellegrino, Stanford University, USA and CISPA, Germany - Mike Reiter, University of North Carolina at Chapel Hill, USA - Brendan Saltaformaggio, Georgia Tech, USA - Roberto Tamassia, Brown University, USA - Nikos Triandopoulos, Stevens Institute of Technology, USA - Xinyu Xing, Penn State University, USA - Yu Yu, Shanghai Jiaotong University, China - Moti Yung, Columbia University, USA - Cong Wang, City University of Hong Kong, Hong Kong - Ding Wang, Peking University, China - Ruoyu (Fish) Wang, Arizona State University, USA - Xiao Wang, MIT and Boston University, USA - Yupeng Zhang, UC Berkeley, USA - Yajin Zhou, Zhejiang University, China - Jianying Zhou, Singapore University of Technology and Design, Singapore - Vassilis Zikas, University of Edinburgh, UK ## Publicity Chair - Cheng Huang (Sichuan University, China) # Steering Committee - Ed Dawson (Queensland University of Technology, Australia) - Javier Lopez (University of Malaga, Spain) - Masahiro Mambo (Kanazawa University, Japan) - Mark Manulis (University of Surrey) - Eiji Okamoto (University of Tsukuba, Japan) - Michalis Polychronakis (Stony Brook University, USA) - Susanne Wetzel (Stevens Institute of Technology, USA) - Yuliang Zheng (University of Alabama at Birmingham, USA) - Jianying Zhou (Singapore University of Technology and Design, Singapore) # Sponsorship Opportunities We solicit interested organizations to serve as sponsors for ISC 2019. Please contact the general chair for details regarding sponsorship opportunities. ----------- Sincerely, Dr. Cheng Huang Sichuan University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From l.a.dennis at liverpool.ac.uk Sun Feb 10 22:56:42 2019 From: l.a.dennis at liverpool.ac.uk (Louise Dennis) Date: Sun, 10 Feb 2019 22:56:42 +0100 Subject: EMAS 2019 (EXTENDED DEADLINE): Engineering Multi-Agent Systems Message-ID: ------------------------------------------------------------------------------------------------------------------- CFP - 7th International Workshop on Engineering Multi-Agent Systems (EMAS 2019) Co-located with AAMAS 2019 13th-14th of May, 2019, Montreal, Canada Info: http://www.csc.liv.ac.uk/~lad/emas2019 Contact: emas.aamas2019 at gmail.com ------------------------------------------------------------------------------------------------------------------- A main unifying theme underlying Artificial Intelligence and Machine Learning is the idea of an intelligent agent able to reason, act, interact, and learn. This metaphor has stimulated much research in AI and particularly in Autonomous Agents and Multi-Agent Systems (MAS), giving rise to research in agent-oriented software engineering, programming multi-agent systems, and declarative agent languages and technologies. EMAS 2019 aims to gather researchers and practitioners working in these areas to present and discuss their research and emerging results in MAS engineering. The overall purpose of this workshop is to facilitate the cross-fertilisation of ideas and experiences in the various fields to: 1. Enhance knowledge and expertise in MAS engineering and improve the state or-the art; 2. Define new directions for MAS engineering that are useful to practitioners, relying in results and recommendations coming from different but continuous research areas; 3. Investigate how practitioners can use or need to adapt established methodologies for the engineering of large-scale and open MAS; 4. Involve more master and PhD students. TOPICS The main topics include but are not limited to: - Software engineering methodologies and techniques, and development concerns for MAS - Formal methods and declarative technologies for specification, verification, and engineering of MAS - Programming frameworks, languages, models and abstractions for all aspects of MAS - Tools and testbeds - Empirical studies and (industrial) experience reports on engineering MAS applications For a detailed list of subtopics, see http://www.csc.liv.ac.uk/~lad/emas2019/cfp.html SUBMISSIONS We solicit four types of submission: - Regular papers should (1) clearly describe innovative and original research, or (2) report a survey on a research topic in the field, or (3) explain how existing techniques have been applied to a real-world case. (16 pages in LNCS format). - Short papers should describe novel and promising ideas and/or techniques that are in an early stage of development. To that end, short papers will be reviewed under specific review guidelines (8 pages in LNCS format). - Doctoral project papers should describe a research effort of an MSc student or the dissertation research of a PhD student in the field of engineering multi-agent systems. The paper should clearly describe the problem tackled, a justification why this problem is important, the research method, the (expected) contributions of the research, and the evaluation. This paper can be co-authored by the student and their supervisor(s) only (6 pages in LNCS format). - Tool, testbeds and demo papers should describe a novel tool or demonstration in the field of engineering multi-agent systems. Submission may range from early prototypes to in-house or pre-commercialised products. Authors of other EMAS 2019 papers are also welcomed to submit an accompanying tool/demo paper. The paper should provide a link to supplementary material that allows the reviewers to evaluate the submission such as website or movie link (4 pages in LNCS format). Submission policy: all papers should be original and not be submitted elsewhere. The review process is single blind: submissions should not be blind, reviewers will be. The LNCS formatting style is available via: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The Easychair submission page can be found here: https://easychair.org/conferences/?conf=emas2019. When you enter the title of your paper in the data section in EasyChair, you must add as the first word the category to which the paper has been submitted (this first word does not need to be included in the submitted paper): - REGULAR for regular papers (16 pages long) - SHORT for short papers (8 pages long) - DOCTORAL for doctoral project papers (6 pages long) - DEMO for tools, testbeds, and demo papers (4 pages long) Authors of accepted papers will be invited to submit revised and extended versions of the EMAS papers for inclusion in the post-proceedings that we will be published as a volume in Springer's Lecture Notes in Artificial Intelligence. IMPORTANT DATES Submission deadline (EXTENDED): 19 Feb, 2019 Notification: 10 March, 2019 Camera-ready deadline: 1 April, 2019 EMAS: 13-14 May, 2019 COMMITTEES Organising Committee Rafael H. Bordini, PUCRS, Brazil (http://www.inf.pucrs.br/r.bordini) Louise Dennis, University of Liverpool, UK (http://cgi.csc.liv.ac.uk/~lad/index.html) Yves Lesperance, York University, Canada (http://www.cse.yorku.ca/~lesperan) EMAS Steering Committee Matteo Baldoni Rafael Bordini Mehdi Dastani Jürgen Dix Amal El Fallah Seghrouchni Brian Logan Jörg P. Müller Ingrid Nunes Alessandro Ricci M. Birna Van Riemsdijk Danny Weyns Michael Winikoff Rym Zalila-Wenkstern -- Dr. Louise Dennis, Department of Computer Science, Room G22, Ashton Building, University of Liverpool, Liverpool, L69 3BX, UK. http://www.csc.liv.ac.uk/~lad/ From roby.casadei at unibo.it Sun Feb 10 22:56:42 2019 From: roby.casadei at unibo.it (Roberto Casadei) Date: Sun, 10 Feb 2019 22:56:42 +0100 Subject: Call for Papers: 4th eCAS Workshop on Engineering Collective Adaptive Systems (sub. deadline: Mar 15) Message-ID: ************************************************************** CALL FOR WORKSHOP PAPERS: eCAS'19 The 4th eCAS Workshop on Engineering Collective Adaptive Systems (eCAS 2019) Workshop website: http://ecas2019.apice.unibo.it Location: Umeå, Sweden. In conjunction with FAS* (https://www.fasstar.org) - 13th IEEE International Conference on Self-Adaptiveand Self-Organizing Systems (SASO 2019, http://saso2019.cs.umu.se/), and - 16th IEEE International Conference on Autonomic Computing (ICAC 2019, http://icac2019.cs.umu.se/) ************************************************************** [Apologies for possible multiple copies of this message] Please share and spread to interested members of your group/institution and colleague researchers. ============================================================== Important dates ============================================================== * Abstract Submission: March 8, 2019 * Submission Deadline: March 15, 2019 * Notification of Acceptance: April 15, 2019 * Camera-Ready Version: April 20, 2019 * Workshop: TBD (June 16-20, 2019) ============================================================== Scope ============================================================== Modern software systems are becoming more and more *collective* and are composed of many distributed and heterogeneous entities. These systems operate under continuous perturbations making manual adjustments infeasible. For a collective system to be resilient, its *adaptation* must also be collective, in the sense that multiple entities must adapt in a way that addresses critical runtime conditions while preserving the benefits of collaborative interdependencies. Decision-making in such systems is distributed and possibly highly dispersed, and interaction between the entities may lead to the emergence of unexpected phenomena. In such systems, a new approach for adaptation is needed to allow: (i) multiple entities to collectively adapt with; (ii) negotiations to decide which collective changes are best. Collective adaptation also raises a second important challenge: Which parts of the system (things, services, people) should be engaged in an adaptation? This is nontrivial, as multiple solutions to the same problem may be generated at different levels. The challenge is to understand these levels and create mechanisms to decide the right scope for an adaptation for a given problem. This workshop solicits papers that address new methodologies, theories and principles that can be used to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that they can be better designed, built, and analyzed, as well as case studies and applications showing such approaches in action. Interdisciplinary work is particularly welcomed. Suggested Topics (but not limited to): * Novel theories relating to operating principles of CAS * Novel design principles for building CAS systems * Insights into the short and long-term adaptation of CAS systems * Insights into emergent properties of CAS * Insights into general properties of large scale, distributed CAS * Decision-making approaches in CAS * Methodologies for studying, analyzing, and building CAS * Frameworks for analyzing or developing CAS case studies * Languages, platforms, APIs and other tools for CAS * Scenarios, case studies, and experience reports of CAS in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, traffic management, emergency response, etc.) ============================================================== Submission Instructions and Review Criteria ============================================================== The length of a workshop paper may not exceed *6 pages* including references and follow the IEEE Computer Society Press proceedings style guide. All papers should be submitted in PDF format. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=ecas2019 By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work. Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality. Workshop proceedings will be published on IEEE Xplore in parallel with the main conference proceedings. ============================================================== Committees ============================================================== Steering Committee * Jacob Beal, Raytheon BBN Technologies, USA * Giacomo Cabri, University of Modena And Reggio Emilia, Italy * Nicola Capodieci, University of Modena and Reggio Emilia, Italy * Emma Hart, Edinburgh Napier University, U.K * Mirko Viroli, University of Bologna, Italy Workshop Chairs * Roberto Casadei, Alma Mater Studiorum--Università di Bologna, IT * Soura Dasgupta, University of Iowa, USA Program Committee (TBC) * Franco Bagnoli, University of Firenze, Italy * Jake Beal, Raytheon BBN Technologies, USA * Luca Bortolussi, University of Trieste, Italy * Johann Bourcier, Université de Rennes 1 / IRISA, France * Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy * Mauro Caporuscio, Linnaeus University, Sweden * Siobhan Clarke, Trinity College Dublin, UK * Ferruccio Damiani, Dipartimento di Informatica, Università di Torino, Italy * Ada Diaconescu, Telecom ParisTech, FR * Simon Dobson, University of St Andrews, UK * Martina De Sanctis, Gran Sasso Science Institute, L'Aquila, Italy * Giovanna Di Marzo Serugendo, University of Geneva, Switzerland * Schahram Dustdar, Vienna University of Technology, Austria * Lukas Esterle, Aston University, UK * Francesco Gallo, University of L'Aquila, Italy * Kurt Geihs, Universitaet Kassel, Germany * Tom Holvoet, Katholieke Universiteit Leuven, Belgium * Paola Inverardi, University of L'Aquila, Italy * Ludovico Iovino, Gran Sasso Science Institute, L'Aquila, Italy * Verena Klös, TU Berlin, Germany * Peter Lewis, Aston University, UK * Michele Loreti, University of Camerino, Italy * Mieke Massink, CNR-ISTI, Italy * Hernan Melgratti, University of Buenos Aires, Argentina * Mirco Musolesi, University College London, UK * Danilo Pianini, University of Bologna, Italy * Simon Powers, Edinburgh Napier University, UK * Alexander Schiendorfer, University Augsburg, Germany * Romina Spalazzese, Malmoe University, Sweden * Christof Teuscher, Portland State University, Oregon, USA * Mirko Viroli, University of Bologna, Italy ============================================================== Contacts ============================================================== For any question, please contact the workshop organizers. From J.M.Broersen at uu.nl Sun Feb 10 22:56:42 2019 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Sun, 10 Feb 2019 22:56:42 +0100 Subject: CFA "Mathematical Ability", Utrecht (The Netherlands), 15-17 Apr 2019 Message-ID: =========================== Final Call for Abstracts Conference on the Practice, Logic and Philosophy of Mathematical Ability Date: April 15 - 17, 2019 Location: Utrecht University, Utrecht, The Netherlands (exact location to be announced) *** Deadline: February 12, 2019 *** ============================ Conference on the Practice, Logic and Philosophy of Mathematical Ability https://digtep.sites.uu.nl/2018/10/24/conference-on-mathematical-ability/ In most scientific disciplines, inquiries into mathematical cognition have focused on the end product of mathematical activity: what makes a mathematical statement true, and how do we acquire the knowledge that a mathematical statement is true? However, with recent E-approaches to cognition (Extended, Embodied, Embedded, Enactive, Enculturated cognition) on the rise, this focus is shifting towards the process of mathematical activity: what is it to have mathematical ability, and how do we acquire the knowledge how to do mathematics? These questions are informed by the various E-approaches to cognition: our bodies, our technology, our environment - both offline and online - our practices, our culture, our education, and our interactional history might all have some role to play in our mathematical ability and the development thereof. How mathematical cognition is shaped by these factors is a broad question that warrants an interdisciplinary approach. For this conference, we invite scholars from various fields, including but not limited to philosophy, logic, AI, cognitive (neuro)science, and education studies, to submit proposals (of 250 words) for short talks (30 minutes, plus 10 minutes Q&A) on the following questions: - What is it to do mathematics; what is it to have a mathematical ability; what is mathematical know-how? - How do children learn mathematics; how do they acquire mathematical know-how? - How can we capture, in a logical formalism, the ability to do mathematics? - What role does our body play in our mathematical ability and the development thereof? - How can we improve the methods by which embodied and embedded mathematical know-how is acquired, and can we design (digital) tools for this purpose? - How can interaction with digital tools improve mathematical abilities? Confirmed keynote speakers: - Dor Abrahamson, University of California, Berkeley, USA - Elizabeth de Freitas, Manchester Metropolitan University, Manchester, UK - Karim Zahidi, University of Antwerp, Antwerp, Belgium - Luis Radford, School of Education Sciences at Laurentian University in Ontario, Canada - Alfred Nordmann, Institut für Philosophie, Technische Universität Darmstadt, Germany - Valentin Goranko, Department of Philosophy, Stockholm University, Sweden To submit your proposal or to register for the conference, please go to https://fd21.formdesk.com/universiteitutrecht-beta/Conference_Mathematical_Ability . - The DigTEp team From ggelfond at unomaha.edu Wed Feb 13 20:56:22 2019 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION ** Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to any and all interested parties.] Deadlines extended! Register your papers by February 26, and submit them by March 25. --------------------------------------------------------------------------- CALL FOR PAPERS 3rd International Workshop on the Resurgence of Datalog in Academia and Industry Datalog 2.0 2019 https://sites.sju.edu/plw/datalog/ June 3-5, 2019, Philadelphia, USA Co-located with LPNMR 2019 at the Philadelphia Logic Week 2019 --------------------------------------------------------------------------- AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The 3rd International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2019) will be held in Philadelphia, USA, on June 3-5, 2019. Datalog 2.0 2019 is a major event of the Philadelphia Logic Week 2019, which is dedicated to the research on logic, knowledge representation, and reasoning. The other major event of the Philadelphia Logic Week 2019 is the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second edition of the workshop, which was held in Vienna, Austria, in 2012, was open for submissions. INVITED SPEAKERS Michael Gelfond, Texas Tech University, USA (more to be announced) TOPICS Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2019 welcomes two types of submissions * Long papers of up to 12 pages, presenting original research * Short papers of up to 5 pages that may contain either original ongoing research or recently published results in the following categories * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the Datalog 2.0 2019 EasyChair site: https://easychair.org/conferences/?conf=datalog2019 The journal Theory and Practice of Logic Programming (TPLP) will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in TPLP, there should be at least 30% new content compared to the published workshop paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details. New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. FURTHER INFORMATION WWW: https://sites.sju.edu/plw/datalog/ Email: datalog2019 at easychair.org IMPORTANT DATES Paper registration: February 26 (was February 12) Paper submission: March 5 (was February 19) Notification: April 2 (was March 19) Final versions due: April 30 (was April 16) VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, Datalog 2.0 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Nicola Leone, University of Calabria, Italy PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Andreas Pieris, University of Edinburgh, UK PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA PROGRAM COMMITTEE Chitta Baral, Arizona State University, USA Pablo Barceló, University of Chile, Chile Leopoldo Bertossi, Carleton University, Canada and RelationalAI Inc. Meghyn Bienvenu, University of Montpellier, France Marco Calautti, University of Edinburgh, UK Andrea Calì, University of London, Birkbeck College, UK Rada Chirkova, North Carolina State University, USA Claire David, Universite Paris-Est Marne-la-Vallee, France Cristina Feier, University of Bremen, Germany Markus Krötzsch, TU Dresden, Germany Georg Lausen, University of Freiburg, Germany Domenico Lembo, Sapienza University of Rome, Italy Yanhong A. Liu, Stony Brook University, USA Carsten Lutz, University of Bremen, Germany Marco Manna, University of Calabria, Italy Marie-Laure Mugnier, University of Montpellier, France Reinhard Pichler, Vienna University of Technology, Austria Emanuel Sallinger, University of Oxford, UK Mantas Simkus, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Stijn Vansummeren, Université Libre de Bruxelles, Belgium From rrc2soft at gmail.com Wed Feb 13 20:56:22 2019 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: CFP: (Deadline Approaching) EuroSPEC'19: 2019 European Workshop on Security and Privacy in Edge Computing Message-ID: ============================================================================== EuroSPEC'19: 2019 European Workshop on Security and Privacy in Edge Computing ----------------------------------------------- Held in conjunction with EuroS&P 2019 Stockholm, Sweden -- June 16, 2019 ----------------------------------------------- https://www.nics.uma.es/pub/eurospec19/ Important Dates Submission due: March 1, 2019 Notification: April 1, 2019 Camera-ready due: April 22, 2019 ============================================================================== Workshop introduction and topics --------------------------------- The main goal of Fog Computing and other related Edge paradigms, such as Multi-Access Edge Computing, is to decentralize the Cloud and bring some of its services closer to the edge of the network, where data are generated and decisions are made. Cloud-enabled edge platforms will be able to cooperate not only with each other but with the cloud, effectively creating a collaborative and federated environment. This paradigm shift will fulfill the needs of novel services, such as augmented reality, that have particularly stringent requirements like extremely low latency. It will also help improve the vision of the Internet of Things by improving its scalability and overall functionality, among other benefits. To enable this vision, a number of platforms and technologies need to securely coexist, including sensors and actuators, edge-deployed systems, software-defined networks, hardware virtualization, data mining mechanisms, etc. However, this paradigm shift calls for new security challenges and opportunities to leverage services for new scenarios and applications. The field of edge computing security is still largely unexplored, and demands further attention from the research community and industry in order to unleash the full potential of this paradigm. Topics of Interest ------------------- This workshop expects original research papers on, but not limited to, the topics described below: * Edge devices security * Attacks and Countermeasures to Edge computing platforms * Authentication and Access control in Edge computing * Accountability and Accounting in Edge computing * Identity management systems in Edge computing * Secure federation of Edge computing devices * Secure Orchestration and Management of Edge devices * Secure Software-Defined Networking for Edge computing * Secure Virtualization in Edge Computing * Secure Migration of resources in Edge Computing * Data and Computation integrity in Edge Computing * Trust and Reputation Management in Edge computing * Privacy in Edge Computing * Intrusion Detection and Prevention systems for Edge computing * Digital Forensics in Edge Computing * Risk Analysis in Edge Computing * Incident Management in Edge Computing Paper Submission Guidelines ---------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=eurospec2019 Submissions must comply with the paper format requirements found in https://www.ieee-security.org/TC/EuroSP2019/cfp.php. Note, however, that workshop papers must not exceed 10 pages total (including references and appendices). Failure to adhere to the page limit and formatting requirements can be grounds for rejection. It is planned that the proceedings of the workshop will be published through IEEE Xplore in a volume accompanying the main IEEE EuroS&P 2019 proceedings. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Contact -------- Email: eurospec19 at nics.uma.es EuroSPEC Home: https://www.nics.uma.es/pub/eurospec19/ Organisation Committee ----------------------- General Chair: - Ruben RIOS (University of Malaga, Spain) Program Chairs: - Rodrigo ROMAN (University of Malaga, Spain) - Roberto DI PIETRO (HBKU, College of Science and Engineering, Doha-Qatar) Program Committee: - Ketan BHARDWAJ, Georgia Institute of Technology, USA - Mauro CONTI, Universitá Degli Studi di Padova, Italy - Aurélien FRANCILLON, Eurecom, France - Jose M. DE FUENTES, UC3M, Spain - Lorena GONZALEZ MANZANO, UC3M, Spain - Martin G. JAATUN, SINTEF Digital, Norway - Donghyun KIM, Kennesaw State University, USA - Flavio LOMBARDI, Roma Tre University of Rome, Italy - Javier LOPEZ, University of Malaga, Spain - Masahiro MAMBO, Kanazawa University, Japan - Haralambos MOURATIDIS, University of Brighton, UK - Jose A. ONIEVA, University of Malaga, Spain - Fernando M.V. RAMOS, University of Lisbon, Portugal - Pierangela SAMARATI, Università degli Studi di Milano, Italy - Savio SCIANCALEPORE, HBKU (College of Science and Engineering), Qatar - Juan E. TAPIADOR, Universidad Carlos III de Madrid, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mvmartinez at dc.uba.ar Wed Feb 13 20:56:22 2019 From: mvmartinez at dc.uba.ar (Maria Vanina Martinez) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: [Call for chapter] Book: Incompleteness in Information Message-ID: ============================================================ ================================================================ Apologies if you receive multiple copies of this message ============================================================ ================================================================ Incompleteness in Information John Grant and Maria Vanina Martinez (Eds) ============================================================ ================================================================ After the successful completion and publication of our book "Measuring Inconsistency in Information" last year, we are now ready to start another book project. We plan to edit a book "Incompleteness in Information" and are looking for prospective chapter authors and reviewers. The dual concepts of incompleteness and inconsistency were introduced in the early 1970s by John Grant. While there was little research on inconsistency in information for several decades, incompleteness became important within a few years on account of the null value problem in relational databases for which John showed that Codd's 3-valued logic approach , later adopted for SQL, did not always give the correct answer. So research on incompleteness has been going on for nearly 50 years. We would like to put together a book that covers the past, present, and future of incompleteness. So we are interested in survey chapters of past work on incompleteness, research chapters of up-to-date issues in this area and would like a chapter that concentrates on research issues for the future. We are interpreting incompleteness in a fairly broad sense for databases and AI including games, for instance. However, we are excluding incompleteness in the sense of statistical, probabilistic, and fuzzy data. If you (or someone you know) may be interested in this project in any way such as writing a chapter, or reviewing, or if you have any suggestions or advice please write to either grant at cs.umd.edu (John Grant) or mvmartinez at dc.uba.ar (Maria Vanina Martinez). Tentative Schedule: Chapters Due: Oct 31, 2019 Acceptance and Reviews: Jan 31, 2020 Final Version: March 31, 2020 Publication: May 2020 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.amigoni at polimi.it Wed Feb 13 20:56:22 2019 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: CfP AAMAS Autonomous Robots and Multirobot Systems (ARMS) Workshop 2019 - Extended deadline Message-ID: *** CALL FOR PAPERS *** Autonomous Robots and Multirobot Systems (ARMS) Workshop 2019 *** Note new deadline: February 25, 2019 *** A full-day workshop to be held as part of AAMAS2019 and to accompany the AAMAS Robotics Track. May 13 or 14, 2019, Montreal, Canada *** AAMAS will be the week before ICRA, which will also be in Montreal *** Website: http://www.cs.biu.ac.il/~agmon/arms2019 AAMAS Website: http://aamas2019.encs.concordia.ca *** Fast-track review process for AAMAS “extended abstracts”, below *** Important Dates --------------------- Paper submission deadline: February 25, 2019 (it was February 12, 2019) Notification of acceptance: March 20, 2019 Submission of camera-ready version: April 1, 2019 Overview ------------ Robots are agents, too. Indeed, AAMAS researchers are sometimes inspired by robots, sometimes use robots in motivating examples, and sometimes make contributions to robotics. Both practical and analytical techniques in AAMAS influence, and are being influenced by, research into autonomous robots and multi-robot systems. Areas of particular recent cross-fertilization include (but are not limited to): - motion planning and path planning for single and multiple mobile robots - market-based coalition formation and task allocation - machine learning in single- and multi-robot (agent) settings - multi-robot teams and swarms - human-robot interaction - human-robot (agent) teamwork - analysis of large-scale multi-robot systems and swarms - decision-theoretic single- and multi-robot planning - imitation and learning by demonstration/example - formal methods and control architectures - game-theoretic coordination - canonical robotics problems and benchmarks, such as robotic soccer, coverage, foraging, or patrolling Despite the rich cross-fertilization between AAMAS and robotics research areas, roboticists and agents researchers have only a few opportunities to meet and interact. The Robotics Track at AAMAS is one such opportunity. The goal of the workshop is to extend and widen this opportunity, by offering a forum where researchers in this area can interact and present promising innovative research directions, and new results. The workshop is coordinated and associated with the AAMAS Robotics Track to fast-track all papers accepted as extended abstracts at the main conference into the ARMS workshop. Submissions and Publication ----------------------------------- The submission website is https://easychair.org/conferences/?conf=arms2019 Contributions are sought in all areas of robotics, in particular as related to autonomous agents research, but not necessarily so. Theoretical papers are welcome, as long as they clearly address challenges in robotics. Empirical studies should ideally present experiments with real robots, though physical simulation studies are also acceptable. Papers that focus on mechanical aspects and low-level control should make an effort to relate to the agents community. Submissions should follow Springer's LNCS format (see http://www.springer.de/comp/lncs/authors.html for instructions, or directly download the LaTeX style file: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip). Papers should not exceed 20 pages in length. Papers will be reviewed by at least 2 reviewers. Criteria for selection of papers will include: originality, readability, relevance to themes, soundness, and overall quality. Papers do not have to be anonymized: We do not follow a double-blind review process. Also this year, there will not be archival proceedings, but Springer will publish a best-paper volume from all AAMAS workshops, to be published in June or July 2019. Authors of the selected best papers will be required to revise their submitted papers after the workshops. Fast-Track Review Process --------------------------------- As part of our close coordination with the AAMAS Robotics Track, we offer a fast-track review process to papers that have been accepted as extended abstracts ("short papers”) to the AAMAS conference, in the Robotics Track or with a robotics keyword. For such papers, please include the original AAMAS paper number with the submission. Organizing Committee ---------------------------- Noa Agmon Bar Ilan University, Israel Francesco Amigoni Politecnico di Milano, Italy Alessandro Farinelli University of Verona, Italy Maria Gini University of Minneapolis, USA Gal Kaminka Bar Ilan University, Israel Pedro Lima Lisbon Technical University, Portugal Daniele Nardi Sapienza Università di Roma, Italy The contact organizer is Francesco Amigoni (francesco.amigoni at polimi.it) --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Wed Feb 13 20:56:22 2019 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: 3rd Call for papers: DARe at LPNMR-19 Message-ID: * Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2019 Date: June 3 or 4 2019 (TBC) Philadelphia, USA *** Deadline: 19 March 2019 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-19/ collocated with LPNMR 2019 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. 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 (conditionals), 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 or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but 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 -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare19 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2019 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 19 March 2019 - Notification to authors: 26 April 2019 - Camera ready version: 6 May 2019 - Workshop date: 3 or 4 June 2019 (to be confirmed) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Reka Markovich, Université du Luxembourg - Thomas Meyer, University of Cape Town, South Africa - Xavier Parent, Université du Luxembourg - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Rafael Testa, University of Campinas, Brazil - Leon van der Torre, Université du Luxembourg - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-19/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak - https://www.ijv.ovh CRIL, Université d'Artois & CNRS, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From shankar at csl.sri.com Wed Feb 13 20:56:22 2019 From: shankar at csl.sri.com (Natarajan Shankar) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019 In-Reply-To: <5A9832E8.3020003@csl.sri.com> References: <5A9832E8.3020003@csl.sri.com> Message-ID:   Ninth Summer School on Formal Techniques, May 18 - May 24, 2019   Menlo College   Atherton, California   http://fm.csl.sri.com/SSFT19 Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the ninth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. The lecturers at the school include: * Peter Mueller, ETH Zurich Switzerland:       Modular Program Verification * Daniel Jackson, CSAIL MIT USA:       A principled approach to software design * Orna Grumberg, Technion Israel:       Model Checking and its Applications * Kwangkeun Yi, Seoul National University, S. Korea:       Introduction to Static Analysis from an Abstract Interpretation Perspective * Benjamin Gregoire, INRIA France:       An overview of Easycrypt and how to prove concrete security of cryptographic primitives The main lectures in the summer school will be preceded by a background course on logic: * Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (SRI-CSL)   Speaking Logic The school also include several distinguished invited talks. Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 http://fm.csl.sri.com/SSFT14 http://fm.csl.sri.com/SSFT15 http://fm.csl.sri.com/SSFT16 http://fm.csl.sri.com/SSFT17 http://fm.csl.sri.com/SSFT18 Jay Bosamiya of CMU has blogged about the 2018 Summer School at    https://www.jaybosamiya.com/blog/2018/05/31/ssft/ We expect to provide support for the travel and accommodation for (a limited number of) students registered at US universities.  We welcome applications from non-US students as well as non-students (if space permits).  Non-US students will have to cover their own travel and will be charged around US$800 for meals and lodging.  Applications should be submitted at the website http://fm.csl.sri.com/SSFT19 Applicants are urged to submit their applications before April 30, 2019, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. We strongly encourage the participation of women and under-represented minorities in the summer school. From ecl.drexel at gmail.com Wed Feb 13 20:56:22 2019 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: CAUSAL 2019 Call for Papers Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** CAUSAL 2019 *** (June 3 or 4, 2019) CAUSAL 2019 is a workshop co-located with LPNMR 2019 in Philadelphia, PA (USA). https://sites.google.com/view/causal-2019/ CAUSAL 2019 IMPORTANT DATES ----------------------- * Paper submission: April 15th 2019 * Notification: May 2nd 2019 * Final Versions: May 26th 2019 * Workshop Date: June 3rd or 4th 2019 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about and understanding causality enables us to identify how an outcome of interest came to be and gives us insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding). An important expected outcome of this workshop is to collect first-hand feedback from the LPNMR community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/cfp/CAUSAL2019 At least one co-author of each accepted paper must register for and attend the workshop. Please check the LPNMR 2019 website for registration procedure and fees. https://sites.sju.edu/plw/lpnmr-2019/ ORGANIZERS ---------- Emily LeBlanc, Drexel University, USA, ecl.drexel at gmail.com Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, Institut de Recherche en Informatique de Toulouse, France Marcello Balduccini, Saint Joseph's University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Natasha.Alechina at nottingham.ac.uk Wed Feb 13 20:56:22 2019 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: E. W. Beth Dissertation Prize, 2019: call for nominations Message-ID: E. W. Beth Dissertation Prize, 2019: call for nominations Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information (http://www.folli.info/?page_id=74), with financial support of the E.W. Beth Foundation (https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-willem-beth-foundation). Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree conferred in 2018. The deadline for nominations is the 15th of April 2019. Qualifications: • A dissertation is eligible for the Beth dissertation prize 2019, if the Ph.D. degree has been conferred in Logic, Language, or Information between January 1st and December 31st, 2018. • There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. • In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on current topics in philosophical and mathematical logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. • If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2020. The English translation must in such cases be submitted before the deadline of the call for nominations in 2020. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. Prize The prize consists of: • a certificate • a donation of 3000 euros, provided by the E.W. Beth Foundation • an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Nomination Dossier Only digital submissions are accepted, without exception. The following documents are to be submitted in the nomination dossier: • The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). • A ten-page English abstract of the dissertation, presenting the main results of each chapter. • A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially conferred and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. • Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. • Self-nominations are not possible. All pdf documents must be submitted electronically, as one zip file, to EasyChair (https://easychair.org/conferences/?conf=beth2019). Hard copy submissions are not allowed, without exception. In case of any problems with the submission one should contact the secretary of the committee Natasha Alechina (Natasha.Alechina at nottingham.ac.uk). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 31st ESSLLI summer school in Riga, University of Latvia, August 5-16, 2019. Beth dissertation prize committee: • Sujata Ghosh (ISI Chennai, India) • Nina Gierasimczuk (DTU, Lyngby, Denmark) • Thomas Icard (Stanford U., US) • Benedikt Löwe (UvA, The Netherlands; U. of Hamburg, Germany; U. of Cambridge, UK) • Angelo Montanari (U. of Udine, Italy) • Jerry Seligman (U. of Auckland, New Zealand) • Wilfried Sieg (CMU, US) • Hans Smessaert (KU Leuven, Belgium) • Mark Steedman (U. of Edinburgh, UK) • Alice ter Meulen (London, UK), chair • Natasha Alechina (U. of Nottingham, UK), non-voting secretary. 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 contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From kyuhlee.uga at gmail.com Wed Feb 13 20:56:22 2019 From: kyuhlee.uga at gmail.com (Kyu Hyung Lee) Date: Wed, 13 Feb 2019 20:56:22 +0100 Subject: CFP: DIMVA 2019 (Extended Submission Deadline: 18 February 2019) Message-ID: ============================================================================= 16th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment Gothenburg, Sweden - 19-20 June, 2019 https://www.dimva2019.org/ ============================================================================= # Important Dates: - Extended Paper Submission Deadline: 22 February 2019, 23:59:59 UTC - Notification to Authors: 12 April 2019 - Final Paper Submission Deadline: 22 April 2019 - Conference: 19-20 June 2019 # General Information The annual DIMVA conference serves as a premier forum for advancing the state of the art in the broader areas of intrusion detection, malware analysis, and vulnerability assessment. Each year, DIMVA brings together international experts from academia, industry, and government to present and discuss novel research in these areas. DIMVA is organized by the special interest group Security - Intrusion Detection and Response (SIDAR) of the German Informatics Society (GI). The conference proceedings will appear in Springer Lecture Notes in Computer Science (LNCS) series. # Types of Submissions Solicited: DIMVA solicits submissions of high-quality, original scientific papers presenting novel research on malware analysis, intrusion detection, vulnerability assessment, and related systems security topics. Submissions of two types are invited: FULL PAPERS, presenting novel and mature research results. Full papers are limited to 20 pages in Springer LNCS format, including bibliography and appendices. SHORT PAPERS, presenting original, still ongoing work that has not yet reached the maturity required for a full paper. Short papers are limited to 10 pages in LNCS format, including bibliography and appendices. Short papers will be included in the proceedings. The title of short papers must start with the words "Extended Abstract". Papers that do not follow the above formatting guidelines may be rejected without review. # Indicative topics of interest include (but are not limited to): ## Intrusions - Novel approaches and domains - Insider detection - Prevention and response - Data leakage, exfiltration, and poisoning - Result correlation and cooperation - Evasion and other attacks - Potentials and limitations - Operational experiences - Privacy, legal, and social aspects - Targeted attacks ## Malware - Automated analyses - Behavioral models - Prevention and containment - Classification - Lineage - Forensics and recovery - Underground economy - Vulnerabilities in malware ## Vulnerability detection - Vulnerability prevention - Vulnerability analysis - Exploitation and defenses - Hardware vulnerabilities - Situational awareness - Active probing Papers will be judged on novelty, significance, correctness, and clarity. We expect all papers to provide enough detail to enable reproducibility of the experimental results. We encourage papers that bridge research in different communities. We also welcome experience papers that clearly articulate lessons learnt. #Submission Guidelines: DIMVA 2019 will adopt a double-blind reviewing process. All submissions should be appropriately anonymized. Author names and affiliations must be excluded from the paper. Furthermore, authors should avoid obvious self-references, and should cite their own previous work in third person, whenever necessary. Papers that are not properly anonymized risk being rejected without review. Submissions must be original work and may not be under submission to another venue at the time of review. At least one author of each accepted paper is required to physically present the submitted work at the conference, for the paper to be included in the proceedings. Papers can be submitted using the following submission website: https://dimva2019.hotcrp.com # Ethical Considerations: Submissions that report experiments with data gathered from human subjects should disclose whether the research received approval from an institutional ethics review board (IRB), if applicable, and what measures were adopted to minimize risks to privacy. Submissions that describe experiments related to vulnerabilities in software or systems should discuss the steps taken to avoid negatively affecting any third-parties (e.g., in case of probing of network devices), and how the authors plan to responsibly disclose the vulnerabilities to the appropriate software or system vendors or owners before publication. If you have any questions, please contact the program chairs at pc-chairs at dimva.org # Organizing Committee ## General Chair Magnus Almgren, Chalmers University of Technology, Sweden ## Program Chair Roberto Perdisci, University of Georgia and Georgia Institute of Technology, USA ## Program Co-Chair Clémentine Maurice, CNRS, IRISA, France ## Publications Chair Giorgio Giacinto, University of Cagliari, Italy ## Publicity Chair Kyu Hyung Lee, University of Georgia, USA ## Sponsor Chair Xavier Bellekens, Abertay University, UK # Program Committee Manos Antonakakis, Georgia Institute of Technology, USA Marco Balduzzi, Trend Micro Research, Italy Leyla Bilge, Symantec Research Labs, France Lorenzo Cavallaro, King's College London, UK Gabriela Ciocarlie, SRI International, USA Baris Coskun, Amazon Web Services, USA Lorenzo De Carli, Worcester Polytechnic Institute, USA Hervé Debar, Telecom SudParis, France Sven Dietrich, City University of New York, USA Brendan Dolan-Gavitt, NYU, USA Adam Doupé, Arizona State University, USA Manuel Egele, Boston University, USA Ulrich Flegel, Infineon Technologies AG, Germany Yanick Fratantonio, Eurecom, France Giorgio Giacinto, University of Cagliari, Italy Neil Gong, Iowa State University, USA Thorsten Holz, Ruhr-Universität Bochum, Germany Kyu Hyung Lee, University of Georgia, USA Sotiris Ioannidis, FORTH, Greece Vasileios Kemerlis, Brown University, USA Katharina Krombholz, CISPA Helmholtz Center (i.G.), Germany Andrea Lanzi, University of Milan, Italy Corrado Leita, Lastline, UK Zhiqiang Lin, Ohio State University, USA Martina Lindorfer, TU Wien, Austria Xiapu Luo, The Hong Kong Polytechnic University, HK Federico Maggi, Trend Micro Research, Italy Michael Meier, University of Bonn and Fraunhofer FKIE, Germany Jelena Mirkovic, USC ISI, USA Nick Nikiforakis, Stony Brook University, USA Anita Nikolich, Illinois Institute of Technology, USA Daniela Oliveira, University of Florida, USA Christina Poepper, New York University Abu Dhabi, UAE Georgios Portokalidis, Stevens Institute of Technology, USA Christian Rossow, CISPA Helmholtz Center i.G., Germany Deborah Shands, SRI International, USA Kapil Singh, IBM T.J. Watson Research Center, USA Gianluca Stringhini, Boston University, USA Juan Tapiador, Universidad Carlos III, Spain Heng Yin, University of California Riverside, USA Stefano Zanero, Politecnico di Milano, Italy # Steering Committee ## Chairs Ulrich Flegel, Infineon Technologies, Germany Michael Meier, University of Bonn and Fraunhofer FKIE, Germany ## Members Magnus Almgren, Chalmers University of Technology, Sweden Sébastien Bardin, CEA, France Gregory Blanc, Télécom SudParis, France Herbert Bos, Vrije Universiteit Amsterdam, Netherlands Danilo M. Bruschi, Universita degli Studi di Milano, Italy Roland Bueschkes, RWE AG, Germany Juan Caballero, IMDEA Software Institute, Spain Lorenzo Cavallaro, King’s College London, UK Hervé Debar, Télécom SudParis, France Sven Dietrich, City University of New York, USA Cristiano Giuffrida, Vrije Universiteit Amsterdam, Netherlands Bernhard Haemmerli, Acris GmbH and HSLU Lucerne, Switzerland Thorsten Holz, Ruhr-University Bochum, Germany Marko Jahnke, CSIRT, German Federal Authority, Germany Klaus Julisch, Deloitte, Switzerland Christian Kreibich, ICSI, USA Christopher Kruegel, UC Santa Barbara, USA Pavel Laskov, University of Liechtenstein, Liechtenstein Federico Maggi, Trend Micro Research, Italy Michalis Polychronakis, Stony Brook University, USA Konrad Rieck, TU Braunschweig, Germany Jean-Pierre Seifert, Technical University Berlin, Germany Robin Sommer, ICSI/LBNL, USA Urko Zurutuza, Mondragon University, Spain # Sponsorship Opportunities We solicit interested organizations to serve as sponsors for DIMVA 2019. Please contact the sponsor chair (sponsor-chair at dimva.org) for details regarding sponsorship opportunities. -- Kyu Hyung Lee Assistant Professor Department of Computer Science University of Georgia www.cs.uga.edu/~kyuhlee From irdta at irdta.eu Sun Feb 17 23:07:40 2019 From: irdta at irdta.eu (IRDTA) Date: Sun, 17 Feb 2019 23:07:40 +0100 Subject: DeepLearn 2019: early registration March 2 Message-ID: DeepLearn 2019: early registration March 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   --- Early registration deadline: March 2, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 2019 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 four-hour and a half 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 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   Global Expo Modlinska 6D 03-216 Warsaw   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   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine   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   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), tba   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep Learning   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 14, 2019.   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 at irdta.eu by July 14, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an 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:   Accommodation can be booked at   http://www.deeplearn2019.promoest.com/hp.aspx?s=0   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Sun Feb 17 23:07:40 2019 From: irdta at irdta.eu (IRDTA) Date: Sun, 17 Feb 2019 23:07:40 +0100 Subject: LATA 2019: call for participation Message-ID: LATA 2019: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2019 Saint Petersburg, Russia March 26-29, 2019 Organized by:      Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London http://lata2019.irdta.eu/ ************************************************************************* PROGRAM Tuesday, March 26 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Edward A. Lee. Observation and Interaction - Invited lecture 10:30 - 11:00    Break 11:00 - 12:15 Malek Anabtawi, Sabit Hassan, Christos Kapoutsis and Mohammad Zakzok. An Oracle Hierarchy for Small One-way Finite Automata Tim Becker and Klaus Sutner. Orbits of Abelian Automaton Groups Alex Bishop and Murray Elder. Bounded Automata Groups Are co-ET0L 12:15 - 13:45    Lunch 13:45 - 15:00 Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara and Antonio E. Porreca. Decidability of Sensitivity and Equicontinuity for Linear Higher-order Cellular Automata Ondrej Klíma and Libor Polak. On Varieties of Ordered Automata Klaus Meer and Ameen Naif. Automata over Infinite Sequences of Reals 15:00 - 15:30    Break 15:30 - 17:10 Tomoyuki Yamakami. Non-uniform State Complexity of Quantum Finite Automata and Quantum Polynomial-time Logarithmic-space Computation with Quantum Advice Vladimir Zakharov. Equivalence Checking of Prefix-free Transducers and Deterministic Two-tape Automata Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev and Joao Marques-Silva. Efficient Symmetry Breaking for SAT-based Minimum DFA Inference Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon and Daniel Rubery. Closure and Nonclosure Properties of the Compressible and Rankable Sets --- Wednesday, March 27 09:00 - 09:50    Henning Fernau. Modern Aspects of Complexity within Formal Languages - Invited lecture 09:50 - 10:20    Break 10:20 - 11:35 Markus Holzer and Michal Hospodár. The Range of State Complexities of Languages Resulting from the Cut Operation Lila Kari and Timothy Ng. State Complexity of Pseudocatenation Daniel Padé and Stephen Fenner. Complexity of (R,C)-crosswords 11:35 - 12:05    Break and Group photo 12:05 - 13:20 Berthold Hoffmann and Mark Minas. Generalized Predictive Shift-reduce Parsing for Hyperedge Replacement Graph Grammars Hans-Joerg Kreowski, Sabine Kuske and Aaron Lye. Transformation of Petri Nets into Context-dependent Fusion Grammars Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki. Generalized Register Context-free Grammars 13:20 -    14:50    Lunch 15:00        Touristic visit --- Thursday, March 28 09:00 - 09:50    Pawel Gawrychowski. Searching and Indexing Compressed Text - Invited lecture 09:50 - 10:20    Break 10:20 - 11:35 Amazigh Amrane and Nicolas Bedon. Logic and Rational Languages of Scattered and Countable Series-parallel Posets Marcella Anselmo, Maria Madonia and Carla Selmi. Toroidal Codes and Conjugate Pictures Jean-Philippe Dubernard, Giovanna Guaiana and Ludovic Mignot. Geometrical Closure of Binary V3/2 Languages 11:35 - 12:05    Break 12:05 - 13:20 Galina Jirásková and Ondrej Klíma. Deterministic Biautomata and Subclasses of Deterministic Linear Languages Alexis Linard, Colin de la Higuera and Frits Vaandrager. Learning Unions of k-Testable Languages Iovka Boneva, Joachim Niehren and Momar Sakho. Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables 13:20 -    14:50    Lunch 14:50 - 15:40    Vadim Lozin. From Words to Graphs, and back - Invited lecture 15:40 - 16:10    Break 16:10 - 17:25 Ajay K. Eeralla, Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen. Rule-based Unification in Combined Theories and the Finite Variant Property Pawel Parys. Extensions of the Caucal Hierarchy? Ahad N. Zehmakan. Tight Bounds on the Minimum Size of a Dynamic Monopoly --- Friday, March 29 09:00 - 09:50    Esko Ukkonen. Pattern Discovery in Biological Sequences - Invited lecture 09:50 - 10:20    Break 10:20 - 11:35 Emilie Charlier, Svetlana Puzynina and Elise Vandomme. Recurrence in Multidimensional Words Christophe Cordero. A Note with Computer Exploration of the Triangle Conjecture Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszynski, Tomasz Walen and Wiktor Zuba. Efficient Representation and Counting of Antipower Factors in Words 11:35 - 12:05    Break 12:05 - 13:20 Kalpana Mahalingam and Palak Pandoh. On the Maximum Number of Distinct Palindromic Sub-arrays Wojciech Rytter and Wiktor Zuba. Syntactic View of Sigma-Tau Generation of Permutations Andrew Ryzhikov and Clemens Mullner. Palindromic Subsequences in Finite Words 13:20 - 13:30    Closing 13:30 -    15:00    Lunch   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mario.alviano at gmail.com Sun Feb 17 23:07:40 2019 From: mario.alviano at gmail.com (Mario Alviano) Date: Sun, 17 Feb 2019 23:07:40 +0100 Subject: [tag] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION ** In-Reply-To: References: Message-ID: Apologies for the small typo I forwarded to Gregory (and the additional email). The submission is by March 05. All the best, Mario Il giorno gio 14 feb 2019, 04:39 Gregory Gelfond ha scritto: > [Apologies if you receive multiple copies of this email. Please distribute > to > any and all interested parties.] > > Deadlines extended! > > Register your papers by February 26, and submit them by March 25. > > --------------------------------------------------------------------------- > > CALL FOR PAPERS > > 3rd International Workshop on > the Resurgence of Datalog in Academia and Industry > > Datalog 2.0 2019 > > https://sites.sju.edu/plw/datalog/ > > June 3-5, 2019, Philadelphia, USA > > > Co-located with LPNMR 2019 > at the > Philadelphia Logic Week 2019 > > --------------------------------------------------------------------------- > > > AIMS AND SCOPE > > Datalog 2.0 is a workshop for Datalog researchers, implementors, > and users. Its aim is to bring together researchers and practitioners > interested in different aspects of Datalog to share research experiences, > promote collaboration and identify directions for joint future research. > > The 3rd International Workshop on the Resurgence of Datalog in Academia > and > Industry (Datalog 2.0 2019) will be held in Philadelphia, USA, on June > 3-5, > 2019. Datalog 2.0 2019 is a major event of the Philadelphia Logic Week > 2019, > which is dedicated to the research on logic, knowledge representation, > and > reasoning. The other major event of the Philadelphia Logic Week 2019 is > the > 15th International Conference on Logic Programming and Non-monotonic > Reasoning > (LPNMR 2019). > > The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it > was by invitation only. Since Datalog has resurrected as a lively topic > with applications in many different areas of computer science, as well as > industry, the second edition of the workshop, which was held in Vienna, > Austria, in 2012, was open for submissions. > > > INVITED SPEAKERS > > Michael Gelfond, Texas Tech University, USA > > (more to be announced) > > > TOPICS > > Authors are invited to submit papers presenting original and unpublished > research on the foundational aspects of Datalog, as well as on its > applications > in other areas of computer science and in industry. Potential areas of > application of Datalog may include (among others): > > data management, data mining, knowledge representation and reasoning, > cloud computing, distributed computing, logic programming, privacy and > security, > probabilistic reasoning, program analysis, programming languages, > semantic web, > social networks, streaming, verification, web services. > > > SUBMISSION > > Datalog 2.0 2019 welcomes two types of submissions > > * Long papers of up to 12 pages, presenting original research > * Short papers of up to 5 pages that may contain either original > ongoing research > or recently published results > > in the following categories > > * Technical papers > * System descriptions > * Application descriptions > > The indicated number of pages includes title page and references. All > submissions > will be peer-reviewed. Accepted papers will be submitted for publication > in the CEUR > Workshop proceedings (http://ceur-ws.org). Authors can opt-out if > desired. > > At least one author of each accepted paper must attend the workshop to > present the work. > Submissions must be written in English, and formatted according to > Springer's > guidelines and technical instructions available at: > > > https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines > > Paper submission is enabled via the Datalog 2.0 2019 EasyChair site: > > https://easychair.org/conferences/?conf=datalog2019 > > The journal Theory and Practice of Logic Programming (TPLP) will devote > a special > issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be > selected > for a rapid publication. In case of invited papers for a rapid > publication in TPLP, > there should be at least 30% new content compared to the published > workshop paper. > The extra material should consist of extensions of the existing material > such as proofs, > further experimental results, and implementation details. New results > could be > included too, if appropriate. Authors invited to submit to the special > issue should > confirm that such extra material is available. > > > FURTHER INFORMATION > > WWW: https://sites.sju.edu/plw/datalog/ > Email: datalog2019 at easychair.org > > > IMPORTANT DATES > > Paper registration: February 26 (was February 12) > Paper submission: March 5 (was February 19) > Notification: April 2 (was March 19) > Final versions due: April 30 (was April 16) > > > VENUE > > Philadelphia, or the "City of Brotherly Love," is the sixth-largest city > in the > United States and once served as the nation's capital. Philadelphia is > an active > historical and cultural hub, and has been striving for excellence since > 1776. > The city's rich history of knowledge and academic prowess has never > diminished > as it continues to promote and foster higher education. Visitors can > explore > various attractions in and around Philadelphia, such as the Philadelphia > Museum > of Art, the Franklin Institute, the Barnes Foundation, the Reading > Terminal Market, > and much more. > > Located on the East Coast of the U.S., between New York City and > Washington D.C., > Philadelphia is easily reachable by air, train, and car. As a testament > to > Philadelphia's commitment to educational advancement, Datalog 2.0 2019 > will be held > in one of the city's top colleges, Saint Joseph's University. Saint > Joseph's > campus is located at the outskirts of the city, in an area that features > historic homes, > green areas, and a quick connection to Philadelphia's Center City and > Old City. > > > GENERAL CHAIR > > Nicola Leone, University of Calabria, Italy > > > PROGRAM CHAIRS > > Mario Alviano, University of Calabria, Italy > > Andreas Pieris, University of Edinburgh, UK > > > PUBLICITY CHAIR > > Gregory Gelfond, University of Nebraska at Omaha, USA > > > PROGRAM COMMITTEE > > Chitta Baral, Arizona State University, USA > > Pablo Barceló, University of Chile, Chile > > Leopoldo Bertossi, Carleton University, Canada and RelationalAI Inc. > > Meghyn Bienvenu, University of Montpellier, France > > Marco Calautti, University of Edinburgh, UK > > Andrea Calì, University of London, Birkbeck College, UK > > Rada Chirkova, North Carolina State University, USA > > Claire David, Universite Paris-Est Marne-la-Vallee, France > > Cristina Feier, University of Bremen, Germany > > Markus Krötzsch, TU Dresden, Germany > > Georg Lausen, University of Freiburg, Germany > > Domenico Lembo, Sapienza University of Rome, Italy > > Yanhong A. Liu, Stony Brook University, USA > > Carsten Lutz, University of Bremen, Germany > > Marco Manna, University of Calabria, Italy > > Marie-Laure Mugnier, University of Montpellier, France > > Reinhard Pichler, Vienna University of Technology, Austria > > Emanuel Sallinger, University of Oxford, UK > > Mantas Simkus, Vienna University of Technology, Austria > > Mirek Truszczynski, University of Kentucky, USA > > Stijn Vansummeren, Université Libre de Bruxelles, Belgium > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fioretto.ferdinando at isye.gatech.edu Sun Feb 17 23:07:40 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sun, 17 Feb 2019 23:07:40 +0100 Subject: CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track Message-ID: Apologies for cross-posting ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers The program committee of the 35th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2017 in selective journals or were presented recently at related conferences but, but that have not been previously presented at ICLP. The goal of this track is twofold: * To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. * To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentation All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2019 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2019 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements Submissions must meet the following criteria: * Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA, … * Candidate papers must have appeared since 2017. * Papers that are in press may be submitted as long as the final camera-ready version is available. * Extensions of papers that have been previously presented at ICLP are not eligible for this track. Submission Process All submissions will be done via EasyChair (https://easychair.org/conferences/overview.cgi?a=20693669). The submission will be in the following format: * Title of the original journal paper (to be published on the Web); * Complete reference of the original paper (to be published on the Web); * URL where the paper can be downloaded from the publisher (if available) (to be published on the Web); * An accompanying letter containing an explanation of why this paper is interesting to the logic programming community (in PDF); * A copy of the paper with its final camera-ready contents (in PDF). * A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: only if the authors wish to publish such an extended abstract in the technical communications of ICLP). Submissions will go through a selection process. Selection criteria include significance of the results and relevance to the logic programming community. Important Dates * Submission deadline: June 27th, 2019 * Notification of acceptance: July 15, 2019 * Conference: September 21-25, 2019 Journal Presentation Track Chairs * Bart Bogaerts, Vrije Universiteit Brussel, bart.bogaerts at vub.be * Giovambattista Ianni, University of Calabria, ianni at unical.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fioretto.ferdinando at isye.gatech.edu Sun Feb 17 23:07:40 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sun, 17 Feb 2019 23:07:40 +0100 Subject: ICLP 2019 - Application Track Message-ID: Apologies for cross-posting ** CALL FOR PAPERS ** The 35th International Conference on Logic Programming (ICLP 2019) Applications Track September 21-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ ------------------------------------------------------------------------- Objectives Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, etc. Motivated by such a wide range of applications, this year ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry communities to share the recent advancement, challenge and insight for LP applications. The goal of the Application Track is two-folded. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products and their expectations of the development of theory and tools from LP community. Expected contributions The Applications Track at ICLP 2019 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. We welcome LP applications in a wide range of areas, including but not limited to: * industrial applications * commonsense reasoning, knowledge representation * declarative problem solving * education * bioinformatics, computational biology * life sciences, genetics, medicine, pharmacology * cognitive robotics, social robotics, human-robot interactions * intelligent transportation, logistics * computer vision, sensing, internet of things * data analysis, machine learning * creative computing * digital forensics, cybersecurity, blockchain * economics, game theory, social choice * software engineering, intelligent user interfaces * multi-agent systems, argumentation, epistemic reasoning * constraint programming, SAT, SMT * natural language understanding, story telling, question answering * explanation generation, diagnosis * spatial/temporal/probabilistic reasoning * planning and scheduling * databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria In this track, selection process of the highest quality papers will apply the following criteria: * Significance of the real-world problem being addressed * Importance and novelty of using logic programming technologies to solve this problem * Evaluation and applicability of the system in real-world * Reusability of datasets, case studies and benchmarks Important Dates * Abstract registration: April 27, 2019 * Paper submission: May 4, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 21-25, 2019 Submission Details All submissions must be written in English. * Regular papers (14 pages in TPLP format, including references) must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. The accepted regular papers will be published in TPLP, along with the selected ICLP-TPLP papers. The program committee may recommend some regular papers to be published as technical communications (TCs), along with the selected ICLP-TC papers. The authors of the TCs can also elect to convert their submissions into extended abstracts (2 or 3 pages) for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. * Short papers (7 pages in OASIcs format, including references) can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All accepted regular papers and technical communications will be presented during the conference. 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. Any additional questions can be directed towards the Application Track Chairs: Andrea Formisano, Università di Perugia andrea.formisano at unipg.it Fangkai Yang, NVIDIA Corporation wolfgang.yang at gmail.com Applications Track Program Committee * Chitta Baral (Arizona State University, USA) * Alex Brik (Google Inc, USA) * Francesco Calimeri (University of Calabria, Italy) * Xiaoping Chen (University of Science and Technology of China) * Federico Chesani (University of Bologna, Italy) * Martín Diéguez (ENIB, France) * Gerhard Friedrich (Alpen-Adria Universitaet Klagenfurt, Austria) * Gopal Gupta (University of Texas at Dallas, USA) * Jianmin Ji (University of Science and Technology of China, China) * Gabriele Kern-Isberner (Technische Universitaet Dortmund, Germany) * Zeynep Kiziltan (University of Bologna, Italy) * Viviana Mascardi (University of Genova, Italy) * Yunsong Meng (Houzz Inc., USA) * Francesco Ricca (University of Calabria, Italy) * Mohan Sridharan (University of Birmingham, UK) * David Warren (SUNY Stony Brook, USA) * Shiqi Zhang (SUNY Binghamton, USA) * Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pank at ue.katowice.pl Wed Feb 20 04:14:25 2019 From: pank at ue.katowice.pl (pank at ue.katowice.pl) Date: Wed, 20 Feb 2019 04:14:25 +0100 Subject: BIR2019 -call for papers Message-ID: BIR CONFERENCE 2019 18th International Conference on Perspectives in Business Informatics Research Hosted by the Faculty of Informatics and Communication, University of Economics in Katowice, Poland - September 23-25, 2019, Katowice, Poland https://bir2019.ue.katowice.pl/ Dear Colleague, We would like to invite you in September 2019 to the 18th International Conference which unites scientists, researchers and industry practitioners from many countries in a discussion about digitalization responsibility issues in contemporary computer as well as other complex information systems. BIR Conference Theme: Responsibilities of Digitalization - Responsible designing & shaping the future of technology for digital preservation, global data storage and cost-effective management IMPORTANT DATES/DEADLINES • May 12, 2019 - Paper Submission Deadline • April 15, 2019 - Workshop Proposals • June 25, 2019 - Doctoral Consortium Paper Submission Deadline • July 13, 2019 - Notification of Acceptance • July 30, 2019 - Camera-ready Paper • August 30, 2019 - Early-bird Registration • September 20, 2019 - Late Registration • September 23-25, 2019 - Doctoral Consortium + BIR 2019 Conference SUGGESTED TOPICS BUSINESS, IT PEOPLE AND SYSTEM RESPONSIBILITIES Philosophical and social perspectives Ontological foundations Systems theory and principles Conceptual modelling Human oriented systems Emerging technologies and paradigms Business models and rules Enterprise modelling and architectures BUSINESS AND IS DEVELOPMENT Capability Planning and Management Business Process Modeling Process Mining Model Driven Development Service Oriented Architecture Requirements Engineering Contextualised Business and Systems Business Information Technology Alignment ENTERPRISE SYSTEMS IoT, ERP, CRM and SCM systems Business Intelligence Systems Data Analytics and Decision Support Systems Databases for Business Big Data for Business APPLICATION AREAS Healthcare Supply Chain Industry 4.0 E-Government Smart City Computer Games and Gamification ICT GOVERNANCE/MANAGEMENT Digital Governance IT Governance Project, Risk and Security management Data Governance ICT System Sustainability, Ethics and Ergonomics Legacy Systems RESPONSIBLE COLLABORATION Blockchain Economy Outsourcing, Crowdsourcing, etc. Social Network Analysis Value Creation and Co-creation Business Compliance Workflow Management SEMIOTICS & KNOWLEDGE MANAGEMENT Linked Data Semantic Web Methods and Languages Ontology Modelling Languages and Tools Digital Innovation Ontology Applications in Business Web and Social Computing Text Mining E-learning and Learning Organizations Proceedings • BIR 2019 proceedings as a volume in Lecture Notes in Business Information Processing (LNBIP) series by Springer Verlag, indexed in DBLP, EI, Scopus • Associated events CEUR Workshop Proceedings (CEUR-WS.org) • Best Paper and Extensioned Versions in Journal of Complex Systems Informatics and Modeling Quartely (CSIMQ) Submission Guidelines Papers have to be submitted in PDF or DOC format using the EasyChair submission page. All submissions must be unpublished and not be under review elsewhere. Submissions must conform to Springer’s LNBIP format. Page limit for papers is 15 pages. At least one author of an accepted paper should register for the conference and present the paper. EasyChair submission page: https://easychair.org/conferences/?conf=bir2019 Springer formatting guidelines:
 http://www.springer.com/series/7911 Program Chair
 Kurt Sandkuhl, University of Rostock, Germany Doctoral Consortium Chairs Marite Kirikova, Riga Technical University, Latvia 
 Robert Buchmann, Babeș-Bolyai University, Cluj-Napoca, Romania Workshop Chairs Vaclav Repa, University of Economics Prague, Czech Republic Raimundas Matulevicius, University of Tartu, Estonia Looking forward to seeing you in Katowice! Conference Chair Malgorzata Pankowska, University of Economics in Katowice, Poland From ieee.cibcb.2019 at gmail.com Wed Feb 20 04:14:25 2019 From: ieee.cibcb.2019 at gmail.com (IEEE CIBCB 2019) Date: Wed, 20 Feb 2019 04:14:25 +0100 Subject: IEEE CIBCB 2019 - Call for Papers - Deadline Extension Message-ID: Apologies for possible multiple posting Dear All, this is reminder that the deadline for the submission for proceeding papers has been extended to March, 1st 2019 https://cibcb2019.icas.xyz/call-for-papers/ KEYNOTE SPEAKERS: - Pierre Baldi, University of California, Irvine, USA ("Deep Learning for Biomedical Data") - Riccardo Bellazzi, University of Pavia, Pavia, Italy ("Data integration strategies to support clinical research") - Thomas Keane, EMBL-EBI, Cambridge, UK ("Human data federation to catalyse personalised medicine across Europe and beyond") SUBMISSION GUIDELINES Accepted papers will be published in the conference proceedings and will be indexed in IEEE Xplore®. Prospective authors are invited to submit papers of 2 to 4 pages (short papers) or of 5 to 8 pages (complete papers) All papers must be submitted via the EasyChair online submission system ( https://easychair.org/conferences/?conf=cibcb2019). Papers must be in PDF and written in English. Detailed instructions and templates for preparing your manuscript can be found here: https://www.ieee.org/conferences/publishing/templates.html SPECIAL ISSUES After the conference, prospective authors are invited to submit manuscripts to a Special Issue in "Deep Learning for Genomics/Bioinformatics" to be published in IEEE/ACM Transactions on Computational Biology and Bioinformatics. All works presented at the event and related to other topics will be invited to submit for a Special Issue on IEEE Journal of Biomedical and Health Informatics. The Special Issue is open to anyone, i.e. having an accepted paper at CIBCB 2019 is not a requirement. Papers accepted at CIBCB 2019 need to be extended significantly before being submitted to the Special Issue. CONFERENCE VENUE IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (https://cibcb2019.icas.xyz/) will be held in Certosa di Pontignano (Siena), Tuscany (Italy) in July 9th-11th. TUTORIAL - Bioinformatics tools for investigating the tumor-immune cell interface Best regards, IEEE CIBCB 2019 Organizing Committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Wed Feb 20 04:14:25 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Wed, 20 Feb 2019 04:14:25 +0100 Subject: CADE-27: Second Call for Papers Message-ID: The 27th International Conference on Automated Deduction (CADE-27) Natal, Brazil 25-30 August 2019 http://www.cade-27.info CALL FOR PAPERS CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Key dates: Abstract deadline (extended): 20 February 2019 Submission deadline (extended): 27 February 2019 * Logics of interest include propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, constructive, other non-classical, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof. * Paradigms of interest include theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integration. * Methods of interest include resolution, superposition, completion, saturation, term rewriting, decision procedures, model elimination, connection methods, tableaux, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including matching, unification, orderings, induction, indexing techniques, proof presentation and explanation, proof planning. * Applications of interest include program analysis, verification and synthesis of software and hardware, formal methods, computational logic, computer mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, declarative programming, robotics, planning, and other areas of artificial intelligence. Submissions can be made in two categories: regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages excluding references for regular papers and 10 pages excluding references for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions must contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. For papers containing experimental evaluations, all data needed to rerun the experiments must be available. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chair may solicit further reviews after the rebuttal period. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html At every CADE conference the Program Committee selects one of the accepted papers to receive the CADE Best Paper Award. The award recognizes a paper that the Program Committee collegially evaluates as the best in terms of originality and significance, having substantial confidence in its correctness. Overall technical quality, completeness, scholarly accuracy, and readability are also considered. Characteristics associated with a best paper include, for instance, introduction of a strong new technique or approach, solution of a long-standing open problem, introduction and solution of an interesting and important new problem, highly innovative application of known ideas or existing techniques, and presentation of a new system of outstanding power. Under exceptional circumstances, the Program Committee may give two awards (ex aequo) or give no award. IMPORTANT DATES Abstract deadline: 20 February 2019 Submission deadline: 27 February 2019 Rebuttal phase: 2 April 2019 Notification: 15 April 2019 Final version: 27 May 2019 SUBMISSION INSTRUCTIONS Papers should be submitted via https://easychair.org/conferences/?conf=cade27 CADE-27 ASSOCIATED EVENTS Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE), http://cl-informatik.uibk.ac.at/users/swinkler/arcade/ The CADE ATP System Competition, http://www.tptp.org/CASC/27/ Deduction Mentoring Workshop Logical and Semantic Frameworks, with Applications (LSFA), https://sites.google.com/view/lsfa2019 Proof eXchange for Theorem Proving (PxTP), http://pxtp.gforge.inria.fr/2019/ Theorem Prover Components for Educational Software (ThEdu'19), http://www.uc.pt/en/congressos/thedu/thedu19 The 6th Vampire Workshop CADE-27 ORGANIZERS Conference Chair: Elaine Pimentel Federal University of Rio Grande do Norte, Brazil Organizers: Carlos Olarte Federal University of Rio Grande do Norte, Brazil Joao Marcos Federal University of Rio Grande do Norte, Brazil Claudia Nalon University of Brasilia, Brazil Giselle Reis CMU, Qatar Program Committee Chair: Pascal Fontaine Universite de Lorraine, CNRS, Inria, LORIA, France Workshop, Tutorial, and Competition Chair: Giles Reger University of Manchester, UK Publicity Chair: Geoff Sutcliffe University of Miami, USA Program Committee: Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina Franz Baader, TU Dresden, Germany Clark Barrett, Stanford University, USA Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands Maria Paola Bonacina, Universita degli Studi di Verona, Italy Leonardo Mendonca de Moura, Microsoft Research, USA Hans de Nivelle, Nazarbayev University, Astana, Kazakhstan Clare Dixon, University of Liverpool, UK Mnacho Echenim, Universite de Grenoble, France Marcelo Finger, University of Sao Paulo, Brazil Pascal Fontaine, Universite de Lorraine, CNRS, Inria, LORIA, France Silvio Ghilardi, Universita degli Studi di Milano, Italy Juergen Giesl, RWTH Aachen University, Germany Rajeev Gore, The Australian National University, Australia Stefan Hetzl, Technische Universitaet Wien, Austria Marijn J. H. Heule, The University of Texas at Austin, USA Nao Hirokawa, JAIST, Japan Moa Johansson, Chalmers University of Technology, Sweden Cezary Kaliszyk, University of Innsbruck, Austria Deepak Kapur, University of New Mexico, USA Benjamin Kiesl, Technische Universitaet Wien, Austria Konstantin Korovin, The University of Manchester, UK Laura Kovacs, Technische Universitaet Wien, Austria Ramana Kumar, DeepMind, UK Claudia Nalon, University of Brasilia, Brazil Vivek Nigam, Federal University of Paraiba & Fortiss, Brazil & Germany Carlos Olarte, Federal University of Rio Grande do Norte, Brazil Jens Otten, University of Oslo, Norway Andre Platzer, Carnegie Mellon University, USA Andrew Reynolds, The University of Iowa, USA Philipp Ruemmer, Uppsala University, Sweden Renate A. Schmidt, The University of Manchester, UK Stephan Schulz, DHBW Stuttgart, Germany Roberto Sebastiani, University of Trento, Italy Natarajan Shankar, SRI International, USA Viorica Sofronie-Stokkermans, Universitaet Koblenz-Landau, Germany Martin Suda, Czech Technical University, Czech Republic Geoff Sutcliffe, University of Miami, USA Rene Thiemann, University of Innsbruck, Austria Uwe Waldmann, Max Planck Institute for Informatics, Germany Christoph Weidenbach, Max Planck Institute for Informatics, Germany Sarah Winkler, University of Innsbruck, Austria From tsd2019 at tsdconference.org Sun Feb 24 22:06:38 2019 From: tsd2019 at tsdconference.org (TSD 2019) Date: Sun, 24 Feb 2019 22:06:38 +0100 Subject: TSD 2019 - Second Call for Papers Message-ID: ************************************************************************** TSD 2019 - SECOND CALL FOR PAPERS ************************************************************************** The twenty-second International Conference on TEXT, SPEECH and DIALOGUE (TSD 2019) Ljubljana, Slovenia September 10-13, 2019 http://www.tsdconference.org TSD HIGHLIGHTS * Keynote speakers: Denis Jouvet (Loria, Nancy, France), Aline Villavicencio (University of Essex, UK), Bhiksha Raj (Carnegie Mellon University, USA), Ryan Cotterell (University of Cambridge, UK). * TSD is traditionally published by Springer-Verlag and regularly listed in all major citation databases: Thomson Reuters Conference Proceedings Citation Index, DBLP, SCOPUS, EI, INSPEC, COMPENDEX, etc. * The TSD2019 conference is officially recognized as an INTERSPEECH 2019 satellite event. * The TSD2019 conference is supported by the International Speech Communication Association (ISCA). It holds the status of an ISCA Supported Event. * TSD offers a high-standard transparent review process - double blind, final reviewers' discussion. * TSD is going to take place in the beautiful centre of Ljubljana, the capital of Slovenia. * The conference is organized in cooperation with the Faculty of Electrical Engineering, University of Ljubljana, Slovenia. * TSD provides an all-service package (conference access and material, all meals, one social event, etc.) for an easily affordable fee. IMPORTANT DATES March 31, 2019 ............... Deadline for submission of contributions May 10, 2019 ................. Notification of acceptance or rejection May 31, 2019 ................. Deadline for submission of camera-ready papers September 10-13, 2019 ........ TSD2019 conference date The proceedings will be provided on flash drives in form of navigable content. Printed books will be available for extra fee. TSD SERIES The TSD series has evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of the TSD conference form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX. TOPICS Topics of the 22nd conference will include (but are not limited to): Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modeling). Corpora and Language Resources (monolingual, multilingual, text, and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries). Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing). Tagging, Classification and Parsing of Text and Speech (multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution). Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection). Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies). Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues). Multimodal Techniques and Modeling (video processing, facial animation, visual speech synthesis, user modeling, emotion and personality modeling). PROGRAMME COMMITTEE All programme committee members are listed on the conference web pages https://www.kiv.zcu.cz/tsd2019/index.php?page=committees OFFICIAL LANGUAGE The official language of the event is English, however, papers on issues related to text and speech processing in languages other than English are strongly encouraged. LOCATION Ljubljana, the Slovenian capital - a city, whose name means `The beloved', is a great place to visit, although you will not find world renowned attractions here. Nevertheless, it has history, tradition, style, arts & culture, an atmosphere that is both Central European and Mediterranean; many also add the adjectives multilingual and hospitable. Being close to many of the major sights and attractions of Slovenia, Ljubljana can also be your starting point to discover the country's diversity. Ljubljana is situated about halfway between Vienna and Venice. Its character and appearance have been shaped by diverse cultural influences and historical events. While in winter it is remarkable for its dreamy Central European character, it is the relaxed Mediterranean feel that stands out during summer. Ljubljana is a picturesque city full of romantic views, with a medieval castle towering over its historical city centre and a calm river spanned by a series of beautiful bridges running right through it. It's a city with a medieval heart, a city of the Baroque and Art Nouveau, with an old castle resting above it like a sleeping beauty. In Ljubljana eastern and western cultures met; and the Italian concept of art combined with the sculptural aesthetics of Central European cathedrals. The city owes its present appearance partly to Italian baroque and partly to Art Nouveau, which is the style of the numerous buildings erected immediately after the earthquake of 1895. The central point of interest in Ljubljana is the Ljubljana Castle, watching over the city from the centrally located castle hill. The beginnings of the medieval castle go back to the 9th century, although the castle building is first mentioned only in 1144. It gained its present image after the earthquake of 1511 and following further renovations at the beginning of the 17th century. At present, a funicular connects the Old Town to the castle hill, adding an even more convenient access alternative to the tourist train. Ljubljana lies at the centre of Slovenia. In the morning you can visit the stunningly beautiful Lake Bled, Lake Bohinj or Soca Valley in the high mountainous region of the Alps, and in the evening enjoy the sunset in one of the charming little towns on the Adriatic coast. It only takes minutes to reach the peaceful and unspoiled countryside of the city's green surrounding areas, which offer endless opportunities for hiking, cycling, fishing and horse riding. We are very excited of the fact that the TSD conference leaves the Czech Republic for the first time within its 22-year history and that the TSD2019 is going to take place in such a wonderful location as Ljubljana. ABOUT CONFERENCE The conference is organized by the Faculty of Applied Sciences, University of West Bohemia, Pilsen, the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Electrical Engineering, University of Ljubljana. VENUE Faculty of Electrical Engineering - University of Ljubljana Trzaska cesta 25 SI-1000 Ljubljana CONTACT The preferred way of contacting the conference organizing committee is writing an e-mail to: Ms Lucie Tauchenova, TSD2019 Conference Secretary E-mail: tsd2019 at tsdconference.org Phone: +420 702 994 699 All paper correspondence regarding the conference should be addressed to: TSD2019 - NTIS P2 Fakulta aplikovanych ved Zapadoceska univerzita v Plzni Univerzitni 8 CZ-306 14 Plzen Czech Republic Fax: +420 377 632 402 - Please, mark the faxed material with large capitals 'TSD' on top. TSD2019 conference website: http://www.tsdconference.org/ From rrc2soft at gmail.com Sun Feb 24 22:06:38 2019 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Sun, 24 Feb 2019 22:06:38 +0100 Subject: CFP: (Deadline Approaching) 5th ACM Cyber-Physical System Security Workshop (CPSS 2019), co-located with ACM AsiaCCS'19 Message-ID: =============================================== 5th ACM Cyber-Physical System Security Workshop ----------------------------------------------- Held in conjunction with ACM AsiaCCS'19 Auckland, New Zealand ----------------------------------------------- http://jianying.space/cpss/CPSS2019/ Important Dates Submission due: March 1, 2019 Notification: April 10, 2019 Camera-ready due: April 30, 2019 =============================================== Cyber-Physical Systems (CPS) of interest to this workshop consist of large-scale interconnected systems of heterogeneous components interacting with their physical environments. There exist a multitude of CPS devices and applications deployed to serve critical functions in our lives thus making security an important non-functional attribute of such systems. This workshop will provide a platform for professionals from academia, government, and industry to discuss novel ways to address the ever-present security challenges facing CPS. We seek submissions describing theoretical and practical solutions to security challenges in CPS. Submissions pertinent to the security of embedded systems, IoT, SCADA, smart grid, and other critical infrastructure are welcome. Topics of interest include, but are not limited to: - Attack detection for CPS - Authentication and access control for CPS - Autonomous vehicle security - Availability and auditing for CPS - Blockchain for CPS security - Data security and privacy for CPS - Digital twins for CPS - Embedded systems security - Formal methods in CPS - Industrial control system security - IoT security - Legacy CPS system protection - Lightweight crypto and security - Maritime cyber security - Recovery from cyber attacks - Security and risk assessment for CPS - Security architectures for CPS - Security by design for CPS - Smart grid security - Threat modeling for CPS - Transportation system security - Vulnerability analysis for CPS - Wireless sensor network security Submission Instructions ----------------------- Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized. Submissions must be in double-column ACM SIG Proceedings format, and should not exceed 12 pages. Position papers describing the work in progress are also welcome. Only pdf files will be accepted. Authors of accepted papers must guarantee that their papers will be presented at the workshop. At least one author of the paper must be registered at the appropriate conference rate. Accepted papers will be published in the ACM Digital Library. There will also be a best paper award. Paper submission site: https://easychair.org/conferences/?conf=cpss19. Contact ------- Email: cpss19 at easychair.org CPSS Home: http://jianying.space/cpss/CPSS2019/ Committees ---------- - Steering Committee Dieter Gollmann (Hamburg University of Technology, Germany) Ravishankar Iyer (UIUC, USA) Douglas Jones (UIUC, USA) Javier Lopez (University of Malaga, Spain) Jianying Zhou (SUTD, Singapore) – Chair - Program Chairs Aditya Mathur (Purdue University, USA & SUTD, Singapore) Jianying Zhou (SUTD, Singapore) - Publicity Chair Rodrigo Roman (University of Malaga, Spain) - Publication Chair Weizhi Meng (DTU, Denmark) - Program Committee Cristina Alcaraz (University of Malaga, Spain) Alvaro Cardenas (UT Dallas, USA) Mauro Conti (University of Padua, Italy) Gregorio D'Agostino (ENEA, Italy) Roberto Di Pietro (HBKU, Qatar) Afonso Ferreira (CNRS-IRIT, France) Yanick Fratantonio (EURECOM, France) Joaquin Garcia-Alfaro (Telecom SudParis, France) Stefanos Gritzalis (University of the Aegean, Greece) Sokratis Katsikas (NTNU, Norway) Huy Kang Kim (Korea University, Korea) Kandasamy Nandha Kumar (SUTD, Singapore) Qi Li (Tsinghua University, China) Hoon Wei Lim (SingTel, Singapore) Bo Luo (University of Kansas, USA) Xiapu Luo (Hong Kong Polytechnic University, HK) Michail Maniatakos (NYU-Abu Dhabi, UAE) Daisuke Mashima (ADSC, Singapore) Weizhi Meng (DTU, Denmark) Simin Nadjm-Tehrani (Linköping University, Sweden) Martín Ochoa (Universidad del Rosario, Colombia) Axel Poschmann (DarkMatter, UAE) Rodrigo Roman (University of Malaga, Spain) Justin Ruths (UT Dallas, USA) Martin Strohmeier (University of Oxford, UK) Jun Sun (SUTD, Singapore) Qiang Tang (LIST, Luxembourg) William Temple (ADSC, Singapore) Indrajiti Ray (Colorado State University, USA) Sicco Verwer (TU Delft, Netherland) Zheng Yang (SUTD, Singapore) Fan Zhang (Zhejiang University, China) Sencun Zhu (Pennsylvania State University, USA) Saman Zonouz (Rutgers University, USA) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Sun Feb 24 22:06:38 2019 From: serge.autexier at dfki.de (Serge Autexier) Date: Sun, 24 Feb 2019 22:06:38 +0100 Subject: CICM 2019, July 8-12: 2nd Call for Submissions Message-ID: [Apologies for cross-postings] Call for Papers formal papers - informal papers - doctoral programme 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July 8-12, 2019 CIIRC, Prague, Czech Republic http://www.cicm-conference.org/2019 -------------------------------------------------------------------------------- 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 2019 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 including references) 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 * system entry (1 page according to the given LaTeX template) provides metadata and a quick overview of a new tool or a new release of an existent tool 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. * Important Dates * Formal submissions - Abstract deadline: March 01 - Full paper deadline: March 08 - Reviews sent to authors: April 06 - Rebuttals due: April 10 - Notification of acceptance: April 15 - Camera-ready copies due: May 01 - Conference: July 08-12 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 01 - Second round submission deadline: May 15 All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2019 From irdta at irdta.eu Sun Feb 24 22:06:38 2019 From: irdta at irdta.eu (IRDTA) Date: Sun, 24 Feb 2019 22:06:38 +0100 Subject: AlCoB 2019: call for posters Message-ID: AlCoB 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on Algorithms for Computational Biology (AlCoB 2019) invites researchers to submit poster presentations. AlCoB 2019 will be held in Berkeley on May 28-30, 2019. See  http://alcob2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 21, 2019 Notification of poster acceptance or rejection: April 28, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2019. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428). REGISTRATION At least one author of each accepted poster must register to the conference by May 14, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcci at insticc.info Sun Feb 24 22:06:38 2019 From: ijcci at insticc.info (ijcci at insticc.info) Date: Sun, 24 Feb 2019 22:06:38 +0100 Subject: CFP IJCCI 2019 - 11th Int.l Joint Conf. on Computational Intelligence (Vienna/Austria) Message-ID: SUBMISSION DEADLINE 11th International Joint Conference on Computational Intelligence Submission Deadline: April 29, 2019 http://www.ijcci.org/ September 17 - 19, 2019 Vienna, Austria. IJCCI is organized in 4 major tracks: - Evolutionary Computation - Fuzzy Computation - Neural Computation - Cognitive and Hybrid Systems Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS, Semantic Scholar and Google Scholar. With the presence of internationally distinguished keynote speakers: Pietro Oliveto, University of Sheffield, United Kingdom Marco Dorigo, Université Libre de Bruxelles, Belgium 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: Avenida de São Francisco Xavier Lote 7L Cave 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.ijcci.org/ e-mail: ijcci.secretariat at insticc.org From el-ghazali.talbi at univ-lille.fr Sun Feb 24 22:06:38 2019 From: el-ghazali.talbi at univ-lille.fr (El-ghazali Talbi) Date: Sun, 24 Feb 2019 22:06:38 +0100 Subject: MOPGP 2019 in the Magical city of Marrakech Message-ID: Dear Colleague, I would like to invite you to submit an abstract for the 2019 International Conference on Multiple Objective Programming and Goal Programming (MOPGP) in Marrakech, Morocco. Selected extended-abstracts will be considered as potential full-paper publications, subject to peer reviews in Annals of Operations Research (Call for Papers: Recent Advances in Multiobjective Optimization ). The submission Deadline is on May 30, 2019. Thank you in advance and we look forward to welcoming you in the oasis of the magical city of Marrakech. Best regards -- *********************************************************************** MOPGP'2019 Int. Conference on Multiple Objective Programming and Goal Programming 28-31 Oct 2019, Marrakech, Morocco http://www.mopgp.org *********************************************************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA CRISTAL - CNRS -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : pldclbedbneklfdm.png Dateityp : image/png Dateigröße : 585107 bytes Beschreibung: nicht verfügbar URL : From ruy at cin.ufpe.br Sun Feb 24 22:06:38 2019 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sun, 24 Feb 2019 22:06:38 +0100 Subject: 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers - DEADLINE EXTENDED In-Reply-To: References: Message-ID: DEADLINE EXTENDED: *Feb 29, 2019*: Paper title and abstract deadline *Mar 7, 2019*: Full paper deadline [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2019 26th Workshop on Logic, Language, Information and Computation July 2nd to 5th, 2019 Utrecht, The Netherlands ORGANISATION Utrecht University, Faculty of Humanities, The Netherlands (host university) Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at Utrecht University, The Netherlands, from July 2nd to 5th, 2019. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops: -Proof Theory in Logic on July 1-2, 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area. -Compositionality in formal and distributional models of natural language semantics, on July 6, 2019. The workshop programs will be announced end of December 2018 via the WoLLIC 2019 website (https://wollic2019.sites.uu.nl). Attendance of these satellite workshops is free, but registration is required. PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2019 EasyChair website. (Please go to http://wollic.org/wollic2019/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 22, 2019, and the full paper by Feb 26, 2019 (firm date). Notifications are expected by April 5, 2019, and final papers for the proceedings will be due by April 15, 2019 (firm date). PROCEEDINGS The proceedings of WoLLIC 2019, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2019 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Lev Beklemishev – Steklov Institute Raffaella Bernardi – University of Trento Marta Bilkova – Czech Academy of Sciences Johan Bos – University of Groningen George Metcalfe – University of Bern Reinhard Muskens – University of Tilburg STUDENT GRANTS ASL sponsorship of WoLLIC 2019 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2019). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Feb 29, 2019: Paper title and abstract deadline Mar 7, 2019: Full paper deadline April 5, 2019: Author notification Apr 15, 2019: Final version deadline (firm) PROGRAMME COMMITTEE Raffaella Bernardi (University of Trento) Nick Bezhanishvili (University of Amsterdam) Ivano Ciardelli (Ludwig-Maximilians-Universität, Munich) Giuseppe Greco (Utrecht University) Philippe de Groote (INRIA Nancy) Rosalie Iemhoff (Utrecht University) (Co-CHAIR) Roberto Maieli (Department of Mathematics and Physics, University "Roma Tre”) Michael Moortgat (Utrecht University) (Co-CHAIR) Richard Moot (CNRS (LIRMM) & University of Montpellier) Larry Moss (Indiana University Bloomington) Sara Negri (University of Helsinki) Carlo Nicolai (King's College London) Valeria de Paiva (Nuance Comms and University of Birmingham) Alessandra Palmigiano (Delft University of Technology) Ruy de Queiroz (Centro de Informatica, Univ Federal de Pernambuco) Yde Venema (University of Amsterdam) Fan Yang (University of Helsinki) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Lawrence Moss, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Giuseppe Greco (Utrecht University, The Netherlands) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS In remembrance of the 85th anniversary of the award of a doctorate in Mathematics to Paul Erdős (26 March 1913 - 20 September 1996), a renowned Hungarian mathematician considered to be one of the most prolific mathematicians and producers of mathematical conjectures of the 20th century, the program of the meeting will include a screening of George Csicsery's collection of interviews "Erdős 100", a 30-minute video prepared for the centennial celebration in 2013 of Paul Erdős's birth (2018) (tbc). FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2019/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Words2019 at lboro.ac.uk Sun Feb 24 22:06:38 2019 From: Words2019 at lboro.ac.uk (Words 2019) Date: Sun, 24 Feb 2019 22:06:38 +0100 Subject: WORDS 2019, 2nd call for papers Message-ID: *We apologize if you received this email several times. To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line.* WORDS 2019 12th International Conference Loughborough, September 9–13, 2019 http://words2019.lboro.ac.uk *Announcement* WORDS is a biannual international conference covering the mathematical theory of words (sequences of symbols) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to biology, linguistics, physics, and others. The previous WORDS conferences have taken place in Rouen (1997, 1999), Palermo (2001), Turku (2003, 2013), Montreal (2005, 2017), Marseille (2007), Salerno (2009), Prague (2011), and Kiel (2015). The 12th International Conference on Words, WORDS 2019 will take place on September 9-13 2019 at Loughborough University, UK (http://www.lboro.ac.uk/departments/compsci/). Co-chairs of this edition are Robert Mercaș and Daniel Reidenbach. *Invited Speakers* Florin Manea (Kiel) Svetlana Puzynina (St. Petersburg) Antonio Restivo (Palermo) Gwenaël Richomme (Montpellier) Aleksi Saarela (Turku) Kristina Vuskovic (Leeds) *Program Committee* Marie-Pierre Béal (Paris) Srecko Brlek (Montreal) Émilie Charlier (Liège) Volker Diekert (Stuttgart) Gabriele Fici (Palermo) Anna Frid (Marseille) Amy Glen (Murdoch) Štěpán Holub (Prague) Shunsuke Inenaga (Kyushu) Robert Mercas (Loughborough) co-chair Dirk Nowotka (Kiel) Jarkko Peltomäki (Turku) Edita Pelantová (Prague) Narad Rampersad (Winnipeg) Daniel Reidenbach (Loughborough) co-chair Jeffrey Shallit (Waterloo) Arseny Shur (Yekaterinburg) *Important dates* Submission deadline: April 12, 2019 Notification to authors: May 20, 2019 Deadline for final versions: June 3, 2019 Conference: September 9–13, 2019 *Submission guidelines* Submitted papers should not exceed 12 pages and be prepared according to the following guidelines and LNCS-style LaTeX2e. All proofs omitted due to space constraints should be given in an appendix or made accessible through a reliable link to a freely available electronic preprint (updated before submission). These will be read at the discretion of the program committee. Only original submission which have not been submitted for publication elsewhere will be considered. Papers should be submitted electronically in PDF through the EasyChair system: https://easychair.org/conferences/?conf=words2019 *More information* are available on the conference website http://words2019.lboro.ac.uk/, where different PDF versions of the conference poster can also be downloaded. *Contact* Words2019 at lboro.ac.uk The conference is organized by the Department of Computer Science, School of Science, Loughborough University, UK. From roby.casadei at unibo.it Wed Feb 27 23:07:44 2019 From: roby.casadei at unibo.it (Roberto Casadei) Date: Wed, 27 Feb 2019 23:07:44 +0100 Subject: [CfP] 4th eCAS Workshop on Engineering Collective Adaptive Systems (sub. deadline: Mar 15) Message-ID: ************************************************************** CALL FOR WORKSHOP PAPERS: eCAS'19 The 4th eCAS Workshop on Engineering Collective Adaptive Systems (eCAS 2019) Workshop website: http://ecas2019.apice.unibo.it Location: Umeå, Sweden. In conjunction with FAS* (https://www.fasstar.org) - 13th IEEE International Conference on Self-Adaptiveand Self-Organizing Systems (SASO 2019, http://saso2019.cs.umu.se/), and - 16th IEEE International Conference on Autonomic Computing (ICAC 2019, http://icac2019.cs.umu.se/) ************************************************************** [Apologies for possible multiple copies of this message] Please share and spread to interested members of your group/institution and colleague researchers. ============================================================== Important dates ============================================================== * Abstract Submission: March 8, 2019 * Submission Deadline: March 15, 2019 * Notification of Acceptance: April 15, 2019 * Camera-Ready Version: April 20, 2019 * Workshop: TBD (June 16-20, 2019) ============================================================== Scope ============================================================== Modern software systems are becoming more and more *collective* and are composed of many distributed and heterogeneous entities. These systems operate under continuous perturbations making manual adjustments infeasible. For a collective system to be resilient, its *adaptation* must also be collective, in the sense that multiple entities must adapt in a way that addresses critical runtime conditions while preserving the benefits of collaborative interdependencies. Decision-making in such systems is distributed and possibly highly dispersed, and interaction between the entities may lead to the emergence of unexpected phenomena. In such systems, a new approach for adaptation is needed to allow: (i) multiple entities to collectively adapt with; (ii) negotiations to decide which collective changes are best. Collective adaptation also raises a second important challenge: Which parts of the system (things, services, people) should be engaged in an adaptation? This is nontrivial, as multiple solutions to the same problem may be generated at different levels. The challenge is to understand these levels and create mechanisms to decide the right scope for an adaptation for a given problem. This workshop solicits papers that address new methodologies, theories and principles that can be used to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that they can be better designed, built, and analyzed, as well as case studies and applications showing such approaches in action. Interdisciplinary work is particularly welcomed. Suggested Topics (but not limited to): * Novel theories relating to operating principles of CAS * Novel design principles for building CAS systems * Insights into the short and long-term adaptation of CAS systems * Insights into emergent properties of CAS * Insights into general properties of large scale, distributed CAS * Decision-making approaches in CAS * Methodologies for studying, analyzing, and building CAS * Frameworks for analyzing or developing CAS case studies * Languages, platforms, APIs and other tools for CAS * Scenarios, case studies, and experience reports of CAS in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, traffic management, emergency response, etc.) ============================================================== Submission Instructions and Review Criteria ============================================================== The length of a workshop paper may not exceed *6 pages* including references and follow the IEEE Computer Society Press proceedings style guide. All papers should be submitted in PDF format. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=ecas2019 By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work. Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality. Workshop proceedings will be published on IEEE Xplore in parallel with the main conference proceedings. ============================================================== Committees ============================================================== Steering Committee * Jacob Beal, Raytheon BBN Technologies, USA * Giacomo Cabri, University of Modena And Reggio Emilia, Italy * Nicola Capodieci, University of Modena and Reggio Emilia, Italy * Emma Hart, Edinburgh Napier University, U.K * Mirko Viroli, University of Bologna, Italy Workshop Chairs * Roberto Casadei, Alma Mater Studiorum--Università di Bologna, IT * Soura Dasgupta, University of Iowa, USA Program Committee (TBC) * Franco Bagnoli, University of Firenze, Italy * Jake Beal, Raytheon BBN Technologies, USA * Johann Bourcier, Université de Rennes 1 / IRISA, France * Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy * Mauro Caporuscio, Linnaeus University, Sweden * Ferruccio Damiani, Dipartimento di Informatica, Università di Torino, Italy * Simon Dobson, University of St Andrews, UK * Martina De Sanctis, Gran Sasso Science Institute, L'Aquila, Italy * Giovanna Di Marzo Serugendo, University of Geneva, Switzerland * Schahram Dustdar, Vienna University of Technology, Austria * Lukas Esterle, Aston University, UK * Francesco Gallo, University of L'Aquila, Italy * Kurt Geihs, Universitaet Kassel, Germany * Tom Holvoet, Katholieke Universiteit Leuven, Belgium * Paola Inverardi, University of L'Aquila, Italy * Ludovico Iovino, Gran Sasso Science Institute, L'Aquila, Italy * Verena Klös, TU Berlin, Germany * Peter Lewis, Aston University, UK * Michele Loreti, University of Camerino, Italy * Mieke Massink, CNR-ISTI, Italy * Mirco Musolesi, University College London, UK * Danilo Pianini, University of Bologna, Italy * Simon Powers, Edinburgh Napier University, UK * Alexander Schiendorfer, University Augsburg, Germany * Romina Spalazzese, Malmoe University, Sweden * Christof Teuscher, Portland State University, Oregon, USA * Mirko Viroli, University of Bologna, Italy ============================================================== Contacts ============================================================== For any question, please contact the workshop organizers at ecas2019 at easychair.org. From nicolosi at dmi.unict.it Wed Feb 27 23:07:44 2019 From: nicolosi at dmi.unict.it (Marianna Nicolosi Asmundo) Date: Wed, 27 Feb 2019 23:07:44 +0100 Subject: First Call for Papers - 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis - WODHSA@JOWO2019 Message-ID: 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA) WODHSA 2019 Webpage: http://www.loa.istc.cnr.it/WODHSA/ Part of The Joint Ontology WOrkshops (JOWO) Episode V: The Styrian Autumn of Ontology. The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, 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 2019 Webpage: https://www.iaoa.org/jowo/2019/ ==================================== DEFINITION AND SCOPE OF WODHSA 2019 ==================================== The purpose of the workshop is twofold: on the one hand, to gather original research work about both application and theoretical issues emerging in the elaboration of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH) and, on the other hand, to collect studies on the philosophical and social impact of such models. Concerning the former aim, a plethora of heterogeneous and multi-format data ? including 3D models, photos, audio records, and documents on paper ? is currently available in the Digital Humanities domain. Such huge amount of information, retrieved from different sources and contexts, disseminated in different and often isolated places, asks for principled methodologies and technologies to semantically characterize and possibly integrate data and data models for analysis, visualization, retrieval, and other purposes. Moreover, dedicated automated reasoning tools allow one to prove the consistency of conceptual models and to extract implicit information present in data to gain a deeper knowledge of the application domain at stake. Hence, research efforts towards the application or use of reasoning engines is of vital relevance. With respect to the second aim, the workshop welcomes contributions that look at ontologies and conceptual models for the DH from a broader philosophical or sociological perspective and contextualize them within the debate on digital technologies or models in philosophy or science and technology studies (STS). The contributions are expected to analyze ontologies and conceptual models for the Digital Humanities, i.e., to shed some light on the (social, economic, political, etc.) interests that drive the development and adoption of computer models in the DH and the impact on the involved stakeholders and society at large. The complementary character of these two kinds of contributions should allow both modelers and users to be more aware of the modeling choices behind models and applications and of the theories that constitute the background of such choices. This would enhance transparency and reliability of the adopted models and thus understanding and trust on the side of stakeholders and users. Examples of research questions which would be interesting to discuss at the workshop: - What are the current challenges concerning the management of knowledge or data for the Digital Humanities? - What is the state of art about the use of ontologies and Semantic Web technologies in the Digital Humanities? - How do we model, characterize, and possibly integrate knowledge and data for the Digital Humanities? - What are the core concepts and relations that ontologies for the Digital Humanities need to cover? Are these concepts well conceptualized and represented in the ontologies currently available? - Can foundational ontologies or theories of formal ontology (e.g., mereology, theories of events, objects, qualities, etc.) support knowledge representation or data management tasks for the Digital Humanities? - How do we deal with the temporal dimension of Digital Humanities data sets, e.g., with the representation of historic events and past objects? - How do we deal with uncertain or fuzzy information in DH domains (e.g, uncertain discovery place of an archaeological find, fuzzy execution date of an artwork, etc.)? - Is there the need for coordinated national or international efforts towards the integration of ontologies or data models for the DH? - Which is the impact of the use of digital technologies for scholars in the humanities, and for users and stakeholders? - Which is the impact of modeling choices on the DH domains at stake and on their users and stakeholders? =================== TOPICS OF INTEREST =================== Topics of interest include (but are not limited to): - The use of ontologies, conceptual models, or knowledge graphs for modeling, accessing, integrating, or reasoning over knowledge and data for e-culture portals, museums, archives, and libraries, among others. Research domains of interest include history, history of arts, theatre, literature, archeology, musicology, natural and cultural heritage (including architectural heritage), among others. - The use of standard conceptual models for the DH such as CIDOC-CRM or FRBR. The workshop welcomes the analysis, comparison, or integration of such standard models with respect to foundational ontologies such as BFO, DOLCE, or -UFO among others, as well as formal ontology theories. - The use of ontology design patterns to support the development of ontologies for the DH. - The use of reasoning inference mechanisms to guarantee data consistency with respect to knowledge models or to reveal hidden information stored in the data. - Research and application challenges arising from the digitalization of DH data and their management through ontology-based information systems or applications. - The development of ontology-based information systems for the DH. We particularly welcome research or application papers exploiting the reasoning capabilities of Semantic Web ontologies, or using ontologies in tandem with relational databases (OBDA approaches). - Sociological analysis, modeling practices, and/or impact of the use of computer-based technologies (e.g., virtual reality for museums) in the DH. - Philosophical analysis of models and modeling practices in the DH. - Social studies on the policies towards the standardization of ontologies in the DH. ================= IMPORTANT DATES ================= - Submission deadline: April 30, 2019 - Review notification: June 15, 2019 - Camera ready: July 15, 2019 - Workshop: September 23-25 (one day) ====================== ACCEPTED SUBMISSIONS ====================== We welcome two types of submissions: - Research articles (not exceeding 12 pages, including the bibliography) for presenting original unpublished work, neither submitted to, nor accepted for, any other venue. - Extended abstracts (not exceeding 6 pages, including the bibliography) for presenting work in progress, brief descriptions of doctoral theses, or general overviews of research projects. However, please notice that, as a requisite for having the abstract published in the CEUR proceedings, this cannot be shorter than 5 pages in the IOS Press formatting template. ====================== SUBMISSION GUIDELINES ====================== Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines (downloadable here: https://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/). Papers should be uploaded via Easy Chair: https://easychair.org/conferences/?conf=jowo2019 ============ PUBLICATION ============ Articles and abstracts will be published by CEUR workshop proceedings (http://ceur-ws.org/index.html). For previous editions of JOWO proceedings, see https://www.iaoa.org/jowo/ ========================= WORKSHOP ORGANIZATION ========================= Marianna Nicolosi Asmundo, University of Catania, Italy; Roberta Ferrario, Laboratory for Applied Ontology, ISTC-CNR, Italy; Emilio M. Sanfilippo, Le Studium, Loire Valley Institute for Advanced Studies, France. ==================== PROGRAM COMMITTEE ===================== Alessandro Adamou (National University of Ireland, Galway) Valentina Bartalesi (ISTI-CNR, Pisa) Arianna Betti (University of Amsterdam) Enrico Daga (The Open University) Øyvind Eide (University of Cologne) Adam Fedyniuk (Nicolaus Copernicus University, Torun) Leif Isaksen (University of Exeter) Ludger Jansen (Ruhr University, Bochum) Albert Meroño Peñuela (University of Amsterdam) Alessandro Mosca (SIRIS Lab Research) Silvio Peroni (University of Bologna) Antonella Poggi (Università La Sapienza, Roma) Giuseppe Primiero (Università degli Studi di Milano) Maria Rosaria Stufano Melone (Politecnico di Bari) Viola Schiaffonati (Politecnico di Milano) Perrine Thuringer (University of Tours) Jouni Tuominen (University of Helsinki) -- Marianna Nicolosi Asmundo Dipartimento di Matematica ed Informatica Università di Catania Viale A.Doria, 6 - 95125 Catania Italy Tel: +39 095 7383054 E-mail: nicolosi at dmi.unict.it Homepage: http://www.dmi.unict.it/~nicolosi/ From irdta at irdta.eu Wed Feb 27 23:07:44 2019 From: irdta at irdta.eu (IRDTA) Date: Wed, 27 Feb 2019 23:07:44 +0100 Subject: DeepLearn 2019: early registration March 2 Message-ID: DeepLearn 2019: early registration March 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   --- Early registration deadline: March 2, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 2019 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 four-hour and a half 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 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   Global Expo Modlinska 6D 03-216 Warsaw   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   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine   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   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), tba   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep Learning   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 14, 2019.   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 at irdta.eu by July 14, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an 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:   Accommodation can be booked at   http://www.deeplearn2019.promoest.com/hp.aspx?s=0   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrien.barton at gmail.com Wed Feb 27 23:07:44 2019 From: adrien.barton at gmail.com (Adrien Barton) Date: Wed, 27 Feb 2019 23:07:44 +0100 Subject: Call for Papers: 5th Joint Ontology Workshops (JOWO 2019), Graz, Austria Message-ID: The Joint Ontology WOrkshops (JOWO 2019) will take place on September 23-25 in Graz, Austria. Previous JOWO editions were held in conjunction with FOIS 2018 in Cape Town (South Africa), in 2017 in Bolzano (Italy), in conjunction with FOIS 2016 in Annecy (France), and at IJCAI 2015 in Buenos Aires (Argentina). 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. JOWO 2019 website: https://www.iaoa.org/jowo/2019/ IMPORTANT DATES • May 15, 2019: latest submission deadline for workshop contributions (some workshops may have an earlier deadline, as indicated on their webpage); • August 1, 2019: camera-ready versions due for proceedings; • September 23-25, 2019: JOWO 2019 in Graz. The following workshops are being organized: * 2nd International Workshop on Bad or Good Ontology (BOG). Chairs: Torsten Hahmann, Rafael Peñaloza, Stefan Schulz, Giancarlo Guizzardi, Oliver Kutz and Nicolas Troquard (http://bog.inf.unibz.it/) * Cognition And OntologieS (CAOS IV). Chairs: Oliver Kutz, Maria M. Hedblom, Guendalina Righetti, Danielle Porello and Claudio Masolo (http://caos.inf.unibz.it/) * Contextual Representations of Events and Objects in Language (CREOL). Chairs: Valerio Basile, Tommaso Caselli, Daniele P. Radicioni and Andrea Amelio Ravelli (https://creol2019.di.unito.it) * Workshop on Data meets Applied Ontologies in Open Science and Innovation (DAO-SI). Chairs: Alessandro Mosca, Roberto Confalonieri and Diego Calvanese (https://daosi.inf.unibz.it) * 10th International Workshop on Formal Ontologies meet Industry (FOMI). Chairs: Michael Gruninger and Walter Terkaj (http://stl.mie.utoronto.ca/fomi2019/home.html) * Workshop on Foundational Ontology (FOUST). Chairs: Oliver Kutz, Stefano Borgo, Antony Galton, Fabian Neuhaus and Frank Loebe (http://foust.inf.unibz.it/) * Ontologies and Data in Life Sciences 2019 (ODLS 2019). Chairs: Martin Boeker, Ludger Jansen, Frank Loebe and Stefan Schulz (https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2019-ODLS) * The Shape of Things (SHAPES 5.0). Chairs: Stefano Borgo, Inge Hinterwaldner, Oliver Kutz and Rossella Stufano Melone (http://www.loa.istc.cnr.it/workshops/SHAPES5/) * Social, Legal and Economic Entities (SoLEE). Chairs: Ludger Jansen, Mathias Brochhausen, Nicola Guarino, Giancarlo Guizzardi and Daniele Porello (https://solee-2019.github.io/solee-2019/) * Second Workshop on INteraction-based Knowledge Sharing (WINKS-2). Chairs: Adrian Kemo, Jerome Euzenat, Dagmar Gromann, Ernesto Jimenez-Ruiz, Marco Schorlemmer and Valentina Tamma (http://www.iiia.csic.es/winks-2/) * 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA). Chairs: Marianna Nicolosi Asmundo, Roberta Ferrario and Emilio M. Sanfilippo (http://www.loa.istc.cnr.it/WODHSA/) * 4th International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2019). Chairs: Stefano Borgo, Loris Bozzato, Till Mossakowski and Antoine Zimmermann (https://womocoe19.fbk.eu/) Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines (downloadable here: https://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/). Submissions can be uploaded via EasyChair: https://easychair.org/conferences/?conf=jowo2019. After logging in, select the workshop to which you wish to submit. As in earlier years, selected contributions to JOWO workshops with a minimum of 5 pages will be published in a joint CEUR proceedings volume. * JOWO 2018: http://ceur-ws.org/Vol-2205/ * JOWO 2017: http://ceur-ws.org/Vol-2050/ * JOWO 2016: http://ceur-ws.org/Vol-1660/ * JOWO 2015: http://ceur-ws.org/Vol-1517/ In addition, JOWO 2019 will host four tutorials: * Data-driven ontology engineering with Relational Concept Analysis (DOnEReCA). Organizers: Petko Valtchev, Mickael Wajnberg * Introduction to Foundational Ontologies (FOUNT). Organizers: Nicola Guarino, Giancarlo Guizzardi, Daniele Porello * SNOMED CT Tutorial. Organizer: Stefan Schulz * Top Level Ontologies (ISO/IEC 21838). Organizers: Barry Smith, Michael Gruninger For more detailed timelines, see the workshop pages. For further inquiries please contact the chairs of the specific workshops. JOWO chairs Adrien Barton, CNRS-IRIT, Toulouse, France (adrien.barton at gmail.com) Selja Seppälä, University College Cork, Ireland (selja.seppala.unige at gmail.com) From radicion at di.unito.it Wed Feb 27 23:07:44 2019 From: radicion at di.unito.it (daniele radicioni) Date: Wed, 27 Feb 2019 23:07:44 +0100 Subject: First Call for Papers - Contextual Representation of Events and Objects in Language - CREOL@JOWO2019 Message-ID: (apologies for multiple postings) # CREOL at JOWO2019 Call for Papers ## Contextual Representation of Events and Objects in Language ### http://creol2019.di.unito.it Graz, Austria, September 23-25, 2019 The Joint Ontology WOrkshops (JOWO, https://www.iaoa.org/jowo/2019/) is a venue of workshops that, together, 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. ### SCOPE CREOL aims at gathering together researchers from different communities (Applied Ontology, NLP, AI, Semantic Web) to investigate the relationship between the semantic representation of objects and events and their context, from an ontological and linguistic perspective. Dealing with context is a key factor in the conceptualisation of human experience, and thus a major issue for understanding natural language. It is well known that some properties of objects and events may be activated according to their context of occurrence, and thus determine selective access to salient aspects. Current ontologies and lexicons (e.g. DOLCE [1], Unified Verb Index [2])) offer limited (meaning) representations of events and objects that then may find different realisations in text. Additionally, the growing interest towards multimodal information systems requires devising approaches and resources aimed at representing context by considering different sources (e.g., textual description, image, video) as a whole. Contextual access to objects and events needs to be investigated at its interface with language and visual scene, as well. Recently, several advanced approaches have been proposed to model meaning representations of lexical items in their context (e.g., Deep contextualised word representations [3]). Likewise, approaches and resources have been designed to represent and make explicit the relations intervening between objects in scenes depicting events (e.g., Visual Genome [4]). Moreover, established theories of meaning representation allow for the representation of context to varying extent (e.g., Abstract Meaning Representation [5], Discourse Representation Theory [6]). The goal of this workshop is to promote and discuss the design of ontologies, linguistic resources, and computational methods that treat context as a primary focus of interest. [1] Gangemi et al. (2002) “Sweetening Ontologies with DOLCE” [2] Trumbo (2006) “Increasing the usability of research lexica” [3] Peters et al. (2018) “Deep contextualized word representations” [4] Krishna et al. (2017) "Visual genome: Connecting language and vision using crowdsourced dense image annotations" [5] Banarescu et al. (2013) “Abstract Meaning Representation for Sembanking” [6] Kamp and Reyle (1993) “From Discourse to Logic” ### SUBMISSION We solicit contributions of up to 8 pages plus references. All submissions must be in PDF format and must follow the IOS Press FOIS formatting guidelines, available at https://goo.gl/qkTpT7. All accepted contributions will appear in the proceedings, which will be published by CEUR. (For previous editions of the JOWO proceedings, see www.iaoa.org/jowo/). ### APPLICATION AREAS Contributions are solicited that cover a variety of topics, including but not limited to: - ontologies of objects, qualities, and events; - context-aware ontologies and ontologies of context; - theoretical foundations for the use of AI techniques to deal with context and with changing/evolving objects and events; - KR frameworks to represent mutable/evolving objects and events, including formal ontologies, conceptual spaces and distributed representations; - formal methods for reasoning in evolving scenarios; - theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management centered on events and evolving objects; - linguistic approaches to context analysis; - context-aware lexical resources to describe events; - context-aware topic and event detection and tracking, knowledge discovery; - context-aware frame semantics, and ontology-based frame design; - context in typicality-based knowledge; - contextual knowledge for eXplainable AI; - formal ontologies and models for context-aware accountability; - entity linking, keyword linking, word sense disambiguation; - context-aware multimodal resources and applications; - contextualised meaning representations (formal and distributional); - use cases (such as Natural Language Processing, Computer Vision, Robotics) and application scenarios (e.g., in law, medicine) where contextual information impacts on concepts/events representation and processing. ### IMPORTANT DATES - February 22, 2019 - First call for papers - May 15, 2019 - Submission of contributions to workshops - July 1 , 2019 - Workshop paper acceptance notification - August 1, 2019 - Deadline for final camera ready - September 23-25, 2019 - CREOL at JOWO ### WORKSHOP ORGANIZERS Valerio Basile, University of Turin, Italy Tommaso Caselli, University of Groningen, NL Daniele P. Radicioni, University of Turin, Italy Andrea Amelio Ravelli, University of Florence, Italy ### PROGRAM COMMITTEE [TBA] : : : : : : : : : : : : : : : : : : : Daniele Radicioni, PhD Department of Computer Science University of Turin Corso Svizzera, 185 10149 - Torino phone: +39 011 6706802 fax: +39 011 751603 http://www.di.unito.it/~radicion From gabriella.pigozzi at lamsade.dauphine.fr Wed Feb 27 23:07:44 2019 From: gabriella.pigozzi at lamsade.dauphine.fr (Gabriella PIGOZZI) Date: Wed, 27 Feb 2019 23:07:44 +0100 Subject: CFP: Argument & Computation special issue on Argument strength Message-ID: Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. Given the importance of this topic, we are planning a special issue of Argument & Computation (https://www.iospress.nl/journal/argument-computation/) whose aim is to provide an up-to-date view of the vitality and richness of research on argument strength by collecting high-quality novel contributions on both theoretical and practical aspects of this fundamental notion. Topics of interests include, but are not limited to: * Which factors influence the strength of an argument? * What are the pros and cons of different formal representations of argument strength? * How does argument strength propagate when inferences are chained? * How do arguments accrue? * Can weaker arguments defeat and/or defend stronger arguments? * When do more specific arguments defeat more general arguments and vice versa? * How do formal and informal approaches to argument strength relate? * How do preferences assigned to premises influence the evaluation of arguments? Important dates: March 3: expression of interest June 30: paper submission deadline August 31: reviews due Submissions building on conference or workshop papers are welcome provided that they are significantly enhanced to meet journal quality standards. If you are interested in submitting a paper, please send an e-mail to gabriella.pigozzi at lamsade.dauphine.fr and vesic at cril.fr before March 3. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: