From francesco.amigoni at polimi.it Sun Mar 3 22:37:09 2019 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Sun, 03 Mar 2019 22:37:09 +0100 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 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 four criteria above. • The minimum amount of space needed to perform the demonstration (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 or the 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 March 15, 2019. === Important dates Submission of expressions of interest: March 15, 2019. Notification of acceptance: April 15, 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 cfp at mat.unical.it Sun Mar 3 22:37:09 2019 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Sun, 03 Mar 2019 22:37:09 +0100 Subject: JELIA 2019 - Call For Participation Message-ID: [apologies for multiple copies] Registration to JELIA 2019 is now open! Deadline for early registration is March 31st, 2019. == REGISTRATION == Registration is open: Early registration deadline is March 31, 2019. At least one author of each accepted paper must get registered by March 25. Student registration and separate tickets for social events are available. For more information, visit: https://jelia2019.mat.unical.it/registration == VENUE, TRAVEL AND ACCOMMODATION == JELIA 2019 will take place at the University Club of University of Calabria, Rende, Italy, in the urban area of Cosenza, at the heart of the beautiful region of Calabria, Southern Italy; have a look at the gallery here: https://jelia2019.mat.unical.it/venue/gallery Special hotel rates are available for conference attendees. Please find related information and useful direction at https://jelia2019.mat.unical.it/venue/travel-and-lodging == INVITED SPEAKERS == JELIA 2019 features two main keynotes: - Georg GOTTLOB (https://www.cs.ox.ac.uk/people/georg.gottlob/) - Henri PRADE (https://www.irit.fr/~Henri.Prade/) (see https://jelia2019.mat.unical.it/invited-speakers for details) == PROGRAM == Conference program can be found at: https://jelia2019.mat.unical.it/program == OTHER EVENTS == - Welcome party on May 7th night. - A dedicated ceremony for Awards and Prizes. - A guided tour on the beautiful Calabrian seaside, including the social dinner. - An engaging Public Event: “Intelligenza Artificiale: etica, opportunità, insidie": a disseminative panel discussion (mostly in Italian) open to the general public and featuring top-notch scientists, journalists and industry leaders. To be held on Saturday 11th, 2019. == JELIA 2019 CONFERENCE == The 16th edition of the European Conference on Logics in Artificial Intelligence will take place from May 7 to 11 in Cosenza, organised by the Department of Mathemathics and Computer Science of University of Calabria. Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies, and logic-based systems today, this claim is stronger than ever. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, UK (1994), Évora, Portugal (1996), Dagstuhl, Germany (1998), Málaga, Spain (2000), Cosenza, Italy (2002), Lisbon, Portugal (2004), Liverpool, UK (2006), Dresden, Germany (2008), Helsinki, Finland (2010), Toulouse, France (2012), Madeira, Portugal (2014), Larnaca, Cyprus (2016). The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence. Website: https://jelia2019.mat.unical.it/ == COMMITTEES == General Chair * Nicola Leone (University of Calabria) Program Chairs * Francesco Calimeri (University of Calabria) * Marco Manna (University of Calabria) Organization Chairs * Carmine Dodaro (University of Genova) * Valeria Fionda (University of Calabria) Publicity and Finance Chair * Simona Perri (University of Calabria) Program Committee * Mario Alviano (University of Calabria) * Carlos Areces (Universidad Nacional de Córdoba) * Franz Baader (Technische Universität Dresden) * Peter Baumgartner (CSIRO) * Salem Benferhat (CNRS, Université d'Artois) * Meghyn Bienvenu (CNRS, University of Bordeaux) * Alexander Bochman (Holon Institute of Technology) * Gerhard Brewka (Universität Leipzig) * Pedro Cabalar (Universidade da Coruña) * Marco Calautti (The University of Edinburgh) * David Carral (Technische Universität Dresden) * Giovanni Casini (Université du Luxembourg) * Cristina Civili (Samsung R&D Institute United Kingdom) * Mehdi Dastani (Utrecht University) * James Delgrande (Simon Fraser University) * Ulle Endriss (Universiteit van Amsterdam) * Wolfgang Faber (Alpen-Adria-Universität Klagenfurt) * Luis Farinas Del Cerro (CNRS) * Eduardo Fermé (Universidade da Madeira) * Michael Fisher (University of Liverpool) * Michael Gelfond (Texas Tech University) * Laura Giordano (Università del Piemonte Orientale) * Lluis Godo (IIIA-CSIC) * Tomi Janhunen (Aalto University) * Gabriele Kern-Isberner (Technische Universitaet Dortmund) * Roman Kontchakov (University of London) * Jérôme Lang (CNRS, Université Paris-Dauphine) * Joohyung Lee (Arizona State University) * Joao Leite (Universidade NOVA de Lisboa) * Vladimir Lifschitz (University of Texas at Austin) * Thomas Lukasiewicz (University of Oxford) * Marco Maratea (University of Genova) * Jerzy Marcinkowski (Uniwersytet Wrocławski) * Pierre Marquis (CNRS, Université d'Artois) * Thomas Meyer (CAIR, University of Cape Town) * Angelo Montanari (University of Udine) * Michael Morak (Technische Universität Wien) * Manuel Ojeda-Aciego (University of Malaga) * Magdalena Ortiz (Technische Universität Wien) * David Pearce (Universidad Politécnica de Madrid) * Rafael Peñaloza (Free University of Bozen) * Luís Moniz Pereira (Universidade Nova de Lisboa) * Andreas Pieris (University of Edinburgh) * Henri Prade (CNRS, Université Paul Sabatier) * Francesco Ricca (University of Calabria) * Fabrizio Riguzzi (University of Ferrara) * Jussi Rintanen (Aalto University) * Uli Sattler (University of Manchester) * Mirek Truszczynski (University of Kentucky) * Toby Walsh (University of New South Wales) * Frank Wolter (University of Liverpool) * Stefan Woltran (Technische Universität Wien) From fioretto.ferdinando at isye.gatech.edu Sun Mar 3 22:37:09 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sun, 03 Mar 2019 22:37:09 +0100 Subject: ICLP 2019 - CALL FOR WORKSHOP PROPOSALS Message-ID: *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2019 35th International Conference on Logic Programming September 21 - September 25, 2019 Las Cruces, New Mexico, USA https://www.cs.nmsu.edu/ALP/iclp2019/ ICLP 2019, the 35th International Conference on Logic Programming, will be held in Las Cruces, New Mexico, USA, from September 21 to September 25, 2019. The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2019 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2019 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The estimated length of the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by April 15, 2019. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 30, 2019. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by May 31, 2019, and will be published on the ICLP 2019 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Providing a workshop program in a format specified by the conference organizers for posting by August 31, 2019. * Coordinating the preparation of the workshop proceedings according to the specifications provided by the Workshop Chair. Location: ========= Workshops will be collocated with ICLP 2019, in Las Cruces, New Mexico, USA. See the ICLP 2019 web site (https://www.cs.nmsu.edu/ALP/iclp2019/) for location details. Important Dates: ================ April 15, 2019: Proposal submission deadline April 30, 2019: Notification May 31, 2019: Deadline for receipt of CfP and workshop web page URL August 31, 2019: Deadline for workshop program TBA: ICLP workshops Submissions: ============ Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair: =============== Martin Gebser martin.gebser at aau.at From herzig at irit.fr Sun Mar 3 22:37:09 2019 From: herzig at irit.fr (Andreas Herzig) Date: Sun, 03 Mar 2019 22:37:09 +0100 Subject: TABLEAUX 2019 (London) call for papers In-Reply-To: <2625a549-db7b-0610-6aab-94b63ac3a242@irit.fr> References: <2625a549-db7b-0610-6aab-94b63ac3a242@irit.fr> 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 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; (B) system descriptions, with length up to 9 pages; (C) position papers and brief reports on work in progress, with length up to 9 pages. All page limits include references and figures. 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, CNRS, INRIA, Ecole Polytechnique 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 blllne2 at unife.it Sun Mar 3 22:37:09 2019 From: blllne2 at unife.it (Elena Bellodi) Date: Sun, 03 Mar 2019 22:37:09 +0100 Subject: DEADLINE EXTENDED - IJAR Special Issue on Probabilistic Logic Programming Message-ID: DEADLINE EXTENDED to April 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 March 1st, April 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 rrc2soft at gmail.com Sun Mar 3 22:37:09 2019 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Sun, 03 Mar 2019 22:37:09 +0100 Subject: CFP: (Deadline extended: March 7) EuroSPEC'19: 2019 European Workshop on Security and Privacy in Edge Computing Message-ID: ============================================================================== EuroSPEC'19: 2019 European Workshop on Security and Privacy in Edge Computing ----------------------------------------------- Held in conjunction with EuroS&P 2019 Stockholm, Sweden -- June 16, 2019 ----------------------------------------------- https://www.nics.uma.es/pub/eurospec19/ Important Dates Submission due: March 7, 2019 (Deadline extended, firm) Notification: April 1, 2019 Camera-ready due: April 22, 2019 ============================================================================== Workshop introduction and topics --------------------------------- The main goal of Fog Computing and other related Edge paradigms, such as Multi-Access Edge Computing, is to decentralize the Cloud and bring some of its services closer to the edge of the network, where data are generated and decisions are made. Cloud-enabled edge platforms will be able to cooperate not only with each other but with the cloud, effectively creating a collaborative and federated environment. This paradigm shift will fulfill the needs of novel services, such as augmented reality, that have particularly stringent requirements like extremely low latency. It will also help improve the vision of the Internet of Things by improving its scalability and overall functionality, among other benefits. To enable this vision, a number of platforms and technologies need to securely coexist, including sensors and actuators, edge-deployed systems, software-defined networks, hardware virtualization, data mining mechanisms, etc. However, this paradigm shift calls for new security challenges and opportunities to leverage services for new scenarios and applications. The field of edge computing security is still largely unexplored, and demands further attention from the research community and industry in order to unleash the full potential of this paradigm. Topics of Interest ------------------- This workshop expects original research papers on, but not limited to, the topics described below: * Edge devices security * Attacks and Countermeasures to Edge computing platforms * Authentication and Access control in Edge computing * Accountability and Accounting in Edge computing * Identity management systems in Edge computing * Secure federation of Edge computing devices * Secure Orchestration and Management of Edge devices * Secure Software-Defined Networking for Edge computing * Secure Virtualization in Edge Computing * Secure Migration of resources in Edge Computing * Data and Computation integrity in Edge Computing * Trust and Reputation Management in Edge computing * Privacy in Edge Computing * Intrusion Detection and Prevention systems for Edge computing * Digital Forensics in Edge Computing * Risk Analysis in Edge Computing * Incident Management in Edge Computing Paper Submission Guidelines ---------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=eurospec2019 Submissions must comply with the paper format requirements found in https://www.ieee-security.org/TC/EuroSP2019/cfp.php. Note, however, that workshop papers must not exceed 10 pages total (including references and appendices). Failure to adhere to the page limit and formatting requirements can be grounds for rejection. It is planned that the proceedings of the workshop will be published through IEEE Xplore in a volume accompanying the main IEEE EuroS&P 2019 proceedings. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Contact -------- Email: eurospec19 at nics.uma.es EuroSPEC Home: https://www.nics.uma.es/pub/eurospec19/ Organisation Committee ----------------------- General Chair: - Ruben RIOS (University of Malaga, Spain) Program Chairs: - Rodrigo ROMAN (University of Malaga, Spain) - Roberto DI PIETRO (HBKU, College of Science and Engineering, Doha-Qatar) Program Committee: - Ketan BHARDWAJ, Georgia Institute of Technology, USA - Mauro CONTI, Universitá Degli Studi di Padova, Italy - Aurélien FRANCILLON, Eurecom, France - Jose M. DE FUENTES, UC3M, Spain - Lorena GONZALEZ MANZANO, UC3M, Spain - Martin G. JAATUN, SINTEF Digital, Norway - Donghyun KIM, Kennesaw State University, USA - Flavio LOMBARDI, Roma Tre University of Rome, Italy - Javier LOPEZ, University of Malaga, Spain - Masahiro MAMBO, Kanazawa University, Japan - Haralambos MOURATIDIS, University of Brighton, UK - Jose A. ONIEVA, University of Malaga, Spain - Fernando M.V. RAMOS, University of Lisbon, Portugal - Pierangela SAMARATI, Università degli Studi di Milano, Italy - Savio SCIANCALEPORE, HBKU (College of Science and Engineering), Qatar - Juan E. TAPIADOR, Universidad Carlos III de Madrid, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asdm at fi.upm.es Fri Mar 8 05:40:54 2019 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: Fourteenth Madrid UPM Advanced Statistics and Data Mining Summer School (June 24th - July 5th, 2019) Message-ID: Dear colleagues, The Technical University of Madrid (UPM) will once more organize the 'Madrid UPM Advanced Statistics and Data Mining' summer school. 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 now *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 geoff at cs.miami.edu Fri Mar 8 05:40:54 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: 5th Workshop on Bridging the Gap between Human and Automated Reasoning Message-ID: 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: 12th April, 2019 Notification: 10th May, 2019 Final submission: 10th 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, University of Dresden Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz ======== PROGRAM COMMITTEE ======== Christoph Beierle, Fernuniversität Hagen Phan Minh Dung, Asian Institute of Technology, Dresden University of Technology Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Antonis C. Kakas, University Cyprus Sangeet Khemlani, Naval Research Lab, USA Robert A. Kowalski, Imperial College London Luís Moniz Pereira, Universidade Nova Lisboa Marco Ragni, University of Freiburg Nicolas Riesterer, University of Freiburg Claudia Schon, University of Koblenz Frieder Stolzenburg, Harz University of Applied Sciences Contact: Claudia Schon, schon at uni-koblenz.de From nevrenato at gmail.com Fri Mar 8 05:40:54 2019 From: nevrenato at gmail.com (Renato Neves) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: Second Dali Workshop: First Call for Papers Message-ID: Dynamic Logic: New Trends and Applications workshop.dali.di.uminho.pt First Call for Papers Porto, 9 October, 2019 (part of the 3rd World Congress on Formal Methods 2019) OVERVIEW Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692 TOPICS Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to Dynamic logic, foundations and applications Logics with regular modalities Modal/temporal/epistemic logics Kleene and action algebras and their variants Quantum dynamic logic Coalgebraic modal/dynamic logics Graded and fuzzy dynamic logics Dynamic logics for cyber-physical systems Dynamic epistemic logic Complexity and decidability of variants of dynamic logics and temporal logics Model checking, model generation and theorem proving for dynamic logics SUBMISSION AND PUBLICATION Original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style. As in the previous edition, post-proceedings will be published by Springer in a Lecture Notes of Computer Science volume, and a special issue with extended, revised contributions is planed. Submit via the EasyChair link https://easychair.org/conferences/?conf=dali2019 INVITED SPEAKER Dexter Kozen, Cornell University IMPORTANT DATES Paper Submission: June 14, 2019 Notification: July 19, 2019 Camera Ready: September 2, 2019 Workshop: October 9, 2019 PROGRAMME COMMITTEE Guillaume Aucher (IRISA, FR) Carlos Areces (U Cordoba, AR) Alexandru Baltag, (UvA, NL) - PC co-chair Luis S. Barbosa, (U Minho, PT) - PC co-chair Mario Benevides (UFRJ, BR) Johan van Benthem (U Stanford, USA) Patrick Blackburn, (U Roskilde, DK) Thomas Bolander (DTU, Denmark) Zoe Christoff (U Bayreuth, Germany) Fredrik Dahlqvist (UCL, UK) Hans van Ditmarsch (LORIA, Nancy, FR) Nina Gierasimczuk (DTU, Denmark) Valentin Goranko (U Stockholm, SE) Davide Grossi (U Groningen, NL) Reiner Hahle (TU Darmstadt, DE) Rolf Hennicker (LMU, Munchen, DE) Andreas Herzig (U Toulouse, FR) Dexter Kozen (Cornell, USA) Clemens Kupke (U Strathclyde, UK) Alexandre Madeira (U Aveiro, PT) Manuel A. Martins (U Aveiro, PT) Paulo Mateus (IST, PT) Stefan Mitsch (CMU, USA) Renato Neves (U Minho, PT) Valeria de Paiva (Nuance Comms, USA) Aybuke Ozgun (ILLC, NL) Fernando Velazquez-Quesada (ILLC, NL) Olivier Roy (U Bayreuth, DE) Lutz Schroeder (FAU, Erlangen-Nurenberg, DE) Alexandra Silva (UCL, UK) Sonja Smets (UvA, NL) Rui Soares Barbosa (U Oxford, UK) Tinko Tinchev (Sofia U, BG) Renata Wassermann (USP, BR) From opcodesec at gmail.com Fri Mar 8 05:40:54 2019 From: opcodesec at gmail.com (Cheng Huang) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: [CFP] ISC 2019 : 22nd Information Security Conference - Deadline: 5 April 2019 Message-ID: Dear Colleagues, Apologize if you have received multiple copies. Today is exactly one month before the ISC paper submission deadline, please distribute below the ISC’19 CFP to your colleagues and students. Thank you very much. ========================================================================= Call for Papers: ISC 2019 22nd Information Security Conference New York City, 16-18 September 2019 https://isc2019.cs.stonybrook.edu/ ========================================================================= # Important Dates: - Submission Deadline: 5 April 2019 - Notification of Decision: 7 June 2019 - Camera Ready Deadline: 5 July 2019 - Conference Dates: 16–18 September 2019 # General Information The Information Security Conference (ISC) is an annual international conference covering research in theory and applications of Information Security. ISC aims to attract high quality papers in all technical aspects of information security. This includes submissions from academia, industry and government on traditional as well as emerging topics and new paradigms in these areas, with a clear connection to real-world problems, systems, or applications. # Types of Submissions Solicited Papers on all technical aspects of information security and privacy are solicited for submission. Areas of interest include, but are not limited to: - Access control - Accountability - Anonymity and pseudonymity - Applied cryptography - Authentication - Biometrics - Computer forensics - Critical infrastructure security - Cryptographic protocols - Database security - Data protection - Data/system integrity - Digital right management - Economics of security and privacy - Electronic fraud - Embedded security - Formal methods in security - Identity management - Information hiding and watermarking - Intrusion detection - Network security - Peer-to-peer security - Privacy - Secure group communications - Security in blockchain - Security in information flow - Security for the Internet of Things - Security for mobile code - Secure cloud computing - Security in location services - Security modeling and architectures - Security and privacy in social networks - Security and privacy in pervasive and ubiquitous computing - Security of e-commerce, e-business, and e-government - Security models for ambient intelligence environments - Trust models and trust policies - Information dissemination control # Instructions for Authors Submissions must be original work and may not be under submission to another venue at the time of review. Submissions are limited to 18 pages in the Springer Lecture Notes in Computer Science (LNCS) style, including bibliography and any appendices; each submission must be intelligible and self-contained within this length. The Springer llncs class file can be downloaded at lncs2e.zip. Each submission must be thoroughly anonymized, with no author names, affiliations, acknowledgements, or obvious references. Submissions must not duplicate work that was published elsewhere, or work that has been submitted in parallel to any other conference, journal or workshop that has proceedings. Authors of accepted papers must guarantee that their paper will be presented at the conference. One full registration is required for every accepted paper. Submitted papers will be uploaded and managed by hotcrp. For further details on the submission process, please visit the conference website: https://isc2019.cs.stonybrook.edu/ At least one author of each accepted paper is required to physically present the submitted work at the conference, for the paper to be included in the proceedings. # Organizing Committee ## General Chair - Michalis Polychronakis (Stony Brook University, USA) ## Program Chairs - Zhiqiang Lin (Ohio State University, USA) - Charalampos (Babis) Papamanthou (University of Maryland, USA) ## Program Committee - Elias Athanasopoulos, University of Cyprus, Cyprus - Foteini Baldimtsi, George Mason University, USA - Alex Chepurnoy, IOHK, USA and Ergo Platform, Russia - Sherman Chow, Chinese University of HK, Hong Kong - Dana Dachman-Soled, University of Maryland, USA - Lucas Davi, University of Duisburg-Essen, Germany - Brendan Dolan-Gavitt, New York University, USA - Sanjam Garg, UC Berkeley, USA - André Grégio, Federal University of Parana, Brazil - Dimitris Papadopoulos, HKUST, Hong Kong - Esha Ghosh, Microsoft Research, USA - Alexandros Kapravelos, NC State University, USA - Vasileios Kemerlis, Brown University, USA - Evgenios Kornaropoulos, Brown University, USA - Alp Kupcu, Koc University, Turkey - Andrea Lanzi, University of Milan, Italy - Juanru Li, Shanghai Jiaotong University, China - Xiapu Luo, Hong Kong Polytechnic University, Hong Kong - Alex Malozemoff, Galois, Inc, USA - Masahiro Mambo, Kanazawa University, Japan - Mark Manulis, University of Surrey, UK - Daniel Masny, Visa Research, USA - Kartik Nayak, VMware Research, USA - Nick Nikiforakis, Stony Brook University, USA - Giancarlo Pellegrino, Stanford University, USA and CISPA, Germany - Mike Reiter, University of North Carolina at Chapel Hill, USA - Brendan Saltaformaggio, Georgia Tech, USA - Roberto Tamassia, Brown University, USA - Nikos Triandopoulos, Stevens Institute of Technology, USA - Xinyu Xing, Penn State University, USA - Yu Yu, Shanghai Jiaotong University, China - Moti Yung, Columbia University, USA - Cong Wang, City University of Hong Kong, Hong Kong - Ding Wang, Peking University, China - Ruoyu (Fish) Wang, Arizona State University, USA - Xiao Wang, MIT and Boston University, USA - Yupeng Zhang, UC Berkeley, USA - Yajin Zhou, Zhejiang University, China - Jianying Zhou, Singapore University of Technology and Design, Singapore - Vassilis Zikas, University of Edinburgh, UK ## Publicity Chair - Cheng Huang (Sichuan University, China) # Steering Committee - Ed Dawson (Queensland University of Technology, Australia) - Javier Lopez (University of Malaga, Spain) - Masahiro Mambo (Kanazawa University, Japan) - Mark Manulis (University of Surrey) - Eiji Okamoto (University of Tsukuba, Japan) - Michalis Polychronakis (Stony Brook University, USA) - Susanne Wetzel (Stevens Institute of Technology, USA) - Yuliang Zheng (University of Alabama at Birmingham, USA) - Jianying Zhou (Singapore University of Technology and Design, Singapore) # Sponsorship Opportunities We solicit interested organizations to serve as sponsors for ISC 2019. Please contact the general chair for details regarding sponsorship opportunities. ----------- Sincerely, Dr. Cheng Huang Sichuan University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fioretto.ferdinando at isye.gatech.edu Fri Mar 8 05:40:54 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: ICLP 2019 - Special Session: Women in Logic Programming Message-ID: The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming =========================================== This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Submission Details ================== The submissions to this special session must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 All submissions must be written in English and at least one coauthor must be a woman. Contributions can be sent in the form of short papers (7 pages in OASIcs format, including references) and can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All technical communications will be presented during the conference, preferably by women. 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. Keynotes ======== TBA Important Dates =============== Abstract registration: April 27, 2019 Paper submission: May 4, 2019 Notification: June 19, 2019 Camera-ready copy due: July 31, 2019 Main conference: September 23, 2019 Organization ============ Session Chairs: Marina De Vos - University of Bath Alicia Villanueva - Universitat Politècnica de València Program Committee ================= Elvira Albert - Universidad Complutense de Madrid Stefania Costantini - University of L’Aquila Ines Dutra - University of Porto Daniela Inclezan - Miami University Ejaterina Komendantskaya - Heriot-Watt University Simona Perri - University of Calabria From scvgdu at unife.it Fri Mar 8 05:40:54 2019 From: scvgdu at unife.it (Guido Sciavicco) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: TIME 2019: Call for Papers Message-ID: CALL FOR PAPERS ------------------ TIME 2019 26th International Symposium on Temporal Representation and Reasoning Málaga (Spain), 16th-19th October 2019 https://sites.google.com/unife.it/time-2019 Aims and scope ----------------------------------------------- Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 encompasses three tracks, but has a single program committee. The conference will span four days, and will be organized as a combination of technical paper presentations, keynote talks, and tutorials. Tracks: -Time in Artificial Intelligence -Temporal DataBases -Temporal Logic and Reasoning Following a long-standing tradition, submission topics include (but are no limited to): -Temporal aspects of agent- and policy-based systems -Spatial and temporal reasoning -Time in natural language processing -Spatio-temporal knowledge representation systems -Reasoning about actions and change -Planning and planning languages -Ontologies of time and space-time -Belief and uncertainty in temporal knowledge -Temporal learning and discovery -Temporal data models and query languages -Temporal query processing and indexing -Temporal data mining -Time series data management -Stream data management -Spatio-temporal data management, including moving objects -Data currency and expiration -Indeterminate and imprecise temporal data -Temporal constraints -Specification and verification of systems -Verification of web applications -Synthesis and execution -Model checking algorithms and implementations -Verification of infinite-state systems -Reasoning about transition systems -Temporal architectures Submission and publication --------------------------------- TIME 2019 accepts submission in PDF format, not longer than 15 pages excluding references and appendix. The appendix is limited to 5 pages, and the reviewers may or may not taking it into account for their recommendation. Sumissions must be formatted following the LIPIcs instructions, and preferibly redacted in LaTex. Submissions are manged by EasyChair. TIME policy is single blind, so the names of the authors should not be hidden in the submitted draft. Members of the program commettee, excluding the co-chairs, are allowed to submit. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference. Submissions to TIME 2019 must be original, and parallel submissions of the same material to other conferences or journals is not allowed. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of a high quality journal to be yet decided. Important Dates -------------------- Papers due: June 7th, 2019 Notification: August 16th, 2019 Early bird inscription deadeline: September 16th, 2019 Symposium: October 16th-19th, 2019 Program Committee Chairs ---------------------------- Guido Sciavicco, University of Ferrara Johann Gamper, Free University of Bolzano-Bozen Sophie Pichinat, University of Rennes 1 Invited Speakers -------------------- TBA Venue -------------------- TIME 2019 will take place in Màlaga, Andalucia, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecl.drexel at gmail.com Fri Mar 8 05:40:54 2019 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: 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.] 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/cfp/CAUSAL2019 At least one co-author of each accepted paper must register for and attend the workshop. Please check the LPNMR 2019 website for registration procedure and fees. https://sites.sju.edu/plw/lpnmr-2019/ ORGANIZERS ---------- Emily LeBlanc, Drexel University, USA, ecl.drexel at gmail.com Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, Institut de Recherche en Informatique de Toulouse, France Marcello Balduccini, Saint Joseph's University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lmoss at indiana.edu Fri Mar 8 05:40:54 2019 From: lmoss at indiana.edu (Moss, Larry) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: TARK 2019 call for papers In-Reply-To: References: Message-ID: TARK 2019 Seventeenth conference on Theoretical Aspects of Rationality and Knowledge 17-19 July, 2019 Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse University Toulouse, France CALL FOR PAPERS Scope and Mission: The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Submissions : are now invited to TARK 2019. Extended Abstracts can be submitted athttps://tark.irit.fr/ The deadline for submissions is April 12, 2019 Anywhere on Earth . Content : Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. In particular, they should: 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work -- its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature. Style : Abstracts should be no longer than 10 pages. Optional technical details such as proofs may be included in an appendix. One author of each accepted paper will be expected to present the paper at the conference. To format your paper please use: LaTeX2e - Tighter Alternate stylefrom http://www.acm.org/sigs/publications/proceedings-templates Note: The 10 page limit is to ensure that the reviewers can read and express an opinion on the submission within the short time, though the submission format compresses the paper considerably. Please ensure that the main text for the reviewers stays within this limit. TARK reviewing is not double-blind, so author names can be included in the submission. Full proceedings:longer versions of accepted papers will appear in volume of the Electronic Proceedings in Theoretical Computer Science, similar to the EPTCS volume from TARK 2017:http://eptcs.web.cse.unsw.edu.au/content.cgi?TARK2017 Special note : While economics papers follow the same submission guidelines for review purposes, they can specify that only a short abstract be included for the Proceedings (with a link to a full working paper available online). Invited Speakers: Ingela Alger, Toulouse School of Economics Vincent Conitzer, Duke University Brian Hill, HEC Paris Proceedings : The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/ . The proceedings of TARK 2019 will also be open access and available online. Important Dates: Submission of abstracts: April 3rd, 2019 Submission of papers: April 12th, 2019 Notification to authors: May 24, 2019 Camera Ready Copy of Accepted Papers due: June 19th, 2019 Conference Dates:July 17-19, 2019. Chairs Conference Chair: Joe Halpern, Cornell University Program Chair: Lawrence Moss, Indiana University Local Organizing Co-chairs: Andreas Herzig and Emiliano Lorini, IRIT Program Committee Pierpaolo Battigalli, Bocconi University Adam Bjorndahl, Carnegie Mellon University Giacomo Bonanno, University of California, Davis Amanda Friedenberg, University of Arizona Filomena Garcia, Indiana University Valentin Goranko, Stockholm University Umberto Grandi, University of Toulouse Joseph Halpern Cornell University Aviad Heifetz, The Open University of Israel Jerome Lang, CNRS, LAMSADE Emiliano Lorini, IRIT France Lawrence Moss, Moss, Indiana University Eric Pacuit, University of Maryland Andres Perea, University Maastricht Francesca Poggiolesi,Université Paris 1 Ricardo Pucella, Forrester Research R. Ramanujam Institute of Mathematical Sciences, Chennai Sonja Smets, University of Amsterdam​ From jenny.dollard at cs.ox.ac.uk Fri Mar 8 05:40:54 2019 From: jenny.dollard at cs.ox.ac.uk (Jenny Dollard) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: SWSA call to host ISWC 2021 Message-ID: Dear colleagues, The Semantic Web Science Association (SWSA) is seeking statements of interest from organizations or consortia interested in hosting the 20th International Semantic Web Conference, ISWC 2021. The conference series usually moves regularly between the Americas, Europe, and the Asia/Pacific region. For the 2021 edition, we will accept bids from all locations, but we will give preference to bids from the Americas region. We expect the conference to take place in late October or early November 2021. Organizations wishing to host ISWC 2021 should contact Prof. Ian Horrocks who will work with the SWSA members to coordinate the bidding process for ISWC 2021. Any organization can apply to host the conference, but the local organizing committee must include a representative of a local research group. The process consists of two stages. During the first stage, SWSA solicits the statements of interest through an open call. They should be submitted using the statement of interest form. Once the first phase is complete, SWSA will shortlist a number of applications, who will be invited to submit a full proposal, using a standard form and budget template. The shortlisted applications will be expected to make a presentation at the SWSA meeting in Auckland, New Zealand, during ISWC 2019. SWSA will make the decision on the location of ISWC 2021 at that meeting. More information about the ISWC Conference Series and the bidding process for hosting a conference in the series can be found in the ISWC Hosting Guide. The important dates for applying to host a Conference in 2021 are: * May 29, 2019: Deadline for receiving statements of interest * June 15, 2019: Notifications to shortlisted bids are sent out * September 11, 2019: Formal applications received from shortlisted bids. * October 8, 2019: Presentation of the bid at the SWSA meeting in Auckland, New Zealand. * October 12, 2019: SWSA decides on the location for the 2021 conference. Regards, Ian Horrocks SWSA President http://swsa.semanticweb.org/content/call-host-international-semantic-web-conference -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefania.monica at unipr.it Fri Mar 8 05:40:54 2019 From: stefania.monica at unipr.it (Stefania MONICA) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: CfP (extended deadline) - Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC) at WETICE 2019 In-Reply-To: References: Message-ID: 17th Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC) Track at IEEE WETICE 2019 Capri Island, Italy, June 12-14, 2019 http://didattica.agentgroup.unimore.it/ACEC2019 Call for Papers (with extended submission deadline) Aims and Scope Over its 16 years in existence, ACEC has focused on works that explore the adaptability, autonomy and intelligence of software agents for the collaboration across the enterprise. In 2019, organizers would like to continue to explore the research on agent-based computing, but they would also welcome works that leverage advanced adaptive techniques, non necessarily based on software agents. In addition to the traditional domain areas, i.e., Computer Supported Collaborative Work, Workflow and Supply Chain Management, Automation in Virtual Enterprises, and Automated Distributed Service Composition, ACEC is also interested in new adaptive techniques, e.g., Cloud Computing, Crowd-Sourcing, and Social Networking. In addition to traditional papers, the forthcoming 17th episode of ACEC welcomes papers from two focus areas: * Adaptive and Agent-based Services * Adaptive Techniques for Organizational/Enterprise Use of Emerging Web Paradigms (Cloud, Crowd-sourcing, Mobile Apps) Such two themes represent important areas where software agents can leverage their distributed nature, along with their proactive and autonomous characteristics, to provide solutions to complex problems, which are difficult to solve using traditional/existing technologies. Topics of Interest Topics of interest include, but are not limited to: * Adaptive and/or agent-mediated workflow, supply chain, and virtual enterprises * Methodologies, languages and tools to support agent collaboration * Agent architectures and infrastructures for dynamic collaboration * Adaptive and/or Agent-based service architectures and infrastructures * Service Oriented Architectures (SOAs) based on agents * Services for dynamic agent collaboration * Agent-to-Human service interactions * Autonomous, Adaptive and/or Agent-mediated service integration * Organizational and enterprise systems that leverage the Web 2.0 * Adaptive and Agent-mediated cloud environments Important Dates * Paper submission: March 12th, 2019 (extended) * Notification: March 22th, 2019 * Camera ready: April 5th, 2019 * Conference: June 12-14, 2019 Paper Submission Papers should contain original contributions (not published or submitted elsewhere) and references to related state-of-the art work. Please submit your papers in PDF or PS format. Papers up to 6 pages (including figures, tables and references) can be submitted. Papers should follow the IEEE format, which is single-spaced, two columns, 10pt Times/Roman font. Papers should include a title, the name and affiliation of each author, an abstract of up to 150 words and no more than eight keywords. All submitted papers will be peer-reviewed by a minimum of three program committee members. The accepted papers will be published in the post-conference proceedings (to be published by the IEEE Computer Society Press). Authors of accepted papers must present their papers at the conference. At least one author for each accepted paper should register and attend WETICE 2019 to have the paper published in the proceedings. The paper submission procedure is carried out using the EasyChair conference management system: http://home.ing.unisannio.it/wetice2019/?page_id=575 Track Chairs * Stefania Monica, Università degli Studi di Parma, Italy * Federico Bergenti, Università degli Studi di Parma, Italy * M. Brian Blake, Drexel University, USA * Giacomo Cabri, Università degli Studi di Modena e Reggio Emilia, Italy * Usman Wajid, The University of Manchester, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Fri Mar 8 05:40:54 2019 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri, 08 Mar 2019 05:40:54 +0100 Subject: CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers) Message-ID: [Apologies for cross-postings] Call for Papers formal papers - informal papers - doctoral programme 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July 8-12, 2019 CIIRC, Prague, Czech Republic http://www.cicm-conference.org/2019 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2019 invites submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries CICM appreciates the varying nature of the relevant research in this area and invites submissions of very different forms: 1) Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages including references) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (up to 5 pages with references) present digital artifacts * system entry (1 page according to the given LaTeX template) provides metadata and a quick overview of a new tool or a new release of an existent tool 2) Informal submissions will be reviewed with a positive bias and selected for presentation based on their relevance for the community. * informal papers may present work-in-progress, project announcements, position statements, etc. * posters and system demos will be presented in parallel in special sessions 3) The doctoral programme provides PhD students a forum to present early results receive constructive feedback and mentoring. * Important Dates * Formal submissions - Abstract deadline: March 08 (extended) - Full paper deadline: March 15 (extended) - Reviews sent to authors: April 15 - Rebuttals due: April 17 - Notification of acceptance: April 20 - Camera-ready copies due: May 03 - Conference: July 08-12 Informal submissions and doctoral programme Two separate submission rounds are offered so that some authors can make early travel plans while other authors submit spontaneously. - First round submission deadline: April 01 - Second round submission deadline: May 15 All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2019 From schon at uni-koblenz.de Mon Mar 11 10:59:22 2019 From: schon at uni-koblenz.de (Claudia Schon) Date: Mon, 11 Mar 2019 10:59:22 +0100 Subject: [CfP] 5th workshop on Bridging the Gap between Human and Automated Reasoning Message-ID: 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: 12th April, 2019 Notification: 10th May, 2019 Final submission: 10th 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, University of Dresden Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz ======== PROGRAM COMMITTEE ======== Christoph Beierle, Fernuniversität Hagen Phan Minh Dung, Asian Institute of Technology, Dresden University of Technology Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Antonis C. Kakas, University Cyprus Sangeet Khemlani, Naval Research Lab, USA Robert A. Kowalski, Imperial College London Luís Moniz Pereira, Universidade Nova Lisboa Marco Ragni, University of Freiburg Nicolas Riesterer, University of Freiburg Claudia Schon, University of Koblenz Frieder Stolzenburg, Harz University of Applied Sciences Contact: Claudia Schon, schon at uni-koblenz.de From ijv at acm.org Mon Mar 11 10:59:22 2019 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 11 Mar 2019 10:59:22 +0100 Subject: 4th Call for papers: DARe at LPNMR-19 Message-ID: * Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2019 Date: June 3 or 4 2019 (TBC) Philadelphia, USA *** Deadline: 19 March 2019 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-19/ collocated with LPNMR 2019 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms (conditionals), whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare19 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2019 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 19 March 2019 - Notification to authors: 26 April 2019 - Camera ready version: 6 May 2019 - Workshop date: 3 or 4 June 2019 (to be confirmed) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Reka Markovich, Université du Luxembourg - Thomas Meyer, University of Cape Town, South Africa - Xavier Parent, Université du Luxembourg - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Rafael Testa, University of Campinas, Brazil - Leon van der Torre, Université du Luxembourg - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-19/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak - https://www.ijv.ovh CRIL, Université d'Artois & CNRS, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From t.a.c.willemse at tue.nl Mon Mar 11 10:59:23 2019 From: t.a.c.willemse at tue.nl (Tim Willemse) Date: Mon, 11 Mar 2019 10:59:23 +0100 Subject: CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems 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. 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 (confirmed) - Bernhard Aichernig, TU Graz - 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 robyonrails at gmail.com Mon Mar 11 10:59:23 2019 From: robyonrails at gmail.com (Roberto Casadei) Date: Mon, 11 Mar 2019 10:59:23 +0100 Subject: [CFP] 4th eCAS Workshop on Engineering Collective Adaptive Systems (deadline approaching: March, 15) Message-ID: ************************************************************** CALL FOR WORKSHOP PAPERS: eCAS'19 The 4th eCAS Workshop on Engineering Collective Adaptive Systems (eCAS 2019) Workshop website: http://ecas2019.apice.unibo.it Location: Umeå, Sweden. In conjunction with FAS* (https://www.fasstar.org) - 13th IEEE International Conference on Self-Adaptiveand Self-Organizing Systems (SASO 2019, http://saso2019.cs.umu.se/), and - 16th IEEE International Conference on Autonomic Computing (ICAC 2019, http://icac2019.cs.umu.se/) ************************************************************** [Apologies for possible multiple copies of this message] Please share and spread to interested members of your group/institution and colleague researchers. ============================================================== Important dates ============================================================== * Abstract Submission (optional): March 8, 2019 * Submission Deadline: March 15, 2019 * Notification of Acceptance: April 15, 2019 * Camera-Ready Version: April 20, 2019 * Workshop: TBD (June 16-20, 2019) ============================================================== Scope ============================================================== Modern software systems are becoming more and more *collective* and are composed of many distributed and heterogeneous entities. These systems operate under continuous perturbations making manual adjustments infeasible. For a collective system to be resilient, its *adaptation* must also be collective, in the sense that multiple entities must adapt in a way that addresses critical runtime conditions while preserving the benefits of collaborative interdependencies. Decision-making in such systems is distributed and possibly highly dispersed, and interaction between the entities may lead to the emergence of unexpected phenomena. In such systems, a new approach for adaptation is needed to allow: (i) multiple entities to collectively adapt with; (ii) negotiations to decide which collective changes are best. Collective adaptation also raises a second important challenge: Which parts of the system (things, services, people) should be engaged in an adaptation? This is nontrivial, as multiple solutions to the same problem may be generated at different levels. The challenge is to understand these levels and create mechanisms to decide the right scope for an adaptation for a given problem. This workshop solicits papers that address new methodologies, theories and principles that can be used to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that they can be better designed, built, and analyzed, as well as case studies and applications showing such approaches in action. Interdisciplinary work is particularly welcomed. Suggested Topics (but not limited to): * Novel theories relating to operating principles of CAS * Novel design principles for building CAS systems * Insights into the short and long-term adaptation of CAS systems * Insights into emergent properties of CAS * Insights into general properties of large scale, distributed CAS * Decision-making approaches in CAS * Methodologies for studying, analyzing, and building CAS * Frameworks for analyzing or developing CAS case studies * Languages, platforms, APIs and other tools for CAS * Scenarios, case studies, and experience reports of CAS in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, traffic management, emergency response, etc.) ============================================================== Submission Instructions and Review Criteria ============================================================== The length of a workshop paper may not exceed *6 pages* including references and follow the IEEE Computer Society Press proceedings style guide. All papers should be submitted in PDF format. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=ecas2019 By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work. Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality. Workshop proceedings will be published on IEEE Xplore in parallel with the main conference proceedings. ============================================================== Committees ============================================================== Steering Committee * Jacob Beal, Raytheon BBN Technologies, USA * Giacomo Cabri, University of Modena And Reggio Emilia, Italy * Nicola Capodieci, University of Modena and Reggio Emilia, Italy * Emma Hart, Edinburgh Napier University, U.K * Mirko Viroli, University of Bologna, Italy Workshop Chairs * Roberto Casadei, Alma Mater Studiorum--Università di Bologna, IT * Soura Dasgupta, University of Iowa, USA Program Committee * Franco Bagnoli, University of Firenze, Italy * Jake Beal, Raytheon BBN Technologies, USA * Johann Bourcier, Université de Rennes 1 / IRISA, France * Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy * Mauro Caporuscio, Linnaeus University, Sweden * Ferruccio Damiani, Dipartimento di Informatica, Università di Torino, Italy * Simon Dobson, University of St Andrews, UK * Martina De Sanctis, Gran Sasso Science Institute, L'Aquila, Italy * Giovanna Di Marzo Serugendo, University of Geneva, Switzerland * Schahram Dustdar, Vienna University of Technology, Austria * Lukas Esterle, Aston University, UK * Francesco Gallo, University of L'Aquila, Italy * Kurt Geihs, Universitaet Kassel, Germany * Tom Holvoet, Katholieke Universiteit Leuven, Belgium * Paola Inverardi, University of L'Aquila, Italy * Ludovico Iovino, Gran Sasso Science Institute, L'Aquila, Italy * Verena Klös, TU Berlin, Germany * Peter Lewis, Aston University, UK * Michele Loreti, University of Camerino, Italy * Mieke Massink, CNR-ISTI, Italy * Mirco Musolesi, University College London, UK * Danilo Pianini, University of Bologna, Italy * Simon Powers, Edinburgh Napier University, UK * Alexander Schiendorfer, University Augsburg, Germany * Romina Spalazzese, Malmoe University, Sweden * Christof Teuscher, Portland State University, Oregon, USA * Mirko Viroli, University of Bologna, Italy ============================================================== Contacts ============================================================== For any question, please contact the workshop organizers at ecas2019 at easychair.org. From irdta at irdta.eu Mon Mar 11 10:59:23 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 11 Mar 2019 10:59:23 +0100 Subject: AlCoB 2019: call for posters Message-ID: AlCoB 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on Algorithms for Computational Biology (AlCoB 2019) invites researchers to submit poster presentations. AlCoB 2019 will be held in Berkeley on May 28-30, 2019. See  http://alcob2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 21, 2019 Notification of poster acceptance or rejection: April 28, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2019. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428). REGISTRATION At least one author of each accepted poster must register to the conference by May 14, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gis at cs.uns.edu.ar Mon Mar 11 10:59:23 2019 From: gis at cs.uns.edu.ar (Gerardo I. Simari) Date: Mon, 11 Mar 2019 10:59:23 +0100 Subject: CFP: Special Session on Argumentation-based Query Answering @ FQAS 2019 -- Amantea (Italy) 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 adase at skoltech.ru Mon Mar 11 10:59:23 2019 From: adase at skoltech.ru (adase) Date: Mon, 11 Mar 2019 10:59:23 +0100 Subject: Machine Learning Summer School # MLSS 2019, Moscow, Russia In-Reply-To: <1552046723429.55540@skoltech.ru> References: <1552046723429.55540@skoltech.ru> Message-ID: Dear Colleagues, we are happy to announce the upcoming -------------------------------------------------------------------------- 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](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](http://mlss2019.skoltech.ru) Important Dates -------------------------------------------------------------------------- * Mon, 4 March 2019: Application system opens. * Fri, 6 May 2019 23:59 Pacific Time: Deadline for applications. * Fri, 12 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 -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From roby.casadei at unibo.it Thu Mar 14 07:26:59 2019 From: roby.casadei at unibo.it (Roberto Casadei) Date: Thu, 14 Mar 2019 07:26:59 +0100 Subject: [CFP] 4th eCAS Workshop on Engineering Collective Adaptive Systems (EXTENDED DEADLINE: Mar 22) Message-ID: ************************************************************** CALL FOR WORKSHOP PAPERS: eCAS'19 The 4th eCAS Workshop on Engineering Collective Adaptive Systems (eCAS 2019) Workshop website: http://ecas2019.apice.unibo.it Location: Umeå, Sweden. In conjunction with FAS* (https://www.fasstar.org) - 13th IEEE International Conference on Self-Adaptiveand Self-Organizing Systems (SASO 2019, http://saso2019.cs.umu.se/), and - 16th IEEE International Conference on Autonomic Computing (ICAC 2019, http://icac2019.cs.umu.se/) ************************************************************** [Apologies for possible multiple copies of this message] Please share and spread to interested members of your group/institution and colleague researchers. ============================================================== Important dates ============================================================== * Abstract Submission (optional): March 15, 2019 (EXTENDED) * Submission Deadline: March 22, 2019 (EXTENDED) * Notification of Acceptance: April 15, 2019 * Camera-Ready Version: April 20, 2019 * Workshop: TBD (June 16-20, 2019) ============================================================== Scope ============================================================== Modern software systems are becoming more and more *collective* and are composed of many distributed and heterogeneous entities. These systems operate under continuous perturbations making manual adjustments infeasible. For a collective system to be resilient, its *adaptation* must also be collective, in the sense that multiple entities must adapt in a way that addresses critical runtime conditions while preserving the benefits of collaborative interdependencies. Decision-making in such systems is distributed and possibly highly dispersed, and interaction between the entities may lead to the emergence of unexpected phenomena. In such systems, a new approach for adaptation is needed to allow: (i) multiple entities to collectively adapt with; (ii) negotiations to decide which collective changes are best. Collective adaptation also raises a second important challenge: Which parts of the system (things, services, people) should be engaged in an adaptation? This is nontrivial, as multiple solutions to the same problem may be generated at different levels. The challenge is to understand these levels and create mechanisms to decide the right scope for an adaptation for a given problem. This workshop solicits papers that address new methodologies, theories and principles that can be used to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that they can be better designed, built, and analyzed, as well as case studies and applications showing such approaches in action. Interdisciplinary work is particularly welcomed. Suggested Topics (but not limited to): * Novel theories relating to operating principles of CAS * Novel design principles for building CAS systems * Insights into the short and long-term adaptation of CAS systems * Insights into emergent properties of CAS * Insights into general properties of large scale, distributed CAS * Decision-making approaches in CAS * Methodologies for studying, analyzing, and building CAS * Frameworks for analyzing or developing CAS case studies * Languages, platforms, APIs and other tools for CAS * Scenarios, case studies, and experience reports of CAS in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, traffic management, emergency response, etc.) ============================================================== Submission Instructions and Review Criteria ============================================================== The length of a workshop paper may not exceed *6 pages* including references and follow the IEEE Computer Society Press proceedings style guide. All papers should be submitted in PDF format. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=ecas2019 By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work. Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality. Workshop proceedings will be published on IEEE Xplore in parallel with the main conference proceedings. ============================================================== Committees ============================================================== Steering Committee * Jacob Beal, Raytheon BBN Technologies, USA * Giacomo Cabri, University of Modena And Reggio Emilia, Italy * Nicola Capodieci, University of Modena and Reggio Emilia, Italy * Emma Hart, Edinburgh Napier University, U.K * Mirko Viroli, University of Bologna, Italy Workshop Chairs * Roberto Casadei, Alma Mater Studiorum--Università di Bologna, IT * Soura Dasgupta, University of Iowa, USA Program Committee * Franco Bagnoli, University of Firenze, Italy * Jake Beal, Raytheon BBN Technologies, USA * Johann Bourcier, Université de Rennes 1 / IRISA, France * Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy * Mauro Caporuscio, Linnaeus University, Sweden * Ferruccio Damiani, Dipartimento di Informatica, Università di Torino, Italy * Simon Dobson, University of St Andrews, UK * Martina De Sanctis, Gran Sasso Science Institute, L'Aquila, Italy * Giovanna Di Marzo Serugendo, University of Geneva, Switzerland * Schahram Dustdar, Vienna University of Technology, Austria * Lukas Esterle, Aston University, UK * Francesco Gallo, University of L'Aquila, Italy * Kurt Geihs, Universitaet Kassel, Germany * Tom Holvoet, Katholieke Universiteit Leuven, Belgium * Paola Inverardi, University of L'Aquila, Italy * Ludovico Iovino, Gran Sasso Science Institute, L'Aquila, Italy * Verena Klös, TU Berlin, Germany * Peter Lewis, Aston University, UK * Michele Loreti, University of Camerino, Italy * Mieke Massink, CNR-ISTI, Italy * Mirco Musolesi, University College London, UK * Danilo Pianini, University of Bologna, Italy * Simon Powers, Edinburgh Napier University, UK * Alexander Schiendorfer, University Augsburg, Germany * Romina Spalazzese, Malmoe University, Sweden * Christof Teuscher, Portland State University, Oregon, USA * Mirko Viroli, University of Bologna, Italy ============================================================== Contacts ============================================================== For any question, please contact the workshop organizers at ecas2019 at easychair.org. From frantisek+ppdp2019 at farka.eu Thu Mar 14 07:26:59 2019 From: frantisek+ppdp2019 at farka.eu (=?utf-8?Q?Franti=C5=A1ek?= Farka) Date: Thu, 14 Mar 2019 07:26:59 +0100 Subject: Principles and Practice of Declarative Programming 2019 -- 2nd CFP Message-ID: Dear Colleagues, apologies for multiple postings, and please distribute to other mailing lists that concern Declarative Programming Languages. We are looking forward to receiving your papers at PPDP'19, and to seeing you in Porto! ====================================================================== SECOND 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 Naoki Kobayashi The University of Tokyo, Japan 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; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair (Ekaterina Komendanstkaya ) will be happy to advise on the appropriateness of a topic. 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 University of Verona, Italy Dmitry Boulytchev Saint–Petersburg University, 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 University of Oxford, UK 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 . Publicity Chair --------------- František Farka University of St Andrews & Heriot-Watt University, UK -- František Farka From nevrenato at gmail.com Thu Mar 14 07:26:59 2019 From: nevrenato at gmail.com (Renato Neves) Date: Thu, 14 Mar 2019 07:26:59 +0100 Subject: Formal Methods 2019 - Doctoral Symposium Message-ID: Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt GOALS AND SCOPE A Doctoral Symposium will be held on the 7th October in conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods which will take place in Porto, Portugal, from 7 to 11 October 2019. This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. There will be a best presentation award. Scholarships for attendance will also be available. RESEARCH ABSTRACTS Research Abstracts should be no more than 4 pages in LNCS format. Your Research Abstract should: - Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution. - Contain a very brief literature survey indicating the most important references related to: (a) the problem being addressed and/or (b) existing solutions as appropriate. - Indicate your progress to date and the current stage of research. The Research Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor. IMPORTANT DATES Submission deadline: June 10, 2019 (AoE)* Notification: July 5, 2019 Doctoral Symposium: October 7, 2019 HOW TO SUBMIT Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to: https://easychair.org/conferences/?conf=dsfm19 DOCTORAL SYMPOSIUM WEBSITE http://formalmethods2019.inesctec.pt/?page_id=361 ORGANISATION CHAIRS: Alexandra Silva, University College London Antonia Lopes, University of Lisbon PROGRAM COMMITTEE Alessandro Fantechi, University of Florence Ana Cavalcanti, University of York André Platzer, CMU Carlo A. Furia, USI - Università della Svizzera Italiana Dalal Alrajeh, Imperial College Einar Broch Johnsen, University of Oslo Elvira Albert, Universidad Complutense de Madrid Jaco van de Pol, University of Twente Matteo Rossi, Politecnico di Milano Stefania Gnesi, ISTI-CNR Stephan Merz, INRIA Nancy From botocudo at gmail.com Thu Mar 14 07:26:59 2019 From: botocudo at gmail.com (Joao Marcos) Date: Thu, 14 Mar 2019 07:26:59 +0100 Subject: LSFA 2019 - Final Call for Papers Message-ID: [with our apologies in case you receive multiple copies of this CFP] FINAL CALL FOR PAPERS LSFA 2019 14th Workshop on Logical and Semantic Frameworks, with Applications 24-26 August 2019, Natal, Brazil https://sites.google.com/view/lsfa2019 ### * Conference proceedings to be published in ENTCS. * Submission deadline: April 19 ### Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. LSFA 2019 will be a satellite event of CADE-27, which will be held in Natal, Brazil, 25-30 August, 2019 (https://www.mat.ufrn.br/cade-27/). Previous editions of LSFA took place in Fortaleza (2018), Brasília (2017, collocated with Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006). See http://lsfa.cic.unb.br for more information. TOPICS OF INTEREST Topics of interest include, but are not limited to: * Specification languages and meta-languages * Formal semantics of languages and logical systems * Logical frameworks * Semantic frameworks * Type theory * Proof theory * Automated deduction * Implementation of logical or semantic frameworks * Applications of logical or semantic frameworks * Computational and logical properties of semantic frameworks * Logical aspects of computational complexity * Lambda and combinatory calculi * Process calculi SUBMISSION AND PUBLICATION Contributions should be written in English and submitted in the form of full papers with a maximum of 13 pages including references. Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds (preliminary results and work in progress), original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages including references. For both paper categories, additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using the generic ENTCS package (http://www.entcs.org/prelim.html). The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2019 At least one of the authors should register for the workshop. All accepted papers will be available online during the workshop; full papers will be published at ENTCS, and short papers will be collected in an informal volume. For the publication of the proceedings there will be a cost to authors of USD 50 at registration time. Previous LSFA special issues have been published in journals such as Log J IGPL and TCS (see http://lsfa.cic.unb.br). IMPORTANT DATES: * Submission deadline: April 19 * Notification to authors: May 24 * Proceedings version due: June 21 * LSFA 2019: August 24-26 INVITED SPEAKERS * Pascal Fontaine, LORIA * Achim Jung, University of Birmingham * Vivek Nigam, Fortiss * Elaine Pimentel, UFRN * Giselle Reis, CMU-Qatar PROGRAM COMMITTEE CO-CHAIRS * Amy Felty, University of Ottawa (chair) * João Marcos, UFRN (chair) PROGRAM COMMITTEE * Beniamino Accattoli, INRIA Saclay * Sandra Alves, University of Porto * Mario Benevides, UFRJ * Ana Bove, Chalmers * Marco Cerami, UFBA * Valeria de Paiva, Nuance Communications * Maribel Fernandez, King's College London * Francicleber Ferreira, UFC * Erich Grädel, RWTH Aachen * Edward Hermann Haeusler, PUC-Rio * Oleg Kiselyov, Tohoku University * Björn Lellmann, TU Wien * Bruno Lopes, UFF * Favio Miranda-Perea, UNAM * Alberto Momigliano, University of Milano * Daniele Nantes, UnB * Pedro Quaresma, University of Coimbra * Florian Rabe, LRI Paris * Alexandre Rademaker, IBM-Brazil * Umberto Rivieccio, UFRN * Camilo Rocha, PUJ * Matthieu Sozeau, IRIF * Nora Szasz, Universidad ORT * Ivan Varzinczak, Université d’Artois * Daniel Ventura, UFG * Anna Zamansky, University of Haifa ORGANIZING COMMITTEE * Carlos Olarte, UFRN CONTACT * lsfa2019 at easychair.org From stefano.borgo at cnr.it Thu Mar 14 07:26:59 2019 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Thu, 14 Mar 2019 07:26:59 +0100 Subject: CfP Workshop onBPM 2019 (co-located BPM 2019, Wien Austria) In-Reply-To: <925ffaee-d2ea-9154-7ce5-133064889724@cnr.it> References: <925ffaee-d2ea-9154-7ce5-133064889724@cnr.it> 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, dependencies, 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 w.j.fokkink at vu.nl Thu Mar 14 07:26:59 2019 From: w.j.fokkink at vu.nl (Fokkink, W.J.) Date: Thu, 14 Mar 2019 07:26:59 +0100 Subject: CONCUR 2019 final call for papers Message-ID: ============================= CONCUR 2019 - Call for Papers ============================= https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory Amsterdam, The Netherlands, 27-30 August 2019 The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. INVITED SPEAKERS Marta Kwiatkowska - University of Oxford (UK) Kim G. Larsen - Aalborg University (Denmark) Joel Ouaknine - Max Planck Institute for Software Systems (Germany) Jaco van de Pol - Aarhus University (Denmark) CO-LOCATED CONFERENCES 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019) 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019) CO-LOCATED WORKSHOPS 3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019) Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019) 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019) 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019) IMPORTANT DATES All dates are AoE. Abstract submission: April 15, 2019 Paper submission: April 22, 2019 Notification: June 14, 2019 Camera ready copy: July 3, 2019 Conference: August 27-30, 2019 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols; Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2019 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2019 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair via https://www.easychair.org/conferences/?conf=concur2019 Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. SPECIAL ISSUE A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science. ORGANIZATION COMMITTEE General Chair: Jos Baeten (CWI, Amsterdam, The Netherlands) Program Co-chairs: Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Rob van Glabbeek (Data61, CSIRO, Sydney, Australia) Workshop Chair: Bas Luttik (Eindhoven University of Technology, The Netherlands) PROGRAM COMMITTEE Christel Baier, TU Dresden (Germany) Jiri Barnat, Masaryk University, Brno (Czech Republic) Benedikt Bollig, CNRS, Paris (France) Borzoo Bonakdarpour, Iowa State University (USA) Ilaria Castellani, INRIA Sophia Antipolis (France) Taolue Chen, Birkbeck, University of London (UK) Rance Cleaveland, University of Maryland (USA) Yuxin Deng, East China Normal University, Shanghai (China) Josée Desharnais, Université Laval (Canada) Adrian Francalanza, University of Malta (Malta) Wan Fokkink (co-chair), Vrije Universiteit Amsterdam (The Netherlands) Ansgar Fehnker, University of Twente (The Netherlands) David de Frutos-Escrig, Universidad Complutense de Madrid (Spain) Yuxi Fu, Shanghai Jiao Tong University (China) Rob van Glabbeek (co-chair), CSIRO, Sydney (Australia) Alexey Gotsman, IMDEA Software Institute, Madrid (Spain) Radu Grosu, TU Wien (Austria) Ichiro Hasuo, National Institute of Informatics, Tokyo (Japan) Marieke Huisman, University of Twente (The Netherlands) Barbara König, University of Duisburg-Essen (Germany) Gerald Lüttgen, University of Bamberg (Germany) Bas Luttik, Eindhoven University of Technology (The Netherlands) Anca Muscholl, Université Bordeaux (France) Uwe Nestmann, TU Berlin (Germany) Jun Pang, University of Luxembourg (Luxembourg) Jean-François Raskin, Université Libre de Bruxelles (Belgium) Grigore Rosu, University of Illinois at Urbana-Champaign (USA) Jiri Srba, Aalborg University (Denmark) Simone Tini, University of Insubria (Italy) Frank Valencia, École Polytechnique de Paris (France) James Worrell, University of Oxford (UK) Gianluigi Zavattaro, University of Bologna (Italy) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From donatella.firmani at uniroma3.it Thu Mar 14 07:26:59 2019 From: donatella.firmani at uniroma3.it (Donatella Firmani) Date: Thu, 14 Mar 2019 07:26:59 +0100 Subject: 1st International Workshop on Processing Information Ethically Message-ID: [Apologies if you receive multiple copies of this CFP] **Submission deadline extended to March 22nd** PIE 2019 1st International Workshop on Processing Information Ethically In conjunction with the International Conference on Advanced Information Systems Engineering (CAiSE) 2019 June 4, 2019 Rome, IT pie.dia.uniroma3.it About the Workshop Digital transformation comes with ethical concerns about how flexible information systems can be used and misused, posing new challenges for researchers and practitioners across the whole spectrum of Information Systems Engineering. Similarly, ethics-related aspects are becoming prominent in the data management community, where traditional processes for searching, querying, or analyzing data hardly pay any specific attention to the social problems their outcomes could bring about. These demands are broadly reflected into codes of ethics and in legally binding regulations. The 1st International Workshop on “Processing Information Ethically” (PIE) will acknowledge the need for the design of responsible Information System with a Data Management perspective. PIE 2019 will encourage papers on the conceptual and technological approaches for dealing with ethical issues of data management and of all the activities of the whole information lifecycle, including source selection, knowledge extraction, data integration and analysis. PIE will be co-located with the International Conference on Advanced Information Systems Engineering (www.caise19.it), to be hosted in Rome, Italy. Topics and Themes The workshop encourages multidisciplinary submissions on, but not limited to: * provenance and privacy * fair source selection * nondiscriminatory knowledge extraction * algorithmic transparency * ranking transparency * query explanation * eXplainable AI * bias in machine learning * results interpretability * ethical result personalization * privacy in data analysis * ethical information diffusion * diversity-aware influence propagation * automated fact-checking * comparative ethics benchmarks * socially-aware metadata Submissions will go through a single-blind review process, and evaluated on the basis of originality, relevance, quality, and technical contribution. Regular papers presenting original work are solicited. Moreover, we also welcome * short papers containing description of results already published, or visionary discussion of new directions of research; * data papers presenting motivations and methodology behind the creation of freely accessible datasets for the community. Submission Guidelines Authors can submit regular papers (up to 12 pages in length), short papers (up to 6 pages in length), and data papers (up to 6 pages in length), written in English. Papers must be submitted at https://easychair.org/conferences/?conf=caise19, in PDF according to the LNCS format (www.springer.com/comp/lncs/authors.html). Publication All accepted works will be included in the CEUR WS proceedings. After acceptance, authors are required to re-submit the final PDF. No different format is allowed. All accepted papers are expected to be presented at the workshop, and at least one author is required to register to the workshop days of the main conference. Important Dates Paper submissions : 22 March 2019 Notification of acceptance : 5 April 2019 Camera-ready copies : 19 April 2019 Program Committee Co-Chairs and Organizers: * Riccardo Torlone, Roma Tre University, torlone at dia.uniroma3.it (general chair) * Letizia Tanca, Politecnico di Milano, letizia.tanca at polimi.it (PC co-chair) * Donatella Firmani, Roma Tre University, donatella.firmani at uniroma3.it (PC co-chair) * Elena Nieddu, Roma Tre University, elena.nieddu at uniroma3.it (publicity chair) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Mar 18 09:14:08 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 18 Mar 2019 09:14:08 +0100 Subject: SLSP 2019: 1st call for papers Message-ID: SLSP 2019: 1st 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)   Philipp Cimiano (Bielefeld University, DE) Robert Gaizauskas (University of Sheffield, UK) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Tomi Kinnunen (University of Eastern Finland, FI) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Mats Rooth (Cornell University, US) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Hua Xu (University of Texas, Houston, 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 M.M.Dastani at uu.nl Mon Mar 18 09:14:08 2019 From: M.M.Dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Mon, 18 Mar 2019 09:14:08 +0100 Subject: ESSLLI 2020: Call for Course and Workshop Proposals In-Reply-To: <0ECCEA5E-5B4E-43B3-AD70-24D38B97254D@uu.nl> References: <0ECCEA5E-5B4E-43B3-AD70-24D38B97254D@uu.nl> Message-ID: Call for Course and Workshop Proposals 32nd European Summer School in Logic, Language and Information - ESSLLI 2020 3-14 August, 2020, Utrecht, The Netherlands https://www.esslli.eu IMPORTANT DATES 1 June 2019: Proposal submission deadline 14 September 2019: Notification SUBMISSION PORTAL Please submit your proposals here: https://easychair.org/conferences/?conf=esslli20 Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world. The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures. TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI 2020 are invited in all areas of Logic, Linguistics and Computer Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI program committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking complete coverage of travel and accommodation expenses from other sources. The organizers want to point at the possibility of an EACSL sponsorship, mentioned at the end of this call. CATEGORIES Each proposal should fall under one of the following categories. * FOUNDATIONAL COURSES * Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. * INTRODUCTORY COURSES * Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. * ADVANCED COURSES * Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. * WORKSHOPS * Workshops focus on specialized topics, usually of current interest. Workshop organizers are responsible for soliciting papers and selecting the workshop program. They are also responsible for publishing proceedings if they decide to have proceedings. PROPOSAL GUIDELINES Course and workshop proposals should closely follow these guidelines to ensure full consideration. Course and Workshop proposals can be submitted by no more than two lecturers/organizers and they are presented by no more than these two lecturers/organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals must be submitted in PDF format via: https://easychair.org/conferences/?conf=esslli2020 and include all of the following: a. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) b. General proposal information: Title, category c. Contents information: Abstract of up to 150 words Motivation and description (up to two pages) Tentative outline Expected level and prerequisites Appropriate references (e.g. textbooks, monographs, proceedings, surveys) d. Practical information: Relevant preceding meetings and events, if applicable Potential external funding for participants EACSL SPONSORSHIP The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal. PROGRAM COMMITTEE Chair: Raffaella Bernardi (University of Trento) Local Co-chair: Michael Moortgat (University of Utrecht) Area Chairs: Language and Computation (LaCo): Bonnie Webber (School of Informatics, University of Edinburgh) Stella Frank (Center for Language Evolution, University of Edinburgh) Laura Rimell (DeepMind) Language and Logic (LaLo): Anna Szabolcsi (New York University) Salvador Mascarenhas (Ecole Normale Supérieure) Igor Yanovich (Tübingen University) Logic and Computation (LoCo): Rajeev Goré, The Australian National University Juha Kontinen, University of Helsinki Magdalena Ortiz, TU Wien Please send any queries to esslli20pc at gmail.com -- Mehdi Dastani Intelligent Systems Utrecht University Princetonplein 5 3584 CC Utrecht The Netherlands Tel: +31 - 30 - 253 3599 URL: https://www.uu.nl/medewerkers/MMDastani -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijwa at dline.info Mon Mar 18 09:14:08 2019 From: ijwa at dline.info (ijwa at dline.info) Date: Mon, 18 Mar 2019 09:14:08 +0100 Subject: ICDIM 2019 In-Reply-To: References: Message-ID: Fourteenth International Conference on Digital Information Management (ICDIM 2019) August 22-24, 2019 Irish Computer Society, Dublin, Ireland (www.icdim.org) Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) , Thunder Bay (2010), Melbourne (2011), Macau (2012), Islamabad (2013), Bangkok (2014) Jeju (2015) Porto (2016), Fukuoka (2017), and Berlin (2018) the Fourteenth event is being organized at Dublin, Ireland in 2019. The International Conference on Digital Information Management is a multidisciplinary conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology Digital Information technologies are gaining maturity and rapid momentum in adoption across disciplines. The digital community is producing new ways of using digital information technologies for integrating and making sense out of various data ranging from real/live streams and simulations to analytics data analysis, in support of mining of knowledge. The conference will feature original research and industrial papers on the theory, design, and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations. The Fourteenth International Conference on Digital Information Management will be held during August 22-24, 2019 at Irish Computer Society, Dublin, Ireland The topics in ICDIM 2019 include but are not confined to the following areas. Information Technology Management Web Mining including Web Intelligence and Web 3.0 E-Learning, eCommerce, e-Business and e-Government Edge and Fog Computing Data Analytics Software Engineering Deep Learning Natural Lanaguage Processing Smart Learning and Smart Cities Signal Processing Network Services Data Mining and Text Mining Knowledge Graphs, Recommender System, Ontology Computational Linguistics Distributed information systems Information visualization Multimedia and Interactive Multimedia Image Analysis and Image Processing Cloud Computing Computational Intelligence Privacy, Security and Trusted Computing Machine Learning Human-Computer Interaction Internet of Things Modified version of the selected papers will appear in the special issues of the following peer reviewed journals. 1. Journal on Data Semantics 2. Technologies 3. Data Technologies and Applications 4. Webology 5. Journal of Digital Information Management 6. International Journal of Computational Linguistics 7. Journal of Optimization General Chair Ezendu Ariwa, UK IEEE Chair Program Chairs Pit Pichappan, Digital Information Research Labs, India Simon Fong, University of Macau, Macau Program Co-Chair Adrian Florea, University of Shibu, Romania Important Dates Full Paper Submission June 05, 2019 Notification of Acceptance/Rejection July 05, 2019 Registration Due August 05, 2019 Camera Ready Due August 05, 2019 Workshops/Tutorials/Demos August 23, 2019 Main conference August 22-24, 2019 SUBMISSIONS AT http://www.icdim.org/submission.html Contact: conference at icdim.org ----------------- From ijv at acm.org Mon Mar 18 09:14:08 2019 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 18 Mar 2019 09:14:08 +0100 Subject: DARe at LPNMR-19: New Deadline 2 April 2019 Message-ID: * Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2019 Date: June 3 or 4 2019 (TBC) Philadelphia, USA *** New deadline: 2 April 2019 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-19/ collocated with LPNMR 2019 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms (conditionals), whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare19 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2019 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 2 April 2019 - Notification to authors: 26 April 2019 - Camera ready version: 6 May 2019 - Workshop date: 3 or 4 June 2019 (to be confirmed) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Reka Markovich, Université du Luxembourg - Thomas Meyer, University of Cape Town, South Africa - Xavier Parent, Université du Luxembourg - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Rafael Testa, University of Campinas, Brazil - Leon van der Torre, Université du Luxembourg - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-19/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak - https://www.ijv.ovh CRIL, Université d'Artois & CNRS, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From roby.casadei at unibo.it Mon Mar 18 09:14:08 2019 From: roby.casadei at unibo.it (Roberto Casadei) Date: Mon, 18 Mar 2019 09:14:08 +0100 Subject: [CFP] 4th eCAS Workshop - Short/position papers also welcome (EXTENDED DEADLINE: Mar 22) Message-ID: CFP UPDATE: short/position papers (max 4 pages) reporting on work-in-progress research are also welcome. ************************************************************** CALL FOR WORKSHOP PAPERS: eCAS'19 The 4th eCAS Workshop on Engineering Collective Adaptive Systems (eCAS 2019) Workshop website: http://ecas2019.apice.unibo.it Location: Umeå, Sweden. In conjunction with FAS* (https://www.fasstar.org) - 13th IEEE International Conference on Self-Adaptiveand Self-Organizing Systems (SASO 2019, http://saso2019.cs.umu.se/), and - 16th IEEE International Conference on Autonomic Computing (ICAC 2019, http://icac2019.cs.umu.se/) ************************************************************** [Apologies for possible multiple copies of this message] Please share and spread to interested members of your group/institution and colleague researchers. ============================================================== Important dates ============================================================== * Abstract Submission (optional): March 15, 2019 (EXTENDED) * Submission Deadline: March 22, 2019 (EXTENDED,FIRM) * Notification of Acceptance: April 15, 2019 * Camera-Ready Version: April 20, 2019 * Workshop: TBD (June 16-20, 2019) ============================================================== Scope ============================================================== Modern software systems are becoming more and more *collective* and are composed of many distributed and heterogeneous entities. These systems operate under continuous perturbations making manual adjustments infeasible. For a collective system to be resilient, its *adaptation* must also be collective, in the sense that multiple entities must adapt in a way that addresses critical runtime conditions while preserving the benefits of collaborative interdependencies. Decision-making in such systems is distributed and possibly highly dispersed, and interaction between the entities may lead to the emergence of unexpected phenomena. In such systems, a new approach for adaptation is needed to allow: (i) multiple entities to collectively adapt with; (ii) negotiations to decide which collective changes are best. Collective adaptation also raises a second important challenge: Which parts of the system (things, services, people) should be engaged in an adaptation? This is nontrivial, as multiple solutions to the same problem may be generated at different levels. The challenge is to understand these levels and create mechanisms to decide the right scope for an adaptation for a given problem. This workshop solicits papers that address new methodologies, theories and principles that can be used to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that they can be better designed, built, and analyzed, as well as case studies and applications showing such approaches in action. Interdisciplinary work is particularly welcomed. Suggested Topics (but not limited to): * Novel theories relating to operating principles of CAS * Novel design principles for building CAS systems * Insights into the short and long-term adaptation of CAS systems * Insights into emergent properties of CAS * Insights into general properties of large scale, distributed CAS * Decision-making approaches in CAS * Methodologies for studying, analyzing, and building CAS * Frameworks for analyzing or developing CAS case studies * Languages, platforms, APIs and other tools for CAS * Scenarios, case studies, and experience reports of CAS in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, traffic management, emergency response, etc.) ============================================================== Submission Instructions and Review Criteria ============================================================== We solicit two types of contributions: * full papers (max 6 pages, including references), for original research and experience reports; * short/position papers (max 4 pages, including references), for work-in-progress research, as a basis for discussion. Papers must follow the IEEE Computer Society Press proceedings style guide. All papers should be submitted in PDF format. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=ecas2019 By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work. Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality. Workshop proceedings will be published on IEEE Xplore in parallel with the main conference proceedings. ============================================================== Committees ============================================================== Steering Committee * Jacob Beal, Raytheon BBN Technologies, USA * Giacomo Cabri, University of Modena And Reggio Emilia, Italy * Nicola Capodieci, University of Modena and Reggio Emilia, Italy * Emma Hart, Edinburgh Napier University, U.K * Mirko Viroli, University of Bologna, Italy Workshop Chairs * Roberto Casadei, Alma Mater Studiorum--Università di Bologna, IT * Soura Dasgupta, University of Iowa, USA Program Committee * Franco Bagnoli, University of Firenze, Italy * Jake Beal, Raytheon BBN Technologies, USA * Johann Bourcier, Université de Rennes 1 / IRISA, France * Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy * Mauro Caporuscio, Linnaeus University, Sweden * Ferruccio Damiani, Dipartimento di Informatica, Università di Torino, Italy * Simon Dobson, University of St Andrews, UK * Martina De Sanctis, Gran Sasso Science Institute, L'Aquila, Italy * Giovanna Di Marzo Serugendo, University of Geneva, Switzerland * Schahram Dustdar, Vienna University of Technology, Austria * Lukas Esterle, Aston University, UK * Francesco Gallo, University of L'Aquila, Italy * Kurt Geihs, Universitaet Kassel, Germany * Tom Holvoet, Katholieke Universiteit Leuven, Belgium * Paola Inverardi, University of L'Aquila, Italy * Ludovico Iovino, Gran Sasso Science Institute, L'Aquila, Italy * Verena Klös, TU Berlin, Germany * Peter Lewis, Aston University, UK * Michele Loreti, University of Camerino, Italy * Mieke Massink, CNR-ISTI, Italy * Mirco Musolesi, University College London, UK * Danilo Pianini, University of Bologna, Italy * Simon Powers, Edinburgh Napier University, UK * Alexander Schiendorfer, University Augsburg, Germany * Romina Spalazzese, Malmoe University, Sweden * Christof Teuscher, Portland State University, Oregon, USA * Mirko Viroli, University of Bologna, Italy ============================================================== Contacts ============================================================== For any question, please contact the workshop organizers at ecas2019 at easychair.org. From nevrenato at gmail.com Mon Mar 18 09:14:08 2019 From: nevrenato at gmail.com (Renato Neves) Date: Mon, 18 Mar 2019 09:14:08 +0100 Subject: Formal Methods 2019 - Final Call For Papers Message-ID: ============================================================== Third and Final Call for Papers FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ ============================================================== Check us out on FME's YouTube channel: https://www.youtube.com/channel/UC5rZj0AyBudca0YRgEAX-Ow/ ============================================================== FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM 1999 in Toulouse, and 10 years after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a PC with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. FORMAL METHODS: THE NEXT 30 YEARS It is now more than 30 years since the first VDM symposium in 1987 brought together researchers with the common goal of creating methods to produce high quality software based on rigour and reason. Since then the diversity and complexity of computer technology has changed enormously and the formal methods community has stepped up to the challenges those changes brought by adapting, generalising and improving the models and analysis techniques that were the focus of that first symposium. The theme for FM 2019 is a reflection on how far the community has come and the lessons we can learn for understanding and developing the best software for future technologies. Important Dates =============== Abstract submission: 28 March, 2019 Full paper submission: 11 April, 2019, 23:59 AoE Notification: 11 June, 2019 Camera ready: 9 July, 2019 Conference: 7-11 October, 2019 Invited Speakers ================ - June Andronick (CSIRO/Data61 and UNSW, Sydney, Australia) - Shriram Krishnamurthi (Brown University, Providence, RI, USA) - Erik Poll (Radboud University, Nijmegen, The Netherlands) Topics of Interest ================== FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2019 include, but are not limited to: - Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. - Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. - Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. - Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. - Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. Submission Guidelines ===================== Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2019 Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by the reviewers. We solicit two categories of papers: - Regular Papers should not exceed 15 pages, not counting references and appendices. - Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award ================ At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. Publication =========== Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science in the subline on Formal Methods. Authors of selected papers will be invited to submit an extended version of their paper to one of the special issues in "Formal Aspects of Computing" and "Formal Methods in System Design". General Chair ============= José Nuno Oliveira, INESC TEC & University of Minho, PT Program Committee Chairs ======================== Maurice ter Beek, ISTI-CNR, Pisa, IT Annabelle McIver, Macquarie University, Sydney, AU Program Committee ================== Bernhard Aichernig, TU Graz, AT Elvira Albert, Complutense University of Madrid, ES María Alpuente, Polytechnic University of Valencia, ES Dalal Alrajeh, Imperial College, UK Mário S. Alvim, Federal University of Minas Gerais, BR June Andronick, CSIRO/Data61, AU Christel Baier, TU Dresden, DE Luís Barbosa, University of Minho and UN University, PT Gilles Barthe, IMDEA Software Institute, ES Marcello Bersani, Polytechnic University of Milan, IT Gustavo Betarte, Tilsor SA and University of the Republic, UY Nikolaj Bjørner, Microsoft Research, US Frank de Boer, CWI, NL Sergiy Bogomolov, Australian National University, AU Julien Brunel, ONERA, FR Néstor Cataño, Universidad del Norte, CO Ana Cavalcanti, University of York, UK Antonio Cerone, Nazarbayev University, KZ Marsha Chechik, University of Toronto, CA David Chemouil, ONERA, FR Alessandro Cimatti, FBK-IRST, IT Alcino Cunha, University of Minho, PT Michael Dierkes, Rockwell Collins, FR Alessandro Fantechi, University of Florence, IT Carla Ferreira, New University of Lisbon, PT João Ferreira, Teesside University, UK José Fiadeiro, Royal Holloway University of London, UK Marcelo Frias, Buenos Aires Institute of Technology, AR Fatemeh Ghassemi, University of Tehran, IR Silvia Ghilezan, University of Novi Sad, RS Stefania Gnesi, ISTI-CNR, IT Reiner Hähnle, TU Darmstadt, DE Osman Hasan, National University of Sciences and Technology, PK Klaus Havelund, NASA Jet Propulsion Laboratory, US Anne Haxthausen, TU Denmark, DK Ian Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jane Hillston, University of Edinburgh, UK Thai Son Hoang, University of Southampton, UK Zhenjiang Hu, National Institute of Informatics, JP Dang Van Hung, Vietnam National University, VN Atsushi Igarashi, Kyoto University, JP Suman Jana, Columbia University, US Ali Jaoua, Qatar University, QA Einar Broch Johnson, University of Oslo, NO Joost-Pieter Katoen, RWTH Aachen University, DE Laura Kovács, TU Vienna, AT Axel Legay, KU Leuven, BE Alberto Lluch Lafuente, TU Denmark, DK Malte Lochau, TU Darmstadt, DE Michele Loreti, University of Camerino, IT Gabriele Lenzini, University of Luxembourg, LU Yang Liu, Nanyang Technical University, SG Anastasia Mavridou, NASA Ames, US Hernán Melgratti, University of Buenos Aires, AR Sun Meng, Peking University, CN Dominique Méry, LORIA and University of Lorraine, FR Rosemary Monahan, Maynooth University, IE Olfa Mosbahi, University of Carthage, TN Mohammad Mousavi, University of Leicester, UK César Muñoz, NASA Langley, US Tim Nelson, Brown University, US Gethin Norman, University of Glasgow, UK Colin O'Halloran, D-RisQ Software Systems, UK Federico Olmedo, University of Chile, CL Gordon Pace, University of Malta, MT Jan Peleska, University of Bremen, DE Marielle Petit-Doche, Systerel, FR Alexandre Petrenko, Computer Research Institute of Montréal, CA Anna Philippou, University of Cyprus, CY Jorge Sousa Pinto, University of Minho, PT André Platzer, Carnegie Mellon University, US Jaco van de Pol, Aarhus University, DK Tahiry Rabehaja, Macquarie University, AU Steve Reeves, University of Waikato, NZ Matteo Rossi, Polytechnic University of Milan, IT Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Daniel Schwartz-Narbonne, Amazon Web Services, US Natasha Sharygina, University of Lugano, CH Nikolay Shilov, Innopolis University, RU Ana Sokolova, University of Salzburg, AT Marielle Stoelinga, University of Twente, NL Jun Sun, Singapore University of Technology and Design, SG Helen Treharne, University of Surrey, UK Elena Troubitsyna, Åbo Akademi University, FI Tarmo Uustalu, Reykjavik University, IS Andrea Vandin, TU Denmark, DK R. Venkatesh, TCS Research, IN Erik de Vink, TU Eindhoven and CWI, NL Willem Visser, Stellenbosch University, ZA Farn Wang, National Taiwan University, TW Bruce Watson, Stellenbosch University, ZA Tim Willemse, TU Eindhoven, NL Kirsten Winter, University of Queensland, AU Jim Woodcock, University of York, UK Lijun Zhang, Chinese Academy of Sciences, CN Publicity Chair =============== Luís Soares Barbosa, INESC TEC & University of Minho, PT Organizing Committee ==================== José Creissac Campos, INESC TEC & University of Minho, PT João Pascoal Faria, INESC TEC and University of Porto, PT Sara Fernandes, University of Minho & INESC TEC, PT Luís Neves, Critical Software, PT Local Arrangements ================== Catarina Fernandes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT Web Team ========= Francisco Neves, INESC TEC & University of Minho, PT Rogério Pontes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT From ilhemkhlif at gmail.com Mon Mar 18 09:14:08 2019 From: ilhemkhlif at gmail.com (Ilhem Khlif) Date: Mon, 18 Mar 2019 09:14:08 +0100 Subject: Call for Papers ICSOC 2019 - The 17th International Conference on Service-Oriented Computing Message-ID: *Call for Research/Industry Papers* =============== ICSOC 2019 The 17th International Conference on Service-Oriented Computing 28-31 October, 2019 Toulouse, France *http://www.icsoc.org * *Important Dates* =============== - Abstract submission: *May 10, 2019* - Full paper submission: *May 17, 2019* - Notification to authors: *July 10, 2019* - Camera-ready papers due:* July 26, 2019* - Author registration due: *July 31, 2019* - Early registration due: *September 13, 2019* *Scope* =============== ICSOC, the International Conference on Service-Oriented Computing, is the premier international forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business-process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, cyber-physical systems, networking, scientific workflows, services science, data science, management science, and software engineering. ICSOC provides a high-quality forum for presenting results and discussing ideas that further our knowledge and understanding of the various aspects (e.g. application and system aspects) related to Service Computing applied to new application areas and gain insights into a variety of computing, networked, and cyber-physical systems ranging from mobile devices and Internet-of-Things (IoT) applications to large-scale cloud computing systems and the smart grid. ICSOC 2019 , the 17th event in this series, will take place in Toulouse, France from October 28 to October 31, 2019. Following on the ICSOC tradition, it will feature visionary keynote presentations, research and industry presentations, workshops, tool demonstrations, tutorials, and a Ph.D. track. *Topics of Interest* =============== ICSOC 2019 seeks outstanding, original contributions, including theoretical and empirical evaluations, as well as practical and industrial experiences, with emphasis on results that solve open research problems and have significant impact on the field of service-oriented computing. Specific topics of interest include but are not limited to: 1. *Service Engineering* o Legacy systems migration and modernization o Service design, specification, discovery, customization, composition, and deployment o Service change management o Service innovation o Theoretical foundations of Service Engineering 2. * Run-time Service Operations and Management* o Service execution middleware o Service monitoring and adaptive management o Quality of service o Workload compliance management o Service governance o Architectures for multi-host container deployments o Microservices deployment and management 3. *Services and Data* o Services for Big Data o Service for compute-intensive applications o Mining and analytics o Data-provisioning services o Services related linked open data o Automated Knowledge Graph creation 4. *Services on the Cloud* o Migration to virtual infrastructures o XaaS (everything as a service including IaaS, PaaS, and SaaS) o Service deployment and orchestration in the Cloud o Cloud service management o Cloud workflow management o Cloud brokers and coordination across multiple resource managers o Edge computing vs Cloud computing o Workload transformation 5. *Services in the Internet of Things* o Embedded and real-time services o RFID, sensor data, and services related to the Internet of Things o Services for IoT platforms and applications o Service oriented protocols for IoT applications o REST APIs and services for IoT platforms and applications 6. *Services in Organizations, Business, and Society* o Services science o Social networks and services o Cost and pricing of services o Service marketplaces and ecosystems o Service business models o Enterprise architecture and services o Service Chatbots 7. *Services at the Edge* o Cloud and fog computing o Analytics and knowledge generation services o Edge service orchestration o Lightweight service deployment and management o Services and edge gateway architectures o Quality of Service (QoS) in edge services o Security, privacy, and trust of edge services 8. *Services for Softwarized Network Functions and Software Defined Networks* o Service Network Function Management and Orchestration o Services for novel and emerging networking protocols o Named data networking o Network and transport mechanisms o Virtualized Network Functions and Services o Virtualized Service Function Chaining Paper Submission =============== The conference solicits outstanding original research and practice papers on all aspects of service-oriented computing. Papers should clearly demonstrate the research or practical contribution, the relevance to the field, and the relationship to prior work. Submitted papers will be evaluated according to their rigor, significance, originality, technical quality, and exposition. All papers will be reviewed by at least three members of the Program Committee. Papers should be formatted according to *Springer’s LNCS Formatting Guidelines *. Submissions must be in English and not exceed 15 pages including all references and figures. All papers must be submitted electronically in PDF to the *Conference Submission System *. For each accepted paper, at least one author must attend the conference and present the paper. The deadline for identifying and registering this individual author will be at the time when the camera-ready version is submitted. General Co-Chairs =============== - Albert Zomaya, University of Sydney, Australia. - - Djamel Ben Slimane, University of Lyon, France. Program Co-Chairs ============== - Khalil Drira, LAAS-CNRS, France. - Zahir Tari, RMIT University, Australia. - Jamal Bentahar, Concordia University, Montreal, Canada. Best Regards Ilhem KHLIF. Doctor in Computer Science University of Sfax, ReDCAD laboratory, Tunisia http://www.redcad.org/members/ilhem.khlif/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Natasha.Alechina at nottingham.ac.uk Thu Mar 21 07:47:54 2019 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Thu, 21 Mar 2019 07:47:54 +0100 Subject: E. W. Beth Dissertation Prize, 2019: last call, deadline for nominations 15 April 2019 Message-ID: E. W. Beth Dissertation Prize, 2019: call for nominations Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information (http://www.folli.info/?page_id=74), with financial support of the E.W. Beth Foundation (https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-willem-beth-foundation). Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree conferred in 2018. The deadline for nominations is the 15th of April 2019. Qualifications: • A dissertation is eligible for the Beth dissertation prize 2019, if the Ph.D. degree has been conferred in Logic, Language, or Information between January 1st and December 31st, 2018. • There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. • In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on current topics in philosophical and mathematical logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. • If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2020. The English translation must in such cases be submitted before the deadline of the call for nominations in 2020. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. Prize The prize consists of: • a certificate • a donation of 3000 euros, provided by the E.W. Beth Foundation • an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Nomination Dossier Only digital submissions are accepted, without exception. The following documents are to be submitted in the nomination dossier: • The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). • A ten-page English abstract of the dissertation, presenting the main results of each chapter. • A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially conferred and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. • Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. • Self-nominations are not possible. All pdf documents must be submitted electronically, as one zip file, to EasyChair (https://easychair.org/conferences/?conf=beth2019). Hard copy submissions are not allowed, without exception. In case of any problems with the submission one should contact the secretary of the committee Natasha Alechina (Natasha.Alechina at nottingham.ac.uk). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 31st ESSLLI summer school in Riga, University of Latvia, August 5-16, 2019. Beth dissertation prize committee: • Sujata Ghosh (ISI Chennai, India) • Nina Gierasimczuk (DTU, Lyngby, Denmark) • Thomas Icard (Stanford U., US) • Benedikt Löwe (UvA, The Netherlands; U. of Hamburg, Germany; U. of Cambridge, UK) • Angelo Montanari (U. of Udine, Italy) • Jerry Seligman (U. of Auckland, New Zealand) • Wilfried Sieg (CMU, US) • Hans Smessaert (KU Leuven, Belgium) • Mark Steedman (U. of Edinburgh, UK) • Alice ter Meulen (London, UK), chair • Natasha Alechina (U. of Nottingham, UK), non-voting secretary. This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From georgev at unipi.gr Thu Mar 21 07:47:54 2019 From: georgev at unipi.gr (George Vouros) Date: Thu, 21 Mar 2019 07:47:54 +0100 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 francesco.amigoni at polimi.it Thu Mar 21 07:47:54 2019 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Thu, 21 Mar 2019 07:47:54 +0100 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 --------------------------------------------------------- From severuswinston at gmail.com Thu Mar 21 07:47:54 2019 From: severuswinston at gmail.com (Severus Winston) Date: Thu, 21 Mar 2019 07:47:54 +0100 Subject: Formal Methods 2019 - Final Call For Papers Message-ID: =================================================================== Call for Papers =================================================================== i-Day 2019 - Industry Day 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 =================================================================== FM’19 is the third world congress on Formal Methods. The FM series of events has been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The Industry Day (i-Day) is a forum organized in conjunction with FM and targeting industrial development and use of formal methods. The objective of i-Day is to bring industry to the congress, and to foster the important discussion about where state of the art in formal methods is today, seen from an industry point of view (http://formalmethods2019.inesctec.pt/?page_id=353). The i-Day will host two keynotes, Michael Leuschel (University of Dusseldorf) and Constance Heitmeyer (Naval Research Laboratory), and several presentations selected through a call for papers. The i-Day welcomes short papers and extended abstracts describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports and experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome engineering and certification/qualification problems, led to improvements in design or provided new insights, with safety and/or security consideration in mind. Topics of particular interest include (but are not restricted to): - formal modelling and verification techniques - safety and security - autonomous vehicles - explainable AI We can accept two types of submission: - Industrial experience reports or research papers with strong connexion with industry – not more than 10 pages in length (including appendices and references), - Extended abstracts - between 2 and 4 pages. The selection will be based on the innovative aspects of the subject and its connexion with current topics. At least one author of each accepted paper must register to the conference. To submit your paper go to the conference submission site (https://easychair.org/conferences/?conf=id20191). Submissions must be formatted in the Springer LNCS format. The conference proceedings will be published by Springer in the LNCS series, as part of the FM conference proceedings. Important dates - 03 May 2019 abstract submission - 10 May 2019 full paper submission deadline - 14 June 2019 notification - 14 July 2019 camera-ready papers submitted - 11 October 2019 Industry Day in Porto I-Day Chairs Joe Kiniry, Galois, Inc Thierry Lecomte, ClearSy From tsd2019 at tsdconference.org Thu Mar 21 07:47:54 2019 From: tsd2019 at tsdconference.org (TSD 2019) Date: Thu, 21 Mar 2019 07:47:54 +0100 Subject: TSD 2019 - Last Call for Papers Message-ID: ************************************************************************** TSD 2019 - LAST CALL FOR PAPERS ************************************************************************** The twenty-second International Conference on TEXT, SPEECH and DIALOGUE (TSD 2019) Ljubljana, Slovenia September 10-13, 2019 http://www.tsdconference.org IMPORTANT The submission deadline March 31 is approaching. We will not extend the deadline. However, in case you need some extra days, please let us know and do the following: Register yourself and submit your paper with a valid abstract. Put "UNFINISHED" as the first word in the abstract (both in the system and in the paper). We need at least the abstract to organize the reviews. When you finish your work, please, update the paper. TSD HIGHLIGHTS * Keynote speakers: Denis Jouvet (Loria, Nancy, France), Aline Villavicencio (University of Essex, UK), Bhiksha Raj (Carnegie Mellon University, USA), Ryan Cotterell (University of Cambridge, UK). * TSD is traditionally published by Springer-Verlag and regularly listed in all major citation databases: Thomson Reuters Conference Proceedings Citation Index, DBLP, SCOPUS, EI, INSPEC, COMPENDEX, etc. * The TSD2019 conference is officially recognized as an INTERSPEECH 2019 satellite event. * The TSD2019 conference is supported by the International Speech Communication Association (ISCA). It holds the status of an ISCA Supported Event. * TSD offers a high-standard transparent review process - double blind, final reviewers' discussion. * TSD is going to take place in the beautiful centre of Ljubljana, the capital of Slovenia. * The conference is organized in cooperation with the Faculty of Electrical Engineering, University of Ljubljana, Slovenia. * TSD provides an all-service package (conference access and material, all meals, one social event, etc.) for an easily affordable fee. IMPORTANT DATES March 31, 2019 ............... Deadline for submission of contributions May 10, 2019 ................. Notification of acceptance or rejection May 31, 2019 ................. Deadline for submission of camera-ready papers September 10-13, 2019 ........ TSD2019 conference date The proceedings will be provided on flash drives in form of navigable content. Printed books will be available for extra fee. TSD SERIES The TSD series has evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of the TSD conference form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX. TOPICS Topics of the 22nd conference will include (but are not limited to): Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modeling). Corpora and Language Resources (monolingual, multilingual, text, and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries). Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing). Tagging, Classification and Parsing of Text and Speech (multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution). Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection). Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies). Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues). Multimodal Techniques and Modeling (video processing, facial animation, visual speech synthesis, user modeling, emotion and personality modeling). PROGRAMME COMMITTEE All programme committee members are listed on the conference web pages https://www.kiv.zcu.cz/tsd2019/index.php?page=committees OFFICIAL LANGUAGE The official language of the event is English, however, papers on issues related to text and speech processing in languages other than English are strongly encouraged. LOCATION Ljubljana, the Slovenian capital - a city, whose name means `The beloved', is a great place to visit, although you will not find world renowned attractions here. Nevertheless, it has history, tradition, style, arts & culture, an atmosphere that is both Central European and Mediterranean; many also add the adjectives multilingual and hospitable. Being close to many of the major sights and attractions of Slovenia, Ljubljana can also be your starting point to discover the country's diversity. Ljubljana is situated about halfway between Vienna and Venice. Its character and appearance have been shaped by diverse cultural influences and historical events. While in winter it is remarkable for its dreamy Central European character, it is the relaxed Mediterranean feel that stands out during summer. Ljubljana is a picturesque city full of romantic views, with a medieval castle towering over its historical city centre and a calm river spanned by a series of beautiful bridges running right through it. It's a city with a medieval heart, a city of the Baroque and Art Nouveau, with an old castle resting above it like a sleeping beauty. In Ljubljana eastern and western cultures met; and the Italian concept of art combined with the sculptural aesthetics of Central European cathedrals. The city owes its present appearance partly to Italian baroque and partly to Art Nouveau, which is the style of the numerous buildings erected immediately after the earthquake of 1895. The central point of interest in Ljubljana is the Ljubljana Castle, watching over the city from the centrally located castle hill. The beginnings of the medieval castle go back to the 9th century, although the castle building is first mentioned only in 1144. It gained its present image after the earthquake of 1511 and following further renovations at the beginning of the 17th century. At present, a funicular connects the Old Town to the castle hill, adding an even more convenient access alternative to the tourist train. Ljubljana lies at the centre of Slovenia. In the morning you can visit the stunningly beautiful Lake Bled, Lake Bohinj or Soca Valley in the high mountainous region of the Alps, and in the evening enjoy the sunset in one of the charming little towns on the Adriatic coast. It only takes minutes to reach the peaceful and unspoiled countryside of the city's green surrounding areas, which offer endless opportunities for hiking, cycling, fishing and horse riding. We are very excited of the fact that the TSD conference leaves the Czech Republic for the first time within its 22-year history and that the TSD2019 is going to take place in such a wonderful location as Ljubljana. ABOUT CONFERENCE The conference is organized by the Faculty of Applied Sciences, University of West Bohemia, Pilsen, the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Electrical Engineering, University of Ljubljana. VENUE Faculty of Electrical Engineering - University of Ljubljana Trzaska cesta 25 SI-1000 Ljubljana CONTACT The preferred way of contacting the conference organizing committee is writing an e-mail to: Ms Lucie Tauchenova, TSD2019 Conference Secretary E-mail: tsd2019 at tsdconference.org Phone: +420 702 994 699 All paper correspondence regarding the conference should be addressed to: TSD2019 - NTIS P2 Fakulta aplikovanych ved Zapadoceska univerzita v Plzni Univerzitni 8 CZ-306 14 Plzen Czech Republic Fax: +420 377 632 402 - Please, mark the faxed material with large capitals 'TSD' on top. TSD2019 conference website: http://www.tsdconference.org/ From fioretto.ferdinando at isye.gatech.edu Thu Mar 21 07:47:54 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Thu, 21 Mar 2019 07:47:54 +0100 Subject: ICLP 2019 - Research Challenges in Logic Programming Track Message-ID: The 35th International Conference on Logic Programming (ICLP 2019) Research Challenges in Logic Programming Track September 21-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ ------------------------------------------------------------------------- Objectives Are you a researcher in logic programming working on a problem that appears to be particularly challenging? Perhaps you feel a little stuck? Or, are you facing a problem that needs some LP technology you are not familiar with? Would you like to open a discussion for collaboration? The goal of the Research Challenges Track is to help researchers overcome their challenges by providing a venue to invite input from the broader community. Contributors to this less formal track will be given an opportunity to exchange ideas with other researchers who may have come up against, or are currently working on, similar problems. We hope the track will foster discussion and possibly even new collaborations. Expected contributions The Research Challenges Track at ICLP 2019 invites submissions describing LP research challenges in a wide range of areas, including but not limited to: * Industry-level application of logic programming * applications of logic programming to other sciences and AI (bioinformatics, natural language processing, digital forensics, etc.) * logic programming and big data * machine learning and logic programming * logic programming and other computational paradigms * theoretical foundations of logic programming Evaluation and Feedback In this track, the selection process will be less formal. While authors will receive some feedback, the review process will not be typical. We do not expect contributions only from seasoned researchers. Ph.D. students and junior researchers are more than welcome to contribute. Also, contributors outside the LP community will be given special attention. Any contribution that clearly describes a research problem relevant to logic programming will be evaluated positively. The chance to interact with other researchers during the conference will provide additional feedback and hopefully lead to a longer-term discussion/collaboration. Important Dates (Tentative) * Abstract registration and paper submission: July 15, 2019 * Notification: July 31, 2019 * Camera-ready copy: September 1, 2017 * Conference: September 21-25, 2019 Submission Details All submissions must be written in English. Submissions should be no more than 4 pages in OASIcs format, including references, and should describe a research problem or challenge. Accepted papers will be presented during the conference. Authors of accepted papers are expected to register to ICLP and present their work. Any additional questions can be directed towards the Research Challenges Track Chairs: Alessandro Dal Palu', Universita' di Parma alessandro.dalpalu at unipr.it Amelia Harrison, Google amelia.j.harrison at gmail.com Joohyung Lee, Arizona State University joolee at asu.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Mar 25 09:56:10 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 25 Mar 2019 09:56:10 +0100 Subject: DeepLearn 2019: early registration March 30 Message-ID: DeepLearn 2019: early registration March 30*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   --- Early registration deadline: March 30, 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:   Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment   PROFESSORS AND COURSES:   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   Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning and Its Applications for Computer Vision   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   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), tba   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text   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 Jorge.Fandinno at irit.fr Mon Mar 25 09:56:10 2019 From: Jorge.Fandinno at irit.fr (Jorge Fandino) Date: Mon, 25 Mar 2019 09:56:10 +0100 Subject: ASPOCP 2019 - call for papers Message-ID: [Apologies for multiple postings] =============================================================================== CALL FOR PAPERS ASPOCP 2019 12th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/site/aspocp2019 June 3 or 4, 2019 (LPNMR Workshop) Affiliated with 15th International Conference on Logic Programming and Nonmonotonic Reasoning, Saint Joseph’s University, Philadelphia, PA (USA) June 4-7, 2019 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and knowledge compilation. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 13 pages (excluding references). Submissions must be written in English, present original research, and be formatted according to Springer’s guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission will be handled electronically by means of the Easychair system. The submission page is available here IMPORTANT DATES (tentative) Abstract submission deadline: March 26, 2019 Paper submission deadline: April 1, 2019 Notification: May 1, 2019 Camera-ready articles due: May 12, 2019 Workshop: June 3 or 4, 2019 PROCEEDINGS Accepted papers will be made available online as inofficial proceedings with Arxiv.org. A selection of extended and revised versions of accepted papers will appear in a special issue. We are currently negotiating with potential journals. Such papers will go through a second formal selection process to meet the high quality standard of the journal. LOCATION Saint Joseph’s University, Philadelphia, PA (USA) WORKSHOP CO-CHAIRS Jorge Fandinno, IRIT, Toulouse, France Johannes K. Fichte, TU Wien, Austria PROGRAM COMMITTEE Alessandro Mosca Amelia Harrison The University of Texas at Austin Anne Siegel IRISA, CNRS Antti Hyvärinen USI Bart Bogaerts Vrije Universiteit Brussel Bernhard Bliem University of Helsinki Carmine Dodaro University of Genova Chitta Baral Arizona State University Cristina Feier University of Bremen Daniela Inclezan Miami University Enrico Giunchiglia University Genova Fangkai Yang Maana Inc. Francesco Ricca University of Calabria Guillermo R. Simari Universidad del Sur in Bahia Blanca Javier Romero University of Potsdam Jia-Huai You University of Alberta Joao Leite Universidade NOVA de Lisboa Johannes K. Fichte TU Dresden Johannes P. Wallner Vienna University of Technology Joohyung Lee Arizona State University Jörg Pührer Leipzig University Jorge Fandiño IRIT, University of Toulouse, CNRs Marc Denecker Katholieke Universiteit Leuven Marcello Balduccini Saint Joseph's University Marco Maratea University of Genova Mario Alviano University of Calabria Markus Hecher Vienna University of Technology Martin Gebser University of Potsdam Max Ostrowski Michael Morak Michael Gelfond Texas Tech University Mirek Truszczynski University of Kentucky Mutsunori Banbara IKobe University, Nicola Leone University of Calabria Orkunt Sabuncu TED University, Ankara Pedro Cabalar University of Corunna Richard Watson Texas Tech University, Department of Computer Science Stefan Ellmauthaler Leipzig University Stefan Woltran Vienna University of Technology Stefania Costantini University of Aquila Tomi Janhunen Aalto University Tran Cao Son New Mexico State University Vladimir Lifschitz The University of Texas at Austin Wolfgang Faber Alpen-Adria-Universität Klagenfurt Yusuf Izmirlioglu Sabanci University From Jorge.Fandinno at irit.fr Thu Mar 28 10:52:03 2019 From: Jorge.Fandinno at irit.fr (Jorge Fandino) Date: Thu, 28 Mar 2019 10:52:03 +0100 Subject: ASPOCP 2019 - call for papers =?utf-8?q?=28deadline?= =?utf-8?q?_extended=29?= Message-ID: [Apologies for multiple postings] Deadline extended. New dates: IMPORTANT DATES Abstract submission deadline: April 10, 2019 (extended) Paper submission deadline: April 15, 2019 (extended) Notification: May 5, 2019 (extended) Camera-ready articles due: May 19, 2019 (extended) Workshop: June 3 or 4, 2019 =============================================================================== CALL FOR PAPERS ASPOCP 2019 12th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/site/aspocp2019 June 3 or 4, 2019 (LPNMR Workshop) Affiliated with 15th International Conference on Logic Programming and Nonmonotonic Reasoning, Saint Joseph’s University, Philadelphia, PA (USA) June 4-7, 2019 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and knowledge compilation. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 13 pages (excluding references). Submissions must be written in English, present original research, and be formatted according to Springer’s guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission will be handled electronically by means of the Easychair system. The submission page is available here IMPORTANT DATES Abstract submission deadline: April 10, 2019 (extended) Paper submission deadline: April 15, 2019 (extended) Notification: May 5, 2019 (extended) Camera-ready articles due: May 19, 2019 (extended) Workshop: June 3 or 4, 2019 PROCEEDINGS Accepted papers will be made available online as unofficial proceedings with Arxiv.org. A selection of extended and revised versions of accepted papers will appear in a special issue. We are currently negotiating with potential journals. Such papers will go through a second formal selection process to meet the high quality standard of the journal. LOCATION Saint Joseph’s University, Philadelphia, PA (USA) WORKSHOP CO-CHAIRS Jorge Fandinno, IRIT, Toulouse, France Johannes K. Fichte, TU Wien, Austria PROGRAM COMMITTEE Alessandro Mosca Amelia Harrison The University of Texas at Austin Anne Siegel IRISA, CNRS Antti Hyvärinen USI Bart Bogaerts Vrije Universiteit Brussel Bernhard Bliem University of Helsinki Carmine Dodaro University of Genova Chitta Baral Arizona State University Cristina Feier University of Bremen Daniela Inclezan Miami University Enrico Giunchiglia University Genova Fangkai Yang Maana Inc. Francesco Ricca University of Calabria Guillermo R. Simari Universidad del Sur in Bahia Blanca Javier Romero University of Potsdam Jia-Huai You University of Alberta Joao Leite Universidade NOVA de Lisboa Johannes K. Fichte TU Dresden Johannes P. Wallner Vienna University of Technology Joohyung Lee Arizona State University Jörg Pührer Leipzig University Jorge Fandiño IRIT, University of Toulouse, CNRs Marc Denecker Katholieke Universiteit Leuven Marcello Balduccini Saint Joseph's University Marco Maratea University of Genova Mario Alviano University of Calabria Markus Hecher Vienna University of Technology Martin Gebser University of Potsdam Max Ostrowski Michael Morak Michael Gelfond Texas Tech University Mirek Truszczynski University of Kentucky Mutsunori Banbara IKobe University, Nicola Leone University of Calabria Orkunt Sabuncu TED University, Ankara Pedro Cabalar University of Corunna Richard Watson Texas Tech University, Department of Computer Science Stefan Ellmauthaler Leipzig University Stefan Woltran Vienna University of Technology Stefania Costantini University of Aquila Tomi Janhunen Aalto University Tran Cao Son New Mexico State University Vladimir Lifschitz The University of Texas at Austin Wolfgang Faber Alpen-Adria-Universität Klagenfurt Yusuf Izmirlioglu Sabanci University From sophie.pinchinat at irisa.fr Thu Mar 28 10:52:03 2019 From: sophie.pinchinat at irisa.fr (Sophie Pinchinat) Date: Thu, 28 Mar 2019 10:52:03 +0100 Subject: 7th International Workshop on Strategic Reasoning 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 * Submission deadline: 12 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 ---------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Olivier.Boissier at emse.fr Thu Mar 28 10:52:03 2019 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Thu, 28 Mar 2019 10:52:03 +0100 Subject: Call for participation to the Summer School on AI Technologies for Trust, Interoperability and Autonomy in Industry 4.0 Message-ID: The Summer School on AI Technologies for Trust, Interoperability and Autonomy in Industry 4.0 8th to 12th of July 2019 Saint-Étienne, France https://wiss.univ-st-etienne.fr/ We would like to invite PhD students and early stage researchers to apply to the summer school that we organise in July this year on the topic of AI Technologies for Trust, Interoperability and Autonomy in Industry 4.0, in a collaboration between Université Jean Monnet Saint-Étienne, École des Mines de Saint-Étienne, Universität Bonn, and Fraunhofer IAIS Bonn. This summer school will have a unique format where participants will be intensively working on concrete industry use cases based on key challenges identified by industrial partners during a workshop in April (https://www.iais.fraunhofer.de/en/business-areas/enterprise-information-integration/workshop-series-artificial-intelligence-industry-4-0.html) where academia and industry will join forces to prepare them. If you are a company interested in supporting this summer school, see sponsorship plans at the end of this email. Topics ===== The summer school will address various aspects of AI in Industry 4.0 (or Industry of the future) with a particular focus on: • knowledge graphs • the web of things • decentralised AI • responsible AI Each of these topics will be covered in lectures and practical sessions, then applied to the industry use cases to devise potential solutions. Expected candidates and benefits ======================== We welcome applications from PhD students and early stage researchers that have already some knowledge in at least one of the topics above, but want to broaden their perspective and have a chance to apply their skills on real problems. The benefits for the participants are: • learn or improve knowledge in several areas of Artificial Intelligence • get in touch with high profile researchers and professors • build a network with other talented young researchers • hack together plausible solutions to stimulating real-life problems • have the opportunity to further develop your approach in collaboration with industry partners The most promising contributions from the participants will be presented at a follow-up workshop in September (http://ci.emse.fr/ai4industry/) where again, academics and industry partners will meet to build a roadmap for future research and development. Contributors will be solicited, potentially giving them real career opportunities. How to apply ========= We will limit the number of participants to 30 people. Therefore, in case we receive too many applications, we will select attendees based on their résumés and cover letter. Please use the form at https://wiss.univ-st-etienne.fr/en/registration.html to submit your files. Dates ==== * Opening of application for participation: 12 March 2019 * End of application: 15 May 2019 * Notification of acceptance: 20 May 2019 * Deadline for registration: 1 June 2019 * Summer school: 8-12 July 2019 Sponsorship ========= If you are a company who would like to get privileged access to the results of the summer school and get a chance to make your products known, you may want to take a look at our sponsoring options at https://wiss.univ-st-etienne.fr/en/sponsorship.html. Contact and organising institutions ========================== Main contact person: Antoine Zimmermann (antoine.zimmermann at emse.fr) École des Mines de Saint-Étienne Université Jean Monnet Saint-Étienne Universität Bonn Fraunhofer IAIS From scvgdu at unife.it Thu Mar 28 10:52:03 2019 From: scvgdu at unife.it (Guido Sciavicco) Date: Thu, 28 Mar 2019 10:52:03 +0100 Subject: TIME 2019: second call for papers Message-ID: *Apologies for multiple copies* 2nd CALL FOR PAPERS ------------------ TIME 2019 26th International Symposium on Temporal Representation and Reasoning Málaga (Spain), 16th-19th October 2019 https://sites.google.com/unife.it/time-2019 *NEWS* - Invited Speakers announced - Tutorials announced Aims and scope ----------------------------------------------- Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 encompasses three tracks, but has a single program committee. The conference will span four days, and will be organized as a combination of technical paper presentations, keynote talks, and tutorials. Tracks: -Time in Artificial Intelligence -Temporal DataBases -Temporal Logic and Reasoning Following a long-standing tradition, submission topics include (but are no limited to): -Temporal aspects of agent- and policy-based systems -Spatial and temporal reasoning -Time in natural language processing -Spatio-temporal knowledge representation systems -Reasoning about actions and change -Planning and planning languages -Ontologies of time and space-time -Belief and uncertainty in temporal knowledge -Temporal learning and discovery -Temporal data models and query languages -Temporal query processing and indexing -Temporal data mining -Time series data management -Stream data management -Spatio-temporal data management, including moving objects -Data currency and expiration -Indeterminate and imprecise temporal data -Temporal constraints -Specification and verification of systems -Verification of web applications -Synthesis and execution -Model checking algorithms and implementations -Verification of infinite-state systems -Reasoning about transition systems -Temporal architectures Submission and publication --------------------------------- TIME 2019 accepts submission in PDF format, not longer than 15 pages excluding references and appendix. The appendix is limited to 5 pages, and the reviewers may or may not taking it into account for their recommendation. Sumissions must be formatted following the LIPIcs instructions, and preferibly redacted in LaTex. Submissions are manged by EasyChair. TIME policy is single blind, so the names of the authors should not be hidden in the submitted draft. Members of the program commettee, excluding the co-chairs, are allowed to submit. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference. Submissions to TIME 2019 must be original, and parallel submissions of the same material to other conferences or journals is not allowed. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of a high quality journal to be yet decided. Important Dates -------------------- Papers due: June 7th, 2019 Notification: July 21st, 2019 Final version deadline: August 15th, 2019 Early bird registration deadeline: September 16th, 2019 Symposium: October 16th-19th, 2019 Program Committee Chairs ---------------------------- Guido Sciavicco, University of Ferrara Johann Gamper, Free University of Bozen-Bolzano Sophie Pichinat, University of Rennes 1 Invited Speakers -------------------- Michael Böhlen, Universty of Zurich Estela Saquete Borò, University of Alicante Patricia Bouyer, CNRS Tutorials -------------------- Fabrizio Riguzzi: Temporal Aspects of Inductive Logic Programming Veronique Bruyere: Synthesis Venue -------------------- TIME 2019 will take place in Màlaga, Andalucia, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From M.M.Dastani at uu.nl Thu Mar 28 10:52:03 2019 From: M.M.Dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Thu, 28 Mar 2019 10:52:03 +0100 Subject: CFP: PRIMA 2019 In-Reply-To: <11B56AA7-E6FC-4410-A9D5-967BE2BEAB3E@uu.nl> References: <11B56AA7-E6FC-4410-A9D5-967BE2BEAB3E@uu.nl> Message-ID: *************************************************************************** PRELIMINARY CALL FOR PAPERS The 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019) October 28th - October 31st, 2019 Università degli Studi di Torino, Torino, Italy http://prima2019.di.unito.it *************************************************************************** Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are becoming more decentralized, with components that represent autonomous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e-business and smarts grids. A multiagent worldview is crucial to properly conceptualizing, building, and governing such systems. It offers abstractions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still growing research field of Computer Science, multiagent systems today remain a unique enabler of interdisciplinary research. =============== Important Dates =============== Submission deadline: June 30th, 2019 (11:59PM UTC-12) Notification: August 25th, 2019 Camera ready submission: September 5th, 2019 Conference date: October 28th - 31st, 2019 ======================= Information for Authors ======================= PRIMA 2019 invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. An indicative list of topics is provided below. The papers can be submitted to one of the following categories: - Regular papers: These papers can be up to 16 pages in length, including references, in the Springer LNCS format. Note that some regular papers may be accepted as short papers. - Short papers: These papers can be up to 8 pages in length, including references, in the Springer LNCS format. These 'early-innovation' papers will be reviewed with an emphasis on novelty/originality of the idea. All the submitted papers must be in a form suitable for double-blind review. In order to make blind reviewing possible, authors must omit their names and affiliations from the paper. Also, while the references should include all published literature relevant to the paper, including previous works of the authors, it should not include unpublished works. When referring to one's own work, use the third person rather than the first person. For example, say "Previously, Foo and Bar [2] have shown that…", rather than "In our previous work [2] we have shown that...". Such identifying information can be added back to the final camera-ready version of accepted papers. The proceedings of the previous editions of the PRIMA conference series have been published in Springer's Lecture Notes in Artificial Intelligence series (LNCS/LNAI). We expected the same for the PRIMA 2019 proceedings. ======================= Special Issue ======================= A selected number of papers will also be invited to submit an extended version to a fast track of some international journal. ======================= Paper Submission ======================= Papers are to be submitted through the Easychair Conference Management System. ======================= Chairs ======================= Program chairs Mehdi Dastani Beishui Liao Rym Zalila-Wenkstern General chairs Matteo Baldoni Yuko Sakurai ======================= Topics of Interest ======================= Topics of interest include (but are not limited to) the following: Logic and Reasoning Logics of agency Logics of multiagent systems Norms Argumentation Computational Game Theory Uncertainty in Agent Systems Agent and Multi-Agent Learning Engineering Multi-Agent Systems Agent-Oriented Software Engineering Interaction protocols Commitments Institutions and Organizations Normative Systems Formal Specification and Verification Agent Programming Languages Middleware and Platforms Testing, debugging, and evolution Deployed System Case Studies Agent-Based Modeling and Simulation Simulation Languages and Platforms Artificial Societies Virtual Environments Emergent Behavior Modeling System Dynamics Application Case Studies Collaboration & Coordination Planning Distributed Problem Solving Teamwork Coalition Formation Negotiation Trust and Reputation Economic paradigms Auctions and mechanism design Bargaining and negotiation Behavioral game theory Cooperative games: theory & analysis Cooperative games: computation Noncooperative games: theory & analysis Noncooperative games: computation Social choice theory Game theory for practical applications Human-Agent Interaction Adaptive Personal Assistants Embodied Conversational Agents Virtual Characters Multimodal User Interfaces Mobile Agents Human-Robot Interaction Decentralized Paradigms Grid Computing Service-Oriented Computing Cybersecurity Robotics and Multirobot Systems Ubiquitous Computing Social Computing Internet of Things Application Domains for Multi-Agent Systems Healthcare Autonomous Systems Transport and Logistics Emergency and Disaster Management Energy and Utilities Management Sustainability and Resource Management Games and Entertainment e-Business, e-Government, and e-Learning Smart Cities Financial markets Legal applications -- Mehdi Dastani Intelligent Systems Utrecht University Princetonplein 5 3584 CC Utrecht The Netherlands Tel: +31 - 30 - 253 3599 URL: https://www.uu.nl/medewerkers/MMDastani -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: