From irdta at irdta.eu Mon Apr 1 10:12:26 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 01 Apr 2019 10:12:26 +0200 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 vitordouzi at gmail.com Mon Apr 1 10:12:26 2019 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Mon, 01 Apr 2019 10:12:26 +0200 Subject: CALL FOR PARTICIPATION Text2Story 2019 Message-ID: *** Apologies for cross-posting *** ++ CALL FOR PARTICIPATION ++ ****************************************************************************************** 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 ****************************************************************************************** The Second International Workshop on Narrative Extraction from Texts (Text2Story 2019) will be held on April 14th in Cologne, Germany under the umbrella of ECIR’19 (41st European Conference on Information Retrieval). Text2Story will feature the presentation of 10 papers, a poster session, 2 keynote speakers (Miguel Martinez-Alvarez and Iryna Gurevych) and a slot for demonstrations. ++ Invited Speakers ++ The program of Text2Story will feature two high-profile keynote speakers: - Miguel Martinez-Alvarez (Co-Founder / Chief Data Scientist at Signal) will give a talk on “Automatic Media analysis: From monitoring to Insights” - Iryna Gurevych (Professor at Technische Universität Darmstadt) will give a talk on "Claim Validation by Humans and Machines: Where We Are and the Road Ahead" ++ List of Papers ++ - Automatic Recognition of Narrative Drama units: a structured learning approach (Danilo Croce, Roberto Basili, Vincenzo Lombardo, Eleonora Ceccaldi) - Semantic Storytelling: Towards Identifying Storylines in Large Amounts of Text Content (Georg Rehm, Karolina Zaczynska, Julián Moreno) - NOVEL2GRAPH: Visual Summaries of Narrative Text Enhanced by Machine Learning (Vani K, Alessandro Antonucci) - Towards the Automatic Analysis of the Structure of News Stories (Iqra Zahid,Hao Zhang, Frank Boons, Riza Batista-Navarro) - Automated Event Extraction Model for Linked Portuguese Documents (Kashyap Raiyani, Paulo Quaresma, Teresa Gonçalves, Vitor Nogueira) - Steps Towards a System to Extract Formal Narratives from Text (Daniele Metilli,Valentina Bartalesi, Carlo Meghini) - Textual Analysis for Radicalisation Narratives aligned with Social Sciences Perspectives (Ronald Denaux, Jose Manuel Gomez-Perez) - Dense vs. Sparse Representations for News Stream Clustering (Todor Staykovski, Alberto Barrón-Cedeño, Giovanni Da San Martino, Preslav Nakov) - Narrative detection in online patient communities (Anne Dirkson,Suzan Verberne, Wessel Kraaij) - "Extracting Evidence Summaries from Detective Novels" (Aditya Motwani, Aayush Naik, Kamalakar Karlapalem) ++ Program ++ Program details at http://bit.ly/text2story19 We hope to see you in Cologne, Germany! ++ 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) Conceição Rocha (LIAAD INESC TEC) João Paulo Cordeiro (INESC TEC; University of Beira Interior) Arian Pasquali (INESC TEC) Vitor Mangaravite (UFMG; INESC TEC) -- Vítor Mangaravite PhD Candidate at UFMG - Universidade Federal de Minas Gerais. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From opcodesec at gmail.com Thu Apr 4 14:17:13 2019 From: opcodesec at gmail.com (Cheng Huang) Date: Thu, 04 Apr 2019 14:17:13 +0200 Subject: CFP: ISC 2019 (Extended Submission Deadline: 12 April 2019) Message-ID: Dear Colleagues, Apologize if you have received multiple copies. Due to increased interest for final paper submissions deadline extension for ISC’19, we have decided to extend it until April 12, 2019. 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: - Extended Paper Submission Deadline: 12 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 vesic at cril.fr Thu Apr 4 14:17:13 2019 From: vesic at cril.fr (Srdjan Vesic) Date: Thu, 04 Apr 2019 14:17:13 +0200 Subject: ECSQARU 2019 (2nd CFP) Message-ID: ******************************************************************************** 2nd CALL FOR PAPERS Fifteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2019 September 18-20, 2019 Belgrade (Serbia) http://www.mi.sanu.ac.rs/~ecsqaru2019/ Invited Speakers: Fabio Gagliardi Cozman, University of Sao Paulo Lluís Godo, Artificial Intelligence Research Institute (IIIA), CSIC Francesca Toni, Imperial College London ******************************************************************************** The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Previous ECSQARU events have been held in Marseille (1991), Granada (1993), Fribourg (1995), Bonn (1997), London (1999), Toulouse (2001), Aalborg (2003), Barcelona (2005), Hammamet (2007), Verona (2009), Belfast (2011), Utrecht (2013), Compiègne (2015), and Lugano (2017). ::: SCOPE ::: For ECSQARU 2019 we invite submissions of original papers on topics which include but are not limited to: - Algorithms for uncertain inference - Applications of uncertain systems - Argumentation systems - Automated planning and acting under uncertainty - Belief functions - Belief change & merging - Classification & clustering - Decision theory & decision graphs - Default reasoning - Description logics with uncertainty - Foundations of reasoning under uncertainty - Fuzzy sets & fuzzy logic - Game theory - Hybrid reasoning - Imprecise probabilities - Inconsistency handling - Information fusion - Learning for uncertainty formalisms - Learning for uncertainty formalisms - Logics for reasoning under uncertainty - Markov decision processes - Possibility theory & possibilistic logic - Preferences - Probabilistic graphical models - Probabilistic logics - Qualitative uncertainty models - Rough sets - Uncertainty & data ::: PROCEEDINGS ::: In accordance with the previous conferences, the proceedings of ECSQARU 2019 will be published in the Springer Lecture Notes in Artificial Intelligence series. In addition to that, extended versions of selected papers will be published in a special issue of the International Journal of Approximate Reasoning. ::: SUBMISSIONS ::: Authors are requested to prepare their conference papers in the LNCS/LNAI format. Submitted papers must be original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. Reviewing will be double-blind, so names of authors and affiliations must be omitted from the paper. Authors of accepted papers are expected to attend the conference to present their work, at least one author of each paper must register for the conference. Submitted papers must be at most 10 pages (excluding references) in the Springer LNCS/LNAI format. Submissions will be through EasyChair: https://easychair.org/conferences/?conf=ecsqaru2019 ::: IMPORTANT DATES ::: May 3, 2019: Abstract submission deadline May 10, 2019: Paper submission deadline June 11, 2019: Author notification Sept 18-20, 2019: ECSQARU 2019 _________________________________ Co-Chairs: Gabriele Kern-Isberner Department of Computer Science TU Dortmund, Germany gabriele.kern-isberner at cs.uni-dortmund.de Zoran Ognjanović (also Local Organization) Mathematical Institute SANU Belgrade, Serbia (ex: Serbia and Montenegro, Yugoslavia) zorano at mi.sanu.ac.rs Program Committee: Leila Amgoud, IRIT, France Alessandro Antonucci, IDSIA, Switzerland Ringo Baumann, Leipzig University, Germany Christoph Beierle, University of Hagen, Germany Vaishak Belle, University of Edinburgh, UK Concha Bielza, Technical University of Madrid, Spain Isabelle Bloch, ENST-LTCI, France Guy van den Broeck, University of California, US Giovanni Casini, University of Luxembourg, Luxembourg Laurence Cholvy, ONERA-Toulouse, France Giulianella Coletti, Univesity of Perugia, Italy Ines Couso, University of Oviedo, Spain Fabio G. Cozman, University of Sao Paulo, Brazil Fabio Cuzzolin, Oxford Brookes University, UK Luis (M.) De Campos, University of Granada, Spain Thierry Deneoux, University of Technology of Compiegne, France Sebastien Destercke, University of Technology of Compiegne, France Dragan Doder, University of Belgrade, Serbia Florence Dupin de Saint-Cyr, IRIT, France Zied Elouedi, Institut Superieur de Gestion de Tunis, Tunisia Patricia Everaere, University of Lille 1, France Alessandro Facchini, IDSIA, Switzerland Eduardo Ferme, University of Madeira, Spain Tommaso Flaminio, IIIA - CSIC, Spain Laurent Garcia, University of Angers, France Laura Giordano, Università del Piemonte Orientale, Italy Lluis Godo, Spanish National Research Council, Spain Anthony Hunter, University College London, UK Nebojsa Ikodinovic, University of Belgrade, Serbia Souhila Kaci, LIRMM, France Sebastien Konieczny, CRIL, France Jerome Lang, LAMSADE, France Florence Le Ber, ENGEES, France Philippe Leray, University of Nantes, France Peter Lucas, Radboud University, Netherlands Carsten Lutz, University of Bremen, Germany Francesca Mangili, IDSIA, Switzerland Choh Man Teng, Florida Institute for Human and Machine Cognition, US Pierre Marquis, University of Artois, France Maria Vanina Martinez, University of Oxford, UK David Mercier, University of Artois, France Thomas Meyer, University of Cape Town and CAIR, South Africa Enrique Miranda, University of Oviedo, Spain Serafin Moral, University of Granada, Spain Farid Nouioua, LSIS, France Odile Papini, LSIS UMR CNRS, France Davide Petturiti, University of Perugia, Italy Nico Potyka, University of Osnabrueck, Germany Henri Prade, IRIT, France Silja Renooij, Utrecht University, Netherlands Guillermo Simari, Universidad del Sur in Bahia Blanca, Argentina Karim Tabia, CRIL, France Rafael Testa, Unicamp, Brazil Matthias Thimm, University of Koblenz-Landau, Germany Matthias Troffaes, Durham University, UK Linda Van der Gaag, Utrecht University, Netherlands Leon van der Torre, University of Luxembourg, Ivan Varzinczak, University of Artois and CNRS, France Srdjan Vesic(CNRS-CRIL, France) Jirka Vomlel, Czech Academy of Sciences, Czech Republic Renata Wassermann, University of Sao Paulo, Brazil Stefan Woltran, Vienna University of Technology, Austria Eric Würbel, LSIS/INCA, France ******************************************************************************************* From blllne2 at unife.it Thu Apr 4 14:17:13 2019 From: blllne2 at unife.it (Elena Bellodi) Date: Thu, 04 Apr 2019 14:17:13 +0200 Subject: IJAR Special Issue on Probabilistic Logic Programming - DEADLINE EXTENDED Message-ID: DEADLINE EXTENDED to May 1st ----------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on Probabilistic Logic Programming The 5th Workshop on Probabilistic Logic Programming ( http://stoics.org.uk/plp/plp2018) was held on September 1st 2018 in Ferrara, Italy, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018). We welcome submissions of (improved/extended versions of) papers that were presented at the workshop, as well as new submissions on all topics of the workshop. ---------------------------------------------------------------------- Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important dates --------------- Submission of manuscripts: before May 1st, 2019 (papers will be sent to reviewers as soon as we receive them) Publication of the special issue: January 2020 (tentative) Submissions ----------- All submitted papers under this call will undergo the standard review process of the journal. All papers should be submitted to IJAR website http://www.evise.com/evise/jrnl/IJA by choosing the Special Issue “VSI: PLP2018”. All online submissions should follow the “Guide for Authors” of the journal. Guest Editors: -------------- Elena Bellodi (University of Ferrara, Italy) - elena.bellodi at unife.it Tom Schrijvers (KU Leuven, Belgium) - tom.schrijvers at cs.kuleuven.be -- Elena Bellodi, Ph.D. Assistant Professor Machine Learning Research Group DE - Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fioretto.ferdinando at isye.gatech.edu Thu Apr 4 14:17:13 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Thu, 04 Apr 2019 14:17:13 +0200 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 francesco.amigoni at polimi.it Thu Apr 4 14:17:13 2019 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Thu, 04 Apr 2019 14:17:13 +0200 Subject: IJCAI 2019 Robot Exhibition - Call for Expressions of Interest Message-ID: (Please apologize for multiple postings.) IJCAI 2019 Robot Exhibition Call for Expressions of Interest *** Note new deadline: April 21, 2019 *** We are pleased to present the call for expressions of interest in the IJCAI 2019 Robot Exhibition. IJCAI is the major conference of the worldwide AI community, and the Robot Exhibition will run alongside its technical program (August 10-16 2019, Macao, China). Robots are a central focus of AI research and development, providing preeminent examples of where intelligent abilities are necessary to cope with complex tasks and environments. On the one hand, developing intelligent robot systems involves challenging open research questions in AI. On the other hand, AI methods are gaining increasing interest and applicability in contexts which involve the use of robots, in industries, services, space, and several other domains. This exhibition offers a prime space for exposing both achieved results and new opportunities for the use of AI in Robotics to a large audience of qualified AI researchers, both from academia and from industry, and seeks to involve both academic and industrial actors interested in the combination of AI and Robotics. This exhibition will thus provide an outstanding opportunity for universities, research organisations, and companies to show their research on the world stage. At present, we are seeking expressions of interest for: • demonstrations and exhibits by universities, research organisations, or companies; • proposals for robot competitions. In keeping with the robotics exhibitions at past editions of IJCAI, expressions of interest will be evaluated according to the following criteria: • Relevance: What is the relevance of the shown demonstration/competition to AI? • Understandability: How amenable is the showcase to technical and non-technical audience? Expressions of interest should include: • A short description of the proposing group/company. • A description of the robotic technology to be demonstrated, with reference to the two criteria above. • The minimum amount of space needed to perform the demonstration/competition (e.g., the number and size of tables, the size of the arena if required, etc.). • The minimum amount of time needed to perform the demonstration/competition. • Details of required resources (e.g., Internet connection, electric power plugs, etc.). Selected proposals will be provided the required exhibition space at the conference venue for a suitable period of time during the conference technical program. Note that attending the IJCAI conference is not required. Expressions of interest should be submitted by email to the Robot Exhibition chairs (see below) no later than April 21, 2019. === Important dates Submission of expressions of interest: April 21, 2019. Notification of acceptance: May 20, 2019. === Robot Exhibition chairs Xiaoping Chen (xpchen at ustc.edu.cn) Francesco Amigoni (francesco.amigoni at polimi.it) === Confidentiality policy All submissions will be treated in strict confidence. --------------------------------------------------------- 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 geoff at cs.miami.edu Thu Apr 4 14:17:13 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 04 Apr 2019 14:17:13 +0200 Subject: 6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP Message-ID: [My apologies if you receive this in duplicate] Call for Papers, PxTP 2019 The Sixth International Workshop on Proof eXchange for Theorem Proving (PxTP) http://pxtp.gforge.inria.fr/2019/ 25-26 August 2019, Natal, Brazil associated with the CADE-27 conference ## Background The PxTP workshop brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms. The progress in computer-aided reasoning, both automatic and interactive, during the past decades, has made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation of such tools in larger verification environments has demonstrated the potential to reduce the amount of manual intervention. Examples include the Sledgehammer tool providing an interface between Isabelle and (untrusted) automated provers, and collaboration of the HOL Light and Isabelle systems in the formal proof of the Kepler conjecture. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools for exchanging problems, proofs, and models. The PxTP workshop strives to encourage such cooperation by inviting contributions on suitable integration, translation, and communication methods, standards, protocols, and programming interfaces. The workshop welcomes developers of automated and interactive theorem proving tools, developers of combined systems, developers and users of translation tools and interfaces, and producers of standards and protocols. We are interested both in success stories and descriptions of current bottlenecks and proposals for improvement. ## Topics Topics of interest for this workshop include all aspects of cooperation between reasoning tools, whether automatic or interactive. More specifically, some suggested topics are: * applications that integrate reasoning tools (ideally with certification of the result); * interoperability of reasoning systems; * translations between logics, proof systems, models; * distribution of proof obligations among heterogeneous reasoning tools; * algorithms and tools for checking and importing (replaying, reconstructing) proofs; * proposed formats for expressing problems and solutions for different classes of logic solvers (SAT, SMT, QBF, first-order logic, higher-order logic, typed logic, rewriting, etc.); * meta-languages, logical frameworks, communication methods, standards, protocols, and APIs related to problems, proofs, and models; * comparison, refactoring, transformation, migration, compression and optimization of proofs; * data structures and algorithms for improved proof production in solvers (e.g., efficient proof representations); * (universal) libraries, corpora and benchmarks of proofs and theories; * alignment of diverse logics, concepts and theories across systems and libraries; * engineering aspects of proofs (e.g., granularity, flexiformality, persistence over time); * proof certificates; * proof checking; * mining of (mathematical) information from proofs (e.g., quantifier instantiations, unsat cores, interpolants, ...); * reverse engineering and understanding of formal proofs; * universality of proofs (i.e. interoperability of proofs between different proof calculi); * origins and kinds of proofs (e.g., (in)formal, automatically generated, interactive, ...) * Hilbert's 24th Problem (i.e. what makes a proof better than another?); * social aspects (e.g., community-wide initiatives related to proofs, cooperation between communities, the future of (formal) proofs); * applications relying on importing proofs from automatic theorem provers, such as certified static analysis, proof-carrying code, or certified compilation; * application-oriented proof theory; * practical experiences, case studies, feasibility studies. ## Submissions Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages). Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. We expect that one author of every accepted paper will present their work at the workshop. Submitted papers should describe previously unpublished work, and must be prepared using the LaTeX EPTCS class (http://style.eptcs.org/). Papers will be submitted via EasyChair, at the PxTP'2019 workshop page (https://easychair.org/conferences/?conf=pxtp2019). Accepted regular papers will appear in an EPTCS volume. ## Important Dates * Abstract submission: May 12, 2019 * Paper submission: May 19, 2019 * Notification: June 21, 2019 * Camera ready versions due: July 14, 2019 * Workshop: 25-26 August 2019 ## Invited Speakers TBA ## Program Committee * Haniel Barbosa (University of Iowa), co-chair * Giselle Reis (Carnegie Mellon University), co-chair * Roberto Blanco, Inria, France * Frédéric Blanqui, Inria, France * Simon Cruanes, Aesthetic Integration, USA * Catherine Dubois, ENSIIE, France * Amy Felty, University of Ottawa, Canada * Mathias Fleury, Max-Planck-Institut für Informatik, Germany * Stéphane Graham-Lengrand, SRI, USA * Cezary Kaliszyk, University of Innsbruck, Austria * Chantal Keller, LRI, Université Paris-Sud, France * Laura Kovács, TU Wien, Austria * Olivier Laurent, CNRS, ENS Lyon, France * Stefan Mitsch, Carnegie Mellon University, USA * Carlos Olarte, UFRN, Brazil * Bruno Woltzenlogel Paleo, IOHK, Australia * Florian Rabe, LRI, Université Paris-Sud, France * Martin Riener, University of Manchester, UK * Geoff Sutcliffe, University of Miami, USA * Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics (CIIRC), Czech Republic * Yoni Zohar, Stanford University, USA ## Previous PxTP Editions * PxTP 2017 (https://pxtp.github.io/2017/), affiliated to Tableaux 2017, FroCoS 2017 and ITP 2017 * PxTP 2015 (http://pxtp15.lri.fr/), affiliated to CADE-25 * PxTP 2013 (http://www.cs.ru.nl/pxtp13/), affiliated to CADE-24 * PxTP 2012 (http://pxtp2012.inria.fr/), affiliated to IJCAR 2012 * PxTP 2011 (http://pxtp2011.loria.fr/), affiliated to CADE-23 From O.Obst at westernsydney.edu.au Thu Apr 4 14:17:13 2019 From: O.Obst at westernsydney.edu.au (Oliver Obst) Date: Thu, 04 Apr 2019 14:17:13 +0200 Subject: Full PhD scholarship on Research in areas of Machine Learning and Data Science, Western Sydney University, Australia Message-ID: We are offering a research scholarship and tuition fee waiver to a highly motivated PhD student at the Centre for Research in Mathematics, Western Sydney University. Our team conducts research both in the theoretical aspects of data science, such as computational statistics and machine learning methods (for example deep learning and reinforcement learning), as well as in problems arising from applications across a very broad spectrum of partners in business and government. Required qualifications are a first class honours or a Master degree with a research component, in relevant areas of Computer Science, Data Science, Mathematics or Statistics. For details, please see the full information here: http://bit.ly/2UkpCvS and contact me at o.obst at westernsydney.edu.au to discuss potential projects. Applications close 30 Apr 2019 (11:59pm Australian Eastern Standard Time). -- Oliver Obst, Associate Professor in Data Science Centre for Research in Mathematics Director for Research, Quality, and Innovation School of Computing, Engineering, and Maths Western Sydney University, Parramatta +61 2 9685 9429 http://www.oliverobst.eu/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From YQZhang at tue.nl Thu Apr 4 14:17:13 2019 From: YQZhang at tue.nl (Zhang, Y.) Date: Thu, 04 Apr 2019 14:17:13 +0200 Subject: 2nd Cfp (extended deadline): Data Science Meets Optimisation (DSO) Workshop at IJCAI-19, Macao, China Message-ID: *** Apologies for multiple copies *** Call for Papers Data Science Meets Optimisation (DSO) Workshop at IJCAI-19 August 10-16, 2019, Macao, China https://sites.google.com/view/ijcai2019dso/ *Important dates* Submission deadline (extended!!!): May 17, 2019 Notification of acceptance: June 10, 2019 *Scope* Data science and optimisation are closely related. On the one hand, many problems in data science can be solved using optimisers, on the other hand optimisation problems stated through classical models such as those from mathematical programming cannot be considered independent of historical data. Examples are ample. Machine learning often relies on optimisation techniques such as linear or integer programming. Algorithms may be complete, approximative or heuristic and may be applied in on-line or off line settings. Reasoning systems have been applied to constrained pattern and sequence mining tasks. A parallel development of metaheuristic approaches has taken place in the domains of data mining and machine learning. In the last decades, methods aimed at high level combinatorial optimisation have been shown to strongly profit from configuration and tuning tools building on historical data. Algorithm selection has since the seventies of the previous century been considered as a tool to select the most appropriate algorithm for a given instance. Empirical model learning uses machine learning models to approximate the behaviour of a system, and such empirical models can be embedded into an optimisation model for efficiently finding an optimal system configuration. The aim of the workshop is to organize an open discussion and exchange of ideas by researchers from Data Science and Operations Research domains in order to identify how techniques from these two fields can benefit each other. The program committee invites submissions that include but are not limited to the following topics: - Applying data science and machine learning methods to solve combinatorial optimisation problems, such as algorithm selection based on historical data, speeding up (or driving) the search process using machine learning, and handling uncertainties of prediction models for decision-making. - Using optimisation algorithms in developing machine learning models: formulating the problem of learning predictive models as MIP, constraint programming (CP), or satisfiability (SAT). Tuning machine learning models using search algorithms and meta-heuristics. Learning in the presence of constraints. - Embedding methods: combining machine learning with combinatorial optimization, model transformations and solver selection, reasoning over Machine Learning models. - Formal analysis of Machine Learning models via optimization or constraint satisfaction techniques: safety checking and verification via SMT or MIP, generation of adversarial examples via similar combinatorial techniques. - Computing explanations for ML model via techniques developed for optimization or constraint reasoning systems - Applications of integration of techniques of data science and optimization. *Submission* We invite the following submissions (all in the IJCAI proceedings format, see: https://www.ijcai.org/authors_kit ): - Submission of original work up to 8 pages in length. - Submission of work in progress (with preliminary results) and position papers, up to 6 pages in length. - Published journal/conference papers in the form of a 2-pages abstract. The program committee will select the papers to be presented at the workshop according to their suitability to the aims. Contributors will be invited to submit extended articles to a post-conference special issue. Submissions through: https://easychair.org/conferences/?conf=ijcai2019dso *Workshop organizers* Patrick De Causmaecker (KU Leuven, BE), patrick.decausmaecker at kuleuven.be Michele Lombardi (University of Bologna, IT), michele.lombardi2 at unibo.it Yingqian Zhang (TU Eindhoven, NL), yqzhang at tue.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Words2019 at lboro.ac.uk Mon Apr 8 10:21:39 2019 From: Words2019 at lboro.ac.uk (Words 2019) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: WORDS 2019, last call for papers (Extended Deadline) 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 23 (AOE), 2019 (EXTENDED DEADLINE) 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 Andreas.Herzig at irit.fr Mon Apr 8 10:21:39 2019 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: TABLEAUX 2019 (London): second call for papers Message-ID: TABLEAUX 2019 The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods London, UK, September 3-5, 2019 Authors, please note a change compared to the first call: The references are not counted in the page limits. Website: https://www.tableaux2019.org Contact: chair at tableaux2019.org Submission deadlines: 21 Apr 2019 (abstract), 24 Apr 2019 (paper) GENERAL INFORMATION The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019) will take place in London. It will be hosted by the Department of Computer Science at the Middlesex University London, on 3-5 September 2019. TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of the mechanization of tableaux-based reasoning and related methods is presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organized on an annual basis; in 2001, 2004, 2006, 2008, 2010, 2012, 2014, 2016 and 2018 as a constituent of IJCAR. TABLEAUX 2019 will be co-located with the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For many logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. Topics of interest include but are not limited to:    * tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, substructural, fuzzy, relevance and non-monotonic logics) and their proof-theoretic foundations;    * sequent calculi and natural deduction calculi for classical and non-classical logics, as tools for proof search and proof representation;    * related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches);    * flexible, easily extendable, light-weight methods for theorem proving; novel types of calculi for theorem proving and verification in classical and non-classical logics;    * systems, tools, implementations, empirical evaluations and applications (provers, proof assistants, logical frameworks, model checkers, etc.);    * implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, etc.);    * extensions of tableau procedures with conflict-driven learning;    * techniques for proof generation and compact (or humanly readable) proof representation;    * theoretical and practical aspects of decision procedures;    * applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching. We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning and on logical aspects of the solution. SUBMISSION GUIDELINES Submissions are invited in three categories: (A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references; (B) system descriptions, with length up to 9 pages excluding references; (C) position papers and brief reports on work in progress, with length up to 9 pages excluding references. Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version. For category A submissions, the reported results must be original and not submitted for publication elsewhere. For category B submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories A and B will be published in the conference proceedings. Accepted papers in category C will be published as a Technical Report of the Middlesex University London. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: http://easychair.org/conferences/?conf=tableaux2019 For all accepted papers at least one author is required to attend the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines IMPORTANT DATES Abstract submission: 21 Apr 2019 Paper submission: 24 Apr 2019 Notification of paper decisions: 6 Jun 2019 Camera-ready papers due: 1 Jul 2019 TABLEAUX conference: 3-5 Sep 2019 PUBLICATION DETAILS The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS). BEST PAPER AWARDS The program committee will select (1) the TABLEAUX 2019 Best Paper and (2) the TABLEAUX 2019 Best Paper by a Junior Researcher, of which the latter will be supported by 500 Euros. Researchers will be considered "junior" if either they are students or their PhD degree date is less than two years from the first day of the meeting. The two awards will be presented at the conference. TRAVEL GRANTS FOR STUDENTS Some funding will be available to support students traveling to TABLEAUX 2019. More details will be given on the conference website in due time. PROGRAM COMMITTEE Peter Baumgartner, Data61/CSIRO, Australia Maria Paola Bonacina, Università degli Studi di Verona, Italy James Brotherston, University College London, UK Serenella Cerrito, IBISC, Univ. Evry, Paris Saclay University, France Agata Ciabattoni, Technische Universität Wien, Austria Anupam Das, University of Copenhagen, Denmark Clare Dixon, University of Liverpool, UK Camillo Fiorentini, University of Milano, Italy Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Martin Giese, Universitetet i Oslo, Norway Laura Giordano, DISIT, Università del Piemonte Orientale, Italy Rajeev Goré, The Australian National University, Australia Stéphane Graham-Lengrand, SRI International, USA Reiner Hähnle, TU Darmstadt, Germany Ori Lahav, Tel Aviv University, Israel Tomer Libal, American University of Paris, France George Metcalfe, Universität Bern, Switzerland Dale Miller, INRIA and LIX/Ecole Polytechnique, France Leonardo de Moura, Microsoft Research, USA Neil Murray, SUNY at Albany, USA Cláudia Nalon, University of Brasília, Brazil Sara Negri, University of Helsinki, Finland Hans de Nivelle, Nazarbayev University, Kazakhstan Nicola Olivetti, LSIS, Aix-Marseille Université, France Jens Otten, Universitetet i Oslo, Norway Valeria De Paiva, Nuance Communications, USA Nicolas Peltier, CNRS, Laboratoire d'Informatique de Grenoble, France Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil Francesca Poggiolesi, CNRS, IHST Paris, France Andrei Popescu, Middlesex University London, UK Gian Luca Pozzato, University of Turin, Italy Giles Reger, University of Manchester, UK Giselle Reis, Carnegie Mellon University, Qatar Renate Schmidt, University of Manchester, UK Viorica Sofronie-Stokkermans, Universität Koblenz-Landau, Germany Alwen Tiu, Australian National University, Australia Sophie Tourret, Max-Planck-Institut für Informatik, Saarbrücken, Germany Dmitriy Traytel, ETH Zürich, Switzerland Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics, Czech Republic Luca Viganò, King's College, London, UK Uwe Waldmann, Max-Planck-Institut für Informatik, Saarbrücken, Germany Bruno Woltzenlogel Paleo, Vienna University of Technology, Austria PC CHAIRS Serenella Cerrito, IBISC, Univ. Evry, Paris Saclay University, France Andrei Popescu, Middlesex University London, UK LOCAL ORGANIZATION COMMITTEE Kelly Androutsopoulos, Middlesex University London, UK Jaap Boender, Middlesex University London, UK Michele Bottone, Middlesex University London, UK Florian Kammueller, Middlesex University London, UK Rajagopal Nagarajan, Middlesex University London, UK Andrei Popescu, Middlesex University London, UK Franco Raimondi, Middlesex University London, UK CONFERENCE CHAIR Andrei Popescu, Middlesex University London, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Andreas.Herzig at irit.fr Mon Apr 8 10:21:39 2019 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: FroCoS 2019 (London): second call for papers Message-ID: FroCoS 2019 The 12th International Symposium on Frontiers of Combining Systems London, UK, September 4-6, 2019 Website: https://www.frocos2019.org Contact: chair at frocos2019.org Submission deadlines: 21 Apr 2019 (abstract), 24 Apr 2019 (paper) GENERAL INFORMATION The 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019) will take place in London. It will be hosted by the Department of Computer Science at the Middlesex University London, from 4 to 6 September 2019. FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. If we also count the IJCAR editions, this year FroCoS celebrates its 20th edition. FroCoS 2019 will be co-located with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019). The two conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis. FroCoS traditionally focuses on these types of research questions and activities. Like its predecessors, FroCoS 2019 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based methods and their practical use. Topics of interest for FroCoS 2019 include (but are not restricted to): * combinations of logics (such as higher-order, first-order, temporal, modal, description or other non-classical logics) * combination and integration methods in SAT and SMT solving * combination of decision procedures, satisfiability procedures, constraint solving techniques, or logical frameworks * combination of logics with probability and/or fuzzy measures * combinations and modularity in ontologies * integration of equational and other theories into deductive systems * hybrid methods for deduction, resolution and constraint propagation * hybrid systems in knowledge representation and natural language semantics * combined logics for distributed and multi-agent systems * logical aspects of combining and modularizing programs and specifications * integration of data structures into constraint logic programming and deduction * combinations and modularity in term rewriting * methods and techniques for the verification and analysis of information systems * methods and techniques for combining logical reasoning with machine learning SUBMISSION GUIDELINES The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. The page limit in Springer LNCS style is 16 pages in total, including references and figures. Any additional material (going beyond the page limit) can be included in a clearly marked appendix. This appendix will be read at the discretion of the committee, and must be removed for the camera-ready version. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via EasyChair at https://easychair.org/conferences/?conf=frocos2019 For each accepted paper, at least one of the authors is required to attend the conference and present the work. Prospective authors must register a title and an abstract three days before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines IMPORTANT DATES Abstract submission: 21 Apr 2019 Paper submission: 24 Apr 2019 Notification of paper decisions: 6 Jun 2019 Camera-ready papers due: 1 Jul 2019 FroCoS conference: 4-6 Sep 2019 PUBLICATION DETAILS The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS). BEST PAPER AWARD The program committee will select the FroCoS 2019 Best Paper, which will be awarded 500 Euros. The award will be presented at the conference. TRAVEL GRANTS FOR STUDENTS Some funding will be available to support students traveling to FroCoS 2019. More details will be given on the conference website in due time. PROGRAM COMMITTEE Carlos Areces, FaMAF - Universidad Nacional de Córdoba, Argentina Alessandro Artale, Free University of Bolzano-Bozen, Italy Franz Baader, TU Dresden, Germany Christoph Benzmüller, Free University of Berlin, Germany Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, Netherlands Torben Braüner, Roskilde University, Denmark Clare Dixon, University of Liverpool, UK Marcelo Finger, University of São Paulo, Brazil Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Silvio Ghilardi, Università degli Studi di Milano, Italy Jürgen Giesl, RWTH Aachen, Germany Andreas Herzig, CNRS, IRIT, France Moa Johansson, Chalmers University, Sweden Jean Christoph Jung, University of Bremen, Germany Cezary Kaliszyk, University of Innsbruck, Austria Ekaterina Komendantskaya, Heriot-Watt University, UK Roman Kontchakov, Birkbeck, University of London, UK Alessio Lomuscio, Imperial College London, UK Assia Mahboubi, INRIA, France Stefan Mitsch, Carnegie Mellon University Cláudia Nalon, University of Brasília, Brazil Andrei Popescu, Middlesex University London, UK Silvio Ranise, Fondazione Bruno Kessler-Irst, Italy Christophe Ringeissen, LORIA-INRIA, France Philipp Rümmer, Uppsala University, Sweden Renate Schmidt, University of Manchester, UK Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany Christian Sternagel, University of Innsbruck, Austria Andrzej Szalas, Linköping University, Sweden Cesare Tinelli, University of Iowa, US Ashish Tiwari, SRI International, US Christoph Weidenbach, Max Planck Institute for Informatics, Germany PC CHAIRS Andreas Herzig, CNRS, IRIT, France Andrei Popescu, Middlesex University London, UK LOCAL ORGANIZATION COMMITTEE Kelly Androutsopoulos, Middlesex University London, UK Jaap Boender, Middlesex University London, UK Michele Bottone, Middlesex University London, UK Florian Kammueller, Middlesex University London, UK Rajagopal Nagarajan, Middlesex University London, UK Andrei Popescu, Middlesex University London, UK Franco Raimondi, Middlesex University London, UK LOCAL ORGANIZATION CHAIR Franco Raimondi, Middlesex University London, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Mon Apr 8 10:21:39 2019 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019 Message-ID: CALL FOR PAPERS 4th International Workshop on AI aspects in Reasoning, Languages, and Computation 2019 (AIRLangComp'19) https://www.fedcsis.org/2019/airlangcomp Leipzig, Germany, 1 - 4 September, 2019 There is general realization that computational models of human reasoning can be improved by integration of heterogeneous resources of information and AI techniques, e.g., multidimensional diagrams, images, language, syntax, semantics, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual area related to information, formal and natural languages, computation, reasoning. Topics We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications: - Reasoning systems --- theories and applications - Proof systems and model checkers - Theories of computation and information - Interactive computation and reasoning - Computation and reasoning with heterogeneous information - Space and time in information, language, computation, reasoning, and memory - Partiality, underspecification, vagueness, and possibilities - Computation and reasoning with heterogeneous or inconsistent information - Logic and (formal and natural) language --- approaches, theories, methods - Logic approaches to computational linguistics - Computational morphology, syntax, semantics, and interfaces between these - Constraint-based and type-theoretic approaches to grammar - Multilingual processing - Logic and theories of computation in machine learning and information retrieval - Mathematics for computational linguistics and cognitive science - Reasoning, information, computation, and memory in computational neuroscience and life sciences - Interdisciplinary approaches to language, computation, reasoning, memory Important Dates - Paper submission (sharp / no extension): May 14, 2019 - Position paper submission: June 4, 2019 - Author notification: June 25, 2019 - Final paper submission and registration: July 10, 2019 - Final deadline for discounted fee: August 1, 2019 -Conference date: September 1-4, 2019 Paper Submission and Publications The publication rules, status, and the submission page for AIRLangComp'19 are the same as for AAIA'19 | FedCSIS: https://www.fedcsis.org/2019/instructions https://www.fedcsis.org/2019/airlangcomp Paper Submission - Authors should submit draft papers (as Postscript, PDF or MSWord file) - The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop - Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants - Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database -Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site - Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar - Extended versions of selected papers presented during the conference will be published as Special Issue(s) - Organizers reserve right to move accepted papers between FedCSIS events Event Chairs - Grabowski, Adam, Institute of Informatics, University of Bialystok, Bialystok, Poland - Loukanova, Roussanka, Stockholm University, Sweden - Schwarzweller, Christoph, Institute of Informatics, University of Gdansk, Poland Contact: airlangcomp2019 at fedcsis.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Mon Apr 8 10:21:39 2019 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: [CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************CALL FOR WORKSHOP PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 ************************************************************************************************************************************************************** The AIIA 2019 Conference will host a series of workshops dedicated to specific and hot topics that will complement the main conference program. AI*IA Working Groups, scientific and industrial research groups, and individual researchers interested in a subarea of Artificial Intelligence or in a related topic of growing importance are invited to submit proposals of workshops associated with the AIIA 2019 conference. We particularly welcome proposals aimed at bringing together researchers from a wide range of disciplines, to exchange ideas and to allow cross-fertilization. Workshop proposals should be submitted in English as a single PDF file not longer than 4 (four) pages containing the following sections: - Workshop title and acronym - Workshop organizers (affiliation, contact details, homepage, prior experiences with workshop organization) - Motivation and scientific relevance to the conference audience - Keywords (describing the main themes of the workshop) (from 3 to 5) - Abstract (up to 200 words) - Description of the workshop (topics and goals of the workshop) (up to 800 words) - Organizational details such as: thematic panels, demo sessions, invited talks - Initial list of (potential) members of the program committee - Previous editions of the workshop series (if applicable) (URLs, conference it was co-located with, number of registrants, number of submissions, number of accepted papers, and any other relevant information) - Length of the workshop (in hours) Proposals should be submitted via Easychair: https://easychair.org/conferences/?conf=aixia2019wt The expected number of submissions is at least 5 for half-day workshops and at least 8 for full-day ones. Workshops that do not reach the suggested target might not be activated or may be merged with other events. Workshop schedule: each workshop will be assigned a number of slots (from 1 to 3 slots) during the conference days. A slot can vary from 1 to 2.5 hours. The distribution of slots will take into account the accepted papers and workshop organization. **Management of the submission, review, and publishing process.** The workshops organizers will manage on their own the submission, review, and publishing process. The key dates and publication policy must be shared with the conference organization. Workshop proceedings should preferably be published in CEUR Workshop Proceedings AIIA Series http://ceur-ws.org/aixia.html selecting Workshop as the submission topic. The workshop Call for Papers, all other calls, and the website should clearly state that the workshop is held within the AIIA 2019 Conference, including the URL of the conference website (https://aiia2019.mat.unical.it) All workshop participants (including the organizers) will have to register through the AIIA 2019 registration service. The workshops must notify acceptance of papers by September 20th, 2019, to allow authors to enjoy the early registration fee. ***Important dates*** Deadline for workshop proposals submission: June 5th, 2019 Notification: June 21st, 2019 Workshops date: November 19th-22nd, 2019 Workshops Chair Rafael Peñaloza, University of Milano-Bicocca, Italy -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From lpulina at uniss.it Mon Apr 8 10:21:39 2019 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: [CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************CALL FOR TUTORIAL PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 ************************************************************************************************************************************************************** AIIA is the premier venue for presenting innovative systems and research results related to Artificial Intelligence, attracting a large number of high quality submissions every year and participants from both industry and academia. AI*IA brings together researchers from different areas, such as artificial intelligence, databases, natural language processing, information systems, human computer interaction, information retrieval, web science, etc., who investigate, develop and use novel methods and technologies concerning the Artificial Intelligence research field. In addition to the regular research and workshop program, AIIA 2019 will include a tutorial program addressing the diverse interests of its audience: Artificial Intelligence practitioners that wish to learn about new technologies, novices to Artificial Intelligence interested in introductory tutorials to key topics, government and industry representatives focusing on the applicability of Artificial Intelligence technologies in practical settings. This program will follow the successful experiment started during AIIA 2018. We invite you to submit a tutorial proposal on a research topic relevant to the AIIA 2019 audience. Each tutorial will be a half-day event of about 3.5 hours. ---------------------------------------------------------------------- Review Criteria ---------------------------------------------------------------------- The decision on acceptance or rejection of tutorial proposals will be made on the basis of the overall quality of the proposal and its appeal to a reasonable fraction of the Artificial Intelligence community. In particular, tutorials should satisfy each of the following criteria: - the research topic falls in the general scope of the conference. - there is a clear focus on a specific technology, problem or application. - there is a sufficiently large community interested in the topic. We expect proposals for the following types of tutorials: - Tutorials providing an introduction to well established Artificial Intelligence aspects. - Tutorials describing the cross link between Artificial Intelligence technologies and other disciplines and application domains. - Tutorials presenting specific Artificial Intelligence technologies and trends. Additionally, we expect tutorials to have practical parts in terms of examples or, preferably, exercises and hands-on sessions to be carried out by the participants. ---------------------------------------------------------------------- Submission Guidelines ---------------------------------------------------------------------- Proposals should be submitted via Easychair at https://easychair.org/conferences/?conf=aixia2019wt selecting Tutorial as the submission topic. A proposal consists of a single PDF file no longer than 4 (four) pages, written in English and containing the following sections: - Title and Acronym - Motivation: Why is the topic timely and of particular interest to AIIA participants? What is the relation of this tutorial to other similar tutorials presented at other events? (One to three paragraphs) - Detailed Description: Length (expected number of hours), overview of content and schedule, description of learning outcomes, presentation style, tutorial format, justification of length if longer than 3.5 hours (why a shorter time would not suffice), prior knowledge required by the attendees (No longer than two pages) - Tutorial Material: Overview of the material used for the tutorial. In case of slides, handouts or other teaching material please specify when the material will be made available and how (e.g, under a CC license to anyone, only to the attendees, not at all, and so on) (One to three paragraphs). - Audience: Who and how many people are likely to attend? (One paragraph). - Presenters: Name, affiliation, email address, homepage and short (One paragraph) biography of each presenter, their expertise in the tutorial topic, and their experience in teaching and in tutorial presentation. Please indicate which presenter is the primary contact. (One to two paragraphs per presenter) - Related events (if the tutorial was presented before in a similar form): Link to previous event(s) and materials. The number of attendees of the previous event(s). Why is it relevant to continue the tutorial in 2019? - Requirements: Audio-visual or technical requirements and any special room requirements (One to two paragraphs). ---------------------------------------------------------------------- Important dates ---------------------------------------------------------------------- Deadline for tutorial proposals submission: June 5th, 2019 Notification: June 21st, 2019 Tutorials date: November 19th-22nd, 2019 Tutorials Chair Rafael Peñaloza, University of Milano-Bicocca, Italy -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From lpulina at uniss.it Mon Apr 8 10:21:39 2019 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract submission by 28 May 2019 Paper submission by 4 June 2019 Notification to authors by 23 July 2019 Camera-ready copies due by 3 September 2019 ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From t.a.c.willemse at tue.nl Mon Apr 8 10:21:39 2019 From: t.a.c.willemse at tue.nl (Tim Willemse) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper) Message-ID: Apologies for multiple postings. ------------------------------------------------ FMICS 2019: the 24th International Conference on Formal Methods for Industrial Critical Systems Co-located with CONCUR and FORMATS Aug 30-31, 2019, Amsterdam, The Netherlands https://fmics2019.fsa.win.tue.nl ------------------------------------------------ The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Important Dates Abstract submission: 19 April 2019 Paper submission: 26 April 2019 Notifications: 5 June 2019 Camera ready: 19 June 2019 Conference: 30-31 August 2019 Topics Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques and tools to support automated analysis, certification, debugging, descriptions, learning, optimisation and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). - Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardisation and industrial forums. Keynote Speakers (confirmed) - Jaco van de Pol (Aarhus University and University of Twente) - Holger Hermanns (Saarland University) Submission and Publication Papers must describe authors' original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding max. 2 pages of references) formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2019 The conference proceedings will be published by Springer in their LNCS series. Committees ---------- Programme Chairs - Kim Larsen, Aalborg University - Tim Willemse, Eindhoven University of Technology Programme Committee - Bernhard Aichernig, TU Graz - Giovanni Bacci, Aalborg University - Jiri Barnat, Masaryk University - Joerg Brauer, Verified Systems International GmbH - Ana Cavalcanti, University of York - Michael Fisher, University of Liverpool - Wan Fokkink, Vrije Universiteit Amsterdam - Maria-Del-Mar Gallardo, University of Malaga - Hubert Garavel, INRIA - Anne Haxthausen, Technical University of Denmark - Peter Höfner, CSIRO - Jozef Hooman, TNO-ESI/Radboud University Nijmegen - Falk Howar, Dortmund University of Technology/Fraunhofer ISST - Jeroen Keiren, Eindhoven University of Technology - Zhiming Liu, Southwest University - Tiziana Margaria, Lero - Peter Ölveczky, University of Oslo - Charles Pecheur, Université Catholique de Louvain - Matteo Rossi, Politecnico di Milano - Cristina Seceleanu, Mälardalen University - Scott Smolka, Stony Brook University - Maurice ter Beek, ISTI-CNR - Helen Treharne, University of Surrey - Jaco van de Pol, Aarhus University -- T.A.C. Willemse (T.A.C.Willemse at TUe.nl) +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://www.linkedin.com/in/tacwillemse http://orcid.org/0000-0003-3049-7962 -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.j.v.zelst at pads.rwth-aachen.de Mon Apr 8 10:21:39 2019 From: s.j.v.zelst at pads.rwth-aachen.de (van Zelst, Sebastiaan) Date: Mon, 08 Apr 2019 10:21:39 +0200 Subject: 2ND CFP (Extended Deadline: April 12th): Call for Demos; Tool Demonstration Track of the 1st International Conference on Process Mining (ICPM 2019) Message-ID: *** 2ND CALL FOR DEMOS (Deadline Extended) *** *Apologies for multiple copies/cross-posting* Demo Track of the 1st International Conference on Process Mining June 24-26, 2019, Aachen, Germany https://icpmconference.org/ Submissions due (!EXTENDED!): 11:59PM AoE, April 12, 2019 ================================================================================ The 1st annual Conference on Process Mining will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany. The new PADS group was established in the context of Wil van der Aalst’s Alexander von Humboldt professorship. The conference is co-organized with the The 40th annual Conference on Application and Theory of Petri Nets and Concurrency (ATPN2019) and the 19th International Conference on Application of Concurrency to System Design Aachen, Germany, June 23-28, 2019 (ACSD 2019). ================================================================================ The ICPM Demo Track is intended to present innovative Process Mining tools and applications, originating from research initiatives or from industry. To be considered for the Demo Track, tools will be evaluated on the basis of relevance, novelty, and innovativeness to the Process Mining community. Previously demonstrated tools are also welcome if there is clear evidence of the value added to the previous version of the tool, such as new tool features and/or its adaptation and use for new practical applications. The tools will also be evaluated on their maturity, complexity, and robustness, such as the list of features, supported use cases, number and types of users. In order for reviewers to assess the maturity and robustness, the tools need to be available for testing (the testing should preserve reviewers’ anonymity). Also, it is desirable that the tool will be available for the whole academic community (in case of commercial product, maybe academic licenses can be envisioned). The tool submission needs to be accompanied by a demo paper discussing the relevance, novelty, innovativeness, and maturity of the tool. Demo papers must be no longer than 4 pages in PDF format and must adhere to ​the latest ​IEEE Computational Intelligence Society conference proceedings guidelines​ (8.5” × 11” two-column format, ​howto​). A demo paper should contain at least the following parts: 1. Title, authors and affiliation; 2. An abstract; 3. An introduction section, which, among others, should highlight the significance of the tool to the Process Mining community; 4. A section discussing the innovations of the tool and its main features; 5. A section describing the maturity of the tool. For this section, it is wise to include a brief description of case studies performed using the tool, provide scalability data or pointers indicating where readers can find more information about these case studies; 6. A link to a video that screencasts and demonstrates the tool, preferably including voice, which must not be longer than 25 minutes; 7. A link to a Web page where to download or use the tool. If the tool requires a license, a paper’s appendix should describe how to obtain a (temporary) license. The procedure to obtain the license must not disclose the identity of the reviewers. The appendix will not be included in the final version for the proceedings if the demo is accepted. Demo papers should be submitted through the EasyChair submission system using this link https://easychair.org/conferences/?conf=icpm2019​. All demo submissions will be reviewed by the demo reviewing committee. Accepted demo papers will be published in an open-access CEUR volume. At least one author of each accepted demo paper is expected to present the paper and tool at the conference and is required to sign a copyright release form. For all the submissions, we invite the authors to be explicit about the process mining capabilities addressed in the demo papers by listing them as keywords. One to five keywords characterizing the paper should be listed at the end of the abstract. The proposed list of capabilities to use as keywords includes (and is not limited to) process discovery, conformance checking, process enhancement, performance mining, variants analysis, predictive monitoring, and log pre-processing. Each tool/application will be presented plenary using one or two-minute teasers informing the audience about the available demos. The actual demonstrations will then be held in a dedicated slot with all tools/applications being shown in parallel. The dedicated slot will be divided into blocks of 15 minutes. At the end of each block, the audience is expected to move from one demo to another and the presenters will start over a new demonstration session of their respective tools. Physical presence of at least one presenter per demo is mandatory. Each demo presentation will be provided with a demo booth consisting of a table, power socket, and a computer screen. Upon request, the organizers will provide a Blu-tack (reusable adhesive) to put up a poster on the wall. An award for the best demo paper will be presented at the ICPM 2019 closing ceremony. The best demo paper award will be selected based on the reviewers comments, innovation, technical contribution, maturity of the reported tool, and quality of the presentation on the demo day. ================================================================================ *** Key dates *** Deadline for submissions (!EXTENDED!): 11:59 PM AoE, 12 April, 2019 Notification of acceptance: 3 May, 2019 Camera-ready deadline: 24 May, 2019 ================================================================================ *** Committee *** Amine Abbad Andaloussi (Technical University of Denmark, Denmark) Benoît Depaire (Hasselt University, Belgium) Boudewijn van Dongen (Eindhoven University of Technology) Claudio Di Ciccio (Vienna University of Economics and Business, Austria) Dirk Fahland (Eindhoven University of Technology, the Netherlands) Eric Verbeek (Eindhoven University of Technology, the Netherlands) Fabrizio Maria Maggi (University of Tartu, Estonia) Felix Mannhardt (SINTEF, Norway) Jorge Munoz-Gama (Pontificia Universidad Católica de Chile, Chile) Massimiliano de Leoni (University of Padova, Italy) Raffaele Conforti (University of Melbourne, Australia) Sander Leemans (Queensland University of Technology, Australia) Stefan Schönig (University of Bayreuth, Germany) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sophie.pinchinat at irisa.fr Mon Apr 15 10:27:23 2019 From: sophie.pinchinat at irisa.fr (Sophie Pinchinat) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: Correction CFP Strategic Reasoning 2019: 12 May 2019 Message-ID: ----------------------------------------------------------------------                      SR 2019 - Call for Contributions          7th International Workshop on Strategic Reasoning                    Macao, China, 11-12 August 2019                        http://sr2019.irisa.fr/ ---------------------------------------------------------------------- Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation. The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2019 will be held with IJCAI 2019 in Macao, China. ---------------------------------------------------------------------- TOPICS OF INTEREST The topics covered by SR include, but are not limited to, the following: * Logics for reasoning about strategic abilities; * Logics for multi-agent mechanism design, verification, and synthesis; * Logical foundations of decision theory for multi-agent systems; * Strategic reasoning in formal verification; * Automata theory for strategy synthesis; * Strategic reasoning under perfect and imperfect information; * Applications and tools for cooperative and adversarial reasoning; * Robust planning and optimisation in multi-agent systems; * Risk and uncertainty in multi-agent systems; * Quantitative aspects in strategic reasonings. ---------------------------------------------------------------------- SUBMISSIONS We invite submissions reporting on: (A) original contributions, (B) published work, and (C) challenging open problems. Each submission should be clearly identified as belonging to one of these three categories. In all three categories, submissions will be evaluated by the usual high standards of research publications. In particular, they should contain enough detail to allow the program committee to identify the main contribution of the work, to explain its significance, its novelty, its relevance to the strategic-reasoning audience, and its practical or theoretical implications, and include comparisons with and references to relevant literature. Strong preference will be given to contributions on topics of interest to a broad, interdisciplinary audience and all papers should be written so that they are accessible to such an audience. Submissions should be in PDF, preferably using the EPTCS style (http://style.eptcs.org/), and not exceed 12 pages (not including bibliography). Authors are invited to submit their manuscript via EasyChair:   https://easychair.org/conferences/?conf=sr19 ---------------------------------------------------------------------- IMPORTANT DATES * Extended deadline: 12 May (AoE), aligned with IJCAI notification * Notification: 3 June 2019 * Final version: 24 June 2019 ---------------------------------------------------------------------- PROCEEDINGS All contributions will be made available to the participants on a USB stick. Accepted original papers (in the category A) will be included in the workshop proceedings published as a volume in Electronic Proceedings in Theoretical Computer Science. As for previous editions, extended revised versions of selected original papers will be invited to a special issue of Information & Computation (in process). ---------------------------------------------------------------------- COMMITTEES Workshop Co-chairs * Dietmar Berwanger, LSV, CNRS & ENS Paris-Saclay, France * François Schwartzentruber, Univ. Rennes, CNRS & INRIA, France * Sophie Pinchinat, Univ. Rennes, CNRS & Inria, France Program Committee * Francesco Bellardinelli, IBISC, Univ. Évry, France * Véronique Bruyère, UMons, Belgium * Nathanaël Fijalkow, LaBRI, CNRS & Univ. Bordeaux, France * Julian Guttierez, Univ. Oxford, UK * Rasmus Ibsen-Jensen, IST Austria * Wojtech Jamroga, Polish Academy of Science, Poland * Jan Křetínský, TU Munich, Germany * Fangzhen Lin, Hong Kong Univ. of Science and Technology, China * Christof Löding, RWTH Aachen, Germany * Nicolas Markey, Univ. Rennes, CNRS & Inria, France * Nello Murano, Univ. Naples, Italy * Yoram Moses, Technion, Haifa, Israel * R Ramanujam, IMSc, Chennai, India * Sasha Rubin, Univ. Naples, Italy * Abdallah Saffidine, Univ. New South Wales, Sydney, Australia * Ashutosh Trivedi, Univ. Colorado at Boulder, USA ---------------------------------------------------------------------- From irdta at irdta.eu Mon Apr 15 10:27:23 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: SLSP 2019: 2nd call for papers Message-ID: SLSP 2019: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   7th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2019   Ljubljana, Slovenia   October 14-16, 2019   Co-organized by:   Jožef Stefan Institute   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2019.irdta.eu/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be:   Jožef Stefan Institute Jamova cesta 39 1000 Ljubljana Slovenia   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2019 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN) Fethi Bougares (University of Le Mans, FR) Philipp Cimiano (Bielefeld University, DE) Nikos Fakotakis (University of Patras, GR) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National Distance Education University, ES) Reinhold Häb-Umbach (Paderborn University, DE) Julia Hirschberg (Columbia University, US) Jing Huang (JD AI Research, CN) Mei-Yuh Hwang (Mobvoi AI Lab, US) Nancy Ide (Vassar College, US) Martin Karafiát (Brno University of Technology, CZ) Vangelis Karkaletsis (National Center for Scientific Research "Demokritos", GR) Tomi Kinnunen (University of Eastern Finland, FI) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David Milne (University of Technology Sydney, AU) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Mats Rooth (Cornell University, US) Tony Russell-Rose (UX Labs, UK) Horacio Saggion (Pompeu Fabra University, ES) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Isabel Trancoso (Instituto Superior Técnico, PT) Josef van Genabith (German Research Center for Artificial Intelligence, DE) K. Vijay-Shanker (University of Delaware, US) Atro Voutilainen (University of Helsinki, FI) Hsin-Min Wang (Academia Sinica, TW) Hua Xu (University of Texas, Houston, US) Edmund S. Yu (Syracuse University, US) François Yvon (CNRS - Limsi, FR) Wlodek Zadrozny (University of North Carolina, Charlotte, US)   ORGANIZING COMMITTEE:   Tina Anžič (Ljubljana) Jan Kralj (Ljubljana) Matej Martinc (Ljubljana) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Senja Pollak (Ljubljana, co-chair) Matthew Purver (London) David Silva (London, co-chair) Anita Valmarska (Ljubljana)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://slsp2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 1, 2019 Notification of paper acceptance or rejection: July 8, 2019 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019 Early registration: July 15, 2019 Late registration: September 30, 2019 Submission to the journal special issue: January 16, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From komendantskaya at gmail.com Mon Apr 15 10:27:23 2019 From: komendantskaya at gmail.com (Ekaterina Komendantskaya) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: New academic (permanent) positions opening at Heriot-Watt University Message-ID: Several Assistant Professor or Associate Professor positions are opening at Heriot-Watt University, with a focus on the following areas: verification/programming languages, computer security, or data science. Link for further details, and how to apply: https://jobs.hw.ac.uk/OA_HTML/OA.jsp?OAFunc=IRC_VIS_VAC_DISPLAY&p_svid=22112&p_spid=1112032 Application deadline: 12th May. We invite bright researchers with expertise and a strong publication record in one of the following: programming languages, semantics, static analysis, type systems, proof theory, verification, formal methods, distributed systems, and parallel computation. If you have any further questions, please do not hesitate to contact me directly. Dr Ekaterina Komendantskaya Associate Professor in Computer Science School of Mathematical and Computer Sciences Earl Mountbatten Building [ building 21, office G26 ] Heriot-Watt University Edinburgh, UK, EH14 4AS +44 (0)131 451 8283 http://www.macs.hw.ac.uk/~ek19/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leroux at labri.fr Mon Apr 15 10:27:23 2019 From: leroux at labri.fr (Jerome Leroux) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: CFP GandALF'19 Bordeaux Message-ID: _____ _ _ ______ ___ ___ __ ___ / ____| | | /\ | | | ____| |__ \ / _ \/_ |/ _ \ | | __ __ _ _ __ __| | / \ | | | |__ ) | | | || | (_) | | | |_ |/ _` | '_ \ / _` | / /\ \ | | | __| / /| | | || |\__, | | |__| | (_| | | | | (_| |/ ____ \| |____| | / /_| |_| || | / / \_____|\__,_|_| |_|\__,_/_/ \_\______|_| |____|\___/ |_| /_/ https://gandalf2019.sciencesconf.org The Tenth International Symposium on Games, Automata, Logics, and Formal Verification 2 - 4 September 2019, Bordeaux, France Call for papers The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The 2019 edition of the symposium is the tenth edition. It is organized in the city of Bordeaux by the LABRI laboratory. The symposium covers a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization. The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Computational aspects of Game Theory Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems Games and Automata for Verification Game Semantics Logical aspects of Computational Complexity Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Stochastic models such Markov decision processes and stochastic games Program Analysis and Software Verification Run-time Verification and Testing Specification and Verification of Finite and Infinite-state Systems Synthesis Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. PUBLICATIONS The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, and 2018; the latter two still in progress), and Acta Informatica (GandALF 2015). SUBMISSIONS Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided at http://style.eptcs.org), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at https://www.easychair.org/conferences/?conf=gandalf2019. IMPORTANT DATES Abstract submission: May 15th, 2019 Paper submission: May 19th, 2019 Notification: July 3rd, 2019 Camera-ready: July 19th, 2018 Symposium : September 2-4, 2019 WEBSITE https://gandalf2019.sciencesconf.org PROGRAM COMMITEE Christel Baier (TU Dresden, Germany) Saddek Bensalem (U Grenoble Alpes, France) Patricia Bouyer (CNRS, France) Franck Cassez (U Maquire, Australia) Dario Della Monica (U Udine, Italy) Hugo Gimbert (CNRS, France) Holger Hermanns (U Saarbrucken, Germany) Rasmus Ibsen-Jensen (U Liverpool, UK) Jan Kretinsky (U Munich, Germany) Orna Kupferman (U Jerusalem, Israël) Kim G. Larsen (U Aalborg, Denmark) Slawomir Lasota (U Warsaw, Poland) Jérôme Leroux (CNRS, France) co-chair Andrea Orlandini (ISTC-CNR, Italy) Gennaro Parlato (U Southampton, United Kingdom) M. Praveen (CMI Chennai, India) Jean-François Raskin (ULB, Belgium) co-chair Vojtěch Řehák (U Masaryk, Czech Republic) Pierre-Alain Reynier (U Marseille, France) Jie-Hong Roland (NTU, Taiwan) Pietro Sala (U Verona, Italy) Pierluigi San Pietro (Pierluigi San Pietro, Italy) Martin Zimmermann (Liverpool University, UK) STEERING COMMITEE Luca Aceto (Reykjavik University, Iceland) Javier Esparza (University of Munich, Germany) Salvatore La Torre (University of Salerno, Italy) Angelo Montanari (University of Udine, Italy) Mimmo Parente (University of Salerno, Italy) Wolfgang Thomas (Aachen University, Germany) LOCAL ORGANIZERS From LABRI, Université de Bordeaux -- https://www.labri.fr Auriane Dantes Katel Guerin Frédéric Herbreteau Jérôme Leroux Vincent Penelle Gabriele Puppis Grégorie Sutre From ek19 at hw.ac.uk Mon Apr 15 10:27:23 2019 From: ek19 at hw.ac.uk (Ekaterina Komendantskaya) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: PPDP'19 -- final call for papers Message-ID: FINAL CALL FOR PAPERS -- PPDP 2019 21st International Symposium on Principles and Practice of Declarative Programming 7–9 October 2019, Porto, Portugal Collocated with FM'19 http://ppdp2019.macs.hw.ac.uk ====================================================================== Important Dates --------------- Title and abstract registration 26 April 2019 (AoE) Paper submission 3 May 2019 (AoE) Rebuttal period (48 hours) 3 June 2019 (AoE) Author notification 14 June 2019 Final paper version 15 July 2019 Conference 7–9 October 2019 About PPDP ---------- The PPDP 2019 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Invited Speakers ---------------- Amal Ahmed Northeastern University, USA Title: TBA Naoki Kobayashi The University of Tokyo, Japan Title: 10 Years of the Higher-Order Model Checking Project Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; probabilistic languages; functional languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. Submission Categories --------------------- Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a Submission ---------------------- For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact ACM's TeX support team at Aptara >. Authors should note ACM's statement on author's rights http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy (http://www.acm.org/publications/policies/plagiarism_policy). Requirements for Publication ---------------------------- At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Program Committee Chair ----------------------- Ekaterina Komendantskaya, Heriot-Watt University, UK Program Committee ----------------- Henning Basold, CNRS, ENS de Lyon, France Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands Maria Paola Bonacina, Università degli Studi di Verona, Italy Dmitry Boulytchev, JetBrains Research, Russia William Byrd, University of Alabama at Birmingham, USA Ornela Dardha, University of Glasgow, UK Marco Gaboardi, University at Buffalo, SUNY, USA Arie Gurfinkel, University of Waterloo, Canada Zhenjiang Hu, National Institute of Informatics, Japan Moa Johansson, Chalmers University of Technology, Sweden Neelakantan Krishnaswami, University of Cambridge, UK Ralf Lämmel, University of Koblenz · Landau, Germany Anthony Widjaja Lin, Technische Universität Kaiserslautern, Germany Christopher Mieklejohn, Carnegie Mellon University, USA Aart Middeldorp, University of Innsbruck, Austria Gopalan Nadathur, University of Minnesota, USA Keisuke Nakano, Tohoku University, Japan Dominic Orchard, University of Kent, UK Alberto Pardo, University of the Republic, Uruguay Aleksy Schubert, University of Warsaw, Poland Peter J. Stuckey, The University of Melbourne, Australia Tarmo Uustalu, Reykjavik University, Iceland Local Chair ----------- José Nuno Oliveira INESC TEC & University of Minho, Portugal For any queries about local issues please contact the local organiser, José Nuno Oliveira >. ________________________________ Heriot-Watt University is The Times & The Sunday Times International University of the Year 2018 Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes: 1. Heriot-Watt University, a Scottish charity registered under number SC000278 2. Edinburgh Business School a Charity Registered in Scotland, SC026900. Edinburgh Business School is a company limited by guarantee, registered in Scotland with registered number SC173556 and registered office at Heriot-Watt University Finance Office, Riccarton, Currie, Midlothian, EH14 4AS 3. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS. The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecl.drexel at gmail.com Mon Apr 15 10:27:23 2019 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) ** updated submission link 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) Workshop on Causal Reasoning and Explanation in Logic Programming 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/conferences/?conf=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 ggelfond at unomaha.edu Mon Apr 15 10:27:23 2019 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: LPNMR 2019 -- CALL FOR PARTICIPATION Message-ID: Call for Participation --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 3-7, 2019 Part of the Philadelphia Logic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance !!! Early registration deadline is April 28, 2019!!! --------------------------------------------------------------------------- REGISTRATION Early registration deadline is May 4th, 2019. For more information, visit: https://sites.sju.edu/plw/plw-2019-registration/ ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS Accepted papers and invited speakers information can be found at https://sites.sju.edu/plw/lpnmr-2019-accepted-papers/ https://sites.sju.edu/plw/lpnmr-2019-invited-speakers/ AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS Esra Erdem, Sabanci University, Turkey Michael Gelfond, Texas Tech University, USA V.S. Subrahmanian, Dartmouth College, USA COLOCATED EVENTS DATALOG 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandiño * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Schüller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Schüller FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org 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, LPNMR 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 Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politecnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of Sao Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From schon at uni-koblenz.de Mon Apr 15 10:27:23 2019 From: schon at uni-koblenz.de (Claudia Schon) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: [CfP] 5th Workshop on Bridging the Gap between Human and Automated Reasoning (deadline extension) Message-ID: *** EXTENDED DEADLINE *** Full paper deadline: 13th of May, 2019 CALL FOR PAPERS [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] Fifth Workshop on: Bridging the Gap between Human and Automated Reasoning an IJCAI-19 workshop (supported by IFIP TC12) Macau, China August, 2019 http://ratiolog.uni-koblenz.de/bridging2019 ================================================================= Reasoning is a core ability in human cognition. Its power lies in the ability to theorize about the environment, to make implicit knowledge explicit, to generalize given knowledge and to gain new insights. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Early work often used propositional logic as a normative framework. Any deviation from it has been considered an error. Central results like findings from the Wason selection task or the suppression task inspired a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Considering cognitive theories for syllogistic reasoning show that none of the existing theories is close to the existing data. But some formally inspired cognitive complexity measures can predict human reasoning difficulty for instance in spatial relational reasoning. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research for commonsense reasoning and in the meantime there even exist benchmarks for commonsense reasoning, like the Winograd and the COPA challenge. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields. We propose a human syllogistic reasoning challenge to predict future inferences of an individual reasoner based on some previous observations. Hence, participants can develop cognitive AI models (written in Python) that predict the next inference. These predictions are then evaluated in the CCobra framework (for more information see https://www.cognitive-computation.uni-freiburg.de/modelingchallenge). Despite a common research interest -- reasoning -- there are still several milestones necessary to foster a better inter-disciplinary research. First, to develop a better understanding of methods, techniques, and approaches applied in both research fields. Second, to have a synopsis of the relevant state-of-the-art in both research directions. Third, to combine methods and techniques from both fields and find synergies. E.g., techniques and methods from computational logic have never been directly applied to model adequately human reasoning. They have always been adapted and changed. Fourth, we need more and better experimental data that can be used as a benchmark system. Fifth, cognitive theories can benefit from a computational modeling. Hence, both fields -- human and automated reasoning -- can both contribute to these milestones and are in fact a conditio sine qua non. Achievements in both fields can inform the others. Deviations between fields can inspire to seek a new and profound understanding of the nature of reasoning. Additionally to predict human inferences is a major step that can help to foster the integration of digital companions and cognitive assistance systems into our everyday life. An important condition is that such systems can adapt themselves to an individual's reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields. Symbolic approaches do provide an easier access to it. This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. Topics of interest include, but are not limited to the following: - limits and differences between automated and human reasoning - psychology of deduction and common sense reasoning - logics modeling human reasoning - non-monotonic, defeasible, and classical reasoning - benchmark problems relevant in both fields - approaches to tackle benchmark problems like the Winograd Schema Challenge or the COPA challenge - predicting an individual reasoners response (see https://www.cognitive-computation.uni-freiburg.de/modelingchallenge) The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12. ======== IMPORTANT DATES ======== Full Paper submission deadline: 13th May, 2019 Notification: 5th June, 2019 Final submission: 15th June, 2019 Model submission for PRECORE challenge: 15th May, 2019 Workshop: 10th - 12th August, 2019 ======== SUBMISSION AND CONTRIBUTION FORMAT ======== This year's Bridging workshop will accept papers and submissions to the PRECORE challenge: Papers, including the description of work in progress, are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2019 The PRECORE challenge is based on CCOBRA (https: //www.cognitive-computation.uni-freiburg.de/modelingchallenge), a Python framework for the behavioral analysis of reasoning models. The framework does not pose restrictions with respect to formalisms as long as individual predictions to syllogistic problems can be generated. Final model submissions are due on May 15th, 11:59 UTC-12 as a zip-archive. Please describe your model on a conceptual level on two pages in the workshop template. Details on the submission of the zip-archive can be found at: https://www.cognitive-computation.uni-freiburg.de/modelingchallenge ======== PROCEEDINGS======== Proceedings of the workshop will probably be published as CEUR workshop proceedings. ======== ORGANIZERS ======== Ulrich Furbach, University of Koblenz Steffen Hölldobler, Technische Universität Dresden Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz ======== PROGRAM COMMITTEE ======== Christoph Beierle, Fernuniversität Hagen Emmanuelle Diez Saldanha, Technische Universität Dresden Phan Minh Dung, Asian Institute of Technology, Dresden University of Technology Ulrich Furbach, University of Koblenz The Anh Han, Teesside University Steffen Hölldobler, Technische Universität Dresden Antonis C. Kakas, University Cyprus Gabriele Kern-Isberner, TU Dortmund Sangeet Khemlani, Naval Research Lab, USA Robert A. Kowalski, Imperial College London Oliver Obst, Western Sydney University Luís Moniz Pereira, Universidade Nova Lisboa Marco Ragni, University of Freiburg Nicolas Riesterer, University of Freiburg Keith Stenning, Edinburgh University Claudia Schon, University of Koblenz Frieder Stolzenburg, Harz University of Applied Sciences Contact: Claudia Schon, schon at uni-koblenz.de From sophie.pinchinat at irisa.fr Mon Apr 15 10:27:23 2019 From: sophie.pinchinat at irisa.fr (Sophie Pinchinat) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: Strategic Reasoning 2019: extended deadline April 19, 2019 Message-ID: ----------------------------------------------------------------------                      SR 2019 - Call for Contributions          7th International Workshop on Strategic Reasoning                    Macao, China, 11-12 August 2019                        http://sr2019.irisa.fr/ ---------------------------------------------------------------------- Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation. The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2019 will be held with IJCAI 2019 in Macao, China. ---------------------------------------------------------------------- TOPICS OF INTEREST The topics covered by SR include, but are not limited to, the following: * Logics for reasoning about strategic abilities; * Logics for multi-agent mechanism design, verification, and synthesis; * Logical foundations of decision theory for multi-agent systems; * Strategic reasoning in formal verification; * Automata theory for strategy synthesis; * Strategic reasoning under perfect and imperfect information; * Applications and tools for cooperative and adversarial reasoning; * Robust planning and optimisation in multi-agent systems; * Risk and uncertainty in multi-agent systems; * Quantitative aspects in strategic reasonings. ---------------------------------------------------------------------- SUBMISSIONS We invite submissions reporting on: (A) original contributions, (B) published work, and (C) challenging open problems. Each submission should be clearly identified as belonging to one of these three categories. In all three categories, submissions will be evaluated by the usual high standards of research publications. In particular, they should contain enough detail to allow the program committee to identify the main contribution of the work, to explain its significance, its novelty, its relevance to the strategic-reasoning audience, and its practical or theoretical implications, and include comparisons with and references to relevant literature. Strong preference will be given to contributions on topics of interest to a broad, interdisciplinary audience and all papers should be written so that they are accessible to such an audience. Submissions should be in PDF, preferably using the EPTCS style (http://style.eptcs.org/), and not exceed 12 pages (not including bibliography). Authors are invited to submit their manuscript via EasyChair:   https://easychair.org/conferences/?conf=sr19 ---------------------------------------------------------------------- IMPORTANT DATES * Extended deadline: 19 April 2019 (AoE) * Notification: 10 May 2019 * Final version: 3 June 2019 ---------------------------------------------------------------------- PROCEEDINGS All contributions will be made available to the participants on a USB stick. Accepted original papers (in the category A) will be included in the workshop proceedings published as a volume in Electronic Proceedings in Theoretical Computer Science. As for previous editions, extended revised versions of selected original papers will be invited to a special issue of Information & Computation (in process). ---------------------------------------------------------------------- COMMITTEES Workshop Co-chairs * Dietmar Berwanger, LSV, CNRS & ENS Paris-Saclay, France * François Schwartzentruber, Univ. Rennes, CNRS & INRIA, France * Sophie Pinchinat, Univ. Rennes, CNRS & Inria, France Program Committee * Francesco Bellardinelli, IBISC, Univ. Évry, France * Véronique Bruyère, UMons, Belgium * Nathanaël Fijalkow, LaBRI, CNRS & Univ. Bordeaux, France * Julian Guttierez, Univ. Oxford, UK * Rasmus Ibsen-Jensen, IST Austria * Wojtech Jamroga, Polish Academy of Science, Poland * Jan Křetínský, TU Munich, Germany * Fangzhen Lin, Hong Kong Univ. of Science and Technology, China * Christof Löding, RWTH Aachen, Germany * Nicolas Markey, Univ. Rennes, CNRS & Inria, France * Nello Murano, Univ. Naples, Italy * Yoram Moses, Technion, Haifa, Israel * R Ramanujam, IMSc, Chennai, India * Sasha Rubin, Univ. Naples, Italy * Abdallah Saffidine, Univ. New South Wales, Sydney, Australia * Ashutosh Trivedi, Univ. Colorado at Boulder, USA ---------------------------------------------------------------------- From fstolzenburg at hs-harz.de Mon Apr 15 10:27:23 2019 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Mon, 15 Apr 2019 10:27:23 +0200 Subject: CfP for DKB/KIK 2019 - Workshop on *Formal and Cognitive Reasoning* Message-ID: Call for Papers 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and 7th Workshop KI & Kognition (KIK-2019) on *Formal and Cognitive Reasoning* Workshop at the 42nd German Conference on Artificial Intelligence (KI-2019) September 23-26, 2019, Kassel, Germany Organized by the FG Wissensrepräsentation und Schließen and FG Kognition of the GI Workshop Web Page: AIMS AND SCOPE Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. CALL FOR PAPERS The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (2014), and joint workshops took place in Dresden (2015), Dortmund (2017), and Berlin (2018). We welcome original papers on the following and any related topics: Action and change Agents and multiagent systems Analogical reasoning Argumentation theories Belief revision and belief update Cognitive modeling and empirical data Common sense and defeasible reasoning Decision theory and preferences Inductive reasoning and cognition Knowledge representation in theory and practice Learning and knowledge discovery in data Nonmonotonic and uncertain reasoning Ontologies and description logics Probabilistic approaches of reasoning Syllogistic reasoning PUBLICATION The proceedings will be published in the CEUR Workshop Proceedings series. We will also consider publishing a selection of extended papers in a special issue of an international journal. WORKSHOP ORGANIZERS AND CO-CHAIRS Christoph Beierle, FernUniversität in Hagen, Germany Marco Ragni, Universität Freiburg, Germany Frieder Stolzenburg, Hochschule Harz, Germany Matthias Thimm, Universität Koblenz-Landau, Germany PROGRAM COMMITTEE see Workshop Web Page IMPORTANT DATES Deadline for Submission: June 22, 2019 Notification of Authors: August 08, 2019 Camera-ready Paper: August 22, 2019 Workshop: September 23, 2019 (exact day to be confirmed) SUBMISSION DETAILS Papers should be formatted according to the Springer LNCS format . The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system . LOCAL INFORMATION Local information can be found on the web pages of the KI-2019 conference . From Andreas.Herzig at irit.fr Tue Apr 23 14:18:19 2019 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: FroCoS 2019 (London): DEADLINE EXTENSION and final call for papers In-Reply-To: <8eb8f092-7a17-fc18-d6b6-413630c7e7fa@irit.fr> References: <8eb8f092-7a17-fc18-d6b6-413630c7e7fa@irit.fr> Message-ID: FroCoS 2019 The 12th International Symposium on Frontiers of Combining Systems London, UK, September 4-6, 2019 Website: https://www.frocos2019.org Contact: chair at frocos2019.org Due to requests from potential authors and from current authors wishing to polish their papers, we have extended the submission deadlines. The new deadlines are: 1 May 2019 (abstract), 8 May 2019 (paper) Authors who have a good paper and are in doubt whether to send it to FroCoS may note some highlights of this year's edition: two affiliated workshops, two affiliated tutorials, a financially supported best paper award, five outstanding invited speakers (to be announced soon) and some support for young researchers traveling to the conference (including widely available cheap accommodation). We hope to see many of you this September in London -- in the beautiful campus of the Middlesex University, located 40 minutes from the city center and 20 minutes from Camden Town's iconic music venues! GENERAL INFORMATION The 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019) will take place in London. It will be hosted by the Department of Computer Science at the Middlesex University London, from 4 to 6 September 2019. FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. If we also count the IJCAR editions, this year FroCoS celebrates its 20th edition. FroCoS 2019 will be co-located with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019). The two conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis. FroCoS traditionally focuses on these types of research questions and activities. Like its predecessors, FroCoS 2019 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based methods and their practical use. Topics of interest for FroCoS 2019 include (but are not restricted to):    * combinations of logics (such as higher-order, first-order, temporal, modal, description or other non-classical logics)    * combination and integration methods in SAT and SMT solving    * combination of decision procedures, satisfiability procedures, constraint solving techniques, or logical frameworks    * combination of logics with probability and/or fuzzy measures    * combinations and modularity in ontologies    * integration of equational and other theories into deductive systems    * hybrid methods for deduction, resolution and constraint propagation    * hybrid systems in knowledge representation and natural language semantics    * combined logics for distributed and multi-agent systems    * logical aspects of combining and modularizing programs and specifications    * integration of data structures into constraint logic programming and deduction    * combinations and modularity in term rewriting    * methods and techniques for the verification and analysis of information systems    * methods and techniques for combining logical reasoning with machine learning SUBMISSION GUIDELINES The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. The page limit in Springer LNCS style is 16 pages in total, including references and figures. Any additional material (going beyond the page limit) can be included in a clearly marked appendix. This appendix will be read at the discretion of the committee, and must be removed for the camera-ready version. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via EasyChair at https://easychair.org/conferences/?conf=frocos2019 For each accepted paper, at least one of the authors is required to attend the conference and present the work. Prospective authors must register a title and an abstract three days before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines IMPORTANT DATES Abstract submission: 1 May 2019 Paper submission: 8 May 2019 Notification of paper decisions: 6 Jun 2019 Camera-ready papers due: 1 Jul 2019 FroCoS conference: 4-6 Sep 2019 PUBLICATION DETAILS The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS). BEST PAPER AWARD The program committee will select the FroCoS 2019 Best Paper, which will be awarded 500 Euros. The award will be presented at the conference. SUPPORT FOR STUDENT AND YOUNG RESEARCHER PARTICIPATION We have some limited funding for supporting students and young researchers traveling to the conference -- courtesy of direct sponsorship from Springer and indirect sponsorship from the Association for Symbolic Logic. In addition, some funding will be available through the EUTypes COST action website. In all cases, authors of accepted papers will be given precedence. Please see the conference website for more details. In addition, the Middlesex University is offering accommodation at a £30 daily rate in some excellently maintained shared flats located close to the conference venue (https://www.mdx.ac.uk/life-at-middlesex/accommodation/halls-of-residence/platt-hall). AFFILIATED EVENTS (COMMON WITH TABLEAUX) WORKSHOPS:  * The 25th Workshop on Automated Reasoning (ARW 2019, http://arw.csc.liv.ac.uk) Organizers: Florian Kammueller (Middlesex University) and Alexander Bolotov (University of Westminster)  * Journeys in Computational Logic: Tributes to Roy Dyckhoff Organizers: Stephane Graham-Lengrand (SRI International), Ekaterina Komendantskaya (Heriot-Watt University) and Mehrnoosh Sadrzadeh (Queen Mary University of London) TUTORIALS:  * Formalising concurrent computation: CLF, Celf, and applications (joint FroCoS/TABLEAUX tutorial). Presenters: Sonia Marin (IT-University of Copenhagen), Giselle Reis (Carnegie Mellon University in Qatar) and Iliano Cervesato (Carnegie Mellon University)  * How to Build an Automated Theorem Prover - An Introductory Tutorial (invited TABLEAUX tutorial). Presenter: Jens Otten (University of Oslo) PROGRAM COMMITTEE Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina Alessandro Artale, Free University of Bolzano-Bozen, Italy Franz Baader, TU Dresden, Germany Christoph Benzmüller, Free University of Berlin, Germany Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, Netherlands Torben Braüner, Roskilde University, Denmark Clare Dixon, University of Liverpool, UK Marcelo Finger, University of S‹o Paulo, Brazil Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Silvio Ghilardi, Universita degli Studi di Milano, Italy Jürgen Giesl, RWTH Aachen, Germany Andreas Herzig, CNRS, IRIT, France Moa Johansson, Chalmers University, Sweden Jean Christoph Jung, University of Bremen, Germany Cezary Kaliszyk, University of Innsbruck, Austria Ekaterina Komendantskaya, Heriot-Watt University, UK Roman Kontchakov, Birkbeck, University of London, UK Alessio Lomuscio, Imperial College London, UK Assia Mahboubi, INRIA, France Stefan Mitsch, Carnegie Mellon University Claudia Nalon, University of Bras’lia, Brazil Andrei Popescu, Middlesex University London, UK Silvio Ranise, Fondazione Bruno Kessler-Irst, Italy Christophe Ringeissen, LORIA-INRIA, France Philipp Rümmer, Uppsala University, Sweden Renate Schmidt, University of Manchester, UK Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany Christian Sternagel, University of Innsbruck, Austria Andrzej Szalas, Linköping University, Sweden Cesare Tinelli, University of Iowa, US Ashish Tiwari, SRI International, US Christoph Weidenbach, Max Planck Institute for Informatics, Germany PC CHAIRS Andreas Herzig, CNRS, IRIT, France Andrei Popescu, Middlesex University London, UK LOCAL ORGANIZATION COMMITTEE Kelly Androutsopoulos, Middlesex University London, UK Jaap Boender, Middlesex University London, UK Michele Bottone, Middlesex University London, UK Florian Kammueller, Middlesex University London, UK Rajagopal Nagarajan, Middlesex University London, UK Andrei Popescu, Middlesex University London, UK Franco Raimondi, Middlesex University London, UK LOCAL ORGANIZATION CHAIR Franco Raimondi, Middlesex University London, UK From ecl.drexel at gmail.com Tue Apr 23 14:18:19 2019 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: EXTENDED DEADLINE APRIL 28: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Workshop on Causal Reasoning and Explanation in Logic Programming NEW DEADLINE: April 28th 2019 CALL FOR PAPERS - EXTENDED DEADLINE *** CAUSAL 2019 *** (June 3 or 4, 2019) Workshop on Causal Reasoning and Explanation in Logic Programming 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 28th 2019 * Notification: May 12th 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/conferences/?conf=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 asdm at fi.upm.es Tue Apr 23 14:18:19 2019 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: Fourteenth Madrid UPM Advanced Statistics and Data Mining Summer School (June 24th - July 5th, 2019) - Early registration reminder Message-ID: Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school is open until June 2nd (included). The summer school will be held in Boadilla del Monte, near Madrid, from June 24th to July 5th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Our summer school has been an INOMICS world top ten summer schools in mathematics and statistics from 2015 to 2017. See the 2017 ranking at http://bit.ly/2oR00GI Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larrañaga, Concha Bielza, Bojan Mihaljević and Santiago Gil Begué. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 24th - June 28th, 2019) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Learning algorithms. Learning and Optimization. Deep Networks. Practical session: Jupyter notebooks in Python Anaconda with keras and tensorflow. Course 6: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. * Week 2 (July 1st - July 5th, 2019) * 1st session: 9:45-12:45 Course 7: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. Course 8: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Information Retrieval 101. Unsupervised Text Processing. Representation Learning. Information Extraction. Natural Language Understanding. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization with proximal methods. Practical session: Python Anaconda with scikit-learn. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From adase at skoltech.ru Tue Apr 23 14:18:19 2019 From: adase at skoltech.ru (adase) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: Machine Learning Summer School # MLSS 2019, Moscow, Russia In-Reply-To: <1552047337451.93136@skoltech.ru> References: <1552046723429.55540@skoltech.ru>,<1552047337451.93136@skoltech.ru> Message-ID: Dear Colleagues, This is the second call for application to -------------------------------------------------------------------------- MACHINE LEARNING SUMMER SCHOOL at the Skolkovo Institute of Science and Technology in Moscow, Russia from the 26th of August to the 6th of September 2019 http://mlss2019.skoltech.ru -------------------------------------------------------------------------- Overview -------------------------------------------------------------------------- The machine learning summer school provides PhD students, faculty, industry professionals and selected Master's students with an intense learning experience on the theory and applications of modern machine learning. Over the course of two weeks, a group of internationally renowned experts will offer lectures and tutorials covering the state of the art in the field. Confirmed Speakers -------------------------------------------------------------------------- * Arthur Gretton (University College London) - Kernels * Isabel Valera (Max Planck Institute for Intelligent Systems) - Fairness & Interpretability * Joris Mooij (University of Amsterdam) - Causality * Justin Solomon (MIT) - 3D Deep Learning * Marco Cuturi (CREST-ENSAE) - Optimal Transport * Mark Girolami (Imperial College London) - Bayesian Optimization / Probabilistic Numerics * Michael Bronstein (Imperial College London) - Graph neural network * Michel Besserve (Max Planck Institute for Intelligent Systems) - ML in Neuroscience * Nicolo Cesa-Bianchi (Universita degli Studi di Milano) - Online Learning * Shimon Whiteson (University of Oxford) - Reinforcement Learning * Ulrich Bauer (TU Munich) - Topological Data Analysis * Yarin Gal (University of Oxford) - Bayesian Deep Learning Application process -------------------------------------------------------------------------- Applications from graduate students, faculty and members of industry in quantitative fields are welcome. This includes researchers in applied fields as well as students of machine learning itself. Partial and full scholarships will be offered to strong candidates. Applicants are asked to submit a CV (max 2 pages), a cover letter (max 500 words), up to two letters of recommendations (max 500 words). We are also seeking to give participants a chance to discuss their own work. Hence, each applicant is highly encouraged to provide the title and abstract of a poster they would like to present at the school. The application system is open now. For more information visit http://mlss2019.skoltech.ru Important Dates -------------------------------------------------------------------------- * Mon, 4 March 2019: Application system opens. * Fri, 6 May 31 May 2019 23:59 Pacific Time: Deadline for applications. * Fri, 12 May 31 May 2019 23:59 Pacific Time: Deadline for submission of reference letters. * Mon, 6 June 2019: Notification of acceptance. * Fri, 17 June 2019: Registration fees due. * Mon, 26 August to Fri, 6 September 2019: MLSS takes place. Organizers -------------------------------------------------------------------------- Fernando Perez Cruz, Evgeny Burnaev, Rodrigo Rivera Castro Inquiries should be directed to adase(at)skoltech.ru P.S. Thanks to financial support of several leading companies allows for fees to be reduced to 6000 RUB for students at Russian universities. Due to the relevance of this announcement, the application deadline for the Machine Learning Summer School has been extended to May 31. -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano.borgo at cnr.it Tue Apr 23 14:18:19 2019 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: CfP Workshop onBPM 2019 (co-located BPM 2019, Wien Austria) In-Reply-To: References: Message-ID: Call for papers onBPM 2019 https://onbpm2019.fbk.eu/home The Ontological and Foundational Perspectives in Business Process Modelling (onBPM) workshop is focused on foundational and ontological investigations of business processes, business process models, and business process modelling. Despite that BPM literature providing some business process definitions, as well as a number of different business process modelling languages, several important aspects are still missing: a clear characterisation of what a business process is, what its key elements are, what sets business processes apart from other process entities, and a clear ontological analysis of business process model development. The goal of this workshop is to explore these missing aspects and to foster discussion on ontological foundations in business process modelling. onBPM aims at investigating the nature of business processes, what distinguishes and characterizes it from other kinds of process, the role of time and temporal representation in business process models, the dependence between real-world business processes and the corresponding models, the “implicit” business process elements that should be taken into consideration in the models, and the impact of ontological decisions in the modelling aspects. The target audience of the workshop includes researchers and academics from a variety of fields including BPM, formal and foundational ontology, applied philosophy, and conceptual modelling, as well as business practitioners. *Submissions* The contributions that will be considered are: - full papers, following the LNCS format (maximum page limit is 12 pages including bibliography). - short papers, following the LNCS format (exactly 6 pages including bibliography) presenting preliminary ideas, discussions and challenges on the topics of the workshop. *Topics of interest:* - Ontological choices in developing business process models - Characteristics of business processes compared to other processes/operations (e.g., workflows, business rules, strategies, services) - Ontological analysis of business process model elements (e.g., goals, participants, dependences, temporal aspects, commitments) - Foundational aspects of business process modelling languages - Characteristics of business process models with respect to models described in other notations - Business process ontologies based on ontological analyses - Ontology-based methodologies and tools that support modellers *Submission Instructions* Papers should be written in English, following the LNCS format: https://www.springer.com/gp/computer-science/lncs The submissions will be reviewed by the organisers and the PC members. Papers should be uploaded via EasyChair following this link: https://easychair.org/my/conference.cgi?conf=bpm2019 *Publication* All the workshop papers of onBPM workshop will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). *Key dates* Workshop papers submission deadline: May 24, 2019 Workshop papers notification deadline: June 28, 2019 Workshop camera-ready papers deadline: July 12, 2019 Workshops onBPM: September 2, 2019 *Organisers* Greta Adamo, Fondazione Bruno Kessler and University of Genoa, Italy Stefano Borgo, ISTC-CNR, Italy Sergio de Cesare, University of Westminster, United Kingdom Chiara Ghidini, Fondazione Bruno Kessler, Italy Nicola Guarino, ISTC-CNR, Italy From t.a.c.willemse at tue.nl Tue Apr 23 14:18:19 2019 From: t.a.c.willemse at tue.nl (Tim Willemse) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: Extended Deadlines FMICS 2019: Formal Methods for Industrial Critical Systems; 1 May (abstract); 3 May (paper) Message-ID: Apologies for multiple postings. ------------------------------------------------ FMICS 2019: the 24th International Conference on Formal Methods for Industrial Critical Systems Co-located with CONCUR and FORMATS Aug 30-31, 2019, Amsterdam, The Netherlands https://fmics2019.fsa.win.tue.nl ------------------------------------------------ The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Important Dates (AoE) Abstract submission: 1 May 2019 (extended; was 19 April) Paper submission: 3 May 2019 (extended; was 26 April) Notifications: 5 June 2019 Camera ready: 19 June 2019 Conference: 30-31 August 2019 Topics Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques and tools to support automated analysis, certification, debugging, descriptions, learning, optimisation and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). - Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardisation and industrial forums. Keynote Speakers (confirmed) - Jaco van de Pol (Aarhus University and University of Twente) - Holger Hermanns (Saarland University) Submission and Publication Papers must describe authors' original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding max. 2 pages of references) formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2019 The conference proceedings will be published by Springer in their LNCS series. Committees ---------- Programme Chairs - Kim Larsen, Aalborg University - Tim Willemse, Eindhoven University of Technology Programme Committee - Bernhard Aichernig, TU Graz - Giovanni Bacci, Aalborg University - Jiri Barnat, Masaryk University - Joerg Brauer, Verified Systems International GmbH - Ana Cavalcanti, University of York - Michael Fisher, University of Liverpool - Wan Fokkink, Vrije Universiteit Amsterdam - Maria-Del-Mar Gallardo, University of Malaga - Hubert Garavel, INRIA - Anne Haxthausen, Technical University of Denmark - Peter Höfner, CSIRO - Jozef Hooman, TNO-ESI/Radboud University Nijmegen - Falk Howar, Dortmund University of Technology/Fraunhofer ISST - Jeroen Keiren, Eindhoven University of Technology - Zhiming Liu, Southwest University - Tiziana Margaria, Lero - Peter Ölveczky, University of Oslo - Charles Pecheur, Université Catholique de Louvain - Matteo Rossi, Politecnico di Milano - Cristina Seceleanu, Mälardalen University - Scott Smolka, Stony Brook University - Maurice ter Beek, ISTI-CNR - Helen Treharne, University of Surrey - Jaco van de Pol, Aarhus University -- T.A.C. Willemse (T.A.C.Willemse at TUe.nl) +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://www.linkedin.com/in/tacwillemse http://orcid.org/0000-0003-3049-7962 -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Apr 23 14:18:19 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: ARCADE 2019 CFP Message-ID: *** CALL FOR PAPERS *** ARCADE http://arcade2019.net/ Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements 25 or 26 August 2019, Natal, Brazil (co-located with CADE-27) DESCRIPTION: The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal. We invite extended abstracts (2-4 pages, using the EasyChair class style http://www.easychair.org/publications/for_authors) in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage: Challenges: What are the next grand challenges for research on automated reasoning? Thereby, we refer to problems, solving which would imply a significant impact (e.g., shift of focus) on the CADE community and beyond. Applications: Where is automated reasoning applicable in real-world (industrial) scenarios? Which directions should be pursued to open new application domains? Directions: Based on the grand challenges and requirements from real-world applications, what are the research directions the community should promote? What bridges between the different subcommunities of automated reasoning need to be strengthened? What new communities should be included (if at all)? Exemplary achievements: What are the landmark achievements of automated reasoning whose influence reached far beyond the CADE community itself? What can we learn from those successes when shaping our future research? Input from our community raised exciting questions like the following: - What is the role of automated reasoning in AI, and vice versa? - How can AR help to obtain explainable AI? - What can full first-order logic as opposed to SAT/SMT do for verification? - How to identify relevant facts from large knowledge bases? - How can provers exploit semantic knowledge? - How can we ensure reliability of formal verification tools? - How can we attract young people to our field? in addition to many other intriguing issues (see http://arcade2019.net/#topics for an extensive collection). But we are most interested in your take on the upcoming challenges! At the event, contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. After the workshop, they will be welcome to extend their abstracts for inclusion in an EPiC post-proceedings, taking into account the discussion. Submissions are to be made via the following EasyChair link: https://easychair.org/conferences/?conf=3Darcade2019 IMPORTANT DATES (Anywhere on Earth): Submission deadline: 2 June 2019 Notification: 30 June 2019 Workshop: 26 August 2019 Post-proceedings deadline: 29 September 2019 PROGRAM COMMITTEE: Franz Baader, TU Dresden Christoph Benzmueller, Freie Universitaet Berlin Armin Biere, Johannes Kepler University Linz Nikolaj Bjorner, Microsoft Research Jasmin Christian Blanchette, Inria Nancy & LORIA Maria Paola Bonacina, Universite degli Studi di Verona Pascal Fontaine, LORIA, Inria, University of Lorraine Silvio Ghilardi, Universite degli Studi di Milano Jurgen Giesl, RWTH Aachen Alberto Griggio, FBK-IRST Reiner Hahnle,TU Darmstadt Marijn Heule, The University of Texas at Austin Cezary Kaliszyk, University of Innsbruck Laura Kovacs, Vienna University of Technology Aart Middeldorp, University of Innsbruck Neil Murray, SUNY at Albany David Plaisted, University of North Carolina at Chapel Hill Andrei Popescu, Middlesex University London Renate Schmidt, The University of Manchester Stephan Schulz, DHBW Stuttgart Martin Suda, Czech Technical University (co-chair) Geoff Sutcliffe, University of Miami Josef Urban, Czech Technical University Christoph Weidenbach, Max Planck Institute for Informatics Sarah Winkler, University of Innsbruck (co-chair) From laurent.perrussel at ut-capitole.fr Tue Apr 23 14:18:19 2019 From: laurent.perrussel at ut-capitole.fr (Laurent Perrussel) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: Academic position at Toulouse Capitole University Message-ID: Dear all, An associate professor position is available from September, 2019 at Toulouse 1 Capitole University and IRIT Laboratory (https://www.irit.fr), Toulouse, France. The deadline to apply is 23 April 2019. The detailed position description is available here https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/ListesPostesPublies/FIDIS/0311382J/FOPC_0311382J_4204.pdf : RESEARCH will be conducted at the IRIT laboratory, in the area of multi-agent systems and complex systems within the SMAC Team (https://www.irit.fr/-Equipe-SMAC-). The recruited researcher should work on one of the following topics: - Emerging problem solving, learning, system control: design of self-adaptive systems with emerging functionality and their validation. - Adaptive coordination in Multi-Agent System : formal specification of coordination (interaction protocols, organizational structures, processes) and coordination engineering (discovery, design, analysis, adaptation, recommendation, evaluation). - Multi-agent Simulation: complex systems modeling and simulation. TEACHING will be given at Toulouse University, classes are mainly in French (some could be in English). Contact for this position: Chihab Hanachi, professor, chihab.hanachi at ut-capitole.fr From irdta at irdta.eu Tue Apr 23 14:18:19 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: DeepLearn 2019: early registration April 27 Message-ID: DeepLearn 2019: early registration April 27*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: April 27, 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: (to be completed)   Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment   Mihaela van der Schaar (University of Cambridge), tba   PROFESSORS AND COURSES: (to be completed)   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   Vasant Honavar (Pennsylvania State University), [introductory/intermediate] Causal Models for Making Sense of Data   Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning for Computer Vision   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Piotr Bojanowski and 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   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fabio Roli (University of Cagliari), [introductory/intermediate] Adversarial Machine Learning   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), [introductory] Dive into Deep Learning   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   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   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   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 georgev at unipi.gr Tue Apr 23 14:18:19 2019 From: georgev at unipi.gr (George Vouros) Date: Tue, 23 Apr 2019 14:18:19 +0200 Subject: Call for Bids to host EUMAS 2020 Message-ID: Call for Bids to host EUMAS 2020 We are currently soliciting bids to host the 18th European Conference on Multiagent Systems (EUMAS) in 2020. We will consider bids from all European regions. Bids should be made by individuals or small groups, with the backing of a host institution (typically a university or research center). Please note that we seek bids from volunteers from the scientific community. All correspondence regarding bids should be directed by to the EURAMAS board member serving as liaison for EUMAS, George Vouros ( georgev at unipi.gr ). You are encouraged to get in touch well before the deadline and discuss any questions you may have. The deadline for submitting a bid is 30 of June 2019. Background The 18th European Conference on Multi-Agent Systems (EUMAS 2020) will follow the tradition of previous editions (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Maastricht 2011, Dublin 2012, Toulouse 2013, Prague 2014, Athens 2015, Valencia 2016, Evry 2017, Bergen Norway 2018), and aims to encourage and support activity in the research and development of multi- agent systems, in academic and industrial efforts. EUMAS is primarily intended as a European forum for anybody interested in the theory and practice of autonomous agents and multi-agent system to meet, present challenges, preliminary and mature research results. The conferences include a variety of activities, such as plenary keynote talks, parallel sessions, poster sessions, and social events. Tutorials or specialized meetings in forms of workshops may also be planned. EUMAS is a designated event of the European Association of Multi-Agent Systems (EURAMAS) whose Board of Directors is elected by the EUMAS research community, membership in which is defined on the basis of attendance at EUMAS conferences. The EURAMAS website (http://www.euramas.org ) provides links to the past conferences. The Board seeks neither to obtain a surplus nor a deficit but wishes to shepherd the community's funds with the best care. The Board recognises that the costs of attending conferences has risen significantly over the years and is actively working on helping to reverse this trend. We therefore particularly encourage hosts with access to reasonably priced venues and experience in obtaining outside sponsorship to submit a bid. The Board selects conference hosting bids, and – in cooperation with local organizers- nominates and selects program chairs. Collocation with other conferences is an option to be considered, but EUMAS participants should register in EUMAS and get the formal proceedings of the conference. Constraints on Timing and Size Regarding timing, the Board suggests that EUMAS is held at least two weeks before AAMAS. Special care needs to be taken not to conflict with other national or international conferences attended by the members of the community, while conflicts to paper submission deadlines must be avoided as well. Also, the submission deadline for EUMAS should be 10 days after the AAMAS notification date. Based on past experience and trends, we expect the attendance of EUMAS-2020 to be approximately 100 people, but we need to reach the wider European community possible. Plenary sessions need to be scheduled in a hall of sufficient size. Hosts can lower expenses by using university facilities for the conference programs. This is strongly encouraged whenever possible. Bid Content and Purpose Bids are geared towards determination of responsibility for local arrangements and designation of a Local Arrangements Chair. Bids will be reviewed by the EURAMAS Board. A bid should consist of a short statement that explains why you meet the criteria listed below. A bid should include estimates of the following expenses: charges for the conference venue charges for food and drinks (coffee, lunches, reception, banquet) typical hotel and student housing costs airfares from a few cities To ease the work of the Board, please express all prices mentioned in the bid in Euros. Each bid should identify the proposed team of organizers, and include full contact details. The bid should be led by a member of the scientific community (i.e., an active researcher in the field served by EUMAS), who should remain available to respond to clarification requests, which often come up during review. The bid document submitted should not exceed 5 pages. Criteria for Assessing EUMAS Bids The following criteria will be used for evaluation: Affordability: will it be possible to contain the costs associated with the organization of the conference so as to be able to offer affordable registration fees to participants? Fees will be determined together with the EURAMAS Board, but bidders may wish to indicate possible measures for containing costs already at the proposal stage. Please include an estimate of regular and student registration fees. Sponsorship: EUMAS organizers are expected to attract financial support through sponsorship and the bid should provide evidence on specific national and international sources of sponsorship. Site Location: attractiveness to conference attendees, as well as those accompanying the attendees (i.e., nearby attractions, tours, restaurants, and night clubs). Will people *want* to attend? Transportation: location with respect to major air routes and local transportation (trains, buses, automobiles). It is important that the venue be conveniently reachable for attendees. Dates: relation to possibly conflicting special or local holidays; to conflicting or synergistic conventions or special events at the same time or immediately before or after the conference. Climate and Season: particularly as these factors affect (1) the availability of rooms and rate structure (and provide some negotiating edge with the hotels); and (2) attendance by the local community. Facilities: quantity, quality, availability of meeting rooms, meeting support services, and exhibition hall. This factor is linked to the choice of accommodation, as it may be desirable to co-locate meeting facilities and accommodation. Please include preliminary information regarding any space and equipment rental fees that may be incurred by the conference. Accommodation: accommodation options should range from business hotels to student housing. Please include ballpark figures for hotel room rates. Experience: ability of the local organizers in organizing the event. Supporting Scientific Community: the presence of regional and local research communities to support the conference and which will benefit from its occurrence. It may be worth exploiting synergies by co-locating with related events. Backing of Host Institution: does the organizers' institution support the conference? Host institutions sometimes can provide free or low-cost facilities for the conference. They can loan equipment such as projectors and wireless routers. They can provide access to their housing facilities. The use of institutional facilities or equipment might constrain the schedule, but that might be a worthwhile trade-off. Supporting Local Industry: is there local or national industry that may be willing to support the conference in some way? Volunteer Labor: availability of an active local group willing to help out before, during, and after the conference. Special Needs Arrangements: ability to accommodate various special needs of participants, including dietary restrictions (e.g., Kosher, Halal, vegetarian, vegan) and physical disabilities (e.g., wheelchair access, facilities for individuals with hearing/visual impairments). George Vouros Professor Dept of Digital Systems, ICT School, University of Piraeus Greece URL: http://ai-group.ds.unipi.gr/georgev/ Email: georgev at unipi.gr Voice: +30 210 4142552 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From blllne2 at unife.it Fri Apr 26 08:38:08 2019 From: blllne2 at unife.it (Elena Bellodi) Date: Fri, 26 Apr 2019 08:38:08 +0200 Subject: DEADLINE EXTENDED - IJAR Special Issue on Probabilistic Logic Programming Message-ID: DEADLINE EXTENDED TO * MAY 15th - Last deadline* ---------------------------------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on Probabilistic Logic Programming The 5th Workshop on Probabilistic Logic Programming ( http://stoics.org.uk/plp/plp2018) was held on September 1st 2018 in Ferrara, Italy, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018). We welcome submissions of (improved/extended versions of) papers that were presented at the workshop, as well as new submissions on all topics of the workshop. ---------------------------------------------------------------------- Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important dates --------------- Submission of manuscripts: before May 15th, 2019 (papers will be sent to reviewers as soon as we receive them) Publication of the special issue: January 2020 (tentative) Submissions ----------- All submitted papers under this call will undergo the standard review process of the journal. All papers should be submitted to IJAR website http://www.evise.com/evise/jrnl/IJA by choosing the Special Issue “VSI: PLP2018”. All online submissions should follow the “Guide for Authors” of the journal. Guest Editors: -------------- Elena Bellodi (University of Ferrara, Italy) - elena.bellodi at unife.it Tom Schrijvers (KU Leuven, Belgium) - tom.schrijvers at cs.kuleuven.be -- Elena Bellodi, Ph.D. Assistant Professor Machine Learning Research Group DE - Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nbassili at csd.auth.gr Fri Apr 26 08:38:08 2019 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Fri, 26 Apr 2019 08:38:08 +0200 Subject: 2nd CfP: 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) Message-ID: apologies for cross-posting ================================================================== RuleML+RR 2019 CALL FOR PAPERS RuleML+RR 2019: 3rd International Joint Conference on Rules and Reasoning 16-19 September 2019 - Bolzano, Italy http://2019.ruleml-rr.org Part of the Bolzano Rules and Artificial Intelligence Summit (BRAIN 2019, https://brain2019.inf.unibz.it) ================================================================== == SUMMARY == High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. Important dates: - Abstract:   11 May 2019 - Full paper: 18 May 2019 == THE CONFERENCE == The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2019 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. RuleML+RR 2019 is part of BRAIN 2019, the Bolzano Rules and Artificial Intelligence Summit. With its special focus theme on "Beneficial AI", BRAIN 2019 brings together RuleML+RR 2019, DecisionCAMP 2019, the Reasoning Web Summer School (RW 2019), and the Global Conference on Artificial Intelligence (GCAI 2019). == TOPICS == RuleML+RR welcomes original research from all areas of Rules and Reasoning. Topics of particular interest include: * Rule-based approaches for intelligent systems and intelligent information access * Rule-based languages for the semantic web * Vocabularies, ontologies, and business rules * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Rule-based approaches to agents * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Non-classical logics and the Web * Constraint programming * Logic programming * Production & business rules systems * Streaming data and complex event processing * Rules for machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * Rule discovery, extraction and transformation * Rules and ontology learning * Deep Learning for rules and ontologies * Neural Networks and logic rules * Neural Networks and ontologies * Higher-order and modal rules * Rules for knowledge graphs * Web reasoning and distributed rule inference and execution * Big data reasoning with rules * Rule markup languages and rule interchange formats * Rule-based policies, reputation, and trust * Scalability and expressive power of logics for rules * System descriptions, applications and experiences * Rules and human language technology * Rules in online market research and online marketing * Applications of ontologies and rules in environmental protection * Applications in climate change monitoring, mitigation & adaptation * Applications in healthcare and life sciences * Applications in peace and conflict studies * Applications in equity and social welfare * Applications in law, regulation and finance * Industrial applications of rules * Rules and social media * Rules of ethics, laws, policies, and regulations Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme on "Beneficial AI" of the BRAIN 2019 Summit. == SUBMISSIONS == We accept the following submission formats for papers: * Long papers (up to 15 pages in LNCS style) * Short papers (up to 8 pages in LNCS style) Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Submissions: via EasyChair https://easychair.org/conferences/?conf=rulemlrr2019 The RuleML+RR 2019 best papers will be invited for rapid publication in a Special Issue of the Journal of Theory and Practice of Logic Programming (TPLP). In addition to regular submissions, RuleML+RR 2019 will host an Industry Track together with the DecisionCAMP 2019, the 13th International Rule Challenge, and a joint Doctoral Consortium with the Global Conference on Artificial Intelligence (GCAI 2019). == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style LNCS (http://www.springer.com/comp/lncs/authors.html). == IMPORTANT DATES == Title and Abstract submission: 11 May 2019 Full papers submission: 18 May 2019 Notification of acceptance: 21 June 2019 Camera-ready submission: 03 July 2019 Conference: 16-19 Sept 2019 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == ORGANISATION == Summit Chair (BRAIN 2019): Diego Calvanese, (Free Univ. of Bozen-Bolzano) Program Chairs: Paul Fodor  (Stony Brook Univ.) Marco Montali (Free Univ. of Bozen-Bolzano) From irdta at irdta.eu Fri Apr 26 08:38:08 2019 From: irdta at irdta.eu (IRDTA) Date: Fri, 26 Apr 2019 08:38:08 +0200 Subject: DeepLearn 2019: early registration April 27 Message-ID: DeepLearn 2019: early registration April 27*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: April 27, 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 3 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: Maria-Florina Balcan (Carnegie Mellon University), Data Driven Clustering Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment Mihaela van der Schaar (University of Cambridge), tba PROFESSORS AND COURSES: (to be completed) 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 Vasant Honavar (Pennsylvania State University), [introductory/intermediate] Causal Models for Making Sense of Data Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning for Computer Vision James Kwok (Hong Kong University of Science and Technology), tba Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Piotr Bojanowski and 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 Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Fabio Roli (University of Cagliari), [introductory/intermediate] Adversarial Machine Learning Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing Alex Smola (Amazon), [introductory] Dive into Deep Learning 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 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 Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects 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: Lukasz Kobylinski (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 hubie.chen at ehu.eus Fri Apr 26 08:38:08 2019 From: hubie.chen at ehu.eus (HUBERT MING CHEN) Date: Fri, 26 Apr 2019 08:38:08 +0200 Subject: QBF 2019 - call for papers Message-ID: [We apologize if you receive multiple copies of this call] ---------------------------------------------------------------------- CALL FOR PAPERS QBF 2019 -------- International Workshop on Quantified Boolean Formulas and Beyond Lisbon, Portugal, July 7, 2019 http://fmv.jku.at/qbf19/ Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT'19) Lisbon, Portugal, July 7-12, 2019 ---------------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs and has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== INVITED SPEAKER =============== Alexander Feldman, PARC =============== IMPORTANT DATES =============== May 15: Submission June 1: Notification June 15: Camera-ready versions Please see the workshop webpage for any updates: http://fmv.jku.at/qbf19/ ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): Applications, encodings and benchmarks with quantifiers QBF Proof theory and complexity results Experimental evaluations of solvers or related tools Case studies illustrating the power of quantifiers Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. Formats of proofs and certificates Implementations of proof checkers and verifiers Decision procedures Calculi and their relationships Data structures, implementation details and heuristics Pre- and inprocessing techniques Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf19 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf19 at easychair.org =============================== PROGRAM CHAIRS AND ORGANIZATION =============================== Hubie Chen, Birbeck, University of London Florian Lonsing, Stanford University Martina Seidl, University of Linz, Austria Friedrich Slivovsky, TU Wien, Austria From gis at cs.uns.edu.ar Fri Apr 26 08:38:08 2019 From: gis at cs.uns.edu.ar (Gerardo I. Simari) Date: Fri, 26 Apr 2019 08:38:08 +0200 Subject: Deadline approaching: Special Session on Argumentation-based Query Answering @ FQAS 2019 Message-ID: ####################################################################### Special session on Argumentation-based Query Answering at FQAS 2019 (Flexible Query Answering Systems) Conference Site: http://www.fqas2019.units.it/ Special Session Site: http://wwwinfo.dimes.unical.it/parisi/ArgQA.html Conference Dates: July 2-5, Amantea, Italy ####################################################################### Real-world knowledge-based systems must typically deal with information coming from different sources, which leads to uncertain content due to: * Gaps in knowledge (incompleteness): * Overspecification (inconsistency) * Inherent uncertainty: for instance, in economic indices or weather forecasts, where measurements are necessarily imprecise. Instead of considering such uncertain knowledge useless, knowledge engineers face the challenge of putting it to its best possible use when solving a wide range of problems. Argumentation is a very useful approach in this setting; essentially, reasons for and against a specific claim are analyzed in order to decide on an outcome. A valuable byproduct of such an analysis is that the conclusion can be accompanied by an explanation, which can be leveraged by users to decide if there is information that should be used differently (i.e., with higher or lower weight, or with different probability), discarded completely, or if there is further information that should be contemplated (i.e., new information, or information that was previously thought to be irrelevant). Argumentation-based approaches are therefore ideal for flexible query answering systems that contemplate human-in-the-loop models to tackle the challenges of incompleteness and inconsistency in data. Topics of interest include, but are not limited to, the following: * Query answering under uncertainty (including incompleteness, inconsistency, and probabilistic approaches) * Cyber security * Semantic Web * Stream Reasoning * Multi-agent systems * Belief dynamics The session is open to contributions generated by specialists in related areas in order to promote interdisciplinary collaborations and cross-fertilization. INVITED SPEAKER: Matthias Thimm (University of Koblenz-Landau, Germany) Talk Title: Algorithmic Approaches to Computational Models of Argumentation SUBMISSION DETAILS: Papers must be submitted through the system found at the conference site, where the name of the session will be found. The length of the papers is up to 12 pages including figures and references, and must follow the template specified at the conference web page (following the LNCS/LNAI format guidelines). See more details at http://www.fqas2019.units.it/#M3. Before submitting their contributions, authors are encouraged to send to the session organizers a statement of interest including full author list, abstract and presenting author. Important dates (note that they are different from the general conference dates!): *** Paper submission deadline: May 1, 2019 * Notification of acceptance: May 22, 2019 * Camera-ready version: May 31, 2019 * Conference: July 3-5 2019 Paper Publication: Accepted contributions will be published by Springer-Verlag LNAI series and they will be disseminated through the Springer Digital Library Springer Link. Papers will be also indexed by DBLP and Scopus. A selection of the best FQAS 2019 papers will be invited to be revised and extended for the post-conference publication in several special issues of top-quality journals. ORGANIZERS: * Francesco Parisi (Università della Calabria, Italy) * Gerardo I. Simari (Universidad Nacional del Sur and CONICET, Argentina) Contact us at: fparisi [at] dimes [dot] unical [dot] it / gis [at] cs [dot] uns [dot] edu [dot] ar ####################################################################### -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From komendantskaya at gmail.com Mon Apr 29 10:36:45 2019 From: komendantskaya at gmail.com (Ekaterina Komendantskaya) Date: Mon, 29 Apr 2019 10:36:45 +0200 Subject: PPDP'19 Deadline extension Message-ID: DEADLINE EXTENSION TO *10 MAY* - PPDP 2019 21st International Symposium on Principles and Practice of Declarative Programming 7–9 October 2019, Porto, Portugal Collocated with FM'19 http://ppdp2019.macs.hw.ac.uk ====================================================================== Important Dates --------------- Title and abstract registration 4 May 2019 (AoE) (extended) Paper submission 10 May 2019 (AoE) (extended) Rebuttal period (48 hours) 10 June 2019 (AoE) (extended) Author notification 20 June 2019 (extended) Final paper version 15 July 2019 Conference 7–9 October 2019 About PPDP ---------- The PPDP 2019 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. See http://ppdp2019.macs.hw.ac.uk for further information and information. Invited Speakers ---------------- Amal Ahmed Northeastern University, USA Title: TBA Naoki Kobayashi The University of Tokyo, Japan Title: 10 Years of the Higher-Order Model Checking Project Submission page: ---------------- https://easychair.org/conferences/?conf=ppdp19 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Andreas.Herzig at irit.fr Mon Apr 29 10:36:45 2019 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Mon, 29 Apr 2019 10:36:45 +0200 Subject: TABLEAUX 2019 (London): DEADLINE EXTENSION and final call for papers In-Reply-To: References: Message-ID: TABLEAUX 2019 The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods London, UK, September 3-5, 2019 Website: https://www.tableaux2019.org Contact: chair at tableaux2019.org Due to requests from potential authors and from current authors wishing to polish their papers, we have extended the submission deadlines. The new deadlines are: 1 May 2019 (abstract), 8 May 2019 (paper) Authors who have a good paper and are in doubt whether to send it to TABLEAUX may note some highlights of this year's edition: two affiliated workshops, two affiliated tutorials, a financially supported best paper award for young researchers, five outstanding invited speakers (to be announced soon) and some support for young researchers traveling to the conference (including widely available cheap accommodation). We hope to see many of you this September in London -- in the beautiful campus of the Middlesex University, located 40 minutes from the city center and 20 minutes from Camden Town's iconic music venues! GENERAL INFORMATION The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019) will take place in London. It will be hosted by the Department of Computer Science at the Middlesex University London, on 3-5 September 2019. TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of the mechanization of tableaux-based reasoning and related methods is presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organized on an annual basis; in 2001, 2004, 2006, 2008, 2010, 2012, 2014, 2016 and 2018 as a constituent of IJCAR. TABLEAUX 2019 will be co-located with the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For many logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. Topics of interest include but are not limited to: * tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, substructural, fuzzy, relevance and non-monotonic logics) and their proof-theoretic foundations; * sequent calculi and natural deduction calculi for classical and non-classical logics, as tools for proof search and proof representation; * related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches); * flexible, easily extendable, light-weight methods for theorem proving; novel types of calculi for theorem proving and verification in classical and non-classical logics; * systems, tools, implementations, empirical evaluations and applications (provers, proof assistants, logical frameworks, model checkers, etc.); * implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, etc.); * extensions of tableau procedures with conflict-driven learning; * techniques for proof generation and compact (or humanly readable) proof representation; * theoretical and practical aspects of decision procedures; * applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching. We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning and on logical aspects of the solution. SUBMISSION GUIDELINES Submissions are invited in three categories: (A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references; (B) system descriptions, with length up to 9 pages excluding references; (C) position papers and brief reports on work in progress, with length up to 9 pages excluding references. Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version. For category A submissions, the reported results must be original and not submitted for publication elsewhere. For category B submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories A and B will be published in the conference proceedings. Accepted papers in category C will be published as a Technical Report of the Middlesex University London. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: http://easychair.org/conferences/?conf=tableaux2019 For all accepted papers at least one author is required to attend the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines IMPORTANT DATES Abstract submission: 1 May 2019 Paper submission: 8 May 2019 Notification of paper decisions: 6 Jun 2019 Camera-ready papers due: 1 Jul 2019 TABLEAUX conference: 3-5 Sep 2019 PUBLICATION DETAILS The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS). BEST PAPER AWARDS The program committee will select (1) the TABLEAUX 2019 Best Paper and (2) the TABLEAUX 2019 Best Paper by a Junior Researcher, of which the latter will be supported by 500 Euros. Researchers will be considered junior if either they are students or their PhD award date is less than two years from the first day of the meeting, 3 September 2019. "Paper by a Junior Researcher" means that the paper's main author is junior, or the paper's main authors are all junior. For a paper to qualify, this information must be indicated in the pdf submission by adding an asterisk (*) at both the title and the main-author name(s). SUPPORT FOR STUDENT AND YOUNG RESEARCHER PARTICIPATION We have some limited funding for supporting students and young researchers traveling to the conference -- courtesy of direct sponsorship from Amazon and Springer and indirect sponsorship from the Association for Symbolic Logic. In addition, some funding will be available through the EUTypes COST action website. In all cases, authors of accepted papers will be given precedence. Please see the conference website for more details. In addition, the Middlesex University is offering accommodation at a £30 daily rate in some excellently maintained shared flats located close to the conference venue (https://www.mdx.ac.uk/student-life/accommodation/platt-hall). AFFILIATED EVENTS (COMMON WITH FroCoS) WORKSHOPS: * The 25th Workshop on Automated Reasoning (ARW 2019, http://arw.csc.liv.ac.uk) Organizers: Florian Kammueller (Middlesex University) and Alexander Bolotov (University of Westminster) * Journeys in Computational Logic: Tributes to Roy Dyckhoff Organizers: Stéphane Graham-Lengrand (SRI International), Ekaterina Komendantskaya (Heriot-Watt University) and Mehrnoosh Sadrzadeh (Queen Mary University of London) TUTORIALS: * Formalising concurrent computation: CLF, Celf, and applications (joint FroCoS/TABLEAUX tutorial). Presenters: Sonia Marin (IT-University of Copenhagen), Giselle Reis (Carnegie Mellon University in Qatar) and Iliano Cervesato (Carnegie Mellon University) * How to Build an Automated Theorem Prover - An Introductory Tutorial (invited TABLEAUX tutorial). Presenter: Jens Otten (University of Oslo) PROGRAM COMMITTEE Peter Baumgartner, Data61/CSIRO, Australia Maria Paola Bonacina, Università degli Studi di Verona, Italy James Brotherston, University College London, UK Serenella Cerrito, IBISC, Univ. Evry, Paris Saclay University, France Agata Ciabattoni, Technische Universität Wien, Austria Anupam Das, University of Copenhagen, Denmark Clare Dixon, University of Liverpool, UK Camillo Fiorentini, University of Milano, Italy Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Martin Giese, Universitetet i Oslo, Norway Laura Giordano, DISIT, Università del Piemonte Orientale, Italy Rajeev Goré, The Australian National University, Australia Stéphane Graham-Lengrand, SRI International, USA Reiner Hähnle, TU Darmstadt, Germany Ori Lahav, Tel Aviv University, Israel Tomer Libal, American University of Paris, France George Metcalfe, Universität Bern, Switzerland Dale Miller, INRIA and LIX/Ecole Polytechnique, France Leonardo de Moura, Microsoft Research, USA Neil Murray, SUNY at Albany, USA Cláudia Nalon, University of Brasília, Brazil Sara Negri, University of Helsinki, Finland Hans de Nivelle, Nazarbayev University, Kazakhstan Nicola Olivetti, LSIS, Aix-Marseille Université, France Jens Otten, Universitetet i Oslo, Norway Valeria De Paiva, Nuance Communications, USA Nicolas Peltier, CNRS, Laboratoire d'Informatique de Grenoble, France Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil Francesca Poggiolesi, CNRS, IHST Paris, France Andrei Popescu, Middlesex University London, UK Gian Luca Pozzato, University of Turin, Italy Giles Reger, University of Manchester, UK Giselle Reis, Carnegie Mellon University, Qatar Renate Schmidt, University of Manchester, UK Viorica Sofronie-Stokkermans, Universität Koblenz-Landau, Germany Alwen Tiu, Australian National University, Australia Sophie Tourret, Max-Planck-Institut für Informatik, Saarbrücken, Germany Dmitriy Traytel, ETH Zürich, Switzerland Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics, Czech Republic Luca Viganò, King's College, London, UK Uwe Waldmann, Max-Planck-Institut für Informatik, Saarbrücken, Germany Bruno Woltzenlogel Paleo, Vienna University of Technology, Austria PC CHAIRS Serenella Cerrito, IBISC, Univ. Evry, Paris Saclay University, France Andrei Popescu, Middlesex University London, UK LOCAL ORGANIZATION COMMITTEE Kelly Androutsopoulos, Middlesex University London, UK Jaap Boender, Middlesex University London, UK Michele Bottone, Middlesex University London, UK Florian Kammueller, Middlesex University London, UK Rajagopal Nagarajan, Middlesex University London, UK Andrei Popescu, Middlesex University London, UK Franco Raimondi, Middlesex University London, UK CONFERENCE CHAIR Andrei Popescu, Middlesex University London, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ggelfond at unomaha.edu Mon Apr 29 10:36:45 2019 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Mon, 29 Apr 2019 10:36:45 +0200 Subject: LPNMR 2019 CALL FOR PARTICIPATION Message-ID: Call for Participation --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 3-7, 2019 Part of the Philadelphia Logic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance !!! Early registration deadline is April 28, 2019!!! --------------------------------------------------------------------------- REGISTRATION Early registration deadline is May 4th, 2019. For more information, visit: https://sites.sju.edu/plw/plw-2019-registration/ ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS Accepted papers and invited speakers information can be found at https://sites.sju.edu/plw/lpnmr-2019-accepted-papers/ https://sites.sju.edu/plw/lpnmr-2019-invited-speakers/ AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS Esra Erdem, Sabanci University, Turkey Michael Gelfond, Texas Tech University, USA V.S. Subrahmanian, Dartmouth College, USA COLOCATED EVENTS DATALOG 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandiño * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Schüller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Schüller FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org 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, LPNMR 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 Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politecnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of Sao Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From geoff at cs.miami.edu Mon Apr 29 10:36:45 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 29 Apr 2019 10:36:45 +0200 Subject: Verification Mentoring Workshop 2019: Scholarships Message-ID: Verification Mentoring Workshop 2019: Call for scholarship applications Verification Mentoring Workshop (VMW 2019) http://i-cav.org/2019/mentoring/ co-located with CAV 2019 13 July 2019 New York City, USA APPLICATIONS FOR TRAVEL SCHOLARSHIPS We warmly invite eligible students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV. The deadline for applications is April 30. Applications are received via the form at https://forms.gle/6z6kUGPWqGoQ7cka6 ABOUT VMW The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage participation of women and underrepresented minorities. The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied topics highlighted at CAV 2019. Other talks will provide mentoring and career advice, from academia and industry. More information can be found at http://i-cav.org/2019/mentoring/ SPEAKERS Aws Albarghouthi, University of Wisconsin-Madison Azadeh Farzan, University of Toronto Vijay Ganesh, University of Waterloo Ranjit Jhala, University of California, San Diego Ruzica Piskac, Yale University Manu Sridharan, University of California, Riverside In case of questions, please contact the organizers Loris D'Antoni (chair) Rayna Dimitrova Cezara Dragoi Anthony W. Lin