From grlmc at grlmc.com Sun Apr 2 12:26:05 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 02 Apr 2017 12:26:05 +0200 Subject: [fg-arc] SLSP 2017: 1st call for papers Message-ID: <545102060a010b010955580006075a015a5f02540607530052570c500e055b53560201510508090400540450060154@grlmc_ip-zone_com-6> SLSP 2017: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2017   Le Mans, France   October 23-25, 2017   Organized by:   Computer Science Lab (LIUM) University of Le Mans   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2017/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be:   Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2017 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Robert Gaizauskas (University of Sheffield, UK) Keikichi Hirose (University of Tokyo, JP) Gareth Jones (Dublin City University, IE) Tomi Kinnunen (University of Eastern Finland, FI) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Holger Schwenk (Facebook, FR) Phil Woodland (University of Cambridge, UK)   ORGANIZING COMMITTEE:   Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/SLSP2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 11, 2017 Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   POSTAL ADDRESS:   SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Université du Maine Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From alessandro.aldini at uniurb.it Tue Apr 4 10:59:44 2017 From: alessandro.aldini at uniurb.it (Aldini, Alessandro) Date: Tue, 4 Apr 2017 10:59:44 +0200 Subject: [fg-arc] FOSAD Summer School 2017: Foundations of Security Analysis and Design Message-ID: 17TH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN FOSAD 2017 ==================================================== http://www.sti.uniurb.it/events/fosad17 ==================================================== 28 August - 2 September 2017, Bertinoro, Italy In cooperation with the European Network for Cyber-security (NeCS) *** Application Deadline: June 23, 2017 FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. COURSES> The topics covered by the lectures include: - cryptocurrencies and transparency systems - mobile security - privacy engineering - verification of security protocols - information-flow control libraries - machine learning and privacy Lecturers: Joseph Bonneau (Stanford Univ.) Lorenzo Cavallaro (Royal Holloway Univ. of London) George Danezis (Univ. College London) Stephanie Delaune (CNRS IRISA) Alejandro Russo (Chalmers Univ.) Vitaly Shmatikov (Cornell Univ.) The courses alternate theory and practice sessions. OPEN SESSION> Daily sessions are organized for participants who intend to take advantage of the audience for presenting their current research/tool in the area. SCIENTIFIC COMMITTEE> Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli (Chair) Gilles Barthe Catherine Meadows Eerke Boiten Bart Preneel Sandro Etalle SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro (CEUB), Italy: http://www.ceub.it/ The host venue provides a unique architectonical and environmental setting joining the stunning views of the hilltop of Bertinoro with the historical location of the ancient fortress and the facilities of the Center, which offers accommodation, meeting rooms, and modern conference and computing services. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by: June 23, 2017. Notification of accepted applicants will be posted by: June 24, 2017. Registration to the school is due by: July 24, 2017. SCHOOL FEES> The full fee is 900 Euros and covers stay from August 27, in double room, half board (breakfast and lunch), welcome dinner of August 27 and social dinner included. A limited amount of grants will be provided to cover part of the fee for young researchers. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Fri Apr 7 16:37:33 2017 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 7 Apr 2017 16:37:33 +0200 Subject: [fg-arc] Erinnerung: 8. Workshop Design for Future (DFF 2017) [Deadline: 14.04.] Message-ID: <9686fff8-f3d3-9181-113d-8441d4b9da77@uni-paderborn.de> ___________________________________________________________ --- Noch eine Woche bis zum Ende der Einreichungsfrist! --- ___________________________________________________________ Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 14. April 2017 ------------------------------------------------------------------------------------------------------- *8. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2017)* _______________________________________________________________ --- Software Engineering für langlebige Systeme --- des GI-Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“ http://akl2s2.ipd.kit.edu/veranstaltungen/dff2017/ 08.–10. Mai 2017 in Bad Honnef gemeinsam mit dem 19. Workshop Software-Reengineering & Evolution (WSRE 2017) https://fg-sre.gi.de/wsre2017.html Wichtige Termine ---------------- Einreichung von Beiträgen 14. April 2017 Benachrichtigung über die Annahme 21. April 2017 Einreichung der finalen Fassung 01. Mai 2017 Anmeldeschluss zur Teilnahme 01. Mai 2017 Workshop 08.-10. Mai 2017 Inhalt und Ziele ---------------- Das Altern von Software ist ein Problem, das vor allem bei großen betrieblichen Informationssystemen unter dem Begriff Legacy bekannt ist und auch in Zukunft in vielfältigen Anwendungsbereichen auftreten wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen die Erhöhung der Datenqualität erfordern. Die Notwendigkeit der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer. Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 8. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. Themen ------ Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: - Methoden zur Software-Modernisierung und Software-Migration - Re-Engineering zum Erkennen und Beheben von Legacy-Problemen - Anpassungsfähige und zukunftssichere Software-Architekturen - Evolution und Co-Evolution von Modellen und Code - Verhinderung von Software-Erosion - Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme - Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) - Evolutionsherausforderungen im Kontext von Big Data - Qualitätsmanagement für langlebige Softwaresysteme - Fallstudien zu den vorgenannten Themen - Praxis- und Erfahrungsberichte zu den vorgenannten Themen Einreichung & Veröffentlichung von Beiträgen -------------------------------------------- Praktiker und Wissenschaftler, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=dff2017 freigeschaltet. Organisation ------------ Der Workshop wird organisiert vom GI-Arbeitskreis „Langlebige Softwaresysteme“ (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 19. Workshop Software-Reengineering & Evolution (WSRE 2017) der Fachgruppe „Software-Reengineering“ durchgeführt. AK- und Workshop-Leitung: - Stefan Sauer, sauer at s-lab.upb.de - Marco Konersmann, marco.konersmann at paluno.uni-due.de - Robert Heinrich, robert.heinrich at kit.edu Programmkomitee --------------- ‒ wird noch bekannt gegeben ‒ From grlmc at grlmc.com Sat Apr 8 08:15:29 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 08 Apr 2017 08:15:29 +0200 Subject: [fg-arc] DeepLearn 2017: early registration April 21 Message-ID: <545102060a010b01095f54050e025a01550705570207065350075d5752015a59005006000b0d000205540203025602@grlmc_ip-zone_com-6> DeepLearn 2017: early registration April 21*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: April 21, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Precision Medicine and Biomedical informatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Wild   Li Erran Li (Columbia University), [intermediate/advanced] Deep Reinforcement Learning: Recent Advances and Frontiers   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Generative Modeling and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   INDUSTRIAL SESSION:   A specific session will be devoted to demonstrations of practical uses of deep learning in industrial processes. Companies/people interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   ORGANIZING COMMITTEE:   Pablo García Bringas (co-chair) José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   A suggestion for accommodation is available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Apr 8 13:24:38 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 8 Apr 2017 14:24:38 +0300 Subject: [fg-arc] 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): Fourth Call for Papers Message-ID: *** Fourth Call for Papers *** 5th European Conference on the Engineering of Computer Based Systems ECBS 2017 Lordos Hotel, Larnaca, Cyprus 31 August - 1 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogRm91cnRoIENhbGwgZm9yIFBhcGVycwk3MAlMaXN0cwkxNzgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fecbs2017%2F In Cooperation with ACM SIGAPP, SIGOPS and SIGSOFT ECBS 2017 is a formal meeting dedicated to formulating and advancing methods, techniques, and tools for engineering of computer-based systems. The conference is devoted to the design, development, deployment, and analysis of the complex systems whose behavior is largely determined or controlled by computers. Such systems are characterized by functional, performance, and reliability requirements that mandate the tight integration of information processing and physical processes. ECBS integrates software, hardware, and communication perspective of system engineering through its many facets that include system modeling, requirements specification, simulation, architectures, safety, security, reliability, human-computer interaction, system integration, verification and validation, high performance/parallel computing, cloud-based technologies, and project management. The conference provides a bridge between industry and academia, blending academic research and industrial development. The proceedings will be published in the International Conference Proceedings Series of ACM and after the conference they will be accessible in the ACM Digital Library. A Best Paper Award will be presented to the best paper presented at the conference, and a Best Student Paper Award will be presented to the best paper written solely or mostly by students. Scope Papers are sought which reflect this intent in fundamental ECBS technologies and application domains including, but not limited to the following topics: · Agile and Lean Approaches and Human Aspects of Software Development · Architectures · Advanced Modularity · Cloud-based Applications · Co-Design · Component-Based System Design · Cyber-Physical Systems · Parallel & Distributed Systems · Parallel Programming Methodologies and Languages · FPGA Systems Design · ECBS Infrastructure (Tools and Environments) · Education and Training · Embedded Real-Time Software Systems · Integration Engineering · Lifecycle Processes and Process Evolution · Model-Based System Development · Modeling and Analysis of Complex Systems · Networked Control Systems · Reengineering & Reuse · Reliability, Safety, Dependability, and Security · Software Engineering · System Assessment, Testing, and Metrics · Verification and Validation Industrial reports of practical solutions, trends, and new system characteristics for ECBS, taking an integrated systems approach, are particularly welcome. They may target application domains such as: Aerospace Systems, Command and Control, Continuous and Discrete Manufacturing, Environmental Systems, Instrumentation and Control Applications, Internet Technology and Applications, Intelligent Highway- Vehicle Systems (IHVS), Medical Systems, High Performance Computing Development Environments and Applications, and Telecommunications. Submission of Papers The conference solicits regular (no more than 10 pages) and short papers (no more than 4 pages). The Program Committee may require an accepted paper to be adapted into a short paper or extended abstract (no more than 2 pages and poster presentation only). All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission of Papers: 1 May, 2017 · Notification of Acceptance: 1 July, 2017 · Camera-ready Submission: 17 July, 2017 · Registration and Payment for Authors: 17 July, 2017 · Early Registration for Non-Authors: 9 August, 2017 Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chair · Ondrej Rysavy, Brno University of Technology , Czech Republic Program Co-Chair · Valentino Vranic, Slovak University of Technology in Bratislava, Slovakia Steering Committee · Hassan Charaf, ECBS-EERC 2013 General Chair · George Angelos Papadopoulos, General Chair · Miroslav Popovic, ECBS-EERC 2009 General Chair · Ondrej Rysavy, ECBS-EERC 2015 General Chair · Valentino Vranic, ECBS-EERC 2011 General Chair Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogRm91cnRoIENhbGwgZm9yIFBhcGVycwk3MAlMaXN0cwkxNzgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fecbs2017%2Forganizers.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Apr 9 09:29:48 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 9 Apr 2017 10:29:48 +0300 Subject: [fg-arc] 8th IEEE International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Fifth Call for Papers Message-ID: <7ZU4MBEC-JWK2-AJK2-X41H-PZTY67K3OP17@cs.ucy.ac.cy> *** Fifth Call for Papers *** 8th International Conference on Information, Intelligence, Systems and Applications IISA 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 28 - 30 August, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJNzIJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial intelligence, biology, neuroscience, security, monitoring, surveillance, healthcare, sustainability in energy sources, governance, education, commerce, automation, robotics, optimization, image, speech and natural languages, and their integration. IISA 2017 is the eighth conference in the IISA series, technically co-sponsored by IEEE, BAIF, the University of Piraeus and the University of Cyprus. The IISA 2017 proceedings will be published by IEEE and be included in the IEEE DL. The conference is intended as an international forum for researchers and professionals in all areas of Information, Intelligence, Systems, and Applications. We invite submissions of papers presenting high-quality original research and developments for the conference tracks listed below. The conference venue is the Golden Bay Beach Hotel (http://www.goldenbay.com.cy) perfectly situated at the edge of the tourist part of Larnaca, right on a long and wide stretch of fine and clear sandy beach, 10 km from the town center, just 15 km from Larnaca International Airport and 30 minutes from the capital city of Nicosia. This prestigious 5* hotel is renowned for its excellent facilities, combined with impeccable service and finest cuisine in luxurious surroundings The conference will last for three days and will feature tutorials, technical paper presentations, workshops, and distinguished keynote speeches. Instructions to Authors Papers must be submitted in IEEE Conference Style format, which can be downloaded from http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJNzIJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Papers must be limited to 6 pages in length. Topics of Interest We welcome all submissions in the subjects of IISA related (but not limited) to the following tracks and topics: Track I: Information Processing and Intelligence · Advances in databases · Information systems · Information and data management · Data mining, warehousing and knowledge extraction · Recommender systems · Digital rights management · Processing of Social and Emotional Interactions · Biological and artificial neural networks · Biological and artificial immune systems · Cognitive science · Neuroscience · Computational biology · DNA computing · Evolutionary computing and genetic algorithms · Bayesian networks · Expert systems & intelligent agents · Swarm intelligence · Fuzzy logic systems · Kernel methods - support vector machines · Ensemble classifiers · Emerging machine learning paradigms · Decision making techniques · Knowledge-based systems · Ambient-ubiquitous intelligence · Robotics and automation · Affective computing Track II: Multimedia Systems and Networks · Advances in audio/video and multimedia processing · Signal mining · Signal visualization · Human-machine interaction · Multimodal systems · Multimedia systems · Autonomous Computing · Distributed computing · Quantum computing · Mobile computing · Green computing · Trusted computing · Proactive computing · Cloud computing · Ubiquitous computing · Networking · Sensing, sensory systems and sensor networks · Design and implementation · Real time systems Track III: Educational Informatics · Adaptive and personalized learning · Student modeling · Intelligent tutoring systems · E-learning and mobile learning · Social media and learning · Educational games · Computer-supported collaborative learning · Big data in education and learning analytics · Affective computing in learning systems · Smart learning environments · Virtual and augmented reality in education · Risk management in education · Learning management systems · Content management systems · Learning technologies for students with special needs Track IV: Cyber Security · Watermarking, cryptography, cryptanalysis, steganography, and stegananalysis · Privacy and authentication · Malicious software analysis · Information, computer and network security · Infrastructure security · Forensics · Biometrics Track V: Smart Energy and Smart Cities · Methodologies and tools for assessing the energy status in smart cities · Intelligent sensors and data analytics for energy optimization · Monitoring and control of energy resources · Smart grid · Fault detection · Decision support systems in energy planning and scheduling · Middleware for urban computing · Intelligent transportation systems · Public displays for modern cities · Impact of urban computing in modern cities · Case studies and best practices · Big city data · Culture for smart cities Track VI: Healthcare · E-health, mobile health and smart health · Infrastucture for smart health · Advanced devices and robotics for smart health · Ambient intelligence in assisted living · Health information systems · Healthcare management · Case studies Track VII: Applications · E-government and m-government · E-commerce and m-commerce · E-entertainment and m-entertainment · E-legal and m-legal services · Personalized systems and services · Enabling technologies, frameworks and standards · Empirical evaluations · Simulation and evaluation via simulation · Case studies · Applications in culture and heritage · Applications in tourism · Applications in natural resource management · Applications in disabilities and to people at need Important Dates · Submission of Papers: April 24, 2017 · Notification of Acceptance: May 29, 2017 · Camera-ready Submission: June 12, 2017 · Registration and Payment for Authors: June 12, 2017 · Conference Dates: August 28-30, 2017 Organization Program Chairs · N. Bourbakis, Wright State University, USA · G. A. Papadopoulos, University of Cyprus, Cyprus · G. A. Tsihrintzis, University of Piraeus, Greece · N. Virvou, University of Piraeus, Greece Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJNzIJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.garcia-dominguez at aston.ac.uk Mon Apr 10 13:35:47 2017 From: a.garcia-dominguez at aston.ac.uk (Antonio Garcia-Dominguez) Date: Mon, 10 Apr 2017 12:35:47 +0100 Subject: [fg-arc] STAF 2017 Satellite Events: Final Joint Call Message-ID: <20170410113547.gcy7firl365f6f4o@eascsl01583nl.campus.aston.ac.uk> ------------------------------------------------- Final Joint Call for Contributions Satellite Events of STAF 2017 BigMDE, GCM, GRAND, MORSE, OCL, VOLT, TTC, Doctoral Symposium, Projects Showcase July 17-21, 2017 in Marburg http://www.informatik.uni-marburg.de/staf2017/ ------------------------------------------------- Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies: ECMFA, ICGT, ICMT, TAP. In addition to these conferences, STAF features several related workshops (BigMDE, GCM, GRAND, MORSE, OCL and VOLT) and events (Projects Showcase, TTC) and cordially invites interested participants to actively contribute. *** Satellite Events of STAF 2017 *** BigMDE: Scalability in Model Driven Engineering http://www.big-mde.eu/ GCM: Graph Computation Models http://pages.di.unipi.it/corradini/Workshops/GCM2017/ GRAND: Grand Challenges in Modeling http://www.edusymp.org/Grand2017/ MORSE: Model-driven Robot Software Engineering http://st.inf.tu-dresden.de/MORSE17/ OCL: OCL and Textual Modeling https://oclworkshop.github.io/2017/ PS: Projects Showcase http://www.informatik.uni-marburg.de/staf2017/index.php/projects-showcases/ TTC: Transformation Tools Contest http://www.transformation-tool-contest.eu/ VOLT: Verification of Model Transformations http://www.informatik.uni-marburg.de/staf2017/ *** Important Dates *** Submission: * TTC: Later call for solutions to accepted cases * GCM, OCL, BigMDE, GRAND, MORSE, VOLT: around April 20th - please check on the events' websites * Projects Showcase: April 28th Notification: * GCM, OCL, BigMDE, GRAND, MORSE, VOLT: May 25th * TTC: around April 16th (cases), TBA for solutions to cases * Projects Showcase: May 25th Event Dates: July 17: GCM July 18: Projects Showcase July 20: OCL July 21: BigMDE, GRAND, MORSE, VOLT, TTC *** Submissions *** For submission details, please check the individual event homepages. *** Publication *** STAF 2017 plans to organize joint Springer LNCS post-proceedings for the workshops (confirmation by Springer pending). *** Venue *** In 2017, STAF will be hosted at Philipps-Universität Marburg. Marburg is located in the heart of Germany, one train-hour to the north of Frankfurt. The castle and the beautiful old town Oberstadt with its numerous bars and restaurants make Marburg highly attractive for a visit. *** Event Organizers *** BigMDE Dimitris Kolovos, University of York Davide Di Ruscio, University of L’Aquila Nicholas Matragkas, University of Hull Jesús Sánchez Cuadrado, Universidad Autonoma de Madrid István Ráth, Budapest University of Technology and Economics Massimo Tisi, Ecole des Mines de Nantes GCM Andrea Corradini, Dipartimento di Informatica, Pisa GRAND Jordi Cabot, ICREA – Open University of Catalonia Richard Paige, University of York Alfonso Pierantonio, University of L’Aquila MORSE Sebastian Götz, University of Technology Dresden Christian Piechnick, University of Technology Dresden Andreas Wortmann, RWTH Aachen University OCL Robert Bill, Vienna University of Technology Achim D. Brucker, The University of Sheffield Jordi Cabot, ICREA – Open University of Catalonia Martin Gogolla, University of Bremen Projects Showcase Massimo Tisi, IMT Atlantique, France Thanos Zolotas, University of York, UK TTC Antonio Garcia-Dominguez, Aston University, UK Georg Hinkel, FZI Research Center of Information Technologies (Karlsruhe), Germany Filip Krikava, Northeastern University, USA VOLT Moussa Amrani, University of Namur Eugene Syriani, University of Montreal Manuel Wimmer, Vienna University of Technology *** Workshop Co-Chairs *** Martina Seidl, JKU Linz, http://fmv.jku.at/seidl Steffen Zschaler, King’s College London, http://www.steffen-zschaler.de *** Event Descriptions *** Grand Challenges in Modeling (GRAND) This workshop will bring together researchers and practitioners interested in the future of model-driven engineering. A lot has been achieved, but big challenges remain. The purpose of this workshop is to help identify these challenges and a research roadmap for model-driven engineering over the next years. Projects Showcase The Projects Showcase event at STAF 2017 provides an opportunity for researchers and practitioners (from both academia and industry) involved in upcoming, ongoing or completed research projects related to foundations and applications of software technologies to share results, experiences, ideas, on-going work, and knowledge that can lead to fruitful inter-project collaboration. The Projects Showcase welcomes contributions disseminating the objectives and results of national and international research projects, including outcomes of specific deliverables, advances beyond the state of the art, overall innovation potential, exploitation approach and (expected) impact, marketing value, barriers and obstacles. 4th International Workshop on Model-driven Robot Software Engineering (MORSE) Robots are an indispensable part of modern production facilities. In the future, robots will also become more common in daily life. Currently, however, there is a lack of standardization w. r. t. hardware/software platforms for robots, leading to a vast landscape of isolated, incompatible, task-specific and, thus, non-reusable solutions. Consequently, there is a need for new engineering methodologies for the design, implementation and execution of software for robotic platforms. MORSE provides a venue for discussing new ideas on the application of model-driven engineering to robotics. 5th International Workshop on Scalable Model Driven Engineering (BigMDE) As Model Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the current generation of modelling and model management technologies are being pushed to their limits in terms of capacity and efficiency. As such, additional research and development is imperative in order to enable MDE to remain relevant with industrial practice and to continue delivering its widely-recognised productivity, quality, and maintainability benefits. The aim of this workshop is to provide a venue where developers and users of modelling and model management languages and tools can present problems and solutions around the scalability of MDE. 6th International Workshop on Verification and Validation Of modeL Transformations (VOLT) This workshop offers researchers a dedicated forum to classify, discuss, propose, and advance verification and validation techniques dedicated to model transformations. VOLT 2017 promotes discussions between theoreticians and practitioners from academy and industry. A significant part of the workshop includes a forum for discussing practical applications of model transformations and related problems. One of the goals of the forum is to collect enough industrial case studies so that those problems can be stated at a theoretical level. 8th International Workshop on Graph Computation Models (GCM) Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. Their mathematical foundation, in addition to their visual nature, facilitates specification, validation and analysis of complex systems. The aim of GCM 2017 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. The workshop promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas. 17th International Workshop in OCL and Textual Modeling (OCL) Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. 10th Transformation Tool Contest (TTC) Transformations of structured data such as relational data, abstract syntax trees and high-level graph-based models are cross-disciplinary at the heart of a wide range of applications. The success of transformation approaches heavily depends on the availability of expressive and efficient tools. Currently, a large variety of tools exist for different transformation approaches. However, for potential users, working in application domains where transformation techniques may be useful, it is difficult to select the right tool for their purpose. Moreover, even for most of the tool experts it is true that they know about one or two tools but little about others. Finally, the tool developers themselves can also be inspired by a more detailed understanding of related approaches. -- Antonio Garcia-Dominguez Lecturer in Computer Science School of Engineering & Applied Science, Aston University Aston Triangle, Birmingham, B4 7ET Room: MB211Q From announce at cs.ucy.ac.cy Tue Apr 11 10:35:09 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 11 Apr 2017 11:35:09 +0300 Subject: [fg-arc] 16th World Conference on Mobile and Contextual Learning (mLearn 2017): Call for Papers Message-ID: *** Call for Papers *** 16th World Conference on Mobile and Contextual Learning mLearn 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 30 October - 1 November, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IENhbGwgZm9yIFBhcGVycwk3NQlMaXN0cwkxNzgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F In Cooperation with ACM SIGAPP The International Association for Mobile Learning (IAmLearn) (www.iamlearn.org) is the custodian of the mLearn conference series. mLearn is the leading annual international conference for researchers, policy makers, educators, developers and solutions providers in the fields of mobile, ubiquitous and contextual learning, as well as learning with emerging ambient and wearable technologies. mLearn attracts a large number of participants from more than 60 countries representing all continents, and is, therefore, the world's largest international conference on mLearning and emerging ambient technologies. Conference Themes The overarching conference theme is 'mLearning and Design for Social Change and Innovation'. Higher education institutions are called upon to provide for the competencies and skills that foster design for social change and innovation. In addition, knowledge and skills alliances are encouraged by funding bodies to cultivate, share and disseminate competencies that foster social entrepreneurship and innovation. However, little is known on how mlearning can facilitate this process, how it can contribute towards social change, innovation and entrepreneurship. The topics of interest can go beyond the conference theme, and can include any of the following: · The development, deployment and implementation of mlearning in the context of social entrepreneurship, innovation and social change · mLearning as a tool that fosters social change and social entrepreneurship · Innovations in mlearning theory and pedagogy · From pilot projects to mainstream implementation: strategies for the deployment of mLearning · Mobile technology to support open and distance learning · Mobile technology for teaching and learning support · Assessment techniques and practices in mLearning · Design and development of learning material for mLearning · Learning objects and metadata for mLearning · Informal and lifelong learning with the aid of mobile technologies · Challenges for mLearning in developing countries · Building and implementing mLearning strategies in educational institutions, companies and public sector organisations · mLearning management systems (mLMSs) · Computer tablets · Creating interactive and collaborative mLearning environments · Future trends in mLearning technology, including the impact of emerging technologies · Emerging hardware and software for mLearning including wearable technologies · Location-aware technologies · Contextual and situated learning · Augmented reality · Serious gaming and simulations · Ambient intelligence and ubiquitous learning Submission Information The conference solicits regular papers (no more than 8 pages), short papers (no more than 4 pages), as well as posters (no more than 2 pages). The Program Committee may require an accepted paper to be adapted into a short paper or poster. All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission Deadline for Conference Papers: 1 June 2017 · Accept/Reject Notification for Conference Papers: 15 July 2017 · Camera-Ready Submission of all Papers: 1 September 2017 Information on registration categories and registration fees for the mLearn 2017 is available online at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IENhbGwgZm9yIFBhcGVycwk3NQlMaXN0cwkxNzgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F. Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Fernando Loizides, University of Wolverhampton, United Kingdom · Nicos Souleles, Cyprus University of Technology, Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IENhbGwgZm9yIFBhcGVycwk3NQlMaXN0cwkxNzgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2Fcommittees.php -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Tue Apr 11 12:14:37 2017 From: peter.schuller at marmara.edu.tr (Peter =?iso-8859-1?q?Sch=FCller?=) Date: Tue, 11 Apr 2017 13:14:37 +0300 (+03) Subject: [fg-arc] [LPNMR 2017 Workshops] Extended Deadline Message-ID: <20170411101437.9DFA92C01CB@omsievews> *** DEADLINE FOR WORKSHOP PAPER SUBMISSION EXTENDED TO May 1 *** Joint Call for LPNMR Workshop Papers --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 All workshops co-located with LPNMR 2017 have a new submission deadline, May 1st, 2017. - Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Bart Bogaerts and Amelia Harrison - Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak - Grounding and Transformations for Theories with Variables (GTTV) Organizers: Simona Perri and Shahab Tasharrofi - Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS) Organizers: Fangkai Yang and Shiqi Zhang - Practical Aspects of Answer Set Programming (PAoASP) Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca - User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Claudia Schulz Please refer to each workshop homepage for the specific details about the submission. The links are available at http://lpnmr2017.aalto.fi/workshops.html For questions, please contact individual workshop organizers or the workshop chair, Joohyung Lee (joolee at asu.edu). (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From Klaus.Havelund at jpl.nasa.gov Wed Apr 12 20:09:28 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Wed, 12 Apr 2017 18:09:28 +0000 Subject: [fg-arc] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers Message-ID: ISSTA 2017 Demonstrations http://conf.researchr.org/track/issta-2017/issta-2017-demos Call for Papers The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017 Demonstrations Track serves as a venue for publishing and presenting advances in software testing and analysis tools that aid either practice, research, or both. Submissions may describe early prototypes of tools, mature tools, and everything inbetween. To help disseminate tools to the community, we encourage submissions describing previously unpublished tools whose underlying techniques may have already been published. Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional research papers published at software engineering venues, including ISSTA. A demonstration provides the opportunity to communicate how the scientific approach has been implemented or how a specific hypothesis has been assessed, including implementation and usage details, data models and representations, and APIs for tool and data access. Authors of regular research papers at ISSTA or other conferences are thus also encouraged to submit an accompanying demonstration paper. However, the demonstration papers must be original, and the tools must not have been previously demonstrated or be concurrently under review at ISSTA or at another venue. The tool demonstrations must communicate clearly the following information: the toolís envisioned users, the software testing and analysis challenge(s) the tool addresses, how the tool is used, either results of conducted validation studies or the design of planned studies. Evaluation Each submission will be reviewed by at least three members of the demonstrations selection committee. The evaluation criteria include: the relevance of the proposed demonstration to the ISSTA audience, the technical soundness of the demonstrated tool, the originality of the underlying ideas, the quality of its presentation, the comparison to related work. How to Submit Submissions must conform to the ACM Conference Format. A demonstration submission may not exceed four pages, including all text, figures, and references. A submission may not have been previously published in a demonstration form. The paper submission must be in PDF. The Demonstrations track will be using the single-blind reviewing model, so the submitted PDFs should identify the authors. Submit your papers via the EasyChair ISSTA Demonstrations 2017 submission website by May 2, 2017, 23:59:59 AoE. Important Dates: (there will be no extensions) Submission deadline: May 2, 2017, 23:59:59 AoE. Notification date: May 20, 2017 Camera-ready version deadline: May 27, 2017 Organization For further information, please email the chairs at isstatools2017 at easychair.org Co-Chairs: Yuriy Brun, University of Massachusetts, Amherst Neha Rungta, Amazon Web Services, Inc. Program Committee: Ivan Beschastnikh, University of British Columbia Milos Gligoric, The University of Texas at Austin Jeff Huang, Texas A&M University Claire Le Goues, Carnegie Mellon University Eric Mercer, Brigham Young University Suzette Person, University of NebraskañLincoln Justyna Petke, University College London Federica Sarro, University College London Elena Sherman, Boise State University Kathryn T. Stolee, North Carolina State University Oksana Tkachuk, NASAís Ames Research Center -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From steffen.becker at informatik.uni-stuttgart.de Thu Apr 13 14:17:01 2017 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Thu, 13 Apr 2017 14:17:01 +0200 Subject: [fg-arc] Call for Paper zum Doktorandenprogramm der INFORMATIK 2017, 28.9.2017, Chemnitz Message-ID: <20218e4c-38ef-6047-cc6e-14683c3bbaaf@informatik.uni-stuttgart.de> Call for Paper zum Doktorandenprogramm der INFORMATIK 2017, 28.9.2017, Chemnitz ------------------------------------------------------------------------------- https://informatik2017.de/doktoranden/ Durch Feedback und regelmäßiges Ringen um die besten Lösungen kommt Forschung voran. Gerade während einer Promotion ist es hilfreich, sich oft und von verschiedenen Seiten Feedback zum inhaltlichen Stand und zur Planung der weiteren Vorgehensweise zu holen. Das Doktorandensymposium der INFORMATIK 2017 bietet Forscherinnen und Forschern die Möglichkeit, ihre laufenden Doktorarbeiten vorzustellen. Das Symposium gibt den DoktorandInnen außerdem die Möglichkeit sich mit anderen Forschern und Doktoranden auszutauschen, gegenseitige Kontakte zu knüpfen, Probleme und deren Lösungswege zu diskutieren und Rückmeldungen von promovierten WissenschaftlerInnen und ProfessorInnen auf verwandten Forschungsgebieten zu erhalten. Neben den wissenschaftlichen Präsentationen und Diskussionen steht daher im Doktorandenprogramm der persönliche Kontakt und Austausch mit erfahrenen Forschern im Vordergrund. Die eingereichten Beiträge werden nach den Kriterien Relevanz, Innovation und Interesse für ein größeres Publikum bewertet. Einreichungen erbitten wir in Länge von 4-6 Seiten gemäß den Formatierungsrichtlinien der INFORMATIK 2017 (das heißt im LNI-Format, http://www.gi.de/service/publikationen/autorenrichtlinien.html). Im Sinne eines Doktorandenkolloquiums wird ausdrücklich gebeten, dass die Beiträge in Alleinautorenschaft der Doktoranden erstellt werden. Die akzeptierten Beiträge müssen von den Doktoranden als Vortrag präsentiert werden. Termine und Fristen ------------------- * Einreichung der Beiträge: 4. Mai 2017 * Benachrichtigung zur Begutachtung: 18. Mai 2017 * Einreichung der finalen Version: 22. Juni 2017 Informationen zur Einreichung ----------------------------- * Umfang und Gestaltung der Kurzbeiträge: 4-6 Seiten (gemäß den Formatierungsrichtlinien der INFORMATIK im LNI-Format). Beiträge sollen einen thematischen Fokus haben. * Bitte reichen Sie Ihre Beiträge über https://easychair.org/conferences/?conf=docsyminf17 ein. Beiträge können in Deutsch oder Englisch (bevorzugt!) eingereicht werden. Akzeptierte Beiträge werden als Vortrag vorgestellt und im Tagungsband veröffentlicht. Organisation ------------ Prof. Dr. Steffen Becker, Uni Stuttgart Prof. Dr. Matthias Werner, TU Chemnitz -- -- Universität Stuttgart - Institut für Softwaretechnologie Prof. Dr.-Ing. Steffen Becker - Reliable Software Systems Tel +49 711 685 88273 http://www.iste.uni-stuttgart.de/rss.html From announce at cs.ucy.ac.cy Thu Apr 13 16:07:10 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 13 Apr 2017 17:07:10 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Final Call for Papers Message-ID: *** Final Call for Papers *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzCTc3CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F *** Submission Deadline: 28 April 2017 (firm) *** The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. The conference will consist of regular sessions with technical contributions (regular papers, short papers) reviewed and selected by an international program committee, as well as of invited talks and tutorials presented by leading scientists. The official language of the conference will be English. A Doctoral Consortium and different Workshops will be held in line with the main conference. TOPICS We invite original papers describing results that broadly belong to both theory and practice of databases and information systems. The list of specific topics of interest follows, with a note that it is not exhaustive and we welcome novel results addressing topics not included in the list. · Data intensive sciences and databases · Theoretical foundations of databases · Management of large scale data systems · Data models and query languages · Database monitoring and (self-)tuning · Data curation, annotation, and provenance · Data warehousing, OLAP, and ETL tools · Indexing, query processing and optimization · Data mining and knowledge discovery · Big data storage, replication, and consistency · Modeling, mining and querying user generated content · Data quality and data cleansing · Web, XML and semi-structured databases · Sensor databases and mobile data management · Text databases and information retrieval · Probabilistic databases, uncertainty and approximate querying · Temporal and spatial databases · Graph databases · Databases on emerging hardware architectures · Distributed data platforms, including Cloud data systems, key-value stores, and Big Data systems · Information extraction and integration · Streaming data analysis · Scalable data analysis and analytics · Data and information visualization; and user interfaces · Information quality and usability · Information system architectures and networking · Business process modeling and optimization · Data and information flow engineering and management · Context-aware and adaptive information systems · Data and information intensive services · Requirements engineering for databases and information systems · Artificial intelligence in databases and information systems · Data, information, and information systems security · Innovative platforms for data and information handling · Innovative approaches for database and information systems engineering · Novel database and information systems applications PAPER PUBLISHING ADBIS accepted research papers will be published in a Springer Lecture Notes in Computer Science volume. Papers must not exceed 14 pages in the LNCS format. For camera-ready papers use Latex or Word style (find here http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzCTc3CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%26changeHeader%29. The program committee may decide to accept a submission as a short paper if it reports interesting results but does not justify publication of a full paper. ADBIS short research papers must not exceed 8 pages. The best paper with students as first authors will receive an award. Best papers of the main conference will be invited for submission in special issues of the ISI-indexed journals Information Systems (http://www.journals.elsevier.com/information-systems/) and Informatica (http://www.informatica.si/). SUBMISSION GUIDELINES · Papers must be written in English. · Papers must contain previously unpublished work and not be submitted concurrently to another conference. · Papers are submitted using an electronic submissions system, as detailed below. · An Author of an accepted paper must register to ADBIS 2017 in order to have the paper published. · Accepted papers must be presented at the conference by one of the authors. · ADBIS papers must be submitted via the EasyChair system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzCTc3CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dadbis2017 . · Papers must be submitted as a single PDF document · Authors of accepted papers must submit along with the camera-ready version of their paper a copyright form filled (http://www.cyprusconferences.org/adbis2017/files/springerform.pdf) and signed. Please note that only authors employed by the EU (as an institution) tick the relevant box. Authors who simply reside or work in an EU country should not tick this box. IMPORTANT DATES · Full and Short Papers: April 28, 2017 (firm) · Notification of Acceptance: May 25, 2017 · Camera-ready Submission: June 15, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Apr 14 15:48:33 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 14 Apr 2017 16:48:33 +0300 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Last Call for Papers Message-ID: *** Last Call for Papers *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBMYXN0IENhbGwgZm9yIFBhcGVycwk3OQlMaXN0cwkxNzgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F *** Final Deadline: May 1st, 2017 (firm) *** Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Instructions to Authors Prospective authors of papers are invited to submit contributions for presentations at ICCCI 2017. The submissions should present the results of original research or innovative practical applications relevant to the conference topics. Practical experiences with state-of-the-art in CCI methodologies are also acceptable to reflect lessons of unique value for the conference attendees. Contributions should be original and not published elsewhere or intended to be published during the review process. The conference language is English. The conference proceedings of ICCCI 2017 will be published in the prestigious Lecture Notes in Artificial Intelligence series by Springer and indexed by ISI(CPCI-S), Web of Science, EI, Scopus, DBLP, ACM Digital Library. All submissions should follow the LNCS/LNAI style and not exceed 10 pages. At least one full registration is required for each accepted paper in order to be included in the ICCCI 2017 proceedings. Each paper is to be submitted electronically as a single PDF file through EasyChair at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBMYXN0IENhbGwgZm9yIFBhcGVycwk3OQlMaXN0cwkxNzgJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Diccci2017 . To ensure high quality, all papers will be thoroughly reviewed by the ICCCI 2017 International Program Committee. Referees will be asked to nominate papers for a Best Paper award to be announced at the conference. All accepted papers must be presented by one of the authors who must register for the conference and pay the author registration fee. A selected number of accepted and personally presented papers, will be expanded and revised for possible inclusion in special issues of high quality scientific journals. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Important Dates · Submission of Papers: May 1, 2017 (firm) · Notification of Acceptance: June 1, 2017 · Camera-ready Submission: June 15, 2017 · Registration and Payment for Authors: June 15, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr Jedrzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jedrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Sat Apr 15 21:31:11 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Sat, 15 Apr 2017 19:31:11 +0000 Subject: [fg-arc] [fm-announcements] RV and RV-CuBES 2017 - Call for papers and tutorials Message-ID: RV 2017 Call for Papers and Tutorials The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2017 at easychair.org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: * specification languages * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * statistical model checking * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates Papers as well as tutorial proposals will follow the following timeline: * Abstract deadline: April 24, 2017 (Anywhere on Earth) * Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) * Tutorial notification: May 21, 2017 * Paper notification: June 26, 2017 * Camera-ready deadline: July 24, 2017 * Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: * Rodrigo Fonseca, Brown University, USA * Vlad Levin and Jakob Lichtenberg, Microsoft, USA * Andreas Zeller, Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. * Short Papers (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. * Tool Demonstration Papers (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its place a Workshop is being organised to discuss the future of the competition and showcase existing Runtime Verification tools. Please see the relevant page on the conference website for details. Organization General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Shuvendu Lahiri, Microsoft Research, USA Giles Reger, University of Manchester, UK Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA Program Committee Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho, KTH Royal Institute of Technology, Sweden Howard Barringer, The University of Manchester, UK Ezio Bartocci, Vienna University of Technology, Austria Andreas Bauer, KUKA Systems, Germany Saddek Bensalem, University of Grenoble Alpes/VERIMAG, France Eric Bodden, Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour, McMaster University, Canada Christian Colombo, University of Malta, Malta Ylies Falcone, University Grenoble Alpes/Inria, France Grigory Fedyukovich, University of Washington, USA Lu Feng, University of Virginia, USA Patrice Godefroid, Microsoft Research, USA Jean Goubault-Larrecq, CNRS/ENS de Cachan, France Alex Groce, Northern Arizona University, USA Radu Grosu, Vienna University of Technology, Austria Sylvain Hallé, University of Québec at Chicoutimi, Canada Marieke Huisman, University of Twente, Netherlands Franjo Ivancic, Google, USA Bengt Jonsson, Uppsala University, Sweden Felix Klaedtke, NEC Europe Ltd., Germany Rahul Kumar, Microsoft Research, USA Kim Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, Inria Rennes, France Martin Leucker, University of Lübeck, Germany Ben Livshits, Imperial College, UK David Lo, Singapore Management University, Singapore Francesco Logozzo, Facebook, USA Parthasarathy Madhusudan, University of Illinois at Urbana-Champaign, USA Leonardo Mariani, University of Milan Bicocca, Italy Madan Musuvathi, Microsoft Research, USA Ayoub Nouri, University of Grenoble Alpes, France Gordon Pace, University of Malta, Malta Doron Peled, Bar Ilan University, Israel Veselin Raychev, ETH Zurich, Switzerland Grigore Rosu, University of Illinois at Urbana-Champaign, USA Cesar Sanchez, IMDEA Software Institute, Spain Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma, Microsoft Research, India Julien Signoles, CEA LIST, France Scott Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volker Stolz, University of Olso, Norway Frits Vaandrager, Radboud University, Netherlands Neil Walkinshaw, University of Leicester, UK Chao Wang, University of Southern California, USA Eugen Zalinescu, Technische Universitat München, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From grlmc at grlmc.com Sat Apr 15 22:25:45 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 15 Apr 2017 22:25:45 +0200 Subject: [fg-arc] AlCoB 2017: call for posters Message-ID: <545102060a010b00005353010f025a55575305545053025303560f530106535251505104500e05520851030b535652@grlmc_ip-zone_com-6> AlCoB 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Algorithms for Computational Biology (AlCoB 2017) invites researchers to submit poster presentations. AlCoB 2017 will be held in Aveiro (Portugal) on June 5-6, 2017. See  http://grammars.grlmc.com/AlCoB2017/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 28, 2017 Notification of poster acceptance or rejection: May 5, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2017 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2017. However, they will be eligible for submission to the post-conference journal special issue in the Journal of Computational Biology (2015 JCR impact factor: 1.537). REGISTRATION At least one author of each accepted poster must register to the conference by May 22, 2017. The registration fare is reduced: 260 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From raoul.strackx at cs.kuleuven.be Wed Apr 19 10:05:50 2017 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Wed, 19 Apr 2017 10:05:50 +0200 Subject: [fg-arc] [ESSoS'17] Call for Posters (deadline: 25th April) Message-ID: <07556993-f6e3-f33d-b1b0-f010bd1a7716@cs.kuleuven.be> +---------------------------------------------------------------------+ | | | Call for Poster Abstracts | | | | *deadline: April 25th, 2017* | | | | International Symposium on Engineering Secure Software and Systems | | (ESSoS) | | | | July 3-5, 2017 | | Bonn, Germany | | | |https://distrinet.cs.kuleuven.be/events/essos/2017/calls-papers.html | | | +---------------------------------------------------------------------+ In cooperation with: ACM SIGSAC and SIGSOFT (pending) New this year: co-Located with DIMVA. +---------------------------------------------------------------------+ | Context and motivation | +---------------------------------------------------------------------+ IT security is becoming an increasingly interdisciplinary subject. For example, it is insufficient to simply deploy new security measures but one must pay careful attention to correctly integrate the security measures into existing software. Such an approach involves redesigning and engineering of software to ensure that the built-in security policy is effective in practice. Many security venues put little focus on topics related to software engineering, while many software-engineering venues lack appreciation for more complex topics in software security. ESSoS thus strives to be a venue that welcomes exactly such contributions that are at the border of IT security and software engineering. The program committee is particularly chosen to encompass a broad range of expertise, ranging from software security over software engineering to human subjects such as usable security. +---------------------------------------------------------------------+ | Goal and setup | +---------------------------------------------------------------------+ The goal of this symposium, which will be the ninth in the series, is to bring together researchers and practitioners to advance the state of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in secure software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. +---------------------------------------------------------------------+ | Topics | +---------------------------------------------------------------------+ The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security - Usable security +---------------------------------------------------------------------+ | Important dates | +---------------------------------------------------------------------+ Paper submission: Friday, February 24, 2017 (passed) Paper acceptance notification: Tuesday, April 18, 2017 (passed) Artifact evaluation submission: Friday, April 21, 2017 (passed) * Poster submission: Tuesday, April 25, 2017 * * Poster acceptance notification: Friday, April 28, 2017 * Camera-ready: Friday, May 12, 2017 Symposium: Monday to Wednesday, July 3-5, 2017 (DIMVA is held July 6-7, following ESSoS) +---------------------------------------------------------------------+ | Posters | +---------------------------------------------------------------------+ ESSoS will have a poster session to present ideas, discuss prototypes, and feature ongoing work. Authors of accepted papers and authors with evaluated artifacts are invited to submit a poster as well. Poster abstracts are limited to 1 page. Submission through: https://essos17.cs.purdue.edu/ Concerned about a US travel ban? Submit your work anyway! If none of the (Co-)authors is able to travel to the conference (and back) due to a US travel ban we will find a way to allow you to present your work via tele-presentation. +---------------------------------------------------------------------+ | Steering committee | +---------------------------------------------------------------------+ Jorge Cuellar (Siemens AG) Wouter Joosen (KU Leuven) - chair Fabio Massacci (Univ. of Trento) Bashar Nuseibeh (Open Univ. and LERO) Juan Caballero (IMDEA Software Institute) Eric Bodden (Univ. Paderborn) Lorenzo Cavallaro (Royal Holloway Univ.) +---------------------------------------------------------------------+ | Organizing committee | +---------------------------------------------------------------------+ General chair: Michael Meier (University of Bonn, DE) Program co-chairs: Mathias Payer (Purdue university, USA),Eric Bodden (Paderborn University, DE) Doctoral Symposium: TBA Publication chair: Elias Athanasopoulos (University of Cyprus, CY) Publicity chair: Raoul Strackx (Katholieke Universiteit Leuven, BE) Artifact Evaluation co-chairs: Omer Tripp (Google, USA), Karim Ali (University of Alberta, CA) Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) +---------------------------------------------------------------------+ | Program committee | +---------------------------------------------------------------------+ David Aspinall, University of Edinburgh Domagoj Babic, Google Inc. Alexandre Bartel, University of Luxembourg Amel Bennaceur, The Open University Stefan Brunthaler, Paderborn University Will Enck, NC State University Michael Franz, University of California, Irvine Christian Hammer, University of Potsdam Michael Hicks, University of Maryland Trent Jaeger, The Pennsylvania State University Vassilis P. Kemerlis, Brown University Johannes Kinder, University of London Byoungyoung Lee, Purdue University Yang Liu, University of Oxford Ben Livshits, Imperial College London Clémentine Maurice, Technical University Graz Andy Meneely, Rochester Institute of Technology Mira Mezini, Technical University Darmstadt Alessandro Orso, Georgia Tech Christina Pöpper, New York University Abu Dhabi Awais Rashid, Lancaster University Kaveh Razavi, Vrije Universiteit Amsterdam Tamara Rezk, INRIA Angela Sasse, University College London Zhendong Su, University of California, Davis Melanie Volkamer, Karlstad University Xiangyu Zhang, Purdue University From cie2017 at abo.fi Tue Apr 18 10:47:32 2017 From: cie2017 at abo.fi (CIE2017) Date: Tue, 18 Apr 2017 11:47:32 +0300 Subject: [fg-arc] CiE 2017: call for informal presentations Message-ID: <2f7c3e20-6e47-bf75-bf3f-605ba4170298@abo.fi> Call for informal presentations *Computability in Europe 2017*, June 12-16, Turku, Finland http://math.utu.fi/cie2017/ Important dates • Submission deadline: May 1, 2017 • Notification of acceptance: Within two weeks of submission There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, also this year’s CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (one page) by the submission deadline May 1st. Please submit your abstract electronically, via EasyChair , selecting the category “Informal Presentation”. You will be notified whether your talk has been accepted for informal presentation within two weeks after your submission. Jarkko Kari and Ion Petre (PC co-chairs of CiE 2017) cie2017 at utu.fi -------------- next part -------------- An HTML attachment was scrubbed... URL: From raoul.strackx at CS.KULEUVEN.BE Wed Apr 19 10:05:18 2017 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Wed, 19 Apr 2017 10:05:18 +0200 Subject: [fg-arc] [ESSOS] [ESSoS'17] Call for Posters (deadline: 25th April) Message-ID: +---------------------------------------------------------------------+ | | | Call for Poster Abstracts | | | | *deadline: April 25th, 2017* | | | | International Symposium on Engineering Secure Software and Systems | | (ESSoS) | | | | July 3-5, 2017 | | Bonn, Germany | | | |https://distrinet.cs.kuleuven.be/events/essos/2017/calls-papers.html | | | +---------------------------------------------------------------------+ In cooperation with: ACM SIGSAC and SIGSOFT (pending) New this year: co-Located with DIMVA. +---------------------------------------------------------------------+ | Context and motivation | +---------------------------------------------------------------------+ IT security is becoming an increasingly interdisciplinary subject. For example, it is insufficient to simply deploy new security measures but one must pay careful attention to correctly integrate the security measures into existing software. Such an approach involves redesigning and engineering of software to ensure that the built-in security policy is effective in practice. Many security venues put little focus on topics related to software engineering, while many software-engineering venues lack appreciation for more complex topics in software security. ESSoS thus strives to be a venue that welcomes exactly such contributions that are at the border of IT security and software engineering. The program committee is particularly chosen to encompass a broad range of expertise, ranging from software security over software engineering to human subjects such as usable security. +---------------------------------------------------------------------+ | Goal and setup | +---------------------------------------------------------------------+ The goal of this symposium, which will be the ninth in the series, is to bring together researchers and practitioners to advance the state of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in secure software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. +---------------------------------------------------------------------+ | Topics | +---------------------------------------------------------------------+ The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security - Usable security +---------------------------------------------------------------------+ | Important dates | +---------------------------------------------------------------------+ Paper submission: Friday, February 24, 2017 (passed) Paper acceptance notification: Tuesday, April 18, 2017 (passed) Artifact evaluation submission: Friday, April 21, 2017 (passed) * Poster submission: Tuesday, April 25, 2017 * * Poster acceptance notification: Friday, April 28, 2017 * Camera-ready: Friday, May 12, 2017 Symposium: Monday to Wednesday, July 3-5, 2017 (DIMVA is held July 6-7, following ESSoS) +---------------------------------------------------------------------+ | Posters | +---------------------------------------------------------------------+ ESSoS will have a poster session to present ideas, discuss prototypes, and feature ongoing work. Authors of accepted papers and authors with evaluated artifacts are invited to submit a poster as well. Poster abstracts are limited to 1 page. Submission through: https://essos17.cs.purdue.edu/ Concerned about a US travel ban? Submit your work anyway! If none of the (Co-)authors is able to travel to the conference (and back) due to a US travel ban we will find a way to allow you to present your work via tele-presentation. +---------------------------------------------------------------------+ | Steering committee | +---------------------------------------------------------------------+ Jorge Cuellar (Siemens AG) Wouter Joosen (KU Leuven) - chair Fabio Massacci (Univ. of Trento) Bashar Nuseibeh (Open Univ. and LERO) Juan Caballero (IMDEA Software Institute) Eric Bodden (Univ. Paderborn) Lorenzo Cavallaro (Royal Holloway Univ.) +---------------------------------------------------------------------+ | Organizing committee | +---------------------------------------------------------------------+ General chair: Michael Meier (University of Bonn, DE) Program co-chairs: Mathias Payer (Purdue university, USA),Eric Bodden (Paderborn University, DE) Doctoral Symposium: TBA Publication chair: Elias Athanasopoulos (University of Cyprus, CY) Publicity chair: Raoul Strackx (Katholieke Universiteit Leuven, BE) Artifact Evaluation co-chairs: Omer Tripp (Google, USA), Karim Ali (University of Alberta, CA) Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) +---------------------------------------------------------------------+ | Program committee | +---------------------------------------------------------------------+ David Aspinall, University of Edinburgh Domagoj Babic, Google Inc. Alexandre Bartel, University of Luxembourg Amel Bennaceur, The Open University Stefan Brunthaler, Paderborn University Will Enck, NC State University Michael Franz, University of California, Irvine Christian Hammer, University of Potsdam Michael Hicks, University of Maryland Trent Jaeger, The Pennsylvania State University Vassilis P. Kemerlis, Brown University Johannes Kinder, University of London Byoungyoung Lee, Purdue University Yang Liu, University of Oxford Ben Livshits, Imperial College London Clémentine Maurice, Technical University Graz Andy Meneely, Rochester Institute of Technology Mira Mezini, Technical University Darmstadt Alessandro Orso, Georgia Tech Christina Pöpper, New York University Abu Dhabi Awais Rashid, Lancaster University Kaveh Razavi, Vrije Universiteit Amsterdam Tamara Rezk, INRIA Angela Sasse, University College London Zhendong Su, University of California, Davis Melanie Volkamer, Karlstad University Xiangyu Zhang, Purdue University From franconi at inf.unibz.it Wed Apr 19 15:51:24 2017 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 19 Apr 2017 15:51:24 +0200 Subject: [fg-arc] European MSc in Computational Logic: Scholarships available Message-ID: <19042017155124030GGh77pfXqRRd0255@smtp.office365.com> European Master’s Programme in Computational Logic (EMCL) http://www.computational-logic.eu EMCL provides the theoretical and practical knowledge required for professional practice in the wide interdisciplinary field having its roots in artificial intelligence, computer science, logic, linguistics and cognitive science. You will learn how to develop programs that enable computers to display behaviour that can be characterised as intelligent. EMCL is an international 2-years study program completely in English offering a joint MSc degree within a consortium composed by four universities and a research centre: • Free University of Bozen-Bolzano, Italy • Technische Universität Dresden, Germany • Technische Universität Wien, Austria • Universidade Nova de Lisboa, Portugal • Data61, Australia Tuition fees amount to €450 per semester; there are several scholarships from 1,840€ to 2,840€ available, depending on the choice of the second year specialisation. The EMCL online application system will be open from 1 April until 31 May 2017. The Computer Science Degree Hub characterises a career in computational logic and artificial intelligence as involving automation, robotics, advanced knowledge representation systems, and the use of sophisticated computer software and programs. Candidates interested in pursuing jobs in this field require specific education based on foundations of formal methods, information technology, logic, and computer engineering perspectives. Written and verbal communication skills are also important to convey how artificial intelligence tools and services are effectively applied within industry settings. From its inception in the 1950’s through the present day, computational logic and artificial intelligence continues to advance and improve the quality of life across multiple application areas. As a result, professionals with the right skills to translate digital bits of information into meaningful human experiences will find a career in computational logic and artificial intelligence to be sustaining and rewarding. The EMCL programme is designed to let graduates acquire these skills. The EMCL has graduated since its beginning in 2004 more than 150 students, with virtually full employment after graduation; more than 100 EMCL graduates are currently working in academia or research. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Fri Apr 21 18:18:43 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Fri, 21 Apr 2017 16:18:43 +0000 Subject: [fg-arc] [fm-announcements] RV 2017 - Deadline Extension: full submissions May 8 Message-ID: RV 2017 *** DEADLINE EXTENSION: MAY 8 *** Call for Papers and Tutorials The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2017 at easychair.org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: * specification languages * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * statistical model checking * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates Papers as well as tutorial proposals will follow the following timeline: * Abstract deadline: April 24, 2017 May 1, 2017 (Anywhere on Earth) * Paper and tutorial deadline: May 1, 2017 May 8, 2017 (Anywhere on Earth) * Tutorial notification: May 21, 2017 * Paper notification: June 26, 2017 * Camera-ready deadline: July 24, 2017 * Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: * Rodrigo Fonseca, Brown University, USA * Vlad Levin and Jakob Lichtenberg, Microsoft, USA * Andreas Zeller, Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. * Short Papers (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. * Tool Demonstration Papers (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a brief abstract, a proposed format and timelines (of different parts), a note on the relevance to RV, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its place a Workshop is being organised to discuss the future of the competition and showcase existing Runtime Verification tools. Please see the relevant page on the conference website for details. Organization General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Shuvendu Lahiri, Microsoft Research, USA Giles Reger, University of Manchester, UK Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA Program Committee Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho, KTH Royal Institute of Technology, Sweden Howard Barringer, The University of Manchester, UK Ezio Bartocci, Vienna University of Technology, Austria Andreas Bauer, KUKA Systems, Germany Saddek Bensalem, University of Grenoble Alpes/VERIMAG, France Eric Bodden, Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour, McMaster University, Canada Christian Colombo, University of Malta, Malta Ylies Falcone, University Grenoble Alpes/Inria, France Grigory Fedyukovich, University of Washington, USA Lu Feng, University of Virginia, USA Patrice Godefroid, Microsoft Research, USA Jean Goubault-Larrecq, CNRS/ENS de Cachan, France Alex Groce, Northern Arizona University, USA Radu Grosu, Vienna University of Technology, Austria Sylvain Hallé, University of Québec at Chicoutimi, Canada Marieke Huisman, University of Twente, Netherlands Franjo Ivancic, Google, USA Bengt Jonsson, Uppsala University, Sweden Felix Klaedtke, NEC Europe Ltd., Germany Rahul Kumar, Microsoft Research, USA Kim Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, Inria Rennes, France Martin Leucker, University of Lübeck, Germany Ben Livshits, Imperial College, UK David Lo, Singapore Management University, Singapore Francesco Logozzo, Facebook, USA Parthasarathy Madhusudan, University of Illinois at Urbana-Champaign, USA Leonardo Mariani, University of Milan Bicocca, Italy Madan Musuvathi, Microsoft Research, USA Ayoub Nouri, University of Grenoble Alpes, France Gordon Pace, University of Malta, Malta Doron Peled, Bar Ilan University, Israel Veselin Raychev, ETH Zurich, Switzerland Grigore Rosu, University of Illinois at Urbana-Champaign, USA Cesar Sanchez, IMDEA Software Institute, Spain Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma, Microsoft Research, India Julien Signoles, CEA LIST, France Scott Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volker Stolz, Western Norway University of Applied Sciences, Norway Frits Vaandrager, Radboud University, Netherlands Neil Walkinshaw, University of Leicester, UK Chao Wang, University of Southern California, USA Eugen Zalinescu, Technische Universitat München, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From steffen.becker at informatik.uni-stuttgart.de Tue Apr 25 14:07:50 2017 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Tue, 25 Apr 2017 14:07:50 +0200 Subject: [fg-arc] Aufruf zur Teilnahme und Registrierung Jahrestreffen der FG Architekturen, 19.-20.6.2017, Leipzig Message-ID: Jahrestagung der GI-Fachgruppe Architekturen 2017, 19.-20.6.2017 ---------------------------------------------------------------- PDF-Version: http://tinyurl.com/z8pcodj Guten Tag, in knapp zwei Monaten findet die Jahrestagung der GI-Fachgruppe Architekturen 2017 in Leipzig statt. *Haben Sie sich schon angemeldet? Bitte helfen Sie uns mit der Planung durch eine zeitnahe Anmeldung.* Die Veranstaltung findet am 19./20. Juni in Kooperation mit den Softwareforen Leipzig statt und widmet sich dediziert dem Thema „Software-Architekturen für große, vernetzte Informationssysteme“. Informationssysteme, wie sie noch vor 10 Jahren gebaut wurden, befinden sich immer mehr auf dem Rückzug. In Zeiten aller Arten mobiler Endgeräte und stetiger steigender Vernetzung, wie z. B. beim SmartHome, wachsen unterschiedlichste IT-Systeme immer enger zusammen; früher existente klassische Trennungen sind kaum noch zu erkennen. Wie Sie dieser zunehmenden Vernetzung und steigenden Komplexität begegnen können, damit setzt sich die Jahrestagung der GI-Fachgruppe Architekturen 2017 auseinander. Die Veranstaltung hat sich zu einer der wichtigsten Plattformen für IT-Architekten entwickelt und bringt viele Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Architekturen zusammen. Seien auch Sie dabei! Neben den Treffen der Arbeitskreise der Fachgruppe Architekturen finden auch spannende Fachvorträge statt. Folgende Referenten konnten wir bereits gewinnen (Auswahl): • Lothar Schulz, Team Lead Continuous Delivery and Managed Databases, Zalando SE • Nico Schönnagel, Online- und Vertriebssysteme, Versicherungskammer Bayern • Dr. Marcel Claus, Teamleiter Klinische Systeme, Universitätsklinikum Jena • Ingo Gringer, Consultant, msg systems AG • Prof. Dr. Samuel Kounev, Leitung Lehrstuhls Software Engineering, Universität Würzburg • Dr. Carola Lilienthal, Senior-Softwarearchitektin, WPS – Workplace Solutions GmbH • Prof. Dr. Gunter Saake, Dekan Fakultät für Informatik, Universität Magdeburg Die vollständige Liste aller Vortragenden, die Veranstaltungsagenda sowie weitere Informationen finden Sie unter www.fg-arc-architekturen-2017.de. Ich hoffe, ich konnte Sie begeistern, zu uns nach Leipzig zu kommen und mitzuwirken, und freue mich auf Ihre Anmeldung. Mit freundlichen Grüßen Prof. Dr. Steffen Becker -- -- Universität Stuttgart - Institut für Softwaretechnologie Prof. Dr.-Ing. Steffen Becker - Reliable Software Systems Tel +49 711 685 88273 http://www.iste.uni-stuttgart.de/rss.html From riebisch at informatik.uni-hamburg.de Tue Apr 25 17:49:45 2017 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Tue, 25 Apr 2017 15:49:45 +0000 Subject: [fg-arc] Aufruf zur Wahl bei Mitgliederversammlung der FG Architekturen bei Jahrestagung , 19.-20.6.2017, Leipzig In-Reply-To: References: Message-ID: Liebe Mitglieder der FG Architekturen, hiermit möchten wir Sie zur Mitgliederversammlung am 19.6.2017 16:00-17:30 Uhr im Rahmen der Jahrestagung herzlich einladen. Dabei findet eine Wahl des Leitungsgremiums statt, zu der wir hiermit satzungsgemäß einladen. Vorschläge für Kandidaten können im Rahmen der Mitgliederversammlung genannt werden. Die Satzung regelt in §6.4 die Wahl der Leitungsgremien: "Aktives Wahlrecht für das Leitungsgremium einer Fach-, Regional- oder Anwendergruppe haben alle persönlichen oder assoziierten Mitglieder und alle Bevollmächtigen der korporativen Mitglieder, welche dieser Gruppe angehören." Die Satzung finden Sie hier: https://www.gi.de/wir-ueber-uns/leitung/wahlen-und-ordnungen/ordnung-der-wahlen-und-abstimmungen-owa.html Mit freundlichen Grüßen Matthias Riebisch Sprecher des Leitungsgremiums > Am 25.04.2017 um 14:07 schrieb Steffen Becker : > > Jahrestagung der GI-Fachgruppe Architekturen 2017, 19.-20.6.2017 > ---------------------------------------------------------------- > PDF-Version: http://tinyurl.com/z8pcodj > > Guten Tag, > > in knapp zwei Monaten findet die Jahrestagung der GI-Fachgruppe Architekturen 2017 in Leipzig statt. > > *Haben Sie sich schon angemeldet? Bitte helfen Sie uns mit der Planung durch eine zeitnahe Anmeldung.* > > Die Veranstaltung findet am 19./20. Juni in Kooperation mit den Softwareforen Leipzig statt und widmet sich dediziert dem Thema > > „Software-Architekturen für große, vernetzte Informationssysteme“. > > Informationssysteme, wie sie noch vor 10 Jahren gebaut wurden, befinden sich immer mehr auf dem Rückzug. In Zeiten aller Arten mobiler Endgeräte und stetiger steigender Vernetzung, wie z. B. beim SmartHome, wachsen unterschiedlichste IT-Systeme immer enger zusammen; früher existente klassische Trennungen sind kaum noch zu erkennen. > Wie Sie dieser zunehmenden Vernetzung und steigenden Komplexität begegnen können, damit setzt sich die Jahrestagung der GI-Fachgruppe Architekturen 2017 auseinander. > > Die Veranstaltung hat sich zu einer der wichtigsten Plattformen für IT-Architekten entwickelt und bringt viele Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Architekturen zusammen. Seien auch Sie dabei! > > Neben den Treffen der Arbeitskreise der Fachgruppe Architekturen finden auch spannende Fachvorträge statt. Folgende Referenten konnten wir bereits gewinnen (Auswahl): > > • Lothar Schulz, Team Lead Continuous Delivery and Managed Databases, Zalando SE > • Nico Schönnagel, Online- und Vertriebssysteme, Versicherungskammer Bayern > • Dr. Marcel Claus, Teamleiter Klinische Systeme, Universitätsklinikum Jena > • Ingo Gringer, Consultant, msg systems AG > • Prof. Dr. Samuel Kounev, Leitung Lehrstuhls Software Engineering, Universität Würzburg > • Dr. Carola Lilienthal, Senior-Softwarearchitektin, WPS – Workplace Solutions GmbH > • Prof. Dr. Gunter Saake, Dekan Fakultät für Informatik, Universität Magdeburg > > Die vollständige Liste aller Vortragenden, die Veranstaltungsagenda sowie weitere Informationen finden Sie unter www.fg-arc-architekturen-2017.de. > > Ich hoffe, ich konnte Sie begeistern, zu uns nach Leipzig zu kommen und mitzuwirken, und freue mich auf Ihre Anmeldung. > Mit freundlichen Grüßen > > Prof. Dr. Steffen Becker > > > -- > -- > Universität Stuttgart - Institut für Softwaretechnologie > Prof. Dr.-Ing. Steffen Becker - Reliable Software Systems > Tel +49 711 685 88273 > http://www.iste.uni-stuttgart.de/rss.html From announce at cs.ucy.ac.cy Sun Apr 23 12:40:36 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 23 Apr 2017 13:40:36 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Last Mile Message-ID: *** LAST MILE *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBNaWxlCTgxCUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F *** Submission Deadline: 28 April 2017 (firm) *** The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. The conference will consist of regular sessions with technical contributions (regular papers, short papers) reviewed and selected by an international program committee, as well as of invited talks and tutorials presented by leading scientists. The official language of the conference will be English. A Doctoral Consortium and different Workshops will be held in line with the main conference. TOPICS We invite original papers describing results that broadly belong to both theory and practice of databases and information systems. The list of specific topics of interest follows, with a note that it is not exhaustive and we welcome novel results addressing topics not included in the list. · Data intensive sciences and databases · Theoretical foundations of databases · Management of large scale data systems · Data models and query languages · Database monitoring and (self-)tuning · Data curation, annotation, and provenance · Data warehousing, OLAP, and ETL tools · Indexing, query processing and optimization · Data mining and knowledge discovery · Big data storage, replication, and consistency · Modeling, mining and querying user generated content · Data quality and data cleansing · Web, XML and semi-structured databases · Sensor databases and mobile data management · Text databases and information retrieval · Probabilistic databases, uncertainty and approximate querying · Temporal and spatial databases · Graph databases · Databases on emerging hardware architectures · Distributed data platforms, including Cloud data systems, key-value stores, and Big Data systems · Information extraction and integration · Streaming data analysis · Scalable data analysis and analytics · Data and information visualization; and user interfaces · Information quality and usability · Information system architectures and networking · Business process modeling and optimization · Data and information flow engineering and management · Context-aware and adaptive information systems · Data and information intensive services · Requirements engineering for databases and information systems · Artificial intelligence in databases and information systems · Data, information, and information systems security · Innovative platforms for data and information handling · Innovative approaches for database and information systems engineering · Novel database and information systems applications PAPER PUBLISHING ADBIS accepted research papers will be published in a Springer Lecture Notes in Computer Science volume. Papers must not exceed 14 pages in the LNCS format. For camera-ready papers use Latex or Word style (find here http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBNaWxlCTgxCUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%26changeHeader%29. The program committee may decide to accept a submission as a short paper if it reports interesting results but does not justify publication of a full paper. ADBIS short research papers must not exceed 8 pages. The best paper with students as first authors will receive an award. Best papers of the main conference will be invited for submission in special issues of the ISI-indexed journals Information Systems (http://www.journals.elsevier.com/information-systems/) and Informatica (http://www.informatica.si/). SUBMISSION GUIDELINES · Papers must be written in English. · Papers must contain previously unpublished work and not be submitted concurrently to another conference. · Papers are submitted using an electronic submissions system, as detailed below. · An Author of an accepted paper must register to ADBIS 2017 in order to have the paper published. · Accepted papers must be presented at the conference by one of the authors. · ADBIS papers must be submitted via the EasyChair system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBNaWxlCTgxCUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dadbis2017 . · Papers must be submitted as a single PDF document · Authors of accepted papers must submit along with the camera-ready version of their paper a copyright form filled (http://www.cyprusconferences.org/adbis2017/files/springerform.pdf) and signed. Please note that only authors employed by the EU (as an institution) tick the relevant box. Authors who simply reside or work in an EU country should not tick this box. IMPORTANT DATES · Full and Short Papers: April 28, 2017 (firm) · Notification of Acceptance: May 25, 2017 · Camera-ready Submission: June 15, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Apr 24 15:41:44 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 24 Apr 2017 16:41:44 +0300 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Last Mile Message-ID: *** LAST MILE *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBMYXN0IE1pbGUJODMJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F *** Final Deadline: May 1st, 2017 (firm) *** Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Instructions to Authors Prospective authors of papers are invited to submit contributions for presentations at ICCCI 2017. The submissions should present the results of original research or innovative practical applications relevant to the conference topics. Practical experiences with state-of-the-art in CCI methodologies are also acceptable to reflect lessons of unique value for the conference attendees. Contributions should be original and not published elsewhere or intended to be published during the review process. The conference language is English. The conference proceedings of ICCCI 2017 will be published in the prestigious Lecture Notes in Artificial Intelligence series by Springer and indexed by ISI(CPCI-S), Web of Science, EI, Scopus, DBLP, ACM Digital Library. All submissions should follow the LNCS/LNAI style and not exceed 10 pages. At least one full registration is required for each accepted paper in order to be included in the ICCCI 2017 proceedings. Each paper is to be submitted electronically as a single PDF file through EasyChair at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBMYXN0IE1pbGUJODMJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Diccci2017 . To ensure high quality, all papers will be thoroughly reviewed by the ICCCI 2017 International Program Committee. Referees will be asked to nominate papers for a Best Paper award to be announced at the conference. All accepted papers must be presented by one of the authors who must register for the conference and pay the author registration fee. A selected number of accepted and personally presented papers, will be expanded and revised for possible inclusion in special issues of high quality scientific journals. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Important Dates · Submission of Papers: May 1, 2017 (firm) · Notification of Acceptance: June 1, 2017 · Camera-ready Submission: June 15, 2017 · Registration and Payment for Authors: June 15, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr Jedrzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jedrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From Tommaso.Urli at data61.csiro.au Wed Apr 26 09:32:27 2017 From: Tommaso.Urli at data61.csiro.au (Tommaso.Urli at data61.csiro.au) Date: Wed, 26 Apr 2017 07:32:27 +0000 Subject: [fg-arc] [ICLP 2017] Final Call for Papers Message-ID: <1493191945394.94388@data61.csiro.au> Apologies for double-posting. ************ DEADLINE FOR ABSTRACT EXTENDED TO April 26 *********** ************ PAPER SUBMISSION DEADLINE May 2 *********** ICLP 2017 Call for Papers ------------------------- The 33rd International Conference on Logic Programming (ICLP 2017) will take place in Melbourne, Australia alongside SAT 2017 and CP 2017, from August 28th to September 1st, 2017 which is the week immediately following IJCAI 2017. Full information at http://iclp17.a4lp.org Call for Papers at http://iclp17.a4lp.org/call_for_papers.html Conference Scope ---------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates ----------------------------------------------------------------- - Registration (abstract): 26 April, 2017 - Paper submission: 2 May, 2017 - Notification: 6 June, 2017 - Revision submission (TPLP only): 20 June, 2017 - Final notifications: 4 July, 2017 - Camera-ready copy: 18 July, 2017 - Conference: 28 Aug / 1 Sep, 2017 Submission Details ------------------ All submissions must be made via the EasyChair conference system (http://www.easychair.org/conferences/?conf=iclp2017). Submissions of regular papers (RPs) must follow the condensed TPLP format (template available from ICLP’s web page) and not exceed 14 pages including bibliography. RPs may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of RPs will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some RPs to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available from ICLP’s web page) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. All RPs and TCs will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Conference Organization ----------------------- General Chairs: - Maria Garcia de la Banda Monash University, Australia - Guido Tack Monash University, Australia Program Chairs: - Ricardo Rocha University of Porto, Portugal - Tran Cao Son New Mexico State University, USA Workshop Chair: - Enrico Pontelli New Mexico State University, USA Publicity Chair: - Tommaso Urli Australian National University, Australia Sponsorship Chair: - Maria Garcia de la Banda Monash University, Australia Doctoral Consortium Chair (joint event with CP and SAT): - Neda Saeedloei University of Minnesota Duluth, USA - Christopher Mears Monash University, Australia Programming Contest Chairs: - Paul Fodor Stony Brook University, USA - Graeme Gange University of Melbourne, Australia Web Presence: - Tommaso Urli Australian National University, Australia Program Committee ----------------- See full program committee at http://iclp17.a4lp.org/program_committee.html Workshops --------- The ICLP 2017 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. See call for workshop proposals at http://iclp17.a4lp.org/call_for_workshop_proposals Doctoral Consortium ------------------- The Thirteen Doctoral Consortium (DC) on Logic Programming [this year being co-organized and taking place together with CP 2017 and SAT 2017] provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Conference Venue ---------------- The venue will be the Melbourne Convention and Exhibition Centre. Melbourne is the second most populous city in Australia and the coastal capital of the south-eastern Australian state of Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne has been named the World’s Most Liveable City for six years running and it is widely recognised as the cultural and culinary capital of Australia. It is a safe, creative and multi-cultural city full of exciting places to see, delicious foods to eat, and excellent events to experience; from the Arts precinct to the river bank parks and gardens to the buzzing city centre and the hidden thrills of Melbourne’s laneways. It is also an air-hop away from breathtaking destinations like The Great Barrier Reef, Sydney and Uluru. The Melbourne Convention and Exhibition Centre (MCEC) is located on the banks of the iconic Yarra River in Melbourne's South Wharf. Given its central location, it has a huge variety of accommodation close-by, with more than 6000 rooms within walking distance. MCEC is easily accessible by public transport, particularly as the Melbourne's city centre has a free tram zone that makes it easier for tourists to move around the city. Related Events -------------- Several other AI events will be held in Melbourne and other parts of Australia close to these dates, offering attendees a variety of choices for an extended itinerary. These events will include the International Conference on Principles and Practice of Constraint Programming (CP 2017) and the International Conference on Theory and Applications of Satisfiability Testing (SAT 2017), both co-located with ICLP 2017. The International Joint Conference on Artificial Intelligence (IJCAI 2017), the Australasian Joint Conference on Artificial Intelligence (AusAI 2017), the Australasian Conference on Data Mining (AusDM 2017), and the International Conference on Knowledge Science, Engineering, and Management (KSEM 2017) will all to be held in Melbourne one week before ICLP. The International Conference on Machine Learning (ICML 2017) will also be held in Sydney Australia shortly before ICLP 2017. Sponsors -------- The conference is sponsored by the Association for Logic Programming (ALP), the Association for Constraint Programming (ACP), Monash University, and CSIRO Data61. See the sponsor information at http://iclp17.a4lp.org/sponsors.html Financial Assistance -------------------- The Association for Logic Programming has funds to assist financially disadvantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. Dr Tommaso Urli Researcher | Optimisation Platforms DATA61 | CSIRO E tommaso.urli at data61.csiro.au T +61 2 6218 3862 M +61 403 464 731 Tower A Level 3, 7 London Circuit, Canberra ACT 2601 www.data61.csiro.au CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61 [Data61 | CSIRO logo] -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun Apr 23 18:56:08 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 23 Apr 2017 18:56:08 +0200 Subject: [fg-arc] SLSP 2017: 2nd call for papers Message-ID: <545102060a010b0001565800040b5a55500000050107500303570f570e54005756520407070c070b050354500f5007@grlmc_ip-zone_com-6> SLSP 2017: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2017   Le Mans, France   October 23-25, 2017   Organized by:   Computer Science Lab (LIUM) University of Le Mans   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2017/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be:   Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2017 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Laurent Besacier (Grenoble Informatics Laboratory, FR) Paul Buitelaar (National University of Ireland, Galway, IE) Felix Burkhardt (Telekom Innovation Laboratories, DE) Xavier Carreras (Xerox Research Centre Europe, FR) Francisco Casacuberta (Technical University of Valencia, ES) Ciprian Chelba (Google, US) Eng Siong Chng (Nanyang Technological University, SG) Jennifer Chu-Carroll (Elemental Cognition, US) Doug Downey (Northwestern University, US) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National University of Distance Education, ES) Keikichi Hirose (University of Tokyo, JP) Gerhard Jäger (University of Tübingen, DE) Gareth Jones (Dublin City University, IE) Joseph Keshet (Bar-Ilan University, IL) Tomi Kinnunen (University of Eastern Finland, FI) Lun-Wei Ku (Academia Sinica, TW) Kong Aik Lee (Institute for Infocomm Research, SG) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Suresh Manandhar (University of York, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Ruslan Mitkov (University of Wolverhampton, UK) Marie-Francine Moens (KU Leuven, BE) Seiichi Nakagawa (Toyohashi University of Technology, JP) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Cécile Paris (CSIRO, AU) Fuchun Peng (AISense Inc., US) Pascal Perrier (Grenoble Institute of Technology, FR) Leon Rothkrantz (Delft University of Technology, NL) Horacio Saggion (Pompeu Fabra University, ES) Murat Saraçlar (Boğaziçi University, TR) Holger Schwenk (Facebook, FR) Brad Story (University of Arizona, US) Karin Verspoor (University of Melbourne, AU) Xiaojun Wan (Peking University, CN) Phil Woodland (University of Cambridge, UK) Chuck Wooters (Semantic Machines, US) François Yvon (LIMSI-CNRS, FR)   ORGANIZING COMMITTEE:   Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/SLSP2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 11, 2017 Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   POSTAL ADDRESS:   SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Université du Maine Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From Jens.Knodel at iese.fraunhofer.de Wed Apr 26 21:14:20 2017 From: Jens.Knodel at iese.fraunhofer.de (Jens.Knodel at iese.fraunhofer.de) Date: Wed, 26 Apr 2017 19:14:20 +0000 Subject: [fg-arc] Aufruf zur Teilnahme: 19. Workshop Software-Reengineering & Evolution (WSRE 2017) Message-ID: === Aufruf zur Teilnahme === 19. Workshop Software-Reengineering & Evolution der GI-Fachgruppe Software-Reengineering (SRE) Bad-Honnef, 8. - 10. Mai 2017 Physikzentrum Bad Honnef http://fg-sre.gi.de/wsre2017 Anmeldungen sind möglich unter: https://fg-sre.gi.de/wsre2017/anmeldung-zum-workshop.html Wir würden uns freuen, Sie beim WSRE begrüßen zu dürfen! Dr. Jens Knodel, Fraunhofer Institut für Experimentelles Software Engineering IESE, Kaiserslautern Torsten Görg, Universität Stuttgart, Institut für Softwaretechnologie, Stuttgart Jens Borchers, Sopra Steria Consulting, Hamburg Matthias Gutheil, itemis AG, Lünen Fachgruppe Software-Reengineering http://fg-sre.gi.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Apr 26 13:59:01 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 26 Apr 2017 14:59:01 +0300 Subject: [fg-arc] 8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Sixth Call for Papers Message-ID: *** Sixth Call for Papers *** 8th International Conference on Information, Intelligence, Systems and Applications IISA 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 28 - 30 August, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogU2l4dGggQ2FsbCBmb3IgUGFwZXJzCTg1CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiisa2017.unipi.gr *** Extension Deadline: 22nd May 2017 *** The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial intelligence, biology, neuroscience, security, monitoring, surveillance, healthcare, sustainability in energy sources, governance, education, commerce, automation, robotics, optimization, image, speech and natural languages, and their integration. IISA 2017 is the eighth conference in the IISA series, technically co-sponsored by IEEE, BAIF, the University of Piraeus and the University of Cyprus. The IISA 2017 proceedings will be published by IEEE and be included in the IEEE DL. The conference is intended as an international forum for researchers and professionals in all areas of Information, Intelligence, Systems, and Applications. We invite submissions of papers presenting high-quality original research and developments for the conference tracks listed below. The conference venue is the Golden Bay Beach Hotel (http://www.goldenbay.com.cy) perfectly situated at the edge of the tourist part of Larnaca, right on a long and wide stretch of fine and clear sandy beach, 10 km from the town center, just 15 km from Larnaca International Airport and 30 minutes from the capital city of Nicosia. This prestigious 5* hotel is renowned for its excellent facilities, combined with impeccable service and finest cuisine in luxurious surroundings The conference will last for three days and will feature tutorials, technical paper presentations, workshops, and distinguished keynote speeches. Instructions to Authors Papers must be submitted in IEEE Conference Style format, which can be downloaded from http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogU2l4dGggQ2FsbCBmb3IgUGFwZXJzCTg1CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Papers must be limited to 6 pages in length. Topics of Interest We welcome all submissions in the subjects of IISA related (but not limited) to the following tracks and topics: Track I: Information Processing and Intelligence · Advances in databases · Information systems · Information and data management · Data mining, warehousing and knowledge extraction · Recommender systems · Digital rights management · Processing of Social and Emotional Interactions · Biological and artificial neural networks · Biological and artificial immune systems · Cognitive science · Neuroscience · Computational biology · DNA computing · Evolutionary computing and genetic algorithms · Bayesian networks · Expert systems & intelligent agents · Swarm intelligence · Fuzzy logic systems · Kernel methods - support vector machines · Ensemble classifiers · Emerging machine learning paradigms · Decision making techniques · Knowledge-based systems · Ambient-ubiquitous intelligence · Robotics and automation · Affective computing Track II: Multimedia Systems and Networks · Advances in audio/video and multimedia processing · Signal mining · Signal visualization · Human-machine interaction · Multimodal systems · Multimedia systems · Autonomous Computing · Distributed computing · Quantum computing · Mobile computing · Green computing · Trusted computing · Proactive computing · Cloud computing · Ubiquitous computing · Networking · Sensing, sensory systems and sensor networks · Design and implementation · Real time systems Track III: Educational Informatics · Adaptive and personalized learning · Student modeling · Intelligent tutoring systems · E-learning and mobile learning · Social media and learning · Educational games · Computer-supported collaborative learning · Big data in education and learning analytics · Affective computing in learning systems · Smart learning environments · Virtual and augmented reality in education · Risk management in education · Learning management systems · Content management systems · Learning technologies for students with special needs Track IV: Cyber Security · Watermarking, cryptography, cryptanalysis, steganography, and stegananalysis · Privacy and authentication · Malicious software analysis · Information, computer and network security · Infrastructure security · Forensics · Biometrics Track V: Smart Energy and Smart Cities · Methodologies and tools for assessing the energy status in smart cities · Intelligent sensors and data analytics for energy optimization · Monitoring and control of energy resources · Smart grid · Fault detection · Decision support systems in energy planning and scheduling · Middleware for urban computing · Intelligent transportation systems · Public displays for modern cities · Impact of urban computing in modern cities · Case studies and best practices · Big city data · Culture for smart cities Track VI: Healthcare · E-health, mobile health and smart health · Infrastucture for smart health · Advanced devices and robotics for smart health · Ambient intelligence in assisted living · Health information systems · Healthcare management · Case studies Track VII: Applications · E-government and m-government · E-commerce and m-commerce · E-entertainment and m-entertainment · E-legal and m-legal services · Personalized systems and services · Enabling technologies, frameworks and standards · Empirical evaluations · Simulation and evaluation via simulation · Case studies · Applications in culture and heritage · Applications in tourism · Applications in natural resource management · Applications in disabilities and to people at need Important Dates · Submission of Papers: May 22, 2017 (extended) · Notification of Acceptance: June 05, 2017 · Camera-ready Submission: June 12, 2017 · Registration and Payment for Authors: June 12, 2017 · Conference Dates: August 28-30, 2017 Organization Program Chairs · N. Bourbakis, Wright State University, USA · G. A. Papadopoulos, University of Cyprus, Cyprus · G. A. Tsihrintzis, University of Piraeus, Greece · N. Virvou, University of Piraeus, Greece Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogU2l4dGggQ2FsbCBmb3IgUGFwZXJzCTg1CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Thu Apr 27 11:17:36 2017 From: peter.schuller at marmara.edu.tr (Peter =?iso-8859-1?q?Sch=FCller?=) Date: Thu, 27 Apr 2017 12:17:36 +0300 (+03) Subject: [fg-arc] Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Message-ID: <20170427091736.11E372C01F2@omsievews> Call for Participation --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 !!! Early registration deadline is May 26, 2017 !!! !!! All LPNMR workshops are accepting submissions until May 1, 2017 !!! --------------------------------------------------------------------------- REGISTRATION Early registration deadline is May 26, 2017. For more information, visit: http://lpnmr2017.aalto.fi/registration.html ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS The conference program, including accepted papers and invited speaker information can be found at http://lpnmr2017.aalto.fi/program.html All LPNMR workshops are accepting submissions until May 1, 2017!! For details, see: http://lpnmr2017.aalto.fi/workshops.html AIMS AND SCOPE LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program. INVITED SPEAKERS Joao Leite, Universidade Nova de Lisboa, Lisbon, Portugal Tran Cao Son, New Mexico State University, Las Cruses, New Mexico, USA Francesca Toni, Imperial College, London, UK ASSOCIATED EVENTS WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on July 3 prior to the main conference. Currently planned workshops include: - Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Bart Bogaerts and Amelia Harrison - Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak - Grounding and Transformations for Theories with Variables (GTTV) Organizers: Simona Perri and Shahab Tasharrofi - Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS) Organizers: Fangkai Yang and Shiqi Zhang - Practical Aspects of Answer Set Programming (PAoASP) Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca - User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Claudia Schulz ASP COMPETITION - A special session dedicated to a discussion of the 7th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change to present their current research, get feedback from peers and senior researchers, and establish contacts for the future. FURTHER INFORMATION WWW: lpnmr2017.aalto.fi/ email: lpnmr2017 at list dot aalto dot fi VENUE Espoo, the second largest and the fastest growing city in Finland, is located right next to the capital Helsinki in the coastal Finland. Espoo is Northern Europe's largest high-tech and innovation hub where science, business and culture meet the wilderness of Nuuksio National Park and stunning seaside environment. Espoo's location offers excellent traffic connections: only half an hour from the international airport and harbors. The main campus of Aalto University is situated in Espoo. The LPNMR 2017 conference will be held in the Hanasaari Conference center that is located on an island of its own and is only 15 minutes away from Helsinki center by public transport. For travel & lodging information, visit: http://lpnmr2017.aalto.fi/travel.html PROGRAM CHAIRS Marcello Balduccini, Drexel University, USA Tomi Janhunen, Aalto University, Finland PUBLICITY CHAIR Peter Sch�ller, Marmara University, Turkey WORKSHOPS CHAIR Joohyung Lee, Arizona State University, USA DOCTORAL CONSORTIUM CHAIR Marina De Vos, University of Bath, UK 7TH ASP COMPETITION ORGANIZERS Martin Gebser, University of Potsdam, Germany Marco Maratea, University of Genoa, Italy Francesco Ricca, University of Calabria, Italy PROGRAM COMMITTEE Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Drexel University, USA Chitta Baral, Arizona State University, USA Bart Bogaerts, KU Leuven, Belgium Gerhard Brewka, Leipzig University, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Stefania Costantini, University of L'Aquila, Italy James Delgrande, Simon Fraser University, Canada Marc Denecker, K.U.Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, University of Huddersfield, UK Paul Fodor, Stony Brook University, USA Alfredo Gabaldon, GE Global Research, USA Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovanni Grasso, Oxford University, UK Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University, USA Tomi Janhunen, Aalto University, Finland Matthias Knorr, Universidade Nova de Lisboa, Portugal Joohyung Lee, Arizona State University, USA Yuliya Lierler, University of Nebraska at Omaha, USA Vladimir Lifschitz, University of Texas at Austin, USA Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Marco Maratea, University of Genoa, Italy Alessandra Mileo, National University of Ireland, Ireland Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Mauricio Osorio, Universidad de las Americas Puebla, Mexico Ravi Palla, GE Global Research, USA David Pearce, Universidad Polit�cnica de Madrid, Spain Axel Polleres, Vienna University of Economics and Business, Austria Enrico Pontelli, New Mexico State University, USA Christoph Redl, Vienna University of Technology, Austria Alessandra Russo, Imperial College, United Kingdom Orkunt Sabuncu, University of Potsdam, Germany Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Peter Sch�ller, Marmara University, Turkey Tran Cao Son, New Mexico State University, USA Hannes Strass, Leipzig University, Germany Theresa Swift, Universidade Nova de Lisboa, Portugal Shahab Tasharrofi, Aalto University, Finland Eugenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, Universidad de M�laga, Spain Kewen Wang, Griffith University, Australia Yisong Wang, Guizhou University, China Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yi Zhou, University of Western Sydney, Australia (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From sauer at uni-paderborn.de Thu Apr 27 15:44:46 2017 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Thu, 27 Apr 2017 15:44:46 +0200 Subject: [fg-arc] AK-Treffen L2S2 bei der Architekturen 2017, 20.06. in Leipzig Message-ID: <8b2026a9-ca3e-d84e-d89d-673d316ba7f1@uni-paderborn.de> *** Aufruf zur Einreichung von Vortragsvorschlägen / Call for Presentations *** *** Einladung zur Teilnahme / Call for Participation *** *** Einladung zur AK-Sitzung *** Liebe Mitglieder, Vertraute und Interessierte des *GI-Arbeitskreises "Langlebige Softwaresysteme"* (AK L2S2), das nächste *Treffen des AK L2S2* [1] findet im Rahmen der Jahrestagung *"Architekturen 2017"* [2] der gleichnamigen GI-Fachgruppe am Dienstag, den 20. Juni 2017 in Leipzig statt. Beginn: 13:00 Uhr, Ende: 16:00 Uhr. Wir sind im Gespräch mit dem AK Modellgetriebene Software-Architektur (MDA) [3], ob wir auch in diesem Jahr - einer bewährten Tradition folgend - wieder ein gemeinsames Programm aufsetzen, nicht zuletzt um Themen im Schnittbereich der AKs - beispielsweise zu modellgetriebener Migration oder Evolution - konkurrenzfrei adressieren zu können und den Austausch zu pflegen. Es ist uns gelungen, bereits einen sehr interessanten *Referenten *zu gewinnen: */Guido Vollbeding/* (Independent JPEG Group (IJG) und Institut für Angewandte Informatik e.V. (InfAI) Leipzig) wird über /*"25 Jahre JPEG Referenz-Software"*/ sprechen. *Vorträge*: Wir laden Sie herzlich ein, einen Vortrag zum Programm des AK-Treffens beizusteuern; noch sind nicht alle Plätze belegt. Insbesondere Vorträge mit Praxisbezug (z.B. Erfahrungsberichte, industrielle Fallstudien, Ergebnisberichte aus Projekten) oder aus der anwendungsorientierten Forschung sind herzlich willkommen! Falls Sie Interesse haben, einen Vortrag zu halten, schicken Sie bitte bis zum _6. Mai 2017_ eine kurze E-Mail mit den Namen der Autoren/-innen und der/des Vortragenden, dem Titel des Vortrags und einem kurzen Abstract an sauer at uni-paderborn.de. Weitere Details werden wir dann direkt mit Ihnen abstimmen. Bei Interesse können wir auch eine Veröffentlichung von Kurzbeiträgen in der Zeitschrift Softwaretechnik-Trends anstoßen. *AK-Sitzung*: Im Programm des AK-Treffens findet auch eine kompakte AK-Sitzung statt, in der kurz über die Aktivitäten des AKs berichtet und ein Ausblick auf die kommenden Aktivitäten gegeben wird. Hier sind Sie herzlich eingeladen,Ihre Vorstellungen und Wünsche einzubringen. Tagesordnung der AK-Sitzung: 1. Begrüßung 2. Bericht der AK-Leitung 3. Ausblick 4. Verschiedenes *Teilnahme*: Im Namen der AK-Leitung möchten wir Sie herzlich zur Teilnahme einladen! Die *Anmeldung *erfolgt über die Webseite der "Architekturen 2017" [2]. Das konkrete *Programm *werden wir noch rechtzeitig vorher bekannt geben. Wir würden uns freuen, Sie in Leipzig begrüßen zu können und freuen uns auf spannende Vorträge, lebhafte Diskussionen und einen regen Austausch! Im Namen der AK-Leitung Robert Heinrich - Marco Konersmann - Stefan Sauer --------------------------------------------------------------- [1] Der AK L2S2 ist ein gemeinsamer Arbeitskreis der Fachgruppen Architekturen (http://fg-arc.gi.de/) und Software-Reengineering (http://fg-re.gi.de/). Er kooperiert mit dem DFG-Schwerpunktprogramm SPP 1593: "Design for Future - Managed Software Evolution" (http://dfg-spp1593.de/). Weitere Informationen zum AK L2S2 finden Sie auf unserer Webseite: http://akl2s2.ipd.kit.edu/ [2] Die Jahrestagung der GI-Fachgruppe "Architekturen 2017" findet am 19. und 20. Juni 2017 in Leipzig statt. Sie steht in diesem Jahr unter dem Motto "Software-Architekturen für große, vernetzte Informationssysteme". Diskutieren Sie mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich abzeichnen und was diese für den praktizierenden Softwarearchitekten bedeuten. Das Organisationsteam rund um Prof. Dr. Steffen Becker hat ein abwechslungsreiches und spannendes Vortragsprogramm zusammengestellt. Zusätzlich treffen sich an beiden Tagen Arbeitskreise, die der Fachgruppe angegliedert sind, unter anderem auch der AK L2S2. Für den Abend des 19. Juni erwartet Sie außerdem ein attraktives Rahmenprogramm. Weitere Informationen und Anmeldung unter http://fg-arc.gi.de/veranstaltungen/naechste-veranstaltungen/architekturen-2017.html [3] Der AK MDA ist ein Arbeitskreis der Fachgruppe Architekturen (http://fg-arc.gi.de/). Weitere Informationen finden Sie auf der Webseite des Arbeitskreises: http://akmda.ipd.kit.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From jpg at ruc.dk Thu Apr 27 21:41:06 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Thu, 27 Apr 2017 19:41:06 +0000 Subject: [fg-arc] LOPSTR 2017: 1st Call for Papers Message-ID: [ Please distribute, apologies for multiple postings. ] ==================================================================== LOPSTR 2017: 1st Call for Papers ==================================================================== 27th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2017 https://www.sci.unich.it/lopstr17/ University of Namur, Namur, Belgium October 10 – 12, 2017 (co-located with PPDP 2017) ==================================================================== DEADLINES: Abstract submission: June 6, 2017 Paper/Extended abstract submission: June 13, 2017 ==================================================================== INVITED SPEAKERS: to be announced ==================================================================== 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 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017) will be held at the University of Namur, Belgium; previous symposia were held in Edinburgh, 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, and Manchester. LOPSTR 2017 will be co-located with PPDP 2017 (International Symposium on Principles and Practice of Declarative 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 chair in case of questions). Important Dates Abstract submission: Jun 6, 2017 Paper/Extended abstract submission: Jun 13, 2017 Notification: July 25, 2017 Camera-ready (for electronic pre-proceedings): tba, 2017 Symposium: October 10-12, 2017 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 authors 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 2017: [http://www.easychair.org/conferences/?conf=lopstr2017] (can be accessed also through the LOPSTR 2017 web site). 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). 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 Roberto Bagnara, University of Parma and BUGSENG, Italy Sabine Broda, University of Porto, Portugal Henning Christiansen, Roskilde University, Denmark Emanuele De Angelis, University of Chieti-Pescara, Italy Daniel De Schreye, KU Leuven, Belgium Maribel Fernandez, King's College London, UK Laurent Fribourg, CNRS, ENS Paris-Saclay, France Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arie Gurfinkel, University of Waterloo, Canada Geoff Hamilton, Dublin City University, Ireland Gerda Janssens, KU Leuven, Belgium Bishoksan Kafle, University of Melbourne, Australia Andy King, University of Kent, UK Jacopo Mauro, University of Oslo, Norway Jose F. Morales, IMDEA Software Institute, Spain Jorge A. Navas, SRI International, USA Corneliu Popeea, CQSE GmbH, Germany Francesca Scozzari, University of Chieti-Pescara, Italy Theresa Swift, NOVALINKS, Universidade Nova de Lisboa, Portugal Alicia Villanueva, Universitat Politècnica de València, Spain Program Chairs Fabio Fioravanti, University of Chieti-Pescara, Italy John Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Spain Organizing Committee Wim Vanhoof (Université de Namur, Namur, Belgium, Local Organizer) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming From announce at cs.ucy.ac.cy Fri Apr 28 12:35:11 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 28 Apr 2017 13:35:11 +0300 Subject: [fg-arc] 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): Fifth Call for Papers Message-ID: *** Fifth Call for Papers *** 5th European Conference on the Engineering of Computer Based Systems ECBS 2017 Lordos Hotel, Larnaca, Cyprus 31 August - 1 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogRmlmdGggQ2FsbCBmb3IgUGFwZXJzCTg3CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fecbs2017%2F In Cooperation with ACM SIGAPP, SIGOPS and SIGSOFT *** Extension Deadline: 15 May, 2017 *** ECBS 2017 is a formal meeting dedicated to formulating and advancing methods, techniques, and tools for engineering of computer-based systems. The conference is devoted to the design, development, deployment, and analysis of the complex systems whose behavior is largely determined or controlled by computers. Such systems are characterized by functional, performance, and reliability requirements that mandate the tight integration of information processing and physical processes. ECBS integrates software, hardware, and communication perspective of system engineering through its many facets that include system modeling, requirements specification, simulation, architectures, safety, security, reliability, human-computer interaction, system integration, verification and validation, high performance/parallel computing, cloud-based technologies, and project management. The conference provides a bridge between industry and academia, blending academic research and industrial development. The proceedings will be published in the International Conference Proceedings Series of ACM and after the conference they will be accessible in the ACM Digital Library. A Best Paper Award will be presented to the best paper presented at the conference, and a Best Student Paper Award will be presented to the best paper written solely or mostly by students. Scope Papers are sought which reflect this intent in fundamental ECBS technologies and application domains including, but not limited to the following topics: · Agile and Lean Approaches and Human Aspects of Software Development · Architectures · Advanced Modularity · Cloud-based Applications · Co-Design · Component-Based System Design · Cyber-Physical Systems · Parallel & Distributed Systems · Parallel Programming Methodologies and Languages · FPGA Systems Design · ECBS Infrastructure (Tools and Environments) · Education and Training · Embedded Real-Time Software Systems · Integration Engineering · Lifecycle Processes and Process Evolution · Model-Based System Development · Modeling and Analysis of Complex Systems · Networked Control Systems · Reengineering & Reuse · Reliability, Safety, Dependability, and Security · Software Engineering · System Assessment, Testing, and Metrics · Verification and Validation Industrial reports of practical solutions, trends, and new system characteristics for ECBS, taking an integrated systems approach, are particularly welcome. They may target application domains such as: Aerospace Systems, Command and Control, Continuous and Discrete Manufacturing, Environmental Systems, Instrumentation and Control Applications, Internet Technology and Applications, Intelligent Highway- Vehicle Systems (IHVS), Medical Systems, High Performance Computing Development Environments and Applications, and Telecommunications. Submission of Papers The conference solicits regular (no more than 10 pages) and short papers (no more than 4 pages). The Program Committee may require an accepted paper to be adapted into a short paper or extended abstract (no more than 2 pages and poster presentation only). All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission of Papers: 15 May, 2017 (extended) · Notification of Acceptance: 1 July, 2017 · Camera-ready Submission: 17 July, 2017 · Registration and Payment for Authors: 17 July, 2017 · Early Registration for Non-Authors: 9 August, 2017 Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chair · Ondrej Rysavy, Brno University of Technology , Czech Republic Program Co-Chair · Valentino Vranic, Slovak University of Technology in Bratislava, Slovakia Steering Committee · Hassan Charaf, ECBS-EERC 2013 General Chair · George Angelos Papadopoulos, General Chair · Miroslav Popovic, ECBS-EERC 2009 General Chair · Ondrej Rysavy, ECBS-EERC 2015 General Chair · Valentino Vranic, ECBS-EERC 2011 General Chair Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogRmlmdGggQ2FsbCBmb3IgUGFwZXJzCTg3CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fecbs2017%2Forganizers.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From cie2017 at abo.fi Fri Apr 28 17:12:56 2017 From: cie2017 at abo.fi (CIE2017) Date: Fri, 28 Apr 2017 18:12:56 +0300 Subject: [fg-arc] CiE 2017: call for participation Message-ID: <1a131f9f-cdeb-7958-55e7-32b8c7888d3a@abo.fi> CALL FOR PARTICIPATION: ======================= CiE 2017: Unveiling Dynamics and Complexity Turku, Finland June 12-16, 2017 http://math.utu.fi/cie2017 NOTE: ====== Symposium “Magic in Science”, co-located with CiE 2017, dedicated to Grzegorz Rozenberg on the occasion of his 75th birthday takes place just after CiE, on June 17, 2017. Details below and at at http://combio.abo.fi/rozenberg75/ PRELIMINARY SCHEDULE: http://math.utu.fi/cie2017/conference-schedule/ ==================== EARLY REGISTRATION: MAY 8, 2017 =================== CiE 2017 is the thirteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015) and Paris (2016). ORGANIZED BY: ============= Department of Mathematics and Statistics, University of Turku Computer Science, Åbo Akademi University email: cie2017 at utu.fi WOMEN IN COMPUTABILITY PROGRAM AND GRANTS: ========================================== We are happy to announce that the CiE Women in Computability program, coordinated by the Special Interest Group Women in Computability http://sat.mdx.ac.uk/cie-wp/index.php/cie-conference-series/cie-cs-women-in-computability/ offers four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2017. Applications for this grant should be send to Liesbeth De Mol (liesbeth.demol at univ-lille3.fr) before 1 May 2017 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2017. TUTORIAL SPEAKERS: ================== Denis R. Hirschfeldt (University of Chicago) Daniel M. Gusfield (University of California, Davis) INVITED SPEAKERS: ================= Scott Aaronson (University of Texas at Austin) Karen Lange (Wellesley College) Ludovic Patey (Université Paris Diderot) Nicole Schweikardt (Humboldt-Universit ät zu Berlin) Alexander Shen (Université de Montpellier) Moshe Vardi (Rice University) SPECIAL SESSIONS: ================= Algorithmics for biology: ------------------------- Organized by Paola Bonizzoni (Milano, Italy) and Veli Mäkinen (Helsinki, Finland). Speakers: Tobias Marschall (Max-Planck-Institut für Informatik) Fabio Vandin (University of Padova) Gregory Kucherov (University Paris-Est Marne-la-Vallée) Gianluca Della Vedova (University of Milano-Bicocca) Combinatorics and algorithmics on words: ---------------------------------------- Organized by Tero Harju (Turku, Finland) and Dirk Nowotka (Kiel, Germany). Speakers: Stepan Holub (Charles University in Prague) Pascal Ochem (Université de Montpellier) Svetlana Puzynina (Sobolev Institute of Mathematics and École Normale Supérieure de Lyon) Narad Rampersad (University of Winnipeg) Computability in analysis, algebra, and geometry: ------------------------------------------------- Organized by Julia Knight (Notre Dame, USA) and Andrey Morozov (Novosibirsk, Russia). Speakers: Saugata Basu (Purdue University) Margarita Korovina (University of Aarhus) Alexander Melnikov (University of California, Berkeley) Russell Miller (Queens College, City University of New York) Cryptography and information theory: ------------------------------------ Organized by Delaram Kahrobaei (New York, USA) and Helger Lipmaa (Tartu, Estonia). Speakers: Jean-Charles Faugère (Université Pierre et Marie Curie) Elham Kashefi (University of Edinburgh-Scotland, Université Pierre et Marie Curie) Aggelos Kiayias (University of Edinburgh) Ivan Visconti (Università degli Studi di Salerno) Formal languages and automata theory: ------------------------------------- Organized by Juhani Karhumäki (Turku, Finland) and Alexander Okhotin (St. Petersburg, Russia). Speakers: Kai Salomaa (Queen's University at Kingston) Matrin Kutrib (Justus-Liebig-Universität Gießen) Thomas Colcombet (Université Paris Diderot) Artur Jez (University of Wrocław) History and philosophy of computing: ------------------------------------ Special topic: History and foundations of recursion, in memory of Rósza Péter (1905-1977) Organized by Liesbeth De Mol (Lille, France) and Giuseppe Primiero (London, United Kingdom). Speakers: Juliette Kennedy (University of Helsinki) Jan von Plato (University of Helsinki) Hector Zenil (University of Oxford, and Karolinska Institute) Cliff Jones (Newcastle University) The PROGRAM COMMITTEE consisted of: Andrew Arana (Urbana-Champaign, US) Arnold Beckmann (Swansea, UK) Paola Bonizzoni (Milan, IT) Olivier Bournez (Palaiseau, FR) Vasco Brattka (Munich, DE) Cristian S. Calude (Auckland, NZ) Ann Copestake (Cambridge, UK) Liesbeth De Mol (Lille, FR) Helena Durnová (Brno, CZ) Ekaterina Fokina (Vienna, AT) Tero Harju (Turku, FI) Emmanuel Jeandel (Nancy, FR) Emil Jeřábek (Prague, CZ) Natašha Jonoska (Tampa, US) Jarkko Kari (Turku, FI, co-chair) Viv Kendon (Durham, UK) Takayuki Kihara (Berkley, US) Florin Manea (Kiel, DE) Klaus Meer (Cottbus, DE) Russell Miller (New York City, US) Bernard Moret (Lausanne, CH) Rolf Niedermeier (Berlin, DE) Dag Normann (Oslo, NO) Dirk Nowotka (Kiel, DE) Isabel Oitavem (Lisbon, PT) Ion Petre (Turku, FI, co-chair) Kai Salomaa (Kingston, CA) Reed Solomon (Storrs, US) Mariya Soskova (Sofia, BG) Susan Stepney (York, UK) Peter Van Emde Boas (Amsterdam, NL) Philip Welch (Bristol, UK) Damien Woods (Pasadena, US) Magic in Science: ----------------- The symposium “Magic in Science” will be co-located with CiE 2017. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA. Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He has authored exceptionally many research papers opening new vistas, as well as well-known books about developmental languages, decidability and DNA computing. He supervised numerous Ph.D. students, many of whom have become known scientists. He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium. The talks given at the symposium will have an overview character and together they will cover a broad range of topics from Computer Science, reflecting Grzegorz Rozenberg's broad research interests. Among the topics covered are: P vs NP, reaction systems, membrane computing, graph isomorphism, combinatorics on words, DNA rearrangements, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Confirmed speakers include: David Harel, Weizmann Institute of Science, Israel- "On odor reproduction and how to test for it" Hendrik Jan Hoogeboom, University of Leiden, the Netherlands - TBA Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland - "Why P vs. NP is so hard that even magicians failed to solve it" Natasha Jonoska, University of South Florida, USA - TBA Juhani Karhumäki, University of Turku, Finland - "Combinatorics on words and k-abelian equivalence" Hermann Maurer, Academia Europaea and Graz University of Technology, Austria: "Some unusual applications of computer science" George Paun, Institute of Mathematics of the Academy of Romania - TBA Azaria Paz, Technion, Israel - "Linked magic squares on a cube. Theme and variations" Moshe Vardi, Rice University, USA - "The Automated-Reasoning Revolution: From Theory to Practice and Back" The symposium is free of charge. Details: http://combio.abo.fi/rozenberg75/ ----------------------------------- Association CiE: http://computability.org.uk CiE Conference Series: http://illc.uva.nl/CiE CiE 2017 on Facebook: https://www.facebook.com/CIE.Conference2017 CiE 2017 on Twitter: https://twitter.com/2017Cie CiE 2017 on Instagram: https://instagram.com/cie.2017 From cie2017 at abo.fi Fri Apr 28 17:24:01 2017 From: cie2017 at abo.fi (CIE2017) Date: Fri, 28 Apr 2017 18:24:01 +0300 Subject: [fg-arc] CiE 2017: call for participation Message-ID: <27b918cb-ab29-1305-3059-07fa513fe9c7@abo.fi> CALL FOR PARTICIPATION: ======================= CiE 2017: Unveiling Dynamics and Complexity Turku, Finland June 12-16, 2017 http://math.utu.fi/cie2017 NOTE: ====== Symposium “Magic in Science”, co-located with CiE 2017, dedicated to Grzegorz Rozenberg on the occasion of his 75th birthday takes place just after CiE, on June 17, 2017. Details below and at at http://combio.abo.fi/rozenberg75/ PRELIMINARY SCHEDULE: http://math.utu.fi/cie2017/conference-schedule/ ==================== EARLY REGISTRATION: MAY 8, 2017 =================== CiE 2017 is the thirteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015) and Paris (2016). ORGANIZED BY: ============= Department of Mathematics and Statistics, University of Turku Computer Science, Åbo Akademi University email: cie2017 at utu.fi WOMEN IN COMPUTABILITY PROGRAM AND GRANTS: ========================================== We are happy to announce that the CiE Women in Computability program, coordinated by the Special Interest Group Women in Computability http://sat.mdx.ac.uk/cie-wp/index.php/cie-conference-series/cie-cs-women-in-computability/ offers four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2017. Applications for this grant should be send to Liesbeth De Mol (liesbeth.demol at univ-lille3.fr) before 1 May 2017 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2017. TUTORIAL SPEAKERS: ================== Denis R. Hirschfeldt (University of Chicago) Daniel M. Gusfield (University of California, Davis) INVITED SPEAKERS: ================= Scott Aaronson (University of Texas at Austin) Karen Lange (Wellesley College) Ludovic Patey (Université Paris Diderot) Nicole Schweikardt (Humboldt-Universit ät zu Berlin) Alexander Shen (Université de Montpellier) Moshe Vardi (Rice University) SPECIAL SESSIONS: ================= Algorithmics for biology: ------------------------- Organized by Paola Bonizzoni (Milano, Italy) and Veli Mäkinen (Helsinki, Finland). Speakers: Tobias Marschall (Max-Planck-Institut für Informatik) Fabio Vandin (University of Padova) Gregory Kucherov (University Paris-Est Marne-la-Vallée) Gianluca Della Vedova (University of Milano-Bicocca) Combinatorics and algorithmics on words: ---------------------------------------- Organized by Tero Harju (Turku, Finland) and Dirk Nowotka (Kiel, Germany). Speakers: Stepan Holub (Charles University in Prague) Pascal Ochem (Université de Montpellier) Svetlana Puzynina (Sobolev Institute of Mathematics and École Normale Supérieure de Lyon) Narad Rampersad (University of Winnipeg) Computability in analysis, algebra, and geometry: ------------------------------------------------- Organized by Julia Knight (Notre Dame, USA) and Andrey Morozov (Novosibirsk, Russia). Speakers: Saugata Basu (Purdue University) Margarita Korovina (University of Aarhus) Alexander Melnikov (University of California, Berkeley) Russell Miller (Queens College, City University of New York) Cryptography and information theory: ------------------------------------ Organized by Delaram Kahrobaei (New York, USA) and Helger Lipmaa (Tartu, Estonia). Speakers: Jean-Charles Faugère (Université Pierre et Marie Curie) Elham Kashefi (University of Edinburgh-Scotland, Université Pierre et Marie Curie) Aggelos Kiayias (University of Edinburgh) Ivan Visconti (Università degli Studi di Salerno) Formal languages and automata theory: ------------------------------------- Organized by Juhani Karhumäki (Turku, Finland) and Alexander Okhotin (St. Petersburg, Russia). Speakers: Kai Salomaa (Queen's University at Kingston) Matrin Kutrib (Justus-Liebig-Universität Gießen) Thomas Colcombet (Université Paris Diderot) Artur Jez (University of Wrocław) History and philosophy of computing: ------------------------------------ Special topic: History and foundations of recursion, in memory of Rósza Péter (1905-1977) Organized by Liesbeth De Mol (Lille, France) and Giuseppe Primiero (London, United Kingdom). Speakers: Juliette Kennedy (University of Helsinki) Jan von Plato (University of Helsinki) Hector Zenil (University of Oxford, and Karolinska Institute) Cliff Jones (Newcastle University) The PROGRAM COMMITTEE consisted of: Andrew Arana (Urbana-Champaign, US) Arnold Beckmann (Swansea, UK) Paola Bonizzoni (Milan, IT) Olivier Bournez (Palaiseau, FR) Vasco Brattka (Munich, DE) Cristian S. Calude (Auckland, NZ) Ann Copestake (Cambridge, UK) Liesbeth De Mol (Lille, FR) Helena Durnová (Brno, CZ) Ekaterina Fokina (Vienna, AT) Tero Harju (Turku, FI) Emmanuel Jeandel (Nancy, FR) Emil Jeřábek (Prague, CZ) Natašha Jonoska (Tampa, US) Jarkko Kari (Turku, FI, co-chair) Viv Kendon (Durham, UK) Takayuki Kihara (Berkley, US) Florin Manea (Kiel, DE) Klaus Meer (Cottbus, DE) Russell Miller (New York City, US) Bernard Moret (Lausanne, CH) Rolf Niedermeier (Berlin, DE) Dag Normann (Oslo, NO) Dirk Nowotka (Kiel, DE) Isabel Oitavem (Lisbon, PT) Ion Petre (Turku, FI, co-chair) Kai Salomaa (Kingston, CA) Reed Solomon (Storrs, US) Mariya Soskova (Sofia, BG) Susan Stepney (York, UK) Peter Van Emde Boas (Amsterdam, NL) Philip Welch (Bristol, UK) Damien Woods (Pasadena, US) Magic in Science: ----------------- The symposium “Magic in Science” will be co-located with CiE 2017. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA. Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He has authored exceptionally many research papers opening new vistas, as well as well-known books about developmental languages, decidability and DNA computing. He supervised numerous Ph.D. students, many of whom have become known scientists. He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium. The talks given at the symposium will have an overview character and together they will cover a broad range of topics from Computer Science, reflecting Grzegorz Rozenberg's broad research interests. Among the topics covered are: P vs NP, reaction systems, membrane computing, graph isomorphism, combinatorics on words, DNA rearrangements, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Confirmed speakers include: David Harel, Weizmann Institute of Science, Israel- "On odor reproduction and how to test for it" Hendrik Jan Hoogeboom, University of Leiden, the Netherlands - TBA Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland - "Why P vs. NP is so hard that even magicians failed to solve it" Natasha Jonoska, University of South Florida, USA - TBA Juhani Karhumäki, University of Turku, Finland - "Combinatorics on words and k-abelian equivalence" Hermann Maurer, Academia Europaea and Graz University of Technology, Austria: "Some unusual applications of computer science" George Paun, Institute of Mathematics of the Academy of Romania - TBA Azaria Paz, Technion, Israel - "Linked magic squares on a cube. Theme and variations" Moshe Vardi, Rice University, USA - "The Automated-Reasoning Revolution: From Theory to Practice and Back" The symposium is free of charge. Details: http://combio.abo.fi/rozenberg75/ ----------------------------------- Association CiE: http://computability.org.uk CiE Conference Series: http://illc.uva.nl/CiE CiE 2017 on Facebook: https://www.facebook.com/CIE.Conference2017 CiE 2017 on Twitter: https://twitter.com/2017Cie CiE 2017 on Instagram: https://instagram.com/cie.2017 From grlmc at grlmc.com Sun Apr 30 21:07:26 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 30 Apr 2017 21:07:26 +0200 Subject: [fg-arc] DeepLearn 2017: early registration May 19 Message-ID: <545102060a010b000150570000045a07555156005404040405075d080257015155035153520c015756020203550705@grlmc_ip-zone_com-6> DeepLearn 2017: early registration May 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: May 19, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Precision Medicine and Biomedical informatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Wild   Li Erran Li (Columbia University), [intermediate/advanced] Deep Reinforcement Learning: Recent Advances and Frontiers   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Generative Modeling and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   INDUSTRIAL SESSION:   A specific session will be devoted to demonstrations of practical uses of deep learning in industrial processes. Companies/people interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   ORGANIZING COMMITTEE:   Pablo García Bringas (co-chair) José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: