From announce at cs.ucy.ac.cy Fri Mar 3 10:14:47 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 3 Mar 2017 11:14:47 +0200 Subject: [fg-arc] 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): Third Call for Papers Message-ID: *** Third 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogVGhpcmQgQ2FsbCBmb3IgUGFwZXJzCTQ0CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogVGhpcmQgQ2FsbCBmb3IgUGFwZXJzCTQ0CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fecbs2017%2Forganizers.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From bogom.s at gmail.com Fri Mar 3 13:39:18 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Fri, 3 Mar 2017 23:39:18 +1100 Subject: [fg-arc] DEADLINE EXTENSION for 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017) Message-ID: <011f01d2941b$4fbd9ca0$ef38d5e0$@gmail.com> Call for Submissions -- DEADLINE EXTENSION UNTIL MARCH 6 ----------------------------------------------------------------------- 4th International Workshop on Applied Verification for Continuous and Hybrid Systems CMU campus alongside CPSWeek, Pittsburgh, USA, April 17, 2017 http://cps-vo.org/group/ARCH The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners, and establishes a curated set of benchmarks submitted by academia and industry. Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to - Proposals for new benchmark problems (not necessarily yet solvable) - Tool presentations - Tool executions and evaluations based on ARCH benchmarks - Experience reports including open issues for industrial success - Reports on results of our friendly competition Submission Guidelines ----------------------------------------------------------------------- Submissions consist of papers of ideally 3-8 pages (pdf ) and optional files (e.g. models or traces) submitted through the ARCH’17 EasyChair web site (http://www.easychair.org/conferences/?conf=arch17). Authors have to use the EasyChair template (http://www.easychair.org/publications/for_authors).The extended abstract should be classified in its title as benchmark proposal, tool presentation, benchmark results, or experience report. Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. Details on the evaluation criteria can be found at http://cps-vo.org/group/ARCH/CallForSubmissions. Submission deadline: March 6, 2017 Notification: March 15, 2017 (2 days before early registration of CPSWeek) Final Version: March 31, 2017 Workshop: April 17, 2017 (different from other CPS Week workshops; this year free of charge!) Website: http://cps-vo.org/group/ARCH (includes forums, archive, wiki, etc.) Prize ----------------------------------------------------------------------- The paper with the most promising benchmark results receives a prize of 500 Euros sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting. Organizers ----------------------------------------------------------------------- Program chairs: Matthias Althoff, Technische Universität München, Germany Goran Frehse, UJF-Verimag, France Local chair: Sebastian Scherer, Carnegie Mellon University, USA Publicity chair: Sergiy Bogomolov, Australian National University, Australia Evaluation chair: Taylor T. Johnson, Vanderbilt University, USA Program Committee (tentative) ----------------------------------------------------------------------- Academia: Pieter Collins (Maastricht Univ.) Alexandre Donze (UC Berkeley) Ian Mitchell (Univ. British Colombia) Sayan Mitra (UI Urbana Champaign) Andre Platzer (CarnegieMellon Univ.) Nacim Ramdani (Université d’Orléans) Aditya Zutshi (Duke University) Xin Chen (RWTH Aachen University) Sicun Gao (Massachusetts Institute of Technology) Stanley Bak (Air Force Research Lab) Industry: Ajinkya Bhave (Siemens PLM) Jyotirmoy Deshmukh (Toyota) Luca Parolini (BMW) Alessandro Pinto (United Technologies) Matthias Woehrle (Bosch) William Hung (Synopsys Inc) Olivier Bouissou (MathWorks) Daniel Bryce (SIFT) Aaron Fifarek (Linquest) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Mar 4 09:59:09 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 4 Mar 2017 10:59:09 +0200 Subject: [fg-arc] 8th IEEE International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Last Call for Invited Sessions, Tutorials & Workshops Proposals Message-ID: <66DSVUY-OFB-LQI-1BY-A2BFNYHMDCEH@cs.ucy.ac.cy> *** Last Call for Invited Sessions, Tutorials & Workshops Proposals *** 8th International Conference on Information, Intelligence, Systems and Applications IISA 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 28 - 30 August, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBMYXN0IENhbGwgZm9yIEludml0ZWQgU2Vzc2lvbnMsIFR1dG9yaWFscyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJNDYJTGlzdHMJMTg0CWNsaWNrCXllcwlubw==&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 submit a proposal for a Special Session, Tutorial or Workshop, please refer to the instructions on the web site. Topics of Interest Track I: Information Processing and Intelligence · Advances in databases · Information systems · Information and data management · Data mining, warehousing and knowledge extraction · Recommender systems · Digital rights management · Processing of Social and Emotional Interactions · Biological and artificial neural networks · Biological and artificial immune systems · Cognitive science · Neuroscience · Computational biology · DNA computing · Evolutionary computing and genetic algorithms · Bayesian networks · Expert systems & intelligent agents · Swarm intelligence · Fuzzy logic systems · Kernel methods - support vector machines · Ensemble classifiers · Emerging machine learning paradigms · Decision making techniques · Knowledge-based systems · Ambient-ubiquitous intelligence · Robotics and automation · Affective computing Track II: Multimedia Systems and Networks · Advances in audio/video and multimedia processing · Signal mining · Signal visualization · Human-machine interaction · Multimodal systems · Multimedia systems · Autonomous Computing · Distributed computing · Quantum computing · Mobile computing · Green computing · Trusted computing · Proactive computing · Cloud computing · Ubiquitous computing · Networking · Sensing, sensory systems and sensor networks · Design and implementation · Real time systems Track III: Educational Informatics · Adaptive and personalized learning · Student modeling · Intelligent tutoring systems · E-learning and mobile learning · Social media and learning · Educational games · Computer-supported collaborative learning · Big data in education and learning analytics · Affective computing in learning systems · Smart learning environments · Virtual and augmented reality in education · Risk management in education · Learning management systems · Content management systems · Learning technologies for students with special needs Track IV: Cyber Security · Watermarking, cryptography, cryptanalysis, steganography, and stegananalysis · Privacy and authentication · Malicious software analysis · Information, computer and network security · Infrastructure security · Forensics · Biometrics Track V: Smart Energy and Smart Cities · Methodologies and tools for assessing the energy status in smart cities · Intelligent sensors and data analytics for energy optimization · Monitoring and control of energy resources · Smart grid · Fault detection · Decision support systems in energy planning and scheduling · Middleware for urban computing · Intelligent transportation systems · Public displays for modern cities · Impact of urban computing in modern cities · Case studies and best practices · Big city data · Culture for smart cities Track VI: Healthcare · E-health, mobile health and smart health · Infrastucture for smart health · Advanced devices and robotics for smart health · Ambient intelligence in assisted living · Health information systems · Healthcare management · Case studies Track VII: Applications · E-government and m-government · E-commerce and m-commerce · E-entertainment and m-entertainment · E-legal and m-legal services · Personalized systems and services · Enabling technologies, frameworks and standards · Empirical evaluations · Simulation and evaluation via simulation · Case studies · Applications in culture and heritage · Applications in tourism · Applications in natural resource management · Applications in disabilities and to people at need Important Dates · Invited Session, Tutorial & Workshop Proposals: March 13, 2017 · Invited Session, Tutorial & Workshop Acceptance: March 20, 2017 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBMYXN0IENhbGwgZm9yIEludml0ZWQgU2Vzc2lvbnMsIFR1dG9yaWFscyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJNDYJTGlzdHMJMTg0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Sat Mar 4 23:27:02 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Sat, 4 Mar 2017 22:27:02 +0000 Subject: [fg-arc] [fm-announcements] RERS: International Challenge on the Rigorous Examination of Reactive Systems 2017 Message-ID: Dear colleagues, The RERS Challenge 2017: is the 7th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with ISSTA/SPIN 2017. The event will be held in July 2017, in Santa Barbara, USA. RERS is designed to encourage software developers and researchers to apply and combine their tools and approaches in a free style manner to answer evaluation questions for reachability and LTL formulas on specifically designed benchmarks. The goal of this challenge is to provide a basis for the comparison of verification techniques and available tools. The benchmarks are automatically synthesized to exhibit chosen properties and then enhanced to include dedicated dimensions of difficulty, ranging from conceptual complexity of the properties (e.g. reachability, full safety, liveness), over size of the reactive systems (a few hundred lines to tens of thousands of them), to exploited language features (arrays and index arithmetics). They are therefore especially suited for community-overlapping tool comparisons. What distinguishes RERS from other challenges is that the challenge problems can be approached in a free-style manner: it is highly encouraged to combine and exploit all known (even unusual) approaches to software verification. In particular, participants are not constrained to their own tools. To clearly separate RERS from other challenges, this year the LTL analysis is separated from the reachability of labels. RERS is then the only challenge with a special track for LTL analysis on synthesized benchmarks. The main aims of RERS 2017 are to : * encourage the combination of usually different research fields for better software verification results * provide a comparison foundation based on differently tailored benchmarks that reveals the strengths and weaknesses of specific approaches * initiate a discussion for better benchmark generation reaching out across the usual community barriers to provide benchmarks useful for testing and comparing a wide variety of tools There will be a 1 day workshop where the results will be presented, the generation methodology will be explained, and the modalities for the RERS 2018 challenge, which will be part of ISoLA 2018 will be discussed. There is still a lot of time to get engaged, and collecting RERS achievements is a lot of fun! In addition there will be book prices sponsored by Springer. Schedule: ========= SEQUENTIAL PROBLEMS =================== The sequential challenge just started. Its entire setup in online since a few days. Thus you can start right away. At least if you are a RERS newcomer, we would strongly recommend you to start with the training problems: (http://www.rers-challenge.org/2017/index.php?page=trainingphase) They are an ideal starting point for the challenge: They are smaller in size than the challenge problems but otherwise structurally equivalent. Moreover, an automatic checker (available on the same page) allows you to evaluate your own solutions. After having tackled the training problems it should be easy to move on to attack the challenge problems. PARALLEL PROBLEMS ================= 01.03.2017: The training problems for the parallel challenge wil be online 01.05.2017: The setup for the parallel challlenge will be online. DEADLINE for all submission =========================== 01.07.2017 Please note that we want to specifically encourage also solutions from participants that work with tools developed by others. More detailed information on the challenge can be found in the participants section of www.rers-challenge.org/2017. Looking forward to seeing you in Santa Barbara! Best regards Bernhard, Falk, Jaco, and Markus -------------- 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 sebastian.goetz1 at tu-dresden.de Mon Mar 6 16:39:54 2017 From: sebastian.goetz1 at tu-dresden.de (=?UTF-8?Q?Sebastian_G=c3=b6tz?=) Date: Mon, 6 Mar 2017 16:39:54 +0100 Subject: [fg-arc] CFP - 4th Workshop on Model-driven Robot Software Engineering (MORSE) at STAF'17 Message-ID: ----------------------------------- MORSE'17 - 4th Workshop on Model-Driven Robot Software Engineering http://st.inf.tu-dresden.de/MORSE17 ----------------------------------- MORSE'17 is co-located with STAF 2017. Conference Date: July 17 - July 21 2017 Workshop Date: July 17, 2017 Location: Marburg, Germany Website: http://st.inf.tu-dresden.de/MORSE17 ----------------------------------- CALL FOR PAPERS ----------------------------------- 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. Model-Driven Robot Software Engineering (MORSE) is a promising research field combining Software Engineering and Robotics. Its objectives are to introduce model-driven development methodologies for the development of robot software. At the same time, formal methods should be transferred to robotics because "robot apps" must be certified and verified. MORSE attempts to fill this gap. Submissions are encouraged, but not limited, in the following topics: Robotic Platforms: MDA, Models, Processes and Tools - Hardware/Software Abstractions | Architectures | Metamodels - Code- and Application-Reuse | Managed Redundancy | Deployment - Variability in Robotic Systems | Self-Adaptive Systems | Evolution - Programming Languages | Paradigms | Models | DSLs Models for and Modelling in Robotics - Sensors and Actuators | Sensor Integration - Computer Vision and Image Processing | Recognition and Tracking - Knowledge Representation and Reasoning | Context Models - Ontologies and Conceptual Modeling - Localization, Mapping and Navigation - Autonomous Robots | Robot Learning and Artificial Intelligence Robot Ecosystems and Total Cost of Ownership - Product-Line Development | Robot Apps - End-User Customization | Multi-Tenancy Model-Driven Quality Assurance of Robotic Systems - Verification | Validation | Testing | Simulation | Debugging | Profiling - Handling Emergent Behavior and Uncertainty | Software Qualities Multi-Robot Systems - Cooperative Perception | Planning | Task Allocation | Coordination - Robot Swarms | Multi-Agent Robotic Systems ----------------------------------- IMPORTANT DATES ----------------------------------- Abstract Submission Deadline: April 14, 2017 Submission Deadline: April 21, 2017 Notification: May 25, 2017 Camera Ready: July 1, 2017 Workshop: July 17, 2016 ----------------------------------- SUBMISSION INFORMATION ----------------------------------- Paper abstracts should be submitted electronically by April 14, 2017 via EasyChair (https://easychair.org/conferences/?conf=morse2017). Submitted papers should conform to the ACM SIG Proceedings Style (alternate format). Submissions to the workshop are possible in two categories: - Regular Papers (6 pages) should describe original work on a problem or solution w.r.t. the described topics of interest. - Position Papers (2-4 pages) should present a well-defined position on how model-driven techniques can improve the software engineering of robotic systems. The accepted papers will be digitally published in CEUR-WS. Authors of accepted papers will be expected to attend the workshop. ----------------------------------- For more information please visit http://st.inf.tu-dresden.de/MORSE17 -- Dr.-Ing. Sebastian Götz Researcher (tenured) Technische Universität Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik Lehrstuhl für Softwaretechnologie www: http://www.st.inf.tu-dresden.de/ Mail: sebastian.goetz at acm.org Kontakt: INF 2084 Tel.: +49 351 463 38346 jExam Group www: http://www.jexam.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5180 bytes Desc: S/MIME Cryptographic Signature URL: From cesar.a.munoz at nasa.gov Tue Mar 7 20:56:48 2017 From: cesar.a.munoz at nasa.gov (Munoz, Cesar (LARC-D320)) Date: Tue, 7 Mar 2017 19:56:48 +0000 Subject: [fg-arc] [fm-announcements] ITP 2017 - Final Call for Papers Message-ID: <44FBC8A0-9F3A-4151-B7A5-861BB7B77484@nasa.gov> *** Apologies for multiple copies, please redistribute *** FINAL CALL FOR PAPERS ITP 2017 8th International Conference on Interactive Theorem Proving Brasilia, Brazil September 26-29, 2017 http://itp2017.cic.unb.br SUBMISSION DEADLINES * April 3, 2017 (abstracts) * April 10, 2017 (full papers) GENERAL INFORMATION The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009. The eighth ITP conference, ITP 2017, will be held at Universidade de Brasilia, September 26-29, 2017. SCOPE OF CONFERENCE ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. Suggested topics include but are not limited to the following: * formal aspects of hardware and software * formalizations of mathematics * improvements in theorem prover technology * user interfaces for interactive theorem provers * formalizations of computational models * verification of security algorithms * use of theorem provers in education * industrial applications of interactive theorem provers * concise and elegant worked examples of formalizations (proof pearls) PUBLICATION DETAILS The proceedings of the symposium will be published in the Springer's LNCS series. ** After the conference the authors of selected papers will be invited to submit revised papers for a special issue of the Journal of Automated Reasoning. ** PAPER SUBMISSIONS All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Furthermore, when appropriate, submissions are expected to be accompanied by verifiable evidence of a suitable implementation, such as the source files of a formalization for the proof assistant used. Submissions should be no more than 16 pages in length and are to be submitted in PDF via EasyChair at the following address: https://easychair.org/conferences/?conf=itp2017 Submissions must conform to the LNCS style in LaTeX. Authors of accepted papers are expected to present their paper at the conference and will be required to a sign copyright release form. In addition to regular papers, described above, there will be a rough diamond section. Rough diamond submissions are limited to 6 pages and may consist of an extended abstract. They will be refereed and be expected to present innovative and promising ideas, possibly in an early form and without supporting evidence. Accepted diamonds will be published in the main proceedings and will be presented as short talks. IMPORTANT DATES Abstract submission deadline: April 3, 2017 Full paper submission deadline: April 10, 2017 Author notification: June 2, 2017 Camera-ready papers: June 30, 2017 Workshops & Tutorials: September 23-25, 2017 Conference: September 26-29, 2017 INVITED SPEAKERS Moa Johansson, Chalmers University of Technology, Sweden Leonardo de Moura, Microsoft Research Cezary Kaliszyk, Universitaet Innsbruck, Austria (joint with TABLEAUX and FroCos) Katalin Bimbo, University of Alberta, Canada (joint with TABLEAUX and FroCos) Jasmin Blanchette, Inria and LORIA, Nancy, France (joint with TABLEAUX and FroCos) WORKSHOPS AND TUTORIALS There will be a three-day programme of four workshops and four tutorials from 23-25 September. Workshops: 12th Logical and Semantic Frameworks with Applications (LSFA 2017) Sandra Alves, Renata Wassermann, Flavio L. C. de Moura 23 and 24 September 2017 Proof eXchange for Theorem Proving (PxTP) Catherine Dubois, Bruno Woltzenlogel Paleo 23 and 24 September 2017 EPS - Encyclopedia of Proof Systems Giselle Reis, Bruno Woltzenlogel Paleo 24 and 25 September 2017 DaLi - Dynamic Logic: new trends and applications Mario Benevides, Alexandre Madeira 24 September 2017 Tutorials: General methods in proof theory for modal and substructural logics Bjoern Lellmann, Revantha Ramanayake 23 September 2017 From proof systems to complexity bounds Anupam Das 24 September 2017 Proof Compressions and the conjecture NP =3D PSPACE Lew Gordeev, Edward Hermann Haeusler 25 September 2017 PVS for Computer Scientists Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato 25 September 2017 Details will be published in separate calls and on the conference website. PROGRAM COMMITTEE CHAIRS Mauricio Ayala-Rincon, U. Brasilia Cesar Munoz, NASA PROGRAM COMMITTEE Maria Alpuente, T.U. Valencia Vander Alves, U. Brasilia June Andronick, Data61, CSIRO, UNSW Jeremy Avigad, Carnegie Mellon U. Sylvie Boldo, INRIA LRI Ana Bove, Chalmers & Gothenburg U. Adam Chlipala, MIT Gilles Dowek, INRIA, ENS Cachan Aaron Dutle, NASA Amy Felty, U. Ottawa Marcelo Frias, I.T. Buenos Aires Ruben Gamboa, U. Wyoming Herman Geuvers, Radboud U. Elsa Gunter, U. Illinois U.C. John Harrison, Intel Corporation Nao Hirokawa, JAIST Matt Kaufmann, U. Texas Austin Mark Lawford, McMaster U. Andreas Lochbihler, ETH Zurich Assia Mahboubi, INRIA Panagiotis Manolios, Northeastern U. Gopalan Nadathur, U. Minnesota Keiko Nakata, SAP Potsdam Adam Naumowicz, U. Bialystok Tobias Nipkow, T.U. Munich Scott Owens, U. Kent Sam Owre, SRI Lawrence Paulson, U. Cambridge Leila Ribeiro, U.F. Rio Grande do Sul Claudio Sacerdoti Coen, U. Bologna Augusto Sampaio, U.F. Pernambuco Monika Seisenberger, Swansea U. Christian Sternagel, U. Innsbruck Sofiene Tahar, Concordia U. Christian Urban, King's College London Josef Urban, Czech T.U. Prague CONTACT INFORMATION itp2017 at easychair.org http://itp2017.cic.unb.br --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From announce at cs.ucy.ac.cy Wed Mar 8 14:06:27 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 8 Mar 2017 15:06:27 +0200 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Last Call for Special Sessions & Workshops Proposals Message-ID: *** Last Call for Special Sessions & Workshops Proposals *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBMYXN0IENhbGwgZm9yIFNwZWNpYWwgU2Vzc2lvbnMgJiBXb3Jrc2hvcHMgUHJvcG9zYWxzCTQ4CUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F *** Firm Deadline: 15th March 2017 *** Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Call for Special Sessions and Workshops Proposals ICCCI 2017 invites proposals for Special Sessions and Workshops to be held during the conference. They intend to provide researchers in focused areas the opportunity to present and discuss their work, as well as to offer a forum for interaction among a broader community of researchers. A Special Session or Workshop will consist of a group of papers in a sub-discipline of Computational Collective Intelligence related to the main topics of ICCCI 2017. The papers will be required to meet the same standards as ICCCI 2017 papers and will be published in the conference proceedings, in a bound volume by Springer in their Lecture Notes in Artificial Intelligence series. All the Special Sessions and Workshops will be centralized as tracks in the same conference submission and reviewing system (EasyChair) as the regular papers. Please send the Special Session and Workshop proposals with the following information: · Title & acronym of the special session · Brief profiles of special session organizers · General description of the special session scope · List of topics · Proposed Session Program Committee (to be invited) The format for the Special Session or Workshop proposal should follow the pattern of the template available on the conference web site. The organizers will be responsible for the advertisement and promotion of the Special Sessions or Workshops and the conference including the Special Sessions and Workshops webpage preparation. The management of papers review will be achieved by Special Session and Workshops Committees, using the Conference System (a separate EasyChair track will be provided for each Special Session and Workshop). The organizers are responsible for managing the review process. All the reviews should be submitted through EasyChair. Each paper should obtain at least two reviews. For Special Sessions and Workshops Issues please contact: Bogdan Trawinski Wroclaw University of Science and Technology, Poland bogdan.trawinski at pwr.edu.pl Important Dates · Special Session & Workshop Proposals: March 15, 2017 (*** firm ***) · Special Session & Workshop Acceptance: March 22, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jdrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From Tommaso.Urli at data61.csiro.au Wed Mar 8 23:36:02 2017 From: Tommaso.Urli at data61.csiro.au (Tommaso.Urli at data61.csiro.au) Date: Wed, 8 Mar 2017 22:36:02 +0000 Subject: [fg-arc] [ICLP 2017] Second Call for Papers + Deadlines Message-ID: <1489012561281.60894@data61.csiro.au> Call for Papers 33rd International Conference on Logic Programming (co-located with CP and SAT and following IJCAI) Melbourne, Australia August 28 - September 1, 2017 http://iclp17.a4lp.org DEADLINE FOR ABSTRACT: MARCH 10 AND PAPER SUBMISSION: MARCH 17​ Conference Scope ---------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates (RP: Regular Paper / TC: Technical Communication) ----------------------------------------------------------------- RP registration (abstract): 10 March, 2017 RP submission: 17 March, 2017 First notification (RPs): 24 April, 2017 TC submission (extra round): 1 May, 2017 Revision submission (RPs): 15 May, 2017 Final notifications (RPs + TCs): 29 May, 2017 Camera-ready copy (RPs + TCs): 19 June, 2017 Conference: 28 Aug / 1 Sep, 2017 Submission Details ------------------ All submissions must be made via the EasyChair conference system (http://www.easychair.org/conferences/?conf=iclp2017). Submissions of regular papers (RPs) must follow the condensed TPLP format (template available from ICLP’s web page) and not exceed 14 pages including bibliography. RPs may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of RPs will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some RPs to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available from ICLP’s web page) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. There is also a second submission round only for TCs. Submissions to this extra round must also follow the OASIcs format indicated above. RPs accepted as TCs do not need to be resubmitted to the TC extra round. Rejected RPs cannot be resubmitted as TCs. All RPs and TCs will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Conference Organization ----------------------- General Chairs: Maria Garcia de la Banda Monash University, Australia Guido Tack Monash University, Australia Program Chairs: Ricardo Rocha University of Porto, Portugal Tran Cao Son New Mexico State University, USA Workshop Chair: Enrico Pontelli New Mexico State University, USA Publicity Chair: Tommaso Urli Australian National University, Australia Sponsorship Chair: Maria Garcia de la Banda Monash University, Australia Doctoral Consortium Chair (joint event with CP and SAT): Neda Saeedloei University of Minnesota Duluth, USA Christopher Mears Monash University, Australia Programming Contest Chairs: Paul Fodor Stony Brook University, USA Graeme Gange University of Melbourne, Australia Web Presence: Tommaso Urli Australian National University, Australia Program Committee ----------------- Mario Alviano, University of Calabria, Italy Marcello Balduccini, Drexel University, USA Pedro Cabalar, University of Coruña, Spain Mats Carlsson, SICS, Sweden Manuel Carro, Technical University of Madrid and IMDEA Software Institute, Spain Michael Codish, Ben-Gurion University of the Negev, Israel Alessandro Dal Palù, Università degli Studi di Parma, Italy Broes De Cat, Flanders Make, Belgium Marina De Vos, University of Bath, UK Marc Denecker, KU Leuven, Belgium Agostino Dovier, Università degli Studi di Udine, Italy Inês Dutra, University of Porto, Portugal Esra Erdem, Sabanci University, Istanbul, Turkey Wolfgang Faber, University of Huddersfield, UK Thom Fruehwirth, University of Ulm, Germany Sarah Alice Gaggl, Technische Universität Dresden, Germany Graeme Gange, University of Melbourne, Australia Maria Garcia De La Banda, Monash University, Australia Marco Gavanelli, Università degli studi di Ferrara, Italy Martin Gebser, University of Potsdam, Germany Gopal Gupta, University of Texas at Dallas, USA Amelia Harrison, University of Texas at Austin, USA Manuel V. Hermenegildo, Technical University of Madrid and IMDEA Software Institute, Spain Tomi Janhunen, Aalto University, Finland Andy King, University of Kent, UK Ekaterina Komendantskaya, Heriot-Watt University, UK Joohyung Lee, Arizona State University, USA Michael Leuschel, University of Düsseldorf, Germany Vladimir Lifschitz, University of Texas, USA Alessandra Mileo, Dublin City University, Ireland Enrico Pontelli, New Mexico State University, USA C. R. Ramakrishnan, Stony Brook University, USA Francesco Ricca, University of Calabria, Italy Ricardo Rocha, University of Porto, Portugal Alessandra Russo, Imperial College London, UK Chiaki Sakama, Wakayama University, Japan Tom Schrijvers, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Theresa Swift, NOVALINKS, Universidade Nova de Lisboa, Portugal Guido Tack, Monash University, Australia Paul Tarau, University of North Texas, USA Daniele Theseider Dupré, Universita’ del Piemonte Orientale, Italy Mirek Truszczynski, University of Kentucky, USA German Vidal, Universitat Politecnica de Valencia, Spain Jan Wielemaker, VU University Amsterdam, Netherlands Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA​ 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. 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. Sponsor ------- The conference is sponsored by the Association for Logic Programming (ALP), the Association for Constraint Programming (ACP), CSIRO Data61, and Monash University. 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 announce at cs.ucy.ac.cy Thu Mar 9 10:41:42 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 9 Mar 2017 11:41:42 +0200 Subject: [fg-arc] 16th World Conference on Mobile and Contextual Learning (mLearn 2017): Second Call for Papers and Workshop Proposals Message-ID: *** Second Call for Papers and Workshop Proposals *** 16th World Conference on Mobile and Contextual Learning mLearn 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 30 October - 1 November, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2Fscwk1MAlMaXN0cwkxODIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F In Cooperation with ACM SIGAPP The International Association for Mobile Learning (IAmLearn) (www.iamlearn.org) is the custodian of the mLearn conference series. mLearn is the leading annual international conference for researchers, policy makers, educators, developers and solutions providers in the fields of mobile, ubiquitous and contextual learning, as well as learning with emerging ambient and wearable technologies. mLearn attracts a large number of participants from more than 60 countries representing all continents, and is, therefore, the world's largest international conference on mLearning and emerging ambient technologies. Conference Themes The overarching conference theme is 'mLearning and Design for Social Change and Innovation'. Higher education institutions are called upon to provide for the competencies and skills that foster design for social change and innovation. In addition, knowledge and skills alliances are encouraged by funding bodies to cultivate, share and disseminate competencies that foster social entrepreneurship and innovation. However, little is known on how mlearning can facilitate this process, how it can contribute towards social change, innovation and entrepreneurship. The topics of interest can go beyond the conference theme, and can include any of the following: · The development, deployment and implementation of mlearning in the context of social entrepreneurship, innovation and social change · mLearning as a tool that fosters social change and social entrepreneurship · Innovations in mlearning theory and pedagogy · From pilot projects to mainstream implementation: strategies for the deployment of mLearning · Mobile technology to support open and distance learning · Mobile technology for teaching and learning support · Assessment techniques and practices in mLearning · Design and development of learning material for mLearning · Learning objects and metadata for mLearning · Informal and lifelong learning with the aid of mobile technologies · Challenges for mLearning in developing countries · Building and implementing mLearning strategies in educational institutions, companies and public sector organisations · mLearning management systems (mLMSs) · Computer tablets · Creating interactive and collaborative mLearning environments · Future trends in mLearning technology, including the impact of emerging technologies · Emerging hardware and software for mLearning including wearable technologies · Location-aware technologies · Contextual and situated learning · Augmented reality · Serious gaming and simulations · Ambient intelligence and ubiquitous learning Submission Information The conference solicits regular papers (no more than 8 pages), short papers (no more than 4 pages), as well as posters (no more than 2 pages). The Program Committee may require an accepted paper to be adapted into a short paper or poster. All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission of Workshop Proposals: 31 March 2017 · Notification for Workshop Proposals: 7 April 2017 · Submission Deadline for Conference Papers: 1 June 2017 · Submission Deadline for Workshop Papers: 21 July 2017 · Accept/Reject Notification for Conference Papers: 15 July 2017 · Accept/Reject Notification for Workshop Papers: 25 August 2017 · Camera-Ready Submission of all Papers: 1 September 2017 Information on registration categories and registration fees for the mLearn 2017 is available online at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2Fscwk1MAlMaXN0cwkxODIJY2xpY2sJeWVzCW5v&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2Fscwk1MAlMaXN0cwkxODIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2Fcommittees.php -------------- next part -------------- An HTML attachment was scrubbed... URL: From cie2017 at abo.fi Fri Mar 10 16:39:54 2017 From: cie2017 at abo.fi (CIE2017) Date: Fri, 10 Mar 2017 17:39:54 +0200 Subject: [fg-arc] CiE 2017: call for informal presentations Message-ID: 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 a.garcia-dominguez at aston.ac.uk Fri Mar 10 23:00:39 2017 From: a.garcia-dominguez at aston.ac.uk (Garcia-Dominguez, Antonio) Date: Fri, 10 Mar 2017 22:00:39 +0000 Subject: [fg-arc] STAF 2017 Workshops: Joint Call for Contributions Message-ID: <239CD6FCD9FF564AA3DBE2D0CB18566B76E55801@exch-mb-g50-01.campus.aston.ac.uk> ------------------------------------------------- Joint Call for Contributions Workshops of STAF 2017 BigMDE, GCM, GRAND, MORSE, OCL, VOLT 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 six related workshops and cordially invites interested participants to actively contribute to the workshops. *** Workshops 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/ VOLT: Verification of Model Transformations http://www.informatik.uni-marburg.de/staf2017/ *** Important Dates *** Submission: around April 20 please check on the workshops' websites Notification: May 25 Workshop Dates: July 17: GCM July 20: OCL July 21: BigMDE, GRAND, MORSE, VOLT *** Submissions *** For submission details, please check the individual workshop 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. *** Workshop 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 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 *** Workshop 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. 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. -- 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 Fri Mar 10 13:51:53 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 10 Mar 2017 14:51:53 +0200 Subject: [fg-arc] 8th IEEE International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Fourth Call for Papers Message-ID: *** Fourth 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTUyCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTUyCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTUyCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Mar 11 11:29:36 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 11 Mar 2017 12:29:36 +0200 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fifth Call for Papers Message-ID: <5ZGGJXDC-8LQN-6GKO-HX8-JAZMD6VHX7OP@cs.ucy.ac.cy> *** Fifth 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJNTYJTGlzdHMJMTgyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F *** Deadline Extension: April 15th, 2017 *** Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJNTYJTGlzdHMJMTgyCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Diccci2017 . To ensure high quality, all papers will be thoroughly reviewed by the ICCCI 2017 International Program Committee. Referees will be asked to nominate papers for a Best Paper award to be announced at the conference. All accepted papers must be presented by one of the authors who must register for the conference and pay the author registration fee. A selected number of accepted and personally presented papers, will be expanded and revised for possible inclusion in special issues of high quality scientific journals. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Important Dates · Submission of Papers: April 15, 2017 (extended) · 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 grlmc at grlmc.com Sun Mar 12 17:40:13 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 12 Mar 2017 17:40:13 +0100 Subject: [fg-arc] AlCoB 2017: call for posters Message-ID: <545102060a010b010750580401015a07060356530250045251055d005205555103500c02060c040552035801550555@grlmc_ip-zone_com-6> AlCoB 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Algorithms for Computational Biology (AlCoB 2017) invites researchers to submit poster presentations. AlCoB 2017 will be held in Aveiro (Portugal) on June 5-7, 2017. See  http://grammars.grlmc.com/AlCoB2017/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 28, 2017 Notification of poster acceptance or rejection: May 5, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2017 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2017. However, they will be eligible for submission to the post-conference journal special issue in the Journal of Computational Biology (2015 JCR impact factor: 1.537). REGISTRATION At least one author of each accepted poster must register to the conference by May 22, 2017. The registration fare is reduced: 260 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Tue Mar 14 04:05:12 2017 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 14 Mar 2017 03:05:12 +0000 Subject: [fg-arc] ACM/SPEC ICPE'17 - Call for Participation Message-ID: ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-27, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------------- The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. ------------------------------------------------------------------------------- PROGRAM ICPE'17 takes place from April 22 to 27, 2017. The main conference runs from April 24 to 26, with a welcome reception on April 24 and a banquet on April 25. Tutorials are held on April 22 and 23, while workshops take place on April 22, 23, and 27. The preliminary program is available at https://icpe2017.spec.org/conference-program.html The following eight workshops will be held in conjunction with the main conference: - Saturday, April 22: -- ACPROSS: Autonomous Control for Performance and Reliability Trade-offs in Internet of Services -- PABS: Third International Workshop on Performance Analysis of Big Data Systems -- WOSP-C: Workshop on Challenges in Performance Methods for Software Development - Sunday, April 23: -- ENERGY-SIM: Third International Workshop on Energy-aware Simulation -- LTB: Sixth International Workshop on Load Testing and Benchmarking of Software Systems -- MoLS: First International Workshop on Monitoring in Large-Scale Software Systems -- WEPPE: Workshop on Education and Practice of Performance Engineering - Thursday, April 27: -- QUDOS: Third International Workshop on Quality-aware DevOps More information on the workshops can be found at https://icpe2017.spec.org/conference-program/conference-workshops.html ------------------------------------------------------------------------------- REGISTRATION Registration is open! To register to ICPE'17 or to the co-located workshops and tutorials, please follow the instruction at the following link: https://icpe2017.spec.org/registration.html. Early registration deadline: March 24, 2017 ------------------------------------------------------------------------------- KEYNOTE We are proud to announce our keynote speakers for ICPE'17: -------------------------------------- Arif Merchant (Google) Title: Autonomic storage management at scale Abstract: Cloud data centers use enormous amounts of storage, and it is critical to monitor, manage, and optimize the storage autonomically. Optimally configuring storage is difficult because storage workloads are very diverse and change over time. Data centers measure running workloads, but this measurement data stream is itself quite large. We present some real world case studies in the use of big data techniques, sampling, and optimization to manage storage in data centers. Short bio: Arif Merchant is a Research Scientist at Google and leads the Storage Analytics group, which studies interactions between components of the storage stack. His interests include distributed storage systems, storage management, and stochastic modeling. He holds the B.Tech. degree from IIT Bombay and the Ph.D. in Computer Science from Stanford University. He is an ACM Distinguished Scientist. -------------------------------------- Francesco Quaglia (University of Rome "La Sapienza") Title: Performance is Also a Matter of Where You Live Abstract: Nowadays, a plethora of techniques and methods are available to optimize the runtime behavior of complex applications, ranging from modeling/prediction tools to the employment of recognized patterns and/or knowledge-bases on the expected performance under specific workloads. However, in common scenarios, the ultimate applications' behavior may depend on features that are scarcely predictable or difficult to be taken into account when designing the applications and their own runtime optimizers. Among them, we mention the actual structure of the underlying hardware and/or virtualized platforms, as well as specific runtime dynamics such as thread correlation on data and synchronization---not much the average behavior, rather punctual effects. We believe that the environment where applications live, like operating systems and user-space runtime libraries, play a central role in coping with these features. We similarly believe that such environments must be re-staged so as to be actually effective in pursuing the performance optimization goal. In this talk, we discuss specific guidelines to re-stage the environments, based on a real experience, and we point as well to challenges that are still untackled and deserve attention by the research community. Short bio: Francesco Quaglia received the Laurea degree (MS level) in Electronic Engineering in 1995 and the PhD degree in Computer Engineering in 1999 from the University of Rome ``La Sapienza''. From summer 1999 to summer 2000 he held an appointment as a Researcher at the Italian National Research Council (CNR). Since January 2005 he works as an Associate Professor at the School of Engineering of the University of Rome ``La Sapienza", where he has previously worked as an Assistant Professor since September 2000 to December 2004. His main research interests are in the areas of high performance computing, dependable computing, transactional systems, operating systems, automatic code parallelization, performance analysis and optimization. Currently, he is the director of the HPDCS (High Performance and Dependable Computing Systems) Research Lab at the University of Rome ``La Sapienza''. -------------------------------------- Thomas Wuerthinger (Oracle Labs) Title: Micro-Benchmarking Considered Harmful Subtitle: When the Whole is Faster or Slower Than the Sum of its Parts Abstract: Measuring the time spent on small individual fractions of program code is a common technique for analysing performance behavior and detecting performance bottlenecks. The benefits of the approach include a detailed individual attribution of performance and understandable feedback loops when experimenting with different code versions. There are however severe pitfalls when following this approach that can lead to vastly misleading results. Modern optimizing compilers use complex optimization techniques that take a large part of the program into account. There can be therefore unexpected side-effects when combining different code snippets or even when running a presumably unrelated part of the code. This talk will present performance paradoxes with examples from the domain of dynamic compilation of Java programs. Furthermore, it will discuss an alternative approach to modelling code performance characteristics that takes the challenges of complex optimising compilers into account. Short Bio: Thomas Wuerthinger is a Senior Research Director at Oracle Labs leading programming language implementation teams for languages including Java, JavaScript, Ruby, and R. He is the architect of the Graal compiler and the Truffle self-optimizing runtime system. Previously, he worked on the Crankshaft optimizing compiler of V8 at Google, and the Maxine research virtual machine at Sun Microsystems. He received a PhD degree from JKU Linz for his research about dynamic code evolution. ------------------------------------------------------------------------------- ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Daniele Di Pompeo, Università dell'Aquila, Italy -------------------------------------------------------------------------------- CONTACTS Do not hesitate to contact the general chairs at > and > for more information about ICPE'17 and the co-located venues. ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - Office SI-205 Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From cie2017 at abo.fi Mon Mar 13 15:04:00 2017 From: cie2017 at abo.fi (CIE2017) Date: Mon, 13 Mar 2017 16:04:00 +0200 Subject: [fg-arc] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday Message-ID: *Magic in Science*, June 17, 2017, Turku, Finland http://combio.abo.fi/rozenberg75/ This symposium will be co-located with “Computability in Europe (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 (the actual birthday date is March 14). 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 theoretical computer science and natural 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. He also served on the editorial boards of many international journals and book series. He is the editor-in-chief and either the founder or a cofounder of some very well-known journals and book series: the journal Natural Computing, the journal Theoretical Computer Science C (Theory of Natural Computing), the book series Monographs and Texts in Theoretical Computer Science, the book series Natural Computing, and the book series Advances in Petri Nets. For over 20 years, he was the editor of the Bulletin of the European Association for Theoretical Computer Science. He edited four handbooks: on formal languages, on graph grammars and computing by graph transformations, on membrane computing, and on natural computing. G. Rozenberg is a Foreign Member of the Finnish Academy of Sciences and Letters, a member of Academia Europaea, and the holder of Honorary Doctorates of the University of Turku, Finland, the Technical University of Berlin, Germany, the University of Bologna, Italy, the Åbo Akademi University in Turku, Finland, the Warsaw University of Technology, Poland, and the University of Bucharest, Romania. He has received the Distinguished Achievements Award of the European Association for Theoretical Computer Science “in recognition of his outstanding scientific contributions to theoretical computer science”. He is an ISI highly cited researcher. He has also a very active and creative life outside science. For example, he is a performing magician, which is also reflected in his research. His very impressive numerous scientific results are somehow sprinkled with a touch of magic: this explains the title of the symposium. Also, he is an expert in paintings of Dutch painter Hieronymus Bosch. The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg’s broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Confirmed speakers include: • David Harel, Weizmann Institute of Science in Israel – “On odor reproduction and how to test for it“ • Hendrik Jan Hoogeboom, University of Leiden, the Netherlands – “From DNA rearrangements in ciliates to elegant graph problems“ • 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 – “Patterns emerging from a scrambled ciliate genome“ • Juhani Karhumäki, University of Turku, Finland – “Combinatorics on words and k-abelian equivalence“ • Jetty Kleijn, Leiden University, the Netherlands – “The spellbinding simplicity of complex reaction systems“ • Maciej Koutny, Newcastle University, UK – “Regions: the magic ingredient in synthesis of concurrent systems“ • Hermann Maurer, Academia Europaea and Graz University of Technology, Austria – “Some unusual applications of computer science“ • Giancarlo Mauri, University of Milano-Bicocca, Italy – “Modelling and simulation of biochemical reaction systems“ • George Paun, Institute of Mathematics of the Academy of Romania – “Borderlines or limits? (in Natural Computing)“ • 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“ • Erik Winfree, Caltech, USA – “Chemical reaction networks and stochastic local search“ Important dates: • Registration deadline: June 5, 2017 • Symposium: June 17, 2017 Registration and fees: • The registration can be done at http://combio.abo.fi/rozenberg75/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From cie2017 at abo.fi Mon Mar 13 15:12:22 2017 From: cie2017 at abo.fi (CIE2017) Date: Mon, 13 Mar 2017 16:12:22 +0200 Subject: [fg-arc] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday Message-ID: <46b10ea5-88d8-1239-e932-09bf326252be@abo.fi> *Magic in Science*, June 17, 2017, Turku, Finland http://combio.abo.fi/rozenberg75/ This symposium will be co-located with “Computability in Europe (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 (the actual birthday date is March 14). 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 theoretical computer science and natural 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. He also served on the editorial boards of many international journals and book series. He is the editor-in-chief and either the founder or a cofounder of some very well-known journals and book series: the journal Natural Computing, the journal Theoretical Computer Science C (Theory of Natural Computing), the book series Monographs and Texts in Theoretical Computer Science, the book series Natural Computing, and the book series Advances in Petri Nets. For over 20 years, he was the editor of the Bulletin of the European Association for Theoretical Computer Science. He edited four handbooks: on formal languages, on graph grammars and computing by graph transformations, on membrane computing, and on natural computing. G. Rozenberg is a Foreign Member of the Finnish Academy of Sciences and Letters, a member of Academia Europaea, and the holder of Honorary Doctorates of the University of Turku, Finland, the Technical University of Berlin, Germany, the University of Bologna, Italy, the Åbo Akademi University in Turku, Finland, the Warsaw University of Technology, Poland, and the University of Bucharest, Romania. He has received the Distinguished Achievements Award of the European Association for Theoretical Computer Science “in recognition of his outstanding scientific contributions to theoretical computer science”. He is an ISI highly cited researcher. He has also a very active and creative life outside science. For example, he is a performing magician, which is also reflected in his research. His very impressive numerous scientific results are somehow sprinkled with a touch of magic: this explains the title of the symposium. Also, he is an expert in paintings of Dutch painter Hieronymus Bosch. The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg’s broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Confirmed speakers include: • David Harel, Weizmann Institute of Science in Israel – “On odor reproduction and how to test for it“ • Hendrik Jan Hoogeboom, University of Leiden, the Netherlands – “From DNA rearrangements in ciliates to elegant graph problems“ • 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 – “Patterns emerging from a scrambled ciliate genome“ • Juhani Karhumäki, University of Turku, Finland – “Combinatorics on words and k-abelian equivalence“ • Jetty Kleijn, Leiden University, the Netherlands – “The spellbinding simplicity of complex reaction systems“ • Maciej Koutny, Newcastle University, UK – “Regions: the magic ingredient in synthesis of concurrent systems“ • Hermann Maurer, Academia Europaea and Graz University of Technology, Austria – “Some unusual applications of computer science“ • Giancarlo Mauri, University of Milano-Bicocca, Italy – “Modelling and simulation of biochemical reaction systems“ • George Paun, Institute of Mathematics of the Academy of Romania – “Borderlines or limits? (in Natural Computing)“ • 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“ • Erik Winfree, Caltech, USA – “Chemical reaction networks and stochastic local search“ Important dates: • Registration deadline: June 5, 2017 • Symposium: June 17, 2017 Registration and fees: • The registration can be done at http://combio.abo.fi/rozenberg75/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Tommaso.Urli at data61.csiro.au Wed Mar 15 00:03:35 2017 From: Tommaso.Urli at data61.csiro.au (Tommaso.Urli at data61.csiro.au) Date: Tue, 14 Mar 2017 23:03:35 +0000 Subject: [fg-arc] [ICLP 2017] Extended deadline Message-ID: <1489532613221.85466@data61.csiro.au> ************ DEADLINE FOR ABSTRACT EXTENDED TO March 17 *********** ************ SAME DAY AS PAPER SUBMISSION DEADLINE *********** ICLP 2017 Call for Papers ------------------------- The 33rd International Conference on Logic Programming (ICLP 2017) will take place in Melbourne, Australia alongside SAT 2017 and CP 2017, from August 28th to September 1st, 2017 which is the week immediately following IJCAI 2017. Full information at http://iclp17.a4lp.org Call for Papers at http://iclp17.a4lp.org/call_for_papers.html Conference Scope ---------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates (RP: Regular Paper / TC: Technical Communication) ----------------------------------------------------------------- - RP registration (abstract): 17 March, 2017 - RP submission: 17 March, 2017 - First notification (RPs): 24 April, 2017 - TC submission (extra round): 1 May, 2017 - Revision submission (RPs): 15 May, 2017 - Final notifications (RPs + TCs): 29 May, 2017 - Camera-ready copy (RPs + TCs): 19 June, 2017 - Conference: 28 Aug / 1 Sep, 2017 Submission Details ------------------ All submissions must be made via the EasyChair conference system (http://www.easychair.org/conferences/?conf=iclp2017). Submissions of regular papers (RPs) must follow the condensed TPLP format (template available from ICLP’s web page) and not exceed 14 pages including bibliography. RPs may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of RPs will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some RPs to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available from ICLP’s web page) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. There is also a second submission round only for TCs. Submissions to this extra round must also follow the OASIcs format indicated above. RPs accepted as TCs do not need to be resubmitted to the TC extra round. Rejected RPs cannot be resubmitted as TCs. All RPs and TCs will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Conference Organization ----------------------- General Chairs: - Maria Garcia de la Banda Monash University, Australia - Guido Tack Monash University, Australia Program Chairs: - Ricardo Rocha University of Porto, Portugal - Tran Cao Son New Mexico State University, USA Workshop Chair: - Enrico Pontelli New Mexico State University, USA Publicity Chair: - Tommaso Urli Australian National University, Australia Sponsorship Chair: - Maria Garcia de la Banda Monash University, Australia Doctoral Consortium Chair (joint event with CP and SAT): - Neda Saeedloei University of Minnesota Duluth, USA - Christopher Mears Monash University, Australia Programming Contest Chairs: - Paul Fodor Stony Brook University, USA - Graeme Gange University of Melbourne, Australia Web Presence: - Tommaso Urli Australian National University, Australia Program Committee ----------------- See full program committee at http://iclp17.a4lp.org/program_committee.html Workshops --------- The ICLP 2017 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. See call for workshop proposals at http://iclp17.a4lp.org/call_for_workshop_proposals Doctoral Consortium ------------------- The Thirteen Doctoral Consortium (DC) on Logic Programming [this year being co-organized and taking place together with CP 2017 and SAT 2017] provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Conference Venue ---------------- The venue will be the Melbourne Convention and Exhibition Centre. Melbourne is the second most populous city in Australia and the coastal capital of the south-eastern Australian state of Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne has been named the World’s Most Liveable City for six years running and it is widely recognised as the cultural and culinary capital of Australia. It is a safe, creative and multi-cultural city full of exciting places to see, delicious foods to eat, and excellent events to experience; from the Arts precinct to the river bank parks and gardens to the buzzing city centre and the hidden thrills of Melbourne’s laneways. It is also an air-hop away from breathtaking destinations like The Great Barrier Reef, Sydney and Uluru. The Melbourne Convention and Exhibition Centre (MCEC) is located on the banks of the iconic Yarra River in Melbourne's South Wharf. Given its central location, it has a huge variety of accommodation close-by, with more than 6000 rooms within walking distance. MCEC is easily accessible by public transport, particularly as the Melbourne's city centre has a free tram zone that makes it easier for tourists to move around the city. Related Events -------------- Several other AI events will be held in Melbourne and other parts of Australia close to these dates, offering attendees a variety of choices for an extended itinerary. These events will include the International Conference on Principles and Practice of Constraint Programming (CP 2017) and the International Conference on Theory and Applications of Satisfiability Testing (SAT 2017), both co-located with ICLP 2017. The International Joint Conference on Artificial Intelligence (IJCAI 2017), the Australasian Joint Conference on Artificial Intelligence (AusAI 2017), the Australasian Conference on Data Mining (AusDM 2017), and the International Conference on Knowledge Science, Engineering, and Management (KSEM 2017) will all to be held in Melbourne one week before ICLP. The International Conference on Machine Learning (ICML 2017) will also be held in Sydney Australia shortly before ICLP 2017. Sponsors -------- The conference is sponsored by the Association for Logic Programming (ALP), the Association for Constraint Programming (ACP), Monash University, and CSIRO Data61. See the sponsor information at http://iclp17.a4lp.org/sponsors.html Financial Assistance -------------------- The Association for Logic Programming has funds to assist financially disadvantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. ? 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 eichelberger at sse.uni-hildesheim.de Wed Mar 15 18:38:16 2017 From: eichelberger at sse.uni-hildesheim.de (Holger Eichelberger) Date: Wed, 15 Mar 2017 18:38:16 +0100 Subject: [fg-arc] CfP 10th International Workshop on Dynamic Software Product Lines - , Adaptive Systems through Runtime Variability (DSPL '17) Message-ID: <1d932207-dc1b-24d2-0a13-fa6e77a7c289@sse.uni-hildesheim.de> [please apologize cross-postings] 10th International Workshop on Dynamic Software Product Lines - Adaptive Systems through Runtime Variability (DSPL '17) http://sites.lero.ie/dspl2017 co-located with the 21st International Systems and Software Product Line Conference (SPLC '17), Sept 25-29, Sevilla, Spain Important Dates for Paper Submissions Submission Deadline (strict): May 24, 2017 Notification of Acceptance: June 14, 2017 Camera-Ready Version: June 22, 2017 Workshop Organizers - Jesper Andersson, Linnaeus University, Sweden - Rafael Capilla, Rey Juan Carlos University, Spain - Luciano Baresi, Politecnico di Milano, Italy - Holger Eichelberger, University of Hildesheim, Germany Workshop goals: The concept of adaptation and self-adaptation of systems, in particular at runtime has caught the attention of the research community at large, both inside the domain of Software Product Lines (SPL) as well as outside SPL in areas like models-at-runtime, self-adaptive systems, ubiquitous computing, and specific application domains where runtime adaptation and post-deployment activities are required. Dynamic software product lines (DSPL) were established as a research area under the assumption that product line concepts can be very usefully applied in this context. Since its inception the DSPL-workshop addresses the mission of supporting adaptive and adaptable system development based on product line concepts. The lack of maturity and consolidation of DSPL approaches stills needs significant research effort to advance the state of the art. Also synergies between other fields on adaptive systems and DSPL could be explored and exploited more systematically. Our focus is to extend the community of researchers and to provide a forum for the discussion of current research on related topics. TOPICS: The workshop will solicit papers covering the following areas of DSPL embracing integrations and interactions between various fields of adaptive systems and DSPLs: Organization of DSPLs: - Development approaches and organizational models to set a DSPL - Comparison between conventional SPL, and DSPL and adaptive system models - New activities required by a DSPL - Upfront cost and post-deployment activities Dynamic variability management: - Managing runtime variants and variation points - Runtime managers supporting variability - Optimization of runtime variability solutions - Variability constraints and dependencies managed at runtime - Dynamic and multiple binding times - Rebinding and reconfiguration after deployment - Context variability analysis and design - Integration of pre- and runtime variability DSPL and software engineering: - DSPL runtime requirements and architecture - Dynamic component models and libraries - Models at runtime supporting variability - Trade-off analysis between adaptability and quality properties - Tools supporting any aspect related to DSPL and dynamic variability - DSPL as a dynamic Ecosystem DSPL application domains: - Role of dynamic variability in specific application domains (e.g., Automotive and smart vehicles, Critical systems, Drones, Cloud systems, Robotics) - Self-adaptive systems using dynamic variability techniques (e.g., WSN) - Context variability for IoT software SUBMISSION We solicit short, thought-provoking papers reporting work in progress, industrial experience, and real-world examples. Full papers are also eligible and should report mature research results. Papers should be in formatted according to the standard ACM proceedings style guide, and submitted electronically in PDF format. Papers should not exceed 6 (we recommend 4 pages for short versions). Submissions should be submitted via: https://easychair.org/conferences/?conf=dspl17 Accepted papers of the workshop will be published in the SPLC proceedings. Steering Committe: - Mike Hinchey, Lero-the Irish Software Engineering Research Centre, Limerick, Ireland - Sooyong Park, Sogang University, South Korea - Klaus Schmid, University of Hildesheim, Germany Program Committee: - Raian Ali, Bournemouth University, UK - Eduardo Almeida, Universidade Federal de Bahia, Brasil - Jan Bosch, Chalmers University, Sweden - Vijayan Sugumaran, Oakland University, USA & Sogang University, South Korea - In-Young Ko, KAIST, South Korea - Hassan Gomaa, George Mason University, USA - Jaejoon Lee, Lancaster University, UK - Pete Sawyer, Lancaster University, UK - Douglas C. Schmidt, Vanderbilt University, USA - Danny Weyns, KU Leuven, Belgium - Aitor Murguzur, Microsoft, Spain - Jason Mansell, Tecnalia, Spain - Vicente Pelechano, Technical University of Valencia, Spain - Lidia Fuentes, University of Málaga, Spain - Clement Quinton, Politecnico di Milano, Italy - Bashar Nuseibeh, Open University, UK - Shinichi Honiden, National Institute of Informatics, Japan - Andreas Metzger, Uni Essen, Germany - Franco Zambonelli, Uni Modena-Reggio Emilia, Italy - Patrick Heymans, University of Namur, Belgium - Kim Mens, University of Lovaine, Belgium -- ------------------------------------------------------------------------ Dr. Holger Eichelberger Software Systems Engineering University of Hildesheim Tel.: +49 (0) 5121 / 883-40334 Institute of Computer Science Fax.: +49 (0) 5121 / 883-40331 Universitätsplatz 1 eichelberger at sse.uni-hildesheim.de D-31141 Hildesheim, Germany http://www.uni-hildesheim.de/de/eichelberger.htm PGP public key: https://www.uni-hildesheim.de/media/fb4/informatik/AG_SSE/pgp/sse_he_pubkey.asc PGP fingerprint: 4522 685C 57E5 D0EA D5BA 4EDE C53F 5B9D 9F71 55E7 From announce at cs.ucy.ac.cy Thu Mar 16 12:21:58 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 16 Mar 2017 13:21:58 +0200 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Last Call for Special Sessions Message-ID: *** Last Call for Special Sessions *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBMYXN0IENhbGwgZm9yIFNwZWNpYWwgU2Vzc2lvbnMJNTgJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F *** Firm Deadline: 29th March 2017 *** Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Call for Special Sessions ICCCI 2017 invites proposals for Special Sessions to be held during the conference. They intend to provide researchers in focused areas the opportunity to present and discuss their work, as well as to offer a forum for interaction among a broader community of researchers. A Special Session will consist of a group of papers in a sub-discipline of Computational Collective Intelligence related to the main topics of ICCCI 2017. The papers will be required to meet the same standards as ICCCI 2017 papers and will be published in the conference proceedings, in a bound volume by Springer in their Lecture Notes in Artificial Intelligence series. All the Special Sessions will be centralized as tracks in the same conference submission and reviewing system (EasyChair) as the regular papers. Please send the Special Session proposals with the following information: · Title & acronym of the special session · Brief profiles of special session organizers · General description of the special session scope · List of topics · Proposed Session Program Committee (to be invited) The format for the Special Session proposal should follow the pattern of the template available on the conference web site. The organizers will be responsible for the advertisement and promotion of the Special Sessions and the conference including the Special Sessions webpage preparation. The management of papers review will be achieved by Special Session Committees, using the Conference System (a separate EasyChair track will be provided for each Special Session). The organizers are responsible for managing the review process. All the reviews should be submitted through EasyChair. Each paper should obtain at least two reviews. For Special Sessions issues please contact: Bogdan Trawinski Wroclaw University of Science and Technology, Poland bogdan.trawinski at pwr.edu.pl Important Dates · Special Session proposals: March 29, 2017 (*** firm ***) · Special Session Acceptance: March 31, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jdrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From ingridcy at ifi.uio.no Fri Mar 17 17:28:05 2017 From: ingridcy at ifi.uio.no (Ingrid Chieh Yu) Date: Fri, 17 Mar 2017 16:28:05 +0000 Subject: [fg-arc] [iFM'17] Final CFP for the International Conference on integrated Formal Methods 2017 Message-ID: FINAL CALL FOR PAPERS 13th International Conference on integrated Formal Methods (iFM 2017) ===================================================================== Website: http://ifm2017.di.unito.it/ Twitter: https://twitter.com/iFMconf, @iFMconf Submission: https://easychair.org/conferences/?conf=ifm2017 Important Dates =============== Abstract submission: Tuesday, March 28, 2017 Paper submission: Tuesday, April 4, 2017 Notification: Friday, May 26, 2017 Camera-ready copy: Tuesday, June 11, 2017 Conference: September 20-22, 2017 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Objectives and Scope ==================== Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modeling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Model learning - Theorem proving, decision procedures, SAT and SMT solving Submission Guidelines ===================== iFM 2017 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - Research papers describe original scientific research results, validated by experimental results where applicable. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Limit: 15 pages. - Case study papers report on applications of formal methods, preferably in a real world setting. A case study paper need not introduce novel techniques or tools, but it must include a rigorous empirical evaluation and potentially be of interest to practitioners. Limit: 15 pages. - Regular tool papers present a new tool or novel extensions to an existing tool. They should provide a short description of the theoretical foundations, while focusing on the tool's design and implementation concerns, as well as empirical evaluation of its practical capabilities. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool. Authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 15 pages. - Tool demonstration papers focus on the usage aspects of tools. Foundations and empirical evaluation are not required, but the paper should explain why the tool is relevant for the community, and, in particular, for practitioners. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 8 pages. Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions should be made using the iFM 2017 Easychair website: https://easychair.org/conferences/?conf=ifm2017 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper. Workshops and PhD Symposium =========================== iFM 2017 will be accompanied by a series of workshops and a PhD Symposium. Further information is available from the conference website: http://ifm2017.di.unito.it/ Conference Location =================== iFM 2017 is organized by the University of Turin and will take place in Turin, Italy. — Ingrid Chieh Yu Associate professor Dept. of Informatics, University of Oslo Tel + 47 2284 5525, email ingridcy at ifi.uio.no -------------- next part -------------- An HTML attachment was scrubbed... URL: From Jens.Knodel at iese.fraunhofer.de Sun Mar 19 23:40:55 2017 From: Jens.Knodel at iese.fraunhofer.de (Jens.Knodel at iese.fraunhofer.de) Date: Sun, 19 Mar 2017 22:40:55 +0000 Subject: [fg-arc] Call for Papers 19. Workshop Software-Reengineering & Evolution (WSRE 2017) Message-ID: 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 Ziel des Workshops === Software-Reengineering umfasst alle Aktivitäten, deren Ziel die qualitative Verbesserung, Aufbereitung und Weiterentwicklung von Software ist. Der Aspekt der Evolution großer Softwaresysteme tritt mit dem 16. Workshop erstmals zum reinen Reengineering hinzu. Hauptziel des Workshops Software-Reengineering & Evolution ist die Förderung der Zusammenarbeit unterschiedlicher Arbeitsgruppen aus Forschung und Praxis im Bereich des Software-Reengineering und der Software-Wartung. Alle, die im Umfeld von Software Reengineering, Wartung und Evolution tätig sind, sind herzlich eingeladen, auf diesem Workshop ihre aktuellen Arbeiten vorzustellen. Beiträge aus Reengineering-Projekten in der Praxis sind dabei ebenso willkommen wie die Vorstellung aktueller Forschungsprojekte und -ergebnisse. Mögliche Themen sind beispielsweise === · Methoden und Vorgehensmodelle · Methoden und Modelle für das Software-Reengineering · Prozessmodelle für die Softwaresanierung, -migration und -wartung · Einbettung von Reengineering-Maßnahmen in die Software-Entwicklung · Reengineering-Werkzeuge · Werkzeuge für Programmverstehen, Redokumentation, Softwarevisualisierung, statische und dynamische Programmanalyse, Softwaretest, Software-Wartung, Programm-Transformation · Interoperabilität von Reengineering- und Software- Entwicklungswerkzeugen · Software-Evolution · Prozesse zur Software-Evolution · Vorhersage von Änderungen und Kostenschätzungen · Architekturen und Entwurfsentscheidungen zur Unterstützung von Evolution · Verbesserung/Erhaltung von Qualitäts- und Sicherheitseigenschaften · Software-Migration · Migrationsstrategien und Transformationsansätze · Migration in Service-Orientierte Architektur (SOA) · Migration in Produktlinien-Architekturen · Architektur-Reengineering · Architektur-Erkennung, -Bewertung, -Migration · Software-Qualität · Ansätze zur Bewertung von Softwarequalität · Verbesserung von Softwarequalität durch Reengineering · Wirtschaftlichkeit von Reengineering-Maßnahmen · Organisatorische Einbettung von Reengineering-Maßnahmen · Wirtschaftlichkeitsanalyse von Reengineering-Plänen · Qualitätsmessung von Reengineering-Maßnahmen · Aufwandsabschätzung für Reengineering-Projekte · Praxis-Berichte · Erfahrungsberichte aus Wartungsaktivitäten, Migrations- und Reengineering-Projekten Treffen der Fachgruppe Software-Reengineering === Im Rahmen des Workshops Software-Reengineering & Evolution findet auch die jährliche Sitzung der GI Fachgruppe "Software-Reengineering" statt. Ort und Zeit === Der Workshop findet vom 8. - 10. Mai 2017 im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer erfolgt im Physikzentrum und in umliegenden Hotels. Einreichungen === Als Einreichungen werden erweiterte Kurzfassungen auf bis zu zwei Seiten im Format der Softwaretechnik Trends (http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html) erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE. Die Texte können in deutscher oder englischer Sprache verfasst sein. Sollte die Zahl der Präsentationen zu groß werden, so werden die Organisatoren eine Auswahl treffen. Die Einreichungen werden über die EasyChair-Submission-Page WSRE 2017 entgegen genommen. Termine === Einreichung der Kurzfassungen: 14. April 2017 Benachrichtigung über die Annahme: 21. April 2017 Einreichung der druckfertigen Endfassung: 1. Mai 2017 Anmeldeschluss zur Teilnahme: 1. Mai 2017 Organisation 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 Sun Mar 19 08:47:56 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 19 Mar 2017 09:47:56 +0200 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Fourth Call for Doctoral Consortium Message-ID: *** Fourth Call for Doctoral Consortium *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRm91cnRoIENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JNjUJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fconsortium.html The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including doctoral consortia and workshops. DOCTORAL CONSORTIUM The Doctoral Consortium (DC) is a forum where PhD students can present their research ideas, confront them with the scientific community, receive feedback from mentors, and tie cooperation bounds. Students will receive inspiration from their peers and will have a chance to discuss their research objectives with senior members of the community in the context of an established international conference. The DC session will take place on September 24, in parallel with the workshop sessions. Each participant will present her/his work, followed by a discussion with senior researchers. ELIGIBILITY We seek PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete, or PhD student participants who are in the early stages of their dissertation year. It is not required to have a paper accepted for the main conference in order to participate in the DC. SUBMISSIONS To apply to the DC, please submit a single-authored paper (which will appear in the proceedings of DC), accompanied by a short email from the thesis advisor stating support for your participation in the DC, describing the current status of the thesis research, and giving your expected date of graduation. The papers for DC should be at most 12 pages in Springer format (formatting instructions can be obtained via http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRm91cnRoIENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JNjUJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%29 and describe the state of the whole PhD project, rather than a specific completed result. The paper should outline the objectives, the problem, state of the art, results obtained so far, and what is still to be done in the frame of the PhD project. If an author prefers to present a completed research result, the paper should be submitted to the main conference or one of accompanying workshops. A paper submitted to the DC may not be under review for any other conference or journal during the time it is being considered for the DC. Submissions should be made electronically in PDF format at CMT: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRm91cnRoIENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JNjUJTGlzdHMJMTc4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fcmt3.research.microsoft.com%2FADBISDC2017. In case of multiple files, please submit a single compressed file (zip or rar). After logging into CMT, please choose the "ADBIS 2017 Doctoral Consortium" track. REVIEW PROCESS Each paper submitted to the DC will be reviewed by at least two members of the DC program committee and will be judged based on originality, technical merit, presentation quality, and relevance. The authors of successful submissions must take into account the reviewers' comments during the preparation of the final version and describe the changes in a separate document to be submitted together with the final camera-ready version. The program committee reserves the right to reject a paper if the final version does not meet the requirements above. Applications not adhering to the provided guidelines (including page limits) will not be considered. The authors of accepted papers must register to the conference, attend the DC and present their work. PROCEEDINGS The DC papers will be published by Springer, together with the ADBIS workshops proceedings, in the Advances in Intelligent Systems and Computing series. IMPORTANT DATES · Submission: May 19, 2017 · Acceptance/Rejection Notification: June 30, 2017 · Camera-ready Submission: July 14, 2017 · Doctoral Consortium: September 24, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From Tommaso.Urli at data61.csiro.au Mon Mar 20 00:18:17 2017 From: Tommaso.Urli at data61.csiro.au (Tommaso.Urli at data61.csiro.au) Date: Sun, 19 Mar 2017 23:18:17 +0000 Subject: [fg-arc] [ICLP 2017] Deadline extended to May 2, 2017 Message-ID: <1489965503115.80936@data61.csiro.au> ​************ ABSTRACT REGISTRATION DEADLINE EXTENDED TO April 26 *********** **************** PAPER SUBMISSION DEADLINE EXTENDED TO 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 ----------------------------------------------------------------- - Abstract registration: April 26, 2017 - Paper submission: May 2, 2017 - Notification: June 6, 2017 - Revision submission (TPLP papers): June 20, 2017 - Final notifications (TPLP papers): July 4, 2017 - Camera-ready copy: July 18, 2017 - Conference: Aug 28 / Sep 1, 2017 Submission Details ------------------ All submissions must be made via the EasyChair conference system (https://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 Mar 19 00:36:00 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 19 Mar 2017 00:36:00 +0100 Subject: [fg-arc] DeepLearn 2017: early registration March 24 Message-ID: <545102060a010b01085457030f0a5a5001040c5154570655570a0e0701035b0300575355030d0003045e5754040554@grlmc_ip-zone_com-6> DeepLearn 2017: early registration March 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: March 24, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Bioinformatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Real   Li Erran Li (Columbia University), [intermediate/advanced] Deep 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] Deep Generative Models and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   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 sauer at upb.de Wed Mar 22 14:52:06 2017 From: sauer at upb.de (Stefan Sauer) Date: Wed, 22 Mar 2017 14:52:06 +0100 Subject: [fg-arc] Call for Papers: 8. Workshop Design for Future - Langlebige Softwaresysteme (DFF 2017) Message-ID: 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 ‒ -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5446 bytes Desc: S/MIME Cryptographic Signature URL: From marina.mongiello at poliba.it Wed Mar 22 11:55:12 2017 From: marina.mongiello at poliba.it (Marina Mongiello) Date: Wed, 22 Mar 2017 11:55:12 +0100 Subject: [fg-arc] [Deadline Approaching & Special issue announcing] The first International Workshop on Engineering the Web of Things (EnWoT 2017) Message-ID: <013c01d2a2fa$c9a54160$5cefc420$@poliba.it> CALL FOR PAPERS ** EnWoT 2017 **--**The first International Workshop on Engineering the Web of Things** http://sisinflab.poliba.it/EnWoT/2017/ Held in conjunction with 17th International Conference on Web Engineering (ICWE 2017) 5-8 June, 2017, Rome, Italy http://icwe2017.webengineering.org/index.html ---------------------------------------------------------------------------- - IMPORTANT DATES: Submission: 31 March 2017 Notification: 28 April 2017 Camera-ready: 12 May 2017 Workshop dates: 5 and 8 June 2017 Camera-ready (post proceedings): 24 June 2017 ---------------------------------------------------------------------------- --- The goal of this workshop is to bring the attention of researchers to the opportunities and challenges involved in engineering a web of things. Web technologies (e.g., HTML, JavaScript, Ajax, PHP, Ruby) can be used to build applications involving smart things, on the other hand well-known Web mechanisms are available to interact with and share these devices. As a matter of fact, this calls for architectural styles and patterns that allow real-world objects to be part of the World Wide Web. EnWoT 2017 aims at attracting contributions related to the subject at different levels, from modelling and design to engineering. Foundational contributions, as well as concrete application experiments are sought. The workshop welcomes submissions describing unpublished research, as well as deployment experiences on various topics related to engineering web of things as outlined below. TOPICS: Topics of interested include but are not limited to: - Software architectural styles and patterns for connecting objects to the World Wide Web - Engineering smart objects on the web - Semantic web and Linked open data - Web of Thing and Internet of Everything - Challenges for Big Data and IoT applications - Architectures and Framework for smart devices connection - Other topics relevant to web of thing SUBMISSION: Authors are invited to submit two types of papers, o regular papers of 12 pages and o demo papers of 4 pages . Submitted papers should conform to the Springer LNCS style and should describe, in English, original work that has not been published or submitted for publication elsewhere. A single PDF versions of papers should be submitted electronically via the EasyChair submission page [ https://easychair.org/conferences/?conf=enwot2017]. Post-workshop proceedings to appear in Springer's LNCS series. Submissions will be judged on novelty, relevance, clarity of presentation, and correctness. Authors of accepted submissions are required to present their work. Selected papers will be invited to submit the extended version to a special issue on "Software Architecture for the Web of Things " in the IET Software Journal. ----------------------------------------------------------------------- ORGANIZING COMMITTEE __ Workshop Chairs: o Marina Mongiello, Politecnico di Bari, Italy o Tommaso Di Noia, Politecnico di Bari, Italy o Eugenio Di Sciascio, Politecnico di Bari, Italy __ Publicity Chair: o Francesco Nocera, Politecnico di Bari, Italy __ Program Committee: o Muhammad Ali Babar, University of Adelaide, Australia o Marco Autili, University of L'Aquila, Italy o Stefano Bistarelli, University of Perugia, Italy o Antonio Bucchiarone, Fondazione Bruno Kessler, Italy o Radu Calinescu, University of York, UK o Rafael Capilla, Universidad Rey Juan Carlos, Spain o Patricia Lago, Vrije Universiteit Amsterdam, The Netherlands o Ivano Malavolta, Vrije Universiteit Amsterdam, The Netherlands o Tommi Mikkonen, Tampere University of Technology, Finland o Raffaela Mirandola, Politecnico di Milano, Italy o Henry Muccini, University of L’Aquila, Italy o Diego Pérez, Politecnico di Milano, Italy o Liliana Pasquale, Lero - The Irish Software Engineering Research Centre, Ireland o Azzurra Ragone, University of Milano-Bicocca, Italy o Patrizia Scandurra, University of Bergamo, Italy o Ronny Siebes, Vrije Universiteit Amsterdam, The Netherlands o Romina Spalazzese, Malmö University, Sweden o Danny Weyns, Katholieke Uviversiteit Leuven, Belgium o Uwe Zdun, University of Vienna, Austria EnWoT 2017 Workshop Chairs Marina Mongiello, Tommaso Di Noia and Eugenio Di Sciascio Marina Mongiello, Ph.D., Assistant Professor Dipartimento di Ing. Elettrica ed dell'Informazione, via E. Orabona, 4 I- 70125 , Bari Italy phone: +39 080 5963524 marina.mongiello at poliba.it http://sisinflab.poliba.it/mongiello --- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirus -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Thu Mar 23 04:12:16 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Thu, 23 Mar 2017 03:12:16 +0000 Subject: [fg-arc] [fm-announcements] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions 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, Fraunhofer SIT/Technische University Darmstadt, 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 foclasa2017 at gmail.com Sat Mar 25 19:21:14 2017 From: foclasa2017 at gmail.com (Foclasa Workshop) Date: Sat, 25 Mar 2017 19:21:14 +0100 Subject: [fg-arc] FOCLASA 2017 - First Call for Papers Message-ID: [Apologies in case of multiple posting] ------ FOCLASA 2017: First Call for Papers ------ 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es September 4-10, 2017 (precise date TBA), Trento (Italy) Colocated with SEFM 2017 - http://sefm17.fbk.eu Follow us on Twitter: @foclasa2017 ------------------------------------------------------ FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017). The goal of FOCLASA is to put together researchers and practitioners to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. ------ IMPORTANT DATES ------ June 2, 2017: Deadline for abstract submission June 9, 2017: Deadline for paper submission July 7, 2017: Notifications July, 2017: Final versions (precise date TBA) September 4-10, 2017: Workshop in Trento (precise date TBA) ------ TOPICS OF INTEREST ------ * Theoretical models and frameworks for component and/or service coordination, service composition, adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in decentralized self-adaptive systems and various application domains (Cloud Computing, Internet of Things, Smart cities, Big Data, etc.). * Languages and specification protocols for component and/or service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Models and architectures for Software-as-a-Service (SaaS) cloud systems; dynamic software architectures, such as self-adaptive and self-organizing systems. * Service composition and coordination for Future Internet applications, service orchestration and choreographies, related theories and methods, and possible model-driven development approaches. * Formal methods for self-adaptive systems, stochastic modeling and analysis, reasoning under uncertainty, run-time synthesis. * Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, fault-tolerance analysis, machine learning systems, etc.) In particular, practice, experience and methodologies from the following areas are solicited as well: * Business process modeling * Component-based systems * Service-oriented computing * Cloud computing * Internet of Things * Large-scale distributed systems * Grid computing * Multi-agent systems * Networked embedded systems * Peer-to-peer systems Survey works analysing and comparing literature on the topics of FOCLASA are also welcome. ------ PAPER SUBMISSION ------ Submissions must describe authors' original research work and their results. Description of work-in-progress with concrete results is also encouraged. The contributions should not exceed 15 pages in LNCS style and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2017 All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere is not allowed. All accepted papers will be included in the LNCS Workshop Proceedings of SEFM 2017, to be published by Springer after the workshop. Additionally, and following the tradition of past editions, a special issue of Science in Computer Programming (SCP, Elsevier) will be devoted to the best papers accepted at FOCLASA 2017. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. ------ PROGRAM COMMITTEE CHAIRS ------ * Carlos Canal, University of Malaga, Spain * Gwen Salaun, University of Grenoble Alpes, France ------ PROGRAM COMMITTEE ------ * Pedro Alvarez, Universidad de Zaragoza, Spain * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, EPFL, Switzerland * Radu Calinescu, University of York, UK * Javier Camara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano, Italy * Schahram Dustdar, TU Wien, Austria * Jean-Marie Jacquet, University of Namur, Belgium * Nima Kaviani, IBM, USA * Alberto Lluch Lafuente, Technical University of Denmark * Sun Meng, Peking University, China * Hernan C. Melgratti, University of Buenos Aires, Argentina * Mohammad Mousavi, Halmstad University, Sweden * Marc Oriol, Universitat Politecnica de Catalunya, Spain * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Michael Sheng, University of Adelaide, Australia * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Lina Ye, CentraleSupelec, France * Gianluigi Zavattaro, University of Bologna, Italy ------ PUBLICITY CHAIR ------ * Gianluca Barbon, University of Grenoble Alpes, France ------ WEB CHAIR ------ * Alejandro Perez Vereda, University of Malaga, Spain ------ STEERING COMMITTEE ------ * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Malaga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Malaga, Spain * Gwen Salaun, University of Grenoble Alpes, France From peter.schuller at marmara.edu.tr Fri Mar 24 14:48:05 2017 From: peter.schuller at marmara.edu.tr (Peter =?iso-8859-1?q?Sch=FCller?=) Date: Fri, 24 Mar 2017 16:48:05 +0300 (+03) Subject: [fg-arc] Final CFP LPNMR Doctoral Student Consortium, Espoo, Finland, 3-6 July, 2017 Message-ID: <20170324134805.964CB2C01A4@omsievews> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) -------------------------------------------------------------------------------- LPNMR DC 2017 LPNMR Doctoral Student Consortium to be held at Hanasaari Conference Center, Espoo, Finland, Extact date to be confirmed July 3-6, 2017 http://lpnmr-dc.cs.bath.ac.uk/ https://easychair.org/conferences/?conf=lpnmrdc2017 -------------------------------------------------------------------------------- The LPNMR Doctoral Consortium (DC) is to be held as part of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017) in the Hanasaari Conference Center, Espoo, Finland,July 3-6, 2017. The DC will take place during LPNMR 2017 on a date to be determined. The DC provides a forum for doctoral students working in all areas related to logic programming and non monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts a supportive environment. The 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. LPNMR and its programmatic expression, Answer Set Programming, have roots in the famous special issue of AIJ in 1980, devoted to Nonmonotonic Reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. ** Target Audience ** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. ** Application Process ** An application for participation in the LPNMR DC 2017 consists of a cover sheet, an extended abstract of your (intended) research, a vita, a personal statement and a letter of recommendation (e.g., from your supervisor). All applications must be in English and submitted electronically via EasyChair (https://easychair.org/conferences/?conf=lpnmrdc2017) by 4 April 2017. Detailed submission instructions are provided at the LPNMR DC 2017 website: http://lpnmr-dc.cs.bath.ac.uk/ Applications will be reviewed based on several factors including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will follow at a later date. ** Important Dates ** Application Submission: 4 April 2017 Notification: 1 May 2017 Camera-ready Version: 22 May 2017 Doctoral Consortium: During LPNMR, exact date to be confirmed. LPNMR: 3-6 July 2017 ** Organization ** - Program Committee: - Pedro Cabalar University of Corunna - Esra Erdem Sabanci University - Yuliya Lierler University of Nebraska at Omaha - Alessandra Mileo Dublin City University - Alessandra Russo Imperial College London - Hans Tompits Vienna University of Technology - Stefan Woltran Vienna University of Technology - Program Chair: Marina De Vos, University of Bath (M.D.Vos at bath.ac.uk) Website: http://lpnmr-dc.cs.bath.ac.uk/ (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From announce at cs.ucy.ac.cy Sat Mar 25 09:15:09 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 25 Mar 2017 10:15:09 +0200 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Sixth Call for Papers Message-ID: *** Sixth 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2l4dGggQ2FsbCBmb3IgUGFwZXJzCTY4CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F *** Submission Deadline: 17 April 2017 (extended) *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2l4dGggQ2FsbCBmb3IgUGFwZXJzCTY4CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogU2l4dGggQ2FsbCBmb3IgUGFwZXJzCTY4CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&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 17, 2017 (extended) · 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 grlmc at grlmc.com Sun Mar 26 17:54:12 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 26 Mar 2017 17:54:12 +0200 Subject: [fg-arc] AlCoB 2017: call for posters Message-ID: <545102060a010b01085e530401045a06515e565003055403505500520552560203560c050b09515752545507525004@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 steffen.becker at informatik.uni-stuttgart.de Fri Mar 31 10:13:26 2017 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Fri, 31 Mar 2017 10:13:26 +0200 Subject: [fg-arc] =?utf-8?q?Mehrere_Stellen_als_Wissenschaftliche_Mitarbei?= =?utf-8?q?terin/_Wissenschaftlicher_Mitarbeiter_=28Vollzeit=2C_TV-L_13=29?= =?utf-8?q?=2C_Institut_f=C3=BCr_Softwaretechnik=2C_Universit=C3=A4t_Stutt?= =?utf-8?q?gart?= Message-ID: Mit der freundlichen Bitte um Weiterleitung an geeignete Kandidaten und Entschuldigung für Mehrfachzustellungen. === Mehrere Stellen als Wissenschaftliche Mitarbeiterin/ Wissenschaftlicher Mitarbeiter (Vollzeit, TV-L 13), Institut für Softwaretechnik, Universität Stuttgart === Wer sind wir? ------------- Wir, die Abteilung Zuverlässige Softwaresysteme des Institutes für Softwaretechnologie, setzen uns primär mit der Erfüllung nicht-funktionaler Anforderungen, wie Performance, Zuverlässigkeit oder Wartbarkeit, idealerweise bereits zur Entwurfszeit von Systemen auseinander. Eine solche Anforderungserfüllung ist zwingende Voraussetzung vertrauenswürdiger Systeme. Dabei werden Systeme modellbasiert oder modellgetrieben spezifiziert und analysiert. Dazu kommen unter anderem Sprachen wie die UML2 (Unified Modeling Language, v2.x) und DSLs (Domänenspezifische Sprachen) zum Einsatz. Die modellierten Systeme werden dann analysiert und auf ihre Eigenschaften hin untersucht bzw. mittels Laufzeitmessungen beobachtet und ggf. angepasst. Was bieten wir? --------------- In unserem Team haben Sie neben Ihren Aufgaben in der Forschung und der Lehre an der Professur die Möglichkeit, sich eigenständig in ein Thema einzuarbeiten, Forschungstrends zu setzen und beim Aufbau einer international vernetzten Professur mitzuwirken. Ihre Forschungsergebnisse nutzen Sie für wissenschaftliche Veröffentlichungen und die eigene Qualifizierung. Es handelt sich um eine Stelle zur wissenschaftlichen Weiterqualifikation insbesondere durch Promotionen. Was erwarten wir? ----------------- Von potentiellen Bewerber(innen) erwarten wir neben der Bereitschaft, selbständig an den Zielen der Professur mitzuwirken auch Erfahrungen mit Softwaretechnik in Praxis oder Lehre. Vorteilhaft sind Kenntnisse im Entwurf und der Modellierung von Software, vorzugsweise mit UML2 oder Eclipse EMF-basierten Sprachen, sowie Interesse an Softwarequalitätsbewertung (Performance, Skalierbarkeit, Wartbarkeit, etc.) oder Erfahrungen mit verteilten Infrastrukturen. Daneben wird erwartet, die Professur auf internationalen Konferenzen und in der Lehre in Deutsch und Englisch vertreten zu können. Voraussetzung ist der Abschluss eines wissenschaftlichen Hochschulstudiums mit überdurchschnittlichem Ergebnis im Bereich Informatik (Master oder Diplom) oder eines vergleichbaren Studiengangs. Die Universität Stuttgart möchte den Anteil der Frauen im wissenschaftlichen Bereich erhöhen und ist deshalb an Bewerbungen von Frauen besonders interessiert. Schwerbehinderte werden bei gleicher Eignung vorrangig eingestellt und die Einstellung der wissenschaftlichen Mitarbeiter/innen erfolgt durch die Zentrale Verwaltung. Bewerbungen mit den üblichen Unterlagen werden gern in elektronischer Form als einzelne PDF-Datei erbeten. Unterlagen einreichen bei: steffen.becker at iste.uni-stuttgart.de Zeitraum der Beschäftigung: nach Vereinbarung Bewerbungsfristende: Freitag, 21. April 2017 - 23:59 ---- Abteilungsleiter: Prof. Dr.-Ing. S. Becker Sekretariat: Frau Ibach Kontakt: Universität Stuttgart Institut für Softwaretechnologie Abteilung Zuverlässige Softwaresysteme Universitätsstr. 38 70569 Stuttgart T 0711 685-88273 F 0711 685-88472 E-Mail: steffen.becker at iste.uni-stuttgart.de URL: http://www.iste.uni-stuttgart.de/rss/ -- -- 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 ingridcy at ifi.uio.no Fri Mar 31 15:51:21 2017 From: ingridcy at ifi.uio.no (Ingrid Chieh Yu) Date: Fri, 31 Mar 2017 13:51:21 +0000 Subject: [fg-arc] [iFM'17] Deadline Extension for the International Conference on integrated Formal Methods 2017 Message-ID: <2DADC866-A923-45C6-B371-0423A8CEDC98@ifi.uio.no> Due to a number of requests, we have generously extended the deadline for iFM. Here are the new dates: NEW Abstract submission: Tuesday, April 20, 2017 NEW Paper submission: Tuesday, April 27, 2017 NEW Notification: Friday, June 2, 2017 Please find the full updated call for papers below. We are looking forward to receiving your contributions! CALL FOR PAPERS - EXTENDED DEADLINES 13th International Conference on integrated Formal Methods (iFM 2017) ===================================================================== Website: http://ifm2017.di.unito.it/ Twitter: https://twitter.com/iFMconf, @iFMconf Submission: https://easychair.org/conferences/?conf=ifm2017 Important Dates =============== NEW Abstract submission: Tuesday, April 20, 2017 NEW Paper submission: Tuesday, April 27, 2017 NEW Notification: Friday, June 2, 2017 Camera-ready copy: Tuesday, June 11, 2017 Conference: September 20-22, 2017 Deadlines expire at 23:59 American Samoa Time on the dates displayed above. Objectives and Scope ==================== Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modeling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Model learning - Theorem proving, decision procedures, SAT and SMT solving Submission Guidelines ===================== iFM 2017 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - Research papers describe original scientific research results, validated by experimental results where applicable. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Limit: 15 pages. - Case study papers report on applications of formal methods, preferably in a real world setting. A case study paper need not introduce novel techniques or tools, but it must include a rigorous empirical evaluation and potentially be of interest to practitioners. Limit: 15 pages. - Regular tool papers present a new tool or novel extensions to an existing tool. They should provide a short description of the theoretical foundations, while focusing on the tool's design and implementation concerns, as well as empirical evaluation of its practical capabilities. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool. Authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 15 pages. - Tool demonstration papers focus on the usage aspects of tools. Foundations and empirical evaluation are not required, but the paper should explain why the tool is relevant for the community, and, in particular, for practitioners. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 8 pages. Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions should be made using the iFM 2017 Easychair website: https://easychair.org/conferences/?conf=ifm2017 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper. Workshops and PhD Symposium =========================== iFM 2017 will be accompanied by a series of workshops and a PhD Symposium. Further information is available from the conference website: http://ifm2017.di.unito.it/ Conference Location =================== iFM 2017 is organized by the University of Turin and will take place in Turin, Italy. — Ingrid Chieh Yu Associate professor Dept. of Informatics, University of Oslo Tel + 47 2284 5525, email ingridcy at ifi.uio.no -------------- next part -------------- An HTML attachment was scrubbed... URL: