From grlmc at grlmc.com Fri Feb 2 05:39:30 2018 From: grlmc at grlmc.com (GRLMC) Date: Fri, 02 Feb 2018 05:39:30 +0100 Subject: HighPer 2018: early registration February 12 Message-ID: <545102060a010b060451560a0f0b5a5d56570503575555540b03085007015452000207020a0e000754020707030650@grlmc_ip-zone_com-6> HighPer 2018: early registration February 12*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: February 12, 2018 ---   *****************************************************************************   SCOPE:   HighPer 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 22 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, HighPer 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS:   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science   PROFESSORS AND COURSES:   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] Julia, with an Introduction to Performance and Machine Learning   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering   Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing   Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics   Frank Mueller (North Carolina State University), [introductory/intermediate] How to Parallelize Your Code: Taking Stencils from OpenMP to MPI, CUDA and TensorFlow   J. (Ram) Ramanujam (Louisiana State University), [introductory] Introduction to Program Analysis and Compiler Optimizations for Multicores and Accelerators   Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks   Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming   Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing   El-Ghazali Talbi (University of Lille 1), [introductory] Parallel Metaheuristics for Optimization and Machine Learning   Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture   Richard Vuduc (Georgia Institute of Technology), [introductory] How Much Time, Energy, and Power Does an Algorithm Need?   David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Feb 2 10:59:49 2018 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Fri, 2 Feb 2018 09:59:49 +0000 Subject: LOFT final CFP (deadline March 1) Message-ID: LOFT_13 2018: Call for Papers Thirteenth Conference on Logic and the Foundations of Game and Decision Theory Bocconi University (Milano, Italy), July 16-18, 2018 PROGRAM CHAIRS: Giacomo Bonanno, University of California Davis, USA Pierpaolo Battigalli, Bocconi University, Milano, Italy Wiebe van der Hoek, University of Liverpool, United Kingdom AIMS OF THE CONFERENCE This is the 13th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers that bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous eleven conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, Sevilla (Spain), 2012, Bergen (Norway), 2014 and Maastricht (The Netherlands) 2016. Among the topics of particular relevance are: • Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. • Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. • Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. • Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://easychair.org/conferences/?conf=loft2018 Note that the 10-page limit (excluding references and appendix) is a HARD CONTRAINT: submissions exceeding 10 pages will NOT be considered. The deadline for submission is March 1, 2018, and authors will be notified of acceptance decisions by April 15, 2018. Papers that have appeared in print, or are known to appear in print, before the conference, should not be submitted for presentation at LOFT. IMPORTANT DATES Deadline for submission: 1 March, 2018 Deadline for reviews: 1 April, 2018 Notification to authors: 15 April, 2018 Conference: July 16-18, 2018 PUBLICATION OF CONTRIBUTED PAPERS We anticipate that, as in the past, a selection of papers presented at LOFT13 will be published in one or two special issues of journals. For a list of publications based on previous LOFT conferences see: http://www.econ.ucdavis.edu/faculty/bonanno/loft.html ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Dean, School of EEE&CS University of Liverpool Editor-in-Chief of Synthese http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk From amal.tawakuli at uni.lu Fri Feb 2 15:06:27 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Fri, 2 Feb 2018 14:06:27 +0000 Subject: 2nd Call for Papers: RuleML+RR 2018 Message-ID: <4478ca4568ba4f0490bf1f1f04c6938d@uni.lu> ================================================================== RuleML+RR 2018 SECOND CALL FOR PAPERS RuleML+RR 2018: International Joint Conference on Rules and Reasoning http://2018.ruleml-rr.org Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu) ================================================================== == SUMMARY == High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. == THE CONFERENCE == The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. RuleML+RR 2018 will take place in Luxembourg on September 18th-21th 2018 and will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018). == TOPICS == RuleML+RR welcomes original research from all areas of Rules and Reasoning. Topics of particular interest include: * Rule-based languages for intelligent information access and for the semantic web * Vocabularies, ontologies, and business rules * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Non-classical logic and the Web * Constraint programming * Logic programming * Production & business rules systems * Streaming data and complex event processing * Rules for machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * Rule discovery, extraction and transformation * Rules and ontology learning * Deep Learning for rules and ontologies * Neural Networks and logic rules * Neural Networks and ontologies * Rule-based approaches to agents * Higher-order and modal rules * Rules for knowledge graphs * Pragmatic web reasoning and distributed rule inference / rule execution * Big data reasoning with rules * Rule markup languages and rule interchange formats * Rule-based policies, reputation, and trust * Scalability and expressive power of logic for rules * System descriptions, applications and experiences * Rules and human language technology * Rules in online market research and online marketing * Applications of rule technologies in healthcare and life sciences * Applications of rule technologies in law, regulation and finance * Industrial applications of rules * Rules and social media * Rules of ethics, laws, policies, and regulations Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI == SUBMISSIONS == We accept the following submission formats for papers: * Full papers (up to 15 pages in LNCS style) * Technical Communications (up to 8 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). Submissions: via EasyChair (https://easychair.org/conferences/?conf=rulemlrr2018) The RuleML+RR 2018 best papers will be invited for rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium and the 12th International Rule Challenge. == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style LNCS (http://www.springer.com/comp/lncs/authors.html). == IMPORTANT DATES == Title and Abstract submission: 20 Apr 2018 Full papers submission: 27 Apr 2018 Notification of acceptance: 1 June 2018 Camera-ready submission: 15 June 2018 Conference: 18-21 Sept 2018 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == ORGANISATION == Summit Chairs (LuxLogAI): Leon van der Torre, Martin Theobald (U Luxembourg) General Chair (RuleML+RR): Xavier Parent (U Luxembourg) Program Chairs: Christoph Benzmüller (U Luxembourg & FU Berlin) Francesco Ricca (U Calabria) Proceedings Chair: Dumitru Roman (SINTEF/U Oslo) Industry Track Chair: Silvie Spreeuwenberg (LibRT Amsterdam) Int’l Rule Challenge Chairs: Giovanni De Gasperis (U L’Aquila) Adrian Giurca (BTU Cottbus- Senftenberg) Reasoning Web (RW) Summer School Claudia d’Amato (U Bari) Publicity Chairs: Frank Olken (Frank Olken Consulting) Amal Tawakuli (U Luxembourg) == PROGRAM COMMITTEE == Full list available at: http://2018.ruleml-rr.org =================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - CSC Research Unit UNIVERSITÉ DU LUXEMBOURG Campus Belval 6, avenue de la Fonte L-4364 Esch-sur-Alzette/Belval T +352 46 66 44 9811 amal.tawakuli at uni.lu www.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Sat Feb 3 10:20:32 2018 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 3 Feb 2018 10:20:32 +0100 Subject: Last call: Special issue of IJAR on Defeasible and Ampliative Reasoning Message-ID: <392F11ED-734E-4B09-B24A-0DE2FEE264D9@acm.org> * Please accept our apologies if you receive multiple copies of this call * Last Call for Papers: ====================================================================== Special Issue of the International Journal of Approximate Reasoning on "Defeasible and Ampliative Reasoning" ====================================================================== Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of decision making as done by humans. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages (poor expressiveness) or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity in order to be also considered as good candidates for eXplainable Artificial Intelligence (XAI). This special issue aims at bringing together work on defeasible and ampliative reasoning from the perspective of artificial intelligence, cognitive sciences, philosophy and related disciplines in a multi-disciplinary way, thereby consolidating the mission of the DARe workshop series. -- Topics of interest -- Submissions are welcome on topics relevant to defeasible and ampliative reasoning and that include but are not limited to: - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- How to submit -- The submission url is: http://www.evise.com/evise/jrnl/IJA When submitting your manuscript, please select “VSI:DARe special issue” as the article type. Check the “Help” link on the above url for instructions. If you have any enquiries, please feel free to contact us at dare.to.contact.us at gmail.com -- Important Dates -- - Submission deadline: 15 February 2018 - Notification: 1 November 2018 - Publication date: 1 January 2019 -- Guest editors -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Szymon Klarman, Semantic Integration Ltd., UK - Gilles Richard, Université Paul Sabatier, France - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From ruy at cin.ufpe.br Sat Feb 3 15:37:28 2018 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sat, 3 Feb 2018 11:37:28 -0300 Subject: =?UTF-8?Q?25th_WoLLIC_2018_=28Bogot=C3=A1=2C_Colombia=29_=2D_2nd_Call_for_?= =?UTF-8?Q?Papers?= Message-ID: [Please circulate. Apologies for multiple copies.] WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/i nstructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 11, 2018, and the full paper by Mar 18, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Xavier Caicedo (Univ de Los Andes, Colombia) José Meseguer (Univ of Illinois, Urbana-Champaign, USA) Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil) Renata Wassermann (Univ de São Paulo, Brazil) (more to be confirmed) STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 11, 2018: Paper title and abstract deadline Mar 18, 2018: Full paper deadline Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From slucas at dsic.upv.es Mon Feb 5 12:15:55 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Mon, 5 Feb 2018 12:15:55 +0100 Subject: WST 2018 - 1st Call for Papers (submission: April 15, 2018) Message-ID: ==========================================================================                           WST 2018 - Call for Papers                    16th International Workshop on Termination                     July 18-19, 2017, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018)           http://www.floc2018.org/ IMPORTANT DATES:  * submission deadline:  April 15, 2018  * notification:         May 15, 2018  * final version due:    May 31, 2018  * workshop:             July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to):  * abstraction methods in termination analysis  * certification of termination and complexity proofs  * challenging termination problems  * comparison and classification of termination methods  * complexity analysis in any domain  * implementation of termination methods  * non-termination analysis and loop detection  * normalization and infinitary normalization  * operational termination of logic-based systems  * ordinal notation and subrecursive hierarchies  * SAT, SMT, and constraint solving for (non-)termination analysis  * scalability and modularity of termination methods  * termination analysis in any domain (lambda calculus, declarative    programming, rewriting, transition systems, etc.)  * well-founded relations and well-quasi-orders COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see    http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE:     Cristina Borralleras - U. de Vic     Ugo Dal Lago - U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred Mesnard - U. de La Reunion     Aart Middeldorp - U. of Innsbruck     Albert Rubio - U. Politecnica de Catalunya     Rene Thiemann - U. of Innsbruck     Caterina Urban - ETH Zürich INVITED SPEAKERS:     tba SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page:     https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file     http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. From atva2018 at gmail.com Sun Feb 4 05:55:49 2018 From: atva2018 at gmail.com (Chao Wang) Date: Sat, 3 Feb 2018 20:55:49 -0800 Subject: ATVA 2018: International Symposium on Automated Technology for Verification and Analysis Message-ID: CALL FOR PAPERS =============== 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018) October 7-10, 2018, Los Angeles, California, USA. http://atva-conference.org/ Scope ----- ATVA 2018 is the 16th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between local and international research communities and industry in the field. Previous events were held in Taiwan (2003-2005), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010), Taiwan (2011), Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014), Shanghai (2015), Chiba (2016), and Pune (2017). As in the previous years, the proceedings of ATVA 2018 will be published in Springer Lecture Notes in Computer Science (LNCS) series. ATVA 2018 solicits high quality submissions on, but not limited to, the following topics: * Formalisms for modeling hardware, software and embedded systems * Specification and verification of finite- and infinite-state systems * Program analysis, symbolic execution, and software verification * Analysis and verification of hardware, systems-on-chip and embedded systems * Analysis of real-time, hybrid, priced, weighted and probabilistic systems * Deductive, algorithmic, or compositional analysis and verification * Analytical techniques for safety, security, and dependability * Testing and runtime analysis based on verification technology * Analysis and verification of parallel and concurrent systems * Verification in industrial practice * Synthesis for hardware and software systems * Applications and case studies * Automated tool support Submissions ----------- ATVA invites submissions in two categories: * Regular research papers (16 pages, including references) * Tool papers (6 pages, including references) Submissions must be in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website. Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation. The URL must also contain a set of examples, and a user manual that describes usage of the tool through examples. In case the tool needs to be downloaded and installed, the URL must contain instructions for installation of the tool on Linux/Windows/MacOS. Papers must be submitted to the EasyChair site at https://easychair.org/conferences/?conf=atva2018 Accepted papers in both categories will be published in Springer's LNCS series. At least one author of each accepted paper is expected to register and present the paper at the conference. Important Dates --------------- Paper Submission: May 4, 2018 Notification: June 23, 2018 Camera-Ready version: July 20, 2018 Conference: October 7-10, 2018 Program Chairs ------------------------ Shuvendu Lahiri (Microsoft Research) Chao Wang (University of Southern California) Program Committee ----------------- Aws Albarghouthi (University of Wisconsin-Madison) Cyrille Artho (KTH Royal Institute of Technology) Gogul Balakrishnan (Google) Roderick Bloem (Graz University of Technology) Tevfik Bultan (University of California, Santa Barbara) Pavol Cerny (University of Colorado at Boulder) Sagar Chaki (Mentor Graphics) Deepak D’Souza (Indian Institute of Science) Jyotirmoy Deshmukh (University of Southern California) Constantin Enea (IRIF/University Paris Diderot) Grigory Fedyukovich (Princeton University) Masahiro Fujita (University of Tokyo) Sicun Gao (University of California, San Diego) Arie Gurfinkel (University of Waterloo) Fei He (Tsinghua University) Alan Hu (University of British Columbia) Joxan Jaffar (National University of Singapore) Akash Lal (Microsoft Research) Axel Legay (IRISA/NRIA Rennes) Yang Liu (Nanyang Technological University) Zhiming Liu (Southwest University) K. Narayan Kumar (Chennai Mathematical Institute) Doron Peled (Bar Ilan University) Xiaokang Qiu (Purdue University) Giles Reger (University of Manchester) Sandeep Shukla (IIT Kanpur) Oleg Sokolsky (University of Pennsylvania) Armando Solar-Lezama (MIT) Ofer Strichman (Technion) Neeraj Suri (TU Darmstadt) Aditya Thakur (University of California, Davis) Willem Visser (Stellenbosch University) Bow-Yaw Wang (Academia Sinica) Farn Wang (National Taiwan University) Georg Weissenbacher (Vienna University of Technology) Zijiang Yang (Western Michigan University) Naijun Zhan (Chinese Academy of Sciences) Steering Committee ------------------ E Allen Emerson (University of Texas, Austin) Teruo Higashino (Osaka University) Oscar H Ibarra (University of California, Santa Barbara) Insup Lee (University of Pennsylvania) Doron A Peled (Bar Ilan University) Farn Wang (National Taiwan University) Hsu-Chun Yen (National Taiwan University) More details are available at the conference website http://atva-conference.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Feb 6 14:44:00 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 6 Feb 2018 08:44:00 -0500 (EST) Subject: IfCoLog JLA - Reasoning on Legal Texts Message-ID: <20180206134400.07CDA1701094@cs.miami.edu> IfCoLog Journal of Logics and their Applications Special issue "Reasoning on Legal Texts" ** Paper submission deadline: Jul 31st, 2018 ** Guest editors: Livio Robaldo - University of Luxembourg (Luxembourg) Sotiris Batsakis - University of Huddersfield (UK) Maria Vanina Martinez - Universidad Nacional del Sur (Argentina) Christoph Benzmueller - Freie Universitaet Berlin (Germany) ---------------------------------------------------------------- Regulations are a widespread and important part of governments and businesses. They encode how products are manufactured, and how the processes are to be performed. Such regulations, in general, are difficult to understand and apply. Undoubtedly, the law, for example, as the reflection of human society, presents the broadest range of expression and interpretation, since the interpretation of even the most common words becomes problematic. Even individual regulations may be self-contradictory as a result of their gradual development process, as well as the lack of a formal drafting process. In an increasingly complicated environment, as well as regulatory review, automated reasoning processes become more and more necessary. Current state-of-the-art technologies enforce reasoning applications on legal texts such as decision making and compliance checking starting from logical and/or ontology-based representations of norms. These semantic representations are typically obtained via Natural Language Processing (NLP) in an automatic fashion, in order to avoid huge time-consuming manual effort. To bridge such challenges, several research projects in the legal domain have been recently funded by the EU and similar institutions, among which is "MIREL: MIning and REasoning with Legal texts". The aim of the MIREL project is to bridge the gap between the community working on legal ontologies and NLP methods applied to legal documents, and the community working on reasoning methods and formal logic, towards the objectives described above. This special issue focuses on legal reasoning, thus welcoming submissions describing novel approaches for reasoning in the legal domain starting from logical or ontology-based representations of legal knowledge. A non-exhaustive list of topics includes: - Logical formalization of legal knowledge - Norm enforcement and compliance - Decision making methods and applications - Computational methods for legal reasoning - Legal argumentation - Dynamics of normative knowledge - Formal models of norms, normative systems, and norm-governed societies - Using logic formalisms and technologies in large legal document collections - Legislative and case-law metadata models - Semantic annotations for legal texts - Inconsistency handling and exception-tolerant reasoning - Legal reasoning under uncertainty and incomplete information - Legal reasoning with vague notions - Defeasible normative systems - Implementations and applications in the legal domain - Large-scale normative reasoning *Important Dates* - Paper submission: Jul 31st, 2018 - Notification to authors: November 30th, 2018 - Camera-ready: January 1st, 2019 *Submission Instructions* Papers submitted to the special issue must be sent to Jane Spurr (jane.spurr at kcl.ac.uk). Please specify this special issue in the email subject. We expect papers of about 15-30 pages; however, justified exceptions are possible. Each submission will be assigned with two reviewers. If have any enquiries/comments, please contact Livio Robaldo at: livio.robaldo at uni.lu From geoff at cs.miami.edu Tue Feb 6 16:15:47 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 6 Feb 2018 10:15:47 -0500 (EST) Subject: FMCAD 2018 - Call for Papers Message-ID: <20180206151547.0B0551700FC5@cs.miami.edu> International Conference on Formal Methods in Computer-Aided Design (FMCAD) Austin, Texas, October 30 - November 2, 2018 http://www.fmcad.org/FMCAD18 # IMPORTANT DATES Abstract Submission: May 11, 2018 Paper Submission: May 18, 2018 Author Notification: July 18, 2018 Camera-Ready Version: Aug 19, 2018 All deadlines are 11:59 pm AoE (Anywhere on Earth) FMCAD Tutorial Day: Oct 30, 2018 Regular Program: Oct 31 - Nov 2, 2018 Part of the FMCAD 2018 program: FMCAD Student Forum # CONFERENCE SCOPE AND PUBLICATION FMCAD 2018 is the eighteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD employs a rigorous peer-review process. Accepted papers are distributed through both ACM and IEEE digital libraries. In addition, published articles are made available freely on the conference page; the authors retain the copyright. There are no publication fees. At least one of the authors is required to register for the conference and present the accepted paper. A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD). # TOPICS OF INTEREST FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer- aided design. Topics of interest include (but are not limited to): * Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. * Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. * Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. * Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods. * Application of formal methods to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, block chains, and IoT devices. # SUBMISSIONS Submissions must be made electronically in PDF format via EasyChair: https://easychair.org/conferences/?conf=fmcad18 Two categories of papers are invited: Regular papers, and Tool & Case Study papers. Regular papers are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. Tool & Case Study papers are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes. Both Regular and Tool & Case study papers must use the IEEE Transactions format on letter-size paper with a 10-point font size. Regular papers can be up to 8 pages in length and tool papers up to 4 pages, although there is no requirement to fill all pages in either category. Authors will be required to select the appropriate paper category at abstract submission time. Submissions may contain an optional appendix, which will not appear in the final version of the paper. The reviewers should be able to assess the quality and the relevance of the results in the paper without reading the appendix. Submissions in both categories must contain original research that has not been previously published, nor is concurrently submitted for publication. Any partial overlap with published or concurrently submitted papers must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide the reviewers access to their data at submission time, so that results can be independently verified. # FMCAD 2017 COMMITTEES ## PROGRAM CHAIRS: Nikolaj Bjorner, Microsoft Arie Gurfinkel, University of Waterloo ## PC Jade Alglave University College London June Andronick CSIRO|Data61 and UNSW Armin Biere Johannes Kepler University Linz Per Bjesse Synopsys Inc. Roderick Bloem Graz University of Technology Gianpiero Cabodi Politechnico Torino Supratik Chakraborty IIT Bombay Sylvain Conchon Universite Paris-Sud Bruno Dutertre SRI international Alberto Griggio University of Trento Liana Hadarean Synopsys Fei He Tsinghua University Joe Hendrix University of Illinois at Urbana-Champaign Warren Hunt The University of Texas at Austin Alexander Ivrii IBM Dejan Jovanovic SRI International Temesghen Kahsai NASA Ames / CMU George Karpenkov VERIMAG Igor Konnov Vienna University of Technology Ken McMillan Microsoft Alexander Nadel Intel Giles Reger The University of Manchester Leonid Ryzhyk VMware Research Martina Seidl Johannes Kepler University Linz Natasha Sharygina Universite della Svizzera italiana (USI Lugano, Switzerland) Sharon Shoham Tel Aviv University Anna Slobodova Centaur Mathias Soeken Ecole Polytechnique Fédérale de Lausanne Christoph Sticksel The MathWorks Niklas Sörensson Chalmer University of Technology Murali Talupur FormalSim Yakir Vizel Princeton University Georg Weissenbacher Vienna University of Technology Jaco van de Pol University of Twente ## STUDENT FORUM CHAIR: Dejan Ivanovic, SRI International ## WEBMASTER: Tom van Dijik, Johannes Kepler University ## PUBLICATION CHAIR: Jade Alglave, University College London and Microsoft ## PUBLICITY CHAIR: Yakir Vizel, Technion ## FMCAD STEERING COMMITTEE Armin Biere, Johannes Kepler University in Linz, Austria Alan Hu, University of British Columbia, Canada Warren Hunt, University of Texas at Austin, USA Vigyan Singhal, Oski Tech From marcello.balduccini at gmail.com Wed Feb 7 03:37:15 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Tue, 6 Feb 2018 21:37:15 -0500 Subject: ** 3-MONTH REMINDER ** KR 2018 Call for Papers Message-ID: <201802070237.w172bFgq062883@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 *** *** 3-MONTH REMINDER *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 kr2018.org/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR] KR 2018 IMPORTANT DATES ----------------------- * Submission of title and abstract: 13 May 2018 <====== 3 MONTHS AWAY * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Contrary to previous editions, KR 2018 will also feature an open call for workshop and tutorial proposals. The deadline for submissions is 21 February 2018. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. Please check the KR 2018 website for further information and updates. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universit�t Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From marcello.balduccini at gmail.com Wed Feb 7 04:21:45 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Tue, 6 Feb 2018 22:21:45 -0500 Subject: REMINDER: KR 2018 Doctoral Consortium Call for Papers Message-ID: <201802070321.w173LjTD065371@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ****************** **** REMINDER **** **** **** **** June 24 **** **** Deadline **** ****************** KR Doctoral Consortium Call for Applications October 30 - November 2, 2018 Tempe, Arizona, US http://kr2018.org/ The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. For accepted students there will be a row of dedicated events, including DC invited talks on research practice, a lightning talk session, a poster session, and a mentoring lunch. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted by email. Each application must contain the following elements combined into a single PDF document.: (1) Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if so, whether the student volunteers to help with local organization during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2018 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: June 24, 2018 Acceptance notification: July 11, 2018 Doctoral Consortium: October 30 - November 2, 2018 For further information, please contact the DC chairs: Madalina Croitoru, University Montpellier (croitoru at lirmm.fr) Sebastian Rudolph, TU Dresden (sebastian.rudolph at tu-dresden.de) From xrambous at aurora.fi.muni.cz Thu Feb 8 10:01:50 2018 From: xrambous at aurora.fi.muni.cz (TSD 2018) Date: Thu, 08 Feb 2018 10:01:50 +0100 Subject: TSD 2018 - First Call for Papers Message-ID: ********************************************************* TSD 2018 - FIRST CALL FOR PAPERS ********************************************************* Twenty-first International Conference on TEXT, SPEECH and DIALOGUE (TSD 2018) Brno, Czech Republic, 11-14 September 2018 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic THE SUBMISSION DEADLINES: March 15 2018 ............ Submission of abstracts March 22 2018 ............ Submission of full papers Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. KEYNOTE SPEAKERS Kenneth Church, Baidu, USA Piek Vossen, Vrije Universiteit Amsterdam, The Netherlands TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. Moreover, LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC or COMPENDEX. CALL for SATELLITE WORKSHOP PROPOSALS The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. The organizing committee can arrange for a meeting room at the conference venue and prepare a workshop proceedings as a book with ISBN by a local publisher. The workshop papers that will pass also the standard TSD review process will appear in the Springer proceedings. Each workshop is a subject to proposal that should be sent to the contact e-mail tsd2018 at tsdconference.org ahead of the respective deadline. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) 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 Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Eneko Agirre, Spain Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Darja Fiser, Slovenia Eleni Galiotou, Greece Björn Gambäck, Norway Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, USA Tino Haderlein, Germany Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Pavel Kral, Czech Republic Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Bernardo Magnini, Italy Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Agnieszka Mykowiecka, Poland Hermann Ney, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Pavel Rychly, Czechia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2018 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 2000 will be levied automatically. The paper format for review has to be either PDF or PostScript file with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.de/comp/lncs/authors.html#Proceedings, Sample File typeinst.zip). Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of demonstrations should provide an abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 15 2018 ............ Submission of abstracts March 22 2018 ............ Submission of full papers May 16 2018 .............. Notification of acceptance May 31 2018 .............. Final papers (camera ready) and registration August 8 2018 ............ Submission of demonstration abstracts August 15 2018 ........... Notification of acceptance for demonstrations sent to the authors September 11-14 2018 ..... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The accepted conference contributions will be published in Springer proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 4-star hotel at the conference venue. The current prices of the accommodation will be available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2018 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2018 at tsdconference.org The official TSD 2018 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London and Munich, and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of the Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From rodrigo.roman.uma at gmail.com Thu Feb 8 12:22:53 2018 From: rodrigo.roman.uma at gmail.com (Rodrigo Roman) Date: Thu, 8 Feb 2018 12:22:53 +0100 Subject: CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security Message-ID: ======================================================================== *** Apologies for multiple copies *** C a l l F o r P a p e r s ESORICS 2018 : Twenty-third European Symposium on Research in Computer Security Barcelona, Spain -- September 3-7, 2018 WWW: https://esorics2018.upc.edu ======================================================================== Overview ------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Important Dates --------------------- * Paper submission deadline: April 18, 2018 * Notification to authors: June 15, 2018 * Camera ready due: June 25, 2018 Topics of Interest ----------------------- Topics of interest include, but are not limited to: * access control * accountability * ad hoc networks * anonymity * applied cryptography * authentication * biometrics * blockchain and finance security * data and computation integrity * database security * data protection * deep learning for attack and defense * digital content protection * digital forensics * distributed systems security * embedded systems security * inference control * information hiding * identity management * information flow control * information security governance and management * intrusion detection * formal security methods * language-based security * network security * phishing and spam prevention * privacy * privacy preserving data mining * risk analysis and management * secure electronic voting * security architectures * security economics * security metrics * security models * security and privacy for big data * security and privacy in cloud scenarios * security and privacy in complex systems * security and privacy in content centric networking * security and privacy in crowdsourcing * security and privacy in the IoT * security and privacy in location services * security and privacy for mobile code * security and privacy in pervasive / ubiquitous computing * security and privacy policies * security and privacy in social networks * security and privacy in web services * security and privacy in cyber-physical systems * security, privacy and resilience in critical infrastructures * security verification * software security * systems security * trust models and management * trustworthy user devices * usable security and privacy * web security * wireless security Paper Submission Guidelines --------------------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=esorics2018 Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with proceedings. The symposium proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Organisation Committee -------------------------------- General Chair: * Miguel Soriano, UPC, Spain Organization Chair: * Josep Pegueroles, UPC, Spain Workshop Chair: * Joaquin Garcia-Alfaro, Telecom-Sud Paris, France Program Committee Chairs: * Javier Lopez, University of Malaga, Spain * Jianying Zhou, SUTD, Singapore Program Committee: Gail-Joon Ahn, Arizona State University, USA Cristina Alcaraz, University of Malaga, Spain Elli Androulaki, IBM, Switzerland Vijay Atluri, Rutgers University, USA Michael Backes, Saarland University, Germany Carlo Blundo, Universita' degli Studi di Salerno, Italy Levente Buttyan, BME, Hungary Jan Camenish, IBM, Switzerland Alvaro Cardenas, University of Texas at Dallas, USA Aldar Chan, University of Hong Kong, HK Liqun Chen, University of Surrey, UK Sherman S. M. Chow, Chinese University of Hong Kong, HK Mauro Conti, University of Padua, Italy Jorge Cuellar, Siemens A.G., Germany Frederic Cuppens, TELECOM Bretagne, France Nora Cuppens-Boulahia, TELECOM Bretagne, France Marc Dacier, EURECOM, France Sabrina De Capitani di Vimercati, Universita' degli studi di Milano, Italy Herve Debar, Telecom SudParis, France Roberto Di Pietro, Hamad Bin Khalifa University (HBKU), Qatar Josep Domingo-Ferrer, University Rovira-Virgili, Spain Haixin Duan, Tsinghua University, China Jose Fernandez, Polytechnique Montreal, Canada Josep Lluis Ferrer, UIB, Spain Simone Fischer-Hübner, Karlstad University, Sweden Simon Foley, IMT Atlantique, France Sara Foresti, Universita' degli studi di Milano, Italy David Galindo, University of Birmingham, UK Debin Gao, SMU, Singapore Dieter Gollmann, Hamburg University of Technology, Germany Dimitris Gritzalis, Athens University of Economics and Business, Greece Stefanos Gritzalis, University of the Aegean, Greece Guofei Gu, Texas A&M University, USA Juan Hernandez, UPC, Spain Amir Herzberg, Bar-Ilan University & University of Connecticut, Israel Alejandro Hevia, University of Chile, Chile Xinyi Huang, Fujian Normal University, China Sushil Jajodia, George Mason University, USA Vasilios Katos, Bournemouth University, UK Sokratis Katsikas, NTNU, Norway Kwangjo Kim, KAIST, Korea Steve Kremer, INRIA Nancy-Grand Est, France Marina Krotofil, FireEye, USA Costas Lambrinoudakis, University of Piraeus, Greece Loukas Lazos, University of Arizona, USA Ninghui Li, Purdue University, USA Yingjiu Li, SMU, Singapore Hoon Wei Lim, SingTel, Singapore Joseph Liu, Monash University, Australia Peng Liu, Pennsylvania State University, USA Xiapu Luo, Hong Kong Polytechnic University, HK Mark Manulis, University of Surrey, UK Kostas Markantonakis, RHUL, UK Olivier Markowitch, Université Libre de Bruxelles, Belgium Fabio Martinelli, IIT-CNR, Italy Gregorio Martinez, University of Murcia, Spain Ivan Martinovic, University of Oxford, UK Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory, USA Weizhi Meng, DTU, Denmark Chris Mitchell, RHUL, UK Refik Molva, EURECOM, France Haris Mouratidis, University of Brighton, UK David Naccache, Ecole Normale Suprieure, France Martin Ochoa, SUTD, Singapore Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Gunther Pernul, Universität Regensburg, Germany Christina Popper, NYU Abu Dhabi, UAE Joachim Posegga, University of Passau, Germany Jean-Jacques Quisquater, UCL, Belgium Indrajiti Ray, Colorado State University, USA Giovanni Russello, University of Auckland, New Zealand Mark Ryan, University of Birmingham, UK Peter Y.A. Ryan, University of Luxembourg, Luxembourg Rei Safavi-Naini, University of Calgary, Canada Pierangela Samarati, Universita' degli studi di Milano, Italy Damien Sauveron, XLIM, France Steve Schneider, University of Surrey, UK Ozgur Sinanoglu, NYU Abu Dhabi, UAE Einar Snekkenes, Gjovik University College, Norway Willy Susilo, University of Wollongong, Australia Pawel Szalachowski, SUTD, Singapore Qiang Tang, LIST, Luxembourg Juan Tapiador, Universidad Carlos III de Madrid, Spain Nils Ole Tippenhauer, SUTD, Singapore Aggeliki Tsohou, Ionian University, Greece Jaideep Vaidya, Rutgers University, USA Serge Vaudenay, EPFL, Switzerland Luca Vigano', King's College London, UK Michael Waidner, Fraunhofer SIT, Germany Cong Wang, City University of Hong Kong, HK Lingyu Wang, Concordia University, Canada Edgar Weippl, SBA Research, Austria Christos Xenakis, University of Piraeus, Greece Kehuan Zhang, Chinese University of Hong Kong, HK Sencun Zhu, Pennsylvania State University, USA Publicity Chairs: * Giovanni Livraga - Universita' degli studi di Milano, Italy * Rodrigo Roman - University of Malaga, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Thu Feb 8 16:04:29 2018 From: grlmc at grlmc.com (GRLMC) Date: Thu, 08 Feb 2018 16:04:29 +0100 Subject: AlCoB 2018: extended submission deadline February 18 Message-ID: <545102060a010b06055559000e045a5c510001030008065801000e08540e50055c525152520d060205005102500a57@grlmc_ip-zone_com-6> AlCoB 2018: extended submission deadline February 18*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: February 18 ***** ------------------------------------------------------------------------------   ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2018   Hong Kong   June 25-27, 2018   Co-organized by:   The Hong Kong Polytechnic University Department of Computing   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2018/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), and Aveiro.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2018 will take place in Hong Kong, the city with the most skyscrapers in the world, one of the highest human development indexes, and the longest life expectancy. The venue will be:   M1603, Li Ka Shing Tower The Hong Kong Polytechnic University Hung Hom, Kowloon Hong Kong   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2018 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Tatsuya Akutsu (Kyoto University), Algorithms for Analysis and Control of Boolean Networks   Bin Ma (University of Waterloo), De Novo Protein Sequencing with Mass Spectrometry and Its Medical Applications   Ben Raphael (Princeton University), Algorithms for Cancer Evolution   PROGRAMME COMMITTEE:   Josep Francesc Abril (University of Barcelona, ES) Kees Albers (Radboud University Medical Centre, NL) Emmanuel Barillot (Curie Institute, FR) Philipp Bucher (Swiss Federal Institute of Technology Lausanne, CH) Rita Casadio (University of Bologna, IT) José C. Clemente (Icahn School of Medicine at Mount Sinai, US) Eytan Domany (Weizmann Institute of Science, IL) Liliana Florea (Johns Hopkins University, US) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina at Chapel Hill, US) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, JP) John Hancock (ELIXIR Europe, UK) Robert Harrison (Georgia State University, US) Martijn Huynen (Radboud University Medical Centre, NL) Jesper Jansson (The Hong Kong Polytechnic University, HK) Pouya Kheradpour (Verily Life Sciences, US) Julien Lagarde (Centre for Genomic Regulation, ES) Gerton Lunter (University of Oxford, UK) Ruibang Luo (Johns Hopkins University, US) Bill Majoros (Duke University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Huaiyu Mi (University of Southern California, US) Ryan E. Mills (University of Michigan, US) Kenta Nakai (University of Tokyo, JP) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) Itsik Pe'er (Columbia University, US) Mihaela Pertea (Johns Hopkins University, US) Paolo Ribeca (The Pirbright Institute, UK) Peter Robinson (The Jackson Laboratory for Genomic Medicine, US) Stephane Rombauts (Ghent University, BE) Russell Schwartz (Carnegie Mellon University, US) Xinghua Shi (University of North Carolina at Charlotte, US) Denis Shields (University College Dublin, IE) Ilya Shmulevich (Institute for Systems Biology, US) Thomas Sicheritz-Pontén (Technical University of Denmark, DK) Steven Skiena (Stony Brook University, US) Wing-Kin Sung (National University of Singapore, SG) Weili Wu (The University of Texas at Dallas, US) Wenzhong Xiao (Massachusetts General Hospital, US) Shibu Yooseph (University of Central Florida, US) Yaoqi Zhou (Griffith University, AU)   ORGANIZING COMMITTEE:   Jesper Jansson (Hong Kong, co-chair) Konstantinos Mampentzidis (Hong Kong) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra-Royón (Granada) Abdul Raheem (Hong Kong) David Silva (London) Sandhya T P (Hong Kong) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/AlCoB2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: February 18, 2018 – EXTENDED – Notification of paper acceptance or rejection: March 18, 2018 Final version of the paper for the LNCS/LNBI proceedings: March 28, 2018 Early registration: March 28, 2018 Late registration: June 11, 2018 Submission to the journal special issue: September 27, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   AlCoB 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGEMENTS:   The Hong Kong Polytechnic University Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Natasha.Alechina at nottingham.ac.uk Thu Feb 8 16:06:04 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Thu, 8 Feb 2018 15:06:04 +0000 Subject: corrected CFP for special issue of JoLLI on Logical Aspects of Multi-Agent Systems Message-ID: <906F99A7-8C31-40FA-9A89-6F7A4E7CC757@exmail.nottingham.ac.uk> [apologies for multiple copies, and for sending a truncated copy of the call earlier] SPECIAL ISSUE OF THE JOURNAL OF LOGIC, LANGUAGE AND INFORMATION ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS CALL FOR SUBMISSIONS The Journal Logic, Language, and Information (JoLLI) invites high quality submissions of original research or survey papers to a special issue on Logical Aspects of Multi-Agent Systems, expected to be published in the early 2019. This special issue is a post-proceedings of the CSL 2017 affiliated LAMAS workshop held in Stockholm, August 25, 2017, but the call is open for all relevant submissions. TOPICS The following is a non-exclusive list of specific topics in the focus of the special issue: - Logico-philosophical and foundational aspects of MAS. - Logical modeling of MAS - Logical systems for specification, analysis, and reasoning about MAS - Deductive systems and decision procedures for logics for MAS - Algorithmic methods for formal verification of MAS - Applications of logics in MAS. SUBMISSION INSTRUCTIONS The papers should be typeset in LATEX, using the JoLLI style, obtainable from http://www.springer.com/philosophy/logic+and+philosophy+of+language/journal/10849. By default, each submission is limited to 25 pages. Should you need more space, please contact the guest editors of the special issue. The submissions must be sent electronically, via the JoLLi/Springer submission system. See further instructions on how to submit on the link above. When submitting, please indicate the option "LAMAS special issue". All submissions will be subjected to a proper refereeing procedure, in compliance with the standard reviewing policy of JoLLI. GUEST EDITORS OF THE SPECIAL ISSUE: Natasha Alechina, University of Nottingham Valentin Goranko, Stockholm University DEADLINES Paper submission: May 10, 2018 Reviews and notification: September 10, 2018 Final versions: October 10, 2018 ENQUIRIES For any questions regarding the special issue please contact the guest editors by sending email to Logic.MAS at gmail.com or natasha.alechina at nottingham.ac.uk 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 manolis.stamatogiannakis at vu.nl Thu Feb 8 17:54:23 2018 From: manolis.stamatogiannakis at vu.nl (Manolis Stamatogiannakis) Date: Thu, 8 Feb 2018 17:54:23 +0100 Subject: DIMVA 2018: CfP deadline approaching! In-Reply-To: <5A7C7FE0.6070002@vu.nl> References: <5A7C7FE0.6070002@vu.nl> Message-ID: <5A7C80BF.9090306@vu.nl> Less than 2 weeks left to submit you work to DIMVA 2018! ================================================================ Call for Papers: DIMVA 2018 15th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment Paris-Saclay Campus, France -- 28-29 June 2018 ================================================================ WWW: http://dimva2018.org / http://bit.ly/dimva2018 Twitter: @DIMVAConf #DIMVA18 Paper Submission: https://dimva18.hotcrp.com/ Important Dates ------------------------------------ * Submission deadline: 22 Feb 2018, 23:59:59 UTC * Notification: 12 Apr 2018 * Camera-ready version: 28 Apr 2018 * Conference: 28-29 Jun 2018 General Information ------------------------------------ The annual DIMVA conference serves as a premier forum for advancing the state of the art in the broader areas of intrusion detection, malware analysis, and vulnerability assessment. Each year, DIMVA brings together international experts from academia, industry, and government to present and discuss novel research in these areas. DIMVA is organized by the special interest group Security - Intrusion Detection and Response (SIDAR) of the German Informatics Society (GI). The conference proceedings will appear in Springer Lecture Notes in Computer Science (LNCS) series. DIMVA 2018 will be co-located with the ESSOS conference (25-26 June 2018). Types of Submissions Solicited ------------------------------------ DIMVA solicits submissions of high-quality, original scientific papers presenting novel research on malware analysis, intrusion detection, vulnerability assessment, and related systems security topics. Submissions of two types are invited: * FULL PAPERS, presenting novel and mature research results. Full papers are limited to 20 pages in LNCS format, including bibliography and appendices. * SHORT PAPERS, presenting original, still ongoing work that has not yet reached the maturity required for a full paper. Short papers are limited to 10 pages in LNCS format, including bibliography and appendices. Short papers will be included in the proceedings. The title of short papers should start with the words "Extended Abstract". The paper submission website is now open: https://dimva18.hotcrp.com/ Topics of Interest ------------------------------------ Indicative topics of interest include (but are not limited to): Intrusions: * Novel approaches and domains * Insider detection * Prevention and response * Data leakage and exfiltration * Result correlation and cooperation * Evasion and other attacks * Potentials and limitations * Operational experiences * Privacy, legal, and social aspects * Targeted attacks Malware: * Automated analyses * Behavioral models * Prevention and containment * Classification * Lineage * Forensics and recovery * Underground economy Vulnerabilities: * Vulnerability detection * Vulnerability prevention * Vulnerability analysis * Exploitation and prevention * Hardware vulnerabilities * Situational awareness * Active probing Organization ------------------------------------ General Chairs: * Sébastien Bardin, CEA * Gregory Blanc, Télécom SudParis Program Chair: * Cristiano Giuffrida, Vrije Universiteit Amsterdam Program Committee: * Magnus Almgren, Chalmers University of Technology * Elias Athanasopoulos, University of Cyprus * Leyla Bilge, Symantec Research Labs * Lorenzo Cavallaro, Royal Holloway, University of London * Lucas Davi, University of Duisburg-Essen * Herve Debar, Telecom Sud Paris * Sven Dietrich, City University of New York * Brendan Dolan-Gavitt, NYU * Adam Doupé, Arizona State University * Manuel Egele, Boston University * Aurélien Francillon, Eurecom * Yanick Fratantonio, Eurecom * Flavio Garcia, University of Birmingham * Thorsten Holz, Ruhr-Universität Bochum * Alexandros Kapravelos, North Carolina State University * Vasileios Kemerlis, Brown University * Erik van der Kouwe, LIACS * Anil Kurmus, IBM Research * Pavel Laskov, Huawei * Corrado Leita, Lastline * Zhiqiang Lin, University of Texas at Dallas * Martina Lindorfer, UCSB * Federico Maggi, Trend Micro * Clémentine Maurice, IRISA * Michael Meier, University of Bonn and Fraunhofer FKIE * Matthias Neugschwandtner, IBM Research * Nick Nikiforakis, Stony Brook University * Roberto Perdisci, University of Georgia and Georgia Tech * Jason Polakis, University of Illinois at Chicago * Georgios Portokalidis, Stevens Institute of Technology * Sanjay Rawat, Vrije Universiteit Amsterdam * Konrad Rieck, University of Göttingen * Christian Rossow, Saarland University * Yan Shoshitaishvili, ASU * Asia Slowinska, IBM * Gianluca Stringhini, University College London Sponsor Chair: * Hervé Debar, Télécom SudParis, France Publicity Chair: * Manolis Stamatogiannakis, Vrije Universiteit Amsterdam Steering Committee Chairs: * Ulrich Flegel, Infineon Technologies, Germany * Michael Meier, University of Bonn and Fraunhofer FKIE, Germany Steering Committee: * Bernhard Haemmerli, Acris GmbH & HSLU Lucerne, Switzerland * Christian Kreibich, ICSI, USA * Christopher Kruegel, UC Santa Barbara, USA * Danilo M. Bruschi, Universita degli Studi di Milano, Italy * Federico Maggi, Trend Micro, Italy * Herbert Bos, Vrije Universiteit Amsterdam, The Netherlands * Herve Debar, Telecom SudParis, France * Klaus Julisch, Deloitte, Switzerland * Konrad Rieck, TU Braunschweig, Germany * Lorenzo Cavallaro, Royal Holloway, University of London, UK * Magnus Almgren, Chalmers University of Technology, Sweden * Marko Jahnke, Federal Police, Germany * Pavel Laskov, Huawei European Research Center, Germany * Robin Sommer, ICSI/LBNL, USA * Roland Bueschkes, RWE AG, Germany * Sven Dietrich, City University of New York, USA * Thorsten Holz, Ruhr-University Bochum, Germany * Michalis Polychronakis, Stony Brook University, USA Sponsorship Opportunities ------------------------------------ We solicit interested organizations to serve as sponsors for DIMVA 2018. Please contact the sponsor chair (sponsor-chair _at_ dimva.org) for details regarding sponsorships. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Fri Feb 9 13:00:45 2018 From: fabrizio.riguzzi at unife.it (Fabrizo Riguzzi) Date: Fri, 09 Feb 2018 04:00:45 -0800 (PST) Subject: ACAI 2018 Summer School on Statistical Relational Artificial Intelligence Message-ID: <5a7d8d6d.42121c0a.d0230.1c9a@mx.google.com> The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date! The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI). StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI. Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches. The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples. The list of confirmed lectures is: Luc De Raedt: Probabilistic Programming Paolo Frasconi: Kernels and deep networks for structured data Sebastian Riedel: Differentiable Program Interpreters Artur d'Avila Garcez: Neural-symbolic learning Marco Lippi: Applications of Statistical Relational Artificial Intelligence Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning Mathias Niepert and Alberto Garc�a Dur�n: Multi-Modal Neural Link Prediction Kristian Kersting: Lifted Statistical Machine Learning Fabrizio Riguzzi: Probabilistic Inductive Logic Programming Up to date information can be found at the event website http://acai2018.unife.it/. The registration fees will be published shortly. ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also: - PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/; - ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/. Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and it welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara! Organizers Kristian Kersting, TU Darmstadt, Germany Marco Lippi, University of Modena and Reggio Emilia, Italy Sriraam Natarajan, University of Texas at Dallas, USA Fabrizio Riguzzi, University of Ferrara, Italy Elena Bellodi, University of Ferrara, Italy Tom Schrijvers, KU Leuven, Belgium Riccardo Zese, University of Ferrara, Italy From rl.stpuu at gmail.com Fri Feb 9 15:00:01 2018 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Fri, 9 Feb 2018 15:00:01 +0100 Subject: CfP: AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18) Message-ID: CALL FOR PAPERS 3rd International Workshop on AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18) https://www.fedcsis.org/2018/airim Poznan, Poland, 9-12 September, 2018 ------------------------------------------------------------- SCOPE There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning. TOPICS We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications: - Reasoning systems --- theories and applications - Proof systems and model checkers - Theories of computation and information - Interactive computation and reasoning - Computation and reasoning with heterogeneous information - Space and time in information, language, memory, and reasoning - Partiality, underspecification, vagueness, and possibilities - Detection of and reasoning with inconsistency - Logic and language --- approaches, theories, methods - Computational morphology, syntax, semantics, and interfaces between these - Constraint-based and type-theoretic approaches and grammars - Logical approaches to multilingual processing - Logical and computational foundations in machine learning and information retrieval - Mathematics for linguistics and cognitive science - Reasoning, information, and memory in computational neuroscience and life sciences - Interdisciplinary approaches to information, language, memory, and reasoning IMPORTANT DATES - Paper submission (strict deadline): May 15 2018 23:59:59 pm HST - Position paper submission: June 12, 2018 - Authors notification: June 24, 2018 - Final paper submission and registration: July 03, 2018 - Final deadline for discounted fee: August 01, 2018 - Conference dates: September 9-12, 2018 PAPER SUBMISSION and PUBLICATIONS The publication rules, status, and the submission page for AIRIM'18 are the same as for AAIA'18 | FedCSIS: https://www.fedcsis.org/2018/airim https://www.fedcsis.org/2018/instructions - Authors should submit draft papers (as Postscript, PDF or MSWord file) - The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available at: https://fedcsis.org/2018/for_authors - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop - Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants - Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database - Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site - Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar - Extended versions of selected papers presented during the conference will be published as Special Issue(s) - Organizers reserve right to move accepted papers between FedCSIS events Event Chairs - Grabowski, Adam, Institute of Informatics, University of Bialystok, Bialystok, Poland - Ishihara, Hajime, Japan Advanced Institute of Science and Technology, Japan - Loukanova, Roussanka, Stockholm University, Sweden - Schwarzweller, Christoph, Institute of Informatics, University of Gdansk, Poland - van den Herik, Jaap, Leiden University, The Netherlands CONTACT INFORMATION Roussanka Loukanova (rloukanova at gmail.com) ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From radicion at di.unito.it Fri Feb 9 16:24:12 2018 From: radicion at di.unito.it (daniele radicioni) Date: Fri, 9 Feb 2018 16:24:12 +0100 Subject: Special Issue of the Journal of Applied Ontology "Meaning in Context: ontologically and linguistically motivated representations of objects and events." Message-ID: <3D98CAB6-0933-46CA-A174-6B31FADA754E@di.unito.it> (Apologies for cross posting) Special Issue of the Journal of Applied Ontology "Meaning in Context: ontologically and linguistically motivated representations of objects and events." https://submissions.iospress.com/applied-ontology/CIM Overview Dealing with context is a key factor in the conceptualization of human experience, and a major issue for understanding natural language. It is well known that some properties of objects and events may have different cognitive salience according to their context of occurrence, thus determining access to partial relevant information rather than to all information. One typical example is that of an orange being passed between two children, or the same orange peeled on a table: in the former case the roundness prevails over other traits, and the orange is being used to play; in the latter one, the edible features are those mostly conveyed by the scene. Interpreting events poses contextual challenges as well: (in how far) does a given event allow for different interpretations, like it might happen for revenge/self defense? Similar selectional mechanisms underlie figurative uses of word meanings, such as metonymy and metaphors among others, that intrinsically characterize the interface between knowledge and language. Contextual access to objects and events needs to be further investigated, shared conceptualizations and terminologies are needed, as well as more robust approaches, including connections to domain and formal ontologies. The design of ontological and linguistic resources that account for the semantic phenomena involved in the contextual interpretation of objects and events requires collecting information and devising context-aware procedures. In an era where most research is committed to statistical approaches, e.g. vector representations of the linguistic context and neural architectures, pairing the natural language semantic interpretation process and formal ontology may improve the inferential capacities of artificial agents with the explanatory power that is less relevant in those mainstream approaches. Methods traditionally adopted to elaborate text documents exhibit limitations in representing and processing objects and events. Many efforts are being put in grasping text documents’ semantics based on semantically shallow approaches, whilst natural language inference demands for deep interpretation models, allowing to handle properties, functions, and roles, among others, to deal with commonsense and to produce explanations. A different approach relies on lexical information: several large-scale lexical resources, such as WordNet (https://wordnet.princeton.edu), BabelNet (http://babelnet.org), FrameNet (https://framenet.icsi.berkeley.edu/fndrupal/), and ImagAct (http://imagact.lablita.it/index.php?lang=en), among others, have been proposed in the last few years and have been successfully employed to bridge the gap between knowledge representations and natural language. However, to cope with contextual access to objects and events involves many additional features still lacking in such resources. Neither shallow representations of NL semantics nor lexical resources alone provide sufficient ground to account for contextual phenomena. Relevant areas include, but are not limited to: events representation and retrieval, event sequences, contextual features representation, trend detection, knowledge discovery, word sense disambiguation, ontology alignment, opinion mining and sentiment analysis, and conceptual similarity, among others. All proposed approaches must address the issue of representation of context, and suitable procedures to use context and context aware meaning representations of objects and events. The ideal submission should provide evidence that context improves the performance of systems on real-world applications and/or provides useful insights and explanations on systems’ output. Topics of Interest Research works submitted to the special issue should foster scientific advances whether and to what extent objects and events representation and processing can be linked to the context where they occur. The following is a tentative list of relevant topics: - theoretical foundations for the use of AI techniques to deal with context and with changing/evolving objects and events; - KR frameworks to represent mutable/evolving objects and events, including formal ontologies, conceptual spaces and distributed representations; - formal methods for reasoning in evolving scenarios; - theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management centered on events and evolving objects; - use cases and application scenarios (e.g., in law, medicine) where contextual information impacts on objects/events representation and processing; - linguistic approaches to context analysis; - context-aware lexical resources to describe objects and events; - context-aware topic and event detection and tracking, knowledge discovery; - context-aware frame semantics; - entity linking and word sense disambiguation; - representation of context in the Semantic Web; - surveys on the adoption of contextual information in Cognitive Science, NLP and Ontological Modeling; - context-based explainable Artificial Intelligence. Timeline - Manuscript Submission Deadline: July 23rd 2018; - Acceptance Notification: November 26th 2018; - Final Manuscript Due: February 26th 2019. Submission Guidelines Submission guidelines can be found on the Journal Site, https://www.iospress.nl/journal/applied-ontology/?tab=submission-of-manuscripts This special issue welcomes original high-quality contributions that have been neither published in nor submitted to any journals or refereed conferences. Extended versions of (properly referenced) conference papers should include at least 30% of new material. Please, clearly specify in the cover letter that the paper is to be considered for the special issue on "Meaning in Context: ontologically and linguistically motivated representations of objects and events." Guest Editors Valerio Basile, Sapienza University of Rome, Italy, basile at di.uniroma1.it Tommaso Caselli, Rijksuniversiteit Groningen, The Netherlands, t.caselli at rug.nl Daniele P. Radicioni, University of Turin, Italy, radicion at di.unito.it : : : : : : : : : : : : : : : : : : : Daniele Radicioni, PhD Department of Computer Science University of Turin Corso Svizzera, 185 10149 - Torino phone: +39 011 6706802 fax: +39 011 751603 http://www.di.unito.it/~radicion From epontell at cs.nmsu.edu Sun Feb 11 00:51:40 2018 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Sat, 10 Feb 2018 16:51:40 -0700 Subject: EXTENDED DEADLINE: International Conference on Logic Programming 2018 Message-ID: <56DD9153-4116-4DC3-9DA2-30299ADA7D60@cs.nmsu.edu> 34th International Conference on Logic Programming (ICLP 2018) Call for Papers - DEADLINE EXTENSION NEW DEADLINE: February 19th, 2018 ===================== July 14-17, 2018 Oxford, UK http://www.logicprogramming.org/iclp2018 The 34th International Conference on Logic Programming (ICLP 2018) will take place in Oxford, U.K. as part of FLOC'2018 (http://www.floc2018.org/) from July 14 to July 17, 2018. Scope: ------ ICLP is the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming. Papers are solicited on: * Foundations: semantics, execution algorithms, formal models * Implementation: virtual machines, compilation, memory management,   parallel execution, foreign interfaces * Language Design: inference engines, type systems, concurrency and   distribution, modules, metaprogramming, relations to object-oriented   and functional programming, logic-based domain-specific languages * Software-Development Techniques: declarative algorithms and data   structures, design patterns, debugging, testing, profiling, execution   visualization * Transformation and Analysis:  assertions, type and mode inference,   partial evaluation, abstract interpretation, program transformations * Applications and Synergies:  interaction with SAT, SMT and CSP solvers,   logic programming techniques for type inference and theorem proving,   Horn-clause analysis, knowledge representation, cognitive computing,   artificial intelligence, natural language processing, information   retrieval, web programming, education, computational life sciences,   computational mathematics. Submission Details: ------------------- Submissions of regular papers must be made in the condensed TPLP format via EasyChair. A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets. These will not not count towards this limit and will be available as supplementary material to the published paper in the TPLP website. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can   advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability,   and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some papers to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates: ---------------- Paper submission February 19, 2018 Notification March 20, 2018 Revision submission (TPLP papers) April 5, 2018 Final notifications (TPLP papers) April 15, 2018 Camera-ready copy May 1, 2018 Conference July 14 / July 17, 2018 General Chair: Marco Gavanelli Program Chairs:    Alessandro Dal Palù    University of Parma    Paul Tarau             University of North Texas Program Committee: Mario Alviano             University of Calabria Hassan Ait-Kaci Marcello Balduccini       St. John's University Mutsunori Banbara         Kobe University Pedro Cabalar             University of Corunna Mats Carlsson             SICS Manuel Carro              UPM and IMDEA Software Institute Michael Codish            Ben-Gurion University of the Negev Marina De Vos             University of Bath Thomas Eiter              TU Wien Esra Erdem                Sabanci University Thom Fruehwirth           University of Ulm Marco Gavanelli           University of Ferrara Martin Gebser             University of Potsdam Gopal Gupta               University of Texas at Dallas Michael Hanus             CAU Kiel Amelia Harrison           University of Texas at Austin Manuel Hermenegildo       UPM Tomi Janhunen             Aalto University Angelica Kimmig           Cardiff University Ekaterina Komendantskaya  Heriot-Watt University Nicola Leone              University of Calabria Michael Leuschel          University of Dusseldorf Yuliya Lierler            University of Nebraska at Omaha Vladimir Lifschitz        University of Texas at Austin Barry O'Sullivan          University College Cork David Pearce              Technical University of Madrid (UPM) Enrico Pontelli           New Mexico State University Ricardo Rocha             University of Porto Chiaki Sakama             Wakayama University Vitor Santos Costa        University of Porto Tom Schrijvers            KU Leuven Tran Cao Son              New Mexico State University Theresa Swift             Universidade Nova de Lisboa Peter Szeredi             Budapest University of Technology and Economics Mirek Truszczynski        University of Kentucky German Vidal              Universitat Politècnica de València Jan Wielemaker            VU University of Amsterdam Stefan Woltran            TU Wien Roland Yap                National University of Singapore Jia-Huai You              University of Alberta Neng-Fa Zhou              CUNY Brooklyn College and Graduate Center -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Feb 11 04:57:26 2018 From: grlmc at grlmc.com (GRLMC) Date: Sun, 11 Feb 2018 04:57:26 +0100 Subject: DeepLearn 2018: early registration February 14 Message-ID: <545102060a010b06055f590701025a53005e5754060452040a510b540f050555575751555501045205535306530102@grlmc_ip-zone_com-6> DeepLearn 2018: early registration February 14*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: February 14, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Calata Molo Vecchio 15 Modulo 5 – 1° piano 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), tba   Li Deng (Citadel), tba   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (Microsoft Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (Nanjing Normal University), [introductory/intermediate] Convolutional Neural Network and Its Variants   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   ORGANIZING COMMITTEE:   Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mvm at cs.uns.edu.ar Tue Feb 13 16:41:28 2018 From: mvm at cs.uns.edu.ar (Vanina Martinez) Date: Tue, 13 Feb 2018 12:41:28 -0300 Subject: CFP: IfCoLog Journal of Logics and their Applications - Special issue "Reasoning on Legal Texts" Message-ID: ============================ Apologize for multiple copies ============================ IfCoLog Journal of Logics and their Applications - Special issue "Reasoning on Legal Texts" ** Paper submission deadline: Jul 31st, 2018 ** Guest editors: Livio Robaldo - University of Luxembourg (Luxembourg) Sotiris Batsakis - University of Huddersfield (UK) Maria Vanina Martinez - Universidad Nacional del Sur (Argentina) Christoph Benzmüller - Freie Universität Berlin (Germany) ---------------------------------------------------------------- Regulations are a widespread and important part of governments and businesses. They encode how products are manufactured, and how the processes are to be performed. Such regulations, in general, are difficult to understand and apply. Undoubtedly, the law, for example, as the reflection of human society, presents the broadest range of expression and interpretation, since the interpretation of even the most common words becomes problematic. Even individual regulations may be self-contradictory as a result of their gradual development process, as well as the lack of a formal drafting process. In an increasingly complicated environment, as well as regulatory review, automated reasoning processes become more and more necessary. Current state-of-the-art technologies enforce reasoning applications on legal texts such as decision making and compliance checking starting from logical and/or ontology-based representations of norms. These semantic representations are typically obtained via Natural Language Processing (NLP) in an automatic fashion, in order to avoid huge time-consuming manual effort. To bridge such challenges, several research projects in the legal domain have been recently funded by the EU and similar institutions, among which is ''MIREL: MIning and REasoning with Legal texts''. The aim of the MIREL project is to bridge the gap between the community working on legal ontologies and NLP methods applied to legal documents, and the community working on reasoning methods and formal logic, towards the objectives described above. This special issue focuses on legal reasoning, thus welcoming submissions describing novel approaches for reasoning in the legal domain starting from logical or ontology-based representations of legal knowledge. A non-exhaustive list of topics includes: - Logical formalization of legal knowledge - Norm enforcement and compliance - Decision making methods and applications - Computational methods for legal reasoning - Legal argumentation - Dynamics of normative knowledge - Formal models of norms, normative systems, and norm-governed societies - Using logic formalisms and technologies in large legal document collections - Legislative and case-law metadata models - Semantic annotations for legal texts - Inconsistency handling and exception-tolerant reasoning - Legal reasoning under uncertainty and incomplete information - Legal reasoning with vague notions - Defeasible normative systems - Implementations and applications in the legal domain - Large-scale normative reasoning *Important Dates* - Paper submission: Jul 31st, 2018 - Notification to authors: November 30th, 2018 - Camera-ready: January 1st, 2019 *Submission Instructions* Papers submitted to the special issue must be sent to Jane Spurr ( jane.spurr at kcl.ac.uk‎). Please specify this special issue in the email subject. We expect papers of about 15-30 pages; however, justified exceptions are possible. Each submission will be assigned with two reviewers. If have any enquiries/comments, please contact Livio Robaldo at: livio.robaldo at uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofronie at uni-koblenz.de Wed Feb 14 11:07:06 2018 From: sofronie at uni-koblenz.de (Viorica Sofronie-Stokkermans) Date: Wed, 14 Feb 2018 11:07:06 +0100 Subject: Research and teaching assistant position (PhD or Postdoc level) in Formal Methods and Theoretical Computer Science Message-ID: The Computer Science department of the University Koblenz-Landau (Campus Koblenz) invites applications for the position of a research and teaching assistant (wissenschaftlicher Mitarbeiter/Mitarbeiterin) (1,0 EGr. 13 TV-L) at PhD or Postdoc level, in the research group ``Formal methods and theoretical computer science'' (Prof. Dr. Viorica Sofronie-Stokkermans). The position is available for 3 years; the teaching obligations amount to 8h/week during the semesters. In addition to the teaching obligations there is the possibility of pursuing a PhD. Applicants should have a MSc degree (or comparable University degree) in computer science, mathematics or a related discipline. Further details (in German) can be found at: https://www.uni-koblenz-landau.de/de/uni/organisation/stellen/stellenarchiv/archiv-ordner/17-2018.pdf Application letters (including a CV) must be sent by e-mail as a single .pdf file to the e-mail address: bewerbung at uni-koblenz-landau.de *** In the subject line please indicate your name and the position number (17/2018) *** Please cc you application to Prof. Dr. Viorica Sofronie-Stokkermans (E-Mail: sofronie at uni-koblenz.de). To receive full consideration, applications should be received by February 28, 2018. Applications sent after this date will be considered until the position is filled. For more details on this position please contact Prof. Dr. Viorica Sofronie-Stokkermans (E-Mail: sofronie at uni-koblenz.de). ====================================== Code number of position: 17/2018 Application deadline: 28 February 2018 ======================================= From geoff at cs.miami.edu Thu Feb 15 17:55:38 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 15 Feb 2018 11:55:38 -0500 (EST) Subject: SAT/SMT/AR Summer School 2018 Message-ID: <20180215165538.F40161701123@cs.miami.edu> SAT/SMT/AR Summer School 2018 We are pleased to announce that the next edition of the SAT/SMT/AR Summer School will take place in Manchester, UK on 3-6th July 2018. Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2015 as SAT/SMT Summer Schools and added AR in 2016. There will also be a special session on computer algebra to continue the activity of the SC2 summer school in 2017. Lecturers for this year's summer school have been announced on the school's website http://ssa-school-2018.cs.manchester.ac.uk/index.php/speakers/ and detailed programme of topics will appear soon. Applications can be made via the following form https://goo.gl/forms/e2hgn5GbnPROMTEK2 From karl.h.hammar at gmail.com Thu Feb 15 21:03:05 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Thu, 15 Feb 2018 21:03:05 +0100 Subject: [CfP] 10th International Conference on Formal Ontology in Information Systems (FOIS 2018), September 17-21, 2018, Cape Town, South Africa Message-ID: 10th International Conference on Formal Ontology in Information Systems (FOIS) 2018, September 17-21, 2018, Cape Town, South Africa http://fois2018.cs.uct.ac.za/ http://www.iaoa.org/fois/2018.html ----------------------------------- DEFINITION AND SCOPE ----------------------------------- The advent of complex information systems which rely on robust, coherent and formal representations of their subject matter, led in the last 25 years to the exploitation of ontological analysis and ontology-based representation. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques and their relations to cognition and reality, are at the center of the modern discipline of formal ontology. Formal ontology is now a research focus in such diverse domains as conceptual modeling, database design, knowledge engineering, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics, geographic information science, information retrieval, and the Semantic Web. Researchers in all these areas increasingly recognize the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, to provide a solid foundation for their work. The FOIS conference is a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of new and high quality articles on both theoretical issues and concrete applications. As in previous years, FOIS 2018 is intended as a nexus of interdisciplinary research and communication. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA, website: http://iaoa.org/), which is a non-profit organization aiming to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. ------------------------------ SATELLITE ACTIVITIES ------------------------------ FOIS 2018 includes a number of additional activities: http://fois2018.cs.uct.ac.za/?page_id=54 + a call for workshops (deadline: March 2, see link above) + a call for tutorials (deadline: March 2, see link above) + a young researchers symposium, + a demo and industry track + an ontology competition FOIS is preceded by the 4th Interdisciplinary School on Applied Ontology: http://isao2018.cs.uct.ac.za/ ------------------------------ SCOPE OF FOIS - TOPICS OF INTEREST ------------------------------ We seek high-quality papers on a wide range of topics. Concerning scope, an ideal FOIS paper will address both content-related ontological issues and their formal modeling, as well as their impact and relevance for some aspects of information systems. Areas of particular interest to the conference include the following: Foundational Issues * Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts * Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation * Vagueness and granularity * Space, time, and change Methodological issues * Top-level vs. domain-specific ontologies * Role of reference ontologies * Ontology integration and alignment * Formal comparison among ontologies * Relationship with cognition, language, semantics, context Domain-specific ontologies * Ontology of physical reality (matter, space, time, motion etc.) * Ontology of biological reality (organisms, genes, proteins, cells etc.) * Ontology of mental reality and agency (beliefs, intentions, emotions, perceptions etc.) * Ontology of artifacts, functions, capacities and roles * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions etc.) Applications: * Ontology-driven information systems design * Ontological foundations for conceptual modeling * Knowledge management * Qualitative modeling * Computational linguistics * Information retrieval * Semantic Web, Web services * Business modeling * Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, cognitive sciences, linguistics etc.) * Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture etc. * Ontologies for the humanities: arts, cultural studies, history, law, literature, philosophy etc. ----------------------------- FORMAT ----------------------------- Submitted papers must not exceed 14 pages (including the bibliography) and must include an abstract of no more than 300 words. Papers should be submitted non-anonymously in PDF format (template from the FOIS website). The Easychair submission page can be found at: https://easychair.org/conferences/?conf=fois2018 The proceedings will be published by IOS Press in electronic format with permanent open access. ----------------------------- IMPORTANT DATES ----------------------------- *Call for papers Paper Submission Deadline: 13 April 2018 Notification: 30 May 2018 Camera-ready papers: 24 June 2018 Conference Dates: 17-21 September 2018 *Call for workshops/tutorials Proposal Submission: 2 March 2018 Notification: 15 March 2018 -------------------------------------------- CONFERENCE ORGANISATION -------------------------------------------- General Chair: Oliver Kutz (KRDB, Free University of Bozen-Bolzano, Italy) Program Chairs: Stefano Borgo (Laboratory for Applied Ontology (LOA), ISTC CNR Trento IT) Pascal Hitzler (Data Semantics (DaSe) Laboratory, Wright State University, USA) Local Organization: Maria Keet (University of Cape Town, South Africa) From karl.h.hammar at gmail.com Thu Feb 15 21:28:35 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Thu, 15 Feb 2018 21:28:35 +0100 Subject: [CFP] Call for Workshop and Tutorial Proposals, JOWO @ FOIS 2018 Cape Town Message-ID: (with apologies for cross-posting) JOWO @ FOIS 2018 Cape Town Call for Workshop and Tutorial Proposals http://www.iaoa.org/jowo2018/ * JOWO at FOIS Workshop and Tutorials proposals deadline: March 2, 2018 * * Reminder: FOIS paper submission deadline: April 13, 2018 * The International Association for Ontology and its Applications, IAOA, invites proposals for workshops and tutorials for the 4th Joint Ontology Workshops, JOWO 2018, to be held in conjunction with the 10th International Conference on Formal Ontology and Information Systems (FOIS 2018) in Cape Town, South Africa, on September 17-21, 2018 (http://fois2018.cs.uct.ac.za/). Workshops and tutorials at JOWO 2018 are events whose scientific program is independently established by the workshop organizer. The workshop organizers will be responsible for advertising the workshop and reviewing and selecting the contributions. Workshops can be events that provide a forum for the discussion of topics that may complement the main conference or focus on specialized sub-topics related to formal ontology and its application in information systems. We specifically invite proposals by IAOA Special Interest Groups and Technical Committees. Previous JOWO editions were held in 2017 in Bolzano (Italy), in conjunction with FOIS 2016 in Annecy (France), and at IJCAI 2015 in Buenos Aires (Argentina). As in earlier years, all contributions to JOWO workshops will be published in a joint CEUR proceedings volume, together with the contributions to the Early Career Symposium. JOWO 2015: http://ceur-ws.org/Vol-1517/ JOWO 2016: http://ceur-ws.org/Vol-1660/ JOWO 2017: http://ceur-ws.org/Vol-2050/ Together, the JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats. Researchers and practitioners interested in the theory, practice, development and/or application of ontologies are invited to submit workshop proposals for review. We encourage several forms and length of workshops (the list is non-exhaustive): - workshops that focus on an established research area, including continuations of workshops that were already held in the past; - workshops that focus on emerging topics and applications, or on open research questions and challenges; - workshops that aim to create cross-disciplinary research fostering exchange of ideas between groups otherwise mostly disconnected. SUBMISSION Proposals for workshops and tutorials should be no more than 2 pages in length, and must contain the following information: - title of the workshop/tutorial; - names of the workshop/tutorial organizers; - brief description of experience in workshop/tutorial organization; - description of the workshop/tutorial topic; - brief statement on the relation and relevance of the workshop to FOIS; - intended duration of the workshop (half-day, full-day); - timeline for the workshop (submission dates, notification dates), taking into account the notification date of FOIS and the proposed Workshop Submission Deadline. Workshop proposals should be sent to jowoworkshops2018 at gmail.com by March 2, 2018. EVALUATION Submissions for workshop proposals will be evaluated by members of the FOIS organizing and program committee, using the following criteria: - Scientific relevance and utility to attendees; - Quality of the proposal; - Likelihood of success of the workshop; - Complementarity with FOIS and overlap with other workshops. IMPORTANT DATES - March 2, 2018 - Proposal submission deadline - March 19, 2018 - Acceptance notification - March 26, 2018 - JOWO at FOIS workshops and events announced - April 13, 2018 - FOIS paper submission deadline - May 30, 2018 - Notification for submissions to FOIS main conference - June 18, 2018 - Recommended submission deadline for workshop contributions (after notification for FOIS submissions) - Sept 17-21, 2018 - FOIS 2018 in Cape Town - Sept 17-18, 2018 - JOWO 2018 @ FOIS - Sept 19-21, 2018 - FOIS 2018 main conference FURTHER INQUIRIES In case of further questions please contact the JOWO chairs via: jowoworkshops2018 at gmail.com CONFERENCE ORGANISATION JOWO 2018 Chairs: Ludger Jansen, Ruhr University Bochum, Germany Daniele P. Radicioni, University of Torino, Italy FOIS General Chair: Oliver Kutz, University of Bozen-Bolzano, Italy FOIS Program Chairs: Stefano Borgo Laboratory for Applied Ontology, Trento, Italy Pascal Hitzler, Data Semantics Laboratory, Wright State University, USA Proceedings Chair: Dagmar Gromann, Technical University Dresden, Germany FOIS Local Organization: Maria Keet, University of Cape Town, South Africa FOIS Publicity: Karl Hammar, Jönköping University, Sweden FOIS Early Career Symposium: Emilio Sanfilippo, Laboratory for Applied Ontology, Trento, Italy Maria Hedblom, Otto-von-Guericke University, Magdeburg, Germany Zubeida Khan, University of Cape Town, South Africa From geoff at cs.miami.edu Fri Feb 16 14:46:16 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Fri, 16 Feb 2018 08:46:16 -0500 (EST) Subject: 25th AUTOMATED REASONING WORKSHOP 2018 Message-ID: <20180216134616.C8A2817010E6@cs.miami.edu> 25th AUTOMATED REASONING WORKSHOP 2018 University of Cambridge, 12-13 April 2018 http://www.cl.cam.ac.uk/events/arw2018/ CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS GENERAL INFORMATION The 25th Automated Reasoning Workshop (ARW 2018) will take place at the University of Cambridge on 12-13 April 2018. INVITED SPEAKERS Ekaterina Komendantskaya (Heriot-Watt University) Lawrence Paulson (University of Cambridge) SCOPE The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike. Topics include but are not limited to: - Theorem proving in classical and non-classical logics; - Interactive theorem proving, logical frameworks, proof assistants, proof planning - Reasoning methods: * Saturation-based, instantiation-based, tableau, SAT * Equational reasoning, unification * Constraint satisfaction * Decision procedures, SMT * Combining reasoning systems * Non-monotonic reasoning, commonsense reasoning * Abduction, induction * Model checking, model generation, explanation - Formal methods to specifying, deriving, transforming and verifying computer systems, requirements and software - Logic-based knowledge representation and reasoning: * Ontology engineering and reasoning * Domain specific reasoning (spatial, temporal, epistemic,agents, etc) - Logic and functional programming, deductive databases - Implementation issues and empirical results, demos - Machine learning and automated reasoning systems - Practical experience and applications of automated reasoning The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and open discussion sessions organised around specific topics such as "Automated Reasoning and Artificial Intelligence???????. SUBMISSIONS We invite the submission of camera-ready, two-page extended abstracts about recent work, work in progress, or a system description. The abstract can describe work that has already been published elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic submissions, but we may ask for revisions. To prepare your submission, please use the ARW LaTeX style file provided from the workshop website. Each submission should include the names and complete addresses (including email) of all authors. For the final versions we require all sources (TeX file and any input files). Please send your submissions via EasyChair at https://easychair.org/conferences/?conf=arw2018 . Correspondence will be sent to corresponding authors indicated on EasyChair. PUBLICATION DETAILS Abstracts will be published in informal workshop notes and will be made available on the workshop page. After the workshop we are hoping to solicit inaugural 25th anniversary of ARW articles for publication. PRESENTATIONS Each workshop participant will be asked to give a short talk (around 10 minutes depending on time constraints) to introduce their research. Each participant will also be allocated space in a poster session (poster size up to A0), where they can further present and discuss their work. Please prepare posters for the event. STUDENT GRANTS We have a limited number of grants available to support PhD students in attending the event. If you are interested, please refer to the workshop website for details. The deadline to apply for student grants is 1 March 2018. IMPORTANT DATES 1 March 2018: Student grant application deadline 12 March 2018: Abstract submission 16 March 2018: Abstract, student grant notification 21 March 2018: Final version due, Registration deadline 12-13 April 2018: Workshop PROGRAMME COMMITTEE Alexander Bolotov Chair (University of Westminster) Jacques Fleuriot Secretary/Treasurer (University of Edinburgh) Simon Colton (Goldsmiths College, University of London) Louise Dennis (University of Liverpool) Ullrich Hustadt (University of Liverpool) Mateja Jamnik (University of Cambridge) Florian Kammueller (Middlesex University) Ekaterina Komendantskaya (Heriot-Watt University) Alice Miller (University of Glasgow) Oliver Ray (University of Bristol) Renate Schmidt (University of Manchester) LOCAL ORGANISERS Mateja Jamnik (Mateja dot Jamnik at cl dot cam dot ac dot uk) Edward Ayers Angeliki Koutsoukou-Argyraki Wenda Li Chaitanya Mangla Lawrence Paulson Zohreh Shams CONTACT arw2018 at easychair.org From gabriella.pigozzi at lamsade.dauphine.fr Sun Feb 18 22:00:11 2018 From: gabriella.pigozzi at lamsade.dauphine.fr (Gabriella PIGOZZI) Date: Sun, 18 Feb 2018 21:00:11 +0000 Subject: DEON 2018 Extended deadline Message-ID: [Apologies for multiple copies of this CFP] CFP: Extended deadline 14th International Conference on Deontic Logic and Normative Systems (DEON 2018) 3-6 July 2018, Utrecht, the Netherlands https://deon2018.sites.uu.nl The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2018 will encourage a special focus on the topic: "Deontic reasoning for responsible AI" There have been thirteen previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006; Luxembourg, July 2008; Fiesole, July 2010; Bergen, July 2012; Ghent, July 2014; Bayreuth, July 2016. GENERAL THEMES The Program Committee invites papers concerned with the following topics (non-exclusive list): o the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic o the formal analysis of normative concepts, normative systems (and their dynamics) o the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability o the normative aspects of protocols for communication, negotiation and multi-agent decision making o the formal analysis of the semantics and pragmatics of deontic and normative expressions in natural language o the formal representation of legal knowledge o the formal specification of normative systems for the management of bureaucratic processes in public or private administration applications of normative logic to the specification of database integrity constraints o game theoretic aspects of deontic reasoning o emergence of norms o deontic paradoxes o argumentation theory and normative reasoning SPECIAL FOCUS DEON 2018's special focus is "Deontic reasoning for responsible AI". The successes of Artificial Intelligence over the last few years have brought to the fore a new and important application area for deontic logic: Responsible AI. On the one hand, this concerns systems for checking and proving responsibility characteristics of artificial intelligent agents and their designs, and on the other hand, it concerns responsible decision making and machine ethics. This DEON's special theme "Deontic reasoning for responsible AI" solicits contributions that address issues related to these two subjects. Topics of interest in this special theme include, but are not limited to: o moral decision making o norm awareness o accountability o explainability o causal and probabilistic theories of responsibility o operationalizations of ethical theories o collective responsibility o grades of responsibility INVITED SPEAKERS o Christoph Benzmüller (Berlin) o Melissa Fusco (Columbia) o Oliver Roy (Bayreuth) SUBMISSION DETAILS Authors are invited to submit an original, previously unpublished, short research paper pertaining to any of these topics. The paper should be in English and should be no longer than 15 pages when formatted according to the 12pt LaTeX specification that will be sent to all authors of accepted papers. The first page should contain the full name and contact information of at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically using EasyChair: https://easychair.org/conferences/?conf=deon2018 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. PUBLICATION The proceedings will be published with College Publications. Copies of the proceedings will be provided to all participants. In addition, we anticipate that revised versions of selected papers from the workshop will subsequently be published in a special issue of the Journal of Applied Logic. IMPORTANT DATES (NEW!) Abstract Submission Deadline: March 5, 2018 Paper Submission Deadline: March 12, 2018 Notification: April 22, 2018 Camera Ready: May 7, 2018 CHAIRS OF THE PROGRAM COMMITTEE Cleo Condoravdi, Stanford University Shyam Nair, Arizona State University Gabriella Pigozzi, Université Paris-Dauphine CHAIR OF THE LOCAL ORGANIZING COMMITTEE Jan Broersen, University of Utrecht -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frederic.mesnard at icloud.com Mon Feb 19 11:51:36 2018 From: frederic.mesnard at icloud.com (Fred Mesnard) Date: Mon, 19 Feb 2018 14:51:36 +0400 Subject: LOPSTR 2018 2nd CFP Message-ID: ====================================================================== LOPSTR 2018: Second Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). Important Dates Abstract submission: March 25, 2018 Paper/Extended abstract submission: April 1, 2018 Notification: June 1, 2018 Camera-ready (for electronic pre-proceedings): June 17, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From rodrigo.roman.uma at gmail.com Mon Feb 19 12:39:26 2018 From: rodrigo.roman.uma at gmail.com (Rodrigo Roman) Date: Mon, 19 Feb 2018 12:39:26 +0100 Subject: CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security Message-ID: ======================================================================== *** Apologies for multiple copies *** C a l l F o r P a p e r s ESORICS 2018 : Twenty-third European Symposium on Research in Computer Security Barcelona, Spain -- September 3-7, 2018 WWW: https://esorics2018.upc.edu ======================================================================== Overview ------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Important Dates --------------------- * Paper submission deadline: April 18, 2018 * Notification to authors: June 15, 2018 * Camera ready due: June 25, 2018 Topics of Interest ----------------------- Topics of interest include, but are not limited to: * access control * accountability * ad hoc networks * anonymity * applied cryptography * authentication * biometrics * blockchain and finance security * data and computation integrity * database security * data protection * deep learning for attack and defense * digital content protection * digital forensics * distributed systems security * embedded systems security * inference control * information hiding * identity management * information flow control * information security governance and management * intrusion detection * formal security methods * language-based security * network security * phishing and spam prevention * privacy * privacy preserving data mining * risk analysis and management * secure electronic voting * security architectures * security economics * security metrics * security models * security and privacy for big data * security and privacy in cloud scenarios * security and privacy in complex systems * security and privacy in content centric networking * security and privacy in crowdsourcing * security and privacy in the IoT * security and privacy in location services * security and privacy for mobile code * security and privacy in pervasive / ubiquitous computing * security and privacy policies * security and privacy in social networks * security and privacy in web services * security and privacy in cyber-physical systems * security, privacy and resilience in critical infrastructures * security verification * software security * systems security * trust models and management * trustworthy user devices * usable security and privacy * web security * wireless security Paper Submission Guidelines --------------------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=esorics2018 Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with proceedings. The symposium proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Organisation Committee -------------------------------- General Chair: * Miguel Soriano, UPC, Spain Organization Chair: * Josep Pegueroles, UPC, Spain Workshop Chair: * Joaquin Garcia-Alfaro, Telecom-Sud Paris, France Program Committee Chairs: * Javier Lopez, University of Malaga, Spain * Jianying Zhou, SUTD, Singapore Program Committee: Gail-Joon Ahn, Arizona State University, USA Cristina Alcaraz, University of Malaga, Spain Elli Androulaki, IBM, Switzerland Vijay Atluri, Rutgers University, USA Michael Backes, Saarland University, Germany Carlo Blundo, Universita' degli Studi di Salerno, Italy Levente Buttyan, BME, Hungary Jan Camenish, IBM, Switzerland Alvaro Cardenas, University of Texas at Dallas, USA Aldar Chan, University of Hong Kong, HK Liqun Chen, University of Surrey, UK Sherman S. M. Chow, Chinese University of Hong Kong, HK Mauro Conti, University of Padua, Italy Jorge Cuellar, Siemens A.G., Germany Frederic Cuppens, TELECOM Bretagne, France Nora Cuppens-Boulahia, TELECOM Bretagne, France Marc Dacier, EURECOM, France Sabrina De Capitani di Vimercati, Universita' degli studi di Milano, Italy Herve Debar, Telecom SudParis, France Roberto Di Pietro, Hamad Bin Khalifa University (HBKU), Qatar Josep Domingo-Ferrer, University Rovira-Virgili, Spain Haixin Duan, Tsinghua University, China Jose Fernandez, Polytechnique Montreal, Canada Josep Lluis Ferrer, UIB, Spain Simone Fischer-Hübner, Karlstad University, Sweden Simon Foley, IMT Atlantique, France Sara Foresti, Universita' degli studi di Milano, Italy David Galindo, University of Birmingham, UK Debin Gao, SMU, Singapore Dieter Gollmann, Hamburg University of Technology, Germany Dimitris Gritzalis, Athens University of Economics and Business, Greece Stefanos Gritzalis, University of the Aegean, Greece Guofei Gu, Texas A&M University, USA Juan Hernandez, UPC, Spain Amir Herzberg, Bar-Ilan University & University of Connecticut, Israel Alejandro Hevia, University of Chile, Chile Xinyi Huang, Fujian Normal University, China Sushil Jajodia, George Mason University, USA Vasilios Katos, Bournemouth University, UK Sokratis Katsikas, NTNU, Norway Kwangjo Kim, KAIST, Korea Steve Kremer, INRIA Nancy-Grand Est, France Marina Krotofil, FireEye, USA Costas Lambrinoudakis, University of Piraeus, Greece Loukas Lazos, University of Arizona, USA Ninghui Li, Purdue University, USA Yingjiu Li, SMU, Singapore Hoon Wei Lim, SingTel, Singapore Joseph Liu, Monash University, Australia Peng Liu, Pennsylvania State University, USA Xiapu Luo, Hong Kong Polytechnic University, HK Mark Manulis, University of Surrey, UK Kostas Markantonakis, RHUL, UK Olivier Markowitch, Université Libre de Bruxelles, Belgium Fabio Martinelli, IIT-CNR, Italy Gregorio Martinez, University of Murcia, Spain Ivan Martinovic, University of Oxford, UK Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory, USA Weizhi Meng, DTU, Denmark Chris Mitchell, RHUL, UK Refik Molva, EURECOM, France Haris Mouratidis, University of Brighton, UK David Naccache, Ecole Normale Suprieure, France Martin Ochoa, SUTD, Singapore Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Gunther Pernul, Universität Regensburg, Germany Christina Popper, NYU Abu Dhabi, UAE Joachim Posegga, University of Passau, Germany Jean-Jacques Quisquater, UCL, Belgium Indrajiti Ray, Colorado State University, USA Giovanni Russello, University of Auckland, New Zealand Mark Ryan, University of Birmingham, UK Peter Y.A. Ryan, University of Luxembourg, Luxembourg Rei Safavi-Naini, University of Calgary, Canada Pierangela Samarati, Universita' degli studi di Milano, Italy Damien Sauveron, XLIM, France Steve Schneider, University of Surrey, UK Ozgur Sinanoglu, NYU Abu Dhabi, UAE Einar Snekkenes, Gjovik University College, Norway Willy Susilo, University of Wollongong, Australia Pawel Szalachowski, SUTD, Singapore Qiang Tang, LIST, Luxembourg Juan Tapiador, Universidad Carlos III de Madrid, Spain Nils Ole Tippenhauer, SUTD, Singapore Aggeliki Tsohou, Ionian University, Greece Jaideep Vaidya, Rutgers University, USA Serge Vaudenay, EPFL, Switzerland Luca Vigano', King's College London, UK Michael Waidner, Fraunhofer SIT, Germany Cong Wang, City University of Hong Kong, HK Lingyu Wang, Concordia University, Canada Edgar Weippl, SBA Research, Austria Christos Xenakis, University of Piraeus, Greece Kehuan Zhang, Chinese University of Hong Kong, HK Sencun Zhu, Pennsylvania State University, USA Publicity Chairs: * Giovanni Livraga - Universita' degli studi di Milano, Italy * Rodrigo Roman - University of Malaga, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Natasha.Alechina at nottingham.ac.uk Mon Feb 19 17:37:47 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Mon, 19 Feb 2018 16:37:47 +0000 Subject: TIME 2018 first call for papers Message-ID: <28026B4C-C6A8-497E-B090-B726004822BC@exmail.nottingham.ac.uk> ------------------------------------------------------------------------------------------------ 1st CALL FOR PAPERS TIME 2017 25th International Symposium on Temporal Representation and Reasoning Warsaw (Poland), 15-17 October 2018 https://time2018.ipipan.waw.pl/ ------------------------------------------------------------------------------------------------- Aims and scope -------------------- TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - 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 - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - 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 - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - time series analysis and mining - semi-structured temporal data - visualizations and interfaces for temporal data The Logic and Verification track includes, but is not limited to: - 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 - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security The New areas and Application track includes, but is not limited to: - applications of temporal data and temporal reasoning - temporal information retrieval - temporal recommendation systems - applications of temporal database management Submission and publication --------------------------------- Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. Detailed submission instructions can be found on the website of TIME 2018: https://time2018.ipipan.waw.pl/ Submissions are via EasyChair https://easychair.org/conferences/?conf=time2018 The submissions must not exceed 15 pages excluding references and appendix. The appendix is optional and must not exceed 5 pages. 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, 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 some high quality journal. Important Dates -------------------- Abstracts due: May 7, 2018 Full papers due: May 11, 2018 Notification: June 26, 2018 Final version due: July 13, 2018 Symposium: October 15-17, 2018 Program Committee Chairs --------------------------------- Natasha Alechina, University of Nottingham, UK Kjetil Norvag, Norwegian University of Science and Technology, Norway Wojciech Penczek, Institute of Computer Science, PAS, Warsaw, Poland Invited Speakers -------------------- Stephane Demri, LSV, CNRS & ENS de Cachan, France Johann Gamper, Free University of Bozen-Bolzano, Italy Wojciech Jamroga, Institute of Computer Science, PAS, Warsaw, Poland Venue --------- TIME 2018 will take place in Warsaw, a beautiful city, which is the capital of Poland. 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 geoff at cs.miami.edu Mon Feb 19 18:00:55 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 19 Feb 2018 12:00:55 -0500 (EST) Subject: RuleML+RR 2018 SECOND CALL FOR PAPERS Message-ID: <20180219170055.257E417010E8@cs.miami.edu> ================================================================== RuleML+RR 2018 SECOND CALL FOR PAPERS RuleML+RR 2018: International Joint Conference on Rules and Reasoning http://2018.ruleml-rr.org Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu) ================================================================== == SUMMARY == High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. Important dates: - Abstract: 20 Apr 2018 - Full paper: 27 Apr 2018 == THE CONFERENCE == The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. RuleML+RR 2018 will take place in Luxembourg on September 18th-21th 2018 and will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018). == TOPICS == RuleML+RR welcomes original research from all areas of Rules and Reasoning. Topics of particular interest include: * Rule-based languages for intelligent information access and for the semantic web * Vocabularies, ontologies, and business rules * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Non-classical logics and the Web * Constraint programming * Logic programming * Production & business rules systems * Streaming data and complex event processing * Rules for machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * Rule discovery, extraction and transformation * Rules and ontology learning * Deep Learning for rules and ontologies * Neural Networks and logic rules * Neural Networks and ontologies * Rule-based approaches to agents * Higher-order and modal rules * Rules for knowledge graphs * Pragmatic web reasoning and distributed rule inference / rule execution * Big data reasoning with rules * Rule markup languages and rule interchange formats * Rule-based policies, reputation, and trust * Scalability and expressive power of logics for rules * System descriptions, applications and experiences * Rules and human language technology * Rules in online market research and online marketing * Applications of rule technologies in healthcare and life sciences * Applications of rule technologies in law, regulation and finance * Industrial applications of rules * Rules and social media * Rules of ethics, laws, policies, and regulations Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI == SUBMISSIONS == We accept the following submission formats for papers: * Full papers (up to 15 pages in LNCS style) * Technical Communications (up to 8 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). Submissions: via EasyChair ( https://easychair.org/conferences/?conf=rulemlrr2018) The RuleML+RR 2018 best papers will be invited for rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium and the 12th International Rule Challenge. == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style LNCS ( http://www.springer.com/comp/lncs/authors.html). == IMPORTANT DATES == Title and Abstract submission: 20 Apr 2018 Full papers submission: 27 Apr 2018 Notification of acceptance: 1 June 2018 Camera-ready submission: 15 June 2018 Conference: 18-21 Sept 2018 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == ORGANISATION == Summit Chairs (LuxLogAI): Leon van der Torre, Martin Theobald (U Luxembourg) General Chair (RuleML+RR): Xavier Parent (U Luxembourg) Program Chairs: Christoph Benzm??ller (U Luxembourg & FU Berlin) Francesco Ricca (U Calabria) Proceedings Chair: Dumitru Roman (SINTEF/U Oslo) Industry Track Chair: Silvie Spreeuwenberg (LibRT Amsterdam) Int'l Rule Challenge Chairs: Giovanni De Gasperis (U L'Aquila) Adrian Giurca (BTU Cottbus- Senftenberg) Reasoning Web (RW) Summer School Claudia d'Amato (U Bari) Publicity Chairs: Frank Olken (Frank Olken Consulting) Amal Tawakuli (U Luxembourg) == PROGRAM COMMITTEE == Full list available at: http://2018.ruleml-rr.org From icnc-fskd2018 at aust.edu.cn Tue Feb 20 02:32:20 2018 From: icnc-fskd2018 at aust.edu.cn (Prof Sun) Date: Tue, 20 Feb 2018 09:32:20 +0800 Subject: IT Track, due 15 March: Submitting to IEEE Xplore/Scopus/EI Compendex/ISI 2018/2/20 9:32:29 kfhl1u Message-ID: <20180220093229100260@aust.edu.cn> Dear Colleague, We cordially invite you to submit a paper to the Information Technology track in the upcoming 2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2018), to be held from 28-30 July 2018 in Huangshan, China. Topics include (but are not limited to): Communications and Networking, Automation and Control, Software Engineering, Information Security, etc.. Huangshan (literal meaning: Yellow Mountain) is a UNESCO World Heritage Site, and one of China's major tourist destinations. It is well known for its scenery, sunsets, peculiarly-shaped granite peaks, Huangshan pine trees, hot springs, winter snow, and views of the clouds from above. Huangshan is a frequent subject of traditional Chinese paintings and literature, as well as modern photography. A famous saying goes: "You don't need to see any more mountains after seeing 'the Five Mountains', and you don't need to see the other four mountains after seeing Huangshan." As with the past ICNC-FSKD conferences, all papers in conference proceedings will be submitted to EI Compendex, Scopus, and ISTP (ISI Proceedings), as well as IEEE Xplore (all previous ICNC-FSKD conferences from 2005 to 2016 have been indexed in Ei Compendex). Extended versions of selected best papers will appear in SCIE-indexed international journals. ICNC-FSKD 2018 is technically co-sponsored by the IEEE Circuits and Systems Society (pending). ICNC-FSKD is a premier international forum for scientists and researchers to present the state of the art of data mining and intelligent methods inspired from nature, particularly biological, linguistic, and physical systems, with applications to computers, circuits, systems, control, robotics, communications, and more. This is an exciting and emerging interdisciplinary area in which a wide range of theory and methodologies are being investigated and developed to tackle complex and challenging problems. The registration fee of US-D490 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. An honorarium of US-D400 will be enjoyed by the organizer(s) for each completed (with at least 6 registered papers) invited session. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. "(Invited Paper)" may be added below the title of each paper in the invited sessions. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a set of recommended papers is determined by 3 June 2018. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icnc-fskd2018 at ahu.edu.cn For more information, visit the conference web page: http://icnc-fskd2018.org If you have any questions after visiting the conference web page, please email the secretariat at icnc-fskd2018 at ahu.edu.cn Join us at this major event in beautiful Huangshan!!! Organizing Committee icnc-fskd2018 at ahu.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2018/2/20 9:32:29 qh -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Feb 20 23:14:22 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 20 Feb 2018 17:14:22 -0500 (EST) Subject: Special Issue on Commonsense Reasoning - Call for Papers Message-ID: <20180220221422.EAB7C170112A@cs.miami.edu> CALL FOR PAPERS Special Issue on Commonsense Reasoning Annals of Mathematics and Artificial Intelligence We invite submissions to the Special Issue on Commonsense Reasoning of the journal Annals of Mathematics and Artificial Intelligence. Papers should be submitted by June 30, 2018 via http://www.editorialmanager.com/amai/ selecting the issue S692 Commonsense Reasoning. Guest editors: Andrew S. Gordon, University of Southern California Rob Miller, University College London Leora Morgenstern, Nuance Gyorgy Turan, University of Illinois at Chicago, University of Szeged. Endowing computers with common sense is one of the major long-term goals of Artificial Intelligence research. Commonsense knowledge and reasoning are relevant for many applications of current interest. Examples include robot and human collaboration, transparent machine-learning systems that can explain their conclusions, social media and story understanding software, and dialogue systems. The recent resurgence of interest in commonsense reasoning reflects recent technological advances which would greatly benefit from further progress in commonsense reasoning, and a wider societal reaction to these technological advances. We welcome a wide variety of submissions on all relevant and rigorous approaches to acquiring commonsense knowledge and performing commonsense reasoning, including papers describing recent research and survey papers on the state of the art of research directions within the field. Topics of interest include, but are not limited to Semantics-based representations for specific commonsense domains, such as: - Time, change, action, causality - Commonsense physical and spatial reasoning - Legal, biological, medical, and other scientific reasoning incorporating elements of common sense - Mental states such as beliefs, intentions, and emotions - Social activities and relationships Inference methods for commonsense reasoning, such as: - Logic programming - Probabilistic, heuristic, and approximate reasoning - Nonmonotonic reasoning, belief revision and argumentation - Abductive and inductive reasoning - Textual Entailment Methods for creating commonsense knowledge bases, such as: - Statistical and corpus-based techniques, including both traditional machine learning and deep learning - Crowdsourcing - Hand-crafting domain theories - Hybrid methods Applications of commonsense reasoning, especially interdisciplinary research in the following areas: - Natural language understanding (understanding discourse, question answering, semantic parsing) - Image understanding - Cognitive robotics and planning - Web-based applications (search, internet of things) - Support technologies (computer-aided instruction, home automation) Discussions of the science of commonsense reasoning research, including: - Meta-theorems about commonsense theories and techniques - Relation to other fields, such as philosophy, linguistics, cognitive psychology, game theory, and economics - Challenge problem sets and benchmarking. For more information, see http://commonsensereasoning.org From marin.lujak at imt-lille-douai.fr Wed Feb 21 11:28:10 2018 From: marin.lujak at imt-lille-douai.fr (Marin Lujak) Date: Wed, 21 Feb 2018 11:28:10 +0100 Subject: [jobs] Postdoctoral position in intelligent user profiling at IMT Lille Douai, France Message-ID: <011e01d3aafe$aba92340$02fb69c0$@imt-lille-douai.fr> Postdoctoral position: Intelligent user profiling within the French project E-logistics Keywords: Big data analysis, data mining, machine learning, AI, optimization Context The post-doc researcher will work on the E-LOGISTICS project (http://www.ademe.fr/sites/default/files/assets/documents/e-logistics_fiche_laureat.pdf) that consists in designing and developing a coherent set of services around data recovery through an ambitious program of research and development of an unpublished database containing previously inaccessible information. It is based on a large collaborative database of e-logistics flows in France that has already enabled the launch of the e-commerce logistics observatory in September 2015 in partnership with the Fevad (Federation of E-commerce). Objectives User behavioral analysis to target user expectations based on available e-logistics data. In more detail, the expected outcome of the research is a developed engine capable of profiling final users of the logistics chains and thus forecasting a future demand for better management and coordination of last-mile delivery routes. Topics of interest for the research include machine learning, big data, semantic technologies and data stream processing, among others. The research will be carried out at the Department of Informatics and Control Systems (DIA) at the Institute Mines Telecom Lille Douai (IMT Lille Douai). Eligibility criteria The applicant is expected to have (or be finishing) a PhD Degree or equivalent in Computer Science or a related field. Moreover, the applicant is expected to have a good background in machine learning, semantic technologies and/or big data. Applicants with an experience in one or more of the above academic fields are encouraged to apply. Furthermore, a good knowledge of written and oral English are required, as well as good programming skills. A high level achievement and experience in multi-disciplinary collaboration are an advantage. Benefits of the contract The work contract should start as soon as possible and should last for 18 months, with competitive working conditions. How to apply If you wish to apply for this work contract, you are kindly asked to send your (i) motivation letter describing your research interests and goals, (ii) CV, (iii) transcripts, (iv) certificates, (v) contacts for two references, and (vi) relevant publications in one PDF file at the following e-mails: stephane.lecoeuche at imt-lille-douai.fr , arnaud.doniec at imt-lille-douai.fr , and marin.lujak at imt-lille-douai.fr as soon as possible and preferably by March 31st, 2018. We will carefully review the applications on a rolling basis as they come and continue until the position is filled. About IMT Lille Douai IMT Lille Douai is created in the fusion between Ecole des Mines de Douai (Engineering School Douai), a French National Graduate School of Engineering (Grandes Ecoles d’Ingénieurs) located in Douai, close to Lille in France and Telecom Lille. It is the part of IMT Institut Mines Telecom and it is the biggest Engineering School on the north of Paris in France. As a leader in education and training in the digital sector, IMT Lille Douai offers numerous research possibilities to foreign students, who now represent more than 30% of the school's population. It is highly selective and provides an excellent academic and multi-cultural student environment. Its excellence was recognized by Le Figaro that classified Ecole des Mines de Douai as one of the best 15 Engineering Schools in 2015 in France. ________________________________________ Marin Lujak, Associate Professor IMT Lille Douai Informatics and Control Systems 941, rue Charles Bourseul 59508 Douai Cedex, France Tel +33 3 27 71 25 85 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From riccardo.zese at unife.it Wed Feb 21 14:56:05 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Wed, 21 Feb 2018 14:56:05 +0100 Subject: [CfP] PLP 2017- IJAR Special issue * deadline approaching * Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on the 4th Probabilistic Logic Programming workshop (PLP, http://stoics.org.uk/plp/plp2017). Deadline: March 7, 2018 (APPROACHING) ---------------------------------------------------------------------- The 4th PLP workshop was held on the 7th of September 2017, in Orlèans, France, as part of the 27th International Conference on Inductive Logic Programming. We welcome submissions of (improved/extended versions of) papers that were presented at the workshop in Orlèans, as well as new submissions on all topics of the workshop. Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important Dates: -------------- Submission of manuscripts: before March 7, 2018 (Papers will be sent to reviewers as soon as we receive them). Publication of the special issue: January 2019 (tentative). Guest Editors: -------------- Christian Theil Have (Copenhagen University, Denmark, c.have at sund.ku.dk) Riccardo Zese (University of Ferrara, Italy, riccardo.zese at unife.it) Submissions: ------------ All submitted papers under this call will undergo the standard review process of the journal and they must be prepared according to the "Guide for Authors" available from the online submission page of the IJAR at https://www.evise.com/profile/api/navigate/IJA Please select the Special Issue Prob. Log. Prog. 2017 at the "Article Type" step in the submission process. -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 From ijwa at dline.info Wed Feb 21 16:52:47 2018 From: ijwa at dline.info (ijwa at dline.info) Date: Wed, 21 Feb 2018 08:52:47 -0700 Subject: FGCT 2018 In-Reply-To: References: Message-ID: <068e47b4d74e0cfefcf71adedce88144@dline.info> Call For Papers Seventh International Conference on Future Generation Communication Technologies (FGCT 2018) Luton, UK August 20-22, 2018 http://www.socio.org.uk/fgct Technically co-sponsored by UK & RI IEEE In the last decade, a number of newer communication technologies have been evolved, which have a significant impact on the technology, as a whole. The impact ranges from incremental applications to dramatical breakthrough in the society. Users rely heavily on broadcast technology, social media, mobile devices, video games and other innovations to enrich the learning and adoption process. The Seventh International Conference on Future Generation Communication Technologies (FGCT 2018) conference is designed for teachers, administrators, practitioners, researchers and scientists in the development arenas. It aims to provide discussions and simulations in the communication technology at the broad level and broadcasting technology and related technologies at the micro level. Through a set of research papers, using innovative and interactive approach, participants can expect to share a set of research that will prepare them to apply new technologies to their work in teaching, research and educational development amid this rapidly evolving landscape. Topics discussed in this platform are not limited to- Emerging cellular and new network architectures for 5G New antenna and RF technology for 5G wireless Modulation algorithms Circuits, software and systems for 5G Convergence of multi-modes, multi-bands, multi-standards and multi- applications in 5G systems Cognitive radio and collaborative transmissions in 5G Computing and processing platform for 5G Programming models and development tools to enable 5G systems Small cells and heterogeneous networks Metrics and Evaluation of 5G systems Standardization of 5G Deployment options such as small cells, eICIC, MIMO and CoMP LTE/WiFi interworking, carrier aggregation, dual connectivity C-RAN, D-RAN, mmWave, Massive MIMO and ultra-low latency Higher protocol layers Latency and traffic scheduling Broadcast technology Future Internet and networking architectures Future mobile communications Mobile Web Technology Mobile TV and multimedia phones Communication Security, Trust, Protocols and Applications Communication Interfaces Communication Modelling Satellite and space communications Communication software Future Generation Communication Networks Communication Network Security Communication Data Grids Collaborative Communication Technology Intelligence for future communication systems Forthcoming optical communication systems Communication Technology for Elearning, Egovernment, Ebusiness Games and games designing Social technology devises, tools and applications Crowdsourcing and Human Computation Human-computer communication Pervasive Computing Grid, crowd sourcing and cloud computing Hypermedia systems Software and technologies for E-communication Intelligent Systems for E-communication Future Cloud for Communication Future warehousing Future communication for healthcare and medical devices applications Future communication for Mechatronic applications All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. The conference will have workshops on specific themes, industrial presentation, invited talks and collaborative discussion forums. The selected papers after extension and modification will be published in many peer reviewed and indexed journals. Important Dates Submission of Papers: June 10, 2018 Notification of Acceptance: July 08, 2018 Camera Ready: August 05, 2018 Registration: August 05, 2018 Conference Dates: August 20-22, 2018 Programme Committee General Chair Ezendu Ariwa, Univeristy of Warwick, UK Programme Chairs Yong Yue, University of Bedfordshire, UK Adrian FLOREA, Lucian Blaga” University of Sibiu, Romania Submissions at-http://www.socio.org.uk/fgct/paper-submission/ contact: fgct at socio.org.uk --------------------------------- From andrei.paskevich at lri.fr Wed Feb 21 17:10:42 2018 From: andrei.paskevich at lri.fr (Andrei Paskevich) Date: Wed, 21 Feb 2018 17:10:42 +0100 Subject: VerifyThis 2018: Call for Problems and First Announcement Message-ID: <20180221161042.GA23942@tikki.lri.fr> ******************************************************************************* VerifyThis Verification Competition 2018 FIRST ANNOUNCEMENT AND CALL FOR PROBLEMS Competition to be held at ETAPS 2018 http://verifythis.ethz.ch ******************************************************************************** Get involved, even if you cannot participate in the competition: provide a challenge. IMPORTANT DATES Submission deadline: March 9, 2018 Competition: April 14 and 15, 2018 CALL FOR PROBLEMS To extend the problem pool, we are now soliciting algorithms and data structures which could contribute interesting verification challenges for the VerifyThis program verification competition (itself introduced below). We encourage suggestions at any level of detail, in particular submissions without a fully worked out verification task. - a problem may contain an informal statement of the algorithm to be implemented (optionally with complete or partial pseudocode) and the requirement(s) to be verified - a problem should be suitable for a 60-90 minute time slot - submission of reference solutions is welcome but not mandatory - problems with an inherent language- or tool-specific bias should be clearly identified as such - problems that contain several subproblems or other means of difficulty scaling are especially welcome - the organizers reserve the right (but no obligation) to use the problems in the competition, either as submitted or with modifications - submissions from (potential) competition participants are allowed Problems from previous competitions can be seen at http://verifythis.ethz.ch Submissions are to be sent by email to verifythis at cs.nuim.ie by the date indicated above. PRIZES The most suitable submission for competition will receive a prize. ABOUT VerifyThis 2018 will take place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2018) on April 14 and 15, 2018. It is the 7th event in the VerifyThis competition series. Information on previous events and participants can be found at http://verifythis.ethz.ch The aims of the competition are: - to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion - to evaluate the usability of logic-based program verification tools in a controlled experiment that could be easily repeated by others. The competition will offer a number of challenges presented in natural language. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness and elegance. ORGANIZERS * Marieke Huisman, University of Twente, the Netherlands * Rosemary Monahan, Maynooth University, Ireland * Peter Müller, ETH Zürich, Switzerland * Andrei Paskevich, Paris-Sud University, France * Gidon Ernst, National Institute of Informatics Tokyo, Japan CONTACT Email: verifythis at cs.nuim.ie Web: http://verifythis.ethz.ch From wjamroga at in.tu-clausthal.de Thu Feb 22 08:54:38 2018 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Thu, 22 Feb 2018 08:54:38 +0100 Subject: SR18: Call for contributions (6th International Workshop on Strategic Reasoning, 7-8 July 2018, Oxford, UK) In-Reply-To: <201802212219.w1LMJD61029855@easychair.org> References: <201802212219.w1LMJD61029855@easychair.org> Message-ID: <6d9c0639-fc98-0265-217b-eee7ff273e61@in.tu-clausthal.de> ---------------------------------------------------------------------- SR 2018 - Call for Contributions 6th International Workshop on Strategic Reasoning Oxford, UK, 7-8 July 2018 http://projects.lsv.fr/sr18/index.php ---------------------------------------------------------------------- Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behavior of adversaries. The SR international workshop 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 2018 will be held within FLOC 2018 in Oxford, UK. ---------------------------------------------------------------------- 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. ---------------------------------------------------------------------- INVITED SPEAKERS The morning sessions will be devoted to tutorials on topics closely related to strategic reasoning: * Edith Elkind (U. Oxford) will give a tutorial on cooperative game theory; * Marcin Jurdziński (U. Warwick) will give a tutorial on parity games. Tutorials will take place in the morning (9:00-12:00). More details will be given when available. ---------------------------------------------------------------------- SUBMISSIONS We invite three types of submissions: * submissions reporting on published work; * submissions reporting on original contributions; * submissions reporting on challenging open problems. Each submission should be clearly identified as belonging to one of those three categories. In all three categories, submissions will be evaluated using he usual high standards of research publications. In particular, they should contain enough information to enable the program committee to identify the main contribution of the work, 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 papers whose topic is of interest to a broad, interdisciplinary audience and all contributions should be written so that they are accessible to such an audience. Submissions must be PDF files, and should preferably be written using the EPTCS format, not exceeding 12 pages (not including bibliography). Submissions will be handled using EasyChair. ---------------------------------------------------------------------- IMPORTANT DATES * Submission deadline: 15 April 2018 (AoE) * Notification: 15 May 2018 * Final version: 25 May 2018 ---------------------------------------------------------------------- PROCEEDINGS No formal proceedings will be published. The accepted contributions will be made available to all participants on a USB stick. As for previous editions, extended revised versions of some selected papers will be invited to a special issue of Information & Computation (in process). ---------------------------------------------------------------------- COMMITTEES Workshop Co-chairs * Patricia Bouyer, LSV, CNRS & ENS Paris-Saclay, France * Nicolas Markey, Univ. Rennes, CNRS & Inria, France Program Committee * Francesco Bellardinelli, IBISC, Univ. Évry, France * Patricia Bouyer, LSV, CNRS & ENS Paris-Saclay, France * Véronique Bruyère, UMons, Belgium * Nathanaël Fijalkow, LaBRI, CNRS & Univ. Bordeaux, France * Davide Grossi, Univ. Groningen, The Netherlands * Julian Guttierez, Univ. Oxford, UK * Rasmus Ibsen-Jensen, IST Austria * Wojtech Jamroga, Polish Academy of Science, Poland * Jan Křestínský, TU Munich, Germany * Christof Loeding, RWTH Aachen, Germany * Nicolas Markey, Univ. Rennes, CNRS & Inria, France * Yoram Moses, Technion, Haifa, Israel * R Ramanujam, IMSc, Chennai, India * Sasha Rubin, Univ. Naples, Italy * Abdallah Saffidine, Univ. New South Wales, Sydney, Australia * François Schwartzentruber, Univ. Rennes, CNRS & INRIA, France * Tami Tamir, IDC Herzliya, Israel * Ashutosh Trivedi, Univ. Colorado at Boulder, USA ---------------------------------------------------------------------- -- Prof. Dr. Wojciech Jamroga Associate Professor Institute of Computer Science, Polish Academy of Sciences http://krak.ipipan.waw.pl/~wjamroga/ From grlmc at grlmc.com Sun Feb 25 04:23:46 2018 From: grlmc at grlmc.com (GRLMC) Date: Sun, 25 Feb 2018 04:23:46 +0100 Subject: SLSP 2018: 1st call for papers Message-ID: <545102060a010b060653590b0e055a00010707550a06505106550850520e55035c540253020f030b545751510e0a55@grlmc_ip-zone_com-6> SLSP 2018: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   6th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2018   Mons, Belgium   October 15-17, 2018   Co-organized by:   NUMEDIART Institute University of Mons   LANGUAGE Institute University of Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2018.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, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2018, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2018 will take place in Mons, which was European Capital of Culture in 2015. The venue will be:   University of Mons 31 Bvd Dolez, 7000 Mons Belgium   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 2018 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Steven Abney (University of Michigan, US) Srinivas Bangalore (Interactions LLC, US) Jean-François Bonastre (University of Avignon et Pays du Vaucluse, FR) Pierrette Bouillon (University of Geneva, CH) Nicoletta Calzolari (Italian National Research Council, IT) Erik Cambria (Nanyang Technological University, SG) Kenneth W. Church (Baidu Research, US) Walter Daelemans (University of Antwerp, BE) Thierry Dutoit (University of Mons, BE) Marcello Federico (Bruno Kessler Foundation, IT) Robert Gaizauskas (University of Sheffield, UK) Ralph Grishman (New York University, US) Udo Hahn (University of Jena, DE) Siegfried Handschuh (University of Passau, DE) Mark Hasegawa-Johnson (University of Illinois, Urbana–Champaign, US) Keikichi Hirose (University of Tokyo, JP) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Gareth Jones (Dublin City University, IE) Philipp Koehn (University of Edinburgh, UK) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Alessandro Moschitti (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Jian-Yun Nie (University of Montréal, CA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Cecile Paris (CSIRO Data61, AU) Jong C. Park (Korea Advanced Institute of Science and Technology, KR) Alexandros Potamianos (National Technical University of Athens, GR) Paul Rayson (Lancaster University, UK) Mats Rooth (Cornell University, US) Paolo Rosso (Polytechnic University of Valencia, ES) Alexander Rudnicky (Carnegie Mellon University, US) Tanja Schultz (University of Bremen, DE) Holger Schwenk (Facebook AI Research, FR) Vijay K. Shanker (University of Delaware, US) Richard Sproat (Google Research, US) Tomoki Toda (Nagoya University, JP) Gökhan Tür (Google Research, US) Yorick Wilks (Institute for Human & Machine Cognition, US) Phil Woodland (University of Cambridge, UK) Dekai Wu (Hong Kong University of Science and Technology, HK) Junichi Yamagishi (University of Edinburgh, UK)   ORGANIZING COMMITTEE:   Stéphane Dupont (Mons) Thierry Dutoit (Mons, co-chair) Kévin El Haddad (Mons) Kathy Huet (Mons) Sara Morales (Brussels) Manuel J. Parra Royón (Granada) Gueorgui Pironkov (Mons) David Silva (London, co-chair)   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=slsp2018   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://slsp2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: May 27, 2018 Notification of paper acceptance or rejection: July 3, 2018 Final version of the paper for the LNCS/LNAI proceedings: July 13, 2018 Early registration: July 13, 2018 Late registration: October 1, 2018 Submission to the journal special issue: January 17, 2019   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   ACKNOWLEDGMENTS:   Université de Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Feb 26 15:38:28 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 26 Feb 2018 09:38:28 -0500 (EST) Subject: AISC 2018 Call for Papers Message-ID: <20180226143828.9326B1700EB6@cs.miami.edu> AISC 2018 Call for Papers 13th International Conference on Artificial Intelligence and Symbolic Computation Suzhou, China, September 16-19, 2018 http://aisc2018.cc4cm.org OVERVIEW AISC is a forum for the exchange of ideas and the presentation of new tools and solutions at the intersection of Artificial Intelligence and Symbolic Computation. It aims to foster contacts and collaborations among researchers from different fields related to AI and Symbolic Computation. The conference is concerned with all aspects of research, including theory, implementations, and applications. AISC 2018 takes a broad view of AI that includes non-traditional areas such as machine/deep learning and their interactions with logic and symbolic reasoning. It will also have a special track on Collective Intelligence. Conferences in this series are usually held every two years. The previous five took place in Sevilla (Spain), Paris (France), Birmingham (United Kingdom), Beijing (China), and Linz (Austria). AISC 2018 will take place in Suzhou, China. TOPICS Specific topics for AISC 2018 include, but are not limited to: * Cognitive modelling and symbolic AI * Machine learning and computational intelligence * Data modelling and analysis * Knowledge representation and symbolic computing * Knowledge acquisition, search, verification, and interoperation * Automated reasoning and knowledge discovery * Causal inferences, uncertainty reasoning, and decision support * Cross-disciplinary knowledge management * Mechanization of mathematics * Mechanized program verification and debugging * Combination of logics and computations * Integration of logical reasoning and computer algebra * Symbolic computations for expert systems and machine learning * Computer vision and computer-aided geometric design * Computer algebra systems and automated theorem provers * Computer-based mathematics teaching and didactics * Programming languages and systems for symbolic computation * Emerging fields of computational AI Topics for the special track on Collective Intelligence include, but are not limited to: * Human computation and collective intelligence * Game theory and crowdsourcing computation * Crowdsourcing software engineering * Crowdsourcing publishing, reviewing, and competition systems SUBMISSION GUIDELINES Original research papers in English, including experimental work and work in progress are welcome. The following types of submissions are invited. * Regular papers: maximum 15 pages. * Short papers: maximum 5 pages that address the following aspects explicitly. - Problem: what is the problem/question/objective? - Motivation: why are we working on the problem and what is its importance? - State of the art: what has been done already on the problem? - Contribution: what is the main original contribution? - Main idea: what is the main idea underlying the contribution? Additional information: * The submissions should indicate whether they are submitted as short or regular papers as part of their titles (see the AISC webpage for instructions). Aside from this they should follow the standard Springer LNCS Proceedings format. * Electronic submission as PDF should be via EasyChair at https://easychair.org/conferences/?conf=aisc2018. * Accepted papers must be presented at the conference. * If you have any problems with the submission of your paper, or questions concerning AISC 2018 or EasyChair, please contact aisc2018 at easychair.org. PUBLICATION The proceedings of AISC 2018 will be published by Springer in its LNAI series and will be available by the time of the conference. As for previous editions of AISC, authors of selected conference papers may be invited to submit extended versions for review and publication in the special issue of a journal. IMPORTANT DATES * Abstract submission deadline: April 27, 2018 * Short/Regular paper submission deadline: May 4, 2018 * Author notification: June 29, 2018 * Camera-ready submission: July 11, 2018 * Early registration: August 18, 2018 * Conference: September 16-19, 2018 INVITED SPEAKERS (to be completed) * Bruno Buchberger (Johannes Kepler University, Austria) * Alan Bundy (University of Edinburgh, UK) GENERAL CHAIRS * Jacques Calmet (Karlsruhe Institute of Technology, Germany) * Dongming Wang (Beihang University, China & CNRS, France) PROGRAM COMMITTEE * Jesus Aransay (University of la Rioja, Spain) * Yves Bertot (Sophia Antipolis, France) * Francisco Botana (University of Vigo, Spain) * Krysia Broda (Imperial College, UK) * Xiaoyu Chen (Beihang University, China) * Mnacho Echenim (Laboratoire d'Informatique de Grenoble, France) * Matthew England (Coventry University, UK) * Jacques Fleuriot (University of Edinburgh, UK), AISC 2018 PC Chair * Xiao-Shan Gao (Chinese Academy of Sciences, China) * Tetsuo Ida (University of Tsukuba, Japan) * Paul Jackson (University of Edinburgh, UK) * Predrag Janicic (University of Belgrade, Serbia) * Deepak Kapur (University of New Mexico, USA) * Michael Kohlhase (FAU Erlangen-Nurenberg, Germany) * Ekaterina Komendantskaya (Heriot-Watt University, UK) * Robert Y. Lewis (Vrije University Amsterdam, Netherlands) * Xinjun Mao (National University of Defense Technology, China) * Chenqi Mou (Beihang University, China) * Julien Narboux (University of Strasbourg, France) * Petros Papapanagiotou (University of Edinburgh, UK) * Tomas Recio (University of Cantabria, Spain) * Jose-Luis Ruiz-Reina (University of Seville, Spain) * Carolyn Talcott (SRI International, USA) * Laurent Thery (INRIA Sophia Antipolis, France) * Yongxin Tong (Beihang University, China), Special Track Co-chair * Josef Urban (Czech Technical University in Prague, Czech Republic) * Wolfgang Windsteiger (Johannes Kepler University, Austria) * Ye Yuan (Northeastern University, China) * Zimu Zhou (ETH Zurich, Switzerland), Special Track Co-chair ORGANISING COMMITTEE * Wenjun Wu (Beihang University, China), Chair * Xiaoyu Chen (Beihang University, China) PUBLICITY CHAIR * Xiaohong Jia (Chinese Academy of Sciences, China) From blllne2 at unife.it Tue Feb 27 11:47:21 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Tue, 27 Feb 2018 11:47:21 +0100 Subject: CFP: PLP 2018 - Probabilistic Logic Programming Workshop 2018 Message-ID: PLP-2018: The Fifth Workshop on Probabilistic Logic Programming ---------------------------------------------------------------------------------------- A workshop of the 28th International Conference on Inductive Logic Programming 1 September 2018 Ferrara, Italy http://stoics.org.uk/plp/plp2018/ Overview -------- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * bioinformatics * semantic web * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ------- The fifth edition of PLP is held at the ILP conference in Ferrara. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----------- Submissions will be managed via EasyChair ( https://easychair.org/conferences/?conf=plp2018). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----------- Informal proceedings will be made available electronically to attendees. They will also be stored permanently in the form of CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Special Issue of IJAR --------------------- Like for past additions of PLP, we plan to invite all authors to submit a revised version of their paper for a Probabilistic Logic Programming special issue of the IJAR journal. Deadlines --------- Papers due: 11th June 2018 Notification to authors: 11th July 2018 Camera ready version due: 27th July 2018 Workshop data: 1st September 2018 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----------------- To be announced *** Co-located Events *** ----------------- The workshop is part of the Relational Artificial Intelligence Days (RAID) organized in Ferrara, which include: Before - ACAI Summer School 2018: Courses on Statistical Relational Artificial Intelligence, 27th - 31st August 2018 After - ILP 2018: Inductive Logic Programming Conference, 2nd - 4th September 2018 http://raid2018.unife.it/ Program Chairs -------------- Elena Bellodi (Department of Engineering, University of Ferrara, Italy) Tom Schrijvers (Department of Computer Science, KU Leuven, Belgium) Programme Committee ------------------- Krysia Broda (Imperial College, UK) Henning Christiansen (Roskilde University, Denmark) Fabio Cozman (University of S„o Paulo, Brazil) Luke Dickens (University College London, UK) Sriraam Natarajan (The University of Texas at Dallas, USA) Matthias Nickles (National University of Ireland, Ireland) Rolf Schwitter (Macquarie University, Australia) Chung-chieh Shan (Indiana University Bloomington, USA) Senior Committee ---------------- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Cassia.Trojahn at irit.fr Tue Feb 27 20:26:49 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 27 Feb 2018 20:26:49 +0100 Subject: EKAW 2018 =?utf-8?q?=3A?= Call for workshops and tutorials Message-ID: <4f82-5a95b100-3e5-24d8d300@81112307> Call for workshops and tutorials In conjunction with EKAW 2018 https://project.inria.fr/ekaw2018/ November 12 - 16 Nancy, France Introduction The International Conference on Knowledge Engineering and Knowledge Management (EKAW) is concerned with all aspects of eliciting, acquiring, modelling and managing knowledge, as well its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. This year, EKAW will pay special attention to topics related to knowledge and artificial intelligence. Besides the regular conference tracks, EKAW will host a number of workshops and tutorials on topics related to the theme of the conference. We hope our workshops to provide an informal setting where participants have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas; and tutorials to enable attendees to fully appreciate current issues, main schools of thought, and possible application areas. Topics of Interest In order to meet these goals, workshop/tutorial proposals should address topics that satisfy the following criteria: the falls in the general scope of EKAW 2018; there is a clear focus on a specific technology, problem or application; there is a sufficiently large community interested in the topic. Submission Guidelines Proposals should be submitted via EasyChair at: https://easychair.org/conferences/?conf=ekaw2018wst Submissions should be a single PDF file of no more than 5 pages, specifying "Workshop Proposal" or "Tutorial Proposal", and should contain the following information. Workshop proposals: Title. Abstract (200 words). Motivation on why the topic is of particular interest at this time and its relation to the main conference topics. Workshop format, discussing the mix of events such as paper presentations, invited talks, panels, and general discussion. Intended audience and expected number of participants. List of (potential) members of the program committee (at least 50% have to be confirmed at the time of the proposal, confirmed participants should be marked specifically). Indication of whether the workshop should be considered for a half-day or full-day. The tentative dates (submission, notification, camera-ready deadline, etc.) Past versions of the workshop, including URLs as well as number of submissions and acceptance rates. Details of the organisers (name, affiliation, email address, homepage) and short CV. We strongly advise having more than one organiser, preferably from different institutions, bringing different perspectives to the workshop topic. We welcome, and will prioritise, workshops with creative structures and organisations that attract various types of contributions and ensure rich interactions. Tutorial proposals: Title. Abstract (200 words). Relation to the conference topics, i.e. why it will be of interest to the conference attendants. If the tutorial, or a very similar tutorial, has been given elsewhere, explanation of the benefit of presenting it again to the EKAW community. Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge. Indication on whether the tutorial should be considered for a half-day or full-day. Intended audience and expected number of participants. Audio-visual or technical requirements and any special room requirements (for hands-on sessions, any software needed and download sites must be provided by the tutorial presenters). Details of the presenters (name, affiliation, email address, homepage) and short CV including also their expertise, experiences in teaching and in tutorial presentation. Workshop Organiser Responsibilities The organisers of accepted workshops are expected to: prepare a workshop webpage (linked to the official EKAW website) containing the call for papers and detailed information about the workshop organisation and timelines. be responsible for the workshop publicity. be responsible for their own reviewing process, decide upon the final program content and report the number of submissions and accepted papers to the workshop chair. be responsible for publishing electronic proceedings (e.g. on the CEUR-WS website). ensure workshop participants are informed they have to register to the main conference and the workshop. schedule, attend and coordinate their entire workshop. Tutorial Organisers Responsibilities The proposers of accepted tutorials are expected to prepare a tutorial webpage (linked to the official EKAW website) containing detailed information about the tutorial prepare the tutorial materials publicity distribute materials to participants schedule, attend and coordinate their tutorial. Important Dates Proposals due: 9 May, 2018 Notifications: 23 May 2018 Suggested Timeline for Workshops Workshop website up and calls: 1 June 2018 Deadline to submit Papers to Workshops: 8 September 2018 Acceptance of Papers for Workshops: 1 October 2018 Workshop days: 12 or 13 November 2018 Chairs Manuel Atencia, Université Grenoble Alpes & Inria, France Marieke van Erp, KNAW Humanities Cluster, The Netherlands Contact: ekaw2018wst at easychair.org From Cassia.Trojahn at irit.fr Tue Feb 27 20:41:30 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 27 Feb 2018 20:41:30 +0100 Subject: EKAW 2018 =?utf-8?q?=3A?= First call for =?utf-8?q?research=2C?= =?utf-8?q?_in-use=2C?= and position papers Message-ID: <420-5a95b480-347-79639500@46699388> ** First call for research, in-use, and position papers ** The 21th International Conference on Knowledge Engineering and Knowledge Management is with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of this year's EKAW is "Knowledge and AI". We are indeed calling for papers that describe algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques for knowledge discovery, modelling and managing, as well as papers that jointly exploit knowledge which is implicitly included in data (e.g., in learned models) and explicitly represented (e.g., in conceptual models). EKAW 2018 will put a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. ** Best paper award ** Research and in-use papers are eligible for the Bob Wielinga Best Paper Award. ** Topics of interest ** EKAW 2018 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: * AI and Knowledge * - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multi-media knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI * Knowledge Management * - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) * Knowledge Engineering and Acquisition * - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge * Social and Cognitive Aspects of Knowledge Representation * - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management * Applications in specific domains such as * - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) ** Type of papers ** We will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to its own evaluation criteria. The Programme Committee will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. Research papers: These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of-concept. The main evaluation criteria here will be originality, technical soundness and validation. In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users, etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations are essential for this type of paper and should involve a representative subset of the actual users of the system. Position papers: We invite researchers to also publish position papers, which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order contribute to a better understanding of these problems in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. ** Important dates ** - Abstract deadline: July 2nd, 2018 - Submission deadline: July 9th, 2018 - Notification of acceptance: August 31st, 2018 - Camera-ready paper: September 10th, 2018 - Conference days: November 13th-16th, 2018 - All submission deadlines are 23:59:59 Hawaii Time. ** Submissions ** Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via EasyChair. All submissions for research, in-use, and position papers must be in English, and no longer than 15 pages. Papers that exceed this limit will be rejected without review. Submissions must be in PDF, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions. ** Organization ** General chair Amedeo Napoli (CNRS, France) Yannick Toussaint (Université de Lorraine, France) Program chairs Catherine Faron Zucker (Université Nice Sophia Antipolis, France) Chiara Ghidini (Fondazione Bruno Kessler, Italy) From Wiebe.Van-Der-Hoek at liverpool.ac.uk Wed Feb 28 23:53:13 2018 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Wed, 28 Feb 2018 22:53:13 +0000 Subject: LOFT2018: New deadline 8th of March Message-ID: Dear reader, due to a number of requests, we have decided to move the deadline for sending papers with a week, to March 8, 2018. LOFT_13 2018: Final Call for Papers Thirteenth Conference on Logic and the Foundations of Game and Decision Theory Bocconi University (Milano, Italy), July 16-18, 2018 PROGRAM CHAIRS: Giacomo Bonanno, University of California Davis, USA Pierpaolo Battigalli, Bocconi University, Milano, Italy Wiebe van der Hoek, University of Liverpool, United Kingdom AIMS OF THE CONFERENCE This is the 13th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers that bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous eleven conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, Sevilla (Spain), 2012, Bergen (Norway), 2014 and Maastricht (The Netherlands) 2016. Among the topics of particular relevance are: • Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. • Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. • Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. • Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://easychair.org/conferences/?conf=loft2018 Note that the 10-page limit (excluding references and appendix) is a HARD CONTRAINT: submissions exceeding 10 pages will NOT be considered. The deadline for submission is March 8, 2018, and authors will be notified of acceptance decisions by April 15, 2018. Papers that have appeared in print, or are known to appear in print, before the conference, should not be submitted for presentation at LOFT. IMPORTANT DATES Deadline for submission: 8 March, 2018 Deadline for reviews: 1 April, 2018 Notification to authors: 15 April, 2018 Conference: July 16-18, 2018 PUBLICATION OF CONTRIBUTED PAPERS We anticipate that, as in the past, a selection of papers presented at LOFT13 will be published in one or two special issues of journals. For a list of publications based on previous LOFT conferences see: http://www.econ.ucdavis.edu/faculty/bonanno/loft.html ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Dean, School of EEE&CS University of Liverpool Editor-in-Chief of Synthese tel (+44) 7970247480 wiebe at liverpool.ac.uk From mpavone at dmi.unict.it Mon Feb 26 14:57:27 2018 From: mpavone at dmi.unict.it (Mario Pavone) Date: Mon, 26 Feb 2018 14:57:27 +0100 Subject: MESS 2018 - from Design to Implementation - Last News - Taormina, Italy, 21-25 July 2018 Message-ID: <20180226145727.Horde.UiXPDuph4B9alBJHwlP3avA@mbox.dmi.unict.it> Call for Participation (apologies for multiple copies) -- SCHOLARSHIPS & TITLE OF THE LECTURES -- ----------------------------------------------------------------------- MESS 2018 - Metaheuristics Summer School - from Design to Implementation - 21-25 July 2018, Taormina, Italy https://www.ANTs-lab.it/mess2018/ mess.school at ANTs-lab.it ----------------------------------------------------------------------- ** APPLICATION DEADLINE: 15th April 2018 ** MESS 2018 is aimed at qualified and strongly motivated MSc and PhD students; post-docs; young researchers, and both academic and industrial professionals to provide an overview on the several metaheuristics techniques, and an in-depth analysis of the state-of-the-art. As first edition, MESS 2018 wants to analyze all metaheuristics from its designing to its implementation. In particular, in MESS 2018 will be analyzed modern heuristic methods for search and optimization problems, as well as the classical exact optimization methods, seen also in the metaheuristics context. All participants will have plenty of opportunities for debate and work with leaders in the field, benefiting from direct interaction and discussions in a stimulating environment. They will also have the possibility to present their recently results and/or their working in progress through oral or poster presentations, and interact with their scientific peers, in a friendly and constructive environment. ** Confirmed Speakers + Christian Blum, IIIA-CSIC, Barcelona, Spain - Lecture 1: Construct, Merge, Solve & Adapt: A Recent Hybrid Metaheuristic - Lecture 2: Swarm Intelligence in Combinatorial Optimization + Juergen Branke, Warwick Business School, UK - Lecture 1: Simulation-based optimisation - Lecture 2: Multi-objective optimisation + Salvatore Greco, University of Catania, Italy & University of Portsmouth, UK - Lecture 1: Basic Concepts of Multiple Criteria Decision Aiding/Making - Lecture 2:Using Preference Elicitation in Evolutionary Multiobjective Optimization + Yaochu Jin, University of Surrey, UK - Lecture 1:Data-driven surrogate-assisted evolutionary multi-objective optimization - Lecture 2: Multi-objective machine learning + Gunther Raidl, Technische Universitat Wien, Austria - Lecture 1: TBA - Lecture 2: TBA + Helena Ramalhinho Lourenco, Universitat Pompeu Fabra, Spain - Lecture 1: Extensions of Iterated Local Search - Lecture 2: Issues and examples of applying metaheuristics in business + Mauricio Resende, AMAZON, USA - Lecture 1: TBA - Lecture 2: TBA + Celso Ribeiro, Universidade Federal Fluminense, Brazil - Lecture 1: Optimization by GRASP ? Part I - Lecture 2: Optimization by GRASP ? Part II + Andrea Schaerf, University of Udine, Italy - Lecture 1: Simulated Annealing and Friends: Introduction to Randomized Local Search Methods - Lecture 2: Simulated Annealing, we need to talk: Critical Analysis of Real-World Applications of Randomized Local Search Methods to Scheduling and Timetabling Problems + Fabio Schoen, Unviersity of Florence, Italy - Lecture 1: Large scale global optimization methods: basics - Lecture 2: Large scale global optimization methods: examples of applications + El-Ghazali Talbi, University of Lille 1, France - Lecture 1: TBA - Lecture 2: TBA + Daniele Vigo, University of Bologna, Italy - Lecture 1: TBA - Lecture 2: TBA ** Short Talk and Poster Presentation All participants may submit an abstract of their recent results, or works in progress, for presentation and having the opportunities for debate and interact with leaders in the field. Mini-Workshop Organizers and Scientific Committee will review the abstracts and will recommend for the format of the presentation (oral or poster). All abstracts will be published on the electronic hands-out book of the summer school. The Abstracts must be submitted by *April 15, 2018*. ** Sponsor & Scholarships: Thanks to the sponsorship by EU/ME METAHEURISTICS working group (https://www.euro-online.org/websites/eume/), some scholarships for the best participants will be available. More sponsors and scholarships will be announced soon!! ** Certificate: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. ** School Directors + Salvatore Greco, University of Catania, Italy + Panos Pardalos, University of Florida, USA + Mario Pavone, University of Catania, Italy + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy ** Oral & Poster Presentation Organizers + Luca Di Gaspero, Unviersity of Udine, Italy + Paola Festa, University of Naples "Federico II", Italy ** Metaheuristics Competition Chair + Raffaele Cerulli, University of Salerno, Italy ** More Information: https://www.ANTs-lab.it/mess2018/ -- mess.school at ANTs-lab.it Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383034 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================== MESS 2018 - Metaheuristics Summer School 21-25 July 2018, Taormina, Italy W: https://www.ANTs-lab.it/mess2018/ E: mess.school at ANTs-lab.it FB: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school ===========================================================