From grlmc at grlmc.com Mon Jan 2 00:55:20 2017 From: grlmc at grlmc.com (GRLMC) Date: Mon, 02 Jan 2017 00:55:20 +0100 Subject: [fg-arc] DeepLearn 2017: early registration January 27 Message-ID: <545102060a010b010354590a02015a5c560504510206025106045852540f015504510553555c5103095f5951060253@grlmc_ip-zone_com-6> DeepLearn 2017: early registration January 27*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/   ************************************************************   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, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   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:   tba   PROFESSORS AND COURSES: (to be completed)   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), tba   Hervé Bourlard (Idiap Research Institute), tba   George Cybenko (Dartmouth College), tba   Rina Dechter (University of California, Irvine), tba   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Yufei Huang (University of Texas, San Antonio), tba   Soo-Young Lee (Korea Advanced Institute of Science and Technology), tba   Li Erran Li (Columbia University), tba   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Ruslan Salakhutdinov (Carnegie Mellon University), tba   Joos Vandewalle (KU Leuven), Data Processing Methods, and Applications of Least Squares Support Vector Machines   Georgios N. Yannakakis (University of Malta), Deep Learning for Games - But not for Playing them   OPEN SESSION:   An open session will collect 5-minute 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 10, 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:   Suggestions for accommodation will be 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From van.hoorn at informatik.uni-stuttgart.de Thu Jan 5 09:24:57 2017 From: van.hoorn at informatik.uni-stuttgart.de (Andre van Hoorn) Date: Thu, 5 Jan 2017 09:24:57 +0100 Subject: [fg-arc] QUDOS Deadline extended to Jan 20/23, 2017 --- CfP for QUDOS 2017: 3rd Workshop on Quality-aware DevOps @ ACM/SPEC ICPE In-Reply-To: <2cada7b9-c9c1-96b6-a59d-25ef14e026f4@informatik.uni-stuttgart.de> References: <2cada7b9-c9c1-96b6-a59d-25ef14e026f4@informatik.uni-stuttgart.de> Message-ID: ------------------------------------------------------------------------ CALL FOR PAPERS QUDOS 2017 3rd International Workshop on Quality-Aware DevOps Co-located with the 8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017) L’Aquila, Italy April 27, 2017 http://qudos2017.fortiss.org/ ------------------------------------------------------------------------ IMPORTANT DATES Full paper submission deadline Jan 20, 2017 (AoE)* Tool paper abstract deadline (mandatory) Jan 20, 2017 (AoE)* Tool paper submission deadline Jan 23, 2017 (AOE)* Paper notification Feb 10, 2017 Camera-ready deadline Feb 16, 2017 Workshop date April 27, 2017 *deadline extended ------------------------------------------------------------------------ SCOPE AND TOPICS DevOps has emerged in recent years as a set of principles and practices for smoothing out the gap between development and operations, thus enabling faster release cycles for complex IT services. Common tools and methods used in DevOps include infrastructure as code, continuous deployment, automated testing, continuous integration, and new architectural styles such as microservices. As of today, software engineering research has mainly explored these problems from a functional perspective, trying to increase the benefits and generality of these methods for the end users. However, this has left behind the definition of methods and tools for DevOps to assess, predict, and verify quality dimensions. The QUDOS workshop focuses on the problem of how to best define and integrate quality assurance methods and tools in DevOps. Quality covers a broadly-defined set of dimensions including functional correctness, performance, reliability, safety, survivability, and cost of ownership, among others. To answer this question, the QUDOS workshop wants to bring together experts from academia and industry working in areas such as quality assurance, testing, performance engineering, agile software engineering, and model-based development. The goal is to identify and disseminate novel quality-aware approaches to DevOps. Topics of interest include, but are not limited to: * Foundations of quality assurance in DevOps: Methodologies; integration with lifecycle management; automated tool chains; architecture patterns; etc. * Architectural issues in DevOps: Scalability and capacity planning; scale-out architectures; cloud-native application design; microservice-based architectures * Quality assurance in the development phase: Software models and requirements in early software development phases; functional and non-functional testing; languages, annotations and profiles for quality assurance; quality analysis, verification and prediction; optimization-based architecture design; etc. * Quality assurance during operation: Application performance monitoring; model-driven performance measurement and benchmarking; feedback-based quality assurance; capacity planning and forecasting; architectural improvements; performance anti-pattern detection; traceability and versioning; trace and log analysis; software regression and testing; performance monitoring and analytics; etc. * Continuous deployment and live experimentation: CI and CD in DevOps; canary releases and partial rollouts; A/B testing; performance and scalability testing via shadow launches * Applications of DevOps: Case Studies in cloud computing, Big Data, and IoT; standardization and interoperability; novel application domains, etc. * All other topics related to quality in DevOps and agile service delivery models For more details, please visit: http://qudos2017.fortiss.org/ ------------------------------------------------------------------------ ORGANIZING COMMITTEE Program Committee Chairs Elisabetta Di Nitto, Politecnico di Milano, Italy Philipp Leitner, University of Zurich, Switzerland Workshop Chairs (Steering Committee) Danilo Ardagna, Politecnico di Milano, Italy Giuliano Casale, Imperial College London, UK Andre van Hoorn, University of Stuttgart, Germany Felix Willnecker, fortiss GmbH, Germany Program Committee Varsha Apte, IIT Bombay, India Alberto Avritzer, Sonatype Inc., USA Cor-Paul Bezemer, Queen’s University, Canada Andreas Brunnert, RETIT, Germany Lubomír Bulej, Charles University Prague, CZ David Carrera, Universitat Politècnica de Catalunya, Spain Juergen Cito, University of Zurich, Switzerland Pooyan Jamshidi, Imperial College London, UK Christophe Joubert, Prodevelop, Spain Cristian Klein, Umea University, Sweden Klaus-Dieter Lange, Hewlett Packard Enterprise, USA Marin Litoiu, York University, Toronto, Ontario Zhen Ming (Jack) Jiang, York University, Canada Manoj Nambiar, Tata Consultancy Services, India Cesare Pautasso, University of Lugano, Switzerland Diego Perez-Palacin, Universidad de Zaragoza, Spain Dana Petcu, IEAT, Romania Dorina Petriu, Carleton University, Canada Meikel Poess, Oracle Corporation, USA Craig Sheridan, Flexiant, UK Arnor Solberg, SINTEF, Norway Josef Spillner, ZHAW Winterthur, Switzerland Damian Andrew Tamburri, Politecnico di Milano, Italy Asser Tantawi, IBM Research, USA Catia Trubiani, Gran Sasso Science Institute, Italy Ingo Weber, NICTA, Australia Erik Wilde, CA API Academy, USA ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. We solicit full papers (max 6 pages) and short tool papers (max 2 pages). All submissions must conform to the ACM conference format. Each full paper submission will be reviewed by at least three members of the program committee. Papers should be submitted via EasyChair at: https://easychair.org/conferences/?conf=qudos2017 At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be published by ACM and included in the ACM Digital Library. ------------------------------------------------------------------------ ORGANIZATION AND SUPPORT QUDOS 2017 is organized and technically sponsored by the Research Group (RG) and the RG DevOps Performance Working Group of the Standard Performance Evaluation Corporation (SPEC RG, http://research.spec.org), and by the consortium of the EU project DICE (http://dice-h2020.eu). QUDOS 2017 is supported by the IFIP Working Group on Service Oriented Systems (http://ifip-wg-sos.deib.polimi.it/), by the Associazione Italiana per l'informatica e il Calcolo Automatico (AICA, http://www.aicanet.it/), and by the DFG Priority Programme 1593 (SPP 1593) "Design For Future - Managed Software Evolution" (http://www.dfg-spp1593.de/), funded by the German Research Foundation (DFG). -- Dr.-Ing. André van Hoorn Interim Professor (Prof.-Vertr.) University of Stuttgart, Inst. of Software Technology Reliable Software Systems (RSS) Group Universitätsstraße 38, D-70569 Stuttgart, Germany Room: 1.345 Phone: +49 (0)711 685-88-252, Fax: -472 E-Mail: van.hoorn at informatik.uni-stuttgart.de http://www.iste.uni-stuttgart.de/rss/people/vanhoorn/ http://kieker-monitoring.net/, http://research.spec.org/ From grlmc at grlmc.com Thu Jan 5 22:02:12 2017 From: grlmc at grlmc.com (GRLMC) Date: Thu, 05 Jan 2017 22:02:12 +0100 Subject: [fg-arc] BigDat 2017: early registration January 13 Message-ID: <545102060a010b010351520500065a545b53545105540050070a0e06010050505c03530f56580556070702070f5456@grlmc_ip-zone_com-6> BigDat 2017: early registration January 13*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   3rdINTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2017   Bari, Italy   February 13-17, 2017   Organized by: University of Bari "Aldo Moro" Rovira i Virgili University   http://grammars.grlmc.com/BigDat2017/   ********************************************************   --- Early registration deadline: January 13, 2017 ---   ********************************************************   AIM:   BigDat 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 big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 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, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be:   Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy   KEYNOTE SPEAKERS:   Ernesto Damiani (EBTIC, Khalifa University, Abu Dhabi & University of Milan), Model-driven Development of Big Data Applications   Daniele Quercia (Bell Labs), Good City Life   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Tamás Budavári (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy   Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud   Geoffrey C. Fox (Indiana University), [intermediate] Using High Performance Computing for Big Data Analytics   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics   Sander Klous (University of Amsterdam), [introductory] We Are Big Data   Laks V.S. Lakshmanan (University of British Columbia), [introductory] Analysis of Large Social Networks   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management   Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics   Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data   Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis   Pierangela Samarati (University of Milan), [intermediate] Data Security and Privacy in the Cloud   V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data and Cybersecurity   Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data   Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning   Lyle Ungar (University of Pennsylvania), [introductory] Sentiment Mining from User Generated Content   John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data   OPEN SESSION   An open session will collect 5-minute 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 February 10, 2017.   ORGANIZING COMMITTEE:   Annalisa Appice Michelangelo Ceci (co-chair) Stefano Franco Corrado Loglisci Donato Malerba (co-chair) Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Gianvito Pio David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2017/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:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Fri Jan 6 20:06:48 2017 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Fri, 6 Jan 2017 20:06:48 +0100 Subject: [fg-arc] RuleML+RR 2017 Call for Tutorials Message-ID: <06012017200648100GGh77pfXqRRd0353@smtp.office365.com> INTERNATIONAL JOINT CONFERENCE ON RULES AND REASONING RuleML+RR 2017 http://2017.ruleml-rr.org CALL FOR TUTORIALS The first edition of the International Joint Conference on Rules and Reasoning RuleML+RR 2017 (London, 15-17 July 2017) focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR events, the conference will provide a forum for stimulating cooperation and cross-fertilisation between the many different communities focused on the research, development and applications of rule-based systems. We solicit proposals for tutorials to be presented at the RuleML+RR 2017 conference. Tutorials should concern research or application areas fitting the conference scope, and may introduce novices to major topics in the area, introduce experts to a special subarea, motivate and explain a topic of emerging importance, survey a mature area of research and/or practice, present a novel synthesis combining distinct lines of work, introduce the audience to an external topic that can relate to research in the area, mentor researchers (particularly, junior researchers) on a relevant topic. Tutorial attendance is complimentary for all RuleML+RR 2017 conference registrants. SUBMISSIONS Tutorial proposals should be submitted via easychair: https://easychair.org/conferences/?conf=ruleml-rr-2017-tutorials Each submission (up to two pages) should include the following information: • A title. • An abstract. • The preferred duration (up to half-day). • A description that outlines which topics would be covered, and the depth to which they would be covered. If different length options are possible, the proposal should identify which parts would be included for each length. • A short description of the intended audience and any prerequisite knowledge for attendees. • A brief biography of the proposed presenter(s), along with contact information. • If (part of) the tutorial material or an earlier version of it has been presented elsewhere, the proposal should indicate those respective events (and dates), and describe how the current proposal differs from the previous ones. A two-page extended abstract of the tutorial will be included in the conference proceedings. Tutorial slides are expected to be made available online to conference participants. IMPORTANT DATES Proposal submission: 20 January 2017 Notification: 6 February 2017 Camera-ready due: 24 April 2017 Possible tutorial dates: 12, 13, 14, 15 July 2017 The 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); and the RuleML+RR 2017 General Chairs: Roman Kontchakov (Birkbeck, University of London, UK), Fariba Sadri (Imperial College London, UK). -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Jan 7 11:15:12 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 7 Jan 2017 12:15:12 +0200 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Third Call for Papers and Special Sessions & Workshops Proposals Message-ID: *** Third Call for Papers and 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTUJTGlzdHMJMjEzCWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTUJTGlzdHMJMjEzCWNsaWNrCXllcwlubw==&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 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: February 15, 2017 · Special Session & Workshop Acceptance: February 22, 2017 · 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 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jan 9 12:45:05 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 9 Jan 2017 13:45:05 +0200 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Last Call for Workshop Proposals Message-ID: *** Last Call for Workshop Proposals *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJNwlMaXN0cwkxOTQJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including PhD consortia and workshops. WORKSHOPS Typically, workshops focus on multiple topics related to data storage and processing. This year we would encourage also workshops focusing on practical applications of research in business/industry and on joint projects run by industry and research entitites. The list of workshop topics is not limited to the aforementioned and we encourage representatives of research and business to submit workshop proposals promoting their achievements. SUBMITTING WORKSHOP PROPOSALS Workshop proposals should be emailed to the workshop chairs: · Johann Gamper (Free University of Bozen-Bolzano) gamper at inf.unibz.it · Robert Wrembel (Poznan Univ. of Technology) robert.wrembel at cs.put.poznan.pl The proposal should include: · a workshop title · estimated length (1 day or 1/2 day) · names, affiliations, and e-mails of PC chairs · short bio of the workshop PC chairs, including previous experience in organizing workshops or conferences (if applicable) · a (tentative) list of PC (if possible) · a workshop main goals · the list of a workshop topics · preliminary CFP · how information about a workshop will be disseminated and how papers will be solicited The organizers of accepted workshops are expected to: · organize the workshop's program committee · disseminate the workshop call for papers · solicit submissions · conduct the reviewing process · prepare the final workshop program The official language of workshops is English. ORGANIZATIONAL SUPPORT Workshops will benefit from the ADBIS 2017 organizational infrastructure and receive support w.r.t. registration, badges, lunches, coffee breaks, and publication of the workshop proceedings. PUBLICATION Workshops papers will be published by Springer in 'Communications in Computer and Information Science'. We plan to invite selected workshop papers for publication in a journal. IMPORTANT DATES · Submission of Workshop Proposals: January 15, 2017 · Workshop acceptance/rejection Notification: January 21, 2017 · Camera-ready Submission of Papers: June 25, 2017 · Workshops held: September 24, 2017 A detailed workshop timeline, i.e., deadlines for submissions, reviews, camera-ready due, are proposed by the workshop PC chairs, in agreement with the ADBIS 2017 workshop chairs. 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Wed Jan 11 11:44:09 2017 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Wed, 11 Jan 2017 10:44:09 +0000 Subject: [fg-arc] WOSP-C'17 @ ACM/SPEC ICPE'17 - Call for Papers - Deadline extended Message-ID: <9EFAB297-E5D6-4B20-AC8D-1E01934582EF@usi.ch> ******** The submission deadline has been extended as to Jan 17, 2017 =============================================== Workshop on Challenges in Performance Methods for Software Development (WOSP-C’17) A workshop at ICPE 2017 in L’Aquila, Italy. Workshop date: Saturday, April 22, 2017. The conference dates are April 22-27. Conference URL: https://wosp-c.spec.org/ Contact: André B. Bondi, andrebbondi at gmail.com ------------------------------------------------------------------------ IMPORTANT DATES - Notification of abstracts: January 3, 2017. - Submission deadline: January 10, 2017 extended to January 17, 2017 - Notification to authors: February 3rd, 2017. - Camera-ready copy (hard deadline): February 17th, 2017 ------------------------------------------------------------------------ CALL FOR PAPERS New challenges to assuring software performance arise as new software development methods emerge. In addition to using middleware and database platforms, new applications may be implemented using environments such as Software as a Service (SaaS) and Service-Oriented Architectures. The performance characteristics of these services will inevitably influence the performance and scalability of the applications that use them. The use of DevOps means that new components will be introduced to existing systems while they are running. The new components must allow the performance existing components to continue to be met. In this third edition of WOSP-C, we will explore the performance implications of this evolution in architecture and development and their impact on the inclusion and development of performance. We seek to do this by including research and experience papers, vision papers describing new initiatives and ideas, and discussion sessions. Papers describing new projects and approaches are particularly welcome. As implied by the title, the workshop focus is on methods usable anywhere across the life cycle, from requirements to design, testing and evolution of the product. The discussions will attempt to map the future of the field. They may occur in breakout sessions related to topics chosen by the participants. The discussions will be moderated and summaries posted on line for future reference. This is in keeping with the spirit of the first Workshop on Software and Performance, WOSP98, which successfully identified the issues that were current at the time. The acronym WOSP-C reflects this. There will be sessions which combine papers on research/experience/vision with substantial discussion on issues raised by the papers or the attendees. At least a third of the time will be devoted to discussion on identifying the key problems and the most fruitful lines of future research. The workshop proceedings will be published by ACM as part of the ICPE 2017 proceedings in the ACM digital library. ------------------------------------------------------------------------ DISCUSSION TOPICS These topics are deliberately broad. Some of them arose in the discussions at WOSP-C 2016: - New ideas, most of all… - Model-driven engineering concepts for all kinds of applications, from embedded to SOA and SaaS. - The business case for performance methods, both in startups and in larger organizations. - Easing the effort of applying performance methods - Adding performance issues to software development tools - Performance issues in architecture and component engineering - Challenges posed by rapid development methods - Maximizing the value (for design improvement) of performance measurements and tests - Methods for deriving and exploiting performance models of applications - Performance challenges and solutions for cloud-based systems and for migrating to the cloud. - The relationship between performance testing, performance models, and performance requirements, including, but not limited to, how they relate to DevOps. - Performance methods for tighter integration of development and operation (DevOps) - Collection of representative performance and workload data in distributed and cloud environments - Performance engineering for dynamic architectures - Performance issues with micro service architectures ------------------------------------------------------------------------ FEATURED SPEAKER Dr. Alberto Avritzer, Sonatype Inc., USA: Performance Assessment of High-Availability Systems Using Markov Chains. ------------------------------------------------------------------------ SUBMISSIONS GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. Papers should be in ACM format, describing research results, experience, visions or new initiatives, not exceeding 6 pages in length, may be submitted via Easychair at https://easychair.org/conferences/?conf=wospc17. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism) as well as to the ACM Policy on Prior Publication and Simultaneous Submissions (http://www.acm.org/publications/policies/sim_submissions). Templates for the ACM format are available at http://www.acm.org/publications/proceedings-template. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE - André B. Bondi, Software Performance and Scalability Consulting LLC, USA, Chair - Cathy Sandifer SPEC, USA, Web co-chair - Ivan Letteri, Uiversity of L’Aquila, Web co-chair - Davide Arcelli, University of L’Aquila - Alberto Avritzer, Sonatype Inc., USA - Steffen Becker, University of Technology Chemnitz, Germany - André van Hoorn, University of Stuttgart, Germany - Raffaela Mirandola, Politecnico di Milano, Italy - Diego Perez, University of Zaragosa, Spain - Connie U. Smith, Software Performance Engineering, USA - Murray Woodside, Carleton University, Canada ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From s.singh at acm.org Tue Jan 10 17:30:26 2017 From: s.singh at acm.org (Satnam Singh) Date: Tue, 10 Jan 2017 08:30:26 -0800 Subject: [fg-arc] ACM SIGPLAN Awards deadline extended to 30 January Message-ID: The deadline for submitting nominations for the following awards has been extended to 30 January: - Programming Languages Software Award (last year's winner V8) - Programming Languages Achievement Award (last year's winner Simon Peyton-Jones) - Robin Milner Young Researcher Award (last year's winner Stephanie Weirich) Descriptions of these awards and the link for submitting nominations can be found at http://www.sigplan.org/Awards/ (note that the deadline for the John C. Reynolds dissertation award is not extended). Please can you consider submitting nominations and also publicizing these awards to other colleagues and appropriate groups. Thank you kindly. Please don't hesitate to contact me if you have any questions about the awards. Satnam Singh ACM SIGPLAN EC Awards Chair Satnam Singh Email: s.singh at acm.org satnamsingh at fb.com satnam at raintown.org satnam6502 at gmail.com Cell (USA, personal): +1 408 656 4590 Cell (Facebook, work): +1 650 924 6838 Home (Los Altos, California): +1 650 383 7650 Twitter: @satnam6502 LinkedIn: www.linkedin.com/in/satnam6502 - -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Wed Jan 11 00:26:43 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Tue, 10 Jan 2017 23:26:43 +0000 Subject: [fg-arc] [fm-announcements] SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline Message-ID: SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA ________________________________ The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, empirical evaluation, and education. History: The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: http://spinroot.com/spin/symposia. SPIN 2017 will be organized as an ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis (ISSTA 2017): http://conf.researchr.org/home/issta-2017. The RERS Verification Challenge In addition there will be a one-day Rigorous Examination of Reactive Systems verification challenge Workshop (RERS 2017): http://www.rers-challenge.org/2017. ________________________________ SPIN 2017 Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material via formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis tools * Benchmark and comparative studies for formal verification and analysis tools * Formal methods education and training * Insightful surveys or historical accounts on topics of relevance to the symposium ________________________________ Submission Guidelines ________________________________ The contributions to SPIN 2017 will be published as ACM Proceedings, and should be submitted in the ACM Conference Format: https://www.acm.org/publications/proceedings-template. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions. We are soliciting two categories of papers: * Full Research Papers describing fully developed work and complete results (10 pages); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods education (4 pages). Papers should be submitted via the EasyChair SPIN 2017 submission website: https://easychair.org/conferences/?conf=spin2017. Best Paper awards will be given and announced at the conference. A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). ________________________________ Important Dates ________________________________ * Paper Submission: February 10, 2017 (23:59:59 Anywhere on Earth) * Author Notification: April 15, 2017 * Camera-Ready Paper: May 20, 2017 * Symposium: July 13-14, 2017 ________________________________ Organization ________________________________ * Hakan Erdogmus, Program Co-Chair, Carnegie Mellon University, USA * Klaus Havelund, Program Co-Chair, NASA/Caltech Jet Propulsion Laboratory, USA * Corina Pasareanu, Awards Chair, NASA Ames Research Center, USA * Yliès Falcone, Publicity Chair, Univ. Grenoble Alpes, Inria, France ________________________________ Program Committee ________________________________ * Erika Abraham, RWTH Aachen University, Germany * Christel Baier, Technical University of Dresden, Germany * Tom Ball, Microsoft Research, USA * Ezio Bartocci, Vienna University of Technology, Austria * Dirk Beyer, Ludwig-Maximilians-Universität München (LMU Munich), Germany * Armin Biere, Johannes Kepler University, Austria * Dragan Bosnacki, Eindhoven University of Technology, Netherlands * Zmago Brezocnik, University of Maribor, Slovenia * Sagar Chaki, Software Engineering Institute CMU, USA * Alessandro Cimatti, Fondazione Bruno Kessler, Italy * Lucas Cordeiro, University of Oxford, UK * Patrice Godefroid, Microsoft Research, USA * Susanne Graf, VERIMAG Laboratory, France * Radu Grosu, Vienna University of Technology, Austria * Arie Gurfinkel, University of Waterloo, USA * Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, USA * Rajeev Joshi, NASA/Caltech Jet Propulsion Laboratory, USA * Sarfraz Khurshid, The University of Texas at Austin, USA * Kim Larsen, Aalborg University, Denmark * Stefan Leue, University of Konstanz, Germany * Alice Miller, University of Glasgow, Scotland * Corina Pasareanu, NASA Ames Research Center, USA * Doron Peled, Bar Ilan University, Israel * Neha Rungta, Amazon Web Services, USA * Theo Ruys, RUwise, Netherlands * Scott Smolka, Stony Brook University, USA * Scott Stoller, Stony Brook University, United States * Jun Sun, Singapore University of Technology and Design, Singapore * Oksana Tkachuk, NASA Ames Research Center, USA * Stavros Tripakis, University of California, Berkeley, USA * Willem Visser, Stellenbosch University, South Africa * Farn Wang, National Taiwan University, Taiwan * Michael Whalen, University of Minnesota, USA * Anton Wijs, Eindhoven University of Technology, Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From grlmc at grlmc.com Sat Jan 14 20:30:19 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 14 Jan 2017 20:30:19 +0100 Subject: [fg-arc] DeepLearn 2017: early registration January 27 Message-ID: <545102060a010b010457590b05035a5654050d00560352510b025b060e535359005454030b0f555706500405505454@grlmc_ip-zone_com-6> DeepLearn 2017: early registration January 27*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: January 27, 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, 28 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), tba   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), tba   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), tba   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), tba   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   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   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), tba   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), tba   Richard Zemel (University of Toronto), tba   OPEN SESSION:   An open session will collect 5-minute 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 10, 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:   Suggestions for accommodation will be 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Sun Jan 15 05:27:16 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Sun, 15 Jan 2017 04:27:16 +0000 Subject: [fg-arc] [fm-announcements] RV'17 - First call for papers and tutorials Message-ID: RV 2017 Call for Papers and Tutorials The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2017 at easychair.org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: * specification languages * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * statistical model checking * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates Papers as well as tutorial proposals will follow the following timeline: * Abstract deadline: April 24, 2017 (Anywhere on Earth) * Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) * Tutorial notification: May 21, 2017 * Paper notification: June 26, 2017 * Conference: September 13-16, 2017 General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. * Short Papers (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. * Tool Demonstration Papers (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. Organization General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Giles Reger, University of Manchester, UK Shuvendu Lahiri, Microsoft Research, USA Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University of Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA Program Committee Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho, KTH Royal Institute of Technology, Sweden Howard Barringer, The University of Manchester, UK Ezio Bartocci, Vienna University of Technology, Austria Andreas Bauer, KUKA Systems, Germany Saddek Bensalem, VERIMAG (University of Grenoble Alpes), France Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany Borzoo Bonakdarpour, McMaster University, Canada Christian Colombo, University of Malta, Malta Ylies Falcone, University of Grenoble Alpes, France Grigory Fedyukovich, University of Washington, USA Lu Feng, University of Virginia, USA Patrice Godefroid, Microsoft Research, USA Jean Goubault-Larrecq, CNRS & ENS de Cachan, France Alex Groce, Northern Arizona University, USA Radu Grosu, Vienna University of Technology, Austria Sylvain Hallé, University of Québec at Chicoutimi, Canada Marieke Huisman, University of Twente, Netherlands Franjo Ivancic, Google Bengt Jonsson, Uppsala University, Sweden Felix Klaedtke, NEC Europe Ltd. Rahul Kumar, Microsoft Research, USA Kim Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, Inria Rennes, France Martin Leucker, University of Lübeck, Germany Ben Livshits, Microsoft Research, USA David Lo, Singapore Management University, Singapore Francesco Logozzo, Facebook Parthasarathy Madhusudan, University of Illinois at Urbana-Champaign, USA Leonardo Mariani, University of Milan Bicocca, Italy Madanlal Musuvathi, Microsoft Research Ayoub Nouri, University of Grenoble Alpes, France Gordon Pace, University of Malta, Malta Doron Peled, Bar Ilan University, Israel Grigore Rosu, University of Illinois at Urbana-Champaign, USA Veselin Raychev, ETH Zurich, Switzerland Cesar Sanchez, IMDEA Software Institute, Spain Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma, Microsoft Research, USA Julien Signoles, CEA LIST, France Scott Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volker Stolz, University of Olso, Norway Frits Vaandrager, Radboud University, Netherlands Neil Walkinshaw, University of Leicester, UK Chao Wang, University of Southern California, USA Eugen Zalinescu, Technische Universitat München, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From ingridcy at ifi.uio.no Mon Jan 16 08:51:18 2017 From: ingridcy at ifi.uio.no (Ingrid Chieh Yu) Date: Mon, 16 Jan 2017 07:51:18 +0000 Subject: [fg-arc] iFM 2017: Call for Papers (13th Intl. Conference on integrated Formal Methods), submission open Message-ID: <02AA3E45-53EC-4530-B773-DDE15F5F9293@ifi.uio.no> CALL FOR PAPERS ************************************************************************ 13th International Conference on integrated Formal Methods (iFM 2017) http://ifm2017.di.unito.it/ Turin, Italy, 20-22 September 2017 ************************************************************************ Important dates Abstract submission: Tuesday March 28 Paper submission: Tuesday April 4 Notification: Friday May 26 Camera-ready copy: Tuesday June 11 Conference: September 20-22 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Objectives and Scope Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Model learning - Theorem proving, decision procedures, SAT and SMT solving Submission Guidelines iFM 2017 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - Research papers describe original scientific research results, validated by experimental results where applicable. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Limit: 15 pages. - Case study papers report on applications of formal methods, preferably in a real world setting. A case study paper need not introduce novel techniques or tools, but it must include a rigorous empirical evaluation and potentially be of interest to practitioners. Limit: 15 pages. - Regular tool papers present a new tool or novel extensions to an existing tool. They should provide a short description of the theoretical foundations, while focusing on the tool's design and implementation concerns, as well as empirical evaluation of its practical capabilities. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool. Authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 15 pages. - Tool demonstration papers focus on the usage aspects of tools. Foundations and empirical evaluation are not required, but the paper should explain why the tool is relevant for the community, and, in particular, for practitioners. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 8 pages. Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions should be made using the iFM 2017 Easychair site: https://easychair.org/conferences/?conf=ifm2017 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in the Formal Methods subline of Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper. Invited Speakers -Jane Hillston (University of Edinburgh, UK) -André Platzer (CMU, USA) -Matrin Vechev (ETH Zurich, Switzerland) Best Paper Prizes We are pleased to have received generous sponsorship from Springer for two Best Paper awards of 500 EUR each. These awards will be decided by the Programme Committee, and will be announced and awarded at the conference. Workshops iFM 2017 will be accompanied by a series of workshops. Further information is available from the conference website http://ifm2017.di.unito.it/ Conference Location iFM 2017 is organized by the University of Turin and will take place in Turin, Italy — Ingrid Chieh Yu Associate professor Dept. of Informatics, University of Oslo Tel + 47 2284 5525, email ingridcy at ifi.uio.no -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jan 16 15:50:17 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 16 Jan 2017 16:50:17 +0200 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Student Travel Grants Message-ID: <4L7N8C4X-PT5-DB5O-S4PH-0YD7N8UCP2P@cs.ucy.ac.cy> *** Student Travel Grants *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFN0dWRlbnQgVHJhdmVsIEdyYW50cwk5CUxpc3RzCTE5NAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017%2Fstudcons.html *** Applications Due: January 22, 2017 (FIRM DEADLINE) *** *** Notification: January 31, 2017 (late applications will not be considered) *** 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. The objective of IUI's student support is to encourage students interested in subjects related to Intelligent User Interfaces to become active members of the IUI community. To apply, the student should be actively enrolled as a student in an academic institution. Priority will be given to students who are first authors of accepted papers and to participants in the doctoral consortium, to minorities and women. Recipients of the stipend are also expected to help the conference organization as student volunteers. The level of support will be determined by the availability of funds and the number of eligible applications. The student volunteer chairs are here to help, please contact us at sv2017 at iui.acm.org if you have any questions that are not covered by the documents and links found below. Currently, there are four grant schemes available which are detailed below: - The SIGAI Student Travel Grant. - The IUI Travelling Grant supported by SIGCHI. - The German AI Society Travel Grant - for German students. - The National Science Foundation Travelling Grant - for US students. The IUI Chairs will decide about the allocation of the sources of support to students that will be eligible for travelling grants (there are some differences between the sources and what is required from the students - see below). The application should include: 1. Full name. 2. Email address. 3. The school you are attending, your major, and the country in which the school resides. 4. If you will present at the conference, please provide the title of the submission and its type (e.g. research paper, student consortium, demo). Please note if you have submitted but have not found out if your submission has been accepted. 5. A short statement describing your research interests and how you wish to benefit from attending IUI 2017. 6. The location you are flying from and the cost for your airfare, as determined by the availability of low-cost economy fares for travel to the conference. Please describe any other expenses you expect to accrue, but do not include registration and housing costs, as they are similar for all students. 7. Students may specify if they are female, ethnic minority, or students with disabilities, as we will consider these aspects when discussing the applications. A letter of recommendation from your thesis or doctoral advisor (or supervising faculty member) sent separately by email to the Student Volunteer Co-Chairs at sv2017 at iui.acm.org. If you are also applying to the Student Consortium, one appropriately worded recommendation letter can be used for both applications, or you may submit a slightly different letter for each application. Please submit your single, combined PDF (except letter of recommendation) to: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFN0dWRlbnQgVHJhdmVsIEdyYW50cwk5CUxpc3RzCTE5NAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fprecisionconference.com%2F%7Esigchi%2F by January 22nd 2017. Types/sources of support The SIGAI Student Travel Grant Following the tradition of previous years, we will offer student participation support provided by SIGAI to attend the IUI Conference. This support is in the form of a small stipend to cover the registration fee and partially cover the costs of travel and living expenses while attending the conference. The students will be reimbursed for their expenses after the conference. All students who get travel grants from SIGAI must send us a paragraph about their experience and a headshot before they will be reimbursed. You must be a member of SIGAI before submitting the reimbursement forms ($11 dues). The stipend recipient must be a member of SIGAI before submitting the reimbursement forms. The IUI Travelling Grant supported by SIGCHI Following the tradition of previous years, we will offer student participation support provided by SIGCHI to attend the IUI Conference. This support is in the form of a small stipend to cover the registration fee and partially cover the costs of travel and living expenses while attending the conference. The students will be reimbursed for their expenses after the conference. All students who get travel grants from SIGCHI must send us a paragraph about their experience and a headshot before they will be reimbursed. The stipend recipient must be a member of SIGCHI before submitting the reimbursement forms. The German AI Society Travel Grant The German AI society (AI chapter of the Gesellschaft für Informatik) is kindly offering support for German students or students working in Germany to attend the IUI Conference. This support is provided in the form of three small stipends (500 EUR each) to partially cover the registration fee and the costs of travel and living expenses while attending the conference. The students will be reimbursed for their expenses after the conference. After the conference, students write a short report (1 page) for the national AI magazine. Students must be member of the German AI society before submitting the reimbursement forms. The NSF Travelling Grant (Only for US students) We are happy to announce that student participation support provided by NSF to attend the IUI Conference will be provided (limited to US students). This support is in the form of a small stipend to cover the registration fee and partially cover the costs of travel and living expenses while attending the conference. The students will be reimbursed for their expenses after the conference. All students who get travel grants from the NSF funding must send us a paragraph about their experience and a headshot before they will be reimbursed. -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Tue Jan 17 10:21:19 2017 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Tue, 17 Jan 2017 10:21:19 +0100 (CET) Subject: [fg-arc] 2nd CFP Special Session on ``Knowledge Discovery with Formal Concept Analysis and related formalisms (FCA4KD++)'' at ISMIS 2017 In-Reply-To: <8551302.15292767.1484644774835.JavaMail.zimbra@loria.fr> Message-ID: <1369558365.15293824.1484644879124.JavaMail.zimbra@loria.fr> Special Session on ``Knowledge Discovery with Formal Concept Analysis and related formalisms (FCA4KD++)'' A Special Session co-located with the 23rd Int. Symposium on Methodologies for Intelligent Systems (ISMIS 2017) Warsaw, Poland, June 26-29, 2017 OBJECTIVES Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (rules, implications) which can be used for many purposes, e.g. knowledge discovery, learning, biclustering, knowledge representation, reasoning, ontology engineering, information retrieval, recommendation, and text processing. Accordingly, there are many links between FCA and Knowledge Discovery, e.g. pattern mining, but also between FCA and other formalisms such as databases (e.g. functional dependencies), rough sets, fuzzy sets... Recent years have shown an increased activity in FCA, in particular in extending the possibilities of FCA w.r.t. knowledge processing in all dimensions, such as work on pattern structures and relational concept analysis. These extensions allow FCA to deal with more complex than just binary data (e.g. RDF data), for data analysis, knowledge discovery and knowledge engineering. All these works extend the capabilities of FCA and offer new possibilities for discovery and representation activities. Accordingly, this special session will be interested in issues such as: - How can FCA support Knowledge Discovery and Knowledge Engineering, e.g. text mining, RDF data classification, knowledge representation, reasoning, information retrieval, recommendation... - How can FCA be extended in order to help researchers to solve new and complex problems. - How relations with other formalisms such as databases, rough sets, fuzzy sets, can be exploited for improving each formalism capabilities? TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures, rough sets, fuzzy sets... - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - FCA and Knowledge Engineering: ontology engineering, knowledge representation and reasoning. - Scalable algorithms for concept lattices ``in the large'': distributed aspects. - Applications of concept lattices: text mining, classification and mining in web of data, information retrieval, recommendation, visualization and navigation. SPECIAL SESSION ORGANIZERS: Davide Ciucci University Milano-Bicocca, Italy Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA (CNRS-Inria-Université de Lorraine), Nancy, France IMPORTANT DATES: Paper submission due: January 22, 2017 Notification of review results: March 14, 2017 Camera ready papers due: April 3, 2017 PROCEEDINGS The accepted papers will be published within the ISMIS main conference proceedings (Springer LNAI Series). Paper submission Authors are invited to submit their manuscripts using the Springer LNCS/LNAI style, with a maximum of 10 pages. Detailed instructions are provided on the conference homepage. Papers should be submitted in PDF format via the ISMIS 2017 Online Submission System (please see http://ismis2017.ii.pw.edu.pl/paper_submission.php). -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Jan 17 15:25:19 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 17 Jan 2017 16:25:19 +0200 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Call for Participation Message-ID: ** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMTEJTGlzdHMJMTk0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017 *** Early Registration Deadline: February 7, 2017 *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMTEJTGlzdHMJMTk0CWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMTEJTGlzdHMJMTk0CWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMTEJTGlzdHMJMTk0CWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMTEJTGlzdHMJMTk0CWNsaWNrCXllcwlubw==&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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Jan 18 17:38:58 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 18 Jan 2017 18:38:58 +0200 Subject: [fg-arc] 8th IEEE International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Second CFP, Invited Sessions, Tutorials & Workshops Proposals Message-ID: <33XTRUV-ADF7-CZC0-VTF-PAFVYW11LNHH@cs.ucy.ac.cy> *** Second 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBTZWNvbmQgQ0ZQLCBJbnZpdGVkIFNlc3Npb25zLCBUdXRvcmlhbHMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTEzCUxpc3RzCTE5MwljbGljawl5ZXMJbm8=&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBTZWNvbmQgQ0ZQLCBJbnZpdGVkIFNlc3Npb25zLCBUdXRvcmlhbHMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTEzCUxpc3RzCTE5MwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Papers must be limited to 6 pages in length. 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBTZWNvbmQgQ0ZQLCBJbnZpdGVkIFNlc3Npb25zLCBUdXRvcmlhbHMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTEzCUxpc3RzCTE5MwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Jan 19 15:38:01 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 19 Jan 2017 16:38:01 +0200 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Fourth Call for Papers Message-ID: *** Fourth 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRm91cnRoIENhbGwgZm9yIFBhcGVycwkxNQlMaXN0cwkxOTIJY2xpY2sJeWVzCW5v&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRm91cnRoIENhbGwgZm9yIFBhcGVycwkxNQlMaXN0cwkxOTIJY2xpY2sJeWVzCW5v&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRm91cnRoIENhbGwgZm9yIFBhcGVycwkxNQlMaXN0cwkxOTIJY2xpY2sJeWVzCW5v&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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From epontell at cs.nmsu.edu Fri Jan 20 04:39:51 2017 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Thu, 19 Jan 2017 20:39:51 -0700 Subject: [fg-arc] ICLP 2017 - Call for Workshop Proposals Message-ID: *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2017 33rd International Conference on Logic Programming August 29 - September 1, 2017 Melbourne, Australia http://iclp17.a4lp.org ICLP 2017, the 33rd International Conference on Logic Programming, will be held in Melbourne, Australia, from August 29 to September 1, 2017. The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2017 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2017 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The estimated length of the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by March 27, 2017. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 10, 2017. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce uniform and accessible proceedings for the workshops. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by May 1, 2017, and will be published on the ICLP 2017 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Providing a workshop program in a format specified by the conference organizers for posting by August 15, 2017. * Coordinating the preparation of the workshop proceedings according to the specifications provided by the Workshop chair. Location: ========= Workshops be collocated with ICLP 2017, in Melbourne, Australia. See the ICLP 2017 web site (http://iclp17.a4lp.org) for location details. Important Dates: ================ March 27, 2017: Proposal submission deadline April 10, 2017: Notification May 1, 2017: Deadline for receipt of CfP and workshop web page URL August 15, 2017: Deadline for workshop program TBA: ICLP workshops Submissions: ============ Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair: =============== Enrico Pontelli epontell at cs.nmsu.edu -------------------- College of Arts & Sciences New Mexico State University Las Cruces, NM 88003 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Jan 20 14:45:09 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 20 Jan 2017 15:45:09 +0200 Subject: [fg-arc] 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): Second Call for Papers Message-ID: *** Second Call for Papers *** 5th European Conference on the Engineering of Computer Based Systems ECBS 2017 Lordos Hotel, Larnaca, Cyprus 31 August - 1 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkxNwlMaXN0cwkxOTIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fecbs2017%2F In Cooperation with ACM SIGAPP, SIGOPS and SIGSOFT ECBS 2017 is a formal meeting dedicated to formulating and advancing methods, techniques, and tools for engineering of computer-based systems. The conference is devoted to the design, development, deployment, and analysis of the complex systems whose behavior is largely determined or controlled by computers. Such systems are characterized by functional, performance, and reliability requirements that mandate the tight integration of information processing and physical processes. ECBS integrates software, hardware, and communication perspective of system engineering through its many facets that include system modeling, requirements specification, simulation, architectures, safety, security, reliability, human-computer interaction, system integration, verification and validation, high performance/parallel computing, cloud-based technologies, and project management. The conference provides a bridge between industry and academia, blending academic research and industrial development. The proceedings will be published in the International Conference Proceedings Series of ACM and after the conference they will be accessible in the ACM Digital Library. A Best Paper Award will be presented to the best paper presented at the conference, and a Best Student Paper Award will be presented to the best paper written solely or mostly by students. Scope Papers are sought which reflect this intent in fundamental ECBS technologies and application domains including, but not limited to the following topics: · Agile and Lean Approaches and Human Aspects of Software Development · Architectures · Advanced Modularity · Cloud-based Applications · Co-Design · Component-Based System Design · Cyber-Physical Systems · Parallel & Distributed Systems · Parallel Programming Methodologies and Languages · FPGA Systems Design · ECBS Infrastructure (Tools and Environments) · Education and Training · Embedded Real-Time Software Systems · Integration Engineering · Lifecycle Processes and Process Evolution · Model-Based System Development · Modeling and Analysis of Complex Systems · Networked Control Systems · Reengineering & Reuse · Reliability, Safety, Dependability, and Security · Software Engineering · System Assessment, Testing, and Metrics · Verification and Validation Industrial reports of practical solutions, trends, and new system characteristics for ECBS, taking an integrated systems approach, are particularly welcome. They may target application domains such as: Aerospace Systems, Command and Control, Continuous and Discrete Manufacturing, Environmental Systems, Instrumentation and Control Applications, Internet Technology and Applications, Intelligent Highway- Vehicle Systems (IHVS), Medical Systems, High Performance Computing Development Environments and Applications, and Telecommunications. Submission of Papers The conference solicits regular (no more than 10 pages) and short papers (no more than 4 pages). The Program Committee may require an accepted paper to be adapted into a short paper or extended abstract (no more than 2 pages and poster presentation only). 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. Important Dates · Submission of Papers: 1 May, 2017 · Notification of Acceptance: 1 July, 2017 · Camera-ready Submission: 17 July, 2017 · Registration and Payment for Authors: 17 July, 2017 · Early Registration for Non-Authors: 9 August, 2017 Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chair · Ondrej Rysavy, Brno University of Technology , Czech Republic Program Co-Chair · Valentino Vranic, Slovak University of Technology in Bratislava, Slovakia Steering Committee · Hassan Charaf, ECBS-EERC 2013 General Chair · George Angelos Papadopoulos, General Chair · Miroslav Popovic, ECBS-EERC 2009 General Chair · Ondrej Rysavy, ECBS-EERC 2015 General Chair · Valentino Vranic, ECBS-EERC 2011 General Chair Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkxNwlMaXN0cwkxOTIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fecbs2017%2Forganizers.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Mon Jan 23 09:52:49 2017 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Mon, 23 Jan 2017 11:52:49 +0300 (+03) Subject: [fg-arc] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Message-ID: <20170123085249.DFB122C00D0@omsievews> Call for Papers --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 !!! Submissions enabled !!! AIJ&TPLP Fast Tracks !!! Springer PB Prize !!! --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program. INVITED SPEAKERS Joao Leite, Universidade Nova de Lisboa, Lisbon, Portugal Tran Cao Son, New Mexico State University, Las Cruses, New Mexico, USA Francesca Toni, Imperial College, London, UK TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2017 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is now enabled via the LPNMR-17 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2017 Two best papers of general AI interest will be invited for a rapid publication in the Artificial Intelligence Journal (AIJ). Two best papers with narrower logic programming focus will be invited for a rapid publication in Theory and Practice of Logic Programming (TPLP). An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference. MULTIPLE SUBMISSION POLICY LPNMR 2017 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on July 3 prior to the main conference. Currently planned workshops include: - Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Bart Bogaerts and Amelia Harrison - Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak - Grounding and Transformations for Theories with Variables (GTTV) Organizers: Simona Perri and Shahab Tasharrofi - Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS) Organizers: Fangkai Yang and Shiqi Zhang - Practical Aspects of Answer Set Programming (PAoASP) Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca - User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Claudia Schulz ASP COMPETITION - A special session dedicated to a discussion of the 7th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change to present their current research, get feedback from peers and senior researchers, and establish contacts for the future. FURTHER INFORMATION WWW: lpnmr2017.aalto.fi/ email: lpnmr2017 at list dot aalto dot fi IMPORTANT DATES * Paper registration: January 27th, 2017 * Paper submission: February 3rd, 2017 * Notification: March 3rd, 2017 * Final versions due: March 17th, 2017 VENUE Espoo, the second largest and the fastest growing city in Finland, is located right next to the capital Helsinki in the coastal Finland. Espoo is Northern Europe's largest high-tech and innovation hub where science, business and culture meet the wilderness of Nuuksio National Park and stunning seaside environment. Espoo's location offers excellent traffic connections: only half an hour from the international airport and harbors. The main campus of Aalto University is situated in Espoo. The LPNMR 2017 conference will be held in the Hanasaari Conference center that is located on an island of its own and is only 15 minutes away from Helsinki center by public transport. PROGRAM CHAIRS Marcello Balduccini, Drexel University, USA Tomi Janhunen, Aalto University, Finland PUBLICITY CHAIR Peter Schüller, Marmara University, Turkey WORKSHOPS CHAIR Joohyung Lee, Arizona State University, USA DOCTORAL CONSORTIUM CHAIR Marina De Vos, University of Bath, UK 7TH ASP COMPETITION ORGANIZERS Martin Gebser, University of Potsdam, Germany Marco Maratea, University of Genoa, Italy Francesco Ricca, University of Calabria, Italy PROGRAM COMMITTEE Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Drexel University, USA Chitta Baral, Arizona State University, USA Bart Bogaerts, KU Leuven, Belgium Gerhard Brewka, Leipzig University, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Stefania Costantini, University of L'Aquila, Italy James Delgrande, Simon Fraser University, Canada Marc Denecker, K.U.Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, University of Huddersfield, UK Paul Fodor, Stony Brook University, USA Alfredo Gabaldon, GE Global Research, USA Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovanni Grasso, Oxford University, UK Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University, USA Tomi Janhunen, Aalto University, Finland Matthias Knorr, Universidade Nova de Lisboa, Portugal Joohyung Lee, Arizona State University, USA Yuliya Lierler, University of Nebraska at Omaha, USA Vladimir Lifschitz, University of Texas at Austin, USA Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Marco Maratea, University of Genoa, Italy Alessandra Mileo, National University of Ireland, Ireland Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Mauricio Osorio, Universidad de las Americas Puebla, Mexico Ravi Palla, GE Global Research, USA David Pearce, Universidad Politécnica de Madrid, Spain Axel Polleres, Vienna University of Economics and Business, Austria Enrico Pontelli, New Mexico State University, USA Christoph Redl, Vienna University of Technology, Austria Alessandra Russo, Imperial College, United Kingdom Orkunt Sabuncu, University of Potsdam, Germany Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Peter Schüller, Marmara University, Turkey Tran Cao Son, New Mexico State University, USA Hannes Strass, Leipzig University, Germany Theresa Swift, Universidade Nova de Lisboa, Portugal Shahab Tasharrofi, Aalto University, Finland Eugenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, Universidad de Màlaga, Spain Kewen Wang, Griffith University, Australia Yisong Wang, Guizhou University, China Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yi Zhou, University of Western Sydney, Australia (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From bogom.s at gmail.com Mon Jan 23 01:47:28 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Mon, 23 Jan 2017 11:47:28 +1100 Subject: [fg-arc] 2nd CfP: Workshop SNR affiliated with ETAPS 2017 Message-ID: <017401d27512$6ada7ad0$408f7070$@gmail.com> CALL FOR PAPERS SNR 2017 ======== 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 =============== Abstract submission: January 27, 2017 Paper submission: February 3, 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) -------------- next part -------------- An HTML attachment was scrubbed... URL: From bogom.s at gmail.com Mon Jan 23 03:30:30 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Mon, 23 Jan 2017 13:30:30 +1100 Subject: [fg-arc] CfP: 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017) Message-ID: <10bc01d27520$ce3d1ac0$6ab75040$@gmail.com> Call for Submissions ----------------------------------------------------------------------- 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 15, 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) -------------- next part -------------- An HTML attachment was scrubbed... URL: From compsac at polito.it Mon Jan 23 17:27:39 2017 From: compsac at polito.it (IEEE COMPSAC) Date: Mon, 23 Jan 2017 17:27:39 +0100 Subject: [fg-arc] IEEE COMPSAC 2017 - Final Call for Papers (paper submission deadline extended to January 31st) Message-ID: <7b50a954-109f-1880-0ed9-90d628c552e8@polito.it> Dear Colleague, please note that the paper submission deadline has been extended until January 31st, 2017. IEEE COMPSAC 2017 www.compsac.org Where: Turin, Italy. July 4–8, 2017 Paper submission deadline: January 31st, 2017 IEEE COMPSAC offers opportunities for recommending best papers for inclusions in IEEE publications (https://www.computer.org/web/compsac2017/journal-publication-opportunities for more details). ======================================= IEEE COMPSAC 2017 ======================================= COMPSAC (www.compsac.org) is the IEEE Computer Society Signature Conference on Computers, Software, and Applications. It is a major international forum for academia, industry, and government to discuss research results and advancements, emerging problems, and future trends in computer and software technologies and applications. The technical program includes keynote addresses, research papers, industrial case studies, plenary and specialized panels, fast abstracts, a doctoral symposium, poster sessions, and a number of workshops and tutorials on emerging and important topics. The theme of the 41st COMPSAC is Building Digital Autonomy for a Sustainable World. COMPSAC 2017 Symposia are as follows: CELT: Computer Education & Learning Technologies CAP: Computer Architecture & Platforms DSAT: Data Sciences, Analytics, & Technologies EATA: Emerging Advances in Technology & Applications HCSC: Human Computing & Social Computing ITiP: IT in Practice MOWU: Mobile, Wearable, & Ubiquitous Computing NCIW: Networks, Communications, Internet, & Web Technologies SEPT: Security, Privacy, & Trust SETA: Software Engineering Technology & Applications Sessions will include topics and issues related to adaptive learning and teaching, autonomous computing, wearable computing, the internet-of-things, social networking, cross-domain data fusion, privacy, security and surveillance, cloud computing, big data, physiological computing, self-aware and self-expressive systems, and emerging architectures and network issues that affect all these developing technology-driven innovations. Authors are invited to submit original, unpublished research work, as well as industrial practice reports. COMPSAC offer publication opportunities in IEEE journals following the "Conference First / Journal Second (C1J2)" and "Journal First / Conference Second (J1C2)" Schemes (https://www.computer.org/web/compsac2017/journal-publication-opportunities). ======================================= JOURNAL PUBLICATION OPPORTUNITIES ======================================= COMPSAC is offering opportunities to recommend our best papers for inclusion in IEEE publications, and to encourage presentation of already published journal papers during the conference. These schemes, to be executed at the discretion of individual COMPSAC symposia and workshops chairs, are as follows: COMPSAC "Conference First / Journal Second (C1J2)" Scheme: Chairs may offer the authors of accepted papers opportunity for publication in an IEEE journal. In this C1J2 Scheme, a chair initiates the process to offer the paper(s), together with their COMPSAC reviews, for publication in an IEEE journal to the journal editor-in-chief (EIC). EICs may or may not use our reviews at their discretion, but may instead prefer to rely solely on their own reviewer communities. Such papers accepted by a journal for publication will appear in the COMPSAC proceeding as only an abstract accompanied by a note that the paper has been submitted to the journal for consideration for publication in that journal. If the paper is accepted for publication, a link to it will be provided in the conference proceedings, thus providing conference participants access to that paper. The paper will still be registered for COMPSAC and must as well be presented during the conference. If such a paper is not accepted by the journal, the paper will be later included in the conference electronic proceedings. COMPSAC "Journal First / Conference Second (J1C2)" Scheme: Similar to the above mentioned scheme, but taking place in the reverse order is the J1C2 scheme – journal publication first, conference presentation to follow. A published work in an IEEE journal, say within couple of years, or even accepted but not yet published, may be submitted to and presented at COMPSAC. If accepted, the conference proceedings will contain an abridged abstract and a link to the published version, thus conference participants may have access to that paper. This scheme benefits authors by presenting their work to a wider audience in person, discussion, networking with peers, and driving renewed interest to their work. The process is as follows: the author offers a paper by proposing it as a full-text manuscript submission to a symposium or a workshop; the paper is then lightly reviewed for suitability, scope, technical content and merit by the PC of the symposium/workshop; finally, the PC Chair(s) proposes a notification decision. The author then registers the paper and presents it during the conference at the time identified in the program. ============== KEYNOTES ============== Francesco Profumo, Politecnico di Torino, Turin, Italy Alberto Sangiovanni Vincentelli, University of California, Berkeley ============== MAIN DEADLINES ============== Main Conference Papers Due: 31 January 2017 Main Conference Notification: 27 March 2017 Workshop Papers Due: 10 April 2017 Workshop Paper Notification: 25 April 2017 Camera Ready and Registration Due: 9 May 2017 --- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirus -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at informatik.tu-chemnitz.de Wed Jan 25 10:03:06 2017 From: steffen.becker at informatik.tu-chemnitz.de (Steffen Becker) Date: Wed, 25 Jan 2017 10:03:06 +0100 Subject: [fg-arc] ESEC/FSE 2017: Call for Workshop Proposals Message-ID: *********************************************************** ESEC/FSE 2017, Paderborn, Germany September, 04 - 08, 2017 CALL FOR WORKSHOP PROPOSALS URL: http://esec-fse17.uni-paderborn.de/call_workshops.php *********************************************************** ESEC/FSE 2017 is soliciting proposals for workshops to be held in conjunction with the main conference. Workshops aim to provide opportunities for exchanging views, advancing ideas, and discussing preliminary results in various areas of software engineering research and applications. Workshops are not an alternative forum for presenting full research papers. If you would like to bring together a group of researchers on a topic you consider relevant and exciting, you should consider submitting a workshop proposal to ESEC/FSE. Workshops will be held before the research track. Proposals for workshops after the main track can be considered but are subject to the availability of proper spaces. Prospective workshop organizers are encouraged to contact the workshop chairs should any questions arise. === Important dates === Deadline for workshop proposals submission: Feb 17 2017 Deadline for notification: Mar 3 2017 === Workshop Proposal Guidelines === Workshop proposals must be up to 4 pages in length and conform to the ACM Conference Format. Each proposal should contain the following information: (*) Contact details of the organizers, including the identification of the main contact. (*) A brief (max 175 words) abstract of the goals and format of the workshop intended for the ESEC/FSE 2017 web pages. (*) The theme, goals, and topics of the workshop, as well as a motivation of its relevance and timeliness, including an account of the workshop's history (if any). (*) The workshop format, including desired length (1 or 2 days), forms of participation supported (demo, position statement, panel discussion, working session, ...) and plans for generating and stimulating discussion at the workshop. Specify if the workshop intends to publish its proceedings in the ACM digital library (under negotiation for all ESEC/FSE 2017 workshops). (*) The paper selection procedure, including the types of papers permitted (demos, short, long, position statements, ... together with page limits), the expected dates for submission and notification of acceptance, names of proposed and confirmed program committee members. (*) A short description of the workshop and a link to a detailed workshop web page to be used on the ESEC/FSE 2017 web page. (*) Publicity plans, including a motivated assessment of the number of expected participants, as well as the participant solicitation and selection process (also indicate whether the workshop will be open or closed). (*)Follow-up plans, explaining how the workshop results are expected to be used. A brief biography of each organizer, including past experience in workshop organization. Ideally, a workshop proposal should consist of a two-page description (to be included in the conference proceedings, if accepted) and an appendix (up to two pages) containing additional material, if appropriate. === How to submit === Workshop proposals should be sent to the chairs via easychair (https://easychair.org/conferences/?conf=esecfse2017). When submitting, please select the Workshop proposals track after signing into easychair as new authors and fill in the form and upload your proposal paper. === Workshop chairs === Steffen Becker (TU Chemnitz, Germany) Patricia Lago (Vrije Universiteit Amsterdam, The Netherlands) -- Prof. Steffen Becker Professur Softwaretechnik Angewandte Informatik Technische Universität Chemnitz Straße der Nationen 62 | R. B216B 09111 Chemnitz Germany Tel: +49 371 531-36144 Fax: +49 371 531-836144 steffen.becker at informatik.tu-chemnitz.de www.tu-chemnitz.de -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5463 bytes Desc: S/MIME Cryptographic Signature URL: From steffen.becker at informatik.tu-chemnitz.de Fri Jan 27 10:56:07 2017 From: steffen.becker at informatik.tu-chemnitz.de (Steffen Becker) Date: Fri, 27 Jan 2017 10:56:07 +0100 Subject: [fg-arc] Safe-the-Date: Jahrestagung der GI-Fachgruppe Architekturen am 19./20. Juni 2017 in Leipzig Message-ID: Executive Summary ----------------- Jahrestagung der GI FG Architekturen Datum: 19./20.6.2017 Ort: Softwareforen Leipzig PDF-Einladung: http://tinyurl.com/fgarch17 Webseite: http://www.fg-arc-architekturen-2017.de --- Ein wichtiger Termin steht an! Diskutieren Sie bei der Jahrestagung 2017 der GI-Fachgruppe „Architekturen“ mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich im Bereich der Softwarearchitektur abzeichnen und was diese für den praktizierenden und forschenden Softwarearchitekten bedeuten. Die Jahrestagung der GI-Fachgruppe Architekturen findet am 19./20. Juni 2017 auf der Veranstaltungsebene der Softwareforen Leipzig (Hainstr. 16, 04109 Leipzig) statt. Das Leitthema der Veranstaltung lautet: „Software-Architekturen für große, vernetzte Informationssysteme“ Initiiert von der GI-Fachgruppe Architekturen hat sich die Veranstaltung zu einer der wichtigsten Plattformen für IT-Architekten entwickelt und bringt mit über 80 Teilnehmern viele Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Softwarearchitekturen zusammen. Die kommende Veranstaltung findet in Kooperation mit den Softwareforen Leipzig statt. Nutzen auch Sie diese Chance und seien Sie bei der führenden, deutschen Austauschplattform zum Thema Softwarearchitekturen dabei. Neben den Fachvorträgen finden auch Treffen der Arbeitskreise „Modellgetriebene Softwarearchitekturen (MDA)“, „Langlebige Softwaresysteme (L2S2)“, „Traceability/Evolution“ und „Big Data“ der Fachgruppe Architekturen statt. Zahlreiche spannende Referenten haben ihr Kommen bereits zugesagt, darunter: - Ingo Gringer, msg systems AG, Chemnitz - Samuel Kounev, Universität Würzburg - Carola Lilienthal, WPS - Workplace Solutions GmbH, Hamburg - Gunter Saake, Universität Magdeburg Alles Wichtige zur Jahrestagung sowie die Veranstaltungsagenda finden Sie auf der offiziellen Website: www.fg-arc-architekturen-2017.de Wenn Sie sich direkt anmelden möchten, besuchen Sie direkt http://www.fg-arc-architekturen-2017.de/portal/GI-Architekturen/Anmeldung/Anmeldung.xhtml Wir freuen uns auf eine spannende Veranstaltung mit Ihnen! -- Prof. Steffen Becker Professur Softwaretechnik Angewandte Informatik Technische Universität Chemnitz Straße der Nationen 62 | R. B216B 09111 Chemnitz Germany Tel: +49 371 531-36144 Fax: +49 371 531-836144 steffen.becker at informatik.tu-chemnitz.de www.tu-chemnitz.de -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5463 bytes Desc: S/MIME Cryptographic Signature URL: From announce at cs.ucy.ac.cy Fri Jan 27 14:51:06 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 27 Jan 2017 15:51:06 +0200 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Third Call for Doctoral Consortium Message-ID: *** Third Call for Doctoral Consortium *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogVGhpcmQgQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQkyMAlMaXN0cwkxOTEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fconsortium.html The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including doctoral consortia and workshops. DOCTORAL CONSORTIUM The Doctoral Consortium (DC) is a forum where PhD students can present their research ideas, confront them with the scientific community, receive feedback from mentors, and tie cooperation bounds. Students will receive inspiration from their peers and will have a chance to discuss their research objectives with senior members of the community in the context of an established international conference. The DC session will take place on September 24, in parallel with the workshop sessions. Each participant will present her/his work, followed by a discussion with senior researchers. ELIGIBILITY We seek PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete, or PhD student participants who are in the early stages of their dissertation year. It is not required to have a paper accepted for the main conference in order to participate in the DC. SUBMISSIONS To apply to the DC, please submit a single-authored paper (which will appear in the proceedings of DC), accompanied by a short email from the thesis advisor stating support for your participation in the DC, describing the current status of the thesis research, and giving your expected date of graduation. The papers for DC should be at most 12 pages in Springer format (formatting instructions can be obtained via http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogVGhpcmQgQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQkyMAlMaXN0cwkxOTEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%29 and describe the state of the whole PhD project, rather than a specific completed result. The paper should outline the objectives, the problem, state of the art, results obtained so far, and what is still to be done in the frame of the PhD project. If an author prefers to present a completed research result, the paper should be submitted to the main conference or one of accompanying workshops. A paper submitted to the DC may not be under review for any other conference or journal during the time it is being considered for the DC. Submissions should be made electronically in PDF format at CMT: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogVGhpcmQgQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQkyMAlMaXN0cwkxOTEJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fcmt3.research.microsoft.com%2FADBISDC2017. In case of multiple files, please submit a single compressed file (zip or rar). After logging into CMT, please choose the "ADBIS 2017 Doctoral Consortium" track. REVIEW PROCESS Each paper submitted to the DC will be reviewed by at least two members of the DC program committee and will be judged based on originality, technical merit, presentation quality, and relevance. The authors of successful submissions must take into account the reviewers' comments during the preparation of the final version and describe the changes in a separate document to be submitted together with the final camera-ready version. The program committee reserves the right to reject a paper if the final version does not meet the requirements above. Applications not adhering to the provided guidelines (including page limits) will not be considered. The authors of accepted papers must register to the conference, attend the DC and present their work. PROCEEDINGS The DC papers will be published by Springer, together with the ADBIS workshops proceedings, in the Advances in Intelligent Systems and Computing series. IMPORTANT DATES · Submission: May 19, 2017 · Acceptance/Rejection Notification: June 30, 2017 · Camera-ready Submission: July 14, 2017 · Doctoral Consortium: September 24, 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun Jan 29 00:02:25 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 29 Jan 2017 00:02:25 +0100 Subject: [fg-arc] BigDat 2017: works in progress February 10 Message-ID: <545102060a010b010556580305055a5752530202500204040356090905575503545305070b5d5352545e5553575305@grlmc_ip-zone_com-6> BigDat 2017: works in progress February 10*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2017   Bari, Italy   February 13-17, 2017   Organized by: University of Bari "Aldo Moro" Rovira i Virgili University   http://grammars.grlmc.com/BigDat2017/   ********************************************************   --- Regular registration deadline: February 10, 2017 ---   ********************************************************   AIM:   BigDat 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 big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 23 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, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 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, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be:   Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy   KEYNOTE SPEAKERS:   Ernesto Damiani (EBTIC, Khalifa University, Abu Dhabi & University of Milan), Model-driven Development of Big Data Applications   Daniele Quercia (Bell Labs), Good City Life   PROFESSORS AND COURSES:   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Tamás Budavári (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy   Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud   Geoffrey C. Fox (Indiana University), [intermediate] Using High Performance Computing for Big Data Analytics   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Network Data Analytics   Sander Klous (University of Amsterdam), [introductory] We Are Big Data   Laks V.S. Lakshmanan (University of British Columbia), [introductory] Analysis of Large Social Networks   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management   Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics   Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data   Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis   Pierangela Samarati (University of Milan), [intermediate] Data Security and Privacy in the Cloud   V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data and Cybersecurity   Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data   Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning   Lyle Ungar (University of Pennsylvania), [introductory] Sentiment Mining from User Generated Content   John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data   OPEN SESSION   An open session will collect 5-minute 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 February 10, 2017.   ORGANIZING COMMITTEE:   Annalisa Appice Michelangelo Ceci (co-chair) Stefano Franco Corrado Loglisci Donato Malerba (co-chair) Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Gianvito Pio David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2017/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:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Mon Jan 30 11:21:52 2017 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Mon, 30 Jan 2017 13:21:52 +0300 (+03) Subject: [fg-arc] Final CFP with Deadline Extension: LPNMR - International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Message-ID: <20170130102152.1E2872C00D8@omsievews> Call for Papers --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 !!! Deadline Extension !!! AIJ&TPLP Fast Tracks !!! Springer BP Prize !!! --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program. INVITED SPEAKERS Joao Leite, Universidade Nova de Lisboa, Lisbon, Portugal Tran Cao Son, New Mexico State University, Las Cruses, New Mexico, USA Francesca Toni, Imperial College, London, UK TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2017 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is now enabled via the LPNMR-17 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2017 Two best papers of general AI interest will be invited for a rapid publication in the Artificial Intelligence Journal (AIJ). Two best papers with narrower logic programming focus will be invited for a rapid publication in Theory and Practice of Logic Programming (TPLP). An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference. MULTIPLE SUBMISSION POLICY LPNMR 2017 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on July 3 prior to the main conference. Currently planned workshops include: - Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Bart Bogaerts and Amelia Harrison - Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak - Grounding and Transformations for Theories with Variables (GTTV) Organizers: Simona Perri and Shahab Tasharrofi - Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS) Organizers: Fangkai Yang and Shiqi Zhang - Practical Aspects of Answer Set Programming (PAoASP) Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca - User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Claudia Schulz ASP COMPETITION - A special session dedicated to a discussion of the 7th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change to present their current research, get feedback from peers and senior researchers, and establish contacts for the future. FURTHER INFORMATION WWW: lpnmr2017.aalto.fi/ email: lpnmr2017 at list dot aalto dot fi IMPORTANT DATES * Paper registration: February 5th, 2017, 23:59 PDT (EXTENDED) * Paper submission: February 9th, 2017, 23:59 PDT (EXTENDED) * Notification: March 7th, 2017 (EXTENDED) * Final versions due: March 17th, 2017 VENUE Espoo, the second largest and the fastest growing city in Finland, is located right next to the capital Helsinki in the coastal Finland. Espoo is Northern Europe's largest high-tech and innovation hub where science, business and culture meet the wilderness of Nuuksio National Park and stunning seaside environment. Espoo's location offers excellent traffic connections: only half an hour from the international airport and harbors. The main campus of Aalto University is situated in Espoo. The LPNMR 2017 conference will be held in the Hanasaari Conference center that is located on an island of its own and is only 15 minutes away from Helsinki center by public transport. PROGRAM CHAIRS Marcello Balduccini, Drexel University, USA Tomi Janhunen, Aalto University, Finland PUBLICITY CHAIR Peter Schüller, Marmara University, Turkey WORKSHOPS CHAIR Joohyung Lee, Arizona State University, USA DOCTORAL CONSORTIUM CHAIR Marina De Vos, University of Bath, UK 7TH ASP COMPETITION ORGANIZERS Martin Gebser, University of Potsdam, Germany Marco Maratea, University of Genoa, Italy Francesco Ricca, University of Calabria, Italy PROGRAM COMMITTEE Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Drexel University, USA Chitta Baral, Arizona State University, USA Bart Bogaerts, KU Leuven, Belgium Gerhard Brewka, Leipzig University, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Stefania Costantini, University of L'Aquila, Italy James Delgrande, Simon Fraser University, Canada Marc Denecker, K.U.Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, University of Huddersfield, UK Paul Fodor, Stony Brook University, USA Alfredo Gabaldon, GE Global Research, USA Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovanni Grasso, Oxford University, UK Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University, USA Tomi Janhunen, Aalto University, Finland Matthias Knorr, Universidade Nova de Lisboa, Portugal Joohyung Lee, Arizona State University, USA Yuliya Lierler, University of Nebraska at Omaha, USA Vladimir Lifschitz, University of Texas at Austin, USA Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Marco Maratea, University of Genoa, Italy Alessandra Mileo, National University of Ireland, Ireland Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Mauricio Osorio, Universidad de las Americas Puebla, Mexico Ravi Palla, GE Global Research, USA David Pearce, Universidad Politécnica de Madrid, Spain Axel Polleres, Vienna University of Economics and Business, Austria Enrico Pontelli, New Mexico State University, USA Christoph Redl, Vienna University of Technology, Austria Alessandra Russo, Imperial College, United Kingdom Orkunt Sabuncu, University of Potsdam, Germany Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Peter Schüller, Marmara University, Turkey Tran Cao Son, New Mexico State University, USA Hannes Strass, Leipzig University, Germany Theresa Swift, Universidade Nova de Lisboa, Portugal Shahab Tasharrofi, Aalto University, Finland Eugenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, Universidad de Màlaga, Spain Kewen Wang, Griffith University, Australia Yisong Wang, Guizhou University, China Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yi Zhou, University of Western Sydney, Australia (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From Klaus.Havelund at jpl.nasa.gov Fri Jan 27 14:08:40 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Fri, 27 Jan 2017 13:08:40 +0000 Subject: [fg-arc] [fm-announcements] SPIN 2017 - final call for papers, deadline Feb 10 Message-ID: SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA ________________________________ The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, empirical evaluation, and education. History: The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: http://spinroot.com/spin/symposia. SPIN 2017 will be organized as an ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis (ISSTA 2017): http://conf.researchr.org/home/issta-2017. The RERS Verification Challenge In addition there will be a one-day Rigorous Examination of Reactive Systems verification challenge Workshop (RERS 2017): http://www.rers-challenge.org/2017. ________________________________ SPIN 2017 Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material via formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis tools * Benchmark and comparative studies for formal verification and analysis tools * Formal methods education and training * Insightful surveys or historical accounts on topics of relevance to the symposium ________________________________ Keynote Speakers ________________________________ * Domagoj Babic, Google, Inc. * Byron Cook, Amazon Web Services * Gerard Holzmann, Nimble Research ________________________________ Submission Guidelines ________________________________ The contributions to SPIN 2017 will be published as ACM Proceedings, and should be submitted in the ACM Conference Format: https://www.acm.org/publications/proceedings-template. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions. We are soliciting two categories of papers: * Full Research Papers describing fully developed work and complete results (10 pages); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods education (4 pages). Papers should be submitted via the EasyChair SPIN 2017 submission website: https://easychair.org/conferences/?conf=spin2017. Best Paper awards will be given and announced at the conference. A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). ________________________________ Important Dates ________________________________ * Paper Submission: February 10, 2017 (23:59:59 Anywhere on Earth) * Author Notification: April 15, 2017 * Camera-Ready Paper: May 20, 2017 * Symposium: July 13-14, 2017 ________________________________ Organization ________________________________ * Hakan Erdogmus, Program Co-Chair, Carnegie Mellon University, USA * Klaus Havelund, Program Co-Chair, NASA/Caltech Jet Propulsion Laboratory, USA * Corina Pasareanu, Awards Chair, NASA Ames Research Center, USA * Yliès Falcone, Publicity Chair, Univ. Grenoble Alpes, Inria, France ________________________________ Program Committee ________________________________ * Erika Abraham, RWTH Aachen University, Germany * Christel Baier, Technical University of Dresden, Germany * Tom Ball, Microsoft Research, USA * Ezio Bartocci, Vienna University of Technology, Austria * Dirk Beyer, Ludwig-Maximilians-Universität München (LMU Munich), Germany * Armin Biere, Johannes Kepler University, Austria * Dragan Bosnacki, Eindhoven University of Technology, Netherlands * Zmago Brezocnik, University of Maribor, Slovenia * Sagar Chaki, Software Engineering Institute CMU, USA * Alessandro Cimatti, Fondazione Bruno Kessler, Italy * Lucas Cordeiro, University of Oxford, UK * Patrice Godefroid, Microsoft Research, USA * Susanne Graf, VERIMAG Laboratory, France * Radu Grosu, Vienna University of Technology, Austria * Arie Gurfinkel, University of Waterloo, USA * Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, USA * Rajeev Joshi, NASA/Caltech Jet Propulsion Laboratory, USA * Sarfraz Khurshid, The University of Texas at Austin, USA * Kim Larsen, Aalborg University, Denmark * Stefan Leue, University of Konstanz, Germany * Alice Miller, University of Glasgow, Scotland * Corina Pasareanu, NASA Ames Research Center, USA * Doron Peled, Bar Ilan University, Israel * Neha Rungta, Amazon Web Services, USA * Theo Ruys, RUwise, Netherlands * Scott Smolka, Stony Brook University, USA * Scott Stoller, Stony Brook University, United States * Jun Sun, Singapore University of Technology and Design, Singapore * Oksana Tkachuk, NASA Ames Research Center, USA * Stavros Tripakis, University of California, Berkeley, USA * Willem Visser, Stellenbosch University, South Africa * Farn Wang, National Taiwan University, Taiwan * Michael Whalen, University of Minnesota, USA * Anton Wijs, Eindhoven University of Technology, Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From p.m.e.v.gorp at tue.nl Mon Jan 30 10:06:06 2017 From: p.m.e.v.gorp at tue.nl (Pieter Van Gorp) Date: Mon, 30 Jan 2017 10:06:06 +0100 Subject: [fg-arc] Final Joint CfP: STAF 2017 - Software Technologies: Applications and Foundations Message-ID: Final Joint Call for Papers: STAF 2017 Software Technologies: Applications and Foundations http://www.informatik.uni-marburg.de/staf2017/ July 17-21, 2017. Marburg, Germany STAF is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event ( http://tools.ethz.ch) in 2012. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools. In 2017, the following events are participating in STAF: --------------------- Main Events --------------------- * ECMFA - 13th European Conference on Modelling Foundations and Applications PC Chairs: Anthony Anjorin (University of Paderborn, Germany) and Huáscar Espinoza (Technalia, Spain) Keynote by Lionel C. Briand (University of Luxembourg) Call: http://ecmfaconference.wixsite.com/ecmfa2017 * ICGT - 10th International Conference on Graph Transformation PC Chairs: Detlef Plump (University of York, UK) and Juan de Lara (Universidad Autónoma de Madrid, Spain) Keynote by Georg Gottlob (University of Oxford, UK) Call: https://sites.google.com/site/gratra2017/home/ICGT17-CFP.pdf * ICMT - 10th International Conference on Model Transformation PC Chairs: Mark van de Brand (Eindhoven University of Technology, The Netherlands) and Esther Guerra (Universidad Autónoma de Madrid, Spain) Keynote by Ramon Schiffelers (ASML) Call: https://sites.google.com/site/icmt2017/cfp * TAP - 11th International Conference on Tests and Proofs PC Chairs: Einar Broch Johnsen (University of Oslo, Norway) and Sebastian Gabmeyer (Technische Universität Darmstadt, Germany) Call: http://www.seceng.informatik.tu-darmstadt.de/tap2017/call.html * TTC - 10th Transformation Tool Contest Organizers: Antonio Garcia-Dominguez (Aston University, UK), Filip Křikava (Northeastern University, USA), and Georg Hinkel (FZI Research Center of Information Technologies, DE) Call for Cases: http://www.transformation-tool-contest.eu/cfc.html --------------------- Satellite Events --------------------- * Doctoral Symposium Chairs: Davide Di Ruscio (University of L’Aquila, Italy) and Barbara König (Universität Duisburg-Essen, Germany) Call: http://www.informatik.uni-marburg.de/staf2017/index.php/call-doctoral-symposium/ * Workshops Chairs: Martina Seidl (JKU Linz, Austria) and Steffen Zschaler (King’s College London, UK) Call: http://www.informatik.uni-marburg.de/staf2017/index.php/call-for-workshops/ --------------------- Important Dates --------------------- * ECMFA, ICGT, ICMT and TAP: - Abstract submission: 17.02.2017 - Paper submission: 27.02.2017 * TTC: Case submission: 24.03.2017 (case solutions deadline follows) * Doctoral Symposium: 22.05.2017 * Workshop Papers: 21.04.2017 Social Media Coverage: * https://twitter.com/staf2017conf * https://www.facebook.com/staf2017/ Looking forward to high quality submissions, Pieter Van Gorp, Assistant Professor (UD) Information Systems Group, School of Industrial Engineering Eindhoven University of Technology (TU/e), The Netherlands Phone: +31 40 247 2062, Skype: pvgorp, Fax: +31 40 243 2612 http://is.ieis.tue.nl/staff/pvgorp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Jan 31 13:56:45 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 31 Jan 2017 14:56:45 +0200 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Call for Participation Message-ID: ** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMjIJTGlzdHMJMTg1CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017 *** Early Registration Deadline: February 7, 2017 *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMjIJTGlzdHMJMTg1CWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMjIJTGlzdHMJMTg1CWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMjIJTGlzdHMJMTg1CWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMjIJTGlzdHMJMTg1CWNsaWNrCXllcwlubw==&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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From fsen2017 at ipm.ir Tue Jan 31 19:53:23 2017 From: fsen2017 at ipm.ir (Marjan Sirjani) Date: Tue, 31 Jan 2017 13:53:23 -0500 Subject: [fg-arc] CfPart: FSEN 2017 Message-ID: <771c20a0-404c-7072-438d-a2dc9a1c90a8@ipm.ir> ###################################################################### FSEN 2017 Call for Participation Seventh International Conference on Fundamentals of Software Engineering 2017 Theory and Practice (FSEN'17) http://fsen.ir/2017/ Tehran, Iran 26 - 28 April, 2017 ###################################################################### For information on registration and accepted papers check the conference homepage. Keynote Speakers ---------------- Thomas A. Henzinger, IST, Austria Philippa Gardner, Imperial College London, UK Leon van der Torre, University of Luxembourg, Luxembourg