From jung.juergen at fb2.fra-uas.de Fri Jun 8 14:23:43 2018 From: jung.juergen at fb2.fra-uas.de (=?UTF-8?Q?J=C3=BCrgen_Jung?=) Date: Fri, 8 Jun 2018 14:23:43 +0200 Subject: [fg-arc] Deadline extension: TEAR 2018, Stockholm Message-ID: <00a601d3ff23$8a816370$9f842a50$@fb2.fra-uas.de> -> New deadline for paper submission: June 22, 2018 <- http://www.tear-series.org/ ============================================== TEAR: Trends in Enterprise Architecture Reserach 13th TEAR Workshop 2018 October 16, 2018, Stockholm Call for Papers ============================================== The 13th TEAR workshop is organized in conjunction with IEEE EDOC 2018, October 16-19, Stockholm, Sweden. The international TEAR workshop series brings together Enterprise Architecture (EA) researchers from different research communities and provides a forum to present EA research results and to discuss future EA research directions. The field of Enterprise Architecture (EA) has gained considerable attention over the last years. EA significantly contributes to organizations? need to adapt increasingly fast to changing customer requirements and business goals. This need influences the entire chain of activities of an enterprise, from business processes to IT support. Moreover, a change in one component of the overall architecture may influence many other components of the architecture. For example, when a new product is introduced, business processes for production, sales, and after-sales need to be adapted. It may be necessary to change applications, or even adapt the IT infrastructure. Each of these fields will have its own (partial) architectures. To keep the enterprise architecture coherent and aligned with the business goals, the relations between these different architectures must be explicit, and a change should be carried through in all architectures. In contrast to traditional architecture management approaches such as IT architecture, software architecture, or IS architecture, EA explicitly incorporates ?pure? business-related artifacts in addition to traditional IS/IT artifacts. For Enterprise Architecture the focus is on the overall enterprise and concerns its organization, its components, the relationship between components, and principles governing its design and evolution. Topics ===== Topics relevant for submissions include, but are not limited to, the following: * EA management and impact (e.g. drivers, governance, obstacles and measurement) * EA and decision-making (e.g. analysis, investigation and collaboration) * EA modelling (e.g. reference models, viewpoints, quality and tools) * EA and digitization (e.g. models, impact and digital transformation) * EA and related disciplines (e.g. BPM, project management and software engineering) * EA research approaches (methodologies and theories) * EA Cases and implementation(case studies and business cases) Important dates ============= Workshop paper submission deadline: June 22, 2018 Workshop paper notification to authors: July 20, 2018 Camera-ready paper: August 10, 2018 Workshop: October 16, 2018 Submission ========= Papers should describe innovative and significant original research relevant to TEAR as described in the topics section. Papers submitted for consideration must not have been published elsewhere and must not be under review or submitted for review elsewhere during the duration of consideration. Workshop papers will be published in a second volume of the EDOC 2018 conference proceedings. All papers must be prepared in accordance with the IEEE double-column format (maximum 8 pages) and be submitted electronically (in PDF) via the submission website. All submissions should include title, authors, and full contact information. Detailed instructions for authors are available on the IEEE website . Workshop co-chairs =============== Ulrik Franke, Swedish Institute of Computer Science (RISE SICS), Stockholm, Sweden J?rgen Jung, Frankfurt University of Applied Sciences, Germany Markus Buschle, Zeb.consulting, Sweden Steering committee ============== Erik Proper, Luxembourg Institute of Science and Technology (LIST), Luxembourg Florian Matthes, Fakult?t fu?r Informatik, Technische Universit?t Mu?nchen, Germany James Lapalme, ?cole de technologie sup?rieure, Canada Jo?o Paulo Almeida, Federal University of Esp?rito Santo, Brazil Marc Lankhorst, BiZZdesign, the Netherlands Mathias Ekstedt, Royal Institute of Technology, Sweden Pontus Johnson, Royal Institute of Technology, Sweden Stephan Aier, University of St. Gallen, Switzerland From irdta at irdta.eu Mon Jun 4 17:12:54 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 04 Jun 2018 17:12:54 +0200 Subject: [fg-arc] AlCoB 2018: call for participation Message-ID: <545102060a010b050657530a07015a51525157570708055804500d52020454585c0253530a0c550456530405505605@grlmc_ip-zone_com-6> AlCoB 2018: call for participation********************************************************************************** 5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2018 Hong Kong June 25-26, 2018 Co-organized by: The Hong Kong Polytechnic University Department of Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/AlCoB2018/ ********************************************************************************** PROGRAM Monday, June 25 09:00 - 09:30?? ?Registration 09:30 - 09:40?? ?Opening 09:40 - 10:30?? ?Tatsuya Akutsu. Algorithms for Analysis and Control of Boolean Networks - Invited lecture 10:30 - 11:00?? ?Coffee break 11:00 - 12:15 Ricson Cheng, Matthew Dohlen, Chen Pekker, Gabriel Quiroz, Jincheng Wang, Ran Libeskind-Hadas and Yi-Chieh Wu. Reconciliation Feasibility of Non-binary Gene Trees under a Duplication-Loss-Coalescence Model Andreas Dwi Maryanto Gunawan. Solving the Tree Containment Problem for Reticulation-visible Networks in Linear Time Leo van Iersel, Remie Janssen, Mark Jones, Yukihiro Murakami and Norbert Zeh. Polynomial-time Algorithms for Phylogenetic Inference Problems 12:15 - 13:45?? ?Lunch 13:45 - 14:35?? ?Ben Raphael. Algorithms for Cancer Evolution - Invited lecture 14:35 - 14:50?? ?Break and Group photo 14:50 - 16:05 Alexsandro Alexandrino, Carla Lintzmayer and Zanoni Dias. Approximation Algorithms for Sorting Permutations by Fragmentation-weighted Operations Klairton Brito, Andre Rodrigues Oliveira, Ulisses Dias and Zanoni Dias. Heuristics for the Sorting Signed Permutations by Reversals and Transpositions Problem Guilherme Miranda, Carla Negri Lintzmayer and Zanoni Dias. Sorting Permutations by Limited-size Operations 16:05 - 16:20?? ?Coffee break 16:20 - 17:10?? ?Poster presentations 17:15 - 19:15?? ?Touristic visit --- Tuesday, June 26 09:00 - 09:50?? ?Bin Ma. De Novo Protein Sequencing with Mass Spectrometry and Its Medical Applications - Invited lecture 09:50 - 10:20?? ?Coffee break 10:20 - 11:35 Michael Sadovsky, Sergey Tsarev and Maria Senashova. Fast Algorithm for Vernier Search of Long Repeats in DNA Sequences with Bounded Error Density Eugen Czeizler, Alexandru Popa and Victor Popescu. Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem Chenqi Mou. Symbolic Detection of Steady States of Autonomous Differential Biological Systems by Transformation into Block Triangular Form 11:35 - 11:50?? ?Break 11:50 - 12:40 Jordi Silvestre-Ryan and Ian Holmes. Consensus Decoding of Recurrent Neural Network Basecallers Ezra B. Wijaya, Erwandy Lim, David Agustriawan, Chien-Hung Huang, Jeffrey J.P. Tsai and Ka-Lok Ng. Utilizing Imputation and Meta-analysis to Identify DNA-methylation-mediated MicroRNAs in Ovarian Cancer 12:40 - 12:50?? ?Closing 12:50 -?? ??? ?Lunch -------------- next part -------------- An HTML attachment was scrubbed... URL: From marcello.balduccini at gmail.com Thu Jun 7 03:28:10 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 6 Jun 2018 21:28:10 -0400 Subject: [fg-arc] FINAL REMINDER: KR 2018 Doctoral Consortium Call for Papers Message-ID: <201806070128.w571SAU8042950@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ******************* * FINAL REMINDER! * * * * June 24 * * Deadline * ******************* KR Doctoral Consortium Call for Applications October 30 - November 2, 2018 Tempe, Arizona, US http://kr2018.org/ The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. For accepted students there will be a row of dedicated events, including DC invited talks on research practice, a lightning talk session, a poster session, and a mentoring lunch. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted by email. Each application must contain the following elements combined into a single PDF document.: (1) Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if so, whether the student volunteers to help with local organization during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2018 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: June 24, 2018 Acceptance notification: July 11, 2018 Doctoral Consortium: October 30 - November 2, 2018 For further information, please contact the DC chairs: Madalina Croitoru, University Montpellier (croitoru at lirmm.fr) Sebastian Rudolph, TU Dresden (sebastian.rudolph at tu-dresden.de) From marco.konersmann at paluno.uni-due.de Thu Jun 7 11:02:20 2018 From: marco.konersmann at paluno.uni-due.de (Konersmann, Marco) Date: Thu, 7 Jun 2018 09:02:20 +0000 Subject: [fg-arc] =?utf-8?q?Architekturen_2018=3A_Bitte_pr=C3=BCfen_Sie_d?= =?utf-8?q?en_Erhalt_Ihrer_Registrierungsbest=C3=A4tigung?= Message-ID: <931E46E6-18E4-4550-945F-2B819725672F@paluno.uni-due.de> Sehr geehrte Mitglieder der FG Architekturen, am 19. und 20.6. findet in Essen die Jahrestagung der FG Architekturen statt. Im Zeitraum 28.6. - 6.6. wurden aus technischen Gr?nden leider nicht alle Registrierungen vollst?ndig verarbeitet. Bitte pr?fen Sie, ob Sie eine Best?tigungs-Mail zu Ihrer Registrierung bekommen haben. Der Betreff lautet "[Reg:Arc2018] Registrierung f?r die Architekturen 2018" der Absender lautet "noreply at paluno.uni-due.de". Wenn Sie diese E-Mail nicht in Ihrem Postfach finden, m?chten wir Sie bitten, die Registrierung auf https://architekturen2018.paluno.uni-due.de/register.html zu wiederholen. Die Registrierung ist kostenfrei, f?r die Organisation der Veranstaltung aber wichtig. Bitte entschuldigen Sie die Unannehmlichkeiten. Bei Fragen k?nnen Sie sich an Marco Konersmann wenden. Mit freundlichen Gr??en Das Orga-Team der Architekturen 2018 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7333 bytes Desc: not available URL: From patrizi at diag.uniroma1.it Thu Jun 7 15:26:21 2018 From: patrizi at diag.uniroma1.it (Fabio Patrizi) Date: Thu, 7 Jun 2018 15:26:21 +0200 Subject: [fg-arc] ACTIONS@KR18: CALL FOR CONTRIBUTIONS Message-ID: **************************************************************************** CALL FOR CONTRIBUTIONS Reasoning about Actions and Processes: Highlights of Recent Advances ACTIONS at KR18 http://www.diag.uniroma1.it/~kr18actions/ Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona (USA) **************************************************************************** The field of Reasoning about actions, a fundamental area of KR, is expanding to incorporate research from a wide range of other areas of AI and CS. In recent years, we have moved from standard forms of reasoning, such as action sequence executabilty and future effects (projection), to more sophisticated forms of reasoning which share many commonalities with other fields of CS, from verification in Formal Methods to process modeling and analysis in Business Process Management. Moreover, connections with planning are being extended to other forms of synthesis, such as generalized planning, MDPs/RL, supervisory control, reactive synthesis, etc. Papers from these various areas are dispersed across many conferences, which makes it difficult to follow the general direction of the field. Drawing upon a successful format followed in other fields (e.g., http://highlights-conference.org), the workshop aims to offer a wide picture of the latest research in the field and a chance to meet everybody in the community. Goal This workshop aims to bring together researchers working in a variety of areas of AI and CS -- including KR, planning, RL, verification, and synthesis -- to foster these emerging directions of reasoning about actions and processes. Format We invite submissions for presentations, not papers. We welcome a presentation on your favorite recent technical work, position paper, or open problems with clear and concise formulations of current challenges. The contributed talks will be 15-minutes long. All sessions will be designed to promote interaction between the attendees by holding frequent discussion periods for analysis and critique. The workshop will also have panel sessions on important emerging issues for the field and longer keynote talks. Submissions Submissions should have a single main author, who will be the speaker, and each speaker can have no more than one submission. Each submission must be at most 2-pages long and may refer to joint work with other collaborators to be credited in the presentation. There are no formal proceedings and we encourage submissions of work presented or submitted elsewhere (no copyright transfer is required, only permission to post the abstract on the workshop site). Topics of interest include but are not limited to: Reasoning about actions Representing and reasoning about processes Hierarchical abstractions of action models Generalized planning Verification and Synthesis of high level agent behaviors Agent behavior control Logic-based representation, action theories, temporal logics, logics of programs Stochastic representation, MDPs and Non-Markovian Decision Processes Learning dynamic behaviors, RL Partial observability, incomplete information, uncertainty Reasoning about beliefs, goals and intentions First-person vs third person view Plan, intention, and activity recognition Transparency, predictability and accountability of agents? behaviors Both theoretical and application-oriented contributions are welcome. Papers can be submitted via EasyChair: https://easychair.org/conferences/?conf=actionskr18 Important Dates Submission July 21, 2018 Notification August 25, 2018 Workshop October 28 & 29, 2018 Invited Talks To be announced. Registration For registration details see KR 2018 website. Organizing Committee Giuseppe De Giacomo University of Rome "La Sapienza" Andreas Herzig IRIT, CNRS, Universit? Paul Sabatier Yves Lesperance York University Marco Montali Free University Bozen-Bolzano Fabio Patrizi University of Rome "La Sapienza" Sasha Rubin University of Naples "Federico II" Siddharth Srivastava Arizona State University -- Fabio Patrizi Dipartimento di Ingegneria informatica, automatica e gestionale "A. Ruberti" Sapienza Universit? di Roma Room B214 Via Ariosto, 25 - 00185 Rome, Italy Phone: +39 06 77274073 Home Page: www.dis.uniroma1.it/~patrizi -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jun 11 15:21:49 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 11 Jun 2018 16:21:49 +0300 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): Last Mile for Paper Submission Message-ID: *** LAST MILE *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb24JMjEzCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 *** Submission Deadline: 18 June, 2018 (final and firm) *** *** Proceedings published by IEEE *** *** Special issue: Journal of Industrial Integration and Management, World Scientific *** WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 8-9 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb24JMjEzCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: ? Enterprise Systems for Industry 4.0 ? Cyber Physical Systems for Industry 4.0 ? Internet of Things for Industry 4.0 ? Big Data for Industry 4.0 ? Security and Privacy Protection for Industry 4.0 ? System Engineering and Human Factors for Industry 4.0 ? IoT-enabled Smart Manufacturing A full list of subtopics for each one of the above topics can be found on the conference web site. PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: ? Full papers present final result. They must not exceed 8 pages. ? Short papers can contain preliminary results. They must not exceed 6 pages. ? Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb24JMjEzCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb24JMjEzCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for a special issue by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES ? Regular Paper Submissions (al types) due: 18th June 2018 (final and firm) ? Notification of Acceptance/Rejection: 23rd July 2018 ? Camera-Ready Versions of Accepted Papers: 13th August 2018 ? Author Registration: 13th August 2018 ? Early Non-Author Registration: 10th September 2018 ? Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs ? Aurona Gerber, South Africa, IEEE SMC EAE TC Chair ? Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair ? Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs ? Ling Xia Li, Old Dominion University, USA ? Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand ? Yale Yu, Infosys Australia & New Zealand ? Chris Zhang, University of Saskatchewan, Canada ? Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IE1pbGUgZm9yIFBhcGVyIFN1Ym1pc3Npb24JMjEzCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Jun 12 01:13:36 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 12 Jun 2018 01:13:36 +0200 Subject: [fg-arc] DeepLearn 2018: early registration June 24 Message-ID: <545102060a010b050651520a05025a50545201020306550050065c520003515007550000570d075655055104505102@grlmc_ip-zone_com-6> DeepLearn 2018: early registration June 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? *************************************************************** ? 2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING ? DeepLearn 2018 ? Genova, Italy ? July 23-27, 2018 ? Organized by: University of Genova IRDTA ? Brussels/London ? http://grammars.grlmc.com/DeepLearn2018/ ? *************************************************************** ? --- Early registration deadline: June 24, 2018 --- ? *************************************************************** ? SCOPE: ? DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience. ? Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ? An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles. ? ADDRESSED TO: ? Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. ? STRUCTURE: ? 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. ? VENUE: ? DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be: ? Porto Antico di Genova ? Centro Congressi Magazzini del Cotone ? Module 10 16128 Genova, Italy ? KEYNOTE SPEAKERS: (to be completed) ? Paolo Frasconi (University of Florence), Bilevel Programming for Hyperparameter Optimization and Meta-Learning ? PROFESSORS AND COURSES: ? T?lay Adal? (University of Maryland, Baltimore County), [introductory/intermediate] Data Fusion through Matrix and Tensor Decompositions: Linear, Multilinear, and Nonlinear Models and their Applications ? Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences ? Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications ? Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation ? Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware ? Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale ? Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology ? Sun-Yuan Kung (Princeton University), [introductory] A Methodical and Cost-effective Approach to Optimization/Generalization of? Deep Learning Networks ? Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers ? Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation ? Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks ? Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video ? Douglas A. Reynolds (Massachusetts Institute of Technology) & Najim Dehak (Johns Hopkins University), [introductory/intermediate] More than Words Can Say: Machine and Deep Learning for Speaker, Language, and Emotion Recognition from Speech ? Bj?rn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis ? Mich?le Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning ? Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking ? Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines ? Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis ? Ren? Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning ? Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing ? Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects ? Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory] Introductory Tutorial on Regression and Deep Learning ? Yudong Zhang (University of Leicester), [introductory/intermediate] Convolutional Neural Network and Its Variants ? OPEN SESSION: ? An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 15, 2018. ? INDUSTRIAL SESSION: ? A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018. ? EMPLOYERS SESSION: ? Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018. ? ORGANIZING COMMITTEE: ? Alberto Cabri (Genova) Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Roy?n (Granada) Stefano Rovetta (Genova) David Silva (London, co-chair) ? REGISTRATION: ? It has to be done at ? http://grammars.grlmc.com/DeepLearn2018/registration.php ? The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. ? Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event. ? FEES: ? Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ? ACCOMMODATION: ? Suggestions for accommodation can be found at ? http://www.deeplearn-hotels.promoest.com/hp.aspx?s=0 ? CERTIFICATE: ? A certificate of successful participation in the event will be delivered indicating the number of hours of lectures. ? QUESTIONS AND FURTHER INFORMATION: ? david at irdta.eu ? ACKNOWLEDGMENTS: ? Universit? degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) ? Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Jun 2 10:43:14 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 2 Jun 2018 11:43:14 +0300 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): Last Call for Papers (*** Final Extension Deadline ***) Message-ID: *** LAST CALL FOR PAPERS *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 *** Submission Deadline: 18 June, 2018 (final and firm) *** WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 8-9 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: ? Enterprise Systems for Industry 4.0 ? Cyber Physical Systems for Industry 4.0 ? Internet of Things for Industry 4.0 ? Big Data for Industry 4.0 ? Security and Privacy Protection for Industry 4.0 ? System Engineering and Human Factors for Industry 4.0 ? IoT-enabled Smart Manufacturing A full list of subtopics for each one of the above topics can be found on the conference web site. PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: ? Full papers present final result. They must not exceed 8 pages. ? Short papers can contain preliminary results. They must not exceed 6 pages. ? Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for a special issue by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES ? Regular Paper Submissions (al types) due: 18th June 2018 (final and firm) ? Notification of Acceptance/Rejection: 23rd July 2018 ? Camera-Ready Versions of Accepted Papers: 13th August 2018 ? Author Registration: 13th August 2018 ? Early Non-Author Registration: 10th September 2018 ? Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs ? Aurona Gerber, South Africa, IEEE SMC EAE TC Chair ? Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair ? Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs ? Ling Xia Li, Old Dominion University, USA ? Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand ? Yale Yu, Infosys Australia & New Zealand ? Chris Zhang, University of Saskatchewan, Canada ? Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Jun 2 10:43:14 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 2 Jun 2018 11:43:14 +0300 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): Last Call for Papers (*** Final Extension Deadline ***) Message-ID: *** LAST CALL FOR PAPERS *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 *** Submission Deadline: 18 June, 2018 (final and firm) *** WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 8-9 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: ? Enterprise Systems for Industry 4.0 ? Cyber Physical Systems for Industry 4.0 ? Internet of Things for Industry 4.0 ? Big Data for Industry 4.0 ? Security and Privacy Protection for Industry 4.0 ? System Engineering and Human Factors for Industry 4.0 ? IoT-enabled Smart Manufacturing A full list of subtopics for each one of the above topics can be found on the conference web site. PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: ? Full papers present final result. They must not exceed 8 pages. ? Short papers can contain preliminary results. They must not exceed 6 pages. ? Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for a special issue by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES ? Regular Paper Submissions (al types) due: 18th June 2018 (final and firm) ? Notification of Acceptance/Rejection: 23rd July 2018 ? Camera-Ready Versions of Accepted Papers: 13th August 2018 ? Author Registration: 13th August 2018 ? Early Non-Author Registration: 10th September 2018 ? Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs ? Aurona Gerber, South Africa, IEEE SMC EAE TC Chair ? Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair ? Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs ? Ling Xia Li, Old Dominion University, USA ? Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand ? Yale Yu, Infosys Australia & New Zealand ? Chris Zhang, University of Saskatchewan, Canada ? Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqIEZpbmFsIEV4dGVuc2lvbiBEZWFkbGluZSAqKiopCTIwOQlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From slucas at dsic.upv.es Mon Jun 4 10:02:22 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Mon, 4 Jun 2018 10:02:22 +0200 Subject: [fg-arc] WST 2018 - Call for Participation (July 18-19, 2018) Message-ID: <86d04791-fb69-64d0-4e88-0cb50a355ba5@dsic.upv.es> ========================================================================== ?????????????????????? WST 2018 - Call for Participation ?????????????????? 16th International Workshop on Termination ????????????????????????????? part of FLoC 2018 ??????????????????? July 18-19, 2018, Oxford, United Kingdom ????????????????????????? http://wst2018.webs.upv.es/ ========================================================================== REGISTRATION (June 6th is the last day for early registration!) ?? http://www.floc2018.org/register/ INVITED SPEAKERS: ??? James Worrell - University of Oxford ?????? "Termination Checking and Invariant Synthesis for Affine Programs" ??? Akihisa Yamada - NII Japan ?????? "Towards a Unified Method for Termination" PROGRAMME (see also the list of accepted papers attached below): ?? https://easychair.org/smart-program/FLoC2018/WST-program.html TERMINATION AND COMPLEXITY COMPETITION: In 2018, the Termination and Complexity Competition (TERCOMP) will run in parallel with FLoC 2018 as part of the FLoC Olympic Games. The results of the competition will be presented and discussed during a special session at WST 2018. ACCEPTED PAPERS: Eric Hehner. Objective and Subjective Specifications. Guillaume Genestier and Fr?d?ric Blanqui. Termination of Lambda-Pi modulo rewriting using the size-change principle Jera Hensel, Florian Frohn and J?rgen Giesl. Complexity Analysis for Bitvector Programs Alfons Geser, Dieter Hofbauer and Johannes Waldmann. Comparing on Strings: Semantic Kachinuki Order Nachum Dershowitz and Jean-Pierre Jouannaud. GPO: A Path Ordering for Graphs Jose Divas?n, Sebastiaan Joosten, Ren? Thiemann and Akihisa Yamada. A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving Jonas Sch?pf and Christian Sternagel. TTT2 with Termination Templates for Teaching Cristina David, Daniel Kroening and Peter Schrammel. Procedure-Modular Termination Analysis Salvador Lucas. Well-founded models in proofs of termination Aalok Thakkar, Balaji Krishnamurthy and Piyush Gupta. Verification of Rewriting-based Query Optimizers Jes?s J. Dom?nech, Samir Genaim and John P. Gallagher. Control-Flow Refinement via Partial Evaluation Alicia Merayo Corcoba and Samir Genaim. Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations Dieter Hofbauer. Embracing Infinity - Termination of String Rewriting by Almost Linear Weight Functions Carsten Fuhs and Cynthia Kop. Improving Static Dependency Pairs for Higher-Order Rewriting From frederic.mesnard at gmail.com Mon Jun 11 12:39:28 2018 From: frederic.mesnard at gmail.com (Fred Mesnard) Date: Mon, 11 Jun 2018 14:39:28 +0400 Subject: [fg-arc] LOPSTR 2018: Second Round Final Call for Papers Message-ID: ====================================================================== LOPSTR 2018: Second Round Final Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). In order to more closely follow previous LOPSTR timelines, we have added an additional round of paper submission at a more usual time for LOPSTR. Papers submitted in the first round may already be accepted before this round, while rejected papers from the first round can be resubmitted. Important Dates Abstract submission: June 26, 2018 Paper/Extended abstract submission: June 30, 2018 Notification: July 30, 2018 Camera-ready (for electronic pre-proceedings): August 15, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - experiences in designing scalable static analyses PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From announce at cs.ucy.ac.cy Fri Jun 8 10:04:22 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 8 Jun 2018 11:04:22 +0300 Subject: [fg-arc] 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018): Fourth Call for Contributions Message-ID: **** FOURTH CALL FOR CONTRIBUTIONS **** (Papers, Workshop Proposals, Posters, Demos, PhD consortium) The 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) Hilton Cyprus, Nicosia, Cyprus, 10-13 December, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogRm91cnRoIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMjExCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fcloudcom2018%2F *** Paper Submission Deadline: 6 July, 2018 (extended) *** CloudCom is the premier conference on Cloud Computing worldwide, attracting researchers, developers, users, students and practitioners from the fields of big data, systems architecture, services research, virtualization, security and privacy, high performance computing, always with an emphasis on how to build cloud computing platforms with real impact. The conference is co-sponsored by the Institute of Electrical and Electronics Engineers (IEEE), is steered by the Cloud Computing Association, and draws on the excellence of its world-class Program Committee and its participants. CloudCom 2018 will be held in Nicosia, Cyprus between 10-13 December, 2018. TOPICS OF INTEREST Topics of interest of CloudCom 2018 are grouped into four tracks: ? Architecture, Storage and Virtualization ? Cloud Services and Applications ? Security, Privacy and Trust ? Edge Computing and Distributed Cloud The (non-exhaustive) list of topics for each track is as follows: Track 1: Architecture, Storage and Virtualization Chairs: Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil, Ivona Brandic, TU-Wien, Austria ? Intercloud architecture models ? Virtual Machines (VMs), containers, unikernels and microservices ? Cloud services delivery models, campus integration & ?last mile? issues ? Virtualization technology and enablers (network virtualization, software-defined networking) ? Networking technologies ? Cloud system design with FPGAs, GPUs, APUs ? Storage & file systems ? Scalability & performance ? Resource provisioning, monitoring, management & maintenance ? Operational, economic & business models ? Green data centers ? Computational resources, storage & network virtualization ? Resource monitoring ? Virtual desktops ? Resilience, fault tolerance, disaster recovery ? Modeling & performance evaluation ? Disaster recovery ? Energy efficiency Track 2: Cloud Services and Applications Chairs: Laura Ricci, University of Pisa, Italy, Beniamino Di Martino, Seconda Universita? di Napoli, Italy ? XaaS (everything as a service including IaaS, PaaS, and SaaS) ? Cloud services models & frameworks ? Service deployment and orchestration in the Cloud ? Cloud service management ? Cloud workflow management ? Cloud services reference models & standardization ? Cloud-powered services design ? Cloud elasticity ? Machine learning and systems interactions ? Data management applications & services ? Service for computing-intensive applications ? Mining and analytics ? Data-provisioning services ? Cloud programming models, benchmarks, and tools ? Cloud-based services & protocols ? Fault-tolerance & availability of cloud services and applications ? Application development and debugging tools ? Business models & economics of cloud services Track 3: Security, Privacy and Trust Chairs: Martin Gilje Jaatun, University of Stavanger, Norway, Barbara Carminati, Insubria, Italy ? Accountability & audit ? Authentication & authorization ? Cloud integrity ? Blockchain Cloud services ? Cryptography in the Cloud ? Hypervisor security ? Identity management & security as a service ? Prevention of data loss or leakage ? Secure, interoperable identity management ? Trust & credential management ? Trust models for cloud services ? Usable security Risk management in cloud computing environments ? Privacy policy framework for clouds ? Privacy-preserving data mining for clouds ? Information sharing and data protection in the cloud ? Cryptographic protocols against internal attacks in clouds ? Privacy protection in cloud platforms ? Energy/cost/efficiency of security in clouds Track 4: Edge Computing and Distributed Cloud Chairs: Antonio Fernandez Anta, IMDEA, Spain, Sarunas Girdzijauskas, KTH, Sweden ? Cloudlet-enabled applications ? Distributed Cloud Infrastructure ? Foundations and principles of distributed cloud computing ? Architectural models, prototype implementations and applications ? Cloud brokers and coordination across multiple resource managers ? Interoperability and mobility ? Software infrastructure for cloudlets ? Dynamic resource, service and context management on edge computing ? Fog Computing ? IoT cloud architectures & models ? Cloud-based context-aware IoT ? Economics and pricing ? Experience with and performance evaluation of existing deployments and measurements (public, private, hybrid, federated environments) PAPER SUBMISSION GUIDELINES Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Authors must submit their papers by the deadline indicated below, using the EasyChair submission system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogRm91cnRoIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMjExCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcloudcom2018 . Only PDF files will be accepted. Manuscripts need to be prepared according to the IEEE CS format (https://www.ieee.org/conferences_events/conferences/publishing/templates.html). All regular paper submissions should be written in English with a maximum paper length of 8 pages. All submitted papers will be reviewed by at least three experts. Accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference, by the early date indicated by the organizers, and present the paper. The conference proceedings of CloudCom 2018 will be published by IEEE Conference Publishing Service with ISBN and ISSN, and submitted to IEEE Xplore and indexing services such as Ei Compendex. Distinguished papers will be recommended for fast-track publication in the IEEE Transactions on Cloud Computing or invited to be included within a number of special issues in prestigious international journals. CALL FOR TUTORIAL PROPOSALS IEEE CloudCom 2018 is soliciting proposals for full-day / half-day tutorials to be held in conjunction with IEEE CloudCom 2018. For more information on the tutorials and for the complete Call for Tutorial Proposals, please see the conference website. CALL FOR POSTERS, DEMOS & SHORT PAPERS (Late-breaking Results) Authors are invited to submit their research work as a poster, demo or short paper (late-breaking results) to the CloudCom 2018 conference. For the complete Call for Call for Posters, Demos & Short Papers (Late-breaking Results) please see the conference website. CALL FOR PH.D. CONSORTIUM A Ph.D. consortium will be held in conjunction with IEEE CloudCom 2018 in Nicosia, Cyprus. For the complete Call for Ph.D. consortium, please see the conference website. IMPORTANT DATES ? Tutorial Proposals Due: 30 June 2018 ? Regular Papers Due: 6 July 2018 (*** extended ***) ? Ph.D. Consortium Papers Due: 31 August 2018 ? Short Papers, Posters and Demos Due: 31 August 2018 ? Notification of Paper Acceptance: 14 September 2018 ? Camera Ready: 08 October 2018 ? Author Registration: 15 October 2018 ORGANIZING COMMITTEE GENERAL CHAIR ? George Angelos Papadopoulos, University of Cyprus, Cyprus PROGRAM CHAIRS ? George Pallis, University of Cyprus, Cyprus ? Sebastien Varrette, University of Luxembourg, Luxembourg PROGRAM TRACK CHAIRS ? Antonio Fernandez Anta, IMDEA, Spain ? Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil ? Ivona Brandic, TU-Wien, Austria ? Barbara Carminati, Insubria, Italy ? Martin Gilje Jaatun, University of Stavanger, Norway ? Sarunas Girdzijauskas, KTH, Sweden ? Beniamino Di Martino, Seconda Universita? di Napoli, Italy ? Laura Ricci, University of Pisa, Italy WORKSHOPS & TUTORIALS CO-CHAIRS ? Domenico Talia, University of Calabria, Italy ? Dimitrios Tsoumakos, Ionian University, Greece PH.D. COMSORTIUM CHAIR ? Achilleas Achilleos, University of Cyprus, Cyprus SHORT PAPERS, POSTERS & DEMO CHAIR ? Ioannis Konstantinou, NTUA, Greece PUBLICITY CHAIR ? Achilleas Achilleos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From schwindn at gmail.com Wed Jun 13 02:45:18 2018 From: schwindn at gmail.com (Nicolas Schwind) Date: Wed, 13 Jun 2018 09:45:18 +0900 Subject: [fg-arc] 2nd Call for Papers [deadline July 1st] - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018 Message-ID: *Apologies for cross-posting.* Conference: MIWAI 2018, the 12th Multi-disciplinary International Conference on Artificial Intelligence Venue: Hanoi, Vietnam Dates: November 18-20th, 2018 Website: https://khamreang.msu.ac.th/miwai18/index.html *Submission deadline: July 1, 2018 (11:59PM UTC-10)* The 12th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI 2018) will be held in Hanoi, Vietnam, 18-20th November 2018. The theme for this year's event is "Intelligent World". The main objective of the conference is to present the latest research and results of scientists related to AI topics. MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam. MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. We encourage researchers to submit their unpublished papers in the following areas, but not limited to: - Theoretical Foundation: Cognitive Science; Computational Philosophy; Game Theory; Graphical Models; Knowledge Representation and Reasoning; Logic; Fuzzy Logic; Multi-agent Systems; Neurosciences; Probabilistic Reasoning; Qualitative Reasoning; Uncertainty. - Cognitive Computing: Affective Computing; Computer Vision; Natural Language Processing; Self-aware Systems; Speech Recognition; Social Cognition - Computational Intelligence: Artificial Intelligence; Deep Learning; Evolutionary Computing; Machine Learning; Pattern Recognition; Planning and Scheduling; Social Computing; Swarm Intelligence - AI Applications: Ambient Intelligence; Big Data Analysis; Biometrics; Bioinformatics; Brain Machine Interface; Chatbots; Creative Computing; Decision Support Systems; E-commerce; Energy Management; Health Assessment; Industrial Applications of AI; Intelligent Information Systems; Knowledge Management; Telecommunications and Web Services; Security and Privacy Management; Surveillance; Spam Filtering; Software Engineering; Social Networking Security; Semantic Web; Robotics; Recommender Systems; Sport and Rehabilitation; Virtual Reality & Augmented Reality. ------------------------------ Submission Guidelines: ------------------------------ MIWAI 2018 accepts both research and application papers (8-14 pages, oral presentation). All submissions will go through a double-blinded peer-review process. Paper selection will be on the basis of technical quality, relevance, significance, and clarity. Each paper should be written using the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Springer-Verlag author instructions are available at: http://www.springer.com/lncs ------------------------------ Important Dates: ------------------------------ Conference dates: November 18-20, 2018 *Submission deadline: July 1, 2018 (11:59PM UTC-10)* Notification release: August 5, 2018 Camera-ready and early bird registration due: August 20, 2018. ------------------------------ Publication: ------------------------------ This year's proceedings will be published by Springer in LNAI, a topical subseries of LNCS focusing on artificial intelligence (Indexed in the ISI Conference Proceedings Citation Index, Scopus, EI Engineering Index, Google Scholar, Springerlink, DBLP, etc.). ------------------------------ CFP for Special Session: ------------------------------ The organizing committee can accept proposals for Special Session from authors that want to contribute to MIWAI2018. Please submit your special session proposals if you wish to solicit participants by email to the Program co-chairs at . Proposals should include: - Special Session title - A short description (2-3 lines) & covered topics - Session organizer(s) and chair(s) - List of speakers (when available) The deadline for special session proposals is on April 30, 2018 (11:59PM UTC-10). ------------------------------ Committee: ------------------------------ - Honorary Advisor: Sujin Butdisuwan, Mahasarakham University, Thailand - Steering Committee: Arun Agarwal, University of Hyderabad, India Rajkumar Buyya, University of Melbourne, Australia Patrick Doherty, University of Linkoping, Sweden Rina Dechter, University of California, Irive, USA Leon Van Der Torre, University of Luxembourg, Luxembourg Peter Haddawy, Mahidol University, Thailand James F. Peters, University of Manitoba, Canada J?r?me Lang, University Paris-Dauphine, France Somnuk Phon-Amnuaisuk, UTB, Brunei C Raghavendra Rao, University of Hyderabad, India Srinivasan Ramani, IIIT Bangalore, India - Conveners: Richard Booth, Cardiff University, UK Chattrakul Sombattheera, Mahasarakham University, Thailand - General Co-Chair: Duc Dung Nguyen, Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam Rainer Malaka, University of Bremen, Germany - Program Co-Chair: Manasawee Kaenampornpan, Mahasarakham University, Thailand Nicolas Schwind, National Institute of Advanced Industrial Science and Technology, Japan - Organizing Co-Chair: Phatthanaphong Chomphuwiset, Mahasarakham University, Thailand Khachakrit Liemthaisong, Mahasarakham University, Thailand - Local Co-Chair: Quang Doan Nhat Luong Chi Mai - Publicity Co-Chair: Olarik Surinta, Mahasarakham University, Thailand Supakit Nootyaskool, King Mongkut's Institute of Technology, Thailand - Finance Co-Chair: Rapeeporn Chamchong, Mahasarakham University, Thailand - Webmaster: Chaya Hiruncharoenvate, Mahasarakham University, Thailand Panich Sudkhot, Mahasarakham University, Thailand ------------------------------ Contact: ------------------------------ All questions about submissions should be emailed to . -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Jun 12 13:36:09 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 12 Jun 2018 14:36:09 +0300 Subject: [fg-arc] ENTER 2019 eTourism Conference: Second Call for Papers Message-ID: ENTER 2019: The 26th Annual eTourism Conference "eTourism: Towards a Sustainable Digital Society" Hilton Cyprus, Nicosia, Cyprus, 30 January - 1 February, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.enter2019.org *** Second Call for Research Papers *** (Proceedings published by Springer - Journal special issue in JITT, Springer) Every year, hundreds of tourism academics, industry representatives, government officials, students and entrepreneurs come together to share, discuss and challenge latest developments in information technology in the fields of travel, tourism and hospitality. With the theme "eTourism: Towards a Sustainable Digital Society" the ENTER 2019 conference will focus on exploring the ways in which technology and tourism together can make our society more sustainable. We call for latest research and case studies on emergent and cutting-edge information and communication technology concepts, applications, and business models to be shared in the conference. Organized by the International Federation for Information Technology and Travel & Tourism (IFITT), the ENTER 2019 conference provides a unique venue for various tourism stakeholders to understand the application of information and communication technologies to travel and tourism, with a special focus on how eTourism can contribute to the sustainability of the society. The ENTER 2019 research track is divided into three major topics that all contribute to our capabilities in building a sustainable digital society: Tourism Business and Technology, Governance, Sustainability and Education, and Computer Science and Information Systems. Issues to be covered at the conference include, but are not limited, to the following areas in the travel, tourism and hospitality context: Tourism Business and Technology ? ICT and Tourism Experience ? Augmented and Virtual Reality ? Platform Economy ? Website Design and Evaluation ? Digital Marketing and Social Media Strategies ? Digital Distribution and Social Selling ? Social Networking, Social Media and Social Inspiration ? Gaming and Gamification ? ICT Adoption and Value Creation ? E-strategy and eBusiness Models ? ICT for Innovation and Service Design ? Digital Nomads ? Consumer Behaviour in Digital Space ? Robotics and Automation in Travel and Hospitality Governance, Sustainability and Education ? ICT for Regional Development and Sustainability ? Advanced Distribution Systems and Strategies, Dynamic Packaging ? ICT-enabled Partnership and Collaboration ? E-Learning, Life-long Learning and MOOCs ? E-Government and Public Policy in Tourism ? Digital Divide and Socio-economic Development ? Privacy and Internet Security ? Legal, Ethical and Social Aspects of ICT Computer Science and Information Systems ? Big Data and Large-scale Systems ? Artificial Intelligence, Machine Learning and Deep Learning ? Data Mining, Analytics and Measurement ? Text and Concept Mining, Sentiment Analysis ? Recommender Systems and Personalization ? User Modeling and Decision Making ? Human-Computer Interaction ? Emotions and Personality-based Systems ? Social Network Analysis ? Location-based Services and Context-Aware Systems ? Mobile Services and Wearable Technologies ? Semantic Web, Tourism Ontologies and Linked Open Data ? Data Standards and Data Integration ? Travel Information Search and Retrieval ? Internet-of-Things ? Smart Destinations ? Travel Chatbots ? Blockchain and Other Emerging Technologies Welcoming Academics and the Industry The conference brings together the research community and industry, and it is organized in three streams, namely industry track, destinations track, and research track. If you are representing tourism industry or destinations, please see suitable calls for presentations at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.enter2019.org . The conference also features six to eight world-class keynote speakers discussing the most pressing topics within eTourism. Location The 26th edition of ENTER will take place in Nicosia, Cyprus. Nicosia is the capital of Cyprus; a status it has enjoyed for 1000 years since the 10th century, though its beginnings date back 5000 years to the Bronze Age. Nicosia is a sophisticated and cosmopolitan city, rich in history and culture that combines its historic past with the amenities of a modern city. Cyprus is an island drenched in sun and mythology, at the crossroads of ancient civilizations. 9,000 years of history gathered on one island. Cyprus packs a remarkable array of sights and attractions, museums and archaeological parks, throbbing beach resorts, pine covered mountains, medieval fortresses and ancient temples. Over the last few years, it has become one of the top touristic European destinations breaking in consecutive years the record of tourist arrivals. It is expected that in 2018, more than 3.6 million tourists will visit Cyprus and plans target a steady intake of 5 million tourists per year. More information about Nicosia and Cyprus as well as what the island and its capital offer can be found on the conference web site. Call for Research Papers We invite research papers across the widest spectrum of Information and Communication Technologies in Travel and Tourism to be presented at the ENTER 2019 conference. All submissions to the research track are rigorously evaluated for novelty, significance, and soundness. Papers should clearly state the background, introduction, purpose, theory, methodology, results, conclusions and managerial/industry/social implications of the study, and be fully referenced with appropriate citations. The authors of full papers and research notes will have the opportunity to present their research orally supported by PowerPoint slides. Full technical details will be provided with the acceptance of the paper. The proceedings of recently held ENTER conferences are listed by ISI's Conference Proceedings Citation Index - Science (CPCI-S). ENTER 2019 proceedings will follow a similar indexing process for ISI and other major indices. A) Full Papers Full papers should be innovative, so to advance the knowledge base of related fields. These papers present major contributions to the field and should be up to 12 pages in length. The conference proceedings http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fla%2Fbook%2F9783319729220 (to be published by Springer International Publishing) will include all accepted full papers. An award for the best full paper will be presented during the conference. B) Research Notes Research notes of up to 5 pages are invited. These papers represent new ideas not developed enough at the scale of a full paper, findings that restate known research, descriptions of prototypes, or research that is limited in scope. All research notes will be published by the e-Review of Tourism Research (eRTR) at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fertr.tamu.edu%2F (Editor of eRTR: Cody Morris Paris, Middlesex University Dubai, United Arab Emirates). C) Organized Sessions Proposals for organizing technical or other research-oriented sessions are invited. Proposals will include details of potential participants, topics, and presenters. Session Chairs are expected to attend ENTER 2019, set the order of presentations, and chair their session/s. Deadline for session chairs to submit their proposals to Research Track Chairs is September 3, 2018 (please submit proposal by e-mail to the research track chairs found at the end of the document). Submission Please refer to the "Author Advice" (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.enter2019.org%2Fwp-content%2Fuploads%2F2018%2F06%2Fenter2019authoradvice_2.docx ) document as a style guide for standards to follow in the preparation of manuscripts. Please also see Springer guidelines for conference proceedings: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fgb%2Fauthors-editors%2Fconference-proceedings%2Fconference-proceedings-guidelines , especially for Latex submissions. Papers must be uploaded to the online reviewing platform: Easy Chair for ENTER2019 (https://easychair.org/conferences/?conf=enter2019 ). All papers will be double-blind peer-reviewed by experienced researchers who are members of the scientific review committee. Final acceptance will depend on whether the author(s) can adequately address review comments to the satisfaction of the reviewers. Authors must submit their revised manuscripts by the deadline (October 22, 2018) and must register for the conference by November 12, 2018 in order to have their papers included in the Conference Proceedings or eRTR. Time Schedule ? Submission closes: September 3, 2018 ? Notification of acceptance/rejection/revision: October 8, 2018 ? Deadline to submit revised version: October 22, 2018 ? Final acceptance: October 29, 2018 ? End of Early Bird registration: November 2, 2018 ? Registration deadline to be published later: November 12, 2018 ? Conference: January 30 - February 1, 2018 Conference organizers reserve the right to modify the paper submission schedule. Submission Guideline and Presentation Template Please download the "Author Advice" document as a style guide for Word here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.enter2019.org%2Fwp-content%2Fuploads%2F2018%2F06%2Fenter2019authoradvice_2.docx and for Latex here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=ftp%3A%2F%2Fftp.springernature.com%2Fcs-proceeding%2Fsvproc%2Ftemplates%2FProcSci_TeX.zip . A presentation template for your presentation during ENTER2019 Conference will be sent to the authors after acceptance. Fast Track Journal of Information Technology and Tourism (JITT) Best papers' authors will be invited to submit an extended version of their article to Journal of Information Technology and Tourism (Springer). These articles will be reviewed under a special fast track in order to assure a timely publication. JITT website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlFTlRFUiAyMDE5IGVUb3VyaXNtIENvbmZlcmVuY2U6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMjE1CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fbit.ly%2FITTJournal . Research Track Chairs ? Juho Pesonen, University of Eastern Finland (juho.pesonen[at]uef.fi) ? Julia Neidhardt, TU Wien, Austria (julia.neidhardt[at]ec.tuwien.ac.at) -------------- next part -------------- An HTML attachment was scrubbed... URL: From hkn at informatik.uni-kiel.de Fri Jun 15 23:19:22 2018 From: hkn at informatik.uni-kiel.de (Holger Knoche) Date: Fri, 15 Jun 2018 23:19:22 +0200 Subject: [fg-arc] Einladung zum Arbeitskreistreffen "Microservices und DevOps" am 16./17. Juli 2018 in Hannover Message-ID: Sehr geehrte Damen und Herren, hiermit m?chten wir Sie herzlich zum vierten Treffen des Arbeitskreises "Microservices und DevOps" der Gesellschaft f?r Informatik einladen. Das Programm des Treffens finden Sie unten. Die Teilnahme am Treffen ist kostenlos, und eine GI-Mitgliedschaft ist f?r die Teilnahme nicht erforderlich. Zwecks besserer Planung bitten wir um eine Registrierung bis zum 29.06.2018 unter https://goo.gl/forms/NbYDYmvLw788HiMi1. Programm: Montag, 16. Juli Uhrzeit | Thema | Sprecher --------------+------------------------------------------------------------------------------------------------+-------------------------------- 13:00 - 13:30 | Eintreffen | 13:30 - 13:45 | Willkommen, Administratives | Holger Knoche 13:45 - 14:30 | Versicherung trifft Microservice-Architektur: Erste vorsichtige Schritte | Joachim Spittel (ivv) | | Holger Knoche (b+m) --------------|------------------------------------------------------------------------------------------------+-------------------------------- 14:30 - 14:45 | Kaffeepause | --------------|------------------------------------------------------------------------------------------------+-------------------------------- 14:45 - 15:30 | DevOps oder doch nur Automatisierung - Ein Erfahrungsbericht aus der Versicherungswelt | Peter B?hm (Barmenia) 15:30 - 16:15 | A microservice approach in the boundaries of a traditional enterprise environment | Sebastian Eggers (e.on) --------------+------------------------------------------------------------------------------------------------+-------------------------------- 16:15 - 17:30 | Diskussion: Compliance & Co: Grenzen von MS und DevOps im Unternehmensumfeld | Alle Teilnehmer --------------+------------------------------------------------------------------------------------------------+-------------------------------- 19:00 | Gemeinsames Abendessen (self-paid) | Dienstag, 17. Juli Uhrzeit | Thema | Sprecher --------------+------------------------------------------------------------------------------------------------+----------------------------- 09:00 - 09:15 | Willkommen zu Tag 2 | Holger Knoche 09:15 - 10:00 | Vom Testen von Monolithen zur Qualit?tssicherung f?r Microservices | Michael Kutz (REWE Digital) 10:00 - 10:45 | Einblicke in den Maschinenraum - Die Microservice-Plattform von otto.de aus Sicht des Betriebs | Martin Koers (otto.de) --------------+------------------------------------------------------------------------------------------------+-------------------------------- 10:45 - 11:00 | Kaffeepause | --------------+------------------------------------------------------------------------------------------------+-------------------------------- 11:00 - 11:45 | Migration zu Microservices: Hindernisse und L?sungen | Javad Ghofrani (Uni Hannover) 11:45 - 12:15 | Exploiting DevOps Practices for Dependable and Secure Continuous Delivery Pipelines | Thomas D?llmann (Uni Stuttgart) --------------+------------------------------------------------------------------------------------------------+-------------------------------- 12:15 - 12:30 | Abschluss Gastgeber: ivv GmbH Schiffgraben 4 30159 Hannover www.ivv.de Organisation: Holger Knoche hkn at informatik.uni-kiel.de Registrierung: https://goo.gl/forms/NbYDYmvLw788HiMi1 Bitte registrieren Sie sich bis zum 29.06.2018. Eine GI-Mitgliedschaft ist f?r die Teilnahme nicht erforderlich. Aktuelle Informationen zum Treffen finden Sie unter: http://ak-msdo.gi.de/veranstaltungen/naechste-veranstaltungen/4-treffen-1617072018-hannover.html Wir freuen uns auf Ihre Teilnahme! Holger Knoche, Andreas Steffens, Thomas D?llmann und Wilhelm Hasselbring From haowu at cs.nuim.ie Thu Jun 14 11:13:15 2018 From: haowu at cs.nuim.ie (Hao Wu) Date: Thu, 14 Jun 2018 17:13:15 +0800 Subject: [fg-arc] iFM 18' PhD Symposium Call for Papers Message-ID: ============================================================ Call for Papers PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18) Maynooth, Ireland, September 04, 2018 http://ifm2018.cs.nuim.ie/PhDSymposium Paper submission: June 22, 2018 Author notification: July 15, 2018 ============================================================ === Scope === The theory, implementation, integration or application of formal methods in a broad sense. === Who can submit? === PhD students and young researchers at an early career stage (up to 2 years after PhD completion). === Why to submit? === Participants will have the possibility to give short presentations about their research projects. Furthermore, we are happy to announce an invited talk by Dr. Grant Passmore, Co-Founder and Co-CEO, Aesthetic Integration, London. - The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field. - The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic. - The best paper/presentation will be awarded. - The selected contributions will be published as a technical report of the University of Oslo, Norway. === What to submit? === You are welcome to submit an extended abstract of 1-3 pages, describing your research project which you would like to present. Co-authors are allowed. The results may have been accepted or even published elsewhere. If you are author of an accepted iFM'18 publication, it is sufficient to submit the title, authors and abstract of that paper. Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at http://www.easychair.org/publications/for_authors Please submit your abstract electronically in pdf via the EasyChair page https://easychair.org/conferences/?conf=phdifm18 The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of the University of Oslo. === Invited Presentation === Dr. Grant Olney Passmore. - Co-Founder and Co-CEO, Aesthetic Integration, London - Life Member, Clare Hall, University of Cambridge - Honorary Associate, LABORES - Laboratoire de Recherche Scientifique, Paris http://www.cl.cam.ac.uk/~gp351/ === Symposium Co-Chairs === Erika Abraham (RWTH Aachen University, Germany), chair S. Lizeth Tapia Tarifa (University of Oslo, Norway), chair === Program Committee === Nils Jansen (Radboud University) Richard Bubel (TU Darmstadt) Jos? Proen?a (HASLab - INESC TEC/University of Minho) Marie Farrell (National University of Ireland Maynooth) Luigia Petre (?bo Akademi University) Zolt?n Horv?th (E?tv?s Lor?nd University) From announce at cs.ucy.ac.cy Fri Jun 15 10:18:04 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 15 Jun 2018 11:18:04 +0300 Subject: [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Final Call for Papers (*** deadline extension***) Message-ID: *** FINAL CALL FOR PAPERS *** 2018 European Conference on Ambient Intelligence (AmI 2018) Golden Bay Beach Hotel, Larnaca, Cyprus, 12-14 November, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzICgqKiogZGVhZGxpbmUgZXh0ZW5zaW9uKioqKQkyMTcJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fami2018 *** Submission Deadline: 27th June 2018 (extended) *** Ambient intelligence refers to normal working and living environments being surrounded by embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g. The Internet of Things). Such devices, each specialised in one or more capabilities, are intended to work together based on an infrastructure of intelligent systems, to provide a variety of services improving safety, security and the quality of life in ordinary living, travelling and working environments. ABOUT AMI 2018 The 2018 European Conference on Ambient Intelligence (AmI 2018) has a focus on the role of Ambient Intelligence "Towards a Smart and Human Centered Internet of Things". We invite submissions of full and short papers as well as posters, presenting original research. AmI 2018 is an interdisciplinary venue for leading international researchers, designers, and practitioners that present and discuss new results in Ambient Intelligence. AmI builds on the success of thirteen predecessor conferences, which started in 2003 with the EUSAI-event in Veldhoven, The Netherlands. More information about the AmI series can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzICgqKiogZGVhZGxpbmUgZXh0ZW5zaW9uKioqKQkyMTcJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fami-conferences.org . The Proceedings of AmI 2018 will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Furthermore, Springer will sponsor the Best Paper Award with 1,000 EUR. TOPICS AmI 2018 will revolve around the focus topic "Towards a Smart and Human- Centred Internet of Things" that follows the vision of Calm Technology, where technology is useful but does not demand our full attention or interfere with our usual behavior and activities. Relevant research topics include, but are not limited to: ? Sensors and Actuators Networks ? Ambient Networking and Communication ? Mobile, Ubiquitous and Pervasive Computing ? Internet of Things and Interconnected devices ? Internet of Humans and Human Sensors ? Artificial Intelligence Models, Methods and Techniques ? Machine Learning, Data mining and Big Data ? Modelling Context Awareness and Location-based Services ? Agent Technologies and Multi-agent Platforms ? Cloud Computing for Intelligent Ambients ? Multimodal Human-Computer Interaction ? Virtual, Mixed and Augmented Reality ? Symmetric Interaction in Real and Virtual worlds ? Reliability, Assurance and Safety ? Security, Privacy and Trust ? Systems Architecture and Middleware ? Software Development Methodologies and Tools ? Robotic Companions ? Industrial Internet and Industry 4.0 ? Sustainability and Fair Trade ? Smart Homes and Intelligent buildings ? Energy Efficiency ? Ambient Assisted Living ? Healthcare and Well-being ? Smart Cities ? Connected Cars and Autonomous Driving ? Pervasive Games in Hybrid Worlds ? Ambient Intelligence Education ? Evaluation methods and techniques for Trials ? Citizen science, Living labs, Maker communities PAPER AND POSTER SUBMISSION Papers must be anonymized to facilitate blind review. Authors are encouraged to minimize any references that may reveal the identity of the authors and their institutions. Relevant references to an author's previous research should not be suppressed but instead referenced in a neutral way. All papers will be reviewed by at least three Program Committee members. The length of each paper including figures and references may not exceed 16 pages for regular papers and 6 pages for short papers. The posters session aims to collect papers showing work in progress and thus raise opportunities to present and discuss current work in an informal setting. These papers will be presented as posters in the conference. Poster contributions may not exceed 2 pages, including figures and references. For more information about what should be considered a regular, short or poster contribution, please refer to the conference web site. All paper and poster submissions must be written in English and submitted in PDF format. Submission of a paper or poster should be regarded as an undertaking that, should the paper or poster be accepted, at least one of the authors will attend the conference to present the work. For preparation of papers and posters please follow the instructions for authors available at the Springer LNCS Web page (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Authors of full and short papers as well as posters are welcome to submit using the conference review system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzICgqKiogZGVhZGxpbmUgZXh0ZW5zaW9uKioqKQkyMTcJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dami2018 . This year's best paper awards are graciously sponsored by Springer with 1,000 EUR. SPECIAL ISSUE The authors of the best papers to be accepted at AmI 2018 will be invited to submit substantially extended and revised versions of their papers with at least 70% new material to a special journal issue for AmI 2018 to be published in the Journal of Ambient Intelligence and Humanised Computing, by Springer. IMPORTANT DATES ? Paper and Poster Submissions due: 17th June 2018 (***extended***) ? Notification of Acceptance/Rejection: 22nd July 2018 ? Camera-Ready Versions due: 29th July 2018 ? Author Registration: 5th August 2018 ORGANIZING COMMITTEE General Chair ? George Roussos, Birkbeck, University of London, UK Program Chairs ? Achilleas D. Kameas, Hellenic Open University, Greece ? Kostas Stathis, Royal Holloway, University of London, UK Workshops Chairs ? Ioannis Chatzigiannakis, University of Rome, Italy ? Fariba Sadri, Imperial College, UK Local Organization Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Jun 16 11:54:57 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 16 Jun 2018 12:54:57 +0300 Subject: [fg-arc] 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018): Fourth Call for Papers Message-ID: <0K3F1OXI-GRJ-247N-T3U6-KZTGUGI1YBQS@cs.ucy.ac.cy> *** FOURTH CALL FOR PAPERS *** 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018) St. Raphael Resort, Limassol, Cyprus, 15-17 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTIyMAlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.wimob.org%2Fwimob2018%2F (*** Sponsorship Approved by IEEE Communication Society ***) *** Submission Deadline Extended to July 10, 2018 *** WiMob is an international forum for the exchange of knowledge and experience among researchers, developers and practitioners of wireless and mobile technology. For fourteen years, the International WiMob conference has provided unique opportunities for researchers and developers to interact, share new results, show live demonstrations, and discuss emerging directions in a number of contemporary topics in wireless and mobile computing. WiMob 2018 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. TOPICS WiMob 2018 will host 5 parallel symposia on: ? Wireless Communications ? Wireless Networking, Mobility and Nomadicity ? Ubiquitous Computing, Services and Applications ? Green and Sustainable Communications and Network Computing ? Security on Wireless and Mobile Networks A full list of topics for each symposium can be found on the conference web site. PAPER SUBMISSION Authors are required to submit fully formatted, original papers (PDF), with graphs, images, and other special areas arranged as intended for the final publication. Papers should be written in English conforming to the IEEE standard conference format (8.5" x 11" - US letter, Two-Column). The initial submission for review will be limited to 8 pages. The final manuscript for publication will be limited to 8 IEEE pages included in the registration. However, additional charges may apply for additional pages. The conference content will be submitted for inclusion into IEEE Xplore (after approval) as well as other Abstracting and Indexing (A&I) databases. Each accepted paper must be presented at the conference by one of the co-authors or a third party, otherwise it will not be indexed and archived through IEEE Xplore. Only timely submissions through EDAS at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTIyMAlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fedas.info will be accepted. For more details, please visit the Facebook page for WiMob 2018: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTIyMAlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.facebook.com%2Fwimob2018%2F as well as the conference web site. IMPORTANT DATES ? Paper submission: July 10, 2018 (***extended***) ? Notification: August 15, 2018 ? Final manuscript: September 1, 2018 ORGANISATION Honorific Chair ? Lajos Hanzo, University of Southampton, UK General Chair ? Abderrahim Benslimane, University of Avignon, France Steering Committee ? Abderrahim Benslimane - University of Avignon, France ? Hsiao-Hwa Chen - National Cheng Kung University, Taiwan ? Khaled Ben Letaief - Hong Kong University of Science and Technology, HK ? Victor C. M. Leung - University of British Columbia, Canada ? Samuel Pierre - Ecole Polytechnique de Montreal, Canada ? Dovan Thanh - Telenor & Norwegian Univ. of Science & Technology, Norway Executive Co-Chairs ? Wessam Ajib, Universite du Quebec - Montreal, Canada ? George Angelos Papadopoulos, University of Cyprus, Cyprus Workshop Co-Chairs ? Nirwan Ansari, New Jersey Institute of Technology, USA ? Hossam Hassanein, Queen's University, Canada ? Anna Maria Vegni - Roma Tre University, Italy TPC Co-Chairs ? Abbas Bradai, XLIM Institute, University of Poitiers, France ? Brigitte Jaumard, Concordia University, Canada ? Ming Li, University of Arizona, USA ? Qi Liao, Nokia Bell Labs, Germany Publication Co-Chairs ? Abderrahim Benslimane, University of Avignon, France ? Corinna Schmitt, University of Zurich, Switzerland Publicity Co-Chairs ? Abdellatif Ezzouhairi, ENSA Fez, Morocco ? Chunxiao Jiang, Tsinghua University, China ? Neeraj Kumar, Thapar University, India ? Cristina L?pez-Bravo, Universidade de Vigo, Spain ? Roca Vincent, INRIA Rhone-Alpes, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From schwindn at gmail.com Sat Jun 16 06:33:22 2018 From: schwindn at gmail.com (Nicolas Schwind) Date: Sat, 16 Jun 2018 13:33:22 +0900 Subject: [fg-arc] 2nd Call for Papers [deadline July 1st] - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018 Message-ID: *Apologies for cross-posting.* Conference: MIWAI 2018, the 12th Multi-disciplinary International Conference on Artificial Intelligence Venue: Hanoi, Vietnam Dates: November 18-20th, 2018 Website: https://khamreang.msu.ac.th/miwai18/index.html *Submission deadline: July 1, 2018 (11:59PM UTC-10)* The 12th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI 2018) will be held in Hanoi, Vietnam, 18-20th November 2018. The theme for this year's event is "Intelligent World". The main objective of the conference is to present the latest research and results of scientists related to AI topics. MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam. MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. We encourage researchers to submit their unpublished papers in the following areas, but not limited to: - Theoretical Foundation: Cognitive Science; Computational Philosophy; Game Theory; Graphical Models; Knowledge Representation and Reasoning; Logic; Fuzzy Logic; Multi-agent Systems; Neurosciences; Probabilistic Reasoning; Qualitative Reasoning; Uncertainty. - Cognitive Computing: Affective Computing; Computer Vision; Natural Language Processing; Self-aware Systems; Speech Recognition; Social Cognition - Computational Intelligence: Artificial Intelligence; Deep Learning; Evolutionary Computing; Machine Learning; Pattern Recognition; Planning and Scheduling; Social Computing; Swarm Intelligence - AI Applications: Ambient Intelligence; Big Data Analysis; Biometrics; Bioinformatics; Brain Machine Interface; Chatbots; Creative Computing; Decision Support Systems; E-commerce; Energy Management; Health Assessment; Industrial Applications of AI; Intelligent Information Systems; Knowledge Management; Telecommunications and Web Services; Security and Privacy Management; Surveillance; Spam Filtering; Software Engineering; Social Networking Security; Semantic Web; Robotics; Recommender Systems; Sport and Rehabilitation; Virtual Reality & Augmented Reality. ------------------------------ Submission Guidelines: ------------------------------ MIWAI 2018 accepts both research and application papers (8-14 pages, oral presentation). All submissions will go through a double-blinded peer-review process. Paper selection will be on the basis of technical quality, relevance, significance, and clarity. Each paper should be written using the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Springer-Verlag author instructions are available at: http://www.springer.com/lncs ------------------------------ Important Dates: ------------------------------ Conference dates: November 18-20, 2018 *Submission deadline: July 1, 2018 (11:59PM UTC-10)* Notification release: August 5, 2018 Camera-ready and early bird registration due: August 20, 2018. ------------------------------ Publication: ------------------------------ This year's proceedings will be published by Springer in LNAI, a topical subseries of LNCS focusing on artificial intelligence (Indexed in the ISI Conference Proceedings Citation Index, Scopus, EI Engineering Index, Google Scholar, Springerlink, DBLP, etc.). ------------------------------ Committee: ------------------------------ - Honorary Advisor: Sujin Butdisuwan, Mahasarakham University, Thailand - Steering Committee: Arun Agarwal, University of Hyderabad, India Rajkumar Buyya, University of Melbourne, Australia Patrick Doherty, University of Linkoping, Sweden Rina Dechter, University of California, Irive, USA Leon Van Der Torre, University of Luxembourg, Luxembourg Peter Haddawy, Mahidol University, Thailand James F. Peters, University of Manitoba, Canada J?r?me Lang, University Paris-Dauphine, France Somnuk Phon-Amnuaisuk, UTB, Brunei C Raghavendra Rao, University of Hyderabad, India Srinivasan Ramani, IIIT Bangalore, India - Conveners: Richard Booth, Cardiff University, UK Chattrakul Sombattheera, Mahasarakham University, Thailand - General Co-Chair: Duc Dung Nguyen, Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam Rainer Malaka, University of Bremen, Germany - Program Co-Chair: Manasawee Kaenampornpan, Mahasarakham University, Thailand Nicolas Schwind, National Institute of Advanced Industrial Science and Technology, Japan - Organizing Co-Chair: Phatthanaphong Chomphuwiset, Mahasarakham University, Thailand Khachakrit Liemthaisong, Mahasarakham University, Thailand - Local Co-Chair: Quang Doan Nhat Luong Chi Mai - Publicity Co-Chair: Olarik Surinta, Mahasarakham University, Thailand Supakit Nootyaskool, King Mongkut's Institute of Technology, Thailand - Finance Co-Chair: Rapeeporn Chamchong, Mahasarakham University, Thailand - Webmaster: Chaya Hiruncharoenvate, Mahasarakham University, Thailand Panich Sudkhot, Mahasarakham University, Thailand ------------------------------ Contact: ------------------------------ All questions about submissions should be emailed to . -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jun 18 09:00:54 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 18 Jun 2018 10:00:54 +0300 Subject: [fg-arc] 21st International Conference on Discovery Science (DS 2018): Last Call for Papers (deadline extended) Message-ID: *** LAST CALL FOR PAPERS *** 21st International Conference on Discovery Science (DS 2018) St. Raphael Resort, Limassol, Cyprus, 30-31 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBEaXNjb3ZlcnkgU2NpZW5jZSAoRFMgMjAxOCk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzIChkZWFkbGluZSBleHRlbmRlZCkJMjIyCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fds2018 (*** In conjunction with ISMIS 2018 ***) (*** Submission Deadline Extended: 28th June, 2018 ***) WELCOME The 21st International Conference on Discovery Science (DS 2018) provides an open forum for intensive discussions and exchange of new ideas among researchers working in the area of Discovery Science. The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains. We welcome papers that focus on the analysis of different types of massive and complex data, including structured, spatio-temporal and network data. We particularly welcome papers addressing applications. Finally, we would like to encourage contributions from the areas of computational scientific discovery, mining scientific data, computational creativity and discovery informatics. DS 2018 will be co-located with ISMIS 2018, the 24th International Symposium on Methodologies for Intelligent Systems. The two conferences will be held in parallel, and will share their invited talks. TOPICS We invite submissions of research papers addressing all aspects of discovery science. We particularly welcome contributions that discuss the application of data analysis, data mining and other support techniques for scientific discovery including, but not limited to, biomedical, astronomical and other physics domains. Applications to massive, heterogeneous, continuous or imprecise data sets are of particular interests. Possible topics include, but are not limited to: ? Knowledge discovery, machine learning and statistical methods ? Ubiquitous knowledge discovery ? Data streams, evolving data and models ? Change detection and model maintenance ? Active knowledge discovery ? Learning from text and web mining ? Information extraction from scientific literature ? Knowledge discovery from heterogeneous, unstructured and multimedia data ? Knowledge discovery in network and link data ? Knowledge discovery in social networks ? Data and knowledge visualization ? Spatial/temporal Data ? Mining graphs and structured data ? Planning to learn ? Knowledge transfer ? Computational creativity ? Human-machine interaction for knowledge discovery and management ? Biomedical knowledge discovery and analysis ? Machine learning for high-performance computing, grid and cloud computing ? Applications of the above techniques to natural or social sciences PAPER SUBMISSION Papers may contain up to fifteen (15) pages and must be formatted according to the layout supplied by Springer-Verlag for the Lecture Notes in Computer Science series. Submitted papers may not have appeared in or be under consideration for another workshop, conference or a journal, nor may they be under review or submitted to another forum during the DS 2018 review process Authors can submit their papers electronically via our submission page through Easychair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBEaXNjb3ZlcnkgU2NpZW5jZSAoRFMgMjAxOCk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzIChkZWFkbGluZSBleHRlbmRlZCkJMjIyCUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dds20180 . PUBLICATION AND JOURNAL SPECIAL ISSUES The DS 2018 proceedings will be published by Springer in LNAI (Lecture Notes in Artificial Intelligence) and will be available at the conference. Authors of best papers will be invited to submit their extended versions to the Machine Learning journal (https://link.springer.com/journal/10994) published by Springer. Fast Track Processing will be used to have them reviewed and published. IMPORTANT DATES ? Paper Submissions due: 28th June 2018 (*** extended ***) ? Notification of Acceptance/Rejection: 18th July 2018 ? Camera-Ready Versions of Accepted Papers: 28th July 2018 ? Author Registration: 31st Juy 2018 ? Early Non-Author Registration: 10th September 2018 ? Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE General Chair ? George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Committee Co-Chairs ? Larisa Soldatova, Goldsmiths, University of London, UK ? Joaquin Vanschoren, Eindhoven University of Technology, the Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Mon Jun 18 09:11:37 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 18 Jun 2018 09:11:37 +0200 Subject: [fg-arc] =?utf-8?q?EKAW_2018_=3A_Third_call_for_research=2C_in-u?= =?utf-8?q?se_and_position_papers?= In-Reply-To: <190d-5acdb600-19-54e3b000@241277230> Message-ID: <6fb0-5b275b00-381-75163c80@103255466> [Apologies for cross-postings] ** Call for research, in-use, and position papers ** https://project.inria.fr/ekaw2018/ The 21th International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of EKAW 2018 is "Knowledge and AI". We are indeed calling for papers that describe algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery.EKAW 2018 will put a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. ** Proceedings ** The proceedings of the research track will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. The authors of selected best papers will be invited to submit an extended version of their manuscript to a special issue of the Semantic Web Journal by IOS Press. ** Best paper award ** Research and in-use papers are eligible for the Bob Wielinga Best Paper Award sponsored by Springer that will award a prize of 1,000 euros to the best paper of the main track. ** Topics of interest ** EKAW 2018 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies on the following topics: * AI and Knowledge * - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multi-media knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI * Knowledge Management * - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies- Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) * Knowledge Engineering and Acquisition * - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge * Social and Cognitive Aspects of Knowledge Representation * - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management * Applications in specific domains such as * - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) ** Type of papers ** We will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to its own evaluation criteria. The Programme Committee will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. Research papers: These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of-concept. The main evaluation criteria here will be originality, technical soundness and validation. In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users, etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations are essential for this type of paper and should involve a representative subset of the actual users of the system. Position papers: We invite researchers to also publish position papers, which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order contribute to a better understanding of these problems in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. ** Important dates ** Abstract deadline: July 2nd, 2018 Submission deadline: July 9th, 2018 Notification of acceptance: August 31st, 2018 Camera-ready paper: September 10th, 2018 Conference days: November 13th-16th, 2018 All submission deadlines are 23:59:59 Hawaii Time. ** Submissions ** Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via EasyChair. All submissions for research, in-use, and position papers must be in English, and no longer than 15 pages. Papers that exceed this limit will be rejected without review. Submissions must be in PDF, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions. ** Organization ** General chair Amedeo Napoli (CNRS, France) Yannick Toussaint (Universit? de Lorraine, France) Program chairs Catherine Faron Zucker (Universit? Nice Sophia Antipolis, France) Chiara Ghidini (Fondazione Bruno Kessler, Italy) From peterol at ifi.uio.no Mon Jun 18 11:37:44 2018 From: peterol at ifi.uio.no (=?utf-8?Q?Peter_Csaba_=C3=96lveczky?=) Date: Mon, 18 Jun 2018 11:37:44 +0200 Subject: [fg-arc] Final CfP/Deadline: 15th International Conference on Formal Aspects of Component Software Message-ID: <1703E318-1CB2-40F9-BA67-5FA0E0F6B021@ifi.uio.no> -------------------------------------------------------------------- Call for Papers FACS 2018 15th International Conference on Formal Aspects of Component Software Pohang, Korea, October 10-12, 2018 http://sevlab.postech.ac.kr/facs18 --------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: June 21, 2018 (AoE) (extended!) Paper submission deadline: June 25, 2018 (AoE) (extended!) Notification: August 8, 2018 Conference: Oct 10-12, 2018 OVERVIEW AND SCOPE Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2018 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * components for the Internet of things and cyber-physical systems; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. PAPER SUBMISSION We solicit submissions, related to the topics mentioned above, in the following categories: A) original research contributions (18 pages max); B) applications and experiences (18 pages max); C) surveys, comparisons, and state-of-the-art reports (18 pages max); D) tool papers (6 pages max). All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2018. Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). In addition, we solicit submissions to the Doctoral Track of FACS 2018, in the form of abstracts (3 pages max) concisely capturing work in progress, research questions, envisaged contributions, and/or partial results. Doctoral Track submission deadline: August 5, 2018 (AoE) Doctoral Track notification: August 15, 2018 PUBLICATION All accepted papers in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in Springer?s LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal. INVITED SPEAKERS Edward A. Lee (University of California, Berkeley) Grigore Rosu (University of Illinois, Urbana-Champaign) PROGRAM COMMITTEE Farhad Arbab (CWI & Leiden University) Cyrille Artho (KTH Royal Institute of Technology) Kyungmin Bae (chair) (Pohang University of Science and Technology) Luis Barbosa (University of Minho) Simon Bliudze (INRIA Lille) Roberto Bruni (University of Pisa) Zhenbang Chen (National University of Defense Technology) Yunja Choi (Kyungpook National University) Jose Luiz Fiadeiro (Royal Holloway University of London) Xudong He (Florida International University) Sung-Shik Jongmans (Open University of the Netherlands) Yunho Kim (Korea Advanced Institute of Science and Technology) Olga Kouchnarenko (FEMTO-ST & University of Franche-Comte) Ivan Lanese (University of Bologna/INRIA) Axel Legay (INRIA Rennes) Shaoying Liu (Hosei University) Zhiming Liu (Southwest University, Chongqing) Markus Lumpe (Swinburne University of Technology) Eric Madelaine (INRIA Sophia Antipolis) Hernan Melgratti (University of Buenos Aires) Jose Meseguer (University of Illinois, Urbana-Champaign) Kazuhiro Ogata (Japan Advanced Institute of Science and Technology) Peter Olveczky (chair) (University of Oslo) Catuscia Palamidessi (INRIA) Jose Proenca (University of Minho) Gwen Salaun (University of Grenoble Alpes) Francesco Santini (Univerity of Perugia) Meng Sun (Peking University) Antonio Vallecillo (University of Malaga) Daniel Varro (Budapest University of Technology and Economics & McGill University) Shoji Yuen (Nagoya University) Min Zhang (East China Normal University) From announce at cs.ucy.ac.cy Tue Jun 19 15:42:13 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 19 Jun 2018 16:42:13 +0300 Subject: [fg-arc] The 34th ACM Symposium on Applied Computing (SAC 2019): First Combined Call for Papers Message-ID: *** FIRST COMBINED CALL FOR PAPERS *** The 34th ACM Symposium on Applied Computing (SAC 2019) St. Raphael Resort, Limassol, Cyprus, April 8-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMzR0aCBBQ00gU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMgMjAxOSk6IEZpcnN0IENvbWJpbmVkIENhbGwgZm9yIFBhcGVycwkyMjQJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.sigapp.org%2Fsac%2Fsac2019 For the past thirty-three years the ACM Symposium on Applied Computing (SAC) has been a primary and international forum for applied computer scientists, computer engineers and application developers to gather, interact and present their work. The ACM Special Interest Group on Applied Computing (SIGAPP) is the sole sponsor of SAC. The conference proceedings are published by ACM and are also available online through ACM's Digital Library. The 34th Annual SAC meeting will be held in April 2019 in Limassol, Cyprus, and is hosted by the University of Cyprus. The conference features the following tracks: ? Intelligent Robotics and Multi-Agent Systems (IRMAS) ? Knowledge Representation and Reasoning (KRR) ? Information Access and Retrieval (IAR) ? Software Verification and Testing (SVT) ? Computational Intelligence and Video & Image Analysis (CIVIA) ? Social Network and Media Analysis (SONAMA) ? Selected Areas of Wireless Communications and Networking (WCN) ? Recommender Systems: Theory and Applications (RS) ? Computer Security (SEC) ? Web-based Technologies for Interactive Computing Education ? Data Mining (DM) ? Usability Engineering (UE) ? Cloud Computing (CC) ? Privacy by Design in Practice (PDP) ? Advances in COMputational Biomedical Imaging (COMBI) ? Operating Systems (OS) ? Software Platforms (SP) ? Decentralized Applications (DAPP) with Blockchain, DLT and Crypto-Currencies ? Databases and Big Data Management (DBDM) ? Requirements Engineering (RE) ? Cyber-Physical Systems (CPS) ? Software Architecture: Theory, Technology, and Applications (SA-TTA) ? Internet of Things (IoT) ? Sustainability of Fog/Edge Computing Systems (SFECS) ? Software-intensive Systems-of-Systems (SiSoS) ? Data Streams (DS) ? Programming Languages (PL) ? Business Process Management & Enterprise Architecture (BPMEA) ? Microservices, DevOps, and Service-Oriented Architecture (MiDOS) ? Health Informatics for Patient Centric Outcome Driven Healthcare ? Dependable, Adaptive, and Secure Distributed Systems (DADS) ? GeoInformation Analytics (GIA) ? Knowledge and Language Processing ? KomIS: Knowledge Discovery meets Information Systems ? Next Generation Programming Paradigms and Systems (NGPS) ? Communication, Computing and Networking in Internet of Vehicles (CCNIV) ? Bioinformatics (BIO) ? Embedded Systems (EMBS) ? Digital Life for Human Well-being (DLHWB) ? Networking (NET) ? Semantic Web and Applications (SWA) ? Mobile Computing and Applications (MCA) ? Software Engineering (SE) ? Variability and Software Product Line Engineering (VSPLE) ? Smart Human Computer Interaction (HCI) ? Web Technologies (WT) ? Machine Learning and its Applications More information about the topics covered by each track and submission instructions are available on the conference web site and the web sites of the tracks themselves (accessible from the conference web site). Important Dates ? Sept 10, 2018: Submission of papers ? Nov 10, 2018: Author notification ? Nov 25, 2018: Camera-ready copies ? Dec 10, 2018: Author registration Committees http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMzR0aCBBQ00gU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMgMjAxOSk6IEZpcnN0IENvbWJpbmVkIENhbGwgZm9yIFBhcGVycwkyMjQJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.sigapp.org%2Fsac%2Fsac2019/organization.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Wed Jun 20 00:40:00 2018 From: irdta at irdta.eu (IRDTA) Date: Wed, 20 Jun 2018 00:40:00 +0200 Subject: [fg-arc] TPNC 2018: 2nd call for papers Message-ID: <545102060a010b050755550a05025a5c570402575355025350575b54020e07535c5300565601070204025904530003@grlmc_ip-zone_com-6> TPNC 2018: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? *************************************************************************** 7th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING ? TPNC 2018 ? Dublin, Ireland ? December 12-14, 2018 ? Co-organized by: ? Natural Computing Research & Applications Group School of Business University College Dublin ? Institute for Research Development, Training and Advice Brussels / London ? http://tpnc2018.irdta.eu/ *************************************************************************** ? AIMS: ? TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2018 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. ? VENUE: ? TPNC 2018 will take place in Dublin, a major historical and contemporary centre for education, arts, administration, economy and industry. The venue will be: ? Michael Smurfit Graduate Business School University College Dublin Carysfort Avenue Blackrock Co. Dublin http://www.smurfitschool.ie/ ? SCOPE: ? Topics include, but are not limited to: ? - Theoretical contributions to: ? artificial chemistry artificial immune systems artificial life cellular automata cognitive computing cognitive engineering cognitive robotics collective behaviour complex systems computational intelligence computational social science computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing evolutionary game theory fractal geometry fuzzy control fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural computing neural networks quantum communication quantum computing rough sets self-assembly self-organization social computing social simulation soft computing swarm intelligence synthetic biology ? - Applications of natural computing to: ? algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence ? A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. ? STRUCTURE: ? TPNC 2018 will consist of: ? - invited talks - peer-reviewed contributions - posters ? INVITED SPEAKERS: ? Juergen Branke (University of Warwick), Design of Complex Systems via Simulation-based Optimisation ? Hani Hagras (University of Essex), Towards Human Understandable Explainable AI via Type-2 Fuzzy Logic Systems ? Georgios Ch. Sirakoulis (Democritus University of Thrace), The Cellular Automata Computing Paradigm Enriched: From Simple Models to Real World Applications ? PROGRAMME COMMITTEE: ? Andrew Adamatzky (University of the West of England, UK) Wolfgang Banzhaf (Memorial University of Newfoundland, CA) Mauro Birattari (Universit? Libre de Bruxelles, BE) Christian Blum (Spanish Higher Scientific Research Council, ES) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Sung-Bae Cho (Yonsei University, KR) Claude Cr?peau (McGill University, CA) Jean-Louis Deneubourg (Universit? Libre de Bruxelles, BE) Marco Dorigo (Universit? Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Carlos M. Fonseca (University of Coimbra, PT) Amir H. Gandomi (Stevens Institute of Technology, US) Michel Gendreau (Polytechnique Montr?al, CA) Deborah M. Gordon (Stanford University, US) Jin-Kao Hao (University of Angers, FR) Zeng-Guang Hou (Chinese Academy of Sciences, CN) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Ljupco Kocarev (Macedonian Academy of Sciences and Arts, MK) Vladik Kreinovich (University of Texas El Paso, US) Rudolf Kruse (University of Magdeburg, DE) Jos? Ignacio Latorre (University of Barcelone, ES) Jing Liang (Zhengzhou University, CN) Gui Lu Long (Tsinghua University, CN) Jianquan Lu (Southeast University, CN) Carlos Mart?n-Vide (Rovira i Virgili University, ES, chair) Luis Mart?nez (University of Ja?n, ES) Ujjwal Maulik (Jadavpur University, IN) Jos? M. Merig? (University of Chile, CL) Nenad Mladenovic (Serbian Academy of Sciences and Arts, RS) Michael O'Neill (University College Dublin, IE) Celso C. Ribeiro (Fluminense Federal University, BR) Frank Schweitzer (Swiss Federal Institute of Technology Zurich, CH) Patrick Siarry (Paris-Est Cr?teil Val de Marne University, FR) Andrzej Skowron (University of Warsaw, PL) John A. Smolin (IBM Thomas J. Watson Research Center, US) Attila Szolnoki (Hungarian Academy of Sciences, HU) Jos? Luis Verdegay (University of Granada, ES) Fernando J. Von Zuben (State University of Campinas, BR) David Wolpert (Santa Fe Institute, US) Hao Ying (Wayne State University, US) Jacek M. ?urada (University of Louisville, US) ? ORGANIZING COMMITTEE: ? David Fagan (Dublin, co-chair) Sara Morales (Brussels) Michael O'Neill (Dublin, co-chair) Manuel Jes?s Parra Roy?n (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodr?guez (C?ceres) Irene Ward (Dublin) ? SUBMISSIONS: ? Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). ? Submissions have to be uploaded to: ? https://easychair.org/conferences/?conf=tpnc2018 ? PUBLICATIONS: ? A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. ? A special issue of Soft Computing (Springer, 2016 JCR impact factor: 2.472) 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://tpnc2018.irdta.eu/Registration.php ? DEADLINES (all at 23:59 CET): ? Paper submission: July 29, 2018 Notification of paper acceptance or rejection: September 5, 2018 Final version of the paper for the LNCS proceedings: September 12, 2018 Early registration: September 12, 2018 Late registration: November 28, 2018 Submission to the journal special issue: March 14, 2019 ? QUESTIONS AND FURTHER INFORMATION: ? david at irdta.eu ? ACKNOWLEDGMENTS: ? UCD ? University College Dublin ? IRDTA ? Institute for Research Development, Training and Advice, Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From ruipereira at di.uminho.pt Wed Jun 20 11:48:04 2018 From: ruipereira at di.uminho.pt (Rui Pereira) Date: Wed, 20 Jun 2018 10:48:04 +0100 Subject: [fg-arc] CFP for VL/HCC Workshops: DTSHPS and SEMS Message-ID: Call for Participation: Workshop on Designing Technologies to Support Human Problem Solving (DTSHPS 2018) to be held October 1, 2018 in Lisbon, Portugal in conjunction with VL/HCC 2018. We solicit both formal and informal papers addressing issues related to the design of software systems that support humans in solving complex problems such as global challenges like climate change, drug-resistant diseases, nuclear proliferation, fake news, the complexity of software systems themselves, and others. For more details, see the attached workshop description and/or visit the workshop website at https://www.cs.washington.edu/dtshps2018/ Call for Papers: SEMS?18 - 5th International Workshop on Software Engineering Methods in Spreadsheets Spreadsheets provide end users the ability to create solutions for their problems. They are used in many contexts for distinct purposes and play an important role in many critical decision processes. As such, methods from other domains have been applied to spreadsheets in order to provide better support to end users. SEMS aims to provide an event where researchers and industry professionals can gather and share problems and solutions related to spreadsheets. Therefore, we are looking for full research papers, work-in-progress papers and experience reports. More details at the website and news on Twitter: http://sems2018.ist.tugraz.at/ https://twitter.com/sems_workshop -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Jun 20 12:12:05 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 20 Jun 2018 13:12:05 +0300 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): Fifth Call for Papers Message-ID: *** FIFTH CALL FOR PAPERS *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJMjI2CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 *** Submission Deadline: 31 July, 2018 *** *** Proceedings published by IEEE *** *** Special issue: Journal of Industrial Integration and Management, World Scientific *** WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJMjI2CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: ? Enterprise Systems for Industry 4.0 ? Cyber Physical Systems for Industry 4.0 ? Internet of Things for Industry 4.0 ? Big Data for Industry 4.0 ? Security and Privacy Protection for Industry 4.0 ? System Engineering and Human Factors for Industry 4.0 ? IoT-enabled Smart Manufacturing A full list of subtopics for each one of the above topics can be found on the conference web site. PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: ? Full papers present final result. They must not exceed 8 pages. ? Short papers can contain preliminary results. They must not exceed 6 pages. ? Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJMjI2CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJMjI2CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for a special issue by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES ? Regular Paper Submissions (al types) due: 31st July 2018 ? Notification of Acceptance/Rejection: 25th August 2018 ? Camera-Ready Versions of Accepted Papers: 6th September 2018 ? Author Registration: 6th September 2018 ? Early Non-Author Registration: 10th September 2018 ? Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs ? Aurona Gerber, South Africa, IEEE SMC EAE TC Chair ? Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair ? Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs ? Ling Xia Li, Old Dominion University, USA ? Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand ? Yale Yu, Infosys Australia & New Zealand ? Chris Zhang, University of Saskatchewan, Canada ? Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJMjI2CUxpc3RzCTE2MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From francesco.osborne at open.ac.uk Wed Jun 20 12:54:15 2018 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Wed, 20 Jun 2018 10:54:15 +0000 Subject: [fg-arc] CfP for EKAW2018 Doctoral Consortium Message-ID: <8E055B59-3CBF-4BB0-A2F2-5C3A329CC270@open.ac.uk> Apologies for cross-posting. ==== Call for Papers ==== EKAW2018 Doctoral Consortium Date: 13 November 2018 Venue: Nancy, France Twitter Hashtag: #ekaw2018DC Website: https://project.inria.fr/ekaw2018/call-for-doctoral-consortium/ # IMPORTANT DATES - Abstract deadline : 7 September, 23:59 Hawaii Time (sharp) - Paper deadline : 14 September, 23:59 Hawaii Time (sharp) - Notification : 5 October, 23:59 Hawaii Time (sharp) The EKAW 2018 Doctoral Consortium is an opportunity for PhD students in Knowledge Engineering and Knowledge Management to discuss and obtain feedback on their ongoing work, plans and research directions with/from experienced researchers in the field. The objective is to share best practices of research methods and approaches, as well as to exchange on what it means to engage in an academic career on the topics relevant to the EKAW conference. All papers submitted to the EKAW 2018 Doctoral Consortium will be reviewed by three experienced researchers. In addition, the authors of accepted papers will be asked to review one of the other Doctoral Consortium papers. The objective is to make students experience the reviewing process and to provide for each paper different views regarding the research they describe. Submissions will be divided into two different categories depending on the PhD phase: - Early Stage PhD: Students who may have identified the main research problem they want to address as well as the relevant literature, and who are building their research methodology, but who might not yet have obtained significant results, or only preliminary ones. - Late Stage PhD: Students who have already defined their approach (even if incompletely) and obtained significant results (e.g., that might have been published already). These categories do not affect the chances of being selected. They will, however, be taken into account by the reviewers in their feedback, and in the length and format of the presentation. The organisers might decide to move a submission from one category to the other, if they think it is justified. Submission guidelines All submissions must be single-author submissions. Please acknowledge your PhD advisor(s) and other contributors in the Acknowledgements section. Submissions should clearly indicate the category of the submission (Early Stage PhD or Late Stage PhD) and should be structured around the following items which are the key methodological components required for a sound research narrative: 1. Problem: describe the core problem that you work on, motivate its relevance for the knowledge management, knowledge acquisition and knowledge representation areas, and formulate the research question(s) and/or hypotheses that you will answer; 2. State of the art: describe relevant related work and point out areas that need to be improved or investigated; 3. Proposed Approach: present the approach taken and motivate how this is novel with respect to existing work; 4. Methodology: sketch the methodology that is (or will be) adopted, including the evaluation protocol, i.e. the way in which the results will be validated and/or the hypotheses will be tested. 5. Results: describe the current status of the work and any results that have been reached so far; 6. Discussion: reflect on why you think your approach will work (or not), difficulties you have run into, and recommendations for future work. Topics The Doctoral Consortium focuses on the same topics of the main conference. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: AI and Knowledge - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multimedia knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI Knowledge Management - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) Knowledge Engineering and Acquisition - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge Social and Cognitive Aspects of Knowledge Representation - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management Applications in specific domains such as - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) Submission information and requirements All submissions for the Doctoral Consortium must be in English, and between 5 and 8 pages. Papers and abstracts can be submitted electronically via EasyChair (http://www.easychair.org/conferences/?conf=ekaw2018doctoralcons). Submissions must be either in PDF or in HTML, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. HTML submissions should be submitted to EasyChair as a ZIP archive that contains the complete content of the paper. Authors can use any HTML-based format for the submission, but a mandatory LNCS-like layout should be provided and the submission still needs to comply with the established page limit. Authors who are new to HTML submissions may consider to use either dokieli (https://dokie.li) or RASH (https://github.com/essepuntato/rash) that can help produce well formatted academic papers using HTML and are capable of rendering papers in the LNCS layout. Students accepted to present at the Doctoral Consortium must attend the Doctoral Consortium for the whole day in order to gain as much value as possible from the experience. Each submitter should also be aware that they will be asked to review one other paper submitted to the Doctoral Consortium. Accepted papers will be published online via CEUR Workshop Proceedings (or equivalent). Important Dates Abstract submission: 7 September 2018 Full paper submission: 14 September 2018 Notification: 5 October 2018 Camera-ready: TBA Doctoral Consortium: 13 November 2018 Chairs Francesco Osborne (KMi, The Open University, UK) Laura Hollink (CWI, Netherlands) -- The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302). The Open University is authorised and regulated by the Financial Conduct Authority in relation to its secondary activity of credit broking. From Adrian.Rutle at hvl.no Thu Jun 21 09:22:33 2018 From: Adrian.Rutle at hvl.no (Adrian Rutle) Date: Thu, 21 Jun 2018 07:22:33 +0000 Subject: [fg-arc] Call for Papers: MULTI 2018: 5th International Workshop on Multi-Level Modelling Message-ID: <388F9DF1-1B93-4D6A-AE73-2681C91A2C13@hvl.no> Apologies for cross-posting! *MULTI 2018: 5th International Workshop on Multi-Level Modelling* Co-located with MODELS, at IT University of Copenhagen Copenhagen, Denmark, October 16, 2018 *Conference website* https://www.wi-inf.uni-duisburg-essen.de/MULTI2018/ *Submission link* https://easychair.org/conferences/?conf=multi2018 *Submission deadline* July 17, 2018 *Introduction* Multilevel modelling is an emerging new modelling paradigm that offers exciting new perspectives not only for conceptual modelling, but also for the development of software systems that are integrated with models of themselves. Multilevel DSMLs allow for combining the benefits of economies of scale with the productivity enabled by concepts that were designed for very specific domains. Multilevel modelling has now been used successfully in a wide range of projects. The MULTI workshop series is the premier event for researchers and practitioners who work in the field of multilevel languages and tools or are interested in applying multilevel technologies. It is aimed at providing a platform for exchanging ideas and promoting the further development of multilevel languages, methods and tools. In particular, the goal is to encourage the community to delineate different approaches to multilevel modelling and define objective ways to evaluate their respective strengths/weaknesses. To address this objective, MULTI 2018 features a specific multilevel modelling challenge. A growing community of researchers is excited about the prospects offered by multilevel modelling. However, there is still no clear consensus on what this new paradigm actually entails and how it should be applied. For example, there are different views on whether it is sound to combine instance facets and type facets into so-called clabjects, whether strict metamodeling is too restrictive, and what tool architectures provide the best framework for modelling with multiple classification levels. This lack of a foundational consensus is mirrored by the lack of a common focus in current multilevel tools. The goal of MULTI 2018 is to address these challenges and continue the community building established in the previous workshops. In particular, the goal is to encourage the community to delineate different approaches to multi-level modelling and define objective ways to evaluate their respective strengths/weaknesses. One key way of addressing this goal is to identify standard/canonical examples specially designed to exercise the abilities of multilevel modelling approaches. We encourage submissions on new concepts, implementation approaches and formalisms as well as submissions on controversial positions, requirements for evaluation criteria or case-study scenarios. Contributions in the area of tool building, multilevel modelling applications, canonical examples and educational material are equally welcome. *Invited Speaker* - Manuel Wimmer *Submission Guidelines* All papers must be original and not simultaneously submitted to another journal or conference. Three kinds of papers are solicited: regular papers (max. 10 pages), challenge papers (max. 10 pages), and position papers (max. 5 pages), in LNCS format. Papers should be submitted via Easychair. Accepted papers will be published as CEUR workshop proceedings and indexed in DBLP. Authors submit their papers as PDF files to https://easychair.org/conferences/?conf=multi2018. The workshop provides a platform for tool demonstrations, too. Please contact Tony Clark to determine the scope and structure of a demo. To promote the exchange between different schools of multilevel modelling and to contribute to a consolidation of the field, this year?s MULTI will host a specific modelling challenge (*The Bicycle Challenge* https://www.wi-inf.uni-duisburg-essen.de/MULTI2018/#challenge). Challenge participants are asked to develop a multilevel model, or multilevel DSMLs respectively, to represent a domain that is provided in a natural language description. The solutions should account for certain requirements and are expected to be submitted in a given structure. *List of Topics* - the exact nature and semantics of elements in a multilevel hierarchy and how best to represent them - the importance and role of potency and its variants such a durability and mutability - transitioning from traditional modelling approaches/tools to multi-level approaches - engineering domain-specific languages and complete tool support - methods for designing multilevel models - formal approaches to multilevel modelling - experiences and challenges in providing tool support for multilevel modelling - experiences and challenges in applying multilevel modelling techniques to large and/or real world problems - model management languages (transformation, code generation etc.) in a multi-level setting - comparisons of multilevel and two-level solutions for modelling problems - criteria for comparing multilevel modelling approaches and evaluating their usability - canonical multi-level modelling examples and challenges - distinct and multiple viewpoints on multilevel models - methods for developing multilevel systems and languages - the management of changes in multilevel models - innovative systems architectures enabled by multilevel languages - multilevel modelling versus knowledge engineering and ontologies *Important dates* Paper submission 17th July Notification 17th August Camera-ready 21st August Workshop day 16th October *Committees* Program Committee - Alessandro Rossini (EVRY AS, Norway) - Alexander Egyed (Johannes Kepler University, Austria) - Bernd Neumayr (Johannes Kepler University of Linz, Austria) - Cesar Gonzalez Perez (Spanish National Research Council, Spain) - Collin Atkinson (University of Manheim, Gernamy) - Dirk Draheim (Tallinn University of Technology, Estonia) - Georg Grossmann (University of South Australia, Australia) - Georg Hinkel (Karlsruhe Univeristy, Germany) - Hans-Georg Fill (University of Vienna, Austria) - Joao-Paulo Almeida (Federal University of Esp?rito Santo, Brazil) - Juan de Lara (Universidad Aut?noma de Madrid, Spain) - Manfred Jeusfeld (University of Sk?vde, Sweden) - Manuel Wimmer (Vienna University of Technology, Austria) - Markus Stumptner (University of South Australia, Australia) - Martin Gogolla (University of Bremen, Germany) - Michael Schrefl (Johannes Kepler University, Austria) - Monika Kaczmarek-He? (University of Duisburg-Essen) - Stefan Jablonski (Bayreuth University, Germany) - Tony Clark (Sheffield Hallam University, UK) - Ulrich Frank (University of Duisburg-Essen, Germany) - Wolfgang Pree (University of Salzburg, Austria) - Yngve Lamo (Western Norway University of Applied Sciences, Norway) Organizing committee - Tony Clark - Bernd Neumayr - Adrian Rutle *Contact* All questions about submissions should be emailed to adrian (dot) rutle (at) hvl (dot) no -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jun 25 12:00:18 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 25 Jun 2018 13:00:18 +0300 Subject: [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Last Mile for Paper Submission (***final extension***) Message-ID: <5Y6APILR-Z3I5-6SCZ-ECU6-P854I7DW0L5U@cs.ucy.ac.cy> *** LAST MILE FOR PAPER SUBMISSION *** 2018 European Conference on Ambient Intelligence (AmI 2018) Golden Bay Beach Hotel, Larnaca, Cyprus, 12-14 November, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogTGFzdCBNaWxlIGZvciBQYXBlciBTdWJtaXNzaW9uICgqKipmaW5hbCBleHRlbnNpb24qKiopCTIyOAlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fami2018 *** Submission Deadline: 7th July 2018 (final) *** Ambient intelligence refers to normal working and living environments being surrounded by embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g. The Internet of Things). Such devices, each specialised in one or more capabilities, are intended to work together based on an infrastructure of intelligent systems, to provide a variety of services improving safety, security and the quality of life in ordinary living, travelling and working environments. ABOUT AMI 2018 The 2018 European Conference on Ambient Intelligence (AmI 2018) has a focus on the role of Ambient Intelligence "Towards a Smart and Human Centered Internet of Things". We invite submissions of full and short papers as well as posters, presenting original research. AmI 2018 is an interdisciplinary venue for leading international researchers, designers, and practitioners that present and discuss new results in Ambient Intelligence. AmI builds on the success of thirteen predecessor conferences, which started in 2003 with the EUSAI-event in Veldhoven, The Netherlands. More information about the AmI series can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogTGFzdCBNaWxlIGZvciBQYXBlciBTdWJtaXNzaW9uICgqKipmaW5hbCBleHRlbnNpb24qKiopCTIyOAlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fami-conferences.org . The Proceedings of AmI 2018 will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Furthermore, Springer will sponsor the Best Paper Award with 1,000 EUR. TOPICS AmI 2018 will revolve around the focus topic "Towards a Smart and Human- Centred Internet of Things" that follows the vision of Calm Technology, where technology is useful but does not demand our full attention or interfere with our usual behavior and activities. Relevant research topics include, but are not limited to: ? Sensors and Actuators Networks ? Ambient Networking and Communication ? Mobile, Ubiquitous and Pervasive Computing ? Internet of Things and Interconnected devices ? Internet of Humans and Human Sensors ? Artificial Intelligence Models, Methods and Techniques ? Machine Learning, Data mining and Big Data ? Modelling Context Awareness and Location-based Services ? Agent Technologies and Multi-agent Platforms ? Cloud Computing for Intelligent Ambients ? Multimodal Human-Computer Interaction ? Virtual, Mixed and Augmented Reality ? Symmetric Interaction in Real and Virtual worlds ? Reliability, Assurance and Safety ? Security, Privacy and Trust ? Systems Architecture and Middleware ? Software Development Methodologies and Tools ? Robotic Companions ? Industrial Internet and Industry 4.0 ? Sustainability and Fair Trade ? Smart Homes and Intelligent buildings ? Energy Efficiency ? Ambient Assisted Living ? Healthcare and Well-being ? Smart Cities ? Connected Cars and Autonomous Driving ? Pervasive Games in Hybrid Worlds ? Ambient Intelligence Education ? Evaluation methods and techniques for Trials ? Citizen science, Living labs, Maker communities PAPER AND POSTER SUBMISSION Papers must be anonymized to facilitate blind review. Authors are encouraged to minimize any references that may reveal the identity of the authors and their institutions. Relevant references to an author's previous research should not be suppressed but instead referenced in a neutral way. All papers will be reviewed by at least three Program Committee members. The length of each paper including figures and references may not exceed 16 pages for regular papers and 6 pages for short papers. The posters session aims to collect papers showing work in progress and thus raise opportunities to present and discuss current work in an informal setting. These papers will be presented as posters in the conference. Poster contributions may not exceed 2 pages, including figures and references. For more information about what should be considered a regular, short or poster contribution, please refer to the conference web site. All paper and poster submissions must be written in English and submitted in PDF format. Submission of a paper or poster should be regarded as an undertaking that, should the paper or poster be accepted, at least one of the authors will attend the conference to present the work. For preparation of papers and posters please follow the instructions for authors available at the Springer LNCS Web page (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Authors of full and short papers as well as posters are welcome to submit using the conference review system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogTGFzdCBNaWxlIGZvciBQYXBlciBTdWJtaXNzaW9uICgqKipmaW5hbCBleHRlbnNpb24qKiopCTIyOAlMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dami2018 . This year's best paper awards are graciously sponsored by Springer with 1,000 EUR. SPECIAL ISSUE The authors of the best papers to be accepted at AmI 2018 will be invited to submit substantially extended and revised versions of their papers with at least 70% new material to a special journal issue for AmI 2018 to be published in the Journal of Ambient Intelligence and Humanised Computing, by Springer. IMPORTANT DATES ? Paper and Poster Submissions due: 7th July 2018 (***final***) ? Notification of Acceptance/Rejection: 22nd July 2018 ? Camera-Ready Versions due: 29th July 2018 ? Author Registration: 5th August 2018 ORGANIZING COMMITTEE General Chair ? George Roussos, Birkbeck, University of London, UK Program Chairs ? Achilleas D. Kameas, Hellenic Open University, Greece ? Kostas Stathis, Royal Holloway, University of London, UK Workshops Chairs ? Ioannis Chatzigiannakis, University of Rome, Italy ? Fariba Sadri, Imperial College, UK Local Organization Chair ? George Angelos Papadopoulos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Jun 26 12:14:21 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 26 Jun 2018 13:14:21 +0300 Subject: [fg-arc] 21st International Conference on Discovery Science (DS 2018): Last Mile for Paper Submission Message-ID: <211OWMX-J65U-KH3J-SX-SWWTXQ4YAB2@cs.ucy.ac.cy> *** LAST MILE FOR PAPER SUBMISSION *** 21st International Conference on Discovery Science (DS 2018) St. Raphael Resort, Limassol, Cyprus, 30-31 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBEaXNjb3ZlcnkgU2NpZW5jZSAoRFMgMjAxOCk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbgkyMzAJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fds2018 (*** In conjunction with ISMIS 2018 ***) (*** Submission Deadline: 28th June, 2018 ***) WELCOME The 21st International Conference on Discovery Science (DS 2018) provides an open forum for intensive discussions and exchange of new ideas among researchers working in the area of Discovery Science. The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains. We welcome papers that focus on the analysis of different types of massive and complex data, including structured, spatio-temporal and network data. We particularly welcome papers addressing applications. Finally, we would like to encourage contributions from the areas of computational scientific discovery, mining scientific data, computational creativity and discovery informatics. DS 2018 will be co-located with ISMIS 2018, the 24th International Symposium on Methodologies for Intelligent Systems. The two conferences will be held in parallel, and will share their invited talks. TOPICS We invite submissions of research papers addressing all aspects of discovery science. We particularly welcome contributions that discuss the application of data analysis, data mining and other support techniques for scientific discovery including, but not limited to, biomedical, astronomical and other physics domains. Applications to massive, heterogeneous, continuous or imprecise data sets are of particular interests. Possible topics include, but are not limited to: ? Knowledge discovery, machine learning and statistical methods ? Ubiquitous knowledge discovery ? Data streams, evolving data and models ? Change detection and model maintenance ? Active knowledge discovery ? Learning from text and web mining ? Information extraction from scientific literature ? Knowledge discovery from heterogeneous, unstructured and multimedia data ? Knowledge discovery in network and link data ? Knowledge discovery in social networks ? Data and knowledge visualization ? Spatial/temporal Data ? Mining graphs and structured data ? Planning to learn ? Knowledge transfer ? Computational creativity ? Human-machine interaction for knowledge discovery and management ? Biomedical knowledge discovery and analysis ? Machine learning for high-performance computing, grid and cloud computing ? Applications of the above techniques to natural or social sciences PAPER SUBMISSION Papers may contain up to fifteen (15) pages and must be formatted according to the layout supplied by Springer-Verlag for the Lecture Notes in Computer Science series. Submitted papers may not have appeared in or be under consideration for another workshop, conference or a journal, nor may they be under review or submitted to another forum during the DS 2018 review process. The reviews are single-blind. You do not need to anonymize your submission. Authors can submit their papers electronically via our submission page through Easychair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBEaXNjb3ZlcnkgU2NpZW5jZSAoRFMgMjAxOCk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbgkyMzAJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dds20180 . PUBLICATION AND JOURNAL SPECIAL ISSUES The DS 2018 proceedings will be published by Springer in LNAI (Lecture Notes in Artificial Intelligence) and will be available at the conference. Authors of best papers will be invited to submit their extended versions to the Machine Learning journal (https://link.springer.com/journal/10994) published by Springer. Fast Track Processing will be used to have them reviewed and published. IMPORTANT DATES ? Paper Submissions due: 28th June 2018 (*** extended ***) ? Notification of Acceptance/Rejection: 18th July 2018 ? Camera-Ready Versions of Accepted Papers: 28th July 2018 ? Author Registration: 31st Juy 2018 ? Early Non-Author Registration: 10th September 2018 ? Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE General Chair ? George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Committee Co-Chairs ? Larisa Soldatova, Goldsmiths, University of London, UK ? Joaquin Vanschoren, Eindhoven University of Technology, the Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From ruipereira at di.uminho.pt Wed Jun 27 12:17:38 2018 From: ruipereira at di.uminho.pt (Rui Pereira) Date: Wed, 27 Jun 2018 11:17:38 +0100 Subject: [fg-arc] [VL/HCC'18] Calls for Posters, Showpieces, and Graduate Consortium Message-ID: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2018) 1-4 October, 2018 - Lisbon, Portugal http://vlhcc.org ----------------------------------------------------CALL FOR POSTERS ---------------------------------------------------- IMPORTANT DATES ---------------------------- - Submission: 13 July 2018 - Notification: 27 July 2018 - Camera Ready: 10 August 2018 The VL/HCC 2018 Poster Track provides an opportunity for researchers and practitioners to present and discuss their most recent advances, ideas, experiences, and challenges in the field of visual languages and human centric computing. The poster track will provide an excellent environment for discussions that may generate new ideas and solutions. For more information on Poster submission: https://vlhcc18.github.io/call_posters.html ----------------------------------------------------CALL FOR SHOWPIECES ---------------------------------------------------- IMPORTANT DATES ---------------------------- - Submission: 13 July 2018 - Notification: 27 July 2018 - Camera Ready: 10 August 2018 Showpieces offer an interactive opportunity to show off your ideas or accomplishments to the VL/HCC community. Showpieces helps to start conversations that could lead to new collaborations. In particular, they help researchers to demonstrate their research to industry partners and they help graduate students to meet faculty from other universities. Showpieces can be tool demonstrations, videos, downloadable apps, handouts, electronic devices, physical prototypes, or any other artifacts that facilitate meaningful interactions with other conference attendees. For more information on Showpiece submission: https://vlhcc18.github.io/call_showpieces.html ----------------------------------------------------CALL FOR GRADUATE CONSORTIUM ---------------------------------------------------- IMPORTANT DATES ---------------------------- - Submission: 27 July 2018 - Notification: 6 August 2018 - Camera Ready: 10 August 2018 - Consortium Date: 1 October 2018 The goal of the 2018 VL/HCC Graduate Consortium is to explore ways to help find easier ways to learn, express, and understand computational ideas, which can include ways to visualize, analyze, or tailor large socio-technical systems or information generated by them. This may include development of novel methods and techniques, models and tools, such as programming environments. At a deeper level, it may include developing new theory for predicting the complicated, unstable, sometimes emergent behavior that results when large numbers of diverse, unpredictable humans are coupled to unreliable software. For more information on Graduate Consortium submission: https://vlhcc18.github.io/graduate_consortium.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Thu Jun 28 23:42:15 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 28 Jun 2018 23:42:15 +0200 Subject: [fg-arc] DeepLearn 2018: regular registration July 20 Message-ID: <545102060a010b05075f540a04025a555252010405520e5100010853060105505250040e57010150030300020e5658@grlmc_ip-zone_com-6> DeepLearn 2018: regular registration July 20*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? *************************************************************** ? 2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING ? DeepLearn 2018 ? Genova, Italy ? July 23-27, 2018 ? Organized by: University of Genova IRDTA ? Brussels/London ? http://grammars.grlmc.com/DeepLearn2018/ ? *************************************************************** ? --- Regular registration deadline: July 20, 2018 --- ? *************************************************************** ? SCOPE: ? DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience. ? Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ? An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles. ? ADDRESSED TO: ? Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. ? STRUCTURE: ? 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. ? VENUE: ? DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be: ? Porto Antico di Genova ? Centro Congressi Magazzini del Cotone ? Module 10 16128 Genova, Italy ? KEYNOTE SPEAKERS: ? Paolo Frasconi (University of Florence), Bilevel Programming for Hyperparameter Optimization and Meta-Learning ? Marco Gori (University of Siena), Motion Supervision in Visual Environments ? PROFESSORS AND COURSES: ? T?lay Adal? (University of Maryland, Baltimore County), [introductory/intermediate] Data Fusion through Matrix and Tensor Decompositions: Linear, Multilinear, and Nonlinear Models and their Applications ? Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences ? Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications ? Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation ? Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware ? Marco Gori (University of Siena), Constrained Learning and Reasoning with Constraints ? Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale ? Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology ? Sun-Yuan Kung (Princeton University), [introductory] A Methodical and Cost-effective Approach to Optimization/Generalization of? Deep Learning Networks ? Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers ? Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation ? Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks ? Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video ? Douglas A. Reynolds (Massachusetts Institute of Technology) & Najim Dehak (Johns Hopkins University), [introductory/intermediate] More than Words Can Say: Machine and Deep Learning for Speaker, Language, and Emotion Recognition from Speech ? Bj?rn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis ? Mich?le Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning ? Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking ? Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines ? Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis ? Ren? Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning ? Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing ? Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects ? Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory] Introductory Tutorial on Regression and Deep Learning ? Yudong Zhang (University of Leicester), [introductory/intermediate] Convolutional Neural Network and Its Variants ? OPEN SESSION: ? An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 15, 2018. ? INDUSTRIAL SESSION: ? A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018. ? EMPLOYERS SESSION: ? Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018. ? ORGANIZING COMMITTEE: ? Alberto Cabri (Genova) Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Roy?n (Granada) Stefano Rovetta (Genova) David Silva (London, co-chair) ? REGISTRATION: ? It has to be done at ? http://grammars.grlmc.com/DeepLearn2018/registration.php ? The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. ? Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event. ? FEES: ? Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ? ACCOMMODATION: ? Suggestions for accommodation can be found at ? http://www.deeplearn-hotels.promoest.com/hp.aspx?s=0 ? CERTIFICATE: ? A certificate of successful participation in the event will be delivered indicating the number of hours of lectures. ? QUESTIONS AND FURTHER INFORMATION: ? david at irdta.eu ? ACKNOWLEDGMENTS: ? Universit? degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) ? Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Fri Jun 29 14:38:45 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Fri, 29 Jun 2018 14:38:45 +0200 Subject: [fg-arc] =?utf-8?q?EKAW_2018_=3A_Call_for_papers_=28deadline_ext?= =?utf-8?q?ension=29?= In-Reply-To: <5a71-5acdb680-205-347a7c80@198200425> Message-ID: <4eb4-5b362880-325-6c00d200@69767259> [Apologies for cross-postings] Due to multiple requests, the paper submission deadline for EKAW 2018 has been EXTENDED to July 12th 2018. Please notice that the abstract deadline remains unchanged on Monday July 2nd 2018. ** Call for research, in-use, and position papers ** https://project.inria.fr/ekaw2018/ The 21th International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of EKAW 2018 is "Knowledge and AI". We are indeed calling for papers that describe algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery.EKAW 2018 will put a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. ** Proceedings ** The proceedings of the research track will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. The authors of selected best papers will be invited to submit an extended version of their manuscript to a special issue of the Semantic Web Journal by IOS Press. ** Best paper award ** Research and in-use papers are eligible for the Bob Wielinga Best Paper Award sponsored by Springer that will award a prize of 1,000 euros to the best paper of the main track. ** Topics of interest ** EKAW 2018 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies on the following topics: * AI and Knowledge * - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multi-media knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI * Knowledge Management * - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies- Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) * Knowledge Engineering and Acquisition * - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge * Social and Cognitive Aspects of Knowledge Representation * - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management * Applications in specific domains such as * - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) ** Type of papers ** We will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to its own evaluation criteria. The Programme Committee will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. Research papers: These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of-concept. The main evaluation criteria here will be originality, technical soundness and validation. In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users, etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations are essential for this type of paper and should involve a representative subset of the actual users of the system. Position papers: We invite researchers to also publish position papers, which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order contribute to a better understanding of these problems in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. ** Important dates ** Abstract deadline: July 2nd, 2018 Submission deadline: July 12th, 2018 Notification of acceptance: August 31st, 2018 Camera-ready paper: September 10th, 2018 Conference days: November 13th-16th, 2018 All submission deadlines are 23:59:59 Hawaii Time. ** Submissions ** Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via EasyChair. All submissions for research, in-use, and position papers must be in English, and no longer than 15 pages. Papers that exceed this limit will be rejected without review. Submissions must be in PDF, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions. ** Organization ** General chair Amedeo Napoli (CNRS, France) Yannick Toussaint (Universit? de Lorraine, France) Program chairs Catherine Faron Zucker (Universit? Nice Sophia Antipolis, France) Chiara Ghidini (Fondazione Bruno Kessler, Italy)