From amal.tawakuli at uni.lu Thu Aug 2 10:45:05 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Thu, 02 Aug 2018 10:45:05 +0200 Subject: Last Call for Abstracts: Deduktionstreffen 2018 Message-ID: [Our apologies should you receive this message more than once] =========================================== Deduktionstreffen 2018 September 21, 2018, University of Luxembourg Part of Luxembourg Logic for AI Summit (LuxLogAI 2018) =========================================== ==Overview== The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone interested in deduction can report on their work in an informal setting. A special focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. ==Organization== We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in a five minute teaser talk and then discussed next to a poster (maximal size: A0 portrait). The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys. Deduktionstreffen 2018 is associated with the Luxembourg Logic for AI Summit (LuxLogAI), which brings together several renowned conferences and events, including RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018) and the MIREL 2018 workshop. ==Submission== Submission is open to everybody interested in deduction systems. Particularly encouraged are submissions that address one or several topics of the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI. Please submit a one-page abstract of your contribution on EasyChair (https://easychair.org/conferences/?conf=deduktionstreffen20180
) Early submission: July 5 (Notification: July 15)
 Standard submission: August 5 (Notification: August 15)
 Early submission is meant to grant planning reliability to interested students and researchers, e.g. if they would like to apply for travel grants. In particular, LuxLogAI will award a limited number of travel grants to master/PhD students, see https://luxlogai.uni.lu for details. ==Invited Speakers== • Cynthia Kop, Nijmegen • Pascal Fontaine, Nancy ==Program Committee (provisional)== • Serge Autexier • Bernhard Beckert • Christoph Benzmüller • Jasmin Blanchette • Jürgen Giesl • Matthias Horbach (co-chair) • Dieter Hutter • Manfred Kerber • Christoph Kreitz • Jens Otten • Florian Rabe • Stephan Schulz • Viorica Sofronie-Stokkermans • Volker Sorge • Alexander Steen (co-chair) • Uwe Waldmann (co-chair) • Christoph Weidenbach ==Organizers== • Alexander Steen 
 • Uwe Waldmann • Matthias Horbach ==================================================== 
 Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate and Publicity chair of LuxLogAI 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 bikakis.nikos at gmail.com Thu Aug 2 10:45:05 2018 From: bikakis.nikos at gmail.com (Nikos Bikakis) Date: Thu, 02 Aug 2018 10:45:05 +0200 Subject: Correction - [Deadline Extended] Special Issue: Big Data Exploration, Visualization and Analytics, Big Data Research Journal, Elsevier In-Reply-To: References: Message-ID: Due to numerous requests the submission deadline has been extended to **September 15, 2018**. ------------------------------- Call for Papers Special Issue "Big Data Exploration, Visualization and Analytics" Big Data Research Journal, Elsevier https://goo.gl/CJ9BJ5 One the major challenges of the Big Data era is that it has realized the availability of a great amount and variety of massive datasets for analysis by non-corporate data analysts, such as research scientists, data journalists, policy makers, SMEs and individuals. A major characteristic of these datasets is that they are: accessible in a raw format that are not being loaded or indexed in a database (e.g., plain text, json, rdf), dynamic, dirty and heterogeneous in nature. The level of difficulty in transforming a data-curious user into someone who can access and analyze that data is even more burdensome now for a great number of users with little or no support and expertise on the data processing part. The purpose of visual data exploration is to facilitate information perception and manipulation, knowledge extraction and inference by non-expert users. The visualization techniques, used in a variety of modern systems, provide users with intuitive means to interactively explore the content of the data, identify interesting patterns, infer correlations and causalities, and supports sense-making activities that are not always possible with traditional data traditional data analysis techniques. In the Big Data era, several challenges arise in the field of data visualization and analytics. First, the modern exploration and visualization systems should offer scalable data management techniques in order to efficiently handle billion objects datasets, limiting the system response in a few milliseconds. Besides, nowadays systems must address the challenge of on-the-fly scalable visualizations over large and dynamic sets of volatile raw data, offering efficient interactive exploration techniques, as well as mechanisms for information abstraction, sampling and summarization for addressing problems related to visual information overplotting. Further, they must encourage user comprehension offering customization capabilities to different user-defined exploration scenarios and preferences according to the analysis needs. Overall, the challenge is to enable users to gain value and insights out of the data as rapidly as possible, minimizing the role of IT-expert in the loop. This special issue aims to publish work on multidisciplinary research areas spanning from Data Management and Mining to Information Visualization and Human-Computer Interaction. Topics for the Special Issue ------------------------------- Topics of interest include, but are not limited to:  - Visualization and exploration techniques for various Big Data types (e.g., stream, spatial, high-dimensional, graph)  - Human-centered database techniques  - Indexes and data structures for data visualization  - Raw data visual exploration and analytics  - Incremental and adaptive processing  - Interactive caching and prefetching  - Scalable visual operations (e.g., zooming, panning, linking, brushing)  - Big Data visual representation techniques (e.g., aggregation, sampling, multi-level, filtering)  - Setting-oriented visualization (e.g., display resolution/size, smart phones, pixel-oriented, visualization over networks)  - User-oriented visualization (e.g., assistance, personalization, recommendation)  - Visual analytics (e.g., pattern matching, timeseries analytics, prediction analysis, outlier detection, OLAP)  - Visual and interactive data mining  - Models of human-in-the-loop data analysis  - High performance/Parallel techniques  - Visualization hardware and acceleration techniques  - Linked Data and ontologies visualization  - Case and user studies  - Systems and tools  Important Dates -------------------------------   Submission Deadline: September 15, 2018   **extended**   Author Notification: November 1, 2018   Revised Manuscript Due: January 10, 2019   Notification of Acceptance: February 10, 2019   Final Manuscript Due: February 25, 2019   Tentative Publication Date: May, 2019 Guest Editors -------------------------------   Nikos Bikakis, ATHENA Research Center, Greece   George Papastefanatos, ATHENA Research Center, Greece   Olga Papaemmanouil, Brandeis University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amal.tawakuli at uni.lu Thu Aug 2 10:45:05 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Thu, 02 Aug 2018 10:45:05 +0200 Subject: First Call For Participation - LuxLogAI 2018 Message-ID: [ Our apologies should you receive this message more than once ] ====================================================== First Call For Participation Luxembourg Logic for AI Summit (LuxLogAI 2018) 17-26 Sep 2018, Luxembourg https://luxlogai.uni.lu *** The early registration deadline is on 09—August-2018 *** Both student and regular early registrants receive €100 off. *** The normal registration deadline is on 01—Septemeber-2018 *** Registrations after the deadline are considered as late registrations. For regular registrants (non-students), a late fee applies. ====================================================== The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018, the MIREL workshop and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018). With its special focus theme on “methods and tools for responsible AI”, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable. The summit will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of Artificial Intelligence and Rule-based Systems. We invite you to join rigorous researchers and inventive practitioners in Luxembourg, a world-class location for research, development and innovation at the heart of Europe. ==Sponsors== - Luxembourg National Research Fund (FNR) - The University of Luxembourg - Interdisciplinary Centre for Security, Reliability and Trust (SnT) - Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS) - Digital Luxembourg (sponsor for Diversity at LuxLogAI) ==Keynotes & Speakers== - Hannah Bast (Uni Freiburg) - Pascal Fontaine (Uni Lorraine) - Georg Gottlob (Uni Oxford) - Guido Governatori (CSIRO, Data61) - Cynthia Kop (Radboud Uni Nijmegen) - Valeria de Paiva (Nuance Communications) - Philipp Slusallek (Saarland Uni) - Daniele Nardi (Uni Roma) - Daphna Weinshall (Hebrew Uni Jerusalem) - Bob Kowalski (Imperial College) and Miguel Calejo (logicalcontracts.com) - Fariba Sadri (Imperial College London) - Monica Palmirani (Uni Bologna) - Banquet Speaker: tba ==Multiple Events Summit== - MIREL (MIning and REasoning with Legal texts) Workshop: 17 September 2018. - 4th Global Conference on Artificial Intelligence (GCAI 2018): 17-19 September 2018. - DecisionCAMP (Business Rules and Decision Management Technology): 17-19 September 2018. - AI and ART: 17-19 September 2018. - 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018): 18-21 September 2018. - AI Public Event: 19 September with Viviane Reding [(European Parliament), Toby Walsh (UNSW Sydney), Claude Adam (University of Luxembourg), Philipp Slusallek (DFKI, Saarland University)] - Self Organizing Systems (SOS): 19 September 2018. - Diversity at LuxLogAI: 20 September 2018. - Annual meeting of the Deduction Systems group of GI e.V. (Deduktionstreffen 2018): 21 September 2018. - Reasoning Web Summer School (RW 2018): 22-26 September 2018. ==Open Calls== - RuleML+RR Posters, see Call for Posters, Extended deadline: 8 August 2018 - Deduktionstreffen 2018, see Call for Abstracts, Deadline: 5 August 2018 ==Registration== Registration is open via EasyChair (https://easychair.org/conferences/?conf=luxlogai2018) - Early registration deadline: 9 August, 2018 - Normal registration deadline: 1 September, 2018 - After normal registration deadline, a late registration fee applies (for non-students) ==Organization== - Summit Chair (LuxLogAI): Leon van der Torre (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) - Doctoral Consortium Chair Kia Teymouria (Boston University, Metropolitan College) Paul Fodor (Stony Brook University) - Int’l Rule Challenge Chairs: Giovanni De Gasperis (U L’Aquila) Wolfgang Faber (Alpen-Adria-U Klagenfurt) Adrian Giurca (BTU Cottbus- Senftenberg) - Reasoning Web (RW) Summer School Claudia d’Amato (U Bari) Martin Theobald (U Luxembourg) - Publicity Chairs: Amal Tawakuli (U Luxembourg) - Financial Chair Martin Theobald (U Luxembourg) - Poster Chair Alex Steen (U Luxembourg) ==Media== - Web: https://luxlogai.uni.lu - Twitter: @luxlogai - Instagram: @luxlogai - RuleML Blog: http://blog.ruleml.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 patrizi at diag.uniroma1.it Thu Aug 2 10:45:05 2018 From: patrizi at diag.uniroma1.it (Fabio Patrizi) Date: Thu, 02 Aug 2018 10:45:05 +0200 Subject: ACTIONS@KR: LAST CALL FOR CONTRIBUTIONS Message-ID: **************************************************************************** LAST CALL FOR CONTRIBUTIONS Reasoning about Actions and Processes: Highlights of Recent Advances ACTIONS at KR18 http://www.diag.uniroma1.it/~kr18actions/ Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona (USA) **************************************************************************** The field of Reasoning about actions, a fundamental area of KR, is expanding to incorporate research from a wide range of other areas of AI and CS. In recent years, we have moved from standard forms of reasoning, such as action sequence executabilty and future effects (projection), to more sophisticated forms of reasoning which share many commonalities with other fields of CS, from verification in Formal Methods to process modeling and analysis in Business Process Management. Moreover, connections with planning are being extended to other forms of synthesis, such as generalized planning, MDPs/RL, supervisory control, reactive synthesis, etc. Papers from these various areas are dispersed across many conferences, which makes it difficult to follow the general direction of the field. Drawing upon a successful format followed in other fields (e.g., http://highlights-conference.org), the workshop aims to offer a wide picture of the latest research in the field and a chance to meet everybody in the community. Goal This workshop aims to bring together researchers working in a variety of areas of AI and CS -- including KR, planning, RL, verification, and synthesis -- to foster these emerging directions of reasoning about actions and processes. Format We invite submissions for presentations, not papers. We welcome a presentation on your favorite recent technical work, position paper, or open problems with clear and concise formulations of current challenges. The contributed talks will be 15-minutes long. All sessions will be designed to promote interaction between the attendees by holding frequent discussion periods for analysis and critique. The workshop will also have panel sessions on important emerging issues for the field and longer keynote talks. Submissions Submissions should have a single main author, who will be the speaker, and each speaker can have no more than one submission. Each submission must be at most 2-pages long and may refer to joint work with other collaborators to be credited in the presentation. There are no formal proceedings and we encourage submissions of work presented or submitted elsewhere (no copyright transfer is required, only permission to post the abstract on the workshop site). Topics of interest include but are not limited to: Reasoning about actions Representing and reasoning about processes Hierarchical abstractions of action models Generalized planning Verification and Synthesis of high level agent behaviors Agent behavior control Logic-based representation, action theories, temporal logics, logics of programs Stochastic representation, MDPs and Non-Markovian Decision Processes Learning dynamic behaviors, RL Partial observability, incomplete information, uncertainty Reasoning about beliefs, goals and intentions First-person vs third person view Plan, intention, and activity recognition Transparency, predictability and accountability of agents’ behaviors Both theoretical and application-oriented contributions are welcome. Papers can be submitted via EasyChair: https://easychair.org/conferences/?conf=actionskr18 Important Dates Submission July 21, 2018 ***extended to August 4, 2018*** Notification August 25, 2018 ***extended to August 31, 2018*** Workshop October 28 & 29, 2018 Invited Talks To be announced. Registration For registration details see KR 2018 website. Organizing Committee Giuseppe De Giacomo University of Rome "La Sapienza" Andreas Herzig IRIT, CNRS, Université Paul Sabatier Yves Lesperance York University Marco Montali Free University Bozen-Bolzano Fabio Patrizi University of Rome "La Sapienza" Sasha Rubin University of Naples "Federico II" Siddharth Srivastava Arizona State University -- Fabio Patrizi Dipartimento di Ingegneria informatica, automatica e gestionale "A. Ruberti" Sapienza Università di Roma Room B214 Via Ariosto, 25 - 00185 Rome, Italy Phone: +39 06 77274073 Home Page: www.dis.uniroma1.it/~patrizi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Aug 2 10:45:05 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 02 Aug 2018 10:45:05 +0200 Subject: BigDat 2019: early registration August 22 Message-ID: BigDat 2019: early registration August 22*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Early registration deadline: August 22, 2018 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-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, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   tba   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE: (to be completed)   Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled 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 at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andrea.orlandini at istc.cnr.it Mon Aug 6 10:32:31 2018 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Mon, 06 Aug 2018 10:32:31 +0200 Subject: =?UTF-8?Q?Call_for_Participation_-_GandALF_2018_-_International_Sym?= =?UTF-8?Q?posium_on_Games=2c_Automata=2c_Logics=2c_and_Formal_Verification_?= =?UTF-8?Q?-_Saarbr=c3=bccken_-_26-28_September_2018?= In-Reply-To: References: Message-ID: Apologies for multiple copies ***************************************************************************** CALL FOR PARTICIPATION - GandALF 2018 ***************************************************************************** The Ninth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Saarbrücken (Germany) on 26-27-28 September 2018. **** https://www.react.uni-saarland.de/gandalf2018/index.html ***************************************** The aim of GandALF 2018 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.  INVITED SPEAKERS ****************** - Saddek Bensalem (Université Grenoble Alpes): Rigorous System design : The BIP Framework - Véronique Bruyère (University of Mons): On the synthesis of equilibria in graph games - Kim G. Larsen (Aalborg University): Energy Timed Automata and Games LIST OF ACCEPTED PAPERS ****************** The list of accepted papers can be found here: https://www.react.uni-saarland.de/gandalf2018/accepted.html REGISTRATION ****************** Registration is now open: https://www.react.uni-saarland.de/gandalf2018/registration.html  PROGRAM CHAIRS ****************** Martin Zimmermann, Saarland University, Germany AndreA Orlandini, ISTC-CNR, Italy PROGRAM COMMITTEE ****************** Mohamed Faouzi Atig (Uppsala University, Sweden) Christel Baier (TU Dresden, Germany) Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay, France) Laura Bozzelli (Università degli Studi di Napoli Federico II, Italy) Thomas Colcombet (CNRS, France) Dario Della Monica (Universidad Complutense de Madrid, Spain) Jie-Hong Roland Jiang (National Taiwan University, Taiwan) Ranko Lazic (The University of Warwick, United Kingdom) Jérôme Leroux (CNRS, France) Radu Mardare (Aalborg University, Denmark) Angelo Montanari (University of Udine, Italy) Andrea Orlandini (co-chair, National Research Council of Italy (ISTC-CNR), Italy) Gennaro Parlato (University of Southampton, United Kingdom) Doron Peled (Bar Ilan University, Israel) Mickael Randour (UMONS - Université de Mons, Belgium) Mark Reynolds (The University of Western Australia, Australia) Pietro Sala (University of Verona, Italy) Pierluigi San Pietro (Politecnico di Milano, Italy) B Srivathsan (Chennai Mathematical Institute, India) Martin Zimmermann (co-chair, Saarland University, Germany) STEERING COMMITTEE ****************** Luca Aceto (Reykjavik University, Iceland) Javier Esparza (University of Munich, Germany) Salvatore La Torre (University of Salerno, Italy) Angelo Montanari (University of Udine, Italy) Mimmo Parente (University of Salerno, Italy) Wolfgang Thomas (Aachen University, Germany) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail: andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url: http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! From complexis at insticc.info Mon Aug 6 10:32:31 2018 From: complexis at insticc.info (complexis at insticc.info) Date: Mon, 06 Aug 2018 10:32:31 +0200 Subject: CFP COMPLEXIS 2019 - 3rd Int.l Conf. on Complexity, Future Information Systems and Risk (Heraklion, Crete/Greece) Message-ID: SUBMISSION DEADLINE 3rd International Conference on Complexity, Future Information Systems and Risk Submission Deadline: December 10, 2018 http://www.complexis.org/ May 2 - 4, 2019 Heraklion, Crete, Greece. COMPLEXIS is organized in 7 major tracks: - Complexity in Informatics, Automation and Networking - Complexity in Biology and Biomedical Engineering - Complexity in Social Sciences - Complexity in Computational Intelligence and Future Information Systems - Complexity in EDA, Embedded Systems, and Computer Architecture - Network Complexity - Complexity in Risk and Predictive Modeling In Cooperation with: IEEE and IEEE GRSS
In Cooperation with: EuroSDR, ASPRS, CIG, SIFET and ISPRS.
Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Francisco Herrera, University of Granada, Spain A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, COMPLEXIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.complexis.org/ e-mail: complexis.secretariat at insticc.org From iceis at insticc.info Mon Aug 6 10:32:31 2018 From: iceis at insticc.info (iceis at insticc.info) Date: Mon, 06 Aug 2018 10:32:31 +0200 Subject: CFP ICEIS 2019 - 21st Int.l Conf. on Enterprise Information Systems (Heraklion, Crete/Greece) Message-ID: SUBMISSION DEADLINE 21st International Conference on Enterprise Information Systems Submission Deadline: December 10, 2018 http://www.iceis.org/ May 3 - 5, 2019 Heraklion, Crete, Greece. ICEIS is organized in 6 major tracks: - Databases and Information Systems Integration - Artificial Intelligence and Decision Support Systems - Information Systems Analysis and Specification - Software Agents and Internet Computing - Human-Computer Interaction - Enterprise Architecture In Cooperation with: IEEE and IEEE GRSS
In Cooperation with: EuroSDR, ASPRS, CIG, SIFET and ISPRS.
Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS and Semantic Scholar.
A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICEIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.iceis.org/ e-mail: iceis.secretariat at insticc.org From icpram at insticc.info Mon Aug 6 10:32:31 2018 From: icpram at insticc.info (icpram at insticc.info) Date: Mon, 06 Aug 2018 10:32:31 +0200 Subject: CFP ICPRAM 2019 - 8th Int.l Conf. on Pattern Recognition Applications and Methods (Prague/Czech Republic) Message-ID: SUBMISSION DEADLINE 8th International Conference on Pattern Recognition Applications and Methods Submission Deadline: October 1, 2018 http://www.icpram.org/ February 19 - 21, 2019 Prague, Czech Republic. ICPRAM is organized in 2 major tracks: - Theory and Methods - Applications In Cooperation with: IEEE and IEEE GRSS
In Cooperation with: EuroSDR, ASPRS, CIG, SIFET and ISPRS.
Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Linda G. Shapiro, University of Washington, United States Bram van Ginneken, Radboud University Medical Center, Netherlands Michal Irani, Weizmann Institute of Science, Israel Davide Maltoni, University of Bologna, Italy A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICPRAM Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icpram.org/ e-mail: icpram.secretariat at insticc.org From icores at insticc.info Mon Aug 6 10:32:31 2018 From: icores at insticc.info (icores at insticc.info) Date: Mon, 06 Aug 2018 10:32:31 +0200 Subject: CFP ICORES 2019 - 8th Int.l Conf. on Operations Research and Enterprise Systems (Prague/Czech Republic) Message-ID: SUBMISSION DEADLINE 8th International Conference on Operations Research and Enterprise Systems Submission Deadline: October 1, 2018 http://www.icores.org/ February 19 - 21, 2019 Prague, Czech Republic. ICORES is organized in 2 major tracks: - Methodologies and Technologies - Applications Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Federico Della Croce, Politecnico di Torino, Italy Helena Ramalhinho Lourenço, Universitat Pompeu Fabra, Spain Ronald Giachetti, Naval Postgraduate School, United States A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICORES Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icores.org/ e-mail: icores.secretariat at insticc.org From icaart at insticc.info Mon Aug 6 10:32:31 2018 From: icaart at insticc.info (icaart at insticc.info) Date: Mon, 06 Aug 2018 10:32:31 +0200 Subject: CFP ICAART 2019 - 11th Int.l Conf. on Agents and Artificial Intelligence (Prague/Czech Republic) Message-ID: SUBMISSION DEADLINE 11th International Conference on Agents and Artificial Intelligence Submission Deadline: October 1, 2018 http://www.icaart.org/ February 19 - 21, 2019 Prague, Czech Republic. ICAART is organized in 2 major tracks: - Agents - Artificial Intelligence Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Penousal Machado, University of Coimbra, Portugal Carla P. Gomes, Cornell University, United States Michal Pechoucek, Czech Technical University in Prague, Czech Republic Lambert Schomaker, University of Groningen, Netherlands A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICAART Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icaart.org/ e-mail: icaart.secretariat at insticc.org From tobias.ahlbrecht at tu-clausthal.de Thu Aug 9 11:09:45 2018 From: tobias.ahlbrecht at tu-clausthal.de (Tobias Ahlbrecht) Date: Thu, 09 Aug 2018 11:09:45 +0200 Subject: MAPC 2018 | Multi-Agent Programming Contest | Registration until Aug. 12 Message-ID: ======== CALL FOR PARTICIPATION ======== MAPC 2018 Multi-Agent Programming Contest https://multiagentcontest.org/2018/ ======================================== [The registration deadline (August 12th) is fast approaching!] 1. AIMS AND SCOPE This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1. identifying key problems, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. We also expect that participating at the contest helps to debug existing systems and to identify their weak and strong aspects. The performance of a particular system will be determined in a series of games where the systems compete against each other. While winning the competition is not the main point, we hope it will shed light on the applicability of certain frameworks to particular domains. 2. HISTORY The Multi-Agent Programming Contest was initiated in 2005 and since then passed through four distinct phases. 2005: the "food-gatherers"-scenario, where a pre-specified multi-agent system had to be implemented. These MASs were later examined in order to determine the winner. 2006 - 2007: the "goldminers"-scenario, where we provided the environment by means of an online-architecture and automatically determined the winner. 2008 - 2010: the "cows and cowboys"-scenario, again on the online-architecture, but with a slightly changed objective. 2011 - 2014: the "agents on Mars"-scenario, where agents had to solve a different more complex problem. 3. THE FIFTH PHASE: "AGENTS IN THE CITY" After the two iterative instances in 2016 and 2017, we present the newest version of the fifth MAPC scenario: "Agents in the City". The goal is to implement a team of cooperating agents with different roles in order to complete certain jobs on realistic street graphs. The challenge of the scenario is its ever increasing complexity: agents have to reason about the quality of jobs and how to complete them. This time, we have added an additional layer of interaction between opposing teams. 4. ENROLLING AND DOWNLOAD We would like to invite potential participants to join the MAPC mailing list. https://groups.google.com/forum/#!forum/agentcontest All the important details and announcements will be sent and discussed via this list. And please do not hesitate to say hello on the list. You can download the software package here: https://multiagentcontest.org/2018/#downloads or directly from GitHub: https://github.com/agentcontest/massim/releases 5. PARTICIPATION REQUIREMENTS The participation in this contest consists of these parts: 1. Declaring the intent to participate by registering to the mailing list. 2. Submission of a short team description, thus registering to the contest officially. 3. Participation in all assigned matches in the final tournament. 4. Submitting the source-code of your application right after the tournament. 5. Submission of a team description and analysis paper after the tournament. 6. ROUGH TIMELINE 12th of August: registration deadline. between registration and qualification: connection testing. You will have the chance to test the connection to our servers. 10th of September: qualification. You have to prove that your agents' connections to our servers are stable and reliable. Week of 24th of September: tournament. After tournament: publications. 7. PUBLICATIONS After the tournament we invite each participant to submit a paper about their agent team. The papers of which the quality has been assured will be regularly published. The publication details will be announced as soon as possible. 8. PRIZE The winner of the contest will be awarded with a voucher for 500 EUR worth in books, thankfully provided by Springer Verlag. Requirements are the submission of a paper and the source codes of the agents. 9. PEOPLE Organizers: Tobias Ahlbrecht (Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Niklas Fiekas (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Peter Novak (Delft University of Technology) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.nocera at poliba.it Thu Aug 9 11:09:45 2018 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Thu, 09 Aug 2018 11:09:45 +0200 Subject: [Deadline Extented] First International Workshop on Ensemble-based Software Engineering (EnSEmble 2018) In-Reply-To: References: Message-ID: *** We apologize if you receive multiple copies *** CALL FOR PAPERS _** EnSEmble 2018 **–** First International Workshop on Ensemble-based Software Engineering**_ http://sisinflab.poliba.it/ensemble/2018/ 4th November, 2018, Lake Buena Vista, Florida, United States Held in conjunction with the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) https://2018.fseconference.org/ —————————————————————————– IMPORTANT DATES: Workshop paper submissions due: August 27th, 2018 (Deadline Extended) Notification to authors: September 11th, 2018 Camera-ready copies due: September 18th, 2018 —————————————————————————— Contemporary and future software systems are composed of large-scale ensembles of widely distributed, largely autonomous and heterogeneous entities situated in both the physical world and in back-end computer systems. From software development perspective, the world of computing is shifting from the era of single device computing to a new era where literally everything (Services, Things and People) is interconnected, online, and programmable. We are therefore increasingly looking at, and building, emergent and adaptive socio-technical applications built on top of large-scale decentralized distributed computing systems. The lessons learned in distributed software management have led to the idea of a micro-service-based architectural style derived from the concept of web services, flows, and message exchange. These concepts are not only used in large systems, but become common practice in all types of applications, even the smallest, applications involving smart things. The goal of this workshop is to bring the attention of researchers and practitioners of the software engineering to the opportunities and challenges involved in new trend and issue related to software architecting. The workshop aims to present and discuss latest ongoing research as well as radical new research directions in engineering modern and future software application involving several and heterogeneous domains. The aim is to analyze and propose new paradigms of software distributed software platform, including sharing and reuse of everything: people, objects, and services, but also sharing of economy aspect of these entities. Main relevant content should comprise concepts of community: the main activity of services is to create and manage, characterized by sociality, economic advantage, efficiency of service, comfort, and so on. There is a bilateral and continuous relationship between different categories of end-user. Business services are no longer paid from top to bottom, but people are meeting to exchange or share assets, time, money, etc. So the goods are owned by people and not by companies. This new high-level perspective on the sharing of services requires and asks for new technologies, requirements and style to be implemented. Finally, people experience advantages derived from sharing of everything reaching the satisfaction of requirements that are both architectural as far as the design is concerned and non-functional concerning economical, experiential, efficiency, and other proper category depending on the specific domain and typology of involved things. Topics of interested include but are not limited to: * Engineering web of things and of everything * Software architectural styles and patterns for connecting objects, devices and services * Engineering new paradigm for software architecture * The Emerging Paradigms: Fog and Edge Computing * Liquid software * Challenges for distributed application * Architectures and Framework for smart devices connection * Microservices and distributed software models * Architecture for adaptive systems * Optimization and Decision-making approaches * Scalability and Performance analysis * Languages, platforms, APIs and other tools for Ensembles * Internet of events (people, things, content, object) * Sustainable software engineering * Emerging paradigms of software platform: crowdfunding, crowdsourcing * Sharing economy: reuse, sharing and reusing * Scenarios, case studies, and experience reports of Ensembles in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, Emergency, etc..) * Applications and tools behaving in shared economy environment and domains: Crowdfunding, car sharing, house-sharing, co-working SUBMISSION: Workshop papers are: 8 pages long and peer-reviewed; 4 pages for demo-paper describing existing tools or prototypes. Submission of papers in ACM Master article template, should be submitted as a single PDF file in the EasyChair system [https://easychair.org/conferences/?conf=ensemble2018]. The papers submitted must not reveal the authors' identities. Submissions will be judged on novelty, relevance, clarity of presentation, and correctness. Authors of accepted submissions are required to present their work. Accepted papers will be included in the conference proceedings and published in ACM Digital Library. ———————————————————————– ORGANIZING COMMITTEE _Workshop Chairs: Antonio Bucchiarone, Fondazione Bruno kessler, Trento, Italy Marina Mongiello, Polytechnic University of Bari, Bari, Italy Francesco Nocera, Polytechnic University of Bari, Bari, Italy Michael Sheng, Macquarie University, Sydney, Australia _ Publicity Chair: Luca Riccardi, Polytechnic University of Bari, Italy _ Program Committee: Marco Autili, University of L'Aquila, Italy Vito Bellini, Polytechnic University of Bari, Italy Radu Calinescu, University of York, UK Rafael Capilla, Universidad Rey Juan Carlos, Spain Maurizio Leotta, University of Genova, Italy Niko Mäkitalo, University of Helsinki, Finland Ivano Malavolta, Vrije Universiteit Amsterdam, The Netherlands Radu-Casian Mihailescu, Malmö University, Sweden Henry Muccini, University of L’Aquila, Italy Luigi Patrono, University of Salento, Italy Hongyu Pei Breivold, Mälardalen University, Sweden Alessandra Russo, Imperial College London, UK Patrizia Scandurra, University of Bergamo, Italy Romina Spalazzese, Malmö University, Sweden Sungwon Kang, Korea Advanced Institute of Science and Technology, Republic of Korea Uwe Zdun, University of Vienna, Austria Informativa Privacy - Ai sensi del Regolamento (UE) 2016/679 si precisa che le informazioni contenute in questo messaggio sono riservate e ad uso esclusivo del destinatario. Qualora il messaggio in parola Le fosse pervenuto per errore, La preghiamo di eliminarlo senza copiarlo e di non inoltrarlo a terzi, dandocene gentilmente comunicazione. Grazie. Privacy Information - This message, for the Regulation (UE) 2016/679, may contain confidential and/or privileged information. If you are not the addressee or authorized to receive this for the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message. Thank you for your cooperation. [5x1000] -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Aug 9 11:09:45 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 09 Aug 2018 11:09:45 +0200 Subject: SLSP 2018: call for posters Message-ID: SLSP 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ----------------------------------- The 6th International Conference on Statistical Language and Speech Processing (SLSP 2018) invites researchers to submit poster presentations. SLSP 2018 will be held in Mons (Belgium) on October 15-16, 2018. See  http://slsp2018.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 8, 2018 Notification of poster acceptance or rejection: September 15, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2018. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2016 impact factor: 1.900). REGISTRATION At least one author of each accepted poster must register to the conference by October 1st, 2018. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sabel at ki.informatik.uni-frankfurt.de Thu Aug 9 11:09:45 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Thu, 09 Aug 2018 11:09:45 +0200 Subject: PPDP | LOPSTR | WFLP 2018 Common Call for Participation Message-ID: ====================================================================== PPDP | LOPSTR | WFLP 2018: Common Call for Participation ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) 26th International Workshop on Functional and Logic Programming (WFLP 2018) Frankfurt am Main, Germany, 3-6 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Program ======= The full program of PPDP | LOPSTR | WFLP 2018 is online: http://ppdp-lopstr-18.cs.uni-frankfurt.de/program/0.htm It includes * four invited talks: - Philippa Gardner, Imperial College. Formal Methods for JavaScript - Jorge Navas, SRI International. Constrained Horn Clauses for Verification - Chung-Chieh Shan, University of Indiana. Calculating Distributions - Laure Gonnord, University of Lyon. Experiences in Designing Scalable Static Analyses * invited tutorials: LOPSTR includes two invited tutorials: - Fabio Fioravanti, University of Chieti-Pescara. The VeryMAP System for program transformation and verification - Manuel Hermenegildo, IMDEA Software Institute. 25 Years of Ciao * a session in Honour of Martin Hofmann PPDP includes a session in honour of Martin Hofmann with an invited talk given by Nick Benton, Facebook. Semantic Equivalence Checking for HHVM Bytecode Registration ============ http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration Early registration ends on 15 August, 2018. Sponsors ======== The conferences are financially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063, and by the Goethe-University Frankfurt am Main. Conference Organisers ===================== PPDP Program Committee See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc Program Chair Peter Thiemann, Universität Freiburg, Germany LOPSTR Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia WFLP Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html#pc Program Chair Josep Silva, Universitat Politècnica de València, Spain Organizing Committee (Goethe-University Frankfurt am Main, Germany) Ehud Cseresnyes Nils Dallmeyer Bircan Dölek Ronja Düffel Lars Huth Leonard Priester David Sabel (General Chair) From irdta at irdta.eu Mon Aug 13 16:43:24 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 13 Aug 2018 16:43:24 +0200 Subject: BigDat 2019: early registration August 22 Message-ID: BigDat 2019: early registration August 22*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Early registration deadline: August 22, 2018 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-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, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE: (to be completed)   Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled 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 are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Mon Aug 13 16:43:24 2018 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Mon, 13 Aug 2018 16:43:24 +0200 Subject: CfP: KI Special Issue "Cognitive Reasoning" Message-ID: Künstliche Intelligenz Journal Special Issue on "Cognitive Reasoning" -- Call for Papers -- Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are many findings which are based on experimental data about human reasoning tasks. Among others, models for the Wason selection task or the suppression task are discussed by psychologists and cognitive scientists. However, only few of these models are computational and often models are modified when applied to a different task. Automated deduction, on the other hand, mainly focuses on the automated proof search in formal, logical calculi. Indeed, there is tremendous success during the last decades, and automated deduction systems are used in many industrial applications. However, most automated deduction systems are not really concerned with human reasoning tasks. Recently, a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example, there is increasing interest in modeling human reasoning tasks within automated reasoning systems based on answer set programming, deontic logic, abductive logic programming, and various other AI approaches. This special issue of the Künstliche Intelligenz Journal, appearing in November 2019, is aiming to foster the synergies between cognitive science and automated deduction. The topics of interest for the special issue of the Künstliche Intelligenz Journal include, but are not limited to: * Limits and differences between automated deduction and human reasoning * Automated deduction and the psychology of deduction * Automated deduction and (preferred) mental models * Common sense reasoning, cognitive science and automated deduction * Modeling human reasoning tasks using (classical, non-monotonic or defeasible) logics * Modeling human reasoning tasks using automated reasoning systems * Modeling human reasoning tasks using inductive reasoning systems * Modeling human reasoning tasks using probabilistic reasoning systems * Applications SUBMISSION The Künstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors: Prof. Dr. Ulrich Furbach Universität Koblenz-Landau Universitätsstr.1, 56070 Koblenz. Germany uli at furbach.de Prof. Dr. Steffen Hölldobler TU Dresden Fakultät Informatik 01062 Dresden sh at iccl.tu-dresden.de apl. Prof. Dr. Marco Ragni University of Freiburg Cognitive Computation Lab 79110 Freiburg, Germany ragni at cs.uni-freiburg.de Prof. Dr. Frieder Stolzenburg Harz University of Applied Sciences Automation & Computer Sciences Dep. Friedrichstr. 57-59 38855 Wernigerode, Germany fstolzenburg at hs-harz.de IMPORTANT DATES * Submission deadline: 15-Nov-2018 * Notification: 01-Feb-2019 * Camera-ready copy: 15-Mar-2019 * Special issue: KI 3/2019 SUBMISSION AND CONTRIBUTION FORMAT The articles should be written in English, in order to attract an international audience, formatted with the Springer LaTeX package for journals, see , maximally 10 pages in two-column format. Please submit via the editorial manager system . Log in as author and select the special issue "S.I.: Cognitive Reasoning". From andrea.orlandini at istc.cnr.it Mon Aug 20 10:36:48 2018 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Mon, 20 Aug 2018 10:36:48 +0200 Subject: =?UTF-8?Q?Call_for_Participation_-_GandALF_2018_-_International_Sym?= =?UTF-8?Q?posium_on_Games=2c_Automata=2c_Logics=2c_and_Formal_Verification_?= =?UTF-8?Q?-_Saarbr=c3=bccken_-_26-28_September_2018?= In-Reply-To: References: Message-ID: Apologies for multiple copies ***************************************************************************** CALL FOR PARTICIPATION - GandALF 2018 ***************************************************************************** The Ninth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Saarbrücken (Germany) on 26-27-28 September 2018. **** https://www.react.uni-saarland.de/gandalf2018/index.html ***************************************** The aim of GandALF 2018 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.  INVITED SPEAKERS ****************** - Saddek Bensalem (Université Grenoble Alpes): Rigorous System design : The BIP Framework - Véronique Bruyère (University of Mons): On the synthesis of equilibria in graph games - Kim G. Larsen (Aalborg University): Energy Timed Automata and Games LIST OF ACCEPTED PAPERS ****************** The list of accepted papers can be found here: https://www.react.uni-saarland.de/gandalf2018/accepted.html REGISTRATION ****************** Registration is now open: https://www.react.uni-saarland.de/gandalf2018/registration.html  PROGRAM CHAIRS ****************** Martin Zimmermann, Saarland University, Germany AndreA Orlandini, ISTC-CNR, Italy PROGRAM COMMITTEE ****************** Mohamed Faouzi Atig (Uppsala University, Sweden) Christel Baier (TU Dresden, Germany) Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay, France) Laura Bozzelli (Università degli Studi di Napoli Federico II, Italy) Thomas Colcombet (CNRS, France) Dario Della Monica (Universidad Complutense de Madrid, Spain) Jie-Hong Roland Jiang (National Taiwan University, Taiwan) Ranko Lazic (The University of Warwick, United Kingdom) Jérôme Leroux (CNRS, France) Radu Mardare (Aalborg University, Denmark) Angelo Montanari (University of Udine, Italy) Andrea Orlandini (co-chair, National Research Council of Italy (ISTC-CNR), Italy) Gennaro Parlato (University of Southampton, United Kingdom) Doron Peled (Bar Ilan University, Israel) Mickael Randour (UMONS - Université de Mons, Belgium) Mark Reynolds (The University of Western Australia, Australia) Pietro Sala (University of Verona, Italy) Pierluigi San Pietro (Politecnico di Milano, Italy) B Srivathsan (Chennai Mathematical Institute, India) Martin Zimmermann (co-chair, Saarland University, Germany) STEERING COMMITTEE ****************** Luca Aceto (Reykjavik University, Iceland) Javier Esparza (University of Munich, Germany) Salvatore La Torre (University of Salerno, Italy) Angelo Montanari (University of Udine, Italy) Mimmo Parente (University of Salerno, Italy) Wolfgang Thomas (Aachen University, Germany) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail: andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url: http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! From tommaso.dinoia at poliba.it Mon Aug 20 10:36:48 2018 From: tommaso.dinoia at poliba.it (Tommaso Di Noia) Date: Mon, 20 Aug 2018 10:36:48 +0200 Subject: Fully funded Ph.D. Positions @ Polytechnic University of Bari Message-ID: Fully funded Ph.D. Positions @ Polytechnic University of Bari Deadline: September 7, 2018 The Department of Electrical and Information Engineering at Polytechnic University of Bari invites motivated students to apply for a position in our Ph.D. in Electrical and Information Engineering program. Fully funded positions for three years are proposed on the following main topics: - Artificial Intelligence (with an emphasis on Machine Learning) - Big Data Management and Analysis - Information Retrieval and Recommender Systems - Knowledge Management and the Semantic Web - Natural Language Processing - Blockchain and Distributed Ledger Technologies - Software Engineering and Formal Verification - Internet of Things and Industry 4.0 - Augmented/Mixed/Virtual Reality The deadline for applications has been postponed to September 7, 2018 (see http://www.poliba.it/sites/default/files/dottorati/dr_468_2018_new_deadline_call_for_admission_phd_programs_3.pdf) All the information and the whole procedure to apply are available at http://www.poliba.it/sites/default/files/dottorati/bando_34_ciclo_dottorato_eng.pdf Please note that all Italian public universities require a mandatory public selection process. -- Workplace -- Polytechnic University of Bari - Department of Electrical and Information Engineering - Italy. Politecnico di Bari is a renowned technical university with excellent rankings at a national and international level and the only technical university located in the central-southern part of Italy. Bari is a city with a wonderful climate all year long and with a lively social life. Moreover, the international Bari airport offers connections to key international destinations, including several low-cost airline flights. ---- For any further information, feel free to contact Prof. Tommaso Di Noia (tommaso.dinoia at poliba.it) ---- Informativa Privacy - Ai sensi del Regolamento (UE) 2016/679 si precisa che le informazioni contenute in questo messaggio sono riservate e ad uso esclusivo del destinatario. Qualora il messaggio in parola Le fosse pervenuto per errore, La preghiamo di eliminarlo senza copiarlo e di non inoltrarlo a terzi, dandocene gentilmente comunicazione. Grazie. Privacy Information - This message, for the Regulation (UE) 2016/679, may contain confidential and/or privileged information. If you are not the addressee or authorized to receive this for the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message. Thank you for your cooperation. [5x1000] From sdm.publicity at gmail.com Mon Aug 20 10:36:48 2018 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Mon, 20 Aug 2018 10:36:48 +0200 Subject: SDM'19 - Call for Tutorials Message-ID: Apologies for cross-postings. SDM'19: THE NINETEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING May 2 - May 4, 2019 Calgary, Canada https://www.siam.org/conferences/CM/Main/sdm19 ------------ CALL FOR TUTORIALS ------------ The SDM19 Organizing Committee invites proposals for tutorials to be held in conjunction with the conference. Tutorials are an effective way to educate and/or provide the necessary background to the intended audience enabling them to understand technical advances. They will typically cover state-of-the-art research, development and tools in a specific data mining related area, and stimulate and facilitate future work. For SDM19, we are seeking proposals for tutorials on all topics related to data mining. A tutorial may be a theme-oriented comprehensive survey, discuss novel data mining techniques or may center around a successful and timely application of data mining in important areas (e.g., public health, medicine, security, urban computing, the web, scientific data analysis). Tutorials on interdisciplinary research topics, novel and fast growing directions, and innovative applications are highly encouraged. We also encourage tutorials in areas that are somewhat different from the usual SDM mainstream, but still related to the objectives of discovering valuable knowledge from data. As examples of typical SIAM tutorials, see the set of accepted tutorials at previous SIAM conferences SDM14 , SDM15 , SDM16 , SDM17 , and SDM18 . Tutorials are open to all conference attendees without any extra fees. The typical tutorial will be 2 hours long (longer tutorials will be considered). Previous SDM conferences attracted up to 100 attendees in a tutorial. Proposals should be submitted electronically with the subject header: “SDM 2019 Tutorial Proposal Submission” by October 5, 2018 11:59PM (US Pacific Time) to: B. Aditya Prakash, Virginia Tech., USA (badityap at cs.vt.edu) Proposals should be submitted in PDF format (for other formats please contact the tutorial chair first). Proposals should include the following: - Basic information: Title, brief description, name and contact information for each tutor, length of the proposed tutorial. If the intended tutorial is expected to take longer than 2 hours a rationale is expected. - Identify any other venues in which the tutorial, or a similar/highly related tutorial by the same authors, has been or will be presented, and highlight the similarity/difference between those and the one proposed for SDM19 (up to 100 words for each entry). - Audience: Proposals must clearly identify the intended audience for the tutorial (e.g., novice, intermediate, expert). - What background will be required of the audience? - Why is this topic important/interesting to the SIAM data mining community? - What is the benefit to participants? - Provide some informal evidence that people would attend (e.g., related workshops). - Coverage: Enough material should be included to provide a sense of both the scope of material to be covered and the depth to which they will be covered. The more details that can be provided, the better (up to and including links to the actual slides or viewgraphs). Note that the tutors should not focus mainly on their own research results. If, for certain parts of the tutorial, the material comes directly from the tutors' own research or product, please indicate this clearly in the proposal. - Biographies: Provide brief biographical information on each tutor (including qualifications with respect to the tutorial's topic). - Optional: Video snippet of you teaching a tutorial or giving a talk. Please note that all organizers of accepted tutorials are required to be present and deliver the lectures in the conference. Timeline - Submission : October 5, 2018 11:59PM (US Pacific Time) - Decision Notification : November 5, 2018 - Tutorial notes (2-pager) due : January 15, 2019 - Complete Set of Tutorial Viewgraphs (Slides): February 20, 2019 FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM19 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Mon Aug 20 10:36:48 2018 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Mon, 20 Aug 2018 10:36:48 +0200 Subject: SDM'19 - Call for Workshops Message-ID: Apologies for cross-postings. SDM'19: THE NINETEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING - CALL FOR WORKSHOPS May 2 - May 4, 2019 Calgary, Canada https://www.siam.org/conferences/CM/Main/sdm19 SDM'19: THE NINETEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING May 2 - May 4, 2019 Calgary, Canada https://www.siam.org/conferences/CM/Main/sdm19 ------------ CALL FOR WORKSHOPS ------------ The SDM19 organizing committee invites proposals for workshops to be held in conjunction with the conference. The purpose of a workshop is to provide participants with the opportunity to present and discuss novel research ideas on active and emerging topics of knowledge discovery and data mining. Ideally a workshop should foster interactions between different communities within the scope of SDM (e.g. statisticians, computer scientists, industry, academia etc.). A workshop can be in the form of either a traditional workshop (call for paper mode) or minisymposium (invited talk mode). It should encourage the presentation of novel ideas, even if they are in an early stage of development, contact between different points of view, and active exchanges between participants. Therefore publishing notes is optional for the SDM workshops. The responsibilities of the traditional workshop organizers include: - preparing the call for papers and publicizing it - maintaining the workshop website - deciding the workshop program content; - inviting speakers, inviting reviewers, selecting the papers through a peer review process - delivering the notes to the press in time (if the workshop organizers decide to publish notes), and - delivering the final workshop program to the workshop chair in time. The responsibilities of the minisymposium organizers: - maintaining the workshop website - deciding the workshop program content; - inviting speakers - delivering the notes to the press in time (if the workshop organizers decide to publish notes), and - delivering the final workshop program to the workshop chair in time. Proposal Format: A workshop proposal should include the following information: - Workshop title - Full contact information of the organizers - A description of the workshop including objectives, content, topics of interest. - A description of the format (e.g invited talks, round table, accepted presentations, etc) should be included. Please indicate your preference regarding the length of the workshop: half-day or full-day. If you are only interested in hosting a full day workshop then please indicate so. - A short description of the target audience. - List of potential participants: For workshops this could include potential program committee members, potential authors and invited speakers. - A summary of previous editions of the workshop (if it was run before), with an emphasis on number of attendees and paper submissions. - A short biography of each organizer (Please include your experience on organizing workshops and conferences). A minisymposium proposal should include the following information (more information on minisymposium can be found on: https://www.siam.org/Conferences/About-SIAM-Conferences/Conference-Guidelines/Detail/guidelines-for-preparing-a-minisymposium-proposal ): - Workshop title - Full contact information of the organizers - A description of the workshop including objectives, content, topics of interest. - A description of your minisymposium in no more than 1,500 characters, including spaces. The summary should be written to attract those who specifically work on your topic as well as those who work in related areas. - A short description of the target audience. - Proposed speakers. Provide the full name, affiliation, and email address of each speaker and the title of his/her presentation. Presentation titles and abstracts should be added to the Conference Management System by the presentation abstract deadline. - A short biography of each organizer (Please include your experience on organizing workshops and conferences). Proposals will be judged by a sub-committee of the SDM19 organizing committee based on the above information. Particular preference will be given to proposals that demonstrate the ability to foster interactions among multiple communities, as noted above. We prefer workshops in which there is participation of diverse people who may not have worked with one another in the past, or which bridge between traditional SDM topics and communities and other fields. We also welcome proposals focusing on application issues or economical and social aspects of data mining. External sources of funding or sponsorship for special events held along with the workshop (e.g. invited talks, poster session) can be optionally included in the proposal submission. For any question regarding the workshops for SDM19, please contact the workshop co-chairs: Fosca Giannotti(fosca.giannotti at isti.cnr.it) Yizhou Sun (yzsun at cs.ucla.edu) Submission Instructions: Workshop proposals should be prepared as a web page and its URL is sent via e-mail to the SDM19 Workshop Co-Chairs: You will receive an acknowledgment of receipt within 24 hours. Please contact us if you do not receive a receipt within 24 hours. Please send the URL to Fosca Giannotti(fosca.giannotti at isti.cnr.it) and Yizhou Sun (yzsun at cs.ucla.edu) by October 5, 2018 11:59 PM (US Pacific Time), with the subject line: SDM 2019 Workshop Proposal Submission. Important Dates: Submission of Workshop Proposals: October 5, 2018 11:59 PM (PDT) Notifications: November 5, 2018 11:59 PM (PDT) Workshop Websites Linked to SDM19: November 19, 2018 11:59 PM (PDT) Final Workshop Notes to SDM with Program: January 23, 2019 11:59 PM (PDT) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From moa.johansson at chalmers.se Thu Aug 23 08:31:32 2018 From: moa.johansson at chalmers.se (Moa Johansson) Date: Thu, 23 Aug 2018 08:31:32 +0200 Subject: Call for Papers: PADL-2019 Message-ID: 21th International Symposium on Practical Aspects of Declarative Languages (PADL 2019) https://popl19.sigplan.org/track/PADL-2019 Lisbon, Portugal. 14 -15 January 2019. Co-located with ACM POPL 2019 (https://popl19.sigplan.org/home) Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasising novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2019 welcomes new ideas and approaches pertaining to applications and implementation of * declarative languages, and is not limited to the scope of the past PADL symposia. It will be co-located with the Symposium on Principles of Programming Languages (POPL 2019), in Lisbon, Portugal. Important Dates and Submission Guidelines —————————————————— Abstracts due: 21 September Papers due: 28 September Notification to authors: 26 October Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2019 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2019 will accept both technical and application papers: Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2019 will appear in the LNCS series of Springer Verlag: https://www.springer.com/gp/computer-science/lncs Journal Publication for Best Papers —————————————————— The best papers (as selected by the PC chairs) will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, in the journal Theory and Practice of Logic Programming (TPLP), and for papers related to functional programming, in Journal of Functional Programming (JFP). The authors of these papers will be invited to submit a journal version containing at least 30% new material. This will be reviewed by the PC and/or the respective journal editors for a swifter reviewing process of the journal version. Such extensions could be explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work and such like. Programme Committee —————————————————— See: https://popl19.sigplan.org/track/PADL-2019 Programme Chairs —————————————————— * José Julio Alferes, Universidade Nova de Lisboa, Portugal. * Moa Johansson, Chalmers University of Technology, Sweden. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From karl.h.hammar at gmail.com Thu Aug 23 08:31:32 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Thu, 23 Aug 2018 08:31:32 +0200 Subject: [CfP] FOIS 2018: Call for Participation 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 ----------------------------------- FOIS and satellite event programs are now available: - FOIS: http://fois2018.cs.uct.ac.za/?page_id=44 - JOWO: http://www.iaoa.org/jowo2018/?page_id=92 - ISAO: http://isao2018.cs.uct.ac.za/courses.html Late registration deadline: September 7 After this date only on-site registration (at 1500R / ca 100 Euro additional cost) will be available. ----------------------------------- 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. 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. ----------------------------------- KEYNOTES Riichiro Mizoguchi, Japan Advanced Institute of Science and Technology, Alessandro Oltramari, Bosch Research and Technology Center, Pittsburgh Peter Simons, Trinity College Dublin and University of Salzburg ----------------------------------- FULL PAPERS Adrien Barton, Olivier Grenier, Ludger Jansen and Jean-Francois Ethier. The identity of dispositions Boyan Brodaric and Michael Gruninger. Particular Types and Particular Dependence Roberta Ferrario, Claudio Masolo and Daniele Porello. Organisations as complex variable embodiments Antony Galton. The Treatment of Time in Upper Ontologies Aldo Gangemi, Mehwish Alam and Valentina Presutti. Amnestic Forgery: an Ontology of Conceptual Metaphors Michael Gruninger, Bahar Aameri, Carmen Chui, Torsten Hahmann and Yi Ru. Foundational Ontologies for Units of Measure Torsten Hahmann. On Decomposition Operations in Multidimensional Qualitative Space Henriette Harmse, Katarina Britz and Aurona Gerber. Informative Armstrong RDF Datasets for n-ary Relations C. Maria Keet and Langa Khumalo. On the ontology of part-whole relations in Zulu language and culture João Rafael Moraes Nicola and Giancarlo Guizzardi. A formal characterization of individual determinancy and universal sortality in the Unified Foundational Ontology Claudio Masolo and Daniele Porello. A compact representation of complex concepts Claudio Masolo and Laure Vieu. Graph-Based Approaches to Structural Universals and Complex States of Affairs Joao Moreira, Luis Ferreira Pires, Marten van Sinderen and Laura M. Daniele. SAREF4health: IoT standard-based ontology-driven healthcare systems Tiago Prince Sales, Daniele Porello, Giancarlo Guizzardi, John Mylopoulos and Nicola Guarino. Ontological Foundations of Competition SHORT PAPERS Pawel Garbacz, Bogumił Szady and Agnieszka Ławrynowicz. Identity criteria for localities Oliver Kutz, Nicolas Troquard, Maria Hedblom and Daniele Porello. The Mouse and the Ball: Towards a cognitively-based and ontologically-grounded logic of agency Alessandro Mosca, Fernando Roda and Guillem Rull. UNiCS: The ontology for Research and Innovation policy making Emilio Sanfilippo, Loic Jeanson, Farouk Belkadi, Florent Laroche and Alain Bernard. Nominal and actual qualities in ontologies for engineering Stefan Schulz and Ludger Jansen. Towards an ontology of religious and spiritual belief ----------------------------------- SATELLITE ACTIVITIES FOIS 2018 includes a number of additional activities: http://fois2018.cs.uct.ac.za/?page_id=54 Notably: - JOWO Workshops and tutorials: http://www.iaoa.org/jowo2018/ - 4th International School on Applied Ontology: http://isao2018.cs.uct.ac.za/ - Early Career Symposium ----------------------------------- 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 riccardo.zese at unife.it Thu Aug 23 08:31:32 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Thu, 23 Aug 2018 08:31:32 +0200 Subject: ILP 2018 - Call for Participation Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- ILP 2018 Call for Participation The 28th International Conference on Inductive Logic Programming September 2nd - 4th, Ferrara, Italy http://ilp2018.unife.it/ ---------------------------------------------------------------------- The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. ILP 2018 is also encouraging submissions on (combination with) other areas such as cognitive technologies, neural networks and deep relational learning, knowledge acquisition from big data and the cloud, as well as contributions on the application of any of these solutions to real world problems. Program, keynotes and updated information can be found at the event website: http://ilp2018.unife.it/ CO-LOCATED EVENTS -------------- * ACAI 2018 - Summer School on Statistical Relational Artificial Intelligence: http://acai2018.unife.it/ * PLP 2018 - The 5th International Workshop on Probabilistic Logic Programming: http://stoics.org.uk/plp/plp2018/ CONFERENCE CHAIR -------------- Fabrizio Riguzzi, University of Ferrara, Italy PROGRAM CO-CHAIRS -------------- Elena Bellodi, University of Ferrara, Italy Riccardo Zese, University of Ferrara, Italy -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 From Natasha.Alechina at nottingham.ac.uk Mon Aug 27 10:20:10 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Mon, 27 Aug 2018 10:20:10 +0200 Subject: TIME 2018 Call for Participation Message-ID: ------------------------------------------------------------------------- TIME 2018 25th International Symposium on Temporal Representation and Reasoning Warsaw (Poland), 15-17 October 2018 First Call for Participation https://time2018.ipipan.waw.pl/ ------------------------------------------------------------------------- The International Symposium on Temporal Representation and Reasoning (TIME) is a well-established symposium series which brings together researchers interested in reasoning about temporal aspects of information in all areas of computer science. The symposium has a wide remit and is devoted to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from different areas such as artificial intelligence, database management, logic and verification, and beyond. The 25th edition of the symposium (TIME 2018) will be held from 15th to 17th October 2018 in the city of Warsaw, Poland, hosted by the Institute of Computer Science of the Polish Academy of Sciences. Detailed information about program and participation can be found on the website of TIME 2018: https://time2018.ipipan.waw.pl/ Early-bird registration fees apply until, and including, 31 August 2018. The organizers are looking forward to welcoming you in Warsaw. ------------------------------------------------------------------------- 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 ggelfond at unomaha.edu Mon Aug 27 10:20:10 2018 From: ggelfond at unomaha.edu (ggelfond at unomaha.edu) Date: Mon, 27 Aug 2018 10:20:10 +0200 Subject: Datalog 2.0 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --------------------------------------------------------------------------- CALL FOR PAPERS 3rd International Workshop on the Resurgence of Datalog in Academia and Industry Datalog 2.0 2019 https://sites.sju.edu/plw/datalog/ June 3-5, 2019, Philadelphia, USA Co-located with LPNMR 2019 at the Philadelphia Logic Week 2019 --------------------------------------------------------------------------- AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The 3rd International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2019) will be held in Philadelphia, USA, on June 3-5, 2019. Datalog 2.0 2019 is a major event of the Philadelphia Logic Week 2019, which is dedicated to the research on logic, knowledge representation, and reasoning. The other major event of the Philadelphia Logic Week 2019 is the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second edition of the workshop, which was held in Vienna, Austria, in 2012, was open for submissions. INVITED SPEAKERS To be announced TOPICS Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2019 welcomes two types of submissions * Long papers of up to 12 pages, presenting original research * Short papers of up to 5 pages that may contain either original ongoing research or recently published results in the following categories * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the Datalog 2.0 2019 EasyChair site: https://easychair.org/conferences/?conf=datalog2019 The journal Theory and Practice of Logic Programming (TPLP) will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in TPLP, there should be at least 30% new content compared to the published workshop paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details. New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. FURTHER INFORMATION WWW: https://sites.sju.edu/plw/datalog/ Email: datalog2019 at easychair.org IMPORTANT DATES Paper registration: February 12 Paper submission: February 19 Notification: March 19 Final versions due: April 16 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, Datalog 2.0 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Nicola Leone, University of Calabria, Italy PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Andreas Pieris, University of Edinburgh, UK PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA PROGRAM COMMITTEE Chitta Baral, Arizona State University, USA Pablo Barceló, University of Chile, Chile Leopoldo Bertossi, Carleton University, Canada and RelationalAI Inc. Meghyn Bienvenu, University of Montpellier, France Marco Calautti, University of Edinburgh, UK Andrea Calì, University of London, Birkbeck College, UK Rada Chirkova, North Carolina State University, USA Claire David, Universite Paris-Est Marne-la-Vallee, France Cristina Feier, University of Bremen, Germany Markus Krötzsch, TU Dresden, Germany Georg Lausen, University of Freiburg, Germany Domenico Lembo, Sapienza University of Rome, Italy Yanhong A. Liu, Stony Brook University, USA Carsten Lutz, University of Bremen, Germany Marco Manna, University of Calabria, Italy Marie-Laure Mugnier, University of Montpellier, France Reinhard Pichler, Vienna University of Technology, Austria Emanuel Sallinger, University of Oxford, UK Mantas Simkus, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Stijn Vansummeren, Université Libre de Bruxelles, Belgium From amal.tawakuli at uni.lu Thu Aug 30 09:58:18 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Thu, 30 Aug 2018 09:58:18 +0200 Subject: LuxLogAI 2018 - Third Call For Participation Message-ID: [ Our apologies should you receive this message more than once ] ====================================================== Third Call For Participation (normal registration deadline approaching) Luxembourg Logic for AI Summit (LuxLogAI 2018) 17-26 Sep 2018, Luxembourg https://luxlogai.uni.lu *** The normal registration deadline is on 01—Septemeber-2018 *** Registrations after the deadline are considered as late registrations. For regular registrants (non-students), a late fee applies. ====================================================== The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018, the MIREL workshop and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018). With its special focus theme on “methods and tools for responsible AI”, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable. The summit will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of Artificial Intelligence and Rule-based Systems. We invite you to join rigorous researchers and inventive practitioners in Luxembourg, a world-class location for research, development and innovation at the heart of Europe. ==Sponsors== - Luxembourg National Research Fund (FNR) - The University of Luxembourg - Interdisciplinary Centre for Security, Reliability and Trust (SnT) - Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS) - Digital Luxembourg (sponsor for Diversity at LuxLogAI) ==Keynotes & Speakers== - Hannah Bast (Uni Freiburg) - Pascal Fontaine (Uni Lorraine) - Georg Gottlob (Uni Oxford) - Guido Governatori (CSIRO, Data61) - Cynthia Kop (Radboud Uni Nijmegen) - Valeria de Paiva (Nuance Communications) - Philipp Slusallek (Saarland Uni) - Daniele Nardi (Uni Roma) - Daphna Weinshall (Hebrew Uni Jerusalem) - Bob Kowalski (Imperial College), Miguel Calejo (logicalcontracts.com) and Fariba Sadri (Imperial College London) - Monica Palmirani (Uni Bologna) - Yolanda Spinola-Elias (Uni Seville) ==Multiple Events Summit== - MIREL (MIning and REasoning with Legal texts) Workshop: 17 September 2018. - 4th Global Conference on Artificial Intelligence (GCAI 2018): 17-19 September 2018. - DecisionCAMP (Business Rules and Decision Management Technology): 17-19 September 2018. - AI and ART: 17-19 September 2018. - 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018): 18-21 September 2018. - AI Public Event: 19 September with Viviane Reding [(European Parliament), Toby Walsh (UNSW Sydney), Claude Adam (University of Luxembourg), Philipp Slusallek (DFKI, Saarland University)] - Self Organizing Systems (SOS): 19 September 2018. - Diversity at LuxLogAI: 20 September 2018. - Short Summer Tutorial on Advanced Belief Change and Default Entailment (SST ABCDE 2018): 20 September 2018 - Annual meeting of the Deduction Systems group of GI e.V. (Deduktionstreffen 2018): 21 September 2018. - Reasoning Web Summer School (RW 2018): 22-26 September 2018. ==Registration== Registration is open via EasyChair (https://easychair.org/conferences/?conf=luxlogai2018) - Normal registration deadline: 1 September, 2018 - After normal registration deadline, a late registration fee applies (for non-students) ==Organization== - Summit Chair (LuxLogAI): Leon van der Torre (U Luxembourg) - General Chair (RuleML+RR): Xavier Parent (U Luxembourg) - Program Chairs: Christoph Benzmüller (U Luxembourg & FU Berlin) Francesco Ricca (U Calabria) - Financial Chair Martin Theobald (U Luxembourg) - Proceedings Chair: Dumitru Roman (SINTEF/U Oslo) - Industry Track Chair: Silvie Spreeuwenberg (LibRT Amsterdam) - Doctoral Consortium Chair Kia Teymouria (Boston University, Metropolitan College) Paul Fodor (Stony Brook University) - Int’l Rule Challenge Chairs: Giovanni De Gasperis (U L’Aquila) Wolfgang Faber (Alpen-Adria-U Klagenfurt) Adrian Giurca (BTU Cottbus- Senftenberg) - Reasoning Web (RW) Summer School Claudia d’Amato (U Bari) Martin Theobald (U Luxembourg) - Publicity Chair: Amal Tawakuli (U Luxembourg) - Poster Chair Alex Steen (U Luxembourg) ==Media== - Web: https://luxlogai.uni.lu - Twitter: @luxlogai - Instagram: @luxlogai - RuleML Blog: http://blog.ruleml.org ====================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate 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: