From alqithami at gmail.com Wed Feb 1 08:17:30 2017 From: alqithami at gmail.com (Saad Alqithami) Date: Wed, 1 Feb 2017 01:17:30 -0600 Subject: Deadline Approaching: IoA @ AAMAS Message-ID: This is a gentle reminder for the approaching deadline of the Internet of Agents (IoA) Workshop to be held in conjunction with AAMAS 2017 in São Paulo, Brazil. The aim of this full-day workshop is to view Internet of Things via the lens of (multi-)agent based approaches. For the full CFP, please refer to the workshop webpage: http://ioa.alqithami.com/2017/ Papers should follow LNCS formatting style and to be submitted via https://easychair.org/conferences/?conf=ioa17 before the paper submission deadline on **Feb 7th** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From epontell at cs.nmsu.edu Wed Feb 1 15:46:11 2017 From: epontell at cs.nmsu.edu (epontell) Date: Wed, 01 Feb 2017 07:46:11 -0700 Subject: CFP: Special Issue of TPLP - Parallel and Distributed Logic Programming [EXTENDED DEADLINE] Message-ID: Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/ Since its inception, logic programming has been recognized as an ideal paradigm for addressing the needs of parallel computing. An extensive literature has been developed exploring issues like automated parallelization of logic programs, the use of logic programs to describe parallel and distributed computations, and logic programming models to capture concurrency and facilitate the development of provably correct concurrent applications. After over 30 years of research in these domains, the state of the art has reached a stage where technologies are highly complex and sophisticated, and applications are plentiful. Yet, the continuous development of novel architectures (e.g., the onset of GPU-based computing; the widespread use of simple inter-connected  devices, like Arduino and Raspberry Pi; the development of affordable multi-core platforms and reconfigurable computing; the widespread use of cloud computing), the appearance of new domains and potential applications (e.g., big data), and the developments in novel logic programming languages and paradigms are creating new research opportunities and fueling new ideas and developments. The goal of this special issue is to provide a multi-fold perspective of research at the junction between parallel and distributed computation and (constraint) logic programming: 1. Provide well-thought assessments of the state of the art (e.g., in the form of well organized surveys, personal perspectives) 2. Describe cutting-edge coverage of new developments (e.g., novel execution models, innovative systems and implementations) 3. Describe new research directions, offering clear motivations, new perspectives and solid foundations for other researchers to build upon 4. Novel applications (e.g., in big data, cyber-physical systems) that critically rely on the use on the integration of parallelism and logic programming SUBMISSION DEADLINES: * Title and Abstract: February 15, 2017 [Extended] * Full Paper: March 31, 2017 SUBMISSION INSTRUCTIONS: Please submit Titles and Abstracts to epontell at cs.nmsu.edu. Submissions of manuscripts must be made in the TPLP format   ftp://ftp.cambridge.org/pub/texarchive/journals/latex/tlp-cls and handled through the TPLP Submission site (please select the appropriate option under the Special Issue category):   https://mc.manuscriptcentral.com/tplp GUEST EDITOR: Enrico Pontelli, epontell at cs.nmsu.edu, New Mexico State University, USA Ferdinando Fioretto, ffiorett at cs.nmsu.edu, New Mexico State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Wed Feb 1 15:58:50 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 1 Feb 2017 09:58:50 -0500 (EST) Subject: IWIL 2017 with LPAR-21 in Botswana - Call for Papers Message-ID: <20170201145850.E43D612149B@mcclellan.cs.miami.edu> 12th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2017.html CALL FOR PAPERS Deadline: March 20, 2017. The 12th International Workshop on the Implementation of Logics will be held on 7th May 2017, in conjunction with the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, at Cresta Riley's Hotel in Maun, Botswana. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: + Propositional logic and decision procedures, including SMT + First-order and higher order logics + Non-classical logics, including modal, temporal, description, non-monotonic reasoning + Formal foundations for efficient implementation of logics + Data structures and algorithms for the efficient representation and processing of logical concepts + Proof/model search organization and heuristics for logical reasoning systems + Data analysis and machine learning approaches to search control + Techniques for proof/model search visualization and analysis + Reasoning with ontologies and other large theories + Implementation of efficient theorem provers and model finders for different logics + System descriptions of logical reasoning systems + Issues of reliability, witness generation, and witness verification + Evaluation and benchmarking of provers and other logic-based systems + I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems, and how to apply them in practice. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15 pages) via the EasyChair page for IWIL-2017. https://easychair.org/conferences/?conf=iwil2017 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. The proceedings will be published as a volume of EPiC Computing. Important Dates: + Submission of papers/abstracts: March 20th, 2017 + Notification of acceptance: April 10th, 2017 + Camera ready versions due: April 21st, 2017 + Workshop: May 7th, 2017 Program committee (so far - more coming): Stephan Schulz (Co-Chair) DHBW Stuttgart Geoff Sutcliffe (Co-Chair) University of Miami Josef Urban (Co-Chair) Czech Technical University Armin Biere Johannes-Kepler Universität Linz Jasmin Blanchette INRIA Nancy/MPI für Informatik Guillaume Burel ENSIIE/CEDRIC Stefan Hetzl Vienna University of Technology Jan Hladik DHBW Stuttgart Tommi Junttila Aalto University Boris Konev University of Liverpool Jens Otten Universität Potsdam Giles Reger The University of Manchester Andrew Reynolds University of Iowa Peter Schneider-Kamp University of Southern Denmark Laurent Simon University of Bordeaux Martin Suda Vienna University of Technology Bob Veroff University of New Mexico Uwe Waldmann Max-Planck-Institut für Informatik Bruno Woltzenlogel Paleo Australian National University From petrasocialpub at gmail.com Wed Feb 1 15:52:05 2017 From: petrasocialpub at gmail.com (PETRA SoCiaL) Date: Wed, 1 Feb 2017 15:52:05 +0100 Subject: Fwd: [Call For Papers] SoCIaL: Workshop on Smart cities & Smart mobility towards improving quality of life & Well-being In-Reply-To: References: Message-ID: Dear colleagues, please consider submitting your work to the following workshop on Smart Cities and Smart Mobility. Apologies for multiple postings! ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Call for Papers 1st Workshop on Smart cities & Smart mobility towards improving quality of life & Well-being (SoCIaL) - Part of PETRA’17 Conference (www.petrae.org) June 21-23, Rhodes, Greece Workshop page URL: http://www.petrae.org/workshops/SoCIaL.html Important dates: Paper submission deadline: March 5, 2017 Acceptance notification: March 17, 2017 Camera-ready submission: March 31, 2017 Abstract: With the increase of urbanization and the rise of the “smart cities”, it is time to exploit existing technologies and more importantly develop new paradigms to improve the quality of life and the well-being, whilst reducing the environmental impact. Scientific and technological advances in the areas of data science, Internet of Things (IoT), and data management, along with the release of unique, yet complex, data and information sources trigger unprecedented opportunities for innovation within the areas of smart cities and smart mobility. The continuously rising data volume and complexity constitute big challenges that research and business entities are facing today. Major drivers for the increasing complexity of data are the instrumentation of our environment and everyday life in a truly massive scale using fixed installations and mobile devices and the emergence of powerful technologies that allow inexpensive data collection and storage. At the same time, new technological solutions shall allow us to recognise and use the hidden resources and data flows of urban environments for informed decision making (by city manages, businesses or citizens). This includes using new sources of data and technology to acquire a thorough understanding of the environmental impact of urban growth and main vulnerabilities associated to different city zones for developing a more environmentally sustainable environment and reducing carbon footprint. What to minimize? Why? Where? And how? Thanks to the Internet and other mobile technologies citizens can today engage in collecting and analysing data; hence, contributing actively in the co-production of smart city services and transportation. The main focus of this workshop includes providing answers to the following key challenges: (1) How can we build an environmentally sustainable ecosystem whilst providing seamless experience in smart mobility? (2) How can data science, IoT, and data management technologies be exploited for innovative solutions within the areas of smart cities and smart mobility? (3) How can ICTs enhance citizen engagement and influence decision makers when launching smart city initiatives? List of Topics Topics of interest include, but are not limited to: - Self-Driving Cars / Connected Cars: new mobility concepts for autonomous driving as the smart car systems - Intelligent Transport Systems - Multi-Modal, Integrated, and intelligent networks - Smart transportation using data science and IoT - Low Carbon Economy through Smart transport - Crowdsourcing, Opinion mining, and eParticipation - Methods and Techniques for assessing and improving Well-being and quality of life in future smart cities - Machine Learning and data mining methods for smart cities and smart mobility - Open data and their exploitation towards building smart cities and smart mobility - Drones: methods and techniques for data collection, processing, and analytics - Visual Analytics: novel interactive visualization and modeling techniques for smart cities - Environmental technology: reducing carbon footprint and increasing sustainability for urban transport through ICT - Multi-source data for public decision making - Wearables: methods and techniques for exploiting wearable devices towards improving citizen well being - Social media: data collection, management, storage, and processing techniques - Personalised mobility services: how user data, sensors, IoT, and networks enable context aware mobility platforms - Apps, Sensors, and portals for smart cities and mobility - Optimization of the infrastructure of complex urban environments for smart mobility Goals and expected results: This workshop aims to attract an interdisciplinary group of researchers who are involved in research related to smart cities and data science, focusing on novel methods and technologies for building environmentally sustainable ecosystems, providing seamless experience in smart mobility, enhancing citizen engagement, and influencing decision makers when launching smart city initiatives. Workshop organisers: Myrsini Glinos eGovlab Stockholm University myrsini at dsv.su.se Jorge M. Bandeira University of Aveiro jorgebandeira at ua.pt Panagiotis Papapetrou Dept. of Computer and Systems Sciences Stockholm University panagiotis at dsv.su.se -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From henning at ruc.dk Wed Feb 1 17:38:19 2017 From: henning at ruc.dk (Henning Christiansen) Date: Wed, 1 Feb 2017 16:38:19 +0000 Subject: CfP: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17) Message-ID: CALL FOR PAPERS 2nd International Workshop on AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17) Prague, Czech Republic, 3 - 6 September, 2017 https://www.fedcsis.org/2017/airim ------------------------------------------------------------- SCOPE: There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning. TOPICS: We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications: - Reasoning systems --- theories and applications - Proof systems and model checkers - Theories of computation and information - Interactive computation and reasoning - Computation and reasoning with heterogeneous information - Space and time in information, language, memory, and reasoning - Partiality, underspecification, vagueness, and possibilities - Detection of and reasoning with inconsistency - Logic and language --- approaches, theories, methods - Computational morphology, syntax, semantics, and interfaces between these - Constraint-based and type-theoretic approaches and grammars - Logical approaches to multilingual processing - Logical and computational foundations in machine learning and information retrieval - Mathematics for linguistics and cognitive science - Reasoning, information, and memory in computational neuroscience and life sciences - Interdisciplinary approaches to information, language, memory, and reasoning IMPORTANT DATES Paper submission (strict deadline): May 10 2017 23:59:59 pm HST Position paper submission: May 31, 2017 Authors notification: June 14, 2017 Final paper submission and registration: June 28, 2017 Final deadline for discounted fee: August 01, 2017 Conference dates: September 3-6, 2017 PAPER SUBMISSION and PUBLICATIONS The publication rules for AIRIM'17 are the same as for AAIA'17: https://www.fedcsis.org/2017/airim - Authors should submit draft papers (as Postscript, PDF of MSWord file) - The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available at the websites of AIRIM'17 | AAIA'17 - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop - Pre-prints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants - Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database - Conference proceedings will be published in a volume with ISBN, ISSN, and DOI numbers and posted at the conference WWW site - Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography, and Google Scholar - Extended versions of selected papers presented during the conference will be published as Special Issue(s) ORGANIZERS Roussanka Loukanova, Stockholm University, Sweden M. Dolores Jiménez-López, Universitat Rovira i Virgili, Spain Henning Christiansen, Roskilde University, Denmark CONTACT INFORMATION M. Dolores Jiménez-López (mariadolores.jimenez at urv.cat) Roussanka Loukanova (rloukanova at gmail.com) From vahdati at iai.uni-bonn.de Wed Feb 1 23:02:30 2017 From: vahdati at iai.uni-bonn.de (sahar vahdati) Date: Wed, 1 Feb 2017 23:02:30 +0100 Subject: [SemPub17]:Call for Challenge (Semantic Publishing Challenge 2017) Message-ID: <3c5633f4-07dc-4a9b-e270-89561dfd0d75@iai.uni-bonn.de> ESWC 2017 Call for Challenge: Semantic Publishing Challenge 2017 ==== Call for Challenge: Semantic Publishing ==== Challenge Website: https://github.com/ceurws/lod/wiki/SemPub2017 Challenge hashtag: #SemPub2017, #SemPub Challenge Chairs: * Angelo Di Iorio (University of Bologna, IT) * Anastasia Dimou (Ghent University / imec, BE) * Christoph Lange (EIS, University of Bonn / Fraunhofer IAIS, DE) * Sahar Vahdati (EIS, University of Bonn, DE) Challenge Coordinators: * Mauro Dragoni, Fondazione Bruno Kessler, IT) * Monica Solanki (University of Oxford, UK) 14th Extended Semantic Web Conference (ESWC) 2017 Dates: May 28th - June 1st, 2017 Venue: Portorož, Slovenia Hashtag: #eswc2017 Feed: @eswc_conf Site: http://2017.eswc-conferences.org General Chair: Eva Blomqvist (Linköping University, SE) MOTIVATION AND OBJECTIVES As in 2016, 2015 and 2014, the goal is to facilitate measuring the excellence of papers, people and scientific venues by data analysis. Instead of considering publication venues as single and independent units, we focus on their explicit and implicit connections, interlinking and evolution. We achieve that thanks to the primary data source we are using, which is highly relevant for computer science: the CEUR-WS.org workshop proceedings, which have accumulated 1,800 proceedings volumes with around 30,000 papers over 20 years and thus covers the majority of workshops in computer science. We go beyond the tasks of the 2016 challenge in two ways: (1) refining and extending the set of quality-related data to be extracted and (2) linking and exploiting existing Linked Open Data sources about authors, publications, topics, events and communities. The best data produced in the 2017 challenge will be published at CEUR-WS.org or in a separate LOD, interlinked to the official CEUR-WS.org LOD and to the whole Linked Open Data Cloud. DATASET The primary dataset used is the Linked Open Datasetthat has been extracted from the CEUR-WS.org workshop proceedings (HTML tables of content and PDF papers) using the extraction tools winning the previous Challenges, plus its full original PDF source documents (for extracting further information). The most recent workshop proceedings metadata have explicitly been released under the CC0 open data license; for the older proceedings CEUR-WS.org has the permission to make that data accessible. In addition to the primary dataset, we use (as linking targets) existing Linked Open Datasets containing related information: Springer recently announced computer science proceedings LOD, the brand-new LOD of OpenAIRE including all EU-funded open access publications, Springer LD, DBLP, ScholarlyData(a refactoring of the Semantic Web Dog Food), COLINDA, and further datasets available under open licenses. The evaluation dataset will comprise a dataset of around 100 selected PDF full-text papers from these workshops. Like last year, the training dataset will be distinct from the evaluation dataset, as well as the expected results of queries against this subset. Both datasets will respect the diversity of the CEUR-WS.org workshop proceedings volumes with regard to content structure and quality. TASKS Our challenge invites submissions in one or more out of three tasks, which are independent from each other but are conceptually connected by taking into account increasingly more contextual information. Some tasks include sub-tasks but participants will compete in a task as a whole. They are encouraged to address all sub-tasks (even partially) to increase their chance to win. Task 1: Extracting information from the tables in papers Participants are required to extract information from the tables of the papers (in PDF). Extracting content from tables is a difficult task, which has been tackled by different researchers in the past. Our focus is on tables in scientific papers and solutions for re-publishing structured data as LOD. Tables will be collected from CEUR-WS.org publications and participants will be required to identify their structure and content. The task then will require PDF mining and data processing techniques. Task 2: Extracting information from the full text of the papers Participants are required to extract information from the textual content of the papers (in PDF). That information should describe the organization of the paper and should provide a deeper understanding of the content and the context in which it was written. In particular, the extracted information is expected to answer queries about the internal organization of sections, tables, figures and about the authors’ affiliations and research institutions. The task mainly requires PDF mining techniques and some NLP processing. Task 3: Interlinking Participants are required to interlink the CEUR-WS.org linked dataset with relevant datasets already existing in the LOD Cloud. Task 3 can be accomplished as an entity interlinking/instance matching task that aims to address both interlinking data from the output of the other tasks as well as interlinking the CEUR-WS.org linked dataset – as produced in previous editions of this challenge – to external datasets. Moreover, as triples are generated from different sources and due to different activities, tracking provenance information becomes increasingly important. EVALUATION In each task, the participants will be asked to refine and extend the initial CEUR-WS.org Linked Open Dataset, by information extraction or link discovery, i.e. they will produce an RDF graph. To validate the RDF graphs produced, a number of queries in natural language will be specified, and their expected results in CSV format. Participants are asked to submit both their dataset and the translation of the input (natural language queries) to work on that dataset. A few days before the deadline, a set of queries will be specified and be used for the final evaluation. Participants are asked then to run these queries on their dataset and to submit the produced output in CSV. Precision, recall and F-measure will be calculated by comparing each query’s result set with the expected query result from a gold standard built manually. Participants’ overall performance in a task will be defined as the average F-measure over all queries of the task, with all queries having equal weight. For computing precision and recall, the same automated tool as for previous SemPub challenges will be used; this tool will be publicly available during the training phase. We reserve the right to disqualify participants whose dataset dumps are different from what their information extraction tools create from the source data, who are not using the core vocabulary, or whose SPARQL queries implement something different from the natural language queries given in the task definitions. The winners of each task will be awarded as last year. TARGET AUDIENCE The Challenge is open to people from industry and academia with diverse expertise which could participate in all tasks, or focus on specific ones. Task 1 and 2 address an audience with a background in mapping, information extraction, information retrieval and NLP and invites the previous years’ participants to refine their tools, as well as new teams. Task 3 additionally addresses the wide interlinking audience, without excluding in the same time other participants to participate in the challenge. Task 3 invites new participants as well as participants from Tasks 1 and 2. FEEDBACK AND DISCUSSION A discussion group is open for participants to ask questions and to receive updates about the challenge: sempub-challenge at googlegroups.com . Participants are invited to subscribe to this group as soon as possible and to communicate their intention to participate. They are also invited to use this channel to discuss problems in the input dataset and to suggest changes. HOW TO PARTICIPATE Participants are first required to submit: * Abstract: no more than 200 words. * Description: It should explain the details of the automated annotation system, including why the system is innovative, how it uses Semantic Web technology, what features or functions the system provides, what design choices were made and what lessons were learned. The description should also summarize how participants have addressed the evaluation tasks. An outlook towards how the data could be consumed is appreciated but not strictly required. The description should be submitted as a 5 pages document. If accepted, the participants are invited to submit their task results. In this second phase they are required to submit: * The Linked Open Dataset produced by their tool on the evaluation dataset (as a file or as a URL, in Turtle or RDF/XML). * A set of SPARQL queries that work on that LOD and correspond to the natural language queries provided as input * The output of these SPARQL queries on the evaluation dataset (in CSV format) Accepted papers will be included in the Conference USB stick. After the conference, participants will be able to add data about the evaluation and to finalize the camera-ready for the final proceedings. The final papers must not exceed 15 pages in length. Papers must be submitted in PDF format, following the style of the Springer's Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/computer/lncs/lncs+authors). Submissions in semantically structured HTML, e.g. in the RASH (http://cs.unibo.it/save-sd/rash/documentation/index.html), or dokieli (https://github.com/linkeddata/dokieli) formats are also accepted as long as the final camera-ready version conforms to Springer's requirements (LaTeX/Word + PDF). Further submission instructions will be published on the challenge wiki if required. All submissions should be provided via the submission system https://easychair.org/conferences/?conf=sempub17. NOTE: At least one author per accepted submission will have to register for the ESWC Conference, in order to be eligible for the prizes and to include the paper in the proceedings. JUDGING AND PRIZES After the first round of review, the Program Committee and the chairs will select a number of submissions conforming to the challenge requirements that will be invited to present their work. Submissions accepted for presentation will receive constructive reviews from the Program Committee, they will be included in the Springer post-proceedings of ESWC. Six winners will be selected from those teams who participate in the challenge at ESWC. For each task we will select: * best performing tool, given to the paper which will get the highest score in the evaluation * best paper, selected by the Program and Challenge Committee IMPORTANT DATES * January 29, 2017: Publication of tasks, rules and queries description * January 29, 2017: Publication of the training dataset * February 10, 2017: Publication of the evaluation tool * March 10, 2017: Paper submission (5 page document) * April 7, 2017: Notification and invitation to submit task results * April 7, 2017: Test data (and other participation tools) published * April 23, 2017: Conference camera-ready papers submission (5 page document) * May 11, 2017: Publication of the evaluation dataset details * May 13, 2017: Results submission * May 30 - June 1: Challenge days *June 30, 2017: Camera ready paper for challenges post proceedings (12 pages document) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ines.lynce at tecnico.ulisboa.pt Thu Feb 2 10:41:28 2017 From: ines.lynce at tecnico.ulisboa.pt (Ines Lynce) Date: Thu, 2 Feb 2017 09:41:28 +0000 Subject: Tenure-track faculty - open search Message-ID: <272A693A-3CBD-4F61-BA4D-C2462BF82636@tecnico.ulisboa.pt> Open faculty search The Computer Science and Engineering Department of the Instituto Superior Técnico of the Universidade de Lisboa is carrying out an open search process for possible candidates to future openings for faculty career positions. This open search is targeted at possible candidates who have an interest in enrolling at the base level of the university professional career, in all scientific areas of the Department, namely: • Architecture and Operating Systems. • Computer Graphics and Multimedia. • Artificial Intelligence. • Programming Methodology and Technology. • Information Systems. Possible candidates should send to the email address cse-facultysearch at dei.tecnico.ulisboa.pt a zip file containing the following materials: • Curriculum Vitae • Teaching and research statement • Contact (including email address) of three researchers or professionals from the area who can be contacted to provide reference letters, attesting to the scientific, pedagogical, and professional qualities of the possible candidate. These materials should preferably be sent by February 28, 2017, for being considered for the 2017 open search process. For any additional questions please contact the Department at dei at tecnico.ulisboa.pt . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alexandra.silva at ucl.ac.uk Thu Feb 2 18:39:37 2017 From: alexandra.silva at ucl.ac.uk (Alexandra Silva) Date: Thu, 2 Feb 2017 18:39:37 +0100 (CET) Subject: TbILLC 2017: 1st Call for Papers Message-ID: <20170202173937.2E48F340909@sphinx.rz.tu-clausthal.de> 1st Call for Papers THE TWELFTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION 18-22 September, 2017 Kakheti, Georgia http://events.illc.uva.nl/Tbilisi/Tbilisi2017/ *********************************************************************** CALL FOR PAPERS The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia. The Programme Committee invites submissions for contributions on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. Areas of interest include, but are not limited to: * Natural language syntax, semantics, and pragmatics * Linguistic typology and semantic universals * Language evolution and learnability * Historical linguistics, history of logic * Natural logic, inference and entailment in natural language * Logic, games, and formal pragmatics * Logics for artificial intelligence * Constructive, modal and algebraic logic * Algorithmic game theory * Computational social choice * Formal models of multiagent systems * Information retrieval, query answer systems * Distributional and probabilistic models of information and meaning Authors can submit an abstract of three pages (including references) at the EasyChair conference system here: https://easychair.org/conferences/?conf=tbillc2017 PROGRAMME The programme will include the following tutorials and a series of invited lecturers. Tutorials: Language: Jakub Szymanik (University of Amsterdam) Logic: Sam van Gool (City College of New York) Computation: TBA Invited speakers: Language: Gemma Boleda (Universitat Pompeu Fabra) Ruth Kempson (King's College, London) Logic: Alexander Kurz (University of Leicester) Eric Pacuit (University of Maryland, tbc) Computation: Dexter Kozen (Cornell University) Alex Simpson (University of Ljubljana) Workshops There will also be a workshop on "Language entitled Signs and gestures -- exploring the divide between sign language and speech-accompanying gestures" organised by by Daniel Hole (University of Stuttgart). More information will be available on the TbiLLC website: http://events.illc.uva.nl/Tbilisi/Tbilisi2017/ Programme Committee Samson Abramsky (Oxford University) Kata Balogh (University of Duesseldorf) Guram Bezhanishvili (New Mexico State University) Nick Bezhanishvili (ILLC, University of Amsterdam) Rajesh Bhatt (UMass Amherst) Filippo Bonchi (University of Pisa) Valeria De Paiva (University of Birmingham) David Gabelaia (TSU, Razmadze Mathematical Institute) Brunella Gerla (University of Insubria) Nina Gierasimczuk (ILLC, University of Amsterdam) Helle Hvid Hansen (Delft University of Technology) Daniel Hole (University of Stuttgart) George Metcalfe (University of Bern) Alessandra Palmigiano (Delft University of Technology) Wiebke Petersen (Chair, University of Duesseldorf) Mehrnoosh Sadrzadeh (Queen Mary University of London) Alexandra Silva (Chair, University College London) Sonja Smets (ILLC, University of Amsterdam) Rui Soares Barbosa (University of Oxford) Luca Spada (University of Salerno) Carla Umbach (Zentrum für Allgemeine Sprachwissenschaft, ZAS, Berlin) Galit W. Sassoon (Bar Ilan University) Henk Zeevat (ILLC, University of Amsterdam) PUBLICATION INFORMATION Post-proceedings of the symposium will be published in the LNCS series of Springer. IMPORTANT DATES Submission deadline: 15 March 2017 Notification: 15 May 2017 Final abstracts due: 15 June 2017 Registration deadline: 1 August 2017 Symposium: September 18-22, 2017 Programme and submission details can be found at: http://events.illc.uva.nl/Tbilisi/Tbilisi2017/ From rl.stpuu at gmail.com Thu Feb 2 22:37:24 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Thu, 2 Feb 2017 22:37:24 +0100 Subject: Logic Colloquium 2017: First Announcement and Call for Submissions [CORRECTION-2] Message-ID: Logic Colloquium 2017: First Announcement and Call for Submissions August 14-20, 2017, Stockholm, Sweden https://www.lc17.conf.kth.se The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology. LC2017 will be co-located with two other logic-related events, all taking place at Stockholm University: - the 3rd Nordic Logic Summer School, NLS2017, August 7-12 - the 26th EACSL Annual Conference on Computer Science Logic, CSL2017, August 20-24. There will be a joint session of CSL2017 and LC2017 in the morning of August 20. Further information about all events can be found at: https://www.lis17.conf.kth.se The programme of LC2017 will also include special sessions, which will be announced later. INVITED SPEAKERS ------------------------------ Plenary speakers: - David Aspero (University of East Anglia) - Alessandro Berarducci (Pisa) - Elisabeth Bouscaren (Paris 11) - Christina Brech (Sao Paulo) - Sakae Fuchino (Kobe University) - Denis Hirschfeldt (University of Chicago) - Wilfrid Hodges (British Academy) - Emil Jerabek (Prague) - Per Martin-Löf (Stockholm University) - Dag Prawitz (Stockholm University) - Sonja Smets (University of Amsterdam) Tutorial speakers: - Patricia Bouyer-Decitre (LSV ENS Cachan) - Mai Gehrke (Paris 7) LC2017 invited highlight speakers for the joint LC-CSL session: - Veronica Becher (Buenos Aires) - Pierre Simon (UC Berkeley) SUBMISSIONS OF CONTRIBUTED TALKS --------------------- Abstracts of contributed talks must be submitted as pdf files via this EasyChair page: https://easychair.org/conferences/?conf=lc2017 (If you do not have an EasyChair-account yet, you can create one at the submission site.) The abstracts must be prepared according to the ASL instructions here: http://www.aslonline.org/rules_abstracts.html Please enter Title and Abstract as plain text. As the first keyword, put the AMS 2010 classification: 03xxx Abstracts of contributed talks submitted by ASL members, which are accepted and prepared according to the ASL Rules for Abstracts will be published in The Bulletin of Symbolic Logic. Upon notification of acceptance, authors will be requested to submit the LaTex source files. ASL will provide some student grants for participation at the LC2017. IMPORTANT DATES -------------------------------------------------------- Abstract submission for contributed talks: May 5, 2017 Notification: TBA -------------------------------------------------------- PROGRAMME COMMITTEE ------------------- - Rod Downey (University of Wellington) - Mirna Dzamonja (PC chair, University of East Anglia) - Ali Enayat (University of Gothenburg) - Fernando Ferreira (University of Lisbon) - Valentin Goranko (Stockholm University) - Martin Hils (University of Münster) - Sara Negri (University of Helsinki) - Assaf Rinot (Bar-Ilan University) - Igor Walukiewicz (University of Bordeaux) ORGANISING COMMITTEE -------------------- - Mads Dam, Department of Theoretical Computer Science, KTH - Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University - Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of Technology - Eric Johannesson, Department of Philosophy, Stockholm University - Vera Koponen, Department of Mathematics, Uppsala University - Roussanka Loukanova, Department of Mathematics, Stockholm University - Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University - Peter Pagin, Department of Philosophy, Stockholm University - Anders Lundstedt, Department of Philosophy, Stockholm University - Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University - Dag Westerståhl, Department of Philosophy, Stockholm University CONTACTS AND ENQUIRIES -------------------- For enquiries on scientific and programme issues, send email to: Mirna Dzamonja (M.Dzamonja at uea.ac.uk) For enquiries on organising matters, send email to: lc2017 at philosophy.su.se From f.zanasi at ucl.ac.uk Fri Feb 3 16:30:37 2017 From: f.zanasi at ucl.ac.uk (Fabio Zanasi) Date: Fri, 3 Feb 2017 16:30:37 +0100 (CET) Subject: CALCO 2017: Second Call for Papers Message-ID: <20170203153037.90C35340909@sphinx.rz.tu-clausthal.de> ========================================================= CALL FOR PAPERS: CALCO 2017 7th International Conference on Algebra and Coalgebra in Computer Science June 13 - 16, 2017 Ljubljana, Slovenia http://coalg.org/mfps-calco2017/ ========================================================== Abstract submission: April 3, 2017 Paper submission: April 7, 2017 Author notification: May 15, 2017 Final version due: May 31, 2017 ========================================================== -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013) and Nijmegen (the Netherlands, 2015). The seventh edition will be held in Ljubljana, Slovenia, colocated with MFPS XXXIII. -- INVITED SPEAKERS -- Nicoletta Sabadini - University of Insubria, IT Alex Simpson - University of Ljubljana, SL *Joint Session with MFPS on Metrics, Privacy and Learning:* James Worrell - University of Oxford, UK (Tutorial) *Further Invited Speakers:* Catuscia Palamidessi - Ecole polytechnique, FR Vincent Danos - Ecole normale superieure, FR Marco Gaboardi - University at Buffalo, USA -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra * String Diagrams and Network Theory - Combinatorial approaches - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams - Connections with Control Theory, Engineering and Concurrency -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. Proceedings will be published in the Dagstuhl LIPIcs–Leibniz International Proceedings in Informatics series. Final papers should be no more than 15 pages long in the format specified by LIPIcs (http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2017 -- BEST PAPER AND BEST PRESENTATION AWARDS -- This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: April 3, 2017 Paper submission: April 7, 2017 Author notification: May 15, 2017 Final version due: May 31, 2017 -- PROGRAMME COMMITTEE -- Andrej Bauer (University of Ljubljana, Slovenia) Filippo Bonchi (ENS Lyon, France, co-chair) Marcello Bonsangue (University of Leiden, Netherlands) Corina Cirstea (University of Southampton, UK) Robin Cockett (University of Calgary, Canada) Andrea Corradini (University of Pisa, Italy) Sergey Goncharov (Universitaet Erlangen-Nuernberg, Germany) Helle Hvid Hansen (Delft University of Technology, Netherlands) Ichiro Hasuo (University of Tokyo, Japan) Tobias Heindel (University of Copenhagen, Denmark) Tom Hirschowitz (Savoie Mont Blanc University, France) Bart Jacobs (University of Nijmegen, Netherlands) Bartek Klin (Warsaw University, Poland) Barbara Koenig (University of Duisburg-Essen, Germany, co-chair) Alexander Kurz (University of Leicester, UK) Paul Levy (University of Birmingham, UK) Radu Mardare (Aalborg University, Denmark) Stefan Milius (Universitaet Erlangen-Nuernberg, Germany) Samuel Mimram (Ecole Polytechnique, France) Till Mossakowski (Universitaet Magdeburg, Germany) Larry Moss (Indiana University, US) Daniela Petrisan (Universite Paris-Diderot, France) John Power (University of Bath, UK) Grigore Rosu (University of Illinois, US) Jan Rutten (CWI, University of Nijmegen, Netherlands) Peter Selinger (Dalhousie University, Canada) Alexandra Silva (University College London, UK) Pawel Sobocinski (University of Southampton, UK) Ana Sokolova (University of Salzburg, Austria) -- ORGANISING COMMITTEE -- Andrej Bauer (University of Ljubljana, Slovenia) Matija Pretnar (University of Ljubljana, Slovenia) -- PUBLICITY CHAIR -- Fabio Zanasi (University College London, UK) -- SATELLITE WORKSHOPS: CALCO EARLY IDEAS AND CALCO TOOLS -- The CALCO Early Ideas Workshop is intended to enable presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. The CALCO Tools Workshop is dedicated to tools based on algebraic and/or coalgebraic principles. CALCO 2017 will run together with the CALCO Early Ideas Workshop, with dedicated sessions at the end of each conference day. CALCO Tools will take place on June 13. From manolis.stamatogiannakis at vu.nl Fri Feb 3 20:31:10 2017 From: manolis.stamatogiannakis at vu.nl (Manolis Stamatogiannakis) Date: Fri, 3 Feb 2017 20:31:10 +0100 Subject: EuroSec 2017: Deadline Extended Message-ID: Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Sat Feb 4 00:53:37 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Sat, 4 Feb 2017 00:53:37 +0100 Subject: CfP - Logic, Information, Language, Memory, Reasoning 2017 (LogInfoLangMR'17) New Deadline Feb 13, 2017 Message-ID: ========================================================================= CALL FOR PAPERS Special Session on Logic, Information, Language, Memory, Reasoning 2017 (LogInfoLangMR’17) http://www.dcai-conference.net/special-sessions/loginfolangmr 14th International Conference on Distributed Computing and Artificial Intelligence 2017 (DCAI'17) Polytechnic of Porto, Porto (Portugal) June 21-23, 2017 * Submission deadline: February 13, 2017 * ========================================================================= DESCRIPTION ===== We are in the reality of systems that model human language, reasoning, and use advanced techniques for saving and accessing information. Prominently, computational processing of human language is an interdisciplinary area of research and development of computerized systems. In nature, relations between information, language, reasoning, and memory have many, interdependent facets that can be heterogeneous. Theories, applications, and technologies strive to meet adequate treatment of natural phenomena of information, language, and information exchange. Furthermore, integrated approaches from mathematics and computer science provide support for reliable, advanced, applications. We welcome submissions of papers on the following topics, without limiting to them, across theories, applications, methods, approaches, and technologies: - Logic for applications to language processing - Classic and new theories of formal and natural languages - Computational processing of natural language --- approaches, theories, methods, computerized systems - Computational morphology, syntax, semantics, and syntax-semantics interfaces - Multilingual Processing - Speech Processing - Logic for reasoning systems --- theories and applications - Logic in data science - Information theories - Integration of data and reasoning - Models of computation - Mathematics for linguistics and cognitive science - Interdisciplinary approaches to computation, language, reasoning, memory, data - Computational theories and applications in life sciences - Computational neuroscience of information, language, memory, reasoning - Computational aspects of information, languages, and memory in nature IMPORTANT DATES ===== Submission dates: 13th February, 2017 Notification date: 13th March, 2017 Paper ready deadline: 27th March, 2017 Conference dates: 21st-23rd June, 2017 SUBMISSION INSTRUCTIONS ===== DCAI Special Session papers must be formatted according to the Springer LNCS Template, with a maximum length of 8 pages, including figures and references. All proposed papers must be submitted in electronic form (PDF format) using the Paper Submission Page: http://www.dcai-conference.net/special-sessions PUBLICATION: ===== Accepted papers will be included in DCAI Proceedings. At least one of the authors will be required to register and attend the symposium to present the paper in order to include the paper in the conference proceedings. All accepted papers will be published by Advances in Intelligent Systems and Computing series of Springer Verlag. For more details, see: http://www.dcai-conference.net/special-sessions CO-CHAIRS: ===== Roussanka Loukanova, Stockholm University, Sweden Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Program Committee (PC): The PC consists of experts in the topics of the event. CONTACT: ===== Roussanka Loukanova (rloukanova at gmail.com) Kristina Liefke (Kristina.Liefke at lrz.uni-muenchen.de) From bogom.s at gmail.com Sat Feb 4 10:40:52 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Sat, 4 Feb 2017 20:40:52 +1100 Subject: CfP: DEADLINE EXTENSION for 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (ETAPS 2017) Message-ID: <017501d27eca$f38a8200$da9f8600$@gmail.com> CALL FOR PAPERS SNR 2017 -- DEADLINE EXTENSION UNTIL FEBRUARY 17 ======== 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis April 22, 2017, Uppsala, Sweden Affiliated with ETAPS 2017 http://snr2017.pages.ist.ac.at/ Important Dates =============== Paper submission: February 17, 2017 Notification: March 10, 2017 Final version: March 24, 2017 Workshop date: April 22, 2017 Scope ===== Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems. There are several successful methods for hybrid systems reachability analysis. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. Other methods based on satisfiability checking technologies, symbolically encode reachability properties as logical formulas, while solving such formulas requires numerically-driven decision procedures. Last but not least, also automated deduction and the usage of theorem provers led to efficient analysis approaches. The goal of this workshop is to bring together researchers working with different reachability analysis techniques and to seek for synergies between the different approaches. The SNR workshop solicits papers broadly in the area of analysis and synthesis of continuous and hybrid systems. The scope of the workshop includes, but is not restricted to, the following topics with application to continuous and hybrid systems: - Reachability analysis - Flow-pipe construction; symbolic state set representations - Logical frameworks for reasoning - Bounded model checking - Automated deduction - Invariant generation - Symbolic execution - Trajectory generation; counterexample computation - Abstraction techniques - Reliable integration - Simulation - Reachability analysis for planning and synthesis - Domain-specific approaches in biology, robotics, etc. - Stochastic/probabilistic hybrid systems Submission Information ====================== The workshop solicits - long research papers (not exceeding 15 pages excluding references), - short research papers (not exceeding 6 pages excluding references) and - work-in-progress papers (not exceeding 6 pages excluding references). Research papers must present original unpublished work which is not submitted elsewhere. In order to foster the exchange of ideas, we also encourage work-in-progress papers, which present recent or on-going work. The papers should be written in English and formatted according to the EPTCS guidelines (http://style.eptcs.org/). Papers can be submitted using the EasyChair system: https://easychair.org/conferences/?conf=snr2017 All submissions will undergo a peer-reviewing process. Accepted research papers will be presented at the workshop and published in the Electronic Proceedings in Theoretical Computer Science (EPTCS, http://www.eptcs.org/). Accepted work-in-progress papers will be presented at the workshop but will not be included in the proceedings. Invited Speakers ================ TBA Workshop Co-Chairs ================== Erika Abraham (RWTH Aachen University, Germany) Sergiy Bogomolov (Australian National University, Australia) Publicity Chair =============== Przemyslaw Daca (Institute of Science and Technology Austria, Austria) Program Committee ================= Matthias Althoff (Technische Universitaet Muenchen, Germany) Stanley Bak (United States Air Force Research Lab, USA) Franck Cassez (Macquarie University, Australia) Xin Chen (University of Colorado at Boulder, USA) Thao Dang (CNRS/VERIMAG, France) Martin Fraenzle (University of Oldenburg, Germany) Goran Frehse (Verimag, France) Antoine Girard (L2S, CNRS, France) Thomas Heinz (Robert Bosch GmbH, Germany) Hui Kong (Institute of Science and Technology Austria, Austria) Oleksandr Letychevskyi (Glushkov Institute of Cybernetics, Ukraine) Nikolaj Nikitchenko (Kyiv National Taras Shevchenko University, Ukraine) Maria Prandini (Politecnico di Milano, Italy) Stefan Ratschan (Academy of Sciences, Czech Republic) Rajarshi Ray (National Institute of Technology Meghalaya, India) Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA) Vladimir Ulyantsev (ITMO University, Russia) Edmund Widl (Austrian Institute of Technology, Austria) Paolo Zuliani (University of Newcastle, UK)" -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Sat Feb 4 13:17:08 2017 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 4 Feb 2017 13:17:08 +0100 Subject: First call for papers: DARe at LPNMR'17 Message-ID: <2588A463-83ED-4597-9DEA-D3D3E381E25B@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2017 Date: 3 July 2017 Espoo, Finland *** Deadline: 3 April 2017 *** ============================== The Fourth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-17 held at the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format (which can be found at http://lpnmr2017.aalto.fi/submission.html) and should be no longer than 13 pages. Please submit to: https://easychair.org/conferences/?conf=dare17 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2017 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 3 April 2017 - Notification: 1 May 2017 - Camera ready: 22 May 2017 - Workshop date: 3 July 2017 -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Natasha Alechina, University of Nottingham, UK - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Antonis Bikakis, University College London, UK - Alexander Bochman, Holon Institute of Technology, Israel - Katarina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Marcelo Finger, Universidade de São Paulo, Brazil - Nina Gierasimczuk, Danish Technical University, Denmark - Patrick Girard, University of Auckland, New Zealand - Sven Ove Hansson, Royal Institute of Technology, Sweden - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Gabriele Kern-Isberner, TU Dortmund, Germany - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Thomas Meyer, University of Cape Town, South Africa - Gilles Richard, Université Paul Sabatier, France - Francois Schwarzentruber, ENS Rennes/IRISA, France - Umberto Straccia, CNR, Italy - Joost Vennekens, K.U. Leuven, Belgium - Peter Verdée, Universiteit Gent, Belgium - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-17) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From a.bikakis at ucl.ac.uk Sat Feb 4 16:40:46 2017 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Sat, 04 Feb 2017 15:40:46 +0000 Subject: RuleML+RR 2017 Doctoral Consortium 2nd CfP In-Reply-To: References: Message-ID: *** Paper submission deadline: 1 March 2017 *** NEWS! The PC and a tentative list of mentors are now available! ************************************************* Call for Papers RuleML+RR 2017 Doctoral Consortium at the International Joint Conference on Rules and Reasoning RuleML+RR 2017 London, UK, 12-15 July 2017 http://2017.ruleml-rr.org/doctoral-consortium/ ************************************************** The RuleML+RR Doctoral Consortium is an initiative of the RuleML and RR communities to attract and promote student research in rules and reasoning. It offers students a close contact with leading experts on the field, as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. We invite PhD students at an early or intermediate stage of their PhD studies as well as exceptional Master’s students who are interested in pursuing a PhD to submit papers describing their research on any of the topics of interest of RuleML+RR 2017, available at the conference website: http://2017.ruleml-rr.org/ The submissions should cover the following aspects: * A clear formulation of the research question and the motivation. * An identification of the significant problems in the field of research. * An outline of the current knowledge of the problem domain, as well as the state of existing solutions. * A presentation of any preliminary ideas, the proposed approach and the results achieved so far. * A sketch of the applied research methodology and its positioning in the field. * A description of the student project's contribution to the problem solution. * A discussion of how the suggested solution is different, new, or better as compared to existing approaches to the problem. * A research plan and the potential achievements. The accepted DC papers will be presented to an interested audience and will be discussed with a panel of senior researchers from academia and the industry. Students will present their work through brief oral presentations during a dedicated session of the RuleML+RR main track, but also in the form of posters. Proceedings ----------------- Accepted papers will be published online as part of CEUR-WS Proceedings, which are broadly indexed, e.g., by SCOPUS and listed in standard bibliographic databases such as DBLP. * This year, a selection of the best Doctoral Consortium papers will also be included as short papers in the main track Springer LNCS proceedings. * Important Dates ---------------------- * Paper submission: 1 March 2017 * Author notification: 10 April 2017 * Camera-ready submission: 24 April 2017 Submission guidelines ------------------------------ DC papers are limited to 8 pages written in English following the LNCS ( http://www.springer.de/comp/lncs/authors.html) format and submitted electronically in PDF format jointly with a maximum 2 page CV. Please submit your paper and CV to: https://easychair.org/conferences/?conf=rulemlrr2017dc If you do not have an EasyChair account, please sign up at: http://www.easychair.org Each submission will be reviewed by at least two members of the PC. The names of the PC members are available on the DC web site: http://2017.ruleml-rr.org/doctoral-consortium/ Mentoring -------------- Each student with an accepted DC paper will be assigned a mentor with similar research interests from the RuleML+RR community, with whom they will discuss the student’s research during a mentoring session of the conference. The following researchers have tentatively accepted our invitation for the list of mentors (keep an eye on the DC site, as the list is expected to grow): * Harold Boley * Diego Calvanese * Simona Colucci * Stefania Costantini * Giovanni De Gaspaeris * Enrico Franconi * Guido Governatori * Roman Kontchakov * Domenico Lembo * Rafael Penaloza * Francesco Ricca * Dumitru Roman * Omair Shafiq * Giorgos Stamou * Kia Teymourian Registration & Student Travel Support --------------------------------------------------- Registration information will soon become available at the main conference web site (http://2017.ruleml-rr.org/). Reduced registration fees will be offered to all student participants of the conference. Financial support is available to enable student authors to travel to the Symposium. These are awarded on a case-by-case basis. Proof of studentship will be required at time of registration. Other collocated events -------------------------------- Students participating in the Doctoral Consortium will also have access to all the sessions of the main RuleML+RR track as well as to its collocated events: * The 11th International Rule Challenge * The RuleML+RR 2017 Industry Track * Decision Camp 2017 More information about the conference and the collocated events is available at: http://2017.ruleml-rr.org/ We would also like to invite students to the collocated 13th Reasoning Web Summer School (RW 2017), which will take place at the same venue prior to RuleML+RR 2017: 7-11 July, 2017 ( http://2017.ruleml-rr.org/13th-reasoning-web-summer-school-rw-2017/). Students registered for the Doctoral Consortium will be offered a discount for the registration to RW 2017, and vice versa. With kind regards, RuleML+RR 2017 Doctoral Consortium Chairs Antonis Bikakis, University College London, UK Theodore Patkos, Institute of Computer Science, FO.R.T.H., Greece -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alberto.fernandez at urjc.es Sat Feb 4 17:58:18 2017 From: alberto.fernandez at urjc.es (=?UTF-8?Q?Alberto_Fern=c3=a1ndez?=) Date: Sat, 4 Feb 2017 17:58:18 +0100 Subject: [jobs] PhD position in Multi-agent coordination applied to smart buildings Message-ID: <184dd2b0-87cb-46b9-9ea5-99ff43a628c3@urjc.es> *A PhD Contract for an outstanding candidate to undertake research in multi-agent coordination applied to smart buildings* The expected outcome of the research is a PhD dissertation concerning the development of distributed scalable and robust algorithms to coordinate multiple agents in open large smart buildings. Topics of interest for the research include distributed and decentralized exact and heuristic optimization, multi-agent systems, semantic technologies and data stream processing, among others. The research will be carried out in a close collaboration between the Centre for Intelligent Information Technologies (CETINIA) at the University Rey Juan Carlos (URJC) and the Department of Informatics and Control Systems (DIA) at the Institute Mines Telecom Lille Douai (IMT Lille Douai). The candidate will conduct research activities organised as follows: ·Months 1-18 at the Centre for Intelligent Information Technologies (CETINIA) at URJC. ·Months 19-36 at the Department of Informatics and Control Systems (DIA) at IMT Lille Douai. Eligibility criteria The candidate is expected to have (or be finishing) a Master’s Degree or equivalent in Computer Science, Industrial Engineering, or a related field. The applicant is expected to have a good background in multi-agent systems, semantic technologies and operations research.Applicants with an experience in one or more of the above academic fields are encouraged to apply.Furthermore, a good knowledge of written and oral English are required, as well as good programming skills, preferably in Java or Matlab. A high level achievement and experience in multi-disciplinary collaboration are an advantage. Benefits of the contract The work contract should start in April 2017 and should last for three years, with a gross average salary around €1.700 per month. How to apply If you wish to apply for */this work contract/*, you are kindly asked to send your (i) motivation letter describing your research interests and goals, (ii) CV, (iii) transcripts, (iv) certificates, (v) contacts for two references, and (vi) relevant publications (if any) *_in one PDF file_* at the following e-mails: alberto.fernandez at urjc.es and marin.lujak at mines-douai.fr by*March 3^rd , 2017*. We will carefully review your application and you will be advised of an outcome in March 2017. About the Centre for Intelligent Information Technology (CETINIA) The Centre for Intelligent Information Technology (CETINIA) at University Rey Juan Carlos (URJC), aims at applying, and disseminating knowledge in the area of Intelligent Information Technologies, as well as promoting the image of URJC and furthering its academic prestige both at national and international level. To successfully carry out research, technology transfer, and dissemination activities that are required to meet that goal, CETINIA relies on a broad multinational team of researchers and practitioners in the field of Computer Science, focusing on topics of Artificial Intelligence, Multi-Agent Coordination, Semantic Technologies, and Software Engineering, and is involved in several research projects with industrial as well as public funding, from regional, national, and European sources. URJC is a young public university with several campuses in the greater Madrid. In its 20 years of operation, it managed to grow to 40.000 students, being currently the second largest among the six public Universities in Madrid. CETINIA is located in the campus of Mostoles, where the Presidency of the University is located. Mostoles is the second-largest city in population belonging to the autonomous community of Madrid. It is located 18 kilometres southwest from central Madrid, which can be easily reached by metro, train or bus. About IMT Lille Douai IMT Lille Douai is created in the fusion between Ecole des Mines de Douai (Engineering School Douai), a French National Graduate School of Engineering (Grandes Ecoles d’Ingénieurs) located in Douai, close to Lille in France and Telecom Lille. It is the part of IMT Institut Mines Telecom and is the biggest Engineering School on the north of Paris in France. As a leader in education and training in the digital sector, IMT Lille Douai offers numerous educational and training options, internships and research possibilities to foreign students, who now represent more than 30% of the school's population. It is highly selective and provides an excellent academic and multi-cultural student environment. Its excellence was recognized by Le Figaro that classified Ecole des Mines de Douai as one of the best 15 Engineering Schools in 2015 in France. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alexandra.silva at ucl.ac.uk Sun Feb 5 09:48:17 2017 From: alexandra.silva at ucl.ac.uk (Alexandra Silva) Date: Sun, 5 Feb 2017 09:48:17 +0100 (CET) Subject: FORTE 2017: Deadline Extension Message-ID: <20170205084817.4F553180358@selket.rz.tu-clausthal.de> * Highlights * Deadline extension -- abstracts due Feb 17th, full papers Feb 24th. We welcome four kinds of submissions: Full papers (15 pages), Short Papers & Tool demos (7 pages), Posters (3 pages) We are delighted to announce our invited speaker : Rupak Majumdar (MPI-SWS) ********************************************************************************* FORTE 2017 37th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems ********************************************************************************* * Scope * FORTE 2017 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of: - Component- and model-based design - Object technology, modularity, software adaptation - Service-oriented, ubiquitous, pervasive, grid, cloud, and mobile computing systems - Software quality, reliability, availability, and safety; - Security, privacy, and trust in distributed systems; - Adaptive distributed systems, self-stabilization; - Self-healing/organizing; - Verification, validation, formal analysis, and testing of the above. Contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are encouraged. FORTE covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, as well as networking and communication security and reliability. Topics of interest include but are not limited to: - Languages and semantic foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects; - Formal methods and techniques: design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems including communications and network protocols, service-oriented systems, adaptive distributed systems, cyber-physical systems and sensor networks; - Foundations of security: new principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts; - Applications of formal methods: applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems; - Practical experience with formal methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems. * Important Dates * - February 17, 2017: Submission of abstract - February 24, 2017: Submission of papers - April 10, 2017: Notification of acceptance - April 24, 2017: Final version - June 19-22, 2017: Conference and workshops * Submission and publication * Contributions must be written in English and report on original, unpublished work, not submitted for publication elsewhere (cf. IFIP’s codes of conduct). The submissions must be prepared using Springer’s LNCS style. Submissions not adhering to the specified constraints may be rejected without review. Papers must be submitted electronically in pdf via the FORTE’17 interface of the EasyChair system (https://easychair.org/conferences/?conf=forte2017). We solicit four kinds of submissions: - Full papers (up to 15 pages): Describing thorough and complete research results, tools or experience reports. - Short papers (up to 7 pages): Describing research results that are not fully developed, or manifestos, calls to action, personal views on FORTE related research, on the current state of the art, or on prospects for the years to come. - Tool demonstration papers (up to 7 pages): focus on the usage aspects of tools. Theoretical foundations and experimental evaluation are not required, however, a motivation as to why the tool is interesting and significant should be provided. Papers may have an appendix of up to 5 additional pages with details on the actual demonstration. - Posters (up to 3 pages): Students can submit descriptions of posters that will be presented at the conference - during a students poster session. Neither the descriptions or the posters will be published in the proceedings. Each paper will undergo a peer review of at least 3 anonymous reviewers. The conference proceedings will be published by Springer in the LNCS Series. The best papers will be invited after the conference to contribute to a special issue of a top-level journal. * Publication * Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. * Program Committee Chairs * Ahmed Bouajjani, University Paris Diderot, France Alexandra Silva, University College London, U * Program committee * Elvira Albert, Complutense University of Madrid, Spain Luis Barbosa, University of Minho, Portugal Gilles Barthe, IMDEA Software Institute, Spain Borzoo Bonakdarpour, McMaster University, Canada Franck Cassez, Macquarie University, Australia Hana Chokler, King’s College London, UK Pedro D’Argenio, National University of Cordoba & CONICET, Argentina Frank De Boer, CWI, Netherlands Mariangiola Dezani-Ciancaglini, University of Torino, Italy Cezara Dragoi, INRIA, ENS Paris, France Michael Emmi, Bell Labs Nokia, USA Carla Ferreira, Universidade Nova de Lisboa, Portugal Bart Jacob, Katholieke Universiteit Leuven, Belgium Sophia Knight, Uppsala University, Sweden Annabelle McIver, Macquarie University, Australia Stephan Merz, INRIA Nancy, France Stefan Milius, FAU Erlangen, Germany Catuscia Palamidessi, INRIA Paris, France Corina Pasareanu, NASA Ames, USA Anna Philippou, University of Cyprus, Cyprus Sanjiva Prasad, IIT Delhi, India Ana Sokolova, University of Salzburg, Austria Marielle Stoelinga, University of Twente, Netherlands From announce at cs.ucy.ac.cy Sun Feb 5 13:25:31 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 5 Feb 2017 14:25:31 +0200 Subject: 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fourth Call for Papers Message-ID: *** Fourth Call for Papers *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDb21wdXRhdGlvbmFsIENvbGxlY3RpdmUgSW50ZWxsaWdlbmNlIChJQ0NDSSAyMDE3KTogRm91cnRoIENhbGwgZm9yIFBhcGVycwkyNAlMaXN0cwkxODUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Instructions to Authors Prospective authors of papers are invited to submit contributions for presentations at ICCCI 2017. The submissions should present the results of original research or innovative practical applications relevant to the conference topics. Practical experiences with state-of-the-art in CCI methodologies are also acceptable to reflect lessons of unique value for the conference attendees. Contributions should be original and not published elsewhere or intended to be published during the review process. The conference language is English. The conference proceedings of ICCCI 2017 will be published in the prestigious Lecture Notes in Artificial Intelligence series by Springer and indexed by ISI(CPCI-S), Web of Science, EI, Scopus, DBLP, ACM Digital Library. All submissions should follow the LNCS/LNAI style and not exceed 10 pages. At least one full registration is required for each accepted paper in order to be included in the ICCCI 2017 proceedings. Each paper is to be submitted electronically as a single PDF file through EasyChair at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDb21wdXRhdGlvbmFsIENvbGxlY3RpdmUgSW50ZWxsaWdlbmNlIChJQ0NDSSAyMDE3KTogRm91cnRoIENhbGwgZm9yIFBhcGVycwkyNAlMaXN0cwkxODUJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Diccci2017 . To ensure high quality, all papers will be thoroughly reviewed by the ICCCI 2017 International Program Committee. Referees will be asked to nominate papers for a Best Paper award to be announced at the conference. All accepted papers must be presented by one of the authors who must register for the conference and pay the author registration fee. A selected number of accepted and personally presented papers, will be expanded and revised for possible inclusion in special issues of high quality scientific journals. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Important Dates · Submission of Papers: April 1, 2017 · Notification of Acceptance: May 1, 2017 · Camera-ready Submission: May 15, 2017 · Registration and Payment for Authors: June 15, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr Jedrzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jedrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Feb 5 17:51:20 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 05 Feb 2017 17:51:20 +0100 Subject: LATA 2017: call for participation Message-ID: <545102060a010b010550540505025a075b0702070506065502050d060552505654570c560a5a540407505151065052@grlmc_ip-zone_com-6> LATA 2017: call for participation****************************************************************************** 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2017 Umeå, Sweden March 6-9, 2017 Organized by:      Department of Computing Science Umeå University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/LATA2017/ ****************************************************************************** PROGRAM Monday, March 6 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30 Thomas Wilke: Finite Backward Deterministic Automata on Infinite Words - Invited Lecture 10:30 - 11:00    Coffee Break 11:00 - 12:15 Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann: A Stable Non-interleaving Early Operational Semantics for the Pi-calculus Adam Jardine, Kevin McMullin: Efficient Learning of Tier-based Strictly k-Local Languages Makoto Kanazawa, Ryo Yoshinaka: The Strong, Weak, and Very Weak Finite Context and Kernel Properties 12:15 - 13:45    Lunch 13:45 - 15:00 Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas: N-Memory Automata Over the Alphabet N Lisa Hutschenreiter, Rafael Peñaloza: An Automata View to Goal-directed Methods Ruggero Lanotte, Massimo Merro: A Calculus of Cyber-Physical Systems 15:00 - 15:15    Break 15:15 - 16:30 Costas S. Iliopoulos, Ritu Kundu, Solon P. Pissis: Efficient Pattern Matching in Elastic-Degenerate Texts Shmuel Tomi Klein, Dana Shapira: Integrated Encryption in Dynamic Arithmetic Compression Manasi S. Kulkarni, Kalpana Mahalingam: Two-Dimensional Palindromes and Their Properties --- Tuesday, March 7 09:00 - 09:50 Georg Gottlob, Christoph Koch, Andreas Pieris: Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data - Invited Lecture 09:50 - 10:20    Coffee Break 10:20 - 11:35 Janusz A. Brzozowski, Corwin Sinnamon: Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer: On the Complexity of Hard Enumeration Problems Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa: Consensus String Problem for Multiple Regular Languages 11:35 - 13:05    Lunch 13:05 - 14:20 Johannes Schmidt: The Weight in Enumeration Johanna Björklund, Loek Cleophas: Minimization of Finite State Automata Through Partition Aggregation Haiming Chen, Ping Lu: Derivatives and Finite Automata of Expressions in Star Normal Form 14:20 - 14:35    Break and Group Photo 14:35 - 15:50 Henk Don, Hans Zantema: Finding DFAs with Maximal Shortest Synchronizing Word Length Hellis Tamm, Brink Van Der Merwe: Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited Dusan Knop: Partitioning Graphs into Induced Subgraphs 16:00 - 18:00    Touristic Visit --- Wednesday, March 8 09:00 - 09:50 Franz Baader, Oliver Fernández Gil, Pavlos Marantidis: Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL0 - Invited Lecture 09:50 - 10:20    Coffee Break 10:20 - 11:35 Nariyoshi Chida, Kimio Kuramitsu: Linear Parsing Expression Grammars Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan: On Finite-Index Indexed Grammars and Their Restrictions Mark-Jan Nederhof, Anssi Yli-Jyrä: A Derivational Model of Discontinuous Parsing 11:35 - 13:05    Lunch 13:05 - 14:20 Jirí Síma, Petr Savický: Cut Languages in Rational Bases Giovanni Casu, G. Michele Pinna: Merging Relations: a Way to Compact Petri Nets' Behaviors Uniformly Vidhya Ramaswamy, Jayalal Sarma, K. S. Sunil: Space Complexity of Reachability Testing in Labelled Graphs 14:20 - 14:35    Break 14:35 - 15:50 Dick Grune, Wan Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers: Detecting Useless Transitions in Pushdown Automata Chunmiao Li, Xiaojuan Cai: Hardness Results for Coverability Problem of Well-Structured Pushdown Systems Adrien Pommellet, Marcio Diaz, Tayssir Touili: Reachability Analysis of Pushdown Systems with an Upper Stack --- Thursday, March 9 09:00 - 09:50 Harald Beck, Minh Dao-Tran, Thomas Eiter: LARS Stream Reasoning and Temporal Logic - Invited Lecture 09:50 - 10:20    Coffee Break 10:20 - 11:10 Davide Bresolin, Ivan Lanese: Most General Property-Preserving Updates Bernd Gärtner, Ahad Noori Zehmakan: Color War: Cellular Automata with Majority Rule 11:10 - 11:25    Break 11:25 - 12:15 Stefan Gerdjikov, Stoyan Mihov: Over which Monoids is the Transducer Determinization Procedure Applicable? Mika Hirvensalo, Etienne Moutot and Abuzer Yakarylmaz: On the Computational Power of Affine Automata 12:15 - 12:25    Closing 12:25 - 13:55    Lunch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Feb 7 18:05:29 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 7 Feb 2017 12:05:29 -0500 (EST) Subject: ARCADE Call for Papers Message-ID: <20170207170529.0EF051214D1@mcclellan.cs.miami.edu> (Apologies for multiple copies. Please redistribute) **************************************************************** *** CALL FOR PAPERS *** ARCADE http://www.cs.man.ac.uk/~regerg/arcade/ Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements 6 August 2017, Gothenburg, Sweden (co-located with CADE-26) DESCRIPTION: The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal. We invite extended abstracts (2-4 pages, using the EasyChair class style http://www.easychair.org/publications/for_authors) in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage: Challenges: What are the next grand challenges for research on automated reasoning? Thereby, we refer to problems, solving which would imply a significant impact (e.g., shift of focus) on the CADE community and beyond. Roughly ten years ago SMT was one such challenge. Applications: Is automated reasoning applicable in real-world (industrial) scenarios? Should reports on such applications be encouraged at a venue like CADE, perhaps by means of a special case study paper category? Directions: Based on the grand challenges and requirements from real-world applications, what are the research directions the community should promote? What bridges between the different subcommunities of automated reasoning need to be strengthened? What new communities should be included (if at all)? For example, following Reiner Hähnle's question in the AAR Newsletter, is there a place at CADE for research on usable automated reasoning (in resemblance to the flourishing topic of usable security)? Exemplary achievements: What are the landmark achievements of automated reasoning whose influence reached far beyond the CADE community itself? What can we learn from those successes when shaping our future research? Contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. Authors will then be invited to extend their abstracts (e.g., by transcripts of the discussion and a summary of the discussion's outcomes) for inclusion in an EPiC post-proceedings. IMPORTANT DATES (Anywhere on Earth): Submission deadline: 12 May 2017 Notification: 23 June 2017 Workshop: 6 August 2017 Post-proceedings deadline: 29 September 2017 PROGRAM COMMITTEE: Franz Baader, TU Dresden Christoph Benzmüller, Freie Universität Berlin Armin Biere, Johannes Kepler University Linz Nikolaj Bjørner, Microsoft Research Jasmin Christian Blanchette, Inria Nancy & Loria Maria Paola Bonacina, Universite degli Studi di Verona Pascal Fontaine, Loria, Inria, University of Lorraine Silvio Ghilardi, Universite degli Studi di Milano Martin Giese, University of Oslo Jürgen Giesl, RWTH Aachen Alberto Griggio, FBK-IRST Reiner Hähnle, TU Darmstadt Marijn Heule, The University of Texas at Austin Laura Kovács, Vienna University of Technology Aart Middeldorp, University of Innsbruck Neil Murray, SUNY at Albany David Plaisted, University of North Carolina at Chapel Hill Andrei Popescu, Middlesex University London Giles Reger, University of Manchester (co-chair) Renate Schmidt, The University of Manchester Stephan Schulz, DHBW Stuttgart Geoff Sutcliffe, University of Miami Cesare Tinelli, The University of Iowa Dmitriy Traytel, ETH Zürich (co-chair) Andrei Voronkov, The University of Manchester Christoph Weidenbach, Max Planck Institute for Informatics From rl.stpuu at gmail.com Wed Feb 8 04:50:57 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Wed, 8 Feb 2017 04:50:57 +0100 Subject: Third Nordic Logic Summer School (NLS) 2017: Second announcement and call for papers Message-ID: ------------------------------------------------------------ Third Nordic Logic Summer School (NLS) 2017 Stockholm, August 7 - 11, 2017 ------------------------------------------------------------ The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society (http://scandinavianlogic.org/). The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (August 14-20) and Computer Science Logic 2017 (August 21-24). The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions. The lectures start on: ** Monday August 7, 9:00, and end Friday August 11, 16:15 ** LECTURERS AND COURSES ------------------------------ The following lecturers and course topics are confirmed. * Mirna Dzamonja (University of East Anglia) -- Set Theory * Martin Escardo (Birmingham) -- Topological and Constructive Aspects of Higher-Order Computation * Henrik Forssell (Oslo) -- Categorical Logic * Volker Halbach (Oxford) -- Truth & Paradox * Larry Moss (Indiana University, Bloomington) -- Natural Logic * Anca Muscholl (LaBRI, Université Bordeaux) -- Logic in Computer Science - Control and Synthesis, from a Distributed Perspective * Eric Pacuit (University of Maryland) -- Logic and Rationality * Peter Pagin and Dag Westerståhl (Stockholm University) -- Compositionality * Sara L. Uckelman (Durham) -- Medieval Logic * Andreas Weiermann (Ghent) -- Proof Theory --------------------- Certificates for participation will be provided. There will be possibilities to take official credits for some of the courses. --------------------- VENUE --------------------- Department of Mathematics, Kräftriket Campus, Stockholm University. IMPORTANT DATES --------------------- Registration: -- Registration opens: March 6, 2017 Early registration ends: ** May 15, 2017 ** Late registration ends: ** August 4, 2017 ** -- Submission of abstracts for presentations and posters: -- Opening: March 6, 2017 Closing: May 2, 2017 Notification of acceptance: May 9, 2017 -- The early registration fee will be 1900 SEK including VAT (approx. 190 Euros) per participant, and includes coffee breaks and conference materials. Late registration fee is 2600 SEK including VAT. Some participation-fee grants may be available. ACCOMMODATION --------------------- The registration fee does not cover accommodation, but there will be special offers at hostels and hotels (in the range 700 -1200 SEK/night for single rooms) available when the registration opens. SPECIAL OFFER FOR ACCOMMODATION --------------------- There will be offers of inexpensive accommodation via the Stockholm University Housing Office. The cost will be around 300 SEK per person per night, in studio apartments shared by two people. To be able to take part in this offer, participants need to register at the latest May 15. Enquiries may be directed to: logic2017-accommodation [at] math.su.se FURTHER INFORMATION ------------------------- Further information about submissions, registration and accommodation possibilities will (in due time) be available on the NLS webpage: https://www.sls17.conf.kth.se General enquiries: nls2017 [at] philosophy.su.se Accommodation enquiries: logic2017-accommodation [at] math.su.se COMMITTEES ---------------- Program Committee of NLS 2017: Thierry Coquand (Göteborg), Ali Enayat (Göteborg) Mai Gehrke (IRIF, Paris), Nina Gierasimczuk (Copenhagen) Valentin Goranko (Stockholm U), Lauri Hella (Tampere) Lars Kristiansen (Oslo), Juha Kontinen (Helsinki) Øystein Linnebo (Oslo), Sara Negri (Helsinki) Erik Palmgren (chair, Stockholm U) Local Organizing Committee of NLS 2017: Valentin Goranko (co-chair), Dilian Gurov, Roussanka Loukanova, Peter LeFanu Lumsdaine, Anders Lundstedt, Erik Palmgren (co-chair) ------------------------------------------------------------ From francesco.amigoni at polimi.it Wed Feb 8 17:03:56 2017 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Wed, 8 Feb 2017 16:03:56 +0000 Subject: RoboCup 2017 Virtual Robot Competition - Final Call for Participation Message-ID: <94F8599A-8F07-46B3-8FF5-4BFDD23F3881@polimi.it> (Please apologize for multiple postings.) ********************************************************************************************** Call for Participation RoboCup 2017 Virtual Robot Competition July 25 - July 31, 2017 (Nagoya, Japan) http://www.robocup2017.org/ === The deadline for sending the intention of participation is February 15, 2017 === We would like to invite all robot rescue teams to participate in the 2017 RoboCup Rescue Simulation League World Championship. The Virtual Robot Competition has been largely renewed last year, both in terms of simulation environment, with the transition from the an Unreal-based environment to a ROS/Gazebo based environment, and in terms of challenges and rules. If you are interested to participate please take the time to pre-register your team for the RoboCup 2017 Virtual Robot Competition as soon as possible, so that we can inform you about the latest developments. (1) RoboCup Rescue Simulation League and Virtual Robot Competition --------------------- The RoboCup Rescue Simulation League is a socially relevant part of RoboCup event. Its main purpose is to provide emergency decision support by integration of disaster information, prediction, planning, and human interface. A generic urban disaster simulation environment is constructed on network computers. Heterogeneous intelligent agents such as fire fighters, commanders, victims, volunteers, etc. conduct search and rescue activities in this virtual disaster world. Agents can sense their environment and make decisions on the basis of the perceived data. Mission-critical human interfaces support disaster managers, disaster relief brigades, residents, and volunteers to decide their actions to minimize the disaster damage. Addressing this problem involves advanced and interdisciplinary research themes. As AI/robotics research, for example, behavior strategy (e.g., multi-agent planning, realtime/anytime planning, heterogeneity of agents, robust planning, mixed-initiative planning) is a challenging problem. For disaster researchers, RoboCup Rescue works as a standard basis in order to develop practical comprehensive simulators adding necessary disaster modules. >From last year, the Virtual Robot Competition is based on ROS/Gazebo, an advanced robot simulator in which users can simulate multiple agents whose capabilities closely mirror those of real robots. ROS/Gazebo currently features several ground and air robots, as well as a wide range of sensors and actuators. Moreover, exploiting ROS, users can easily develop their robot systems integrating standard modules. For more information: - RoboCup Rescue Simulation League: http://wiki.robocup.org/Rescue_Simulation_League - Tutorials and links to repositories for the simulation environment: https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ - A demo: https://github.com/m-shimizu/RoboCup2016RVRL_Demo - Simulated worlds from previous competitions: https://github.com/m-shimizu/RoboCup2016RVRL_FieldModels - Document describing the transition to the new simulator: http://robocup.oss-cn-beijing.aliyuncs.com/symposium%2FRoboCup_Symposium_2015_submission_14.pdf (2) Intention of participation ------------------- If you are interested to participate in the competition, please send, before February 15, 2017, an email to francesco.amigoni at polimi.it with as attachment the following form filled in: http://home.deib.polimi.it/amigoni/research/IntentVirtual2017.txt (3) Qualification material ------------------------- Besides sending the intention of participation, please prepare before March 30, 2017, a Team Description Paper describing the most innovative contributions or scientific results your team is intended to provide. The TDP is limited to 8 pages and must be formatted according to the LNCS format: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The Team Description Paper is an overview of the methodologies you use or intend to use to control your robots inside the Virtual Robot Competition. If applicable, include a reference to your latest publications. The qualification material should be placed on a dedicated web page on the team's home page. Please include the link to the qualification material on the intention of participation information. (4) Deadlines ----------- - Deadline for intention of participation to Virtual Robot Competition: February 15, 2017 - Deadline for qualification material Virtual Robot Competition: March 30, 2017 - Team qualification notification: April 10, 2017 - Early registration period: March 28 - May 31, 2017 (5) Rules -------- The rules for the RoboCup 2017 Virtual Robot Competition will be published in due time at: http://wiki.robocup.org/Rescue_Simulation_League#Rules With respect to rules adopted in 2016, we expect to list allowed sensors and platforms and, possibly, to include a ROS node for realistically simulating communication between robots. We hope to see you all in Japan! With kind regards, Sanaz Taleghani, Fatemeh Pahlevan Agahababa, Masaru Shimizu, and Francesco Amigoni (members of the 2017 RoboCup Rescue Simulation Virtual Robot Competition Technical and Organization Committees) --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- From rl.stpuu at gmail.com Wed Feb 8 22:02:50 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Wed, 8 Feb 2017 22:02:50 +0100 Subject: CfP: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017 Message-ID: ============================================================ CALL FOR PAPERS Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) Stockholm, August 18-19, 2017 http://staff.math.su.se/rloukanova/LACompLing17.html * Submission deadline for regular papers: April 14, 2017 * ============================================================ Affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017 Stockholm, 20--26 August 2017 https://www.csl17.conf.kth.se/ Co-located with: Logic in Stockholm 2017 https://www.lis17.conf.kth.se/ ============================================================ DESCRIPTION ===== Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950ties, there have been strong links with computer science and logic - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The workshop assesses the place of computer science logic in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress. -------------------------------- SCOPE ===== The workshop focuses on logical approaches to the computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. The topics of LACompLing2017 include, but are not limited to: - Computational theories of human language - Computational syntax - Computational semantics - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Computational grammar - Logic and reasoning systems for linguistics - Type theories for linguistics - Models of computation and algorithms for linguistics - Language processing - Parsing algorithms - Generation of language from semantic representations - Large-scale grammars of natural languages - Multilingual processing - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language theories based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES ===== Submission deadline for regular papers: April 14, 2017 Notification of paper acceptance: May 31, 2017 Deadline for abstracts of short presentations: June 4, 2017 Notifications for short presentations: June 12, 2017 Deadline for final submissions: June 25, 2017 Workshop: August 18-19, 2017 SUBMISSION INSTRUCTIONS ===== - Regular papers: between 10-15 pages, including figures and references, by using LaTeX, with article.sty, the default font size - Abstracts of short presentations: not more than 1 page, by using LaTeX, with article.sty, the default font size - We invite original papers that are not submitted concurrently to another conference or for publication elsewhere - The submissions of proposed papers and abstracts of short presentations have to be in pdf - The camera-ready submissions require the pdf of the papers and their LaTeX sources The submissions are via the EasyChair management system of LACompLing2017: https://easychair.org/conferences/?conf=lacompling2017 PUBLICATIONS ===== - The proceedings of the workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) will be published digitally by the DiVA system of Stockholm University: http://su.diva-portal.org - Improved and extended versions of selected papers, which have been presented at the workshop LACompLing2017, will be published by the Journal of Logic, Language and Information, JoLLI, after the workshop. ORGANIZERS ===== Krasimir Angelov, University of Gothenburg, Sweden Valeria de Paiva, Nuance Communications, USA Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden Michael Moortgat, Utrecht University, The Netherlands Reinhard Muskens, Tilburg University, The Netherlands CONTACT ===== Roussanka Loukanova (rloukanova at gmail.com) Valeria de Paiva (valeria.depaiva at gmail.com) -------------------------------- From raffaele.perego at gmail.com Thu Feb 9 11:20:59 2017 From: raffaele.perego at gmail.com (Raffaele Perego) Date: Thu, 9 Feb 2017 11:20:59 +0100 Subject: 8th Italian Information Retrieval Workshop - IIR 2017 - Preliminary Call for Papers Message-ID: *** Preliminary Call for Papers *** 8th Italian Information Retrieval Workshop - IIR 2017 http://iir2017.usi.ch/ June 5-7, 2017 Università della Svizzera Italiana Via G. Buffi, 13 Lugano, Switzerland SCOPE The purpose of the Italian Information Retrieval Workshop (IIR) is to provide a meeting forum for stimulating and disseminating research in Information Retrieval are related areas. It aims at being a place where Italian-speaking researchers (especially young ones) and researchers affiliated with Italian-speaking institutions can network and discuss their research results in an informal way. IIR 2017 is the 8th edition of the Italian Information Retrieval Workshop. The event has been held annually in Italy since 2010. This year it will take place outside of Italy, but still in an Italian speaking region, on June 5-7, 2017 at the Università della Svizzera Italiana (USI) in Lugano, Switzerland. !!! For its 8th edition, IIR will host a track completely devoted to Recommender Systems together with the first meeting of the RecSys Italian chapter !!! TOPICS IIR 2017 offers an opportunity to present and discuss both theoretical and empirical research. Relevant topics include, but are not restricted to, the following subjects: - Document Representation and Content Analysis (text representation, document structure, linguistic analysis, NLP for IR, cross- and multi-lingual IR, information extraction, sentiment analysis, clustering, classification, topic models, facets, text streams). - Document Indexing (index granularity, distributed indexing, compression). - Queries and Query Analysis (query intent, query suggestion and prediction, query representation and reformulation, query log analysis, conversational search and dialogue, spoken queries, summarization, question answering, query log mining). - Retrieval Models and Ranking (IR theory, language models, probabilistic retrieval models, learning to rank, combining searches, diversity and aggregated search). - Search Engine Architectures (gathering, indexing, distributed IR, mobile IR, cloud IR). - Users and Interactive IR (user studies, user and task models, interaction analysis, session analysis, exploratory search, personalized search, social and collaborative search, search interface, whole-session support, user engagement). - Filtering and Recommending (content-based filtering, collaborative filtering, recommender systems). - IR and the Web of Data (Linked Data, Open Data, data mashups) - Knowledge-enabled IR (Knowledge graphs, ontologies, Semantic Web, entity extraction and linking) - Evaluation (test collections, experimental design, effectiveness measures, session-based evaluation, simulation). - Web IR and Social Media Search (link analysis, click models/behavioral modeling, social tagging, social network analysis, blog and microblog search, forum search, community-based QA, adversarial IR and spam, vertical and local search, expert finding). - IR and Structured Data (XML search, ranking in databases, desktop search, entity search) - Multimedia IR (image search, video search, speech/audio search, music search). - Application of neural network models in IR tasks. - Other Applications (digital libraries, enterprise search, genomics IR, legal IR, patent search, text reuse, new retrieval problems). SUBMISSIONS Submissions must be written in English and follow the guidelines set by Springer in the LNCS series (see the web site for details). Submissions will be peer-reviewed and accepted papers will appear in the CEUR-WS on-line proceedings series (indexed by DBLP), as happened for all previous IIR editions. Authors of accepted papers can choose not to have their papers published in the CEUR-WS collection. We particularly encourage PhD students or early-stage researchers to submit their work and also welcome contributions from industry. The conference languages are Italian and English. Authors are invited to submit one of the following types of contributions: * Full original papers (up to 12 pages); * Short original papers (up to 8 pages); * Extended abstracts containing descriptions of ongoing projects or presenting already published results (up to 4 pages). Submission page : https://easychair.org/conferences/?conf=iir2017 IMPORTANT DATES * Submission deadline : 31 March 2017 * Notification of acceptance : 5 May 2017 * IIR 2017 takes place on : 5-7 June 2017 REGISTRATION For the first time since the first edition in 2010, this year IIR will require a small registration fee to cover the costs of coffee breaks and social dinner. Università della Svizzera Italiana will organize and host the workshop for free. -- ----------- R. Perego, ISTI-CNR, Pisa, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Thu Feb 9 17:13:02 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 9 Feb 2017 18:13:02 +0200 Subject: 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fourth Call for Special Sessions & Workshops Proposals Message-ID: <1ECFII-7GRR-KHU-AUWY-K74HKZORAOXA@cs.ucy.ac.cy> *** Fourth Call for Special Sessions & Workshops Proposals *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDb21wdXRhdGlvbmFsIENvbGxlY3RpdmUgSW50ZWxsaWdlbmNlIChJQ0NDSSAyMDE3KTogRm91cnRoIENhbGwgZm9yIFNwZWNpYWwgU2Vzc2lvbnMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTI2CUxpc3RzCTE4OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Call for Special Sessions and Workshops Proposals ICCCI 2017 invites proposals for Special Sessions and Workshops to be held during the conference. They intend to provide researchers in focused areas the opportunity to present and discuss their work, as well as to offer a forum for interaction among a broader community of researchers. A Special Session or Workshop will consist of a group of papers in a sub-discipline of Computational Collective Intelligence related to the main topics of ICCCI 2017. The papers will be required to meet the same standards as ICCCI 2017 papers and will be published in the conference proceedings, in a bound volume by Springer in their Lecture Notes in Artificial Intelligence series. All the Special Sessions and Workshops will be centralized as tracks in the same conference submission and reviewing system (EasyChair) as the regular papers. Please send the Special Session and Workshop proposals with the following information: · Title & acronym of the special session · Brief profiles of special session organizers · General description of the special session scope · List of topics · Proposed Session Program Committee (to be invited) The format for the Special Session or Workshop proposal should follow the pattern of the template available on the conference web site. The organizers will be responsible for the advertisement and promotion of the Special Sessions or Workshops and the conference including the Special Sessions and Workshops webpage preparation. The management of papers review will be achieved by Special Session and Workshops Committees, using the Conference System (a separate EasyChair track will be provided for each Special Session and Workshop). The organizers are responsible for managing the review process. All the reviews should be submitted through EasyChair. Each paper should obtain at least two reviews. For Special Sessions and Workshops Issues please contact: Bogdan Trawinski Wroclaw University of Science and Technology, Poland bogdan.trawinski at pwr.edu.pl Important Dates · Special Session & Workshop Proposals: March 1, 2017 (*** extended ***) · Special Session & Workshop Acceptance: March 15, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa? Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Renate.Schmidt at manchester.ac.uk Thu Feb 9 19:01:31 2017 From: Renate.Schmidt at manchester.ac.uk (Renate Schmidt) Date: Thu, 9 Feb 2017 18:01:31 +0000 Subject: PhD Studentships in Artificial Intelligence Message-ID: <20170209164309.3006e873@renate-vb.localnet> PHD STUDENTSHIPS IN ARTIFICIAL INTELLIGENCE University of Manchester, UK Available for 2017 entry Application deadline: 17 March 2017 The University of Manchester boasts one of the most innovative and successful schools of computer science in the world. Manchester saw the birth of computer science, with the creation of the world's first stored-program computer. We continue to work on pioneering research including cutting-edge image processing software, new technologies to exploit the power of the web, medical imaging software and low-power chip design. In REF2014, the most recent research assessment, we were ranked in the top 5% in the UK (4th out of 89 submissions) based on GPA for Computer Science and Informatics. REF2014 also assessed that The University of Manchester is the best environment in the UK for computer science and informatics research, and 94% of our research was classed as "world-leading" (4*) or "internationally excellent" (3*). All of our impact case studies were ranked 3* and 4*, which puts us joint-top for research impact. The School of Computer Science is pleased to announce the following fully-funded studentships for September 2017 entry: THE JAMES ELSON STUDENTSHIP The James Elson Studentship Award in Artificial Intelligence will provide an outstanding candidate with fees and an enhanced stipend to carry out a 3-year PhD research project relating to Artificial Intelligence, for September 2017 entry. This studentship has been established as a result of a bequest from James Elson, who passed away in 2012 after a long battle with cancer. Last year we awarded a James Elson Studentship in Cancer Research due to the nature of James' illness; this year the studentship focus is on Artificial Intelligence - the area of James' MEng dissertation whilst here at Manchester. The James Elson studentships are available for UK and EU nationals eligible to pay 'Home' fees. A list of eligible projects and further information about this studentship can be found on the School of Computer Science website: http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/funding/james-elson/. The deadline for this studentship is Friday 17th March. SCHOOL STUDENTSHIPS A number of School studentships are available for UK and EU nationals for both 3-year PhD and the 4-year CDT PhD programmes in Computer Science. The 3-year PhD studentships pay all tuition fees and a stipend award for 3 years. Applicants must be eligible to pay 'home' fees. There will normally be opportunities to undertake some teaching, in the form of laboratory demonstration. A number of fees-only studentships are also available for international students. The School supports mid-year as well as the standard September entry point. The 4-year CDT PhD studentships are offered through our Centre for Doctoral Training, and are available for applicants eligible to pay 'home' fees. The programme consists of an initial 'foundation period' of six months of taught components, followed by a 3.5 year period of focused PhD level research, carried out under the supervision of a PhD supervisor or team of supervisors. FURTHER INFORMATION Further information about these studentships can be found on the Funding section of the School of Computer Science website http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/funding/school-studentships/. For further information about PhD study, funding and admissions, please contact our Postgraduate Research admissions team: pgr-compsci at manchester.ac.uk or +44(0)161 275 0699. From announce at cs.ucy.ac.cy Fri Feb 10 15:14:24 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 10 Feb 2017 16:14:24 +0200 Subject: 16th World Conference on Mobile and Contextual Learning (mLearn 2017): First Call for Papers and Workshop Proposals Message-ID: *** First Call for Papers and Workshop Proposals *** 16th World Conference on Mobile and Contextual Learning mLearn 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 30 October - 1 November, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMTZ0aCBXb3JsZCBDb25mZXJlbmNlIG9uIE1vYmlsZSBhbmQgQ29udGV4dHVhbCBMZWFybmluZyAobUxlYXJuIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2FscwkyOAlMaXN0cwkxODgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F In Cooperation with ACM SIGAPP The International Association for Mobile Learning (IAmLearn) (www.iamlearn.org) is the custodian of the mLearn conference series. mLearn is the leading annual international conference for researchers, policy makers, educators, developers and solutions providers in the fields of mobile, ubiquitous and contextual learning, as well as learning with emerging ambient and wearable technologies. mLearn attracts a large number of participants from more than 60 countries representing all continents, and is, therefore, the world's largest international conference on mLearning and emerging ambient technologies. Conference Themes The overarching conference theme is 'mLearning and Design for Social Change and Innovation'. Higher education institutions are called upon to provide for the competencies and skills that foster design for social change and innovation. In addition, knowledge and skills alliances are encouraged by funding bodies to cultivate, share and disseminate competencies that foster social entrepreneurship and innovation. However, little is known on how mlearning can facilitate this process, how it can contribute towards social change, innovation and entrepreneurship. The topics of interest can go beyond the conference theme, and can include any of the following: · The development, deployment and implementation of mlearning in the context of social entrepreneurship, innovation and social change · mLearning as a tool that fosters social change and social entrepreneurship · Innovations in mlearning theory and pedagogy · From pilot projects to mainstream implementation: strategies for the deployment of mLearning · Mobile technology to support open and distance learning · Mobile technology for teaching and learning support · Assessment techniques and practices in mLearning · Design and development of learning material for mLearning · Learning objects and metadata for mLearning · Informal and lifelong learning with the aid of mobile technologies · Challenges for mLearning in developing countries · Building and implementing mLearning strategies in educational institutions, companies and public sector organisations · mLearning management systems (mLMSs) · Computer tablets · Creating interactive and collaborative mLearning environments · Future trends in mLearning technology, including the impact of emerging technologies · Emerging hardware and software for mLearning including wearable technologies · Location-aware technologies · Contextual and situated learning · Augmented reality · Serious gaming and simulations · Ambient intelligence and ubiquitous learning Submission Information The conference solicits regular papers (no more than 8 pages), short papers (no more than 4 pages), as well as posters (no more than 2 pages). The Program Committee may require an accepted paper to be adapted into a short paper or poster. All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission of Workshop Proposals: 31 March 2017 · Notification for Workshop Proposals: 7 April 2017 · Submission Deadline for Conference Papers: 1 June 2017 · Submission Deadline for Workshop Papers: 21 July 2017 · Accept/Reject Notification for Conference Papers: 15 July 2017 · Accept/Reject Notification for Workshop Papers: 25 August 2017 · Camera-Ready Submission of all Papers: 1 September 2017 Information on registration categories and registration fees for the mLearn 2017 is available online at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMTZ0aCBXb3JsZCBDb25mZXJlbmNlIG9uIE1vYmlsZSBhbmQgQ29udGV4dHVhbCBMZWFybmluZyAobUxlYXJuIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2FscwkyOAlMaXN0cwkxODgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F. Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Fernando Loizides, University of Wolverhampton, United Kingdom · Nicos Souleles, Cyprus University of Technology, Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMTZ0aCBXb3JsZCBDb25mZXJlbmNlIG9uIE1vYmlsZSBhbmQgQ29udGV4dHVhbCBMZWFybmluZyAobUxlYXJuIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2FscwkyOAlMaXN0cwkxODgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2Fcommittees.php -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Feb 10 18:57:57 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 10 Feb 2017 12:57:57 -0500 (EST) Subject: TABLEAUX/FroCoS/ITP Call for Posters Message-ID: <20170210175757.0D0B712146C@mcclellan.cs.miami.edu> ******************************************************************************* CALL FOR POSTERS TABLEAUX/FroCoS/ITP 25-29 SEPTEMBER 2017 BRASILIA BRAZIL TABLEAUX/FroCoS/ITP 2017 will have a poster session, which is intended for descriptions of works in progress, student projects and relevant research being published elsewhere. Submissions should be in English, in the form of at most one page abstract, ENTCS format containing title and authors name with affiliation. The files should be sent directly to Elaine Pimentel (elaine.pimentel at gmail.com). The deadline for posters submission is June 15, 2017. The notification will be sent to authors June 30th. Proceedings of this session will not be published. Formatting instructions for posters will be made available soon. For more information please contact the local organisers: Elaine Pimentel (elaine.pimentel at gmail.com) Daniele Nantes (daniele.nantes at gmail.com) http://tableaux2017.cic.unb.br http://frocos2017.cic.unb.br http://itp2017.cic.unb.br From peter.schuller at marmara.edu.tr Fri Feb 10 20:10:41 2017 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Fri, 10 Feb 2017 21:10:41 +0200 (EET) Subject: CFP International Workshop on Practical Aspects of Answer Set Programming at LPNMR, Espoo, Finland, 3 July 2017 Message-ID: <20170210191041.AD7043140081@inspire> ======================================================================== 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) Espoo, Finland, July 3, 2017 https://sites.google.com/site/paoasp2017/ ======================================================================== Answer Set Programming (ASP) is a declarative programming paradigm with close relationships to neighboring fields such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state of the art in ASP solving technology. The International Workshop on Practical Aspects of Answer Set Programming (PAoASP) addresses current developments of systems, tools, and applications in ASP and neighboring fields. To this end, it aims to bring together researchers and practitioners of declarative programming with dedicated focus on, but not limited to, recent methods and trends emerging from the ASP Competition. The 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) is organized in conjunction with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017). We solicit the submission of papers on systems, tools, and applications of declarative programming methods, developed in the area of ASP and neighboring fields. In particular, we encourage submissions presenting recent developments, including work in progress. Topics of interest include, but are not limited to: * Algorithm Selection and Configuration * Applications and Benchmarks * Empirical Evaluation * Grounding and Solving * Implementation Techniques * Parallel Systems * Portfolio Systems * Reasoning Tasks * Theory Solving * Translation Methods Accepted papers will be published within (informal) online proceedings. Selected submissions will be invited for rapid publication in Theory and Practice of Logic Programming (TPLP). == Important Dates (tentative) == * Paper submission: April 3, 2017 * Notification of acceptance: May 1, 2017 * Final version due: May 22, 2017 * Workshop: July 3, 2017 == Committee == Workshop Chairs: * Martin Gebser, University of Potsdam, Germany * Marco Maratea, University of Genoa, Italy * Francesco Ricca, University of Calabria, Italy Program Committee: * Carmine Dodaro, University of Genova, Italy * Daniela Inclezan, Miami University, USA * Benjamin Kaufmann, University of Potsdam, Germany * Claire Lefèvre, University of Angers, France * Simona Perri, University of Calabria, Italy * Luca Pulina, University of Sassari, Italy * Jörg Pührer, University of Leipzig, Germany * Christoph Redl, TU Vienna, Austria * Claudia Schulz, Imperial College London, UK * Peter Schüller, Marmara University, Turkey * Shahab Tasharrofi, Aalto University, Finland == Contact == Workshop Chairs: aspcomp2017 at dibris.unige.it Website: https://sites.google.com/site/paoasp2017/ (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From announce at cs.ucy.ac.cy Sat Feb 11 11:26:11 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 11 Feb 2017 12:26:11 +0200 Subject: 8th IEEE International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Third CFP, Invited Sessions, Tutorials & Workshops Proposals Message-ID: <2MAD3MQ-1PMY-HD38-FGDX-VU8ND8ZPJOHB@cs.ucy.ac.cy> *** Third Call for Papers and Invited Sessions, Tutorials & Workshops Proposals *** 8th International Conference on Information, Intelligence, Systems and Applications IISA 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 28 - 30 August, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogVGhpcmQgQ0ZQLCBJbnZpdGVkIFNlc3Npb25zLCBUdXRvcmlhbHMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTMxCUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiisa2017.unipi.gr The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial intelligence, biology, neuroscience, security, monitoring, surveillance, healthcare, sustainability in energy sources, governance, education, commerce, automation, robotics, optimization, image, speech and natural languages, and their integration. IISA 2017 is the eighth conference in the IISA series, technically co-sponsored by IEEE, BAIF, the University of Piraeus and the University of Cyprus. The IISA 2017 proceedings will be published by IEEE and be included in the IEEE DL. The conference is intended as an international forum for researchers and professionals in all areas of Information, Intelligence, Systems, and Applications. We invite submissions of papers presenting high-quality original research and developments for the conference tracks listed below. The conference venue is the Golden Bay Beach Hotel (http://www.goldenbay.com.cy) perfectly situated at the edge of the tourist part of Larnaca, right on a long and wide stretch of fine and clear sandy beach, 10 km from the town center, just 15 km from Larnaca International Airport and 30 minutes from the capital city of Nicosia. This prestigious 5* hotel is renowned for its excellent facilities, combined with impeccable service and finest cuisine in luxurious surroundings The conference will last for three days and will feature tutorials, technical paper presentations, workshops, and distinguished keynote speeches. Instructions to Authors Papers must be submitted in IEEE Conference Style format, which can be downloaded from http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogVGhpcmQgQ0ZQLCBJbnZpdGVkIFNlc3Npb25zLCBUdXRvcmlhbHMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTMxCUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Papers must be limited to 6 pages in length. To submit a proposal for a Special Session, Tutorial or Workshop, please refer to the instructions in the web site. Topics of Interest We welcome all submissions in the subjects of IISA related (but not limited) to the following tracks and topics: Track I: Information Processing and Intelligence · Advances in databases · Information systems · Information and data management · Data mining, warehousing and knowledge extraction · Recommender systems · Digital rights management · Processing of Social and Emotional Interactions · Biological and artificial neural networks · Biological and artificial immune systems · Cognitive science · Neuroscience · Computational biology · DNA computing · Evolutionary computing and genetic algorithms · Bayesian networks · Expert systems & intelligent agents · Swarm intelligence · Fuzzy logic systems · Kernel methods - support vector machines · Ensemble classifiers · Emerging machine learning paradigms · Decision making techniques · Knowledge-based systems · Ambient-ubiquitous intelligence · Robotics and automation · Affective computing Track II: Multimedia Systems and Networks · Advances in audio/video and multimedia processing · Signal mining · Signal visualization · Human-machine interaction · Multimodal systems · Multimedia systems · Autonomous Computing · Distributed computing · Quantum computing · Mobile computing · Green computing · Trusted computing · Proactive computing · Cloud computing · Ubiquitous computing · Networking · Sensing, sensory systems and sensor networks · Design and implementation · Real time systems Track III: Educational Informatics · Adaptive and personalized learning · Student modeling · Intelligent tutoring systems · E-learning and mobile learning · Social media and learning · Educational games · Computer-supported collaborative learning · Big data in education and learning analytics · Affective computing in learning systems · Smart learning environments · Virtual and augmented reality in education · Risk management in education · Learning management systems · Content management systems · Learning technologies for students with special needs Track IV: Cyber Security · Watermarking, cryptography, cryptanalysis, steganography, and stegananalysis · Privacy and authentication · Malicious software analysis · Information, computer and network security · Infrastructure security · Forensics · Biometrics Track V: Smart Energy and Smart Cities · Methodologies and tools for assessing the energy status in smart cities · Intelligent sensors and data analytics for energy optimization · Monitoring and control of energy resources · Smart grid · Fault detection · Decision support systems in energy planning and scheduling · Middleware for urban computing · Intelligent transportation systems · Public displays for modern cities · Impact of urban computing in modern cities · Case studies and best practices · Big city data · Culture for smart cities Track VI: Healthcare · E-health, mobile health and smart health · Infrastucture for smart health · Advanced devices and robotics for smart health · Ambient intelligence in assisted living · Health information systems · Healthcare management · Case studies Track VII: Applications · E-government and m-government · E-commerce and m-commerce · E-entertainment and m-entertainment · E-legal and m-legal services · Personalized systems and services · Enabling technologies, frameworks and standards · Empirical evaluations · Simulation and evaluation via simulation · Case studies · Applications in culture and heritage · Applications in tourism · Applications in natural resource management · Applications in disabilities and to people at need Important Dates · Invited Session, Tutorial & Workshop Proposals: March 13, 2017 · Invited Session, Tutorial & Workshop Acceptance: March 20, 2017 · Submission of Papers: April 24, 2017 · Notification of Acceptance: May 29, 2017 · Camera-ready Submission: June 12, 2017 · Registration and Payment for Authors: June 12, 2017 · Conference Dates: August 28-30, 2017 Organization Program Chairs · N. Bourbakis, Wright State University, USA · G. A. Papadopoulos, University of Cyprus, Cyprus · G. A. Tsihrintzis, University of Piraeus, Greece · N. Virvou, University of Piraeus, Greece Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogVGhpcmQgQ0ZQLCBJbnZpdGVkIFNlc3Npb25zLCBUdXRvcmlhbHMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTMxCUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Feb 12 05:39:01 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 12 Feb 2017 05:39:01 +0100 Subject: DeepLearn 2017: early registration February 24 Message-ID: <545102060a010b010657540b01045a55520003590305015307505d5505050156040502560b0d020401540007035356@grlmc_ip-zone_com-6> DeepLearn 2017: early registration February 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: February 24, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 31 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs from around the world 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. DeepLearn 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES: (to be completed)   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Bioinformatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Real   Li Erran Li (Columbia University), [intermediate/advanced] Deep Learning Security: Adversarial Examples and Adversarial Training   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Raquel Urtasun (University of Toronto), tba   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Deep Generative Models and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), tba   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   ORGANIZING COMMITTEE:   José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   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 will be complete. It is much 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:   A suggestion for accommodation is available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance including the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giovanni.degasperis at aixia.it Sun Feb 12 23:38:42 2017 From: giovanni.degasperis at aixia.it (Giovanni De Gasperis) Date: Sun, 12 Feb 2017 23:38:42 +0100 Subject: [Last CfP] RuleML+RR 2017 International Joint Conference on Rules and Reasoning Message-ID: RuleML+RR 2017: International Joint Conference on Rules and Reasoning http://2017.ruleml-rr.org This leading international joint conference in the field of rule-based reasoning calls for high-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known high-impact RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. In addition to regular submissions, RuleML+RR 2017 will host an Industry Track(1), a Doctoral Consortium(2), the DecisionCAMP(3), the 11th International Rule Challenge(4), and the 13th Reasoning Web Summer School(4). RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017(5)). Links: (1) http://2017.ruleml-rr.org/calls/industry-track (2) http://2017.ruleml-rr.org/doctoral-consortium (3) http://2017.ruleml-rr.org/decisioncamp-2017 (4) http://2017.ruleml-rr.org/calls/international-rule-challenge (5) http://www.dcs.bbk.ac.uk/bicod17 Venue: the conference will take place at Birkbeck, University of London (London, UK) http://www.bbk.ac.uk . ======================================================================= Important dates Title and abstract registration: 15 February 2017 Paper submission: 22 February 2017 Author feedback on initial reviews: 30 March - 3 April 2017 Author notification: 10 April 2017 Camera ready: 24 April 2017 Conference: 12-15 July 2017 ======================================================================= Topics include, but are not limited to: * Production rules systems * Logic programming engines and applications * Business rules engines and management systems * Logic-based reasoning for rules * Inductive and abductive logic programming * Rule markup languages and rule interchange formats * Rule-based policies, reputation, and trust * Pragmatic web reasoning and distributed rule inference / rule execution * Reaction and ECA rules * Constraint programming * Rule-based languages for intelligent information access and the Semantic Web * Vocabularies, ontologies, and business rules * Bridge rules in multi-context systems * Rule discovery, extraction and transformation * Rule-based data management, data integration, and data interoperability * Scalability and expressive power of logics for rules * Mapping rules for ontology-based data access * Rule-based dynamic data, stream, and complex event processing * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning * Non-classical logics and the Web * Combining rules with knowledge extraction and information retrieval * Rules, agents, and norms * Rule-based distributed / multi-agent systems * Rule-based communication/dialogue * Argumentation models * Rules and human language technology * Rules in online market research and online marketing * Applications of rule technologies in healthcare and life sciences * Industrial applications of rules * Rules and business process compliance checking * Standards activities related to rules * Rules and social media Submissions Papers must be original contributions written in English and must be submitted at http://www.easychair.org/conferences/?conf=rulemlrr2017 as: * Full Paper (15 pages in the proceedings) * Short Paper (8 pages in the proceedings) Please upload all submissions in LNCS format(6). To ensure high quality, submitted papers will be carefully peer-reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference / workshop with formal proceedings. The accepted papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. Short papers may contain 1 extra page (max.) for which there is a charge of US$200. Long papers are allowed 2 extra pages (max.), with a charge of US$200 for EACH extra page. Authors of a selection of the best papers from all tracks will be invited to revise and extend their work for publication in the journal TPLP (Theory and Practice of Logic Programming). Links: (6) http://www.springer.de/comp/lncs/authors.html Student Travel Support Some financial support will be available to enable student authors to travel to the conference. These will be awarded on a case-by-case basis. Proof of studentship will be required at time of registration. Keynotes and speeches * Stephen Muggleton (Imperial College London) http://wp.doc.ic.ac.uk/shm * Elena Baralis (Politecnico di Torino) http://dbdmg.polito.it/wordpress/people/elena-baralis * Jordi Cabot (IN3-UOC, Barcelona) http://jordicabot.com * Jean-Francois Puget (IBM) http://www.ibm.com/developerworks/community/profiles/html/profileView.do?userid=2700028FGP * Bob Kowalski will present an after-dinner speech entitled “Logic and AI – The last 50 years”. .. more to follow! # 11th International Rule Challenge The RuleML+RR 2017 Challenge is one of the highlights of the conference, and seeks to provide competition among innovative rule-oriented applications, aimed at both the research and industrial side. Submissions may present demos related to the RuleML+RR 2017 track topics (see above), supply benchmarks and comparison results for rule engines, illustrate rule- and model-driven engineering, report on industrial experience, present real cases and practical experiences, and realize mobile deployment of rule-based reasoning. # Doctoral Consortium We welcome submissions from PhD students whose research activity is closely related to rule and reasoning systems. The Doctoral Consortium is an excellent opportunity for students to interact with leading experts in the field, and to present and discuss their ideas in a dynamic and friendly setting. # Industry Track The Industry Track targets businesses and the private sector interested in sharing, exploring, and learning about the use of rule technologies for solving real-life business problems, for instance in the field of logistics, planning, domotics, healthcare, big data and high- scalability reasoning, and financial applications including high-frequency trading. # 13th Reasoning Web Summer School (RW 2017) The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web, Linked Data, Ontologies, Rules, Logic, and Knowledge Graph applications. It is primarily intended for postgraduate (PhD or MSc) students, postdoctoral researchers, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. The Reasoning Web series of annual Summer Schools was started in 2005 by the European Network of Excellence REWERSE. With kind regards, RuleML+RR 2017 Program Chairs: Stefania Costantini, University of L’Aquila, Italy Enrico Franconi, Free University of Bozen-Bolzano, Italy William Van Woensel, Dalhousie University, Canada RuleML+RR 2017 General Chairs: Roman Kontchakov, Birkbeck, University of London, UK Fariba Sadri, Imperial College London, UK RuleML+RR 2017 Publicity Chair: Giovanni De Gasperis, University of L'Aquila, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jyb.logician at gmail.com Mon Feb 13 09:38:19 2017 From: jyb.logician at gmail.com (jean-yves beziau) Date: Mon, 13 Feb 2017 09:38:19 +0100 Subject: UNILOG'2018 - Vichy, June 16-26, 2018 - 6th WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC Message-ID: Dear Colleagues Find below the first annoucement about UNILOG'2018. Best Wishes Jean-Yves ---------- ------------------------------------------------------------ ------------------------------------------------------------ --------------------------- The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC will take place in Vichy, France, June 16-26, 2018 after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013 and Istanbul 2015: http://www.uni-log.org Along these years UNILOG has been a leading international logical event with the participation of many famous logicians such as Wilfrid Hodges, Daniele Mundici, Saul Kripke, Jaakko Hintikka, Dov Gabbay, Arnon Avron, Benedikt Löwe, David Makinson, Yde Venema, Newton da Costa, Mike Dunn, Val Goranko, Yuri Gurevich, Stephen Read, Sara Negri, Arnold Koslow, Peter Schröder-Heister, Gila Sher, Hiroakira Ono, John Corcoran, Hartry Field, Gerhard Jaeger, Ernest Lepore, Marcus Kracht, Melvin Fitting, Luciano Floridi, Patrick Blackburn, Jan Wolenski, Krister Segerberg, Dale Jacquette, Sun-Joo Shin, Jouko Väänänen, John Woods and many more. The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech). Vichy is a charming relaxing thermal city at the middle of France, developed by Napoleon III in the second half of the 19th century, who in particular created beautiful parks with species of trees from all over the world. Vichy is a small city, where it is possible to go everywhere just by walking. The event will take place at the university campus nearby the Celestins spring, the banks of the Allier river (where it is possible to swim) and the city center. June is a very nice time to be in Vichy with lots of animations, including on June 21 a very lively musical day celebrating summertime. TIMELINE Call for Workshops and Tutorials: Now - Deadline: April 11, 2017 First call for contributing talks: May 2017 - Deadline to submit an abstract: September 15, 2017 Notification: November 15, 2017 Early registration: December 1st, 2017 If you want to submit a workshop or a tutorial, send a proposal to vichy at uni-log.org by April 11, 2017 following the format of the previous edition: - For workshops, have a look at the webpage of the UNILOG-2015 congress http://www.uni-log.org/UNILOG2015-Congress - For tutorials, have a look at the webpage of the UNILOG-2015 school http://www.uni-log.org/ULS5 Looking forward to seeing you in Vichy in June 2018 Jean-Yves Beziau (Federal University of Rio de Janeiro and CNPq) Christophe Rey (University Clermont Auvergne, CNRS, LIMOS) Organizers of UNILOG'2018 ------------------------------------------------------------ -------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I L O G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 http://www.uni-log.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jef.wijsen at umons.ac.be Mon Feb 13 15:03:46 2017 From: jef.wijsen at umons.ac.be (Jef Wijsen) Date: Mon, 13 Feb 2017 15:03:46 +0100 Subject: TIME 2017 First call for papers Message-ID: ------------------------------------------------------------------------- TIME 2017 24th International Symposium on Temporal Representation and Reasoning Mons (Belgium), 16-18 October 2017 First Call for Papers http://informatique.umons.ac.be/time2017/ ------------------------------------------------------------------------- Aims and scope -------------- TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - temporal healthcare databases and warehouses - time series analysis and mining - semistructured temporal data - novel applications of temporal database management - novel visualizations and interfaces for temporal data - experiences with real applications The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security Submission and publication -------------------------- Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. Detailed submission instructions can be found on the website of TIME 2017: http://informatique.umons.ac.be/time2017/ Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of the journal Theoretical Computer Science. Important Dates --------------- Abstracts due: May 8, 2017 Full papers due: May 12, 2017 Notification: June 27, 2017 Final version due: July 14, 2017 Symposium: October 16-18, 2017 Program Committee Chairs ------------------------ Sven Schewe, University of Liverpool, UK Thomas Schneider, University of Bremen, Germany Jef Wijsen, University of Mons, Belgium Program Committee ----------------- TBA Invited Speakers ---------------- Alessandro Artale, Free University of Bozen-Bolzano, Italy Javier Esparza, Technical University of Munich, Germany Sheila McIlraith, University of Toronto, Canada Venue ----- TIME 2017 will take place in Mons, a beautiful city in the French-speaking part of Belgium, and a former European Capital of Culture. From cibb2017 at gmail.com Mon Feb 13 15:15:42 2017 From: cibb2017 at gmail.com (Massimo Bartoletti) Date: Mon, 13 Feb 2017 15:15:42 +0100 Subject: CfP: Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB 2017), September 7-9, 2017, Cagliari, Italy Message-ID: CIBB 2017 Computational Intelligence methods for Bioinformatics and Biostatistics 14th International Conference September 7-9, 2017, Cagliari, Italy http://cibb2017.unica.it === Important Dates === March 25, 2017.........................Tutorial and Special Session proposal May 29, 2017............................Paper submission deadline June 22, 2017……....................Acceptance notification July 17, 2017............................Early author registration July 22, 2017............................Camera-ready due September 7-9, 2017................CIBB in Cagliari === Scope === The main goal of the CIBB international conference is to provide a multi-disciplinary forum open to researchers interested in the application of computational intelligence, in a broad sense, to open problems in bioinformatics, biostatistics, systems and synthetic biology and medical informatics. Cutting edge methodologies capable of accelerating life science discoveries will be discussed. Following its tradition and roots, this year's meeting will bring together researchers from the international scientific community interested in advancements and future perspectives in bioinformatics and biostatistics. Also, looking at current trends and future opportunities at the edge of computer and life sciences, the application of computational intelligence to system and synthetic biology, and the consequent impact on innovative medicine will be of great interest for the conference. Theoretical and experimental biologists are also invited to participate in order to present novel challenges and foster multidisciplinary collaboration. The scientific program of CIBB 2017 will include Keynote Speakers, tutorials and special sessions. Contributed papers will be presented in plenary oral sessions, special sessions, or poster sessions. Topics of interest include, but are not limited to: - Next generation sequencing bioalgorithms - Multi-omics data analysis - High dimensional statistical analysis of omics data - Algorithms for alternative splicing analysis - Algorithms for molecular evolution and phylogenetic analysis - Methods for the visualization of high dimensional complex omic data - Software tools for bioinformatics - Methods for comparative genomics - Methods for functional classification of genes - Methods for unsupervised analysis, validation and visualization of structures discovered in bio-molecular data - Health-Informatics and Medical Informatics - Methods for the integration of clinical and genetic data - Heterogeneous data integration and data fusion for diagnostics - Algorithms for pharmacogenomics - Biomedical text mining and imaging - Methods for diagnosis and prognosis within personalized medicine - Statistical methods for the analysis of clinical data - Prediction of secondary and tertiary protein structures - Mass spectrometry data analysis in proteomics - Algorithms for molecular evolution and phylogenetic analysis - Bio-molecular databases and data mining - Mathematical modeling and automated reasoning on biological and synthetic systems - Computational simulation of biological systems - Methods and advances in systems biology - Spatio-temporal analysis of synthetic and biological systems - Network systems biology - Models for cell populations and tissues - Methods for the engineering of synthetic components - Modelling and engineering of interacting synthetic and biological systems - Software tools for bioinformatics, biostatistics, systems and synthetic biology === Publication === Pdf versions of accepted papers will be distributed at the conference. At least one author of an accepted paper is required to register and present their paper at the conference. Authors of accepted papers will be invited to submit an extended version of their work to a post-conference monograph. We plan to invite all papers for a volume in the Springer series of Lecture Notes in Bioinformatics (LNBI). Continuing the tradition of CIBB, we are also planning to invite the best papers, as an alternative to the publication on LNBI, to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions). === Submission guidelines === Authors should submit papers prepared according to the following instructions: - Papers should be submitted in PDF format (this is the only accepted format) - Papers length should be at least 4 pages and should not exceed 6 pages - We warmly recommend the use of the provided latex template and instructions . Should this not be possible, authors should reproduce the format and style of the sample paper available with the latex style. - Papers should be submitted in PDF format on the Easy Chair conference system at this link . === Tutorials and Special Sessions === CIBB 2017 will run a number of Tutorials and Special Sessions. Any topic of interest for the conference is eligible for a tutorial. Tutorials typically last from one to three hours. Special sessions focus on a specific, possibly cutting-edge, topic of interest for CIBB 2017. Special session organisers will be responsible for call dissemination, the reviewing process and organizing oral presentations. Typically, a special session will have at least 4 accepted papers and may have an invited speaker (to be negotiated). Tutorial proposals, including title, a one page long abstract, and short CV of presenters, are due by March 25th, 2017. Please send proposals to cibb2017 at gmail.com. Special Session proposals, including the session's title and scope, short CV of sessions chairs, preliminary list of at least 4, possibly more, potential authors are due by March 25th 2017. Proposals of special sessions will be evaluated as soon as they are submitted. A special session is expected to have at least 4 accepted papers. Please send proposals to cibb2017 at gmail.com === Invited speakers === Alessandra Carbone (Laboratoire de Biologie Computationnelle et Quantitative, UMR 7238 CNRS - Université Pierre et Marie Curie, Paris, France) Valentina Boeva (Institut Curie Research Center Paris, France and INSERM U900, Bioinformatics, Biostatistics, Epidemiology and Computational Systems Biology of Cancer, and Mines ParisTech, Fontainebleau, France). Manja Marz (Friedrich-Schiller-Universität Jena, RNA Bioinformatics and High Throughput Analysis, Germany) === Organization === General Chairs Massimo Bartoletti , University of Cagliari, Italy Gunnar Klau , CWI, Netherlands Leif Peterson , Houston Methodist Research Institute, USA Biostatistics Technical Chair Antonio Eleuteri , Royal Liverpool and Broadgreen University, UK Bioinformatics Technical Chair Alberto Policriti , University of Udine, Italy Organisation committee Andrea Bracciali , University of Stirling, UK Tiziana Cimoli , University of Cagliari, Italy Alessandro Sebastian Podda , University of Cagliari, Italy Special Session Organizer Andrea Bracciali , University of Stirling, UK === Steering committee === Pierre Baldi , University of California, Irvine, CA, USA Elia Biganzoli , University of Milan, ITA Clelia Di Serio , University Vita-Salute San Raffaele, ITA Alexandru Floares , Oncological Institute Cluj-Napoca, Romania Jon Garibaldi , University of Nottingham, United Kingdom Nikola Kasabov , Auckland University of Technology, New Zealand Francesco Masulli , University of Genova, Italy and Temple University, PA, USA Leif Peterson , TMHRI, Houston, Texas, USA Roberto Tagliaferri , University of Salerno, ITA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From georgis at ics.forth.gr Tue Feb 14 19:48:40 2017 From: georgis at ics.forth.gr (Christos Georgis) Date: Tue, 14 Feb 2017 20:48:40 +0200 Subject: C A L L - F O R - P A P E R S - MOCHA 2017 - Mighty Storage Challenge Message-ID: <1ab13d27-47e9-d2cb-bdca-8aaac87639a4@ics.forth.gr> C A L L F O R P A P E R S MOCHA 2017 - Mighty Storage Challenge May 28th to June 1st 2017, Portoroz, Slovenia in conjunction with the 14th European Semantic Web Conference (ESWC 2017) http://2017.eswc-conferences.org/ https://project-hobbit.eu/challenges/mighty-storage-challenge/ email: mightystoragechallenge-contact at googlegroups.com -------------------------------------------------------------------------------------- The aim of this challenge is to test the performance of solutions for SPARQL processing in aspects that are relevant for modern applications. These include ingesting data, answering queries on large datasets, versioning data, browsing and serving as backend for applications using Linked Data. The MOCHA challenge will test the systems against data derived from real applications and with realistic loads. This year, the challenge comprises the following tasks: -Task 1 (Data Ingestion) will measure how well systems can ingest streams of RDF data. -Task 2 (Data Storage) will measure how well data stores perform for different types of queries. -Task 3 (Versioning) will measure how well versioning and archiving systems for Linked Data perform when they manage multiple versions of large data sets. -Task 4 (Browsing) will check if existing solutions perform adequately for applications that address browsing through large data sets. Participants will be expected to describe their solution and results on the training datasets over a 5 page paper. In particular, a short summary of the approach chosen, a link to the experimental results and an analysis of the strengths and weaknesses of the approach are expected. -------------------------------------------------------------------------------------- Important Dates -------------------------------------------------------------------------------------- Paper submission deadline (5 pages document): March 10th, 2017, 23:59 Hawaii Time* Notification of acceptance: April 7th, 2017 Camera ready papers (5 pages document): April 23rd, 2017 Deadline for submission of system answers/instructions for evaluation: TBA Release of evaluation results: TBA Proclamation of winners: During ESWC 2017 closing ceremony *Eligible to submit papers are only authors participating in the challenge. -------------------------------------------------------------------------------------- Organization -------------------------------------------------------------------------------------- Axel-Cyrille Ngonga Ngomo, Institute for Applied Informatics, Germany Irini Fundulaki, Foundation for Research and Technology – Hellas (FORTH), Greece Mirko Spasic, OpenLink, UK Henning Petzka, Fraunhofer IAIS, Germany Vassiliki Rentoumi, NCSR "Demokritos", Greece For the complete list of organizers and program committee members, visit the challenge website. -------------------------------------------------------------------------------------- Further Information and Contact -------------------------------------------------------------------------------------- For detailed information, including datasets and submission guidelines, please visit the challenge website: https://project-hobbit.eu/challenges/mighty-storage-challenge/ Contact Email: mightystoragechallenge-contact at googlegroups.com -------------------------------------------------------------------------------------- -- ======================================================================== Christos Georgis Phone: +30 2810 391622 MSc Computer Science Fax: +30 2810 391638 Senior Software Engineer Mobile: +30 6946 687898 ISL Development Coordinator E-mail:georgis at ics.forth.gr SkypeID: christos.georgis Information Systems Laboratory (ISL) Institute of Computer Science Foundation for Research and Technology - Hellas (FORTH) N. Plastira 100, Vassilika Vouton, GR-700 13, Heraklion, Crete, Greece Web-site:http://www.ics.forth.gr/isl ======================================================================== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bogom.s at gmail.com Thu Feb 16 00:38:49 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Thu, 16 Feb 2017 10:38:49 +1100 Subject: DEADLINE EXTENSION for 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017) Message-ID: <017101d287e4$ceff8070$6cfe8150$@gmail.com> Call for Submissions -- DEADLINE EXTENSION UNTIL FEBRUARY 22 ----------------------------------------------------------------------- 4th International Workshop on Applied Verification for Continuous and Hybrid Systems CMU campus alongside CPSWeek, Pittsburgh, USA, April 17, 2017 http://cps-vo.org/group/ARCH The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners, and establishes a curated set of benchmarks submitted by academia and industry. Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to - Proposals for new benchmark problems (not necessarily yet solvable) - Tool presentations - Tool executions and evaluations based on ARCH benchmarks - Experience reports including open issues for industrial success - Reports on results of our friendly competition Submission Guidelines ----------------------------------------------------------------------- Submissions consist of papers of ideally 3-8 pages (pdf ) and optional files (e.g. models or traces) submitted through the ARCH’17 EasyChair web site (http://www.easychair.org/conferences/?conf=arch17). Authors have to use the EasyChair template (http://www.easychair.org/publications/for_authors).The extended abstract should be classified in its title as benchmark proposal, tool presentation, benchmark results, or experience report. Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. Details on the evaluation criteria can be found at http://cps-vo.org/group/ARCH/CallForSubmissions. Submission deadline: February 22, 2017 Notification: March 7, 2017 Final Version: March 31, 2017 Workshop: April 17, 2017 (different from other CPS Week workshops; this year free of charge!) Website: http://cps-vo.org/group/ARCH (includes forums, archive, wiki, etc.) Prize ----------------------------------------------------------------------- The paper with the most promising benchmark results receives a prize of 500 Euros sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting. Organizers ----------------------------------------------------------------------- Program chairs: Matthias Althoff, Technische Universität München, Germany Goran Frehse, UJF-Verimag, France Local chair: Sebastian Scherer, Carnegie Mellon University, USA Publicity chair: Sergiy Bogomolov, Australian National University, Australia Evaluation chair: Taylor T. Johnson, Vanderbilt University, USA Program Committee (tentative) ----------------------------------------------------------------------- Academia: Pieter Collins (Maastricht Univ.) Alexandre Donze (UC Berkeley) Ian Mitchell (Univ. British Colombia) Sayan Mitra (UI Urbana Champaign) Andre Platzer (CarnegieMellon Univ.) Nacim Ramdani (Université d’Orléans) Aditya Zutshi (Duke University) Xin Chen (RWTH Aachen University) Sicun Gao (Massachusetts Institute of Technology) Stanley Bak (Air Force Research Lab) Industry: Ajinkya Bhave (Siemens PLM) Jyotirmoy Deshmukh (Toyota) Luca Parolini (BMW) Alessandro Pinto (United Technologies) Matthias Woehrle (Bosch) William Hung (Synopsys Inc) Olivier Bouissou (MathWorks) Daniel Bryce (SIFT) Aaron Fifarek (Linquest) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From peter.schuller at marmara.edu.tr Thu Feb 16 06:47:43 2017 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Thu, 16 Feb 2017 08:47:43 +0300 (+03) Subject: CFP LPNMR Doctoral Student Consortium, Espoo, Finland, 3-6 July, 2017 Message-ID: <20170216054743.A37D82C0123@omsievews> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) -------------------------------------------------------------------------------- LPNMR DC 2017 LPNMR Doctoral Student Consortium to be held at Hanasaari Conference Center, Espoo, Finland, Extact date to be confirmed July 3-6, 2017 http://lpnmr-dc.cs.bath.ac.uk/ https://easychair.org/conferences/?conf=lpnmrdc2017 -------------------------------------------------------------------------------- The LPNMR Doctoral Consortium (DC) is to be held as part of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017) in the Hanasaari Conference Center, Espoo, Finland,July 3-6, 2017. The DC will take place during LPNMR 2017 on a date to be determined. The DC provides a forum for doctoral students working in all areas related to logic programming and non monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts a supportive environment. The 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. LPNMR and its programmatic expression, Answer Set Programming, have roots in the famous special issue of AIJ in 1980, devoted to Nonmonotonic Reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. ** Target Audience ** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. ** Application Process ** An application for participation in the LPNMR DC 2017 consists of a cover sheet, an extended abstract of your (intended) research, a vita, a personal statement and a letter of recommendation (e.g., from your supervisor). All applications must be in English and submitted electronically via EasyChair (https://easychair.org/conferences/?conf=lpnmrdc2017) by 4 April 2017. Detailed submission instructions are provided at the LPNMR DC 2017 website: http://lpnmr-dc.cs.bath.ac.uk/ Applications will be reviewed based on several factors including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will follow at a later date. ** Important Dates ** Application Submission: 4 April 2017 Notification: 1 May 2017 Camera-ready Version: 22 May 2017 Doctoral Consortium: During LPNMR, exact date to be confirmed. LPNMR: 3-6 July 2017 ** Organization ** - Program Committee: - Pedro Cabalar University of Corunna - Esra Erdem Sabanci University - Yuliya Lierler University of Nebraska at Omaha - Alessandra Mileo Dublin City University - Alessandra Russo Imperial College London - Hans Tompits Vienna University of Technology - Stefan Woltran Vienna University of Technology - Program Chair: Marina De Vos, University of Bath (M.D.Vos at bath.ac.uk) Website: http://lpnmr-dc.cs.bath.ac.uk/ (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From tommaso.dinoia at poliba.it Thu Feb 16 20:41:54 2017 From: tommaso.dinoia at poliba.it (Tommaso Di Noia) Date: Thu, 16 Feb 2017 19:41:54 +0000 Subject: [CFP] ICWE 2017-Call for Application Papers Message-ID: <67653CE0-81E0-4D34-8D45-E1E7EDCBA55A@poliba.it> CALL FOR APPLICATION PAPERS @ ICWE2017 17th International Conference on Web Engineering ------------------------------------------------ 5-8 June 2017, Rome, Italy http://icwe2017.webengineering.org/ CALL FOR APPLICATION PAPERS The Application Track @ ICWE 2017 covers innovative commercial Web systems, industrial solutions, and implementations, novel applications of Web technologies, and experience in applying recent research advances to real-world problems. During the last decade, the Web has served as a fundamental driver for industrial research, and many small to large companies are contributing to the development of new Web-based scientific and engineered solutions. The Applications Track at ICWE 2017 provides a forum for the community to explore the benefits and challenges of applying cutting edge Web technologies in concrete, practical applications, in contexts ranging from industry to government and science. We are also looking for descriptions of applied and validated industry solutions that benefit from the most recent Web technologies and tools. We invite submissions in any of the following example areas and in other areas where Web applications play an important role: Mashups Web of Things/Everythings Web Mining and Analytics Artificial Intelligence and the Web Linked Data applications and solutions Semantics-aware Web Personalized information access/ Recommender Systems/ Search Application Areas (Government, Finance, Telecommunications, Home and Personal Computing, ...) Web Security, Privacy Big Data and the Web Cloud Data Services Enterprise Data Management Web-centric Applications for Smart Phones Systems that Exploit New Hardware Trends Web Data Management, Social Network Applications We invite authors to submit high quality contributions describing significant, original, and unpublished description of applications. Papers submitted to the Applications Track @ ICWE 2017 should describe mature and innovative applications. The paper must describe the overall application with a particular focus on its innovative aspects in terms of both technologies and solutions adopted. Applications should be available online. Where a submission builds upon previous work of the author(s), the novelty of the new contribution must be clearly described with respect to the previous work. Max 12 pages. Important Dates --------------------- Submission: 10 March 2017 Notification: 31 March 2017 Camera-ready version: 7 April 2017 Submission Information --------------------------------- All Proposals must be formatted according to the information for Springer LNCS authors at http://www.springer.de/comp/lncs/authors.html and submitted in PDF. ICWE 2017 submissions are reviewed following a single blind review process, meaning, you do not need to hide authors’ names and affiliations. Accepted contributions will be included into the official ICWE 2017 Springer LNCS proceedings. Submissions that are not in compliance with the required submission format or that are out of the scope of the conference will be desk rejected without reviewing. Submissions and reviewing are supported by the EasyChair system in the multi-track configuration at https://easychair.org/conferences/?conf=icwe2017. Papers submitted to ICWE 2017 must not be under review elsewhere while under consideration for ICWE 2017, nor may have been already previously published elsewhere. ICWE 2017 AWARDS AND SPECIAL ISSUE ----------------------------------------------------------- Awards will be given to the top-10% papers (along all categories) according to the program committee review feedback. Selected papers may be invited to submit their extended version of their papers to a special issue on "Web Engineering and Big Data" in the Elsevier Information Systems Journal Organization ----------------- Application Track Chair Tommaso Di Noia, Polytechnic University of Bari, Italy Contact ------------ http://icwe2017.webengineering.org/ icwe2017 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tommaso.dinoia at poliba.it Thu Feb 16 21:09:24 2017 From: tommaso.dinoia at poliba.it (Tommaso Di Noia) Date: Thu, 16 Feb 2017 20:09:24 +0000 Subject: RecSys Track @ the 8th Italian Information Retrieval Workshop - IIR 2017 - Preliminary Call for Papers Message-ID: <297020AB-2B61-4D29-8B2E-88DF463E6E47@poliba.it> *** Preliminary Call for Papers *** RecSys Track @ the 8th Italian Information Retrieval Workshop - IIR 2017 http://iir2017.usi.ch/ June 05-07, 2017 Università della Svizzera Italiana Via G. Buffi, 13 Lugano, Switzerland !!! For its 8th edition, IIR will host a track completely devoted to Recommender Systems together with the first meeting of the RecSys Italian chapter !!! SCOPE The purpose of the RecSys track at the 8th Italian Information Retrieval Workshop (IIR) is to gather together researchers working on recommender systems in the Italian community. Following the IIR style we aim at creating an informal space where Italian-speaking researchers (especially young ones) and researchers affiliated with Italian-speaking institutions can network and discuss their research results. The last edition of ACM RecSys Conference showed Italy at the second place for the number of authors. The Italian community is clearly growing and, in this growing spirit, the RecSys track aims at being the first of a series of events organized around recommender systems. TOPICS RecSys @ IIR 2017 offers an opportunity to present and discuss both theoretical and empirical research. Relevant topics include, but are not restricted to, the following subjects: Algorithm scalability Case studies of real-world implementations Conversational recommender systems Context-aware recommenders Evaluation metrics and studies Explanations and evidence Field and user studies Group recommenders Impact studies Innovative/New applications Machine learning for recommendation Mobile and multi-channel recommendations Novel paradigms Personalization Preference elicitation Privacy and Security Recommendation algorithms Social recommenders Semantic technologies for recommendation Targeted advertising Trust and reputation Theoretical foundations User interaction and interfaces User modeling SUBMISSION Submissions may range from theoretical works to system descriptions. They must be written in English and follow the guidelines set by Springer in the LNCS series (see web site for details). Submissions will be peer-reviewed and accepted papers will appear in the CEUR-WS on-line proceedings series, as happened for all previous IIR editions. We particularly encourage PhD students or early-stage researchers to submit their work and also welcome contributions from industry. The conference languages are Italian and English. Submission page : https://easychair.org/conferences/?conf=iir2017 Authors are invited to submit one of the following types of contributions: * Full original papers (up to 12 pages); * Short original papers (up to 8 pages); * Extended abstracts containing descriptions of ongoing projects or presenting already published results (up to 4 pages). Authors of accepted papers will be invited to submit their paper for publication in the on-line proceedings, which will appear in the CEUR-WS on-line proceedings series; the proceedings will be indexed by DBLP (as happened for all other IIR since 2010). *** At least one author of each accepted paper must attend the event in order to present the paper; accepted papers whose authors have not shown up at the workshop to present the paper will not be published in the proceedings. *** IMPORTANT DATES * Submission deadline : 31 March 2017 * Notification of acceptance : 05 May 2017 * IIR 2017 takes place on : 05-07 June 2017 REGISTRATION Registration to the IIR 2017 workshop will be very low, as for the tradition of IIR, but required. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.nocera at poliba.it Fri Feb 17 10:01:20 2017 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Fri, 17 Feb 2017 09:01:20 +0000 Subject: CFP: The first International Workshop on Engineering the Web of Things (EnWoT 2017) Message-ID: *** We apologize if you receive multiple copies *** CALL FOR PAPERS --** EnWoT 2017 **--**The first International Workshop on Engineering the Web of Things** http://sisinflab.poliba.it/EnWoT/2017/ Held in conjunction with 17th International Conference on Web Engineering (ICWE 2017) 5-8 June, 2017, Rome, Italy http://icwe2017.webengineering.org/index.html ----------------------------------------------------------------------------- IMPORTANT DATES: Submission: 31 March 2017 Notification: 28 April 2017 Camera-ready: 12 May 2017 Workshop dates: 5 and 8 June 2017 Camera-ready (post proceedings): 24 June 2017 ------------------------------------------------------------------------------- The goal of this workshop is to bring the attention of researchers to the opportunities and challenges involved in engineering a web of things. Web technologies (e.g., HTML, JavaScript, Ajax, PHP, Ruby) can be used to build applications involving smart things, on the other hand well-known Web mechanisms are available to interact with and share these devices. As a matter of fact, this calls for architectural styles and patterns that allow real-world objects to be part of the World Wide Web. EnWoT 2017 aims at attracting contributions related to the subject at different levels, from modelling and design to engineering. Foundational contributions, as well as concrete application experiments are sought. The workshop welcomes submissions describing unpublished research, as well as deployment experiences on various topics related to engineering web of things as outlined below. TOPICS: Topics of interested include but are not limited to: - Software architectural styles and patterns for connecting objects to the World Wide Web - Engineering smart objects on the web - Semantic web and Linked open data - Web of Thing and Internet of Everything - Challenges for Big Data and IoT applications - Architectures and Framework for smart devices connection - Other topics relevant to web of thing SUBMISSION: Authors are invited to submit two types of papers, o regular papers of 12 pages and o demo papers of 4 pages . Submitted papers should conform to the Springer LNCS style and should describe, in English, original work that has not been published or submitted for publication elsewhere. A single PDF versions of papers should be submitted electronically via the EasyChair submission page [ https://easychair.org/conferences/?conf=enwot2017]. Post-workshop proceedings to appear in Springer's LNCS series. Submissions will be judged on novelty, relevance, clarity of presentation, and correctness. Authors of accepted submissions are required to present their work. ----------------------------------------------------------------------- ORGANIZING COMMITTEE __ Workshop Chairs: o Marina Mongiello, Politecnico di Bari, Italy o Tommaso Di Noia, Politecnico di Bari, Italy o Eugenio Di Sciascio, Politecnico di Bari, Italy __ Publicity Chair: o Francesco Nocera, Politecnico di Bari, Italy __ Program Committee: o Muhammad Ali Babar, University of Adelaide, Australia o Marco Autili, University of L'Aquila, Italy o Stefano Bistarelli, University of Perugia, Italy o Antonio Bucchiarone, Fondazione Bruno Kessler, Italy o Radu Calinescu, University of York, UK o Rafael Capilla, Universidad Rey Juan Carlos, Spain o Patricia Lago, Vrije Universiteit Amsterdam, The Netherlands o Ivano Malavolta, Vrije Universiteit Amsterdam, The Netherlands o Tommi Mikkonen, Tampere University of Technology, Finland o Raffaela Mirandola, Politecnico di Milano, Italy o Henry Muccini, University of L'Aquila, Italy o Diego Pérez, Politecnico di Milano, Italy o Liliana Pasquale, Lero - The Irish Software Engineering Research Centre, Ireland o Azzurra Ragone, University of Milano-Bicocca, Italy o Patrizia Scandurra, University of Bergamo, Italy o Ronny Siebes, Vrije Universiteit Amsterdam, The Netherlands o Romina Spalazzese, Malmö University, Sweden o Danny Weyns, Katholieke Uviversiteit Leuven, Belgium o Uwe Zdun, University of Vienna, Austria EnWoT 2017 Workshop Chairs Marina Mongiello, Tommaso Di Noia and Eugenio Di Sciascio -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andrei.paskevich at lri.fr Fri Feb 17 16:44:29 2017 From: andrei.paskevich at lri.fr (Andrei Paskevich) Date: Fri, 17 Feb 2017 16:44:29 +0100 Subject: VSTTE 2017 - First Call for Papers Message-ID: <20170217154429.dz7etqhgswpvyrpd@tikki.lri.fr> 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) https://vstte17.lri.fr July 22-23, 2017, Heidelberg, Germany Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017 Important Dates * Abstract submission: Mon, Apr 24, 2017 * Full paper submission: Mon, May 1, 2017 * Notification: Mon, Jun 5, 2017 * VSTTE: Sat-Sun, Jul 22-23, 2017 * Camera-ready: Mon, Aug 21, 2017 Overview The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest for VSTTE include education, requirements modeling, specification languages, specification/verification/certification case studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. Paper Submissions We accept both long (limited to 16 pages) and short (limited to 10 pages) paper submissions. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Each submission will be evaluated by at least three members of the Program Committee. We expect that one author of every accepted paper will present their work at the conference. Paper submissions must be written in English using the LNCS LaTeX format (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Papers will be submitted via EasyChair at the VSTTE 2017 conference page (https://www.easychair.org/conferences/?conf=vstte2017). The post-conference proceedings of VSTTE 2017 will be published in the LNCS series. Authors of accepted papers will be requested to sign the copyright transfer form. A selection of best papers will be invited for publication in the Journal of Automated Reasoning. Program Committee * June Andronick (University of New South Wales, Australia) * Christel Baier (TU Dresden, Germany) * Sandrine Blazy (Université de Rennes 1, France) * Arthur Charguéraud (Inria, France) * Ernie Cohen (Amazon Web Services, USA) * Rayna Dimitrova (MPI-SWS, Germany) * Carlo A. Furia (Chalmers University of Technology, Sweden) * Arie Gurfinkel (University of Waterloo, Canada) * Hossein Hojjat (Rochester Institute of Technology, USA) * Marieke Huisman (University of Twente, Netherlands) * Bart Jacobs (KU Leuven, Belgium) * Rajeev Joshi (NASA Jet Propulsion Laboratory, USA) * Zachary Kincaid (Princeton University, USA) * Akash Lal (Microsoft Research, India) * Shuvendu Lahiri (Microsoft Research, USA) * Francesco Logozzo (Facebook, USA) * Peter Müller (ETH Zürich, Switzerland) * Jorge A. Navas (SRI International, USA) * Scott Owens (University of Kent, UK) * Andrei Paskevich (Université Paris-Sud, France), co-chair * Gerhard Schellhorn (Universität Augsburg, Germany) * Peter Schrammel (University of Sussex, UK) * Natarajan Shankar (SRI International, USA) * Mihaela Sighireanu (Université Paris-Diderot, France) * Julien Signoles (CEA LIST, France) * Michael Tautschnig (Queen Mary University of London, UK) * Tachio Terauchi (JAIST, Japan) * Oksana Tkachuk (NASA Ames Research Center, USA) * Mattias Ulbrich (Karlsruhe Institute of Technology, Germany) * Thomas Wies (New York University, USA), co-chair From ta10 at tu-clausthal.de Fri Feb 17 22:14:57 2017 From: ta10 at tu-clausthal.de (Tobias Ahlbrecht) Date: Fri, 17 Feb 2017 22:14:57 +0100 Subject: IDC 2017 Call for Papers Message-ID: IDC 2017 Call for Papers (apologies for multiple copies) ====================================================================== IDC 2017 - The 11th International Symposium on Intelligent Distributed Computing (IFIP supported event) 11 - 13 October 2017 Belgrade, Serbia *URL*: http://idc2017.pmf.uns.ac.rs ====================================================================== *** SYMPOSIUM PROCEEDINGS & JOURNAL SPECIAL ISSUES All accepted papers will be included in the Symposium Proceedings, Springer series Studies in Computational Intelligence. *JOURNAL SPECIAL ISSUES*: Authors of the best papers will be invited to submit extended versions of their papers in the following Journals: - *ComSIS* - Computer Science and Information Systems Journal, two-year impact factor (2015): 0.623 - *Information Technology And Control*, impact factor (2015): 0.633 - *Annals of Mathematics and Artificial Intelligence*, impact factor (2015/2016): 0.944 (If there are enough papers on more theoretical and mathematical subjects). *** SYMPOSIUM SUBMISSIONS All accepted papers will be included in the Symposium Proceedings, which will be published by Springer as part of the series Studies in Computational Intelligence. Submissions must conform to Springer's style for Proceedings and Other Multiauthor Volumes and should not exceed 10 pages. Paper acceptance and publication will be judged on the basis of their relevance to the symposium themes, clarity of presentation, originality and accuracy of results and proposed solutions. Submissions and reviews will be handled by Easychair. An author of an accepted paper must register to IDC 2017 in order to have the paper published. Each accepted paper must be presented at the symposium by one of the authors. *** *INVITED SPEAKERS* - *Karl Tuyls* (University of Liverpool, UK) - *Eva Onaindia* (Polytechnic University of Valencia, Spain) *** IMPORTANT DATES - *Paper submission*: *April 4, 2017* - Notification of acceptance: May 13, 2017 - Camera-ready papers: May 29, 2017 - Registration: July 15, 2017 *** SCOPE AND BACKGROUND The main objective of the IDC series of symposiums is to provide a forum for the dissemination of research accomplishments in the emergent field of Intelligent Distributed Computing, as well as to promote the collaboration between researchers from Intelligent Computing and Distributing Computing communities. Intelligent Computing covers a hybrid palette of methods and techniques ranging from classical artificial intelligence, computational intelligence and multi-agent systems to game theory. Distributed Computing develops methods and technology to build complex computational systems composed of collaborating software components scattered across diverse computational elements. The emergent field of Intelligent Distributed Computing focuses on the development of a new generation of intelligent distributed systems. It faces the challenges of adapting and combining research in the fields of Intelligent Computing and Distributed Computing. The symposium welcomes submissions of original papers on all aspects of intelligent distributed computing ranging from concepts and theoretical developments to advanced technologies and innovative applications. For its first time in Serbia, IDC 2017 will continue the successful tradition of previous IDC symposiums by providing a platform for researchers and practitioners to report recent trends and results highlighting benefits of intelligent computing techniques for distributed systems and vice-versa. IDC 2017 will consist of regular sessions with technical contributions reviewed and selected by an international program committee, as well as of special sessions focused on multi-disciplinary and cutting-edge topics. *** TOPICS Symposium topics include, but are not limited to: Intelligent Distributed Frameworks and Architectures - Methodologies for intelligent distributed systems and applications - Autonomous agents and multi-agent systems - Distributed problem solving and decision making - Hybrid systems involving software agents, robots and human actors - Distributed frameworks and middleware for the Internet of Things - Pervasive computing and Context-aware intelligent computing - Virtualization infrastructures for intelligent computing Organization and Management - Self-organizing distributed and multi-agent systems - Autonomous and adaptive distributed systems - Emerging and collective behaviors in complex distributed systems - Modeling and simulation of intelligent distributed systems - Intelligent integration of heterogeneous data and processes - Bio-inspired and nature-inspired distributed computing Intelligent Distributed Knowledge Representation and Processing - Information extraction and retrieval in distributed environments - Knowledge integration and fusion from distributed sources - Data mining and knowledge discovery in distributed environments - Ontologies/meta-data for heterogeneous resources and services - Distributed fusion of sensor data streams Networked Intelligence - Intelligence in mobile and ubiquitous computing - Agent-based sensor networks - E-service and web intelligence - Intelligence in peer-to-peer systems - Security, privacy, trust and reputation Intelligent Distributed Applications - Ambient intelligence - Applications in e-business/e-commerce, e-learning, e-health, e-science, e-government - Crisis management - Intelligent grid and cloud infrastructure - Simulations of groups and crowds - Mobile robots *** COMMITTEES General Chairs - Mirjana Ivanović, University of Novi Sad, Serbia - Costin Bădică, University of Craiova, Romania Program Committee Chairs - Jürgen Dix, Clausthal University of Technology, Germany - Michele Malgeri, University of Catania, Italy - Zoran Jovanović, University of Belgrade, Serbia *** VENUE The symposium will be held in Belgrade at the School of Electrical Engineering. The School of Electrical Engineering, together with the School of Civil Engineering and the School of Architecture, is located in one of the most beautiful buildings of the University of Belgrade in Kralja Aleksandra Boulevard 73. The symposium venue is approximately - 1km away from the House of the National Assembly of Serbia, - 1km away from the Church of Saint Sava (one of the largest Orthodox churches in the world), - 2km away from Square of the Republic (Belgrade's central square) and Knez Mihailova Street (the main pedestrian zone in Belgrade), - 3km away from Belgrade Fortress and Kalemegdan Park (the largest park and the most important historical monument in Belgrade located on a cliff above the junction of the River Sava and the Danube) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Feb 19 21:08:55 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 19 Feb 2017 21:08:55 +0100 Subject: AlCoB 2017: call for posters Message-ID: <545102060a010b010651500a06005a5c0403065701015050020008010600070300530353015d550405040451575054@grlmc_ip-zone_com-6> AlCoB 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Algorithms for Computational Biology (AlCoB 2017) invites researchers to submit poster presentations. AlCoB 2017 will be held in Aveiro (Portugal) on June 5-7, 2017. See  http://grammars.grlmc.com/AlCoB2017/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 28, 2017 Notification of poster acceptance or rejection: May 5, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2017 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2017. However, they will be eligible for submission to the post-conference journal special issue in the Journal of Computational Biology (2015 JCR impact factor: 1.537). REGISTRATION At least one author of each accepted poster must register to the conference by May 22, 2017. The registration fare is reduced: 260 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). 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 announce at cs.ucy.ac.cy Mon Feb 20 10:56:33 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 20 Feb 2017 11:56:33 +0200 Subject: 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Fifth Call for Papers Message-ID: <4RQTSRBP-6Y5-KVXX-5OVQ-4RCMX4S3QL@cs.ucy.ac.cy> *** Fifth Call for Papers *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpZnRoIENhbGwgZm9yIFBhcGVycwkzNAlMaXN0cwkxODYJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. The conference will consist of regular sessions with technical contributions (regular papers, short papers) reviewed and selected by an international program committee, as well as of invited talks and tutorials presented by leading scientists. The official language of the conference will be English. A Doctoral Consortium and different Workshops will be held in line with the main conference. TOPICS We invite original papers describing results that broadly belong to both theory and practice of databases and information systems. The list of specific topics of interest follows, with a note that it is not exhaustive and we welcome novel results addressing topics not included in the list. · Data intensive sciences and databases · Theoretical foundations of databases · Management of large scale data systems · Data models and query languages · Database monitoring and (self-)tuning · Data curation, annotation, and provenance · Data warehousing, OLAP, and ETL tools · Indexing, query processing and optimization · Data mining and knowledge discovery · Big data storage, replication, and consistency · Modeling, mining and querying user generated content · Data quality and data cleansing · Web, XML and semi-structured databases · Sensor databases and mobile data management · Text databases and information retrieval · Probabilistic databases, uncertainty and approximate querying · Temporal and spatial databases · Graph databases · Databases on emerging hardware architectures · Distributed data platforms, including Cloud data systems, key-value stores, and Big Data systems · Information extraction and integration · Streaming data analysis · Scalable data analysis and analytics · Data and information visualization; and user interfaces · Information quality and usability · Information system architectures and networking · Business process modeling and optimization · Data and information flow engineering and management · Context-aware and adaptive information systems · Data and information intensive services · Requirements engineering for databases and information systems · Artificial intelligence in databases and information systems · Data, information, and information systems security · Innovative platforms for data and information handling · Innovative approaches for database and information systems engineering · Novel database and information systems applications PAPER PUBLISHING ADBIS accepted research papers will be published in a Springer Lecture Notes in Computer Science volume. Papers must not exceed 14 pages in the LNCS format. For camera-ready papers use Latex or Word style (find here http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpZnRoIENhbGwgZm9yIFBhcGVycwkzNAlMaXN0cwkxODYJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%26changeHeader%29. The program committee may decide to accept a submission as a short paper if it reports interesting results but does not justify publication of a full paper. ADBIS short research papers must not exceed 8 pages. The best paper authored solely by students will receive an award. Best papers of the main conference will be invited for submission in special issues of the ISI-indexed journals Information Systems (http://www.journals.elsevier.com/information-systems/) and Informatica (http://www.informatica.si/). SUBMISSION GUIDELINES · Papers must be written in English. · Papers must contain previously unpublished work and not be submitted concurrently to another conference. · Papers are submitted using an electronic submissions system, as detailed below. · An Author of an accepted paper must register to ADBIS 2017 in order to have the paper published. · Accepted papers must be presented at the conference by one of the authors. · ADBIS papers must be submitted via the EasyChair system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpZnRoIENhbGwgZm9yIFBhcGVycwkzNAlMaXN0cwkxODYJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dadbis2017 . · Papers must be submitted as a single PDF document · Authors of accepted papers must submit along with the camera-ready version of their paper a copyright form filled (http://www.cyprusconferences.org/adbis2017/files/springerform.pdf) and signed. Please note that only authors employed by the EU (as an institution) tick the relevant box. Authors who simply reside or work in an EU country should not tick this box. IMPORTANT DATES · Full and Short Papers: March 30, 2017 · Notification of Acceptance: May 25, 2017 · Camera-ready Submission: June 15, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From csoares at fe.up.pt Tue Feb 21 06:08:54 2017 From: csoares at fe.up.pt (Carlos Soares) Date: Tue, 21 Feb 2017 13:08:54 +0800 Subject: call for papers on Business Applications of Artificial Intelligence (BAAI) as part of EPIA 2017 Message-ID: please distribute. thanks, Carlos Business Applications of Artificial Intelligence (BAAI) as part of EPIA 2017 September 5-8, 2017, FEUP, Porto, Portugal (https://web.fe.up.pt/~epia2017/thematic-tracks/baai/) Scope AI is undoubtedly becoming a commodity in the business world. In fact AI technology is being used in several different industries (including health, manufacturing, retail, automotive, education, marketing, sales, financial services, entertainment and security) to increase productivity and reduce costs. The Business Applications of Artificial Intelligence (BAAI) track will focus on bringing new insights on successful applications of AI technology in business as well as identifying challenges that can only be addressed by collaborative efforts between industry and academia. Industry leaders need to learn with researchers how and where AI technologies can be applied in their organizations. On the other hand, researchers need to understand the challenges that companies are facing, the potential for solving them with AI technologies but also the additional challenges raised by developing solutions to real world problems with those technologies. The track will promote the discussion concerning challenges and potential solutions and the sharing of ideas and experiences between researchers (especially young ones, such as M.Sc. and Ph.D. students) and industry leaders. It also aims to disseminate recent research, innovative approaches and techniques, current trends and concerns. Topics of Interest The conference topics include, but are not limited to, the following: -AI applications in business, industry and government involving technologies such as -Agent based systems -Data science (data mining, big data, machine learning and deep learning) -Evolutionary computation -Expert and decision support systems -Intelligent search -Metaheuristics -Intelligent planning -Robotics -Solutions based on the integration of multiple AI and other types of technologies -Methodological issues in the development of AI projects -Social impact of AI -Business problems in need of AI solutions Program Committee Adam Woznica, Expedia, Switzerland Albert Patrick, ILOG, France António Castro, FEUP/LIACC-NIADR, University of Porto, Portugal Carlos Rodrigues, Marionete, United Kingdom Efi Papatheocharous, Swedish Institute of Computer Science, Sweden Elaine Ribeiro de Faria, Universidade Federal Uberlândia, Brazil Eunika Mercier-Laurent, Innovation3D, France Hanen Borchani, SimCorp Technology Labs, Denmark Jean-Charles Régin, ILOG, France Jean-Pierre Briot, Laboratoire d’Informatique de Paris 6 (Paris6-CNRS) & PUC-Rio, Brazil Kaustubh Patil, MIT, USA Marisa Affonso Vasconcelos, IBM Research, Brazil Maritza Correa, Universidad Autónoma de Occidente, Colombia Paulo Cavalin, IBM Research, Brazil Pedro Henriques Abreu, FCTUC-DEI/CISUC, Portugal Peter Van der Putten, Pegasystems /U. Leiden, Netherlands Ricardo Sousa, Farfetch, Portugal Rodrigo Mello, Universidade de São Paulo, Brazil Victor Cavalcante, Motorola Mobility R&D, Brazil YongHong Peng, University of Sunderland, United Kingdom Submission We accept three types of submissions, regular EPIA papers, M.Sc. project posters and industrial solutions and case studies, as detailed next. Regular Submission Submitted papers should be prepared according to the Springer LNCS format, with a maximum of 12 pages. Some thematic tracks (see each track specific page) may accept short papers (max 6 pages). Submitted papers will be subject to a double-blind review process, and will be peer-reviewed by at least three members of the respective track Program Committee. It is the responsibility of the authors to remove names and affiliations from the submitted papers, and to take reasonable care to assure anonymity during the review process. Student project posters M.Sc. students are invited to submit a 2 pages summary of their project (same formatting rules as for the regular papers). Although the discussion of results will be beneficial, it is not required. This means that students at early phases of their projects are encouraged to submit. Accepted submission will present their work at a poster session, where they will have the opportunity to interact with participants from the companies. Accepted submissions will be published in the local (online) proceedings. Industrial solutions and case studies Submissions are invited for industrial solutions and case studies. Submit a 2 pages summary of solutions (general-purpose or specific tools) and case studies (success stories, lessons learned and challenges). The same formatting rules for the regular papers apply. Accepted submissions will present their work at a specific session, where the speakers will have the opportunity to discuss their work with academic experts on AI. Accepted submissions will be published in local (online) proceedings. Participation Registrations associated with student project posters and Industrial solutions and case studies have access to the technical program, participation in AI competition sessions, welcome, coffee-breaks and 1st day lunch. Organizing Committee Célia Talma Gonçalves, P.Porto / LIACC, Portugal Ana Paula Appel, IBM Research, São Paulo, Brazil François Pachet, Sony CSL, Paris, France Carlos Soares, FEUP / INESC TEC, Porto, Portugal Please see more instructions for authors on the BAAI web page https://web.fe.up.pt/~epia2017/thematic-tracks/baai/ From andrea.orlandini at istc.cnr.it Tue Feb 21 11:51:45 2017 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Tue, 21 Feb 2017 11:51:45 +0100 Subject: Call for Papers - Workshop on AI Planning and Robotics - ICRA 2017 Message-ID: <2e368748-5f7d-8008-9090-569ea6a853ce@istc.cnr.it> [Apologies for multiple copies of this announcement] Submission Deadline approaching: 28th of February, 2017 ---------------------------------------------------------------------------------------------- ** CALL FOR PAPERS ** ICRA Workshop on AI Planning & Robotics: Challenges and Methods Singapore, May 29, 2017 ---------------------------------------------------------------------------------------------- Topic and Objectives *************** In complex robotic systems, planning and plan execution techniques are pervasively deployed at different levels of abstraction, combining task, path, and motion planning capabilities. AI Planning & Scheduling (P&S) methods are often crucial to enable intelligent robots to perform autonomous, flexible, and interactive behaviors. However, these methods and frameworks cannot be considered as stand-alone functionalities, but need to be deeply integrated into robotic architectures in order to be effective. This requires collaboration between researchers from both the AI and the Robotics communities. The aim of this workshop is to bring researchers from the AI P&S and Robotics communities together to exchange ideas, discuss techniques and problems as well as identify common open challenges related to robotic planning methods. The goal of the workshop is twofold. First, it will foster the discussion in the Robotics community about challenges related to AI planning for autonomous robots (deliberative, reactive, continuous planning and execution, etc.) as well as their expectations from the P&S community. Second, it will attract representatives from the AI P&S community to further develop their interests and efforts towards robotic problems and applications. Relevant topics include (but are not limited to): - Combined task, path, and motion planning; - Integration of planning and plan execution methods in robotic architectures; - Representation and learning of planning models for robotics; - Optimization and scheduling techniques for robot planning and scheduling; - Planning for long-term autonomy in robotics; - Planning with uncertainty for reliable robots; - Multi-robot planning, delegation, coordination, and execution; - Human-aware planning and execution in (safe) human-robot interaction/collaboration; - Mixed-initiative planning and adjustable autonomy; - V&V of plan-based robot autonomy; - Real-world planning applications for autonomous/interactive robots. Submissions *************** We invite extended abstracts/short papers and regular papers in the standard IEE ICRA conference format. Abstract/short papers are a maximum of 4 (four) pages, regular papers are a maximum of 6 (six) pages. Authors of accepted papers are expected to give a talk and/or to present a poster at the workshop. All papers should be typeset in the ICRA IEEE style. Accepted papers will be published on the workshop website. Papers should be submitted via the EasyChair website: https://easychair.org/conferences/?conf=icraplanrob2017 The organizers will investigate the availability of journal editors in order to invite a selection of accepted papers from the workshop to a special issue or post-proceedings volume. Any additional questions can be directed towards the general workshop contact email: icraplanrob2017 at easychair.org Important Dates *************** Deadline for paper submission, 28th of February, 2017 Notification of acceptance for papers, 15th of March, 2017 Deadline for camera-ready paper submission, 1st of April, 2017 Workshop Date, May 29, 2017 Confirmed Invited Speakers ******************* Rachid Alami LAAS-CNRS, France Michael Beetz Bremen University, Germany Patrick Doherty Linköping University, Sweden David Hsu National University of Singapore, Singapore Daniele Magazzeni King's College London, United Kingdom Workshop Organizers ******************* J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Alberto Finzi Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione University of Naples “Federico II” Nick Hawes School of Computer Science University of Birmingham Goldie Nejat Department of Mechanical and Industrial Engineering University of Toronto AndreA Orlandini Institute of Cognitive Science and Technology, National Research Council of Italy (CNR-ISTC), From announce at cs.ucy.ac.cy Tue Feb 21 15:01:34 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 21 Feb 2017 16:01:34 +0200 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Call for Participation Message-ID: <0Z65AOVT-RTF0-WAHN-4344-N8MSYPOUHEVJ@cs.ucy.ac.cy> ** Call for Participation *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTM2CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017 ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. The conference venue is the well known 5* beach hotel St. Raphael Resort, situated on one of the largest Blue Flag accredited beaches, only a short coastal drive from the lively centre of town, approximately 10 minutes away (http://www.raphael.com.cy). The Larnaca International Airport is 35 minutes away, and Paphos International Airport is 55 minutes away. There are shops, restaurants and bars within walking distance and a bus stop exactly outside the hotel. The conference organizers have secured very competitive rates for accommodation, both at the venue hotel as well as a number of other hotels at close distance (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTM2CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017/accommodation.html). In addition, the conference organization offers airport transfers to and from the hotels at very reasonable prices. This year IUI attracted an overwhelming number of submissions for all types of contributions (papers, posters, demos, etc.). The list of accepted contributions can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTM2CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017/accepted.html . The program will consist of paper presentations, posters and demos sessions, a Student Consortium and several workshops and tutorials. This exciting program will be further enhanced with 3 keynotes by the Distinguisheed ACM Speaker Panos Markopoulos (Eindhoven University of Technology), George Samaras (University of Cyprus) and Shumin Zhai (Google). The technical program will be complemented with a rich social program, including a welcome reception and a conference dinner at a local traditional Greek taverna with live entertainment. We cordially invite you to attend IUI 2017 and the co-located workshops and tutorials. Registration is open (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTM2CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017/registration.html). Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTM2CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017/pco.html Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Tue Feb 21 17:07:21 2017 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Tue, 21 Feb 2017 16:07:21 +0000 Subject: Second call for papers: DARe at LPNMR'17 Message-ID: <8D4B2C52-8ED8-41C2-B84E-38EDE7207155@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2017 Date: 3 July 2017 Espoo, Finland *** Deadline: 3 April 2017 *** ============================== The Fourth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-17 held at the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017) -- Latest News -- There will be a special issue of the International Journal of Approximate Reasoning (IJAR) containing selected extended versions of papers that have been accepted at DARe. The call for this special issue is planned for late 2017. More information to follow. -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format (which can be found at http://lpnmr2017.aalto.fi/submission.html) and should be no longer than 13 pages. Please submit to: https://easychair.org/conferences/?conf=dare17 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2017 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 3 April 2017 - Notification: 1 May 2017 - Camera ready: 22 May 2017 - Workshop date: 3 July 2017 -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Natasha Alechina, University of Nottingham, UK - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Antonis Bikakis, University College London, UK - Alexander Bochman, Holon Institute of Technology, Israel - Katarina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Marcelo Finger, Universidade de São Paulo, Brazil - Nina Gierasimczuk, Danish Technical University, Denmark - Patrick Girard, University of Auckland, New Zealand - Sven Ove Hansson, Royal Institute of Technology, Sweden - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Gabriele Kern-Isberner, TU Dortmund, Germany - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Thomas Meyer, University of Cape Town, South Africa - Gilles Richard, Université Paul Sabatier, France - Francois Schwarzentruber, ENS Rennes/IRISA, France - Umberto Straccia, CNR, Italy - Joost Vennekens, K.U. Leuven, Belgium - Peter Verdée, Universiteit Gent, Belgium - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-17) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From geoff at cs.miami.edu Wed Feb 22 14:14:53 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 22 Feb 2017 08:14:53 -0500 (EST) Subject: Formalization of Geometry, Automated and Interactive Geometric Reasoning Message-ID: <20170222131454.0E6D91214F8@mcclellan.cs.miami.edu> Annals of Mathematics and Artificial Intelligence special issue on Formalization of Geometry, Automated and Interactive Geometric Reasoning Call-for-Papers For this special issue of AMAI, we are seeking original contributions on various aspects of formalization of geometry having in view computational applications mainly oriented to proof but also to modeling in geometry. Relevant topics include (but are not limited to): * Polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; * Symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; * Design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies; * Applications of formalization of geometry to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics, and education. Important dates: September 1, 2017: paper submission via http://www.editorialmanager.com/amai/ selecting the issue: S688 Formalization of Geometry and Reasoning January 1, 2018: author notification March 1, 2018: revisions and camera-ready paper submission Guest Editors: Pascal Schreck , Tetsuo Ida , Laura Kovacs From roberto.santana at ehu.eus Thu Feb 23 11:46:03 2017 From: roberto.santana at ehu.eus (Roberto Santana Hermida) Date: Thu, 23 Feb 2017 11:46:03 +0100 Subject: IEEE CEC-2017, San Sebastian. Call For Participation Message-ID: <20170223114603.Horde.s1OwuC5AckUw_OGvuKQlrAd@webposta.ehu.eus> ------------------------------------------------------------------------------ We apologize if you received multiple copies of this message Please, feel free to distribute it to those who might be interested. ------------------------------------------------------------------------------ On behalf of the organizing committee, it is our great pleasure to invite you to the 2017 IEEE Conference on Evolutionary Computation (www.cec2017.org) that will be held in San Sebastian, Spain, in June 5-8, 2017. IEEE CEC is a world-class conference that aims to bring together researchers and practitioners in the field of evolutionary computation and computational intelligence from all around the globe. Technical exchanges within the research community will encompass keynote lectures, regular and special sessions, tutorials, and competitions as well as poster presentations. In addition, participants will be treated to a series of social functions, receptions, and networking to establish new connections and foster everlasting friendship among fellow counterparts. Donostia/San Sebastian is a coastal medium-size city located in northern Spain, 20km from the border with France. It stands as an amphitheatre over-looking the sea. It is known the world over for its spectacular bay and is referred to as the Pearl of the Cantabrian Sea. It is also internationally renowned for being a culinary haven where visitors will find more Michelin stars per square meter than in any other city in the world. The conference will take place at the Kursaal Convention Center and Auditorium. Kursaal is located in the city center, overlooking the seafront. This avant-garde architectural showpiece was designed by Rafael Moneo and won the Mies van der Rohe prize for the best building in Europe in 2001. The main hotels, restaurants and shopping areas are within walking distance. CEC 2017 covers all topics in the field of Evolutionary Computation including the following non-exhaustive list: * Genetic algorithms * Genetic programming * Estimation of distribution algorithms * Evolutionary programming * Evolution strategies * Bioinformatics and bioengineering * Coevolution and collective behavior * Combinatorial and numerical optimization * Constraint and uncertainty handling * Evolutionary data mining * Evolutionary learning systems * Evolvable/adaptive hardware and systems * Evolving neural networks and fuzzy systems * Evolutionary multi-objective optimization * Ant colony optimization * Artificial life * Agent-based systems * Molecular and quantum computing * Particle Swarm Optimization * Artificial immune systems * Representation and operators * Industrial applications of EC * Evolutionary game theory * Cognitive systems and applications * Computational finance and economics * Estimation of distribution algorithms * Evolutionary design * Evolutionary scheduling The lists of plenary talks, special sessions, tutorials, and competitions are now complete: Plenary talks: http://www.cec2017.org/#plenary_talks Special sessions: http://www.cec2017.org/#special_session_sessions Tutorials: http://www.cec2017.org/#tutorials Competitions: http://www.cec2017.org/#competitions For Program inquiries please contact the Program Chair, Carlos Coello at ccoello at cs.cinvestav.mx. General inquiries for IEEE CEC 2017 should be sent to the General Chair, Jose A. Lozano at info at cec2017.org You can also follow CEC 2017 on Twitter: https://twitter.com/cec2017 We are looking forward to seeing you in San Sebastian! From sara at dirf.org Thu Feb 23 12:30:46 2017 From: sara at dirf.org (sara at dirf.org) Date: Thu, 23 Feb 2017 17:00:46 +0530 Subject: Workshop on Deep Learning Message-ID: Deep Learning Applications (Co-located with the Seventh International Conference on Innovative Computing Technology (INTECH 2017) Luton, UK August 16-18, 2017 (www.dirf.org/intech) Deep Learning (DL) is an important component of computational intelligence which has the core domain machine learning research in it. It provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, biomedical informatics, recommender systems, learning theory, robotics, games, and so on. DL is gaining applications in many domains due to the availability of large amount of data coupled with machine learning algorithms. As the DL applications are on increasing trend a workshop on it will enable to identify the emerging trends in the domain. The proposed workshop will address the below listed but not limited themes. Neural network architectures DL Applications to the Natural Sciences Visual Perception using Deep Convolutional Neural Networks Deep Learning for Computer Vision Deep Sequence Modeling: Historical Perspective and Current Trends Automatic Terminology Extraction Deep Learning of Behaviors Probabilistic Graphical Models Algorithms Deep Learning for Natural Language Processing Deep Learning Applications at the Enterprise Scale Multi-modal Deep Learning Deep Learning Security Neural Networks From Statistical Decision Theory and Deep Neural Networks Machine Learning and Deep Neural Networks Cognitive Architectures for Object Recognition in Video Learning Representations for Vision, Speech and Text Processing Applications Deep Learning in the Brain Deep Learning for Sequences Interpretable Deep Learning Models for Healthcare Applications Deep Learning for Video Games Data Processing Methods, and Applications of Least Squares Support Vector Machines Deep Generative Models and Unsupervised Learning Natural Language Understanding Submissions Submissions should provide original and unpublished research results or ongoing research with simulations. The papers should be between 6 to 8 pages total in length in the IEEE format. * All the accepted papers will appear in the proceedings published by IEEE and fully indexed by IEEE Xplore. * Modified version of the selected papers will appear in the special issues of many peer reviewed and indexed journals. Important Dates Submission of papers: June 01, 2017 Notification of Acceptance/Rejection: July 01, 2017 Camera Ready: August 01, 2017 Registration August 01, 2017 Conference: August 16-18, 2017 Organizers Ricardo Rodriguez Jorge, Engineering and Technology Institute, Mexico Submissions at-http://www.dirf.org/intech/paper-submission/ Contact- intech at dirf.org ------------------------------------------------------------------------- From announce at cs.ucy.ac.cy Thu Feb 23 16:01:36 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 23 Feb 2017 17:01:36 +0200 Subject: 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fifth Call for Special Sessions & Workshops Proposals Message-ID: *** Fifth Call for Special Sessions & Workshops Proposals *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDb21wdXRhdGlvbmFsIENvbGxlY3RpdmUgSW50ZWxsaWdlbmNlIChJQ0NDSSAyMDE3KTogRmlmdGggQ2FsbCBmb3IgU3BlY2lhbCBTZXNzaW9ucyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJMzgJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F *** Firm Deadline: 15th March 2017 *** Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Call for Special Sessions and Workshops Proposals ICCCI 2017 invites proposals for Special Sessions and Workshops to be held during the conference. They intend to provide researchers in focused areas the opportunity to present and discuss their work, as well as to offer a forum for interaction among a broader community of researchers. A Special Session or Workshop will consist of a group of papers in a sub-discipline of Computational Collective Intelligence related to the main topics of ICCCI 2017. The papers will be required to meet the same standards as ICCCI 2017 papers and will be published in the conference proceedings, in a bound volume by Springer in their Lecture Notes in Artificial Intelligence series. All the Special Sessions and Workshops will be centralized as tracks in the same conference submission and reviewing system (EasyChair) as the regular papers. Please send the Special Session and Workshop proposals with the following information: · Title & acronym of the special session · Brief profiles of special session organizers · General description of the special session scope · List of topics · Proposed Session Program Committee (to be invited) The format for the Special Session or Workshop proposal should follow the pattern of the template available on the conference web site. The organizers will be responsible for the advertisement and promotion of the Special Sessions or Workshops and the conference including the Special Sessions and Workshops webpage preparation. The management of papers review will be achieved by Special Session and Workshops Committees, using the Conference System (a separate EasyChair track will be provided for each Special Session and Workshop). The organizers are responsible for managing the review process. All the reviews should be submitted through EasyChair. Each paper should obtain at least two reviews. For Special Sessions and Workshops Issues please contact: Bogdan Trawinski Wroclaw University of Science and Technology, Poland bogdan.trawinski at pwr.edu.pl Important Dates · Special Session & Workshop Proposals: March 15, 2017 (*** firm ***) · Special Session & Workshop Acceptance: March 21, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jdrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From peggy.cellier at irisa.fr Thu Feb 23 18:45:23 2017 From: peggy.cellier at irisa.fr (Peggy Cellier) Date: Thu, 23 Feb 2017 18:45:23 +0100 Subject: =?UTF-8?Q?Call_for_Posters/Software_Demonstrations_at_ICFCA'17_?= =?UTF-8?Q?=e2=80=93_14th_International_Conference_on_Formal_Concept_Analysi?= =?UTF-8?Q?s?= In-Reply-To: <3ed7dc50-60c5-337a-924e-db42117229d9@irisa.fr> References: <3ed7dc50-60c5-337a-924e-db42117229d9@irisa.fr> Message-ID: <12a4984d-e7fa-2519-fe3d-1e7964c43751@irisa.fr> ================================================================================ ICFCA 2017 14th International Conference on Formal Concept Analysis June 12—16, 2017, Rennes, France Web: Mail: icfca2017 at inria.fr ================================================================================ * Call for Posters and Software Demonstrations The International Conference on Formal Concept Analysis welcomes submissions of posters on relevant topics around FCA research. Posters should be of size not larger than A0, and will be presented at the conference venue in a dedicated poster session. We also invite submission of proposals for demonstrations of software implementing or making use of algorithms and approach from formal concept analysis. Proposals for posters and software demonstrations should be described in an extended abstract of at most 4 pages. Accepted proposals will also be included in the supplementary proceedings of ICFCA, published by the University of Rennes. The supplementary proceedings of ICFCA will receive an ISBN. Submission deadline is *March 24th, 2017*. Abstracts should be send to icfca2017 at inria.fr. * About the Conference Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery. The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Life and Social Sciences, etc. ** Topics Main topics of interest include, but are not limited to: *** Fundamental aspects of FCA - FCA theory - Lattice theory - Lattice drawing - Philosophical foundations - Algorithms and complexity theory *** Bridging FCA to information sciences and artificial intelligence - FCA and logic, e.g., semantic web, description logics - FCA and conceptual structures, e.g., concept graphs, knowledge spaces - FCA and data analysis, e.g., hierarchical classification, data organization - FCA and data mining, e.g., pattern mining - FCA and information retrieval, e.g. exploratory search, navigation, querying - FCA and machine learning, e.g., learning with hypothesis, feature selection - FCA and database theory, e.g., dependencies, rules, data cubes - FCA and software engineering - FCA and morphological mathematics *** Understanding, modelling real-world data and phenomena with FCA - Analysis of "big data" with FCA, e.g., sampling, parallel computing - Analysis of social networks and their dynamics - Applications for scientific data analysis, e.g., in biology or health care - Applications for sensors data and user interactions traces - Other FCA applications ** Organization The conference will be hosted by IRISA[3] and Centre de Recherche Inria Bretagne Atlantique[4]. [3]: https://www.irisa.fr/en [4]: https://www.inria.fr/centre/rennes *** Conference Chairs Peggy Cellier, IRISA, INSA Rennes, France Sébastien Ferré, IRISA, University Rennes 1, France *** Program Chairs Karell Bertet, L3I, Université de La Rochelle, France Daniel Borchmann, Technische Universität Dresden, Germany *** Editorial Board Jaume Baixeries, Polytechnic University of Catalonia, Catalonia Peggy Cellier, IRISA lab, Rennes, France Florent Domenach, Akita International University, Japan Peter Eklund, IT University of Copenhagen, Denmark Sebastien Ferré, Université de Rennes 1, France Bernhard Ganter, Technische Universität Dresden, Germany Cynthia Vera Glodeanu Mehdi Kaytoue, INSA-Lyon, LIRIS, France Sergei Kuznetsov, Higher School of Economics, Moscow, Russia Leonard Kwuida, Bern University of Applied Sciences Rokia Missaoui, Université du Québec en Outaouais (UQO), Canada Amedeo Napoli, LORIA, Nancy, France Sergei Obiedkov, Higher School of Economics, Moscow, Russia Manuel Ojeda-Aciego, University of Malaga, Spain Uta Priss, Ostfalia University of Applied Sciences, Wolfenbüttel, Germany Sebastian Rudolph, Technische Universität Dresden, Germany Christian Sacarea, Babes-Bolyai University of Cluj-Napoca, Romania Stefan E. Schmidt, Technische Universität Dresden, Germany Gerd Stumme, Universität Kassel, Germany Petko Valtchev, Université du Québec à Montréal, Canada Karl Erich Wolff, University of Applied Sciences, Darmstadt, Germany *** Honorary Members Vincent Duquenne, ECP6-CNRS, Université Paris 6, France Rudolf Wille, Technische Universität Darmstadt, Germany¹ *** Program Committee Simon Andrews, Sheffield Hallam University, United Kingdom François Brucker, Centrale Marseille, France Claudio Carpineto, Fondazione Ugo Bordoni, Italy Pablo Cordero, University of Málaga, Spain Jean Diatta, Université de la Réunion, France Felix Distel, d-fine GmbH, Germany Christophe Demko, L3I lab, Université de La Rochelle, France Stephan Doerfel, MICROMATA GmbH, Germany Alain Gély, Université Paul Verlaine, Metz, France Robert Godin, Université du Québec à Montréal, Canada Marianne Huchard, LIRMM, Université Montpellier, France Dmitry Ignatov, Higher School of Economics, Moscow, Russia Robert Jäschke, University of Sheffield, England Michal Krupka, Palacky University, Olomouc, Czech Republic Marzena Kryszkiewicz, Warsaw University of Technology, Poland Wilfried Lex, Universität Clausthal, Germany Jesús Medina, Cadiz University, Spain Engelbert Mephu Nguifo, LIMOS, Université de Clermont Ferrand 2, France Lhouari Nourine, LIMOS, Université de Clermont Ferrand 2, France Jan Outrata, Palacky University of Olomouc, Czech Republic Jean-Marc Petit, LIRIS, INSA Lyon, France Sandor Radeleczki, University of Miskolc, Hungary Barış Sertkaya, Frankfurt University of Applied Sciences Laszlo Szathmary, University of Debrecen, Hungary Andreja Tepavčević, University of Novi Sad, Serbia Jean-François Viaud, L3I lab, Université de La Rochelle, France ¹ deceased From Natasha.Alechina at nottingham.ac.uk Thu Feb 23 19:20:48 2017 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Thu, 23 Feb 2017 18:20:48 +0000 Subject: First call for papers, LAMAS 2017 Message-ID: First call for papers Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017) ===================================================== 25 August 2017, Stockholm Webpage: http://www.cs.nott.ac.uk/~psznza/lamas17/ Affiliated with the 26th EACSL Annual Conference on Computer Science Logic CSL'2017: https://www.csl17.conf.kth.se/ The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The topics of the workshop include, but are not limited to: - Logical systems for specification, analysis, and reasoning about MAS - Logic-based modeling of MAS - Dynamical MAS - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS Submissions for workshop presentations =============================== Extended abstracts of 2-5 pages reporting either original, ongoing, or recently published work in the area of the workshop. Submissions are not anonymous and will be subjected to light reviewing. Abstracts have to be submitted via Easychair: https://easychair.org/conferences/?conf=lamas2017. Invited speakers: ============= Hans van Ditmarsch, LORIA, Nancy Wojtek Jamroga, Polish Academy of Sciences Important dates ============= submission: June 4 2017 notification: June 15 2017 workshop: August 25 2017 Workshop proceedings and post-proceedings ================================== Accepted abstracts of presentations will be made available on the workshop website. Depending on the number and quality of the submissions, we also intend to organise workshop post-proceedings as a journal special issue. The submissions to that special issue will be subject to a proper reviewing process. Organisers and contacts =================== Natasha Alechina natasha.alechina at nottingham.ac.uk Mika Cohen Valentin Goranko 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 send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From grbacci at cs.aau.dk Fri Feb 24 13:25:23 2017 From: grbacci at cs.aau.dk (Giorgio Bacci) Date: Fri, 24 Feb 2017 12:25:23 +0000 Subject: MFCS 2017: First Call for Papers Message-ID: <68EA9748-6D25-4FBF-BE54-0510516129AD@cs.aau.dk> --------------------------------------------------------------- MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science Aalborg, Denmark, August 21-25, 2017 http://mfcs2017.cs.aau.dk/ --------------------------------------------------------------- BACKGROUND: MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues. MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops. We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following (alphabetically ordered): - algebraic and co-algebraic methods in computer science - algorithms and data structures - automata and formal languages - bioinformatics - combinatorics on words, trees, and other structures - computational complexity (structural and model-related) - computational geometry - computer-assisted reasoning - concurrency theory - cryptography and security - databases and knowledge-based systems - formal specifications and program development - foundations of computing - logics in computer science - mobile computing - models of computation - networks (incl. wireless, sensor, ad-hoc networks) - parallel and distributed computing - quantum computing - semantics and verification of programs - theoretical issues in artificial intelligence - types in computer science All submitted papers will be reviewed by the program committee. Accepted papers will be collected into the conference proceedings. IMPORTANT DATES: Abstract submission deadline: April 20th, 2017 (AoE) Paper submission deadline: April 24th, 2017 (AoE) Notification of authors: June 12th, 2017 (AoE) Camera-ready copies due: June 22nd, 2017 (AoE) Early registration deadline: June 23rd, 2017 (AoE) Late registration deadline: August 7th, 2017 (AoE; afterward, only on-site registration) Conference dates: August 21–25, 2017 PAPER SUBMISSION: Papers should be submitted electronically through EasyChair at https://easychair.org/conferences/?conf=mfcs17 Submissions should be prepared according to the following instructions: Papers should be formatted using the LIPIcs style. Length: up to 12 pages (excluding references and an optional appendix) References and an optional appendix can go beyond the 12 pages (the appendix will be consulted at the discretion of the program committee). It is mandatory to use pdflatex No prior publication or simultaneous submission to other conferences or journals are allowed (but submissions to preprint repositories such as arXiv or workshops without formal published proceedings are allowed) PROGRAM COMMITTEE: Kim G. Larsen – PC chair (Aalborg University, Denmark) Hans L. Bodlaender – co-chair (Eindhoven University of Technology, Netherlands) Jean-Francois Raskin –co-chair (Universite Libre de Bruxelles, Belgium) Alexander Kurz (University of Leicester) Aniello Murano (Università degli Studi di Napoli Federico II) Arno Pauly (Universite Libre de Bruxelles) Axel Legay (IRISA/INRIA, Rennes) Bartek Klin (University of Warsaw) Bettina Speckmann (TU Eindhoven) Christof Löding (RWTH Aachen) Damien Pous (CNRS - ENS Lyon) Dana Pardubska (Comenius University) Dexter Kozen (Cornell University) Doron Peled (Bar Ilan University) Franck Cassez (Macquarie University) Hans Raj Tiwary (Charles University) Jiri Wiedermann (Academy of Sciences) Jörg Rothe (Universität Düsseldorf) Kasper Green Larsen (MADALGO, Department of Computer Science, Aarhus University) Lars Birkedal (Dept. of Computer Science, Aarhus University) Luca Moscardelli (University of Chieti-Pescara) Manfred Droste (Leipzig University, Institute of Computer Science) Manuel Bodirsky (TU Dresden) Martin Lange (University of Kassel) Matteo Mio (CNRS/ENS-Lyon) Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay) Pawel Gawrychowski (University of Haifa) Peter Van Emde Boas (ILLC-FNWI-Universiteit van Amsterdam (emeritus) Petteri Kaski (Helsinki Institute for Information Technology HIIT, Department of Computer Science, Aalto University) Pierre-Yves Schobbens (University of Namur) Prakash Panangaden (McGill University) Radu Mardare (Aalborg University) Raffaella Gentilini (University of Perugia) Ramamohan Paturi (University of California, San Diego) Rocco De Nicola (IMT - School for Advanced Studies Lucca) Rod Downey (Victoria University) Roland Meyer (TU Braunschweig) Sagi Snir (Univ. of Haifa) Sam Staton (Oxford University) Sławomir Lasota (Warsaw University) Stephan Kreutzer (Technical University Berlin) Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology) Udi Boker (Interdisciplinary Center (IDC) Herzliya) Vojtech Forejt (Oxford University) LOCAL ORGANIZERS, Aalborg University Giorgio Bacci Giovanni Bacci Radu Mardare Jiri Srba Rikke W. Uhrenholt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Fri Feb 24 17:36:00 2017 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Fri, 24 Feb 2017 17:36:00 +0100 Subject: 2nd Call for Tutorials: 19th European Agent Systems Summer School (EASSS-2017) Message-ID: *********************************************************************** * SECOND CALL FOR TUTORIALS * 19th European Agent Systems Summer School (EASSS-2017) to be held at the University of Gdańsk, Poland 7-11 August 2017 http://easss2017.ipipan.waw.pl/ Deadline for Proposals: 10 March 2017 Please submit proposals to: easss2017 at ipipan.waw.pl *********************************************************************** We invite tutorial proposals for the 19th European Agent Systems Summer School (EASSS-2017), which will be held at the University of Gdańsk, Poland. EASSS tutorials are typically 3.5 hours long, divided into two sessions of 1.45 hours each. For the detailed call for tutorials, please see below. *********************************************************************** ABOUT EASSS-2017 *********************************************************************** Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a highly successful forum for knowledge exchange between researchers in the field of autonomous agents and multi-agent systems. The 19th European Agent Systems Summer School will be held at the University of Gdansk, Poland, from the 7th to the 11th of August 2017. As was the case with the earlier editions, EASSS-2017 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses will be taught by leading researchers in the field, and are aimed at advanced Masters students, PhD students, and other young researchers. EASSS 2017 is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). *** We invite proposals from members of the research community who are willing to offer tutorials at EASSS-2017. *** We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multiagent Systems. As a very rough guideline, any topic that might be covered at the AAMAS conference or in the JAAMAS journal would be suitable for EASSS. We aim for a mix of tutorials on fundamental and well-established topics, as well as overviews of new and emerging areas of research. Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. Besides providing a coherent overview of a specific research topic, we specifically encourage tutorial proposals to articulate a clear link to applications and pragmatic consideration of the fundamental topics presented. We encourage both well-established senior researchers and younger colleagues to submit proposals. Each tutorial is usually given by one or two people. Exceptions are of course possible; for proposals by more than two tutors, please justify this choice in the proposal and explain how you intend to ensure the coherence of the tutorial. To support the tutors, we can commit to the provision of up to 350 EUR per tutorial that would partially cover their travel and accommodation costs. *********************************************************************** SUBMISSION INSTRUCTIONS *********************************************************************** A tutorial proposal should take the form of a single PDF document covering the points listed below. The maximal length of the proposal is 2 pages. Please, submit the proposal by email to easss2017 at ipipan.waw.pl mentioning [TUTORIAL] in the subject line. The following points should be addressed in the tutorial proposal, preferably in the order stated below: (1) Title of the proposed tutorial. (2) Tutor(s): name, affiliation, full contact details, and a link to the personal homepage of each tutor. (3) Abstract: a short paragraph describing the tutorial (100-300 words), suitable for publication at the EASSS-2017 website. (4) Topics covered: detailed list of topics covered in the tutorial in terms of a list, preferably in the order in which the tutorial will cover them. (5) Type: a clear indication of whether the tutorial takes a theoretical or applications-oriented perspective on the topics covered. We encourage tutorial proposals that balance the two perspectives. (6) Level: please indicate the target audience and level of the course. If there are prerequisites, describe what knowledge will be assumed by the tutorial. (7) Teaching materials: Please indicate what kind of teaching materials you intend to provide. Note that we will require materials by the date below, so that they can be distributed to EASSS attendees in advance. (8) Duration: Tutorials are typically 3.5 hours long. If you have good reasons for wanting to deviate from this standard, please explain this in your proposal. (9) Equipment: Please list any special equipment (beyond data projector and blackboard/whiteboard) that you might need. (10) Short biographical sketch for each tutor (around 100 words per tutor), suitable for publication at the EASSS-2017 website. (11) Experience of tutor(s): please provide details on relevant teaching experience of the tutor(s). (12) Additional information on the proposed tutorial. Include as much detail as you see fit. *********************************************************************** IMPORTANT DATES *********************************************************************** Deadline for tutorial proposals: 10 March 2017 Notification of acceptance: 25 March 2017 Teaching materials due: 3 July 2017 Summer school: 7-11 August 2017 *********************************************************************** SCIENTIFIC COMMITTEE *********************************************************************** Umberto Grandi, University of Toulouse, France Wojtek Jamroga, Polish Academy of Sciences, Poland Brian Logan, University of Nottingham, UK *********************************************************************** CONTACT *********************************************************************** For all matters concerning EASSS-2017 and this call, please contact easss2017 at ipipan.waw.pl *********************************************************************** PREVIOUS EDITIONS *********************************************************************** EASSS has been organised annually in different European locations since 1999. The locations and websites of the most recent editions of EASSS are listed below: * EASSS-2016 in Catania: http://easss2016.dmi.unict.it * EASSS-2015 in Barcelona: http://www.iiia.csic.es/easss2015/ * EASSS-2014 in Chania: http://www.intelligence.tuc.gr/easss2014 * EASSS-2013 in London: http://www.inf.kcl.ac.uk/events/easss13/index.html * EASSS-2012 in Valencia: http://easss2012.webs.upv.es/ * EASSS-2011 in Girona: http://eia.udg.edu/easss2011/ * EASSS-2010 in Saint-Etienne: http://easss2010.emse.fr/ * EASSS-2009 in Torino: http://agents009.di.unito.it/EASSS.html * EASSS-2008 in Lisbon: http://centria.di.fct.unl.pt/events/easss08/ EASSS'07/Durham, UK; EASSS'06/Annecy, France; EASSS'05/Utrecht, Netherlands; EASSS'04/Liverpool, UK; EASSS'03/Bologna, Italy; EASSS'02/Barcelona, Spain; EASSS'01/Prague, Czech Republic; EASSS'00/Saarbrucken, Germany; EASSS'99/Utrecht, Netherlands *********************************************************************** -- Prof. Dr. Wojciech Jamroga Associate Professor Institute of Computer Science, Polish Academy of Sciences http://krak.ipipan.waw.pl/~wjamroga/ From newsletter at saso-conference.org Fri Feb 24 23:13:19 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Fri, 24 Feb 2017 23:13:19 +0100 Subject: =?utf-8?b?Q2ZXOiBTQVNPIDIwMTcgLSBJRUVFIEludGVybmF0aW9uYWwgQ29uZmVy?= =?utf-8?b?ZW5jZSBvbiBTZWxmLUFkYXB0aXZlIGFuZCBTZWxmLU9yZ2FuaXppbmcg?= =?utf-8?b?U3lzdGVtcywgU2VwdGVtYmVyIDE4LTIyLCBUdWNzb24sIEFyaXpvbmE=?= Message-ID: ==== Call for Workshops ==== The FAS* 2017 Steering Committee invites proposals for the Workshop Program to be held along with the technical conferences SASO 2017 and ICCAC 2017. FAS*W workshops will provide a meeting for presenting novel ideas in a less formal and possibly more focused way than the conferences themselves. Their aim is to stimulate and facilitate active exchange, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Self-Adaptive and Self-Organizing Systems as well as Cloud and Autonomic Computing. To motivate the discussion and participation of all the workshop attendants, we encourage organizers to get away of the typical "mini-conference" format of a workshop, and include more discussion sessions, panels, etc. Members from all areas of the SASO and ICCAC communities are invited to submit workshop proposals for review. Workshops on global challenges, applications or on new and emerging topics are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Optionally, if desired by the organizers, workshop proceedings can be published through IEEE. Attendance of workshops will be included in the registration fee for the main SASO/ICCAC conference. ==== Important Dates ==== Workshop proposal submission deadline: April 7, 2017* Workshop acceptance notification: April 14, 2017* CfP submission deadline: April 21, 2017 Workshop paper submission deadline: July 7, 2017 Workshop paper acceptance notification: July 21, 2017 Early registration deadline: TBD Camera-ready papers due: July 26, 2017 Workshop notes submission to workshop chairs: July 28, 2017 Workshops dates: September 18 & 22, 2017 * Please submit your workshop proposals as soon as possible (i.e. before April 7)! We will try to decide earlier on workshop acceptance in order to give the organizers more time to solicit papers. ==== FAS*W 2017 Workshops - Requirements for Submission ==== Proposals for workshops should be separated in two parts. The first part should be organized as preliminary call for papers or call for participation, depending on the intended format of the workshop, with a maximum of two pages and contain the following information: PART 1: - Title of the workshop. - A brief technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conferences. Please specify, which of the two main conferences the workshop assigned to (if any)! - Description of paper review process (if any) and acceptance standards in order to keep the workshop high in quality. Note that papers must be in the same format as the conference proceedings and may not be more than 6 pages in length. - The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions. - The primary email address for contacting the organizing committee. - Expected duration of the workshop (half or full day). - A brief description of the workshop format. - List of potential program committee members (if applicable), including their title and affiliations. - List of potential invited speakers, panelists, or disputants (if applicable). PART 2: The second part with a maximum of three pages should contain additional information not suitable for a Call for Papers, including: - A discussion of why and to whom the workshop is of interest. - A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. - Information about previous offerings of the proposed workshop: when and where it has been offered in the past, organizers names and affiliations, number of submissions, acceptances and registered attendees. - An indication of the envisaged acceptance rate (if applicable). - A description of the qualifications of the individual committee members with respect to organizing a SASO or ICCAC workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. - A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. - All proposals should be submitted in plain ASCII text or PDF format by electronic mail to the FAS*W 2017 Workshop Chairs, via Christopher Frantz, as described below. ==== Selection Criteria ==== The selection of the workshops to be included in the final FAS* 2017 Workshop program will be based upon multiple factors, including: - the scientific/technical interest of the topics, - the quality of the proposal, - complementarity with the conference topics, - balance and distinctness of workshop topics, and - the capacity of the conference workshop program. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals. ==== Responsibilities of FAS* 2017 Workshop Chairs ==== For all accepted proposals, FAS* 2017 will be responsible for: - Providing publicity for the workshop series as a whole. - Providing logistical support and a meeting place for the workshops. - Together with the organizers, determining the workshop date and time. - Liaising and coordinating between the workshop chairs and the finance chair, publicity chair, registration chair, and web chair for FAS*. - Arranging for publication of proceedings. ==== Responsibilities of Workshop Organizers ==== Workshop organizers will be responsible for the following: - Setting up a web site for the workshop. - Advertising the workshop (and the main FAS* conference), and issuing a call for papers and a call for participation. - Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. All workshop organizers commit themselves to adopt the deadlines set by the committee. - Making the pdf of the whole workshop notes available to the workshop chair, as well as a list of audio-visual requirements and any special room requirements. - Writing a 1-page organizers? introduction for the workshop proceedings. Ensuring that the workshop organizers and the participants register for the workshop and/or the main conference (at least one author must register for the paper to appear in the proceedings). - FAS* reserves the right to cancel any workshop if the above responsibilities are not fulfilled, or if too few attendees register for the workshop to support its running costs. ==== Submissions and Inquiries ==== Please send proposals (as a PDF document) and inquiries to: Christopher Frantz (cf at christopherfrantz.org) or Jeremy Pitt (j.pitt at imperial.ac.uk) https://saso2017.telecom-paristech.fr/committees.html From alexander.romanovsky at newcastle.ac.uk Sun Feb 26 10:26:11 2017 From: alexander.romanovsky at newcastle.ac.uk (Alexander Romanovsky) Date: Sun, 26 Feb 2017 09:26:11 +0000 Subject: CfP Software Engineering for Resilient Systems - SERENE 2017 workshop References: Message-ID: Call for Papers ======================================================== SERENE 2017 9th International Workshop on Software Engineering for Resilient Systems September 4-5, 2017, Geneva, Switzerland http://serene.disim.univaq.it/2017/home Co-located with EDCC, European Dependable Computing Conference. Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in response to evolving requirements, customer feedback, new business needs, platform upgrades etc. Despite frequent changes software is expected to function correctly and reliably especially while providing services that are critical to society, e.g., in such areas as transportation, healthcare, energy production etc. Since modern software should be developed to efficiently cope with changes, unforeseen failures and intrusions, design for resilience is becoming an increasingly important area of software engineering. The SERENE workshop has a long tradition of bringing together researchers and industry practitioners to discuss advances in engineering resilient systems. Since 2015 SERENE has become a part of a major European dependability forum - EDCC. This year SERENE will be held before the main programme of EDCC 2017 (http://edcc2017.unige.ch/index.html). The SERENE 2017 workshop will provide a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to software engineering for resilient systems, including, but not limited to: Development of resilient systems * Engineering processes for resilient systems; * Requirements engineering & re-engineering for resilience; * Frameworks, patterns and software architectures for resilience; * Engineering of self-healing autonomic systems; * Design of trustworthy and intrusion-safe systems; * Resilience at run-time (mechanisms, reasoning and adaptation); * Resilience & dependability (resilience vs. robustness, dependable vs. adaptive systems). Verification, validation and evaluation of resilience * Modelling and model based analysis of resilience properties; * Formal and semi-formal techniques for verification and validation; * Experimental evaluations of resilient systems; * Quantitative approaches to ensuring resilience; * Resilience prediction. Case studies & applications * Empirical studies in the domain of resilient systems; * Methodologies adopted in industrial contexts; * Cloud computing and resilient service provisioning; * Resilience for data-driven systems (e.g., big data-based adaption and resilience); * Resilient cyber-physical systems and infrastructures; * Global aspects of resilience engineering: education, training and cooperation. We welcome relevant contributions in the following forms: * Technical papers describing original theoretical or practical work; * Experience/Industry papers describing practitioner experience or field study, addressing an application domain and the lessons learned; * PhD Forum papers describing objectives, methodology, and results at an early stage in research; * Project papers describing goals and results of ongoing projects; * Tool papers presenting new tools or new versions of existing tools that support the development of resilient systems; * Position papers discussing challenges and emerging trends in resilience. The submissions will be formatted following the LNCS Springer formatting - http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Submissions of all the categories will be 7 pages long except for the technical papers which will be 15 pages long. The submission site is https://easychair.org/conferences/?conf=serene2017 The Proceedings wil be published by Springier in the LNCS series (pending agreement). Important Dates * Submission due: June 1, 2017 * Authors notification: June 24, 2017 * Camera ready papers: July 1, 2017 * Workshop: September 4-5, 2017 ======================================================== Program Chairs: * Alexander Romanovsky, Newcastle University, UK * Elena Troubitsyna, Abo Akademi University, Finland Program Committee * Rami Bahsoon, Birmingham University, UK * Michael Butler, Southampton University, UK * Nelio Cacho, UFRN, Brazil * Andrea Ceccarelli, U. Firenze, Italy * Vincenzo De Florio, VITO, Belgium * Nikolaos Georgantas, INRIA, France * Anatoliy Gorbenko, Leeds Beckett University, UK * Felicita Di Giandomenico, CNR-ISTI, Italy * Lars Grunske, Humbort University Berlin, Germany * Jeremie Guiochet, LAAS, France * Dubravka Ilic, Space Systems Finland, Finland * Rolf Johansson, SP, Sweden * Mohamed Kaaniche, LAAS-CNRS, France * Linas Laibinis, Vilnius University, Lithuania * Istvan Majzik, BUTE, Hungary * Miroslaw Malek, U. Lugano, Switzerland * Henry Muccini, U. L’Aquila, Italy * Andras Pataricza, BUTE, Hungary * Patrizio Pelliccione, Chalmers University of Technology, Sweden * Andreas Roth, SAP, Germany * Juan Carlos Ruiz, Technical U. of Valencia, Spain * Juri Vain, Tallinn University of Technology, Estonia * Marco Vieira, U. Coimbra, Portugal * Wilhelm Hasselbring, Kiel University, Germany Information: SERENE website: http://serene.disim.univaq.it LinkedIn group: https://www.linkedin.com/groups?home=&gid=4365850&trk=my_groups-tile-grp Slideshare: www.slideshare.net/SERENEWorkshop/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From walid.gomaa at gmail.com Sun Feb 26 16:27:08 2017 From: walid.gomaa at gmail.com (Walid Gomaa) Date: Sun, 26 Feb 2017 16:27:08 +0100 Subject: Halmstad Summer School on Cyber-Physical Systems 2017 Message-ID: <105b2641-99d9-7328-8e45-cda5924d9316@gmail.com> Summer School on Cyber-Physical Systems - Call for Participation The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and popular beaches. This year’s school will take place from July 17th-21st, 2017. The summer school is intended for professionals from industry (engineers, researchers, and managers) and academics (including doctoral students). Participants will learn about key topics from prominent leaders in the field. The schedule is designed to allow significant opportunities for interaction between participants and the speakers. Topics and Speakers * Henric Andersson, SAAB Group, o Modeling & Simulation of large scale Integrated Modular CPS. * Stanley Bak, Air Force Rome Labs, o Formal Verification of CPS using Flow-Pipe Construction of Hybrid Automata. * Manfred Broy, TU München, o Modeling cyber physical systems: Interaction, modularity, distribution, probability. * Luc Jaulin, ENSTA Bretagne, o Interval analysis for the conception of autonomous and reliable cyber-physical systems. * Ueda Kazunori, Waseda University, o High-level programming languages and systems for cyber-physical systems. * Andre Platzer, CMU, o Logical Foundations of Cyber-Physical Systems. * Jeff Shamma, Georgia Tech and KAUST, o Game theory for cyber-physical systems. * Martin Törngren, KTH, o Cyber-Physical Systems - perspectives, innovation opportunities and key cross-domain challenges. All lectures will be conducted in English. Venue The summer school will take place at Halmstad University in Hav, a meeting room with an overview of the city and the Kattegat sea area. Halmstad is easily reachable by train from Copenhagen and Gothenburg airports, and by air from Stockholm. Application for Registration Registration can be done online at http://bit.ly/cps-reg. The deadline for early registration is May 1st, 2017. For more information: http://ceres.hh.se/mediawiki/CPS_2017 -- Walid Gomaa -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Feb 26 21:17:39 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 26 Feb 2017 21:17:39 +0100 Subject: DeepLearn 2017: early registration March 24 Message-ID: <545102060a010b010754560505015a5d5a5205555057535306515d04500e505856555402020a01555604530a535059@grlmc_ip-zone_com-6> DeepLearn 2017: early registration March 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: March 24, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs 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. DeepLearn 2017 is also appropriate for more senior academics and practitioners who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Bioinformatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Real   Li Erran Li (Columbia University), [intermediate/advanced] Deep Learning Security: Adversarial Examples and Adversarial Training   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Deep Generative Models and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   ORGANIZING COMMITTEE:   José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   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 will be complete. It is much 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:   A suggestion for accommodation is available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance including the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giovanni.degasperis at aixia.it Sun Feb 26 23:05:08 2017 From: giovanni.degasperis at aixia.it (Giovanni De Gasperis) Date: Sun, 26 Feb 2017 23:05:08 +0100 Subject: [CfP] RuleML+RR 2017 International Joint Conference on Rules and Reasoning - EXTENDED Message-ID: RuleML+RR 2017 International Joint Conference on Rules and Reasoning London 12-15 July 2017 http://2017.ruleml-rr.org/ There is still time to submit your papers to RuleML+RR 2017. Due to multiple requests and to avoid clash of deadlines with related conferences, we have extended the submission deadline to 6 March. Both long and short papers can be submitted until this date. ************************* RuleML+RR 2017 News: ** Tutorials announced today - see http://2017.ruleml-rr.org/tutorials/ ** Keynotes and speeches: Stephen Muggleton (Imperial College London) (http://wp.doc.ic.ac.uk/shm) Elena Baralis (Politecnico di Torino) ( http://dbdmg.polito.it/wordpress/people/elena-baralis ) Jordi Cabot (IN3-UOC, Barcelona) (http://jordicabot.com ) Jean-Francois Puget (IBM) ( http://www.ibm.com/developerworks/community/profiles/html/profileView.do?userid=2700028FGP&lang=en ) Bob Kowalski, founder of Logic Programming, will present an after-dinner speech entitled “Logic and AI – The last 50 years”. ( http://www.doc.ic.ac.uk/%7Erak ) In addition RuleML+RR 2017 includes the following: ** Reasoning Web Summer School ( http://2017.ruleml-rr.org/13th-reasoning-web-summer-school-rw-2017/#programme ) ** International Rule Challenge ( http://2017.ruleml-rr.org/calls/international-rule-challenge/) ** Industry Track (http://2017.ruleml-rr.org/calls/industry-track/) ** DecisionCAMP (http://2017.ruleml-rr.org/decisioncamp-2017/) ** Doctoral Consortium (http://2017.ruleml-rr.org/doctoral-consortium/) RuleML+RR 2017 is collocated with the 32nd British International Conference on Databases (BICOD 2017) http://www.dcs.bbk.ac.uk/bicod17/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefan.rummele at sydney.edu.au Mon Feb 27 02:06:14 2017 From: stefan.rummele at sydney.edu.au (Stefan Rummele) Date: Mon, 27 Feb 2017 01:06:14 +0000 Subject: 20th International Conference on Theory and Application of Satisfiability Testing (SAT 2017) - Call for workshops Message-ID: <8A316A468A345740898E715C85DCD9FB5DDDB08E@ex-mbx-pro-06> --- SAT 2017 --- 20th International Conference on Theory and Application of Satisfiability Testing August 28 to September 1, 2017, Melbourne, Australia http://sat2017.gitlab.io CALL FOR WORKSHOPS The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. We invite proposals for workshops associated to the main conference program of SAT 2017, which will be held in Melbourne (Australia) from August 28 to September 1, 2017, colocated with CP 2017 (http://cp2017.a4cp.org) and ICLP 2017 (http://iclp17.a4lp.org), and following IJCAI 2017 (http://ijcai-17.org). SUBMISSION OF WORKSHOP PROPOSALS Proposals should be submitted in pdf format to the following address: sat17workshops at gmail.com Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include: * Contact information of the workshop organizers * Estimate of the audience size * Proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.) * Potential invited speakers * Procedures for selecting talks and participants * Plans for dissemination, if any (for example, proceedings or special issue of journals) * duration: half day or full day * Relevant chairing experience of the organizers (if any) * Organizing committee members (if already known) IMPORTANT DATES - March 27, Workshop proposal submission deadline - April 10, Workshop acceptance notification - August 28, SAT 2017 Workshops CONTACT INFORMATION Questions regarding workshop proposals should be sent to sat17workshops at gmail.com SAT 2017 Workshop Chair Stefan Ruemmele University of Sydney and UNSW Sydney From Tommaso.Urli at data61.csiro.au Tue Feb 28 06:19:11 2017 From: Tommaso.Urli at data61.csiro.au (Tommaso.Urli at data61.csiro.au) Date: Tue, 28 Feb 2017 05:19:11 +0000 Subject: [ICLP 2017] Second Call for Papers Message-ID: <1488259149012.35866@data61.csiro.au> ICLP 2017 Call for Papers ------------------------- The 33rd International Conference on Logic Programming (ICLP 2017) will take place in Melbourne, Australia alongside SAT 2017 and CP 2017, from August 28th to September 1st, 2017 which is the week immediately following IJCAI 2017. Full information at http://iclp17.a4lp.org Call for Papers at http://iclp17.a4lp.org/call_for_papers.html Conference Scope ---------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates (RP: Regular Paper / TC: Technical Communication) ----------------------------------------------------------------- - RP registration (abstract): 10 March, 2017 - RP submission: 17 March, 2017 - First notification (RPs): 24 April, 2017 - TC submission (extra round): 1 May, 2017 - Revision submission (RPs): 15 May, 2017 - Final notifications (RPs + TCs): 29 May, 2017 - Camera-ready copy (RPs + TCs): 19 June, 2017 - Conference: 28 Aug / 1 Sep, 2017 Submission Details ------------------ All submissions must be made via the EasyChair conference system (http://www.easychair.org/conferences/?conf=iclp2017). Submissions of regular papers (RPs) must follow the condensed TPLP format (template available from ICLP’s web page) and not exceed 14 pages including bibliography. RPs may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of RPs will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some RPs to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available from ICLP’s web page) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. There is also a second submission round only for TCs. Submissions to this extra round must also follow the OASIcs format indicated above. RPs accepted as TCs do not need to be resubmitted to the TC extra round. Rejected RPs cannot be resubmitted as TCs. All RPs and TCs will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Conference Organization ----------------------- General Chairs: - Maria Garcia de la Banda Monash University, Australia - Guido Tack Monash University, Australia Program Chairs: - Ricardo Rocha University of Porto, Portugal - Tran Cao Son New Mexico State University, USA Workshop Chair: - Enrico Pontelli New Mexico State University, USA Publicity Chair: - Tommaso Urli Australian National University, Australia Sponsorship Chair: - Maria Garcia de la Banda Monash University, Australia Doctoral Consortium Chair (joint event with CP and SAT): - Neda Saeedloei University of Minnesota Duluth, USA - Christopher Mears Monash University, Australia Programming Contest Chairs:​ - Paul Fodor Stony Brook University, USA - Graeme Gange University of Melbourne, Australia Web Presence: - Tommaso Urli Australian National University, Australia Program Committee ----------------- See full program committee at http://iclp17.a4lp.org/program_committee.html Workshops --------- The ICLP 2017 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. See call for workshop proposals at http://iclp17.a4lp.org/call_for_workshop_proposals Doctoral Consortium ------------------- The Thirteen Doctoral Consortium (DC) on Logic Programming [this year being co-organized and taking place together with CP 2017 and SAT 2017] provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Conference Venue ---------------- The venue will be the Melbourne Convention and Exhibition Centre. Melbourne is the second most populous city in Australia and the coastal capital of the south-eastern Australian state of Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne has been named the World’s Most Liveable City for six years running and it is widely recognised as the cultural and culinary capital of Australia. It is a safe, creative and multi-cultural city full of exciting places to see, delicious foods to eat, and excellent events to experience; from the Arts precinct to the river bank parks and gardens to the buzzing city centre and the hidden thrills of Melbourne’s laneways. It is also an air-hop away from breathtaking destinations like The Great Barrier Reef, Sydney and Uluru. The Melbourne Convention and Exhibition Centre (MCEC) is located on the banks of the iconic Yarra River in Melbourne's South Wharf. Given its central location, it has a huge variety of accommodation close-by, with more than 6000 rooms within walking distance. MCEC is easily accessible by public transport, particularly as the Melbourne's city centre has a free tram zone that makes it easier for tourists to move around the city. Related Events -------------- Several other AI events will be held in Melbourne and other parts of Australia close to these dates, offering attendees a variety of choices for an extended itinerary. These events will include the International Conference on Principles and Practice of Constraint Programming (CP 2017) and the International Conference on Theory and Applications of Satisfiability Testing (SAT 2017), both co-located with ICLP 2017. The International Joint Conference on Artificial Intelligence (IJCAI 2017), the Australasian Joint Conference on Artificial Intelligence (AusAI 2017), the Australasian Conference on Data Mining (AusDM 2017), and the International Conference on Knowledge Science, Engineering, and Management (KSEM 2017) will all to be held in Melbourne one week before ICLP. The International Conference on Machine Learning (ICML 2017) will also be held in Sydney Australia shortly before ICLP 2017. Sponsors -------- The conference is sponsored by the Association for Logic Programming (ALP), the Association for Constraint Programming (ACP), Monash University, and CSIRO Data61. See the sponsor information at http://iclp17.a4lp.org/sponsors.html Financial Assistance -------------------- The Association for Logic Programming has funds to assist financially disadvantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. --- Unsubscribe *|EMAIL|* from this list: *|UNSUB|* Dr Tommaso Urli Researcher | Optimisation Platforms DATA61 | CSIRO E tommaso.urli at data61.csiro.au T +61 2 6218 3862 M +61 403 464 731 Tower A Level 3, 7 London Circuit, Canberra ACT 2601 www.data61.csiro.au CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61 [Data61 | CSIRO logo] -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cidconference at newsletters.mercaturaservices.com Mon Feb 20 14:49:55 2017 From: cidconference at newsletters.mercaturaservices.com (VipIMAGE 2017) Date: Mon, 20 Feb 2017 13:49:55 +0000 Subject: VipIMAGE 2017 - ANNOUNCEMENT & CALL FOR CONTRIBUTIONS Message-ID: <8da8a6f6d3fff80c43f2b614109fd88e@mercatura.pt> VI ECCOMAS Thematic Conference VipIMAGE 2017 www.fe.up.pt/vipimage October 18-20, 2017, Porto, Portugal Chairs: João Manuel R. S. Tavares & Renato Natal Jorge, Universidade do Porto --------------------------------------------------------------------------------------------------- Dear Colleague, We would like to call your attention to the International Conference VipIMAGE 2017 - VI ECCOMAS THEMATIC CONFERENCE ON COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING (www.fe.up.pt/vipimage) to be held in October 18-20, 2017, in Axis Vermar Conference & Beach Hotel, Porto, Portugal.   Possible Topics (not limited to) - Signal and Image Processing - Computational Vision - Medical Imaging - Physics of Medical Imaging - Tracking and Analysis of Movement - Simulation and Modeling - Image Acquisition - Industrial Applications - Shape Reconstruction - Segmentation, Matching, Simulation - Data Interpolation, Registration, Acquisition and Compression - 3D Vision - Virtual Reality - Visual Inspection - Software Development for Image Processing and Analysis - Computer Aided Diagnosis, Surgery, Therapy, and Treatment - Computational Bioimaging and Visualization - Telemedicine Systems and Applications Invited Lecturers - Mário Figueiredo, Universidade de Lisboa, Portugal - Khan Iftekharuddin, Old Dominion University, USA - Leo Joskowicz, The Hebrew University of Jerusalem, Israel - Gerald Schaefer, Loughborough University, UK - Dinggang Shen, University of North Carolina at Chapel Hill, USA - Zeyun Yu, University of Wisconsin at Milwaukee, USA Thematic Sessions - Advances in Lung CT Image Processing - Application of Image Analysis in Musculoskeletal Radiology - Computational Vision and Image Processing applied to Dental Medicine - Computer Vision in Robotics - Emotions classification from EEG signals - Imaging and Image Processing in Ophthalmology - Imaging of Flows in Lab-on-Chip Devices: Trends and Challenges - Infrared Thermal Imaging in Biomedicine  Proposals to organize Thematic Sessions under the auspicious of VipIMAGE 2017 are welcome. Proposals for Thematic Sessions should be submitted by email to the conference co-chairs (tavares at fe.up.pt, rnatal at fe.up.pt). Publications Proceedings: The proceedings book will be published by Springer under the book series "Lecture Notes in Computational Vision and Biomechanics" indexed by Elsevier Scopus. Journal Publication: A dedicated special issue of the Taylor & Francis international journal "Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization" indexed in Scopus, DBLP and Thomson Reuters Emerging Sources Index will be published with extended versions of the best works presented in the conference. Springer Book: A book with invited works from the ones presented in the conference will be organized for publishing by Springer.   Important Dates - Deadline for Thematic Session Proposals: February 28, 2017 - Deadline for Extended Abstracts: March 15, 2017 - Authors Notification: April 15, 2017 - Deadline for Papers: June 15, 2017   We are looking forward to see you in Porto in October, 2017, João Manuel R. S. Tavares Renato Natal Jorge (VipIMAGE 2017 co-chairs) For further details, please, have a look in the conference website at: www.fe.up.pt/vipimage, the Facebook page at: www.facebook.com/VipIMAGE2017, or join the LinkedIn group at: www.linkedin.com/groups/4752820. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: