From riebisch at informatik.uni-hamburg.de Thu Dec 1 14:54:05 2016 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Thu, 1 Dec 2016 13:54:05 +0000 Subject: [fg-arc] Updated CfP for XP2017 - Deadline Dec 23th - Agile Software Development Message-ID: <9424A0E3-FBEA-4F57-970E-0F89E2F1643A@exchange.informatik.uni-hamburg.de> (We regret if you got this information more than once) ================================================================== XP 2017 ================================================================== The 18th International Conference on Agile Software Development May 22-26, 2017, Cologne, Pullman Hotel, Germany Theme: Uncovering better ways of developing software The 18th International Conference on Agile Software Development, XP 2017, is the leading international conference on agile and lean methods in software development. The conference aims to bring together industrial practitioners and researchers in the fields of agile software development, to collaboratively generate new insights, and to ultimately discover better ways of developing software. ************************************ CALL FOR RESEARCH PAPERS ************************************ We invite original, unpublished high-quality research papers related to agile and lean software development and organization. !!! Update: In addition to FULL PAPRES we also solicit SHORT PAPERS !!! Submissions will be reviewed by at least three members of the international program committee, but we reserve the right to desk reject submissions after a first screening on rigor and relevance. The XP 2017 conference proceedings will be published by Springer in the Lecture Notes in Business Information Processing (LNBIP). Submitted papers need to be submitted in the LNBIP format. !!! Update:The paper length of at most 15 pages for full papers and 7 pages for short papers will be strictly enforced !!! Areas of Interest ----------------- The topics of interest to the conference include, but are not restricted to, the following: * Agile approaches to requirements gathering, testing, release management and deployment * Tools and techniques for agile development * Qualitative/quantitative improvement techniques for agile processes and products * Empirical studies and evaluations * Agile sustainability, evolution and revolution * Adopting and adapting agile and lean in large projects and organizations * Agile practices in global software development and off-shoring * Foundations and conceptual studies of and for agile methods * Measurement and metrics for agile projects, agile processes, agile software and agile teams * Teaching and using agile methods in education and research Important dates ---------------- - Dec 23, 2016: Submission deadline - Feb 17, 2017: Acceptance notification - Mar 04, 2017: Camera ready deadline Submission ---------- Papers should be submitted through EasyChair: https://easychair.org/conferences/?conf=xp2017researchpapers Academic Program Chairs, XP 2017 Hubert Baumeister, Technical University of Denmark Horst Lichter, RWTH Aachen University Matthias Riebisch, Universität Hamburg From peter.schuller at marmara.edu.tr Thu Dec 1 08:50:05 2016 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Thu, 1 Dec 2016 10:50:05 +0300 (+03) Subject: [fg-arc] Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017 Message-ID: <20161201075005.E09082C0337@omsievews> Call for Workshop Proposals 14th International Conference on Logic Programming and Nonmonotonic Reasoning Espoo, Finland, July 3 - 6, 2017 URL: http://lpnmr2017.aalto.fi The 14th International Conference on Logic Programming and Nonmonotonic Reasoning will be held in Espoo, Finland from July 3 to 6, 2017. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. Workshops collocated with LPNMR are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems regarding the topics of LPNMR, which include, but 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. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. 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. We expect the workshops to be on July 3, 2017. Workshop Proposal: ================== Those interested in organizing a workshop at LPNMR 2017 are invited to submit a workshop proposal. Proposals should be in English and about 1-2 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 timeline and relevance of the workshop * A list of some related workshops held in the recent years * An estimate of the number of expected attendees * The names, affiliation, and contact details (email, web page) of the workshop organizer(s) together with a designated contact person * The previous experience of the workshop organizing committee in workshop/conference organization Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Joohyung Lee, joolee at asu.edu) by email no later than December 20, 2016. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and the scope of LPNMR will be selected. The decision will be notified by email to the responsible organizer by December 27, 2016. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means * 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 * Sending workshop program and workshop proceedings in pdf format to the Workshop Chair for distribution at the conference (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From ingridcy at ifi.uio.no Fri Dec 2 19:54:21 2016 From: ingridcy at ifi.uio.no (Ingrid Chieh Yu) Date: Fri, 2 Dec 2016 18:54:21 +0000 Subject: [fg-arc] iFM 2017: final Call for Workshops Proposals Message-ID: <0DD5448A-2E07-4573-BBDB-7D6AA15D6082@ifi.uio.no> Final Call for Workshops Proposals The 13th International Conference on integrated Formal Methods (iFM 2017) Turin, Italy September 18th - 22nd, 2017 http://www.ifm2017.di.unito.it/ ************************************************************************* Important Dates =============== - Workshop proposals due: *Monday, 19 December, 2016* - Workshop proposals notification: Monday, January 16, 2017 - Workshops: September 18-19, 2017 About iFM ========= iFM 2017 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Workshops can have the duration of one or two days. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on September 18-19, 2017. Proposal and Submission Guidelines ================================== Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to the iFM workshop chairs, Wolfgang Ahrendt > and Michael Lienhardt >. Proposals should include: - The name, the duration (1 or 2 days) and the preferred date of the proposed workshop - A short description of the workshop. - If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. - The publicity strategy that will be used by the workshop organizers to promote the workshop. - The participant solicitation and selection process. - The target audience and expected number of participants. - Approximate budget proposal (see section Budget below for details). - The equipment and any other resource necessary for the organization of the workshop. - The name and short CV of the organizer(s). - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). Organizers Responsibilities =========================== The scientific responsibility of organizing a workshop is on the workshop organizers. In particular, they are responsible for the following items: - A workshop description (200 words) for inclusion in the iFM site. - Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages. - Workshop proceedings, if any. If there is sufficient interest, the iFM 2017 workshop organizers may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2017. - Workshop publicity (possibly including call for papers, submission and review process). - Scheduling workshop activities in collaboration with the iFM workshop chairs. Budget ====== The iFM organization will provide registration and organizational support for the workshops (including linking from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid by all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by STILEMA S.r.l. as part of the iFM registration. STILEMA S.r.l. will require the workshop fees as requested by each workshop organizer. Evaluation Process ================== The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples: iFM 2016: http://en.ru.is/ifm/calls/ iFM 2014: http://ifm2014.cs.unibo.it/workshops.html iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html iFM 2010: http://ifm2010.loria.fr/satellite.html iFM 2009: http://www.formal-methods.de/ifm09/workshops.html Venue ===== iFM 2017 will take place at the Cavallerizza Reale in Turin, Italy. The Cavallerizza Reale is set in the center of Turin, close to many historical buildings of the city, like the Mole Antonelliana, the royal palace of Turin, Palazzo Madama, Palazzo Carignano and the main building of the University. Further Information and Enquiries ================================= You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt > and Michael Lienhardt > — 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 Sat Dec 3 13:35:44 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 3 Dec 2016 14:35:44 +0200 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Second Call for Papers and Special Sessions & Workshops Proposals Message-ID: *** Second 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zICYgV29ya3Nob3BzIFByb3Bvc2Fscwk5OAlMaXN0cwkyMzMJY2xpY2sJeWVzCW5v&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zICYgV29ya3Nob3BzIFByb3Bvc2Fscwk5OAlMaXN0cwkyMzMJY2xpY2sJeWVzCW5v&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 Fri Dec 2 15:55:39 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 2 Dec 2016 16:55:39 +0200 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Call for Student Consortium (and Travel Award) Message-ID: Are you a Master's or Doctoral student? Want feedback about and mentorship for your research from senior researchers and other students? Apply to the IUI 2017 Student Consortium (and for a travel award)! The deadline is December 18th! *** Call for Student Consortium (and Travel Award) *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFN0dWRlbnQgQ29uc29ydGl1bSAoYW5kIFRyYXZlbCBBd2FyZCkJOTYJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017%2Fstudcons.html 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. About Student Consortium The IUI 2017 Student Consortium provides an opportunity for Masters and Doctoral students to present and receive feedback about their research in an interdisciplinary workshop, under the guidance of a panel of mentors selected from senior people in the field. We invite students who feel they would benefit from this kind of feedback on their research to use this unique opportunity to share their work with students in a similar situation as well as senior researchers in the field. The consortium will be organized with 8 to 12 presentations by the students, whose applications have been selected by the Student Consortium chairs. The strongest candidates will be those who have a clear topic and research approach, and have made some progress, but who are not so far along in their research that they can no longer make changes. The final version of accepted SC submissions will be included in the "Companion" volume of the proceedings along with workshops, tutorials, posters and demos and will be published at the ACM DL. Complimentary/reduced conference registration will be available for students. Student Consortium participants will be given high priority when applying for the student travel awards. Moreover, we are working to provide partial reimbursement of travel/accommodation expenses specifically for the participants of the Student Consortium. Check the details on the travelling grants page and make sure to apply. Objectives The objectives of the student consortium are to: · Serve as a supportive setting to provide/receive feedback on students' current doctoral and masters' research and guidance on future research directions · Offer each student comments and fresh perspectives on their work from researchers and students outside of their own institution · Promote the development of a supportive community of scholars and a spirit of collaborative research · Contribute to the conference goals through interaction with other researchers and conference events Submission Instructions To apply for the Student Consortium, please submit to the URL below a single PDF containing the following (in order): · A brief cover letter containing your full name, contact details, affiliation, web page, expected graduation date and target degree, the name of your thesis advisor, gender (optional), home country (optional), and whether you are a member of an underrepresented minority group (optional) one page maximum) · Your SC submission: a document describing your thesis/dissertation research plan and your progress thus far. This document should be in standard ACM Extended Abstract format http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFN0dWRlbnQgQ29uc29ydGl1bSAoYW5kIFRyYXZlbCBBd2FyZCkJOTYJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fchi2015.acm.org%2Fauthors%2Fformat%2F%23extendedformat%29 and should be no more than four pages long · A two-page CV Submit your single, combined PDF to http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFN0dWRlbnQgQ29uc29ydGl1bSAoYW5kIFRyYXZlbCBBd2FyZCkJOTYJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fprecisionconference.com%2F%7Esigchi%2F by December 18th, 2016. In addition, a letter of recommendation from your thesis or doctoral advisor should be sent separately by email to the Student Consortium Co-Chairs at studentconsortium2016 at iui.acm.org. Important Dates · Submissions Due: December 18, 2016 · Notifications: January 8, 2017 Student Consortium Chairs Peter Brusilovsky, University of Pittsburgh, USA Katrien Verbert, KU Leuven, Belgium Contact: studentconsortium2017 at iui.acm.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun Dec 4 11:33:38 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 04 Dec 2016 11:33:38 +0100 Subject: [fg-arc] BigDat 2017: early registration December 16 Message-ID: <545102060a010b01015f520b00025a57505e575356500e5951515a5550520152040550035608055204555502020559@grlmc_ip-zone_com-6> BigDat 2017: early registration December 16*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/   ********************************************************   --- Early registration deadline: December 16, 2016 ---   ********************************************************   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: (to be completed)   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 in 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 florentinalilica.voicu (at) urv.cat 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 Florentina Lilica Voicu   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:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGMENTS:   Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Dec 4 17:09:28 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 4 Dec 2016 18:09:28 +0200 Subject: [fg-arc] 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): First Call for Papers Message-ID: *** First 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTEwMAlMaXN0cwkyMTQJY2xpY2sJeWVzCW5v&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTEwMAlMaXN0cwkyMTQJY2xpY2sJeWVzCW5v&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 Dec 5 10:31:08 2016 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Mon, 5 Dec 2016 12:31:08 +0300 (+03) Subject: [fg-arc] Call for Participation: Practical Aspects of Declarative Languages (PADL) Paris, France, January 16/17, 2017 Message-ID: <20161205093108.F02142C0348@omsievews> Practical Aspects of Declarative Languages (PADL 2017) 16th and 17th January 2017 Paris, France Co-located with 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) http://popl17.sigplan.org/track/PADL-2017 Program The 16th of January: 8:50- 9 Opening Remarks 9-10 Invited Talk by Gopal Gupta. Developing Large-scale Knowledge-based Systems with Predicate Answer Set Programming 10 -10:30 Coffee Break 10:30-12 Answer Set Programming Joost Vennekens. Lowering the learning curve for declarative programming: a Python API for the IDP system Christoph Redl. Extending Answer Set Programs with Interpreted Functions as First-class Citizens Jakob Rath and Christoph Redl. Integrating Answer Set Programming with Object-oriented Languages 12-14 Lunch 14-15:30 Testing and Games: Jonathan Fowler and Graham Hutton. Failing Faster: Overlapping Patterns for Property-Based Testing Maciej Bendkowski, Katarzyna Grygiel and Paul Tarau. Boltzmann Samplers for Closed Simply-Typed Lambda Terms (Best Student Paper Award) Paulo Oliva, Jules Hedges, Viktor Winschel, Philipp Zahn and Evguenia Shprits. Selection Equilibria of Higher-Order Games 15:30 -16 Coffee Break 16-17:30 Applications I and Inference Geoffrey Mainland. A Domain-Specific Language for Software-Defined Radio Felix Klock. A Declarative DSL for Customized Rendering of Text-Based Art Theofrastos Mantadelis and Ricardo Rocha. Using Iterative Deepening for Probabilistic Logic Inference The 17th of January: 9-10 Applications II Henrik Nilsson and Guerric Chupin. Funky Grooves: Declarative Programming of Full-Fledged Musical Applications Stefania Costantini, Giovanni De Gasperis and Giulio Nazzicone. DALI for Cognitive Robotics: Principles and Prototype Implementation 10 -10:30 Coffee Break 10:30-12 Programming languages Sergio Antoy and Michael Hanus. Eliminating Irrelevant Non-determinism in Functional Logic Programs Neng-Fa Zhou and Jonathan Fruhman. Canonicalizing High-Level Constructs in Picat (Most Practical Paper Award) Besik Dundua, Temur Kutsia and Klaus Reisenberger-Hagmayer. An Overview of PrhoLog 12 Closing Remarks (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From andrea.rosa at usi.ch Tue Dec 6 18:24:23 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 6 Dec 2016 17:24:23 +0000 Subject: [fg-arc] Workshops @ ACM/SPEC ICPE 2017 - Call for Papers Message-ID: <839441DD-B82A-4BEF-B830-BF1955512BBB@usi.ch> ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ We are pleased to announce that 8 workshops will be held in conjunction with ICPE 2017. Please find below the call for papers and the relevant information for each workshop. ------------------------------------------------------------------------ ACCEPTED WORKSHOPS ------------------------------------------------------------------------ The following workshops will be held in conjunction with ICPE 2017 (alphabetically listed): - ACPROSS: 1st International Workshop on Autonomous Control for Performance and Reliability Trade-offs in Internet of Services - ENERGY-SIM: 3rd International Workshop on Energy-aware Simulation - LTB: 6th International Workshop on Load Testing and Benchmarking of Software Systems - MoLS: 1st International Workshop on Monitoring in Large-Scale Software Systems - PABS: 3rd International Workshop on Performance Analysis of Big Data Systems - QUDOS: 3rd International Workshop on Quality-aware DevOps - WEPPE: 1st Workshop on Education and Practice of Performance Engineering - WOSP-C: 3rd Workshop on Challenges in Performance Methods for Software Development ------------------------------------------------------------------------ ACPROSS ------------------------------------------------------------------------ 1st International Workshop on Autonomous Control for Performance and Reliability Trade-offs in Internet of Services (ACPROSS'17) April 22, 2017 http://www.ce.uniroma2.it/acpross2017/ ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 17, 2017 Workshop date: April 22, 2017 ------------------------------------------------------------------------ CALL FOR PAPER The paradigm shift from an information-oriented Internet into an Internet of Services (IoS) has opened up virtually unbounded possibilities for creating and deploying new services. In this reshaped ICT landscape, critical software systems, which include IoT, cloud services, softwarized networks, etc., essentially consist of large-scale service chains, combining and integrating the functionalities of (possibly huge) numbers of other services offered by third parties. In this context, one of the most challenging problems is the provision of service chains which offer an adequate level of performance, reliability and quality perceived by the end users, based on a large offering of multiple functionally equivalent services that not only differ in terms of performance and reliability characteristics, but might also exhibit a churn rate and time varying behavior. Motivated by this, the aim of this workshop is to create a follow-up of European network of experts, from both academia and industry, aiming at the development of autonomous control methods and algorithms for discussing a high quality, well-performing and reliable IoS. Some keywords of the workshop include: autonomous control, performance, Quality of Experience, Quality of Service, reliability, elasticity, softwarized networks and pricing. The workshop is supposed to share new findings, exchange ideas, discuss research challenges and report latest research efforts that cover a variety of topics including, but not limited to: - Autonomous control in Internet of Things, distributed clouds, multi-clouds and softwarized networks - Cross-layer Quality of Experience (QoE) and Quality of Service (QoS) management - Methods and models for resilient Internet of Services - Modeling and performance tools for the Internet of Services - QoS and QoE modeling and monitoring for the Internet of Services - User-centric, context-aware QoE monitoring and network management for the Internet of Services - QoE in the context of time-aware applications, computers and communication systems of the Internet of Services - QoS-, elasticity-, energy- and price-aware resource selection for the Internet of Services - Scheduling, resource management, admission control for the Internet of Services - Autonomous control, modeling, resilience, resource management, and admission control for software performance and reliability trade-offs ------------------------------------------------------------------------ SUBMISSION GUIDELINES We call for original and unpublished papers describing research results, experience, visions or new initiatives. Submitted manuscripts should not exceed 6 pages double column, including figures, tables, references and appendices, and should be in the standard ACM format for conference proceedings (see formatting templates for details: http://www.acm.org/publications/proceedings-template). Papers should be submitted as PDF files via Easychair at https://easychair.org/conferences/?conf=acpross2017. At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be included in the ICPE 2017 proceedings companion volume that will be published by ACM and included in the ACM Digital Library. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Co-Chairs: - Valeria Cardellini, University of Rome Tor Vergata, Italy - Francesco Lo Presti, University of Rome Tor Vergata, Italy - Peter Pocta, University of Zilina, Slovak Republic Program Committee: - Hans van den Berg, University of Twente, Netherlands - Emiliano Casalicchio, Blekinge Institute of Technology, Sweden - Valerio Di Valerio, Sapienza University of Rome, Italy - Tihana Galinac Grbac, University of Rijeka, Croatia - Yoram Haddad, Jerusalem College of Technology, Israel - Tobias Hossfeld, University Duisburg-Essen, Germany - Stefano Iannucci, Mississippi State University - Andreas Kassler, Karlstad University, Sweden - Attila Kertesz, University of Szeged, Hungary - Steven Latre, University of Antwerp, Belgium - Pasi Lassila, Aalto University, Finland - Philipp Leitner, University of Zurich, Switzerland - Hugh Melvin, National University of Ireland Galway, Ireland - Barbara Pernici, Politecnico of Milan, Italy - Raimund Schatz, Austrian Institute of Technology, Austria - Martin Varela, VTT Technical Research Centre of Finland, Finland - Andrej Zgank, University of Maribor, Slovenia - Thomas Zinner, University of Wurzburg, Germany Publicity and Web Chair: - Matteo Nardelli, University of Rome Tor Vergata, Italy ------------------------------------------------------------------------ ENERGY-SIM ------------------------------------------------------------------------ 3rd International Workshop on Energy-aware Simulation (ENERGY-SIM’17) April 23, 2017 http://energy-sim.org/2017/ ------------------------------------------------------------------------ IMPORTANT DATES Abstract submission deadline: January 3, 2017 Paper submission deadline: January 10, 2017 Notification of acceptance: February 8, 2017 Camera-ready submission: February 17, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ SCOPE The energy impact of IT infrastructures is a significant resource issue for many organisations. The Natural Resources Defence Council estimates that US data centers alone consumed 91 billion kilowatt-hours of electrical energy in 2013 – enough to power the households of New York twice-over – and this is estimated to grow to 139 billion kilowatt-hours by 2020. However, this is an underestimation as this figure fails to take into account other countries and all other computer usage. There are calls for reducing computer energy consumption to bring it in line with the amount of work being performed – so-called energy proportional computing. In order to achieve this we need to understand both where the energy is being consumed within a system and how modifications to such systems will affect the functionality (such as QoS) and the energy consumption. Monitoring and changing a live system is often not a practical solution. There are cost implications in doing so, and it normally requires significant time in order to fully ascertain the long-term trends. There is also the risk that any changes could lead to detrimental impacts, either in terms of the functionality of the system or in the energy consumed. This can lead to a situation where it is considered too risky to perform anything other than the most minor tweaks to a system. The use of modelling and simulation provides an alternative approach to evaluating where energy is being consumed, and assessing the impact of changes to the system. It also offers the potential for much faster turn-around and feedback, along with the ability to evaluate the impact of many different options simultaneously. ENERGY-SIM 2017 seeks original work that is focused on addressing new research and development challenges, developing new techniques, and providing case studies, related to energy-aware simulation and modelling. Specific topics of interest to ENERGY-SIM 2017 include, but are not limited to, the following: - Simulation/Modelling for energy reduction - Estimation of energy consumption - Evaluation of techniques to reduce consumption - Simulation/Modelling for smart-grids - Simulation/Modelling of micro- and macro-level energy generation and supply - Simulation/Modelling of smart-grid deployments - Simulation/Modelling of energy in computer systems - Data centre simulation/modelling - Individual component simulation/modelling - Multi-scale system simulation/modelling - Simulation/Modelling for energy in the Internet of Things - Simulation/Modelling of Internet of Things systems including battery operated systems - Simulation/Modelling of energy scavenging approaches - Performance and validation of energy-aware simulations and modelling - Benchmarking and analytical results - Empirical studies - Theoretical foundations of energy-aware simulation/modelling - Theoretical models for energy-aware simulation/modelling - Energy-aware simulation/modelling packages and tools - Energy-aware simulation/modelling packages under development from the community ------------------------------------------------------------------------ SUBMISSION GUIDANCE Papers will be accepted in one of two formats: - Short work in progress/position papers, up to 4 pages in length - Full papers, up to 6 pages in length Papers describing significant research contributions of theoretical and/or practical nature are being solicited for submission. Authors are invited to submit original, high-quality papers presenting new research related to energy-aware simulations. The papers that are accepted and presented at the workshop will be published by ACM and disseminated through the ACM Digital Library. It is intended that the best papers will be put forward for a Journal special edition post workshop. Submission will be made via EasyChair: https://easychair.org/conferences/?conf=energysim17 ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Chair: - Matthew Forshaw, Newcastle University, UK Program Committee: - Erol Gelenbe, Imperial College London, UK - Helen Karatza, Aristotle University of Thessaloniki, Greece - Ibad Kureshi, Durham University, UK - Mehrgan Mostowfi, University of Northern Colorado, USA - Omer Rana, Cardiff University, UK - Nigel Thomas, Newcastle University, UK - Ananta Tiwari, San Diego Supercomputer Center, USA General Chair: - Stephen McGough, Durham University, UK ------------------------------------------------------------------------ LTB ------------------------------------------------------------------------ 6th International Workshop on Load Testing and Benchmarking of Software Systems (LTB'17) April 23, 2017 http://ltb2017.eecs.yorku.ca/ ------------------------------------------------------------------------ IMPORTANT DATES Technical paper submission deadline: January 10, 2017 Technical paper notification of acceptance: February 1, 2017 Presentation submission deadline: March 20, 2017 Presentation notification of acceptance: March 24, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ CALL FOR PAPERS Software systems (e.g., smartphone apps, desktop applications, e-commerce systems, IoT infrastructures, big data systems, and enterprise systems, etc.) have strict requirements on software performance. Failure to meet these requirements will cause customer dissatisfaction and negative news coverage. In addition to conventional functional testing, the performance of these systems must be verified through load testing or benchmarking to ensure quality service. Load testing examines the behavior of a system by simulating hundreds or thousands of users performing tasks at the same time. Benchmarking evaluates a system's performance and allows to optimize system configurations or compare the system with similar systems in the domain. Load testing and benchmarking software systems are difficult tasks, which requires a great understanding of the system under test and customer behavior. Practitioners face many challenges such as tooling (choosing and implementing the testing tools), environments (software and hardware setup) and time (limited time to design, test, and analyze). This oneday workshop brings together software testing researchers, practitioners and tool developers to discuss the challenges and opportunities of conducting research on load testing and benchmarking software systems. We solicit the following two tracks of submissions: technical papers (maximum 4 pages) and presentation track for industry or experience talks (maximum 700 words extended abstract). Technical papers should follow the standard ACM SIG proceedings format and need to be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=lt2017. Extended abstracts need to be submitted as “abstract only” submissions via EasyChair. Accepted technical papers will be published in the ICPE 2017 Proceedings. Materials from the presentation track will not be published in the ICPE 2017 proceedings, but will be made available on the workshop website. Submitted papers can be research papers, position papers, case studies or experience reports addressing issues including but not limited to the following: - Efficient and cost-effective test executions - Rapid and scalable analysis of the measurement results - Case studies and experience reports on load testing and benchmarking - Load testing and benchmarking on emerging systems (e.g., adaptive/autonomic systems, big data batch and stream processing systems, and cloud services) - Load testing and benchmarking in the context of agile software development process - Using performance models to support load testing and benchmarking - Building and maintaining load testing and benchmarking as a service - Efficient test data management for load testing and benchmarking ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Committee: - Bram Adams, Polytechnique Montreal, Canada - Cor-Paul Bezemer, Queen's University, Canada - Andreas Brunner, RETIT GmbH, Germany - Christoph Csallner, University of Texas at Arlington, USA - Holger, Eicrhelberger, University of Hildesheim, Germany - Greg Franks, Carleton University, Canada - Vahid Garousi, Hacettepe University, Turkey - Shadi Ghaith, IBM, Ireland - Wilhelm Hasselbring, Kiel University, Germany - Robert Heinrich, Karlsruher Institute of Technology, Germany - André van Horn, University of Stuttgart, Germany - Robert Horror, EMC Isilon, USA - Pooyan Jamshidi, Imperial College London, United Kingdom - Diwakar Krishnamurthy, University of Calgary, Germany - Alexander Podelko, Oracle, USA - Weiyi Shang, Concordia University, Canada - Gerson Sunyé, University of Nantes, France Organizers: - Johannes Kroß, fortiss GmbH, Germany - Zhen Ming (Jack) Jiang, York University, Canada Steering Committee: - Ahmed E. Hassan, Queen’s University, Canada - Marin Litoiu, York University, Canada - Zhen Ming (Jack) Jiang, York University, Canada ------------------------------------------------------------------------ MoLS ------------------------------------------------------------------------ 1st International Workshop on Monitoring in Large-Scale Software Systems (MoLS'17) April 23, 2017 http://mevss.jku.at/mols2017 ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 9, 2017 Notification of acceptance: January 31, 2017 Camera-ready submission: February 8, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ MOTIVATION AND GOALS Large-scale, heterogeneous software systems such as cyber-physical systems, cloud-based systems, or service-based systems are ubiquitous in many domains. Often, such systems are systems of systems working together to fulfill common goals resulting from domain or customer requirements. Such systems' full behavior emerges only at runtime, when the involved systems interact with each other, with hardware, third-party systems, or legacy systems. Thus, engineers are interested in monitoring the overall system at runtime ñ for instance, to verify components' correct timing or measure performance and resource consumption. Monitoring can happen continuously at runtime, to give instant feedback on behavior violations, or post hoc, on the basis of recorded event traces and data logs. The complexity and heterogeneity of large-scale software systems, however, complicates runtime monitoring. Properties must be checked across the boundaries of multiple constituent systems and heterogeneous, domain-specific technologies must be instrumented. Also, different types of properties must be checked at runtime, including global invariants and exceptions, range checks of variables, temporal constraints on events, or architectural rules constraining component interactions. Finally, systems exist in many different versions and variants owing to the continuous, independent evolution of their constituent systems. Adaption and reconfiguration of monitoring solutions thus becomes essential. This workshop aims to explore and explicate the current status and ongoing work on monitoring in large-scale software systems and the transfer of knowledge between different disciplines and domains. A particular goal of the workshop is thus to bring together different communities working on monitoring approaches such as (application) performance and resource monitoring, requirements monitoring, and runtime verification. The workshop also aims at bringing together researchers and practitioners to discuss practical problems vs. potential solutions. Future directions for research will be outlined based on challenges discussed and the needs expressed by the participants. The workshop thus has the following objectives: (i) Discuss how monitoring can be supported in large-scale software systems (state of the art). (ii) Discuss open challenges in research and practice. ------------------------------------------------------------------------ TOPICS OF INTEREST We particularly encourage research papers based on industrial experience and empirical studies, as well as papers, which identify and structure open challenges and research questions. We are interested in all topics related to monitoring in large-scale soft-ware systems (systems of systems, cloud-based systems, service-oriented systems, big-data systems, business processes, cyber-physical systems, automation production/automotive systems, etc.). This includes, but is not limited to: - Requirements monitoring in large-scale systems - Runtime verification of large-scale systems - Complex event processing in large-scale systems - Performance monitoring in large-scale systems - Monitoring along the continuum, from the data source to fog- and cloud-based solutions - Supporting monitoring in large-scale systems with... - Requirements as runtime entities - Models at runtime - Runtime constraint checking - Visualization techniques - Human-computer interaction for operators - Monitoring as a means to support evo-lution and/or maintenance in large-scale systems - Monitoring in the context of DevOps/ continuous deployment/integration - Tools and frameworks for monitoring large-scale systems ------------------------------------------------------------------------ SUBMISSION GUIDELINES We are seeking for research papers and experience reports (4-8 pages) as well as position and vision papers (4 pages max) in ACM Proceedings Style (http://www.acm.org/publications/proceedings-template). Submissions will be selected based on the relevance to the workshop topics and the suitability to trigger discussions. Papers should be submitted as PDF files via EasyChair: https://www.easychair.org/conferences/?conf=mols2017 ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Committee: - Luciano Baresi, Polimi, Milano, Italy - Thomas Bures, Charles University Prague, Czech Republic - Jane Cleland-Huang, University of Notre Dame, IN, USA - Mads Dam, KTH/CSC, Stockholm, Sweden - Alexey Fishkin, Siemens CT, Munich, Germany - Paul Grünbacher, JKU Linz, Austria - Andre van Hoorn, University of Stuttgart, Germany - Christian Inzinger, University of Zürich, Switzerland - Andrea Janes, Free University of Bozen-Bolzano, Italy - Falko Kötter, Fraunhofer IAO, Stuttgart, Germany - Patrick Mäder, TU Ilmenau, Germany - Olivier Perrin, Nancy 2 University, France - Klaus Schmid, University of Hildesheim, Germany - Jocelyn Simmonds, University of Chile, Chile - Oleg Sokolsky, University of Pennsylvania, USA - Uwe Zdun, University of Vienna, Austria ... and the workshop organizers Organizers: - Rick Rabiser (JKU Linz, Austria) - Michael Vierhauser (JKU Linz, Austria) - Sam Guinea (Polimi, Italy) - Wilhelm Hasselbring (CAU Kiel, Germany) ------------------------------------------------------------------------ PABS ------------------------------------------------------------------------ 3rd International Workshop on Performance Analysis of Big data Systems (PABS'17) April 22, 2017 http://ripsac.web2labs.net/pabs ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 22, 2017 ------------------------------------------------------------------------ SCOPE OF THE WORKSHOP The workshop on performance analysis of big data systems (PABS) aims at providing a platform for scientific researchers, academicians and practitioners to discuss techniques, models, benchmarks, tools, case studies and experiences while dealing with performance issues in traditional and big data systems. The primary objective is to discuss performance bottlenecks and improvements during big data analysis using different paradigms, architectures and big data technologies. We propose to use this platform as an opportunity to discuss systems, architectures, tools, and optimization algorithms that are parallel in nature and hence make use of advancements to improve the system performance. This workshop shall focus on the performance challenges imposed by big data systems and on the different state-of-the-art solutions proposed to overcome these challenges. The accepted papers shall be published in ACM proceedings and digital library. ------------------------------------------------------------------------ TOPICS All novel performance analysis or prediction techniques, benchmarks, architectures, models and tools for data-intensive computing system for optimizing application performance on cutting-edge high performance solutions are of interest to the workshop. Examples of topics include but not limited to: - Performance analysis and optimization of Big data systems and technologies. - Big data analytics using machine learning - In-memory analysis of big data - Performance Assured migration of traditional systems to Big data platforms - Deployment of Big Data technology/application on High performance computing architectures. - Case studies/ Benchmarks to optimize/evaluate performance of Big data applications/systems and Big data workload characterizations. - Tools or models to identify performance bottlenecks and /or predict performance metrics in Big data - Performance analysis while querying, visualization and processing of large network datasets on clusters of multicore, many core processors, and accelerators. - Performance issues in heterogeneous computing for Big data architectures. - Analysis of Big data applications in science, engineering, finance, business, healthcare and telecommunication etc. - Data structure and algorithms for performance optimizations in Big data systems. - Data intensive computing - Tools for big data analytics and management ------------------------------------------------------------------------ SUBMISSION GUIDELINES Submissions describing original, unpublished recent results related to the workshop theme, upto 6 pages in standard ACM format can be submitted through the easychair conference system, following this link: https://easychair.org/conferences/?conf=pabs17. More information on ACM format is available on ICPE 2017 web page. Accepted technical papers will be published in the ICPE 2016 Proceedings. In case of any difficulty please contact rekha.singhal at tcs.com or d.chahal at tcs.com. The submissions must be in pdf format. ------------------------------------------------------------------------ PROGRAM COMMITTEE Program Co-Chairs: - Rekha Singhal, TCS Research, India rekha.singhal at tcs.com - Dheeraj Chahal, TCS Research, India d.chahal at tcs.com Program committee: - Amy Apon, Clemson University, USA - Dhableshwar Panda, Ohio State University , USA - Gautam Shroff, TCS Innovation Lab, India - Kishor Trivedi, Duke University, USA - Rajesh Mansharamani, Consultant, India - Jeff Ullman, Stanford University and Gradiance, USA - Saumil Merchant, Shell, India - Sebastien Goasguen, Citrix, Switzerland - Steven J Stuart, Clemson University, USA - Vikram Narayana, George Washington University, USA - Tilmann Rabl, DIMA, Toronto, Canada ------------------------------------------------------------------------ QUDOS ------------------------------------------------------------------------ 3rd International Workshop on Quality-Aware DevOps (QUDOS’17) April 27, 2017 http://qudos2017.fortiss.org/ ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 18, 2017 Workshop date: April 27, 2017 ------------------------------------------------------------------------ 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/ ------------------------------------------------------------------------ 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. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Co-Chairs: - Elisabetta Di Nitto, Politecnico di Milano, Italy - Philipp Leitner, University of Zurich, Switzerland 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 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 ------------------------------------------------------------------------ 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). ------------------------------------------------------------------------ WEPPE ------------------------------------------------------------------------ 1st Workshop on Education and Practice of Performance Engineering (WEPPE’17) April 23, 2017 https://weppe.sonatype.com/index.html ------------------------------------------------------------------------ IMPORTANT DATES Abstract Submission deadline: January 3, 2017 Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the Workshop on Education and Practice of Performance Engineering is to bring together University researchers and Industry Performance Engineers to share education and practice experiences. We are interested in creating opportunities to share experiences between researchers that are actively teaching performance engineering and of Performance Engineers that are applying Performance Engineering techniques in industry. Topics of interest to the include, but are not limited to: - Education and or Practice of Performance in the data center, cloud, and Internet of Things - Education and or Practice of Performance methods in software development - Education and or Practice of Model-driven performance engineering - Education and or Practice of Performance modeling and prediction - Education and or Practice of Performance measurement and experimental analysis - Education and or Practice of Benchmarks (workloads, scenarios, and implementations) - Education and or Practice of Run-time performance and capacity management - Education and or Practice of Performance in cloud, virtualized, and multi-core systems - Education and or Practice of Performance-driven resource and power management - Education and or Practice of Performance of big data systems - Education and or Practice of Performance modeling and evaluation in other domains - Education and or Practice of Performance requirements specification - Education and or Practice of Performance testing and validation - Education and or Practice of Relationship between performance engineering and architecture - Education and or Practice of All other topics related to performance engineering ------------------------------------------------------------------------ SUBMISSION GUIDELINES A variety of contribution styles for papers are solicited including: two-page abstracts, presentation, basic and applied research papers for novel scientific insights, industrial and experience papers reporting on education and or practice of the application of performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions need to be uploaded to ICPE’s easychair installation at https://easychair.org/confereces/?conf=weppe-2017 At least one author of each accepted paper is required to register at workshop at the full rate, attend the workshop and present the paper. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference there will be a call for a special issue of a journal. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE General Chairs: - Alberto Avritzer, Sonatype, USA - Alexandru Iosup, Delft University of Technology, The Netherlands Program Committee (preliminary) - Alberto Avritzer, Sonatype - Andre Bondi, Software Performance and Scalability Consulting - Vittorio Cortellessa, L’Aquila University - Vincenzo Grassi, Tor Vergata University - Andre Van Hoorn, Univ Stuttgart - Alex Iosup, Delft University - Raffaela Mirandola, Politecnico Milano - Manoj Nambiar, Tata Consultancy Services - Dorina Petriu, Carleton Univ. - Kishor Trivedi, Duke Univ. - Catia Trubiani, GSSI L’Aquila - Murray Woodside, Carleton Univ. Website Chair: - Thad Watson, Sonatype ------------------------------------------------------------------------ WOSP-C ------------------------------------------------------------------------ 3rd Workshop on Challenges in Performance Methods for Software Development (WOSP-C'17) April 22, 2017 https://wosp-c.spec.org/ Contact: André B. Bondi > ------------------------------------------------------------------------ IMPORTANT DATES Abstract submission deadline: January 3, 2017 Paper submission deadline: January 10, 2017 Notification of acceptance: February 3, 2017 Camera-ready submission (hard-deadline): February 17, 2017 Workshop date: April 22, 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 microservice architectures ------------------------------------------------------------------------ FEATURED SPEAKER Dr. Alberto Avritzer, Sonatype Inc., USA: Performance Assessment of High-Availability Systems Using Markov Chains. ------------------------------------------------------------------------ SUBMISSION 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 Program Chair: - André B. Bondi, Software Performance and Scalability Consulting LLC, USA Web Co-Chairs: - Cathy Sandifer SPEC, USA - Ivan Letteri, University of L’Aquila Program Committee: - 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 p.m.e.v.gorp at tue.nl Wed Dec 7 21:45:47 2016 From: p.m.e.v.gorp at tue.nl (Pieter Van Gorp) Date: Wed, 7 Dec 2016 21:45:47 +0100 Subject: [fg-arc] Joint Call for Papers: Software Technologies: Applications and Foundations (STAF 2017) Message-ID: 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) 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) 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 speaker (confirmed): 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 Proposals*: 15.12.2016 Looking forward to high quality submissions, also on behalf of the various committees, 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 Thu Dec 8 14:27:40 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 8 Dec 2016 15:27:40 +0200 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Second Call for Doctoral Consortium Message-ID: *** Second 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2Vjb25kIENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JMTAzCUxpc3RzCTIxNAljbGljawl5ZXMJbm8=&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2Vjb25kIENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JMTAzCUxpc3RzCTIxNAljbGljawl5ZXMJbm8=&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2Vjb25kIENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JMTAzCUxpc3RzCTIxNAljbGljawl5ZXMJbm8=&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 andrea.rosa at usi.ch Tue Dec 13 10:40:50 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 13 Dec 2016 09:40:50 +0000 Subject: [fg-arc] ACM/SPEC ICPE 2017 - Call for Posters and Demonstrations Message-ID: <854D4922-56DD-47F6-8F05-1A94FD7C5F06@usi.ch> ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Posters and Demonstrations Submission: Dec 23, 2016 Posters and Demonstrations Notification: Jan 16, 2017 ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. ------------------------------------------------------------------------ CALL FOR POSTERS AND DEMONSTRATIONS Posters provide a forum for authors to present their work in an informal and interactive setting, allowing the authors and the interested participants to engage in discussions about the work presented. The contents of a poster should motivate the relevance of the presented work to the performance engineering community, briefly summarize the goals and status of the work, and provide pointers to further information and related work. Demonstrations provide an opportunity to showcase an existing tool or a research prototype, and would be also a welcome addition to an accepted research, work in progress, or industrial track paper. The authors are expected to prepare a 5-minute "teaser" presentation and subsequently perform a live demonstration on their own equipment during a dedicated demonstration session. Best Poster and a Best Demonstration prizes will be awarded in recognition of outstanding poster presentations or live demonstrations. More information can be found at https://icpe2017.spec.org/submissions/posters-and-demonstrations.html ------------------------------------------------------------------------ SUBMISSION OPTIONS Both poster and demo submissions can be accompanied by a 2-page paper, clearly identifying the novelty of the ideas presented on a poster, or involved in building the showcased tool or a prototype. Demonstration papers may include uses cases or specific results presented during the live demonstration. Both poster and demonstration papers will be reviewed and will appear in the conference proceedings. The track is also open to submissions without an accompanying paper. In that case, a poster should be submitted as a 1-page document, while a demonstration should be submitted as a presentation slide-deck. Such submissions will be reviewed directly based on the submitted material. However, lacking a standard paper form, such submissions will not appear in the conference proceedings. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Papers accompanying a poster or a demonstration must be in the standard ACM format for conference proceedings. The submissions should be clearly marked in the text as "Poster Paper" or "Demonstration Paper", and must not exceed 2 pages double column, including figures and tables. Poster-only submissions consist of a 1-page poster, in pdf file, with a format decided by the authors. Slides-only submissions consist of a presentation slide deck (e.g., ppt, odp, or pdf slides), with 5-10 slides. At least one author of each accepted demo or presentation is required to register at the full rate, attend the conference and present the paper. Presented papers will appear 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 as well as to the ACM Policy on Prior Publication and Simultaneous Submissions. Submit your contributions at https://easychair.org/conferences/?conf=icpe2017. Please select "ICPE 2017 Demo and Poster track” during the submission process. ------------------------------------------------------------------------ POSTERS AND DEMONSTRATIONS CHAIR * Lubomir Bulej, Charles University, Czech Republic Please feel free to contact the posters and demonstration chair if you have any questions regarding this track. ------------------------------------------------------------------------ ICPE ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ 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 Klaus.Havelund at jpl.nasa.gov Mon Dec 12 15:02:06 2016 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Mon, 12 Dec 2016 14:02:06 +0000 Subject: [fg-arc] [fm-announcements] SPIN 2017 - 2nd Call for Papers *Paper Submission: February 10, 2017* 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. 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. In addition there will be a one-day Rigorous Examination of Reactive Systems verification challenge Workshop (RERS 2017): http://www.rers-challenge.org/2017. An overview of the previous SPIN symposia (and early workshops) can be found at: http://spinroot.com/spin/symposia. 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. With the exception of survey and history papers, submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. 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 * 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, NASA Ames Research Center, 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 ________________________________ Steering Committee ________________________________ * Dragan Bosnacki, Eindhoven University of Technology, Netherlands * Susanne Graf, Verimag, France * Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, United States * Stefan Leue, University of Konstanz, Germany * Willem Visser, Stellenbosch University, South Africa -------------- 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 announce at cs.ucy.ac.cy Fri Dec 9 14:51:55 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 9 Dec 2016 15:51:55 +0200 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Second Call for Papers Message-ID: *** Second 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkxMDUJTGlzdHMJMjE0CWNsaWNrCXllcwlubw==&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkxMDUJTGlzdHMJMjE0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID= 0-164-2-793332-0&changeHeader). 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkxMDUJTGlzdHMJMjE0CWNsaWNrCXllcwlubw==&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 announce at cs.ucy.ac.cy Sat Dec 10 11:59:48 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 10 Dec 2016 12:59:48 +0200 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Demos and Posters Message-ID: *** Last Call for Demos and Posters *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgRGVtb3MgYW5kIFBvc3RlcnMJMTA3CUxpc3RzCTIxNAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017%2Fdemopost.html 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. 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. 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. Demos The demonstrations track complements the overall program of the conference. Demonstrations show implementations of novel, interesting, and important intelligent user interface concepts or systems. We invite submissions relevant to intelligent user interfaces and which address, but are not limited to, the topics of the conference. All submissions are intended to convey a scientific result or work in progress and should not be advertisements for commercial software packages. The page limit for demo papers is 4 pages (including references). Accepted demo papers will be published in the companion proceedings in the ACM Digital Library. Posters Posters provide an opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work and fostering discussions and collaborations among colleagues. We invite submissions on all topics of the conference. All submissions should convey a scientific result or work in progress that is not yet ready to be published as a full length research paper at a refereed conference. Submitting a draft poster along with your submission is not required but highly recommended. The page limit for poster papers is 4 pages (including references). Accepted poster papers will appear in the companion proceedings in the ACM Digital Library. Submission Guidelines Demo and poster submissions do not need to be anonymized. The page limit is 4 pages (including references) in HCI extended abstract format (MS Word template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgRGVtb3MgYW5kIFBvc3RlcnMJMTA3CUxpc3RzCTIxNAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2Fsigchi-extended-abstracts-format-2016%2Fview, LaTeX template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgRGVtb3MgYW5kIFBvc3RlcnMJMTA3CUxpc3RzCTIxNAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fgithub.com%2Fsigchi%2FDocument-Formats%2Ftree%2Fmaster%2FLaTeX%29. Submitting a draft poster along with your poster submission is not required but highly recommended. Submit your demos and posters at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgRGVtb3MgYW5kIFBvc3RlcnMJMTA3CUxpc3RzCTIxNAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fprecisionconference.com%2F%7Esigchi. Poster and Demo presenters: 120cm x 147cm (47" x 58") poster boards and pushpins will be provided to mount your posters. Important Dates · Submissions Due: December 16, 2016 · Notifications to Authors: January 8, 2017 · Camera Ready Due: January 13, 2017 Demos/Posters Co-Chairs · Andrina Granic, University of Split, Croatia · Denis Parra, PUC, Chile · Jingtao Wang, University of Pittsburgh, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Fri Dec 16 08:42:35 2016 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Fri, 16 Dec 2016 10:42:35 +0300 (+03) Subject: [fg-arc] Final Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017 Message-ID: <20161216074235.E18732C009C@omsievews> Final Call for Workshop Proposals 14th International Conference on Logic Programming and Nonmonotonic Reasoning Espoo, Finland, July 3 - 6, 2017 URL: http://lpnmr2017.aalto.fi The 14th International Conference on Logic Programming and Nonmonotonic Reasoning will be held in Espoo, Finland from July 3 to 6, 2017. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. Workshops co-located with LPNMR are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems regarding the topics of LPNMR, which include, but 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. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. 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. We expect the workshops to be on July 3, 2017. Workshop Proposal: ================== Those interested in organizing a workshop at LPNMR 2017 are invited to submit a workshop proposal. Proposals should be in English and about 1-2 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 timeline and relevance of the workshop * A list of some related workshops held in the recent years * An estimate of the number of expected attendees * The names, affiliation, and contact details (email, web page) of the workshop organizer(s) together with a designated contact person * The previous experience of the workshop organizing committee in workshop/conference organization Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Joohyung Lee, joolee at asu.edu) by email no later than December 20, 2016. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and the scope of LPNMR will be selected. The decision will be notified by email to the responsible organizer by December 27, 2016. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means * 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 * Sending workshop program and workshop proceedings in pdf format to the Workshop Chair for distribution at the conference (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From announce at cs.ucy.ac.cy Sun Dec 18 14:55:25 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 18 Dec 2016 15:55:25 +0200 Subject: [fg-arc] 8th IEEE International Conference on Information, Intelligence, Systems and Applications (IISA 2017): First CFP, Invited Sessions, Tutorials & Workshops Proposals Message-ID: <0VTHV2VF-1LUR-AMF3-QY8B-DN3AAQ715X@cs.ucy.ac.cy> *** First 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGaXJzdCBDRlAsIEludml0ZWQgU2Vzc2lvbnMsIFR1dG9yaWFscyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJMQlMaXN0cwkyMTQJY2xpY2sJeWVzCW5v&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGaXJzdCBDRlAsIEludml0ZWQgU2Vzc2lvbnMsIFR1dG9yaWFscyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJMQlMaXN0cwkyMTQJY2xpY2sJeWVzCW5v&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 · Special Session & 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGaXJzdCBDRlAsIEludml0ZWQgU2Vzc2lvbnMsIFR1dG9yaWFscyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJMQlMaXN0cwkyMTQJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From bogom.s at gmail.com Thu Dec 15 22:19:44 2016 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Fri, 16 Dec 2016 08:19:44 +1100 Subject: [fg-arc] CfP: Workshop SNR affiliated with ETAPS 2017 Message-ID: <0ee901d25719$00e4a8b0$02adfa10$@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 grlmc at grlmc.com Fri Dec 16 00:00:23 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 16 Dec 2016 00:00:23 +0100 Subject: [fg-arc] AlCoB 2017: 3rd call for papers Message-ID: <545102060a010b010255590b03075a555b5153030b530454010a5d0452010607075805005700520006070707075455@grlmc_ip-zone_com-6> AlCoB 2017: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2017   Aveiro, Portugal   June 5-7, 2017   Organized by:   Center for Research & Development in Mathematics and Applications (CIDMA) Institute of Electronics and Informatics Engineering of Aveiro (IEETA) University of Aveiro   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2017/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, and Trujillo.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2017 will take place in Aveiro, an industrial city with an important seaport on the Atlantic Ocean, and known as "the Portuguese Venice" due to its network of canals. The venue will be:   Department of Mathematics University of Aveiro Campus Universitário de Santiago 3810-193 Aveiro   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2017 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Michael Biehl (University of Groningen), Prototype-based Models for the Analysis of Biomedical Data   Benedict Paten (University of California, Santa Cruz), The Human Genome Variation Map Project   Marie-France Sagot (INRIA, Villeurbanne), Algorithmically Exploring and Exploiting Interspecific Interactions   PROGRAMME COMMITTEE:   Can Alkan (Bilkent University, Ankara, TR) Stephen Altschul (National Institutes of Health, Bethesda, US) Yurii Aulchenko (PolyOmica, Groningen, NL) Timothy L. Bailey (University of Nevada, Reno, US) Bonnie Berger (Massachusetts Institute of Technology, Cambridge, US) Ken Chen (University of Texas MD Anderson Cancer Center, Houston, US) Julio Collado-Vides (National Autonomous University of Mexico, Cuernavaca, MX) Eytan Domany (Weizmann Institute of Science, Rehovot, IL) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina, Chapel Hill, US) Olivier Gascuel (Pasteur Institute, Paris, FR) Debashis Ghosh (University of Colorado, Denver, US) Susumu Goto (Kyoto University, JP) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, Tokyo, JP) Artemis Hatzigeorgiou (University of Thessaly, Volos, GR) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, IE) Fereydoun Hormozdiari (University of California, Davis, US) Kazutaka Katoh (Osaka University, JP) Lukasz Kurgan (Virginia Commonwealth University, Richmond, US) Gerton Lunter (University of Oxford, UK) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK) William Stafford Noble (University of Washington, Seattle, US) Cedric Notredame (Center for Genomic Regulation, Barcelona, ES) Christos Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, GR) Manuel C. Peitsch (Philip Morris International, Bern, CH) Matteo Pellegrini (University of California, Los Angeles, US) Graziano Pesole (University of Bari, IT) David Posada (University of Vigo, ES) Knut Reinert (Free University of Berlin, DE) Peter Robinson (The Jackson Laboratory, Farmington, US) Julio Rozas (University of Barcelona, ES) David Sankoff (University of Ottawa, CA) Alejandro Schäffer (National Institutes of Health, Bethesda, US) Xinghua Shi (University of North Carolina, Charlotte, US) Nicholas D. Socci (Memorial Sloan Kettering Cancer Center, New York, US) Alexandros Stamatakis (Heidelberg Institute for Theoretical Studies, DE) Granger Sutton (J. Craig Venter Institute, La Jolla, US) Kristel Van Steen (University of Liège, BE) Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT) Kai Wang (Columbia University, New York, US) Haim J. Wolfson (Tel Aviv University, IL) Ioannis Xenarios (Swiss Institute of Bioinformatics, Lausanne, CH) Jinn-Moon Yang (National Chiao Tung University, Hsinchu City, TW) Shibu Yooseph (University of Central Florida, Orlando, US) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, US) Daniel Zerbino (European Bioinformatics Institute, Hinxton, UK) Weixiong Zhang (Washington University in St. Louis, US) Zhongming Zhao (University of Texas Health Science Center at Houston, US)   ORGANIZING COMMITTEE:   Diana Costa (Aveiro, CIDMA) Daniel Figueiredo (Aveiro, CIDMA, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Manuel A. Martins (Aveiro, CIDMA) Manuel Jesús Parra Royón (Granada) Armando J. Pinho (Aveiro, IEETA) Diogo Pratas (Aveiro, IEETA, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of the Journal of Computational Biology (2015 JCR impact factor: 1.537) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/AlCoB2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: January 22, 2017 Notification of paper acceptance or rejection: February 25, 2017 Final version of the paper for the LNCS/LNBI proceedings: March 9, 2017 Early registration: March 9, 2017 Late registration: May 22, 2017 Submission to the journal special issue: September 7, 2017   COLLOCATED EVENTS:   AlCoB 2017 will be collocated with the Fourth Workshop on Molecular Logic:   http://molecularlogic2017.weebly.com/   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   AlCoB 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Universidade de Aveiro Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From ermurph3 at ncsu.edu Fri Dec 16 02:31:33 2016 From: ermurph3 at ncsu.edu (Emerson Murphy-Hill) Date: Fri, 16 Dec 2016 01:31:33 +0000 Subject: [fg-arc] CFP: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC '17) Message-ID: IEEE Symposium on Visual Languages and Human-Centric Computing • October 11 –14, 2017 • Raleigh, North Carolina, USA October 11 - 14, 2017 -- Raleigh, North Carolina Deadline for paper submissions is April 13th. We solicit original, unpublished research papers on computing technologies and visual languages for programming, modelling and communicating. These technologies should be easier to learn, use or understand than the current state-of-the-art, and papers should focus on efforts to design, formalize, implement, or evaluate them. This includes tools and visual languages intended for general audiences (e.g. professional or novice programmers, or the public) or domain-specific audiences (e.g. people working in healthcare, urban design or scientific domains). It encompasses languages and tools for expressing forms of computation and reasoning and in any computing context. This year’s special topic is Programming and Play. Visual languages play a crucial role in exploratory programming, especially when individuals are learning to program. Subjects fitting within this topic include gamification of programming, problem solving reward systems and making computer science education fun. In addition to papers, we also invite contributions through showpieces (Posters & Demos) and participation in our Graduate Consortium. Full details are available at our website: https://sites.google.com/site/vlhcc2017/submitting/call-for-papers -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Wed Dec 21 13:16:03 2016 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Wed, 21 Dec 2016 13:16:03 +0100 (CET) Subject: [fg-arc] Special Session on ``Knowledge Discovery with Formal Concept Analysis and related formalisms" at ISMIS 2017, deadline January 22nd. In-Reply-To: <834681262.8782876.1482322470958.JavaMail.zimbra@loria.fr> Message-ID: <1875792596.8783592.1482322563167.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 andrea.rosa at usi.ch Fri Dec 23 17:02:05 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Fri, 23 Dec 2016 16:02:05 +0000 Subject: [fg-arc] ACM/SPEC ICPE 2017 - Deadline Extension - Call for Posters and Demonstrations Message-ID: ******** The submission and notification deadlines for the posters ******** and demonstrations track have been extended as follows: ******** Posters and Demonstrations Submission: Jan 8, 2017 ******** Posters and Demonstrations Notification: Jan 23, 2017 =============================================== ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Posters and Demonstrations Submission: Jan 8, 2016 Posters and Demonstrations Notification: Jan 23, 2017 ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. ------------------------------------------------------------------------ CALL FOR POSTERS AND DEMONSTRATIONS Posters provide a forum for authors to present their work in an informal and interactive setting, allowing the authors and the interested participants to engage in discussions about the work presented. The contents of a poster should motivate the relevance of the presented work to the performance engineering community, briefly summarize the goals and status of the work, and provide pointers to further information and related work. Demonstrations provide an opportunity to showcase an existing tool or a research prototype, and would be also a welcome addition to an accepted research, work in progress, or industrial track paper. The authors are expected to prepare a 5-minute "teaser" presentation and subsequently perform a live demonstration on their own equipment during a dedicated demonstration session. Best Poster and a Best Demonstration prizes will be awarded in recognition of outstanding poster presentations or live demonstrations. More information can be found at https://icpe2017.spec.org/submissions/posters-and-demonstrations.html ------------------------------------------------------------------------ SUBMISSION OPTIONS Both poster and demo submissions can be accompanied by a 2-page paper, clearly identifying the novelty of the ideas presented on a poster, or involved in building the showcased tool or a prototype. Demonstration papers may include uses cases or specific results presented during the live demonstration. Both poster and demonstration papers will be reviewed and will appear in the conference proceedings. The track is also open to submissions without an accompanying paper. In that case, a poster should be submitted as a 1-page document, while a demonstration should be submitted as a presentation slide-deck. Such submissions will be reviewed directly based on the submitted material. However, lacking a standard paper form, such submissions will not appear in the conference proceedings. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Papers accompanying a poster or a demonstration must be in the standard ACM format for conference proceedings. The submissions should be clearly marked in the text as "Poster Paper" or "Demonstration Paper", and must not exceed 2 pages double column, including figures and tables. Poster-only submissions consist of a 1-page poster, in pdf file, with a format decided by the authors. Slides-only submissions consist of a presentation slide deck (e.g., ppt, odp, or pdf slides), with 5-10 slides. At least one author of each accepted demo or presentation is required to register at the full rate, attend the conference and present the paper. Presented papers will appear 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 as well as to the ACM Policy on Prior Publication and Simultaneous Submissions. Submit your contributions at https://easychair.org/conferences/?conf=icpe2017. Please select "ICPE 2017 Demo and Poster track” during the submission process. ------------------------------------------------------------------------ POSTERS AND DEMONSTRATIONS CHAIR * Lubomir Bulej, Charles University, Czech Republic Please feel free to contact the posters and demonstration chair if you have any questions regarding this track. ------------------------------------------------------------------------ ICPE ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ 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 announce at cs.ucy.ac.cy Fri Dec 23 14:50:35 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 23 Dec 2016 15:50:35 +0200 Subject: [fg-arc] Vacancies for Research Posts - Department of Computer Science, University of Cyprus Message-ID: *** Research Posts *** Department of Computer Science University of Cyprus A number of vacancies for research posts exist in the Department of Computer Science, University of Cyprus. The location for all posts is Nicosia, Cyprus. Each post has different application deadlines and contact information. ----------------------------------------------------------------- Title: Special Scientist Category: 1 Year Contract (subject to renewal) The research laboratory of Software Engineering and Internet Technologies (SEIT) of the Department of Computer Science, University of Cyprus, announces one full time Special Scientist position in Technology Enhanced Learning for two Erasmus+ projects that the SEIT Lab coordinates. SEIT focuses its research activities on two important areas of Information Technology, namely Software Engineering and Internet Technologies. In the first area, SEIT focuses on Cloud Computing, Service Oriented Architectures, Context-Aware Middleware Platforms and Smart and Mobile Computing for the development of pervasive, self-adaptive applications and Smart IoT services. In the second area, the Laboratory concentrates on the development of ICT-enabled Environments, platforms and tools for implementing Health monitoring and support services, Smart and Personalised services for Elders, Assistive Technologies for people with disabilities and Creativity services. The lab also pursues activities related to Technology Enhanced Learning, E-Business, EGovernment and developing environments for elders' social inclusion, active ageing and independent living. Finally, the lab's research is also related to Creativity, Recommender Systems and Crowd Sourcing. The candidate is expected to be a highly-motivated individual with proven capability to work in a demanding multi-disciplinary research environment and eager to be actively engaged in the demanding activities of European projects, collaborating efficiently with the SEIT research team. The successful candidate will also be involved in research proposals in various EU programmes for which the SEIT Lab participates/contributes to. Minimum requirements: 1. Masters Degree in the above mentioned areas. 2. Experience in E.U. funded projects related to ICT. 3. Proven research work in one or more of the following areas: Technology Enhanced Learning, Educational Technologies, Digital technologies. A PhD degree in the above areas will be strongly considered as a favourable qualification. Expertise in ICT, Web development, e-Government will be considered as a favourable qualification. The successful applicant will be primarily involved in two Erasmus+ projects, for which the SEIT lab is the coordinating partner. The VeLoCiTy project will develop an innovative virtual world environment, offering in this way high quality learning opportunities for unemployed and misemployed adults to adapt to different working environments and interviews, thus addressing the problem of job finding in different countries with different cultures and practices. The World-of-Physics project aims to assist students in studying the Physics domain with the utilization of innovative technologies like virtual reality. The position is on a contract basis of one year, subject to renewal. The monthly employment cost is equal to EUR 1500-1700 depending on qualifications. Employee and employer contributions will be deducted from the above amount. The position does not include a 13th salary bonus or medical insurance coverage. Interested candidates should submit the following items, in PDF format, via e-mail to: Prof. George A. Papadopoulos, email: george at cs.ucy.ac.cy, CC: achilleas at cs.ucy.ac.cy : i. Cover letter that specifies their employment availability date. ii. A detailed curriculum vitae in Greek or in English (contact address and telephone number should be included). iii. Copies of transcripts of MSc/PhD degree(s). iv. The names and contact details of at least two persons that can provide references. Application deadline is the 29th of December 2016. For more details and other information, interested individuals may contact: Dr Achilleas Achilleos. By email: achilleas at cs.ucy.ac.cy Or telephone: 22892684 ----------------------------------------------------------------- Title: Research Assistant Category: 1 Year Contract part-time (subject to renewal) The research laboratory of Software Engineering and Internet Technologies (SEIT) (http://www.cs.ucy.ac.cy/seit/) of the Department of Computer Science, University of Cyprus, announces 1 (one) part-time position for a Research Assistant in Web engineering for the CEF Telecom Safer Internet CyberSafety project. The candidate is expected to be a highly-motivated individual with proven capability to work in a demanding multi-disciplinary research environment and eager to be actively engaged in the demanding activities of European projects, collaborating efficiently with the SEIT research team. Minimum requirements: 1. Candidates should be graduates in Computer Science or Computer Engineering or have a Master or PhD degree in a relevant scientific area. 2. Knowledge of Software Engineering processes (Agile development, Github). 3. Strong programming skills for building Web applications (HTML5, CSS3, JavaScript, PHP) and database management (SQL). 4. Knowledge and experience with game engines and development environments (i.e., Unity) is strongly encouraged. 5. Very good knowledge of English. The successful candidate will work on the CyberSafety (Safer Internet) project: CyberSafety brings together major national stakeholders of Cyprus in order to create a safe internet culture for young people, empowering creative, innovative and critical citizens in the digital society. CyberSafety aims to create an awareness platform, where actors can find resources and tools, share experiences, expertise and best practices. At the same time, it aims to provide qualitative and quantitative feedback at European level through the core service platform. Moreover, the successful candidate will be involved in research works in the areas the SEIT lab contributes to including empirical software engineering and web engineering and in writing scientific papers and technical reports in English. The position is on a contract basis of one year, subject to renewal. The monthly gross salary will be in the range of EUR 800-900 depending on qualifications and expertise. Employee and employer contributions will be deducted from the above amount. The position does not include a 13th salary bonus or medical insurance coverage. Interested candidates should submit the following items, in PDF format, via e-mail to: Dr Georgia Kapitsaki, email: gkapi at cs.ucy.ac.cy : i. A detailed curriculum vitae in Greek or in English (contact address and telephone number should be included). ii. Cover letter that specifies employment availability date. iii. Copies of transcripts of MSc/PhD degree(s). iv. The names and contact details of at least two persons that can provide references. Application deadline is the 20th of January 2017. Interviews will be held in January. For more details and other information, interested individuals may contact the projects Principal Investigators: Dr Georgia Kapitsaki (gkapi at cs.ucy.ac.cy) and Dr. Vasos Vasiliou (vasosv at cs.ucy.ac.cy). ----------------------------------------------------------------- Title: Special Scientists Positions (Post-doctoral) No. of Position(s): 2 Category: 1 Year Contract (subject to renewal) Applications are invited for two full-time research positions (Postdoctoral Special Scientist) in the Networks Research Laboratory (NetRL, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlWYWNhbmNpZXMgZm9yIFJlc2VhcmNoIFBvc3RzIC0gRGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlLCBVbml2ZXJzaXR5IG9mIEN5cHJ1cwkzCUxpc3RzCTIxMwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.NetRL.cs.ucy.ac.cy%29 and the Research Laboratory for Foundations of Computing Systems and Theoretical Computer Science (FCS Laboratory, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlWYWNhbmNpZXMgZm9yIFJlc2VhcmNoIFBvc3RzIC0gRGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlLCBVbml2ZXJzaXR5IG9mIEN5cHJ1cwkzCUxpc3RzCTIxMwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ffcslab.cs.ucy.ac.cy%2F%29 of the Department of Computer Science at the University of Cyprus (UCY). The successful applicants will join the EU H2020 project VISORSURF (http://www.visorsurf.eu/), starting in January 2017. VISORSURF is a 3.5 year (Jan 2017 ñ June 2020) H2020 research project funded under the very competitive FET OPEN program (4% success rate). The project is led by the Foundation for Research and Technology Hellas-FORTH, Greece, and the consortium includes the University of Cyprus (Departments of Computer Science and Electrical and Computer Engineering), Cyprus, Fraunhofer IZM, Germany, SignalGenerix Ltd, Cyprus, NanoNetworking Center of Catalunya-UPC-N3CAT, Spain, and Aalto University, Finland. The project will undertake the ambitious goal of providing programming concepts and algorithms in crafting the electromagnetic/light behavior of materials (Metamaterials). VISORSURF aims to develop a hardware platform -the HyperSurface- that can host metasurface functionalities described in software, enabled via a network of nanonodes (Nanonetwork) embeded in the HyperSurface, adding the potential for hosting multiple functionalities concurrently and adaptively. We are seeking two highly-motivated researchers with a PhD degree in an area related to the project, and with proven capability to work in a demanding multi-disciplinary research environment and eager to be actively engaged in the demanding activities of FET European projects, collaborating efficiently with the project research teams. The two positions qualifications are as outlined below: Position 1: The applicants should have general knowledge in Computer Networks, and proven research work in as many of the following areas: Routing and dissemination protocols, Nanonetworks, Nature-Inspired Techniques applied in Communication Networks, and Simulation and Evaluation of Communication (Nano)Networks. Position 2: The applicants should have general knowledge of formal methods and expertise in model checking as well as a good knowledge of programming languages, and distributed computing/systems. Candidates should demonstrate strong programming and formal modelling skills and the expertise and commitment to apply rigorous semantics to real systems. Familiarity with nanonetworks will be helpful but is not necessary for the position. The position is on a contract basis of one year, subject to renewal, with a maximum duration extending to the end of the project. The monthly employment cost is equal to EUR 2000-3500 depending on qualifications. Employee and employer contributions will be deducted from the above amount. The positions do not include a 13th salary bonus or medical insurance coverage. Enquiries regarding Position 1 should be made to Professor Andreas Pitsillides (Andreas.pitsillides at ucy.ac.cy) and for Position 2 to Associate Professor Anna Philippou (annap at cs.ucy.ac.cy). For more information visit http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlWYWNhbmNpZXMgZm9yIFJlc2VhcmNoIFBvc3RzIC0gRGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlLCBVbml2ZXJzaXR5IG9mIEN5cHJ1cwkzCUxpc3RzCTIxMwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.cs.ucy.ac.cy%2Findex.php%2Fnews%2Fjobs%2F852-2-special-scientists-positions-netrl-and-fcs-laboratories -------------- next part -------------- An HTML attachment was scrubbed... URL: From marielle at cs.utwente.nl Fri Dec 23 00:03:25 2016 From: marielle at cs.utwente.nl (Marielle Stoelinga) Date: Fri, 23 Dec 2016 00:03:25 +0100 Subject: [fg-arc] 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking Message-ID: *Fewer train delays via big data analytics, fault trees, and stochastic model checking? *The University of Twente seeks 2 PhD candidates *We seek *two excellent PhD candidates to work on the SEQUOIA project. We aim to improve the reliability of the (Dutch) railroads by deploying big data analytics to predict and prevent failures. Its scientific core is a novel combination of machine learning, fault tree analysis and stochastic model checking. For more information about the position, see here . *We offer *two fully paid PhD positions, with excellent salary and benefits, at a very strong and inspiring research department. To apply, see here . *We are *the Formal Methods & Tools and Database group at the University of Twente, the Netherlands. Ranked 1st in the Dutch National Research Assessment. The project is lead by Marielle Stoelinga, Djoerd Hiemstra, Joost-Pieter Katoen. Contact: m.i.a.stoelinga at utwente.nl -- Dr Marielle Stoelinga Associate Professor of Risk Management for ICT University of Twente www.cs.utwente.nl/~marielle -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Fri Dec 30 14:03:20 2016 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Fri, 30 Dec 2016 16:03:20 +0300 (+03) Subject: [fg-arc] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Message-ID: <20161230130320.421EB2C00BA@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 --------------------------------------------------------------------------- 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 will be electronic through the LPNMR-17 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2017 Two best papers with 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.)