From peter.schuller at marmara.edu.tr Fri Sep 2 14:27:18 2016 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Fri, 2 Sep 2016 15:27:18 +0300 (EEST) Subject: [fg-arc] ICLP 2016 Call for Participation - Early Registration deadline Mon Sep 5, 2016 Message-ID: <20160902122718.23E152C0120@omsievews> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) Call For Participation 32nd International Conference on Logic Programming New York City, USA October 16-21, 2016 http://software.imdea.org/Conferences/ICLP2016/ *** Early registration deadline: September 5. *** News: - The list of accepted papers is available online: http://software.imdea.org/Conferences/ICLP2016/accepted.html - Invited talks: * Arun Majumdar: One Billion Dollars, Global Warming and Logic Programming. * Francesca Rossi: Embedding Ethical Principles in Decision Support Systems: Can (Constraint) Logic Programming Play a Role? - Tutorials: * Michael Kifer, Theresa Swift and Benjamin Grosof: Practical Knowledge Representation and Reasoning in Ergo. * Yuliya Lierler: Relating Constraint Answer Set Programming and Satisfiability Modulo Theories. - Autumn School on Computational Logic: http://iclp16school.webs.upv.es/ * Roman Bartak: Constraint Logic Programming * Veronica Dahl: Language processing through logic grammars and constraints * Torsten Schaub: Answer Set Programming: foundations and applications * C.R.Ramakrishnan: Verification and probabilistic logic programming - Sponsors: * The Association for Logic Programming: http://logicprogramming.org/ * LogicBlox, Inc: http://www.logicblox.com/ * Semantic Systems: http://www.semantic-systems.com/ * UT Dallas: http://www.utdallas.edu/ Conference Scope Since the first conference held in Marseille in 1982, ICLP has been the pre- mier 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 Han- dling 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, Soft- ware 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 Early Registration Deadline: September 5, 2016 Conference: October 16-21, 2016 Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng-Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben-Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven - University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot-Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia-Huai You University of Alberta, Canada Workshops The ICLP 2016 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 opportuni- ties for intensive discussions and project collaboration. Autumn School on Computational Logic Students and researchers are invited to participate in the Autumn School with the following tutorials: * Roman Bartak: Constraint Logic Programming * Veronica Dahl: Language processing through logic grammars and constraints * Torsten Schaub: Answer Set Programming: foundations and applications * C.R.Ramakrishnan: Verification and probabilistic logic programming Information on scholarships can be found on the homepage: http://iclp16school.webs.upv.es/ Doctoral Consortium The Twelfth Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc- tions, 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. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city's heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush- ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world's largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two-minute walk from the Flushing-Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP), LogicBlox Inc., Semantic Systems, and UT Dallas. Financial Assistance The Association for Logic Programming has funds to assist financially disad- vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From announce at cs.ucy.ac.cy Sun Sep 4 11:29:14 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 4 Sep 2016 12:29:14 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Fifth Call for Papers Message-ID: ** Fifth Call for Papers *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpZnRoIENhbGwgZm9yIFBhcGVycwk2MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. Why you should submit to ACM IUI: At ACM IUI, we focus on the interaction between machine intelligence and human intelligence. While other conferences focus on one side or the other, we address the complex interaction between the two. We welcome research that explores how to make the interaction between computers and people smarter, which may leverage solutions from data mining, knowledge representation, novel interaction paradigms, and emerging technologies. We strongly encourage submissions that discuss research from both HCI and AI simultaneously, but also welcome works that focus more on one side or the other. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. Submission Full and Short Papers We invite original paper submissions that describe novel user interfaces, applications, interactive and intelligent technologies, empirical studies, or design techniques. IUI 2017 especially encourages submissions on innovative and visionary new concepts or directions for the design of intelligent interfaces. We do not require evaluations with users, but we do expect papers to include an appropriate evaluation for their stated contribution. Accepted papers will appear in the ACM Digital Library and citation indices. A selected set of accepted top quality full papers will be invited to submit their extended versions for publication in an ACM Transactions on Interactive Intelligent Systems (TiiS, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpZnRoIENhbGwgZm9yIFBhcGVycwk2MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Ftiis.acm.org%29 special issue titled "Highlights of IUI 2017". Examples of ACM IUI topics of interest include, but are not limited to: · Intelligent visualization tools · User-Adaptive interaction and personalization · Recommender systems · Intelligent wearable, mobile and ubiquitous interfaces · Modeling and prediction of user behavior · Information retrieval and search · Education and learning-related technologies · Social media analysis · Multi-modal interfaces (speech, gestures, eye gaze, face, physiological information etc.) · Natural language and speech processing · Generation of multimodal content · Big Data and analytics · Smart environments and tangible computing · Intelligent assistants for complex tasks · Collaborative interfaces · Persuasive and assistive technologies in IUI · Affective and aesthetic interfaces · Interactive machine learning · Planning and plan recognition for IUI · Knowledge-based approaches to user interface design and generation · Proactive and agent-based user interaction · Example-and demonstration-based interfaces · Evaluations of intelligent user interfaces Submission Guidelines · Full paper (anonymized 10 pages, references do not count toward the page limit) should make substantial, novel, and relevant contribution to the field. · Short paper (anonymized 4 pages, references do not count toward the page limit) is a much more focused and succinct contribution to the field. Short papers are not expected to include a discussion of related work that is as broad and complete as that of full papers. · Anonymization: ACM IUI uses a double-blind review process. All submissions must be appropriately anonymized according to the following guidelines: 1. Author's names and affiliations are not visible anywhere in the paper. 2. Acknowledgements should be anonymized or removed during the review process. 3. Self-citations should be included where necessary, but must use the third person. For example, "... as shown in our previous user study [2] ..." is not allowed, whereas "... as shown in Smith et al. [2] " is acceptable (because in this case the citation [2] will NOT be perceived as self-citation). Failure to follow these guidelines may results in submissions being rejected without review. Submissions should follow the standard SigCHI format available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpZnRoIENhbGwgZm9yIFBhcGVycwk2MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2F . You may use either the Microsoft Word template or the LaTeX template. Accepted full papers will be invited for oral presentation. Accepted short papers will be invited either as oral or poster presentation, depending on the quality of the papers. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Important Dates · Abstracts: October 9, 2016 · Full and Short Papers: October 14, 2016 · Reviews to Authors: November 21, 2016 · Rebuttals: November 25, 2016 · Notification of Decisions: December 9, 2016 Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Sep 3 16:07:25 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 3 Sep 2016 17:07:25 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Second Call for Tutorial Proposals Message-ID: *** Second Call for Tutorial Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFNlY29uZCBDYWxsIGZvciBUdXRvcmlhbCBQcm9wb3NhbHMJNjEJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite tutorial proposals. Tutorials offer the community an opportunity to learn about the state-of-the-art concepts and techniques and allow the presenters to share their expertise. We invite proposals from active researchers and experienced presenters. Ideally, a tutorial will cover the state-of-the-art research and development in a specific area strongly related to IUI. Tutorials on interdisciplinary areas, novel or fast growing directions, and significant practical applications are also encouraged. Each accepted tutorial will receive one free IUI 2017 registration. Submission Guidelines The proposals should be PDF documents not exceeding 3 pages, submitted by e-mail to the tutorial chairs at: tutorial2017 at iui.acm.org. We encourage prospective presenters to contact the tutorial chairs in advance and discuss their tutorial ideas. Each tutorial proposal should provide the following information: · Name and title: Your name, the tutorial title and the expected length of your tutorial (up to half a day). · Description of tutorial topic and goal: Detailed outline of the tutorial, along with descriptions of the objectives, its relevance to IUI, benefits to the attendees, and course materials/handouts (links to online materials encouraged). · Organizers: Name, email address, and affiliation of each presenter. Note that each listed presenter must register for the conference and be present at the tutorial. · Target audience and prerequisites: Target audience level (introductory, intermediate, advanced) and prerequisite knowledge or skills. · Experience: Tutors' short bios and their expertise related to the tutorial, including history of previously given tutorials. · Equipment and software requirement: please list any that will be needed. Important Dates · Tutorial Proposals: October 21, 2016 · Decisions Sent: November 21, 2016 Tutorials Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Sep 4 15:30:03 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 4 Sep 2016 16:30:03 +0300 Subject: [fg-arc] FM 2016: 21st International Symposium on Formal Methods -- Call for Participation Message-ID: ---------------------------------------------------------------------------------- **** CALL FOR PARTICIPATION **** FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016 fm2016.cs.ucy.ac.cy Early Registration Deadline: 6 October 2016 ---------------------------------------------------------------------------------- FM 2016, the 21st International Symposium on research and practice in Formal Methods, will be held this year on the ancient and beautiful Mediterranean island of Cyprus. Every 18 months, the FM symposium attracts practitioners and researchers from industry and academia to present and discuss the most recent results and experience in formal methods. Those who join us in Cyprus this year will enjoy a highly selective programme of papers covering the broad range of formal methods, as well as a featured track on industry practice. Workshops will provide an opportunity to work in smaller groups on current challenges; tutorials will allow the acquisition of new skills; and a doctoral symposium will offer advice and encouragement to researchers just beginning their careers in this exciting and rapidly evolving field. The conference will take place in Limassol, Cyprus. Limassol is the second largest city in Cyprus. It is located on the south coast of the island, between the ancient towns of Amathus and Kourion. Limassol is renowned for its extensive cultural traditions, and it offers a wide spectrum of activities and a number of museums and archaeological sites to the interested visitor. Indeed, this richly cultured, cosmopolitan, seaside city has become one of the most important tourism destinations in Cyprus. The venue of the summer school will be the 5-star St. Raphael Resort, located on one of the most renowned and largest beaches, only a short coastal drive from the lively centre of Limassol. REGISTRATION You can register at the FM 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlGTSAyMDE2OiAyMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEZvcm1hbCBNZXRob2RzIC0tIENhbGwgZm9yIFBhcnRpY2lwYXRpb24JNjUJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fregistration.html HIGHLIGHTS - 44 regular papers and ten short papers reflecting the current state of research and practice in formal methods, including a track on industry practice - Three world-class keynote speakers - A Doctoral Symposium, six specialist workshops and eight tutorials - Presentation of the first FME Lucas Award for a Highly Influential Publication - Launch of Springer's new LNCS Formal Methods subline KEYNOTE SPEAKERS - Manfred Broy, Technical University of Munich, Germany - Peter O'Hearn, University College London and Facebook, UK - Jan Peleska, University of Bremen and Verified Software International, Germany WORKSHOPS (http://fm2016.cs.ucy.ac.cy/workshops.html) - ESSS 2016: 5th International Workshop on Engineering Safety and Security Systems - F-IDE 2016: 3rd Workshop on Formal Integrated Development Environment - FM-Priv 2016: 1st Workshop on Formal Methods for Privacy - Overture 2016: 14th Overture Workshop - TLA+ 2016: International Workshop on the TLA+ Method and Tools - USE 2016: 2nd Workshop on Usages of Constraint Solving and Symbolic Execution DOCTORAL SYMPOSIUM (http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html) This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. - Keynote Speaker: John S. Fitzgerald, Newcastle University, UK TUTORIALS (http://fm2016.cs.ucy.ac.cy/tutorials.html ) - Abstraction and Rely/Guarantee Thinking Tutors: Cliff Jones, Newcastle University, UK; Ian Hayes, University of Queensland, AU - Compositional Verification using AADL and the Assume Guarantee Reasoning Environment (AGREE) Tutor: Michael Whalen, University of Minnesota, USA - Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools Tutors: John Fitzgerald, Newcastle University, UK; Peter Gorm Larsen, Aarhus University, DK; Jim Woodcock, University of York, UK; Ken Pierce, Newcastle University, UK; Simon Foster, University of York, UK - First-Order Theorem Proving and Vampire Tutors: Laura Kovacs, Chalmers University of Technology, SE; Andrei Voronkov, University of Manchester, UK - KeYmaera X Tutorial - Tactics and Proofs for Cyber-Physical Systems Tutors: Stefan Mitsch, Carnegie Mellon University, USA; Nathan Fulton, Carnegie Mellon University, USA; André Platzer, Carnegie Mellon University, USA - Modelling and Analysis of Collective Adaptive Systems Tutors: Jane Hillston, University of Edinburgh, UK; Michele Loreti, Università di Firenze, IT - Session Types for Concurrent and Distributed Programming: Principles and Practice Tutors: Raymond Hu, Imperial College London, UK; Jorge A. Pérez, University of Groningen, NL; Nobuko Yoshida, Imperial College London, UK - The CProver Suite of Verication Tools Tutors: Daniel Kroening, University of Oxford, UK; Martin Brain, University of Oxford, UK; Peter Schrammel, University of Sussex, UK ACCEPTED PAPERS (Research Track) Li Li, Jun Sun and Jin Song Dong. Automated Verification of Timed Security Protocols with Clock Drift Victor B. F. Gomes and Georg Struth. Modal Kleene Algebra Applied to Program Correctness Artem Khyzha, Alexey Gotsman and Matthew Parkinson. A Generic Logic for Proving Linearizability Antonio E. Flores Montoya. Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter and Andrius Velykis. An algebra of synchronous atomic steps Zhe Hou, David Sanan, Alwen Tiu, Yang Liu and Koh Chuen Hoa. An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva and David ?afránek. A Model Checking Approach to Discrete Bifurcation Analysis Mahieddine Dellabani, Saddek Bensalem, Jacques Combaz and Marius Bozga. Local Planning of Multiparty Interactions with a Bounded Horizon Adel Djoudi, Sébastien Bardin and Éric Goubault. Recovering high-level conditions from binary programs Thomas Letan, Pierre Chifflier, Guillaume Hiet, Benjamin Morin and Ludovic Mé. SpecCert: Verifying Hardware-based Security Enforcement Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews and Thomas Tuerk. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor Dimitra Giannakopoulou, Dennis Guck and Johann Schumann. Exploring Model Quality for ACAS X Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening and Tom Melham. Equivalence Checking of a Floating-point Unit Against a High-level C Model Yusuke Kawamoto, Fabrizio Biondi and Axel Legay. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow Bat-Chen Rothenberg and Orna Grumberg. Sound and Complete Mutation-Based Program Repair Miran Hasanagic, Peter Gorm Larsen, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl. Formalising and Validating the Interface Description in the FMI standard Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin and Zhiming Liu. A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems Ofer Strichman and Maor Veitsman. Regression Verification for unbalanced recursive functions Cristina David, Pascal Kesseli, Daniel Kroening and Matt Lewis. Danger Invariants Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang and Naijun Zhan. Approximate Bisimulation and Discretization of Hybrid CSP Tsutomu Kobayashi, Fuyuki Ishikawa and Shinichi Honiden. Refactoring Refinement Structures of Event-B Machines Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang. Towards Concolic Testing for Hybrid Systems Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad and Naijun Zhan. Validated Simulation-Based Verification of Delayed Differential Dynamics Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo and Wei-Ngan Chin. Automated Mutual Explicit Induction Proof in Separation Logic Stanislav Böhm, Ond?ej Meca and Petr Jancar. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI Christoph-Simon Senjak and Martin Hofmann. An Implementation of Deflate in Coq Gudmund Grov, Yuhui Lin and Vytautas Tumas. Mechanised Verification Patterns for Dafny Heinrich Ody, Martin Fränzle and Michael R. Hansen. Discounted Duration Calculus Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng and Harald Ruess. Compositional Parameter Synthesis Ori Lahav and Viktor Vafeiadis. Explaining Relaxed Memory Models with Program Transformations Amirhossein Vakili and Nancy Day. Finite Model Finding Using the Logic of Equality with Uninterpreted Functions Saksham Chand, Annie Liu and Scott Stoller. Formal Verification of Multi-Paxos for Distributed Consensus Aleksandar S. Dimovski, Claus Brabrand and Andrzej Wasowski. Finding Suitable Variability Abstractions for Family-Based Analysis Anton Wijs, Thomas Neele and Dragan Bosnacki. GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking Pedro Antonino, Thomas Gibson-Robinson and Bill Roscoe. Tighter Reachability Criteria for Deadlock-Freedom Analysis Yuqi Chen, Christopher M. Poskitt and Jun Sun. Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation Gilles Nies, Holger Hermanns, Marvin Stenger, Morten Bisgaard, David Gerhardt and Jan Kr?ál. Battery-Aware Scheduling in Low Orbit: The GomX-3 Case Alessandro Cimatti, Sergio Mover and Mirko Sessa. From Electrical Switched Networks to Hybrid Automata Claudio Menghi, Paola Spoletini and Carlo Ghezzi. Dealing with Incompleteness in Automata-based Model Checking Parosh Aziz Abdulla, Mohamed Faouzi Atig and Bui Phi Diep. Counter-Example Guided Program Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson. Decoupled simulating abstractions of non-linear ordinary differential equations Georgios Giantamidis and Stavros Tripakis. Learning Moore Machines from Input-Output Traces Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher and Thomas Wies. Error Invariants for Concurrent Traces ACCEPTED PAPERS (Industry Track - http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlGTSAyMDE2OiAyMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEZvcm1hbCBNZXRob2RzIC0tIENhbGwgZm9yIFBhcnRpY2lwYXRpb24JNjUJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fcfpindustrytrack.html%29 Teodor Stoenescu, Alin Stefanescu, Sorina Predut and Florentin Ipate. RIVER: A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna and Stefano Tonetta. Model-Based Design of an Energy-System Embedded Controller using Taste Bjørnar Luteberget, Christian Johansen, Claus Feyling and Martin Steffen. Rule-based Incremental Verification Tools Applied to Railway Designs and Regulations Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun. Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz and Henrik Lönn. Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha. Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sat Sep 10 10:53:45 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 10 Sep 2016 10:53:45 +0200 Subject: [fg-arc] LATA 2017: 2nd call for papers Message-ID: <545102060a010b02065451060f035a0306560c0051050551050b0d5752065b070102530f0108550301050006530005@grlmc_ip-zone_com-6> LATA 2017: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2017   Umeå, Sweden   March 6-10, 2017   Organized by:             Department of Computing Science Umeå University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2017/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2017 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Franz Baader (Technical University of Dresden), Approximately Description Logics   Thomas Eiter (Technical University of Vienna), tba   Michael R. Fellows (University of Bergen), On Some Finiteness Theorems about Formal Languages   Georg Gottlob (University of Oxford), Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data   Thomas Wilke (University of Kiel), Backward Deterministic omega-Automata   PROGRAMME COMMITTEE:   Eric Allender (Rutgers University, Piscataway, US) Amihood Amir (Bar-Ilan University, Ramat Gan, IL) Christel Baier (Technical University of Dresden, DE) Armin Biere (Johannes Kepler University Linz, AT) Avrim Blum (Carnegie Mellon University, Pittsburgh, US) Ondřej Bojar (Charles University in Prague, CZ) Jin-Yi Cai (University of Wisconsin, Madison, US) Liming Cai (University of Georgia, Athens, US) Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT) Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) Rod Downey (Victoria University of Wellington, NZ) Frank Drewes (Umeå University, SE) Zoltán Fülöp (University of Szeged, HU) Gregory Z. Gutin (Royal Holloway, University of London, UK) Lane A. Hemaspaandra (University of Rochester, US) Dorit S. Hochbaum (University of California, Berkeley, US) Deepak Kapur (University of New Mexico, Albuquerque, US) Marek Karpinski (University of Bonn, DE) Joost-Pieter Katoen (RWTH Aachen University, DE) Evangelos Kranakis (Carleton University, Ottawa, CA) Lars M. Kristensen (Bergen University College, NO) Kim G. Larsen (Aalborg University, DK) Axel Legay (INRIA, Rennes, FR) Leonid Libkin (University of Edinburgh, UK) Carsten Lutz (University of Bremen, DE) João Marques Silva (University of Lisbon, PT) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Mitsunori Ogihara (University of Miami, Coral Gables, US) Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT) David Parker (University of Birmingham, UK) Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US) Doron A. Peled (Bar-Ilan University, Ramat Gan, IL) Dominique Perrin (Paris-Est Marne-la-Vallée University, FR) Jean-Éric Pin (Paris Diderot University, FR) Sanguthevar Rajasekaran (University of Connecticut, Storrs, US) Bruce Reed (McGill University, Montréal, CA) Wojciech Rytter (University of Warsaw, PL) Kunihiko Sadakane (University of Tokyo, JP) Davide Sangiorgi (University of Bologna, IT) Helmut Seidl (Technical University of Munich, DE) Jens Stoye (Bielefeld University, DE) Wing-Kin Sung (National University of Singapore, SG) Dimitrios M. Thilikos (CNRS, LIRMM, FR & National and Kapodistrian University of Athens, GR) Ioannis G. Tollis (University of Crete, Heraklion, GR) Bianca Truthe (University of Giessen, DE) Frits Vaandrager (Radboud University, Nijmegen, NL) Rob van Glabbeek (CSIRO, Sydney, AU)   ORGANIZING COMMITTEE:   Yonas Demeke (Umeå) Frank Drewes (Umeå, co-chair) Petter Ericson (Umeå) Anna Jonsson (Umeå) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) Niklas Zechner (Umeå)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Information and Computation (Elsevier, 2015 JCR impact factor: 0.873) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/LATA2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: October 21, 2016 Notification of paper acceptance or rejection: November 25, 2016 Final version of the paper for the LNCS proceedings: December 5, 2016 Early registration: December 5, 2016 Late registration: February 20, 2017 Submission to the journal special issue: June 10, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   LATA 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Umeå universitet Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Wed Sep 14 11:34:07 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Wed, 14 Sep 2016 09:34:07 +0000 Subject: [fg-arc] ACM/SPEC ICPE 2017 - 3rd Call for Papers Message-ID: <606AAF36-AD24-40F6-BDD0-9C470EA59503@usi.ch> ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Research and Industrial / Experience Abstracts: Sep 23, 2016 Research and Industrial / Experience Papers: Sep 30, 2016 Research and Industrial / Experience Paper Notification: Nov 18, 2016 Work-in-Progress/Vision Papers: Nov 25, 2016 Workshop Proposals: Nov 05, 2016 Workshop Proposal Notification: Nov 19, 2016 Dates for tutorials, posters and demos will be announced. ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. This year's main theme is cost-effective performance engineering, where cost has a wide interpretation including measures such as effort and energy in addition to traditional performance measures. Topics of interest include, but are not limited to: Performance modeling of software * Languages and ontologies * Methods and tools * Relationship/integration/tradeoffs with other QoS attributes * Analytical, simulation and statistical modeling methodologies * Model validation and calibration techniques * Automatic model extraction * Performance modeling and analysis tools Performance and software development processes/paradigms * Software performance patterns and anti-patterns * Software/performance tool interoperability (models and data interchange formats) * Performance-oriented design, implementation and configuration management * Software Performance Engineering and Model-Driven Development * Gathering, interpreting and exploiting software performance annotations and data * System sizing and capacity planning techniques * (Model-driven) Performance requirements engineering * Relationship between performance and architecture * Collaboration of development and operation (DevOps) for performance * Performance and agile methods * Performance in Service-Oriented Architectures (SOA) * Performance of micro-service architectures and containers Performance measurement, monitoring and analysis * Performance measurement and monitoring techniques * Analysis of measured application performance data * Application tracing and profiling * Workload characterization techniques * Experimental design * Tools for performance testing, measurement, profiling and tuning Benchmarking * Performance metrics and benchmark suites * Benchmarking methodologies * Development of parameterizable, flexible benchmarks * Benchmark workloads and scenarios * Use of benchmarks in industry and academia Run-time performance management * Use of models at run-time * Online performance prediction * Autonomic resource management * Utility-based optimization * Capacity management Power and performance, energy efficiency * Power consumption models and management techniques * Tradeoffs between performance and energy efficiency * Performance-driven resource and power management Performance modeling and evaluation in different environments and application domains * Web-based systems, e-business, Web services * Big data systems, data analytics systems, and other data analysis systems * Internet of Things * Social networks * Cyber-physical systems * Industrial Internet (Industry 4.0) * Virtualization and cloud computing * Autonomous/adaptive systems * Transaction-oriented systems * Communication networks * Parallel and distributed systems * Embedded systems * Multi-core systems * Cluster and grid computing environments * High performance computing * Event-based systems * Real-time and multimedia systems * Peer-to-peer, mobile and wireless systems All other topics related to performance of software and systems. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers are solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions to all tracks need to be uploaded to ICPE's submission system and conform to the ACM submission format. For detailed submission instructions, please visit: https://icpe2017.spec.org/submissions.html. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference, there will be a call for a special issue of a journal. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) Amy Apon, Clemson University Martin Arlitt, HP Labs and University of Calgary Alberto Avritzer, Performance Engineering Consultant Steffen Becker, University of Technology Chemnitz Robert Birke, IBM Zurich Research Laboratory Andre B. Bondi, Software Performance and Scalability Consulting LLC Niklas Carlsson, Linkoping University Lydia Y. Chen, IBM Zurich Research Laboratory Lucy Cherkasova, HP Labs Antinisca Di Marco, Università dell'Aquila Wilhelm Hasselbring, Kiel University Alexandru Iosup, Delft University of Technology Evangelia Kalyvianaki, City University London Samuel Kounev, University of Wuerzburg Heiko Koziolek, ABB Corporate Research Diwakar Krishnamurthy, University of Calgary Patrick Lee, The Chinese University of Hong Kong Catalina M. Lladó, Universitat Illes Balears Lei Lu, VMware Andrea Marin, University of Venice Daniel Menasce, George Mason University Daniel S. Menasché, Federal Univ. of Rio de Janeiro José Merseguer, Universidad de Zaragoza Ningfang Mi, Northeastern University Raffaela Mirandola, Politecnico di Milano Manoj Nambiar, Tata Consultancy Services Dorina Petriu, Carleton University Denys Poshyvanyk, College of William and Mary Ralf Reussner, Karlsruhe Institute of Technology Alma Riska, Network Appliances Jerry Rolia, HP Labs Rekha Singhal, Tata Consultancy Services Mirco Tribastone, IMT Institute for Advanced Studies Catia Trubiani, Gran Sasso Science Institute Petr Tuma, Charles University Ana Lucia Varbanescu, University of Amsterdam Enrico Vicario, University of Florence Katinka Wolter, Freie Universitaet zu Berlin Murray Woodside, Carleton University Feng Yan, University of Nevada-Reno Xiaoyun Zhu, Futurewei Technologies Inc ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From announce at cs.ucy.ac.cy Thu Sep 15 11:28:44 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 15 Sep 2016 12:28:44 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Workshop Proposals Message-ID: <4FDM3R3W-Y5W-F8HI-EDK-GPOWULFTK6EH@cs.ucy.ac.cy> ** Last Call for Workshop Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTY5CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017 *** DEADLINE: 16th September 2017 *** Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite proposals for workshops to be held in conjunction with the conference. The goal of the workshops is to provide a venue for presenting research on focused topics of interest and an informal forum to discuss research questions and challenges. Workshops will be held on the first day of the conference. We invite submissions of full-day (6 hours) and half-day (3 hours) workshop proposals on any of the conference topics. We encourage proposals for a wide range of workshops, including but not limited to: · "Mini-conferences" on specialized topics; such workshops may have their own paper submission and review processes. · "Late breaking work" meetings; such workshops usually have a lighter review process (e.g. based on abstracts only). · "Hands-on" workshops around a specific problem or topic that may wish to ask participants to submit a position statement. · "Project centric" workshops that may be closely related to the scope of an existing large scale (e.g. EU funded) project. · "Mini-competitions", challenges, or hack-a-thons around selected topics with individual or team participation. Proposal Format Note: The key to a successful workshop submission is to CONTACT THE CHAIRS WITH YOUR IDEAS (workshop2017 at iui.acm.org), and work together to prepare an exciting proposal! Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI Paper Format, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTY5CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Please submit your proposal by e-mail to the workshop chairs at workshop2017 at iui.acm.org. The proposals should be organized as follows: · Name and title: A one-word workshop acronym and a full title. · Description of workshop topic and goal: This description should discuss the relevance of the suggested topic to IUI and its interest for the IUI 2017 audience. Include a brief discussion of why and for which audience the workshop is of particular interest. · Organizers: Names, affiliations, emails, and web pages of the workshop organizers. This can be a single person or a group of people. Strong proposals normally include organizers who bring differing perspectives on the topic and are actively connected to the communities of potential participants. Please indicate the primary contact person and the organizers who plan to attend the workshop. · Previous history: List of previous workshops that were held on the topic including the conferences that hosted past workshops and the number of participants. Also please provide the list of other workshops organized by workshop organizers in the past. · Workshop program committee: Names and affiliation of the members of the workshop program committee that will evaluate the workshop submissions. · Participants: A statement saying how many participants you expect and how you plan to invite participants for the workshop. We recommend the proposal to include the names of at least 10 people who have expressed interest to participate in the workshop. · Workshop format: A brief description of the workshop format regarding the mix of events such as paper presentations, invited talks, panels, demonstrations, and general discussion. · Length: Full-day or half-day. · Proposal format: Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTY5CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Additional Guidelines · Workshop proposals will be reviewed and evaluated by the workshop chairs and the IUI 2017 program committee chairs. · Organizers: We strongly encourage the workshop organizers to attend IUI and take part in their workshop. This can make the workshops more appealing for the participants and strengthen the discussion part. · Workshop summary: An extended abstract (max. 3 pages) with a summary of the workshop goals and an overview of the workshop topics will be included in the ACM Digital Library for IUI 2017. · Workshop proceedings: At the convenience of the workshop organizers, we will arrange a joint volume of online proceedings for the workshop papers. Workshops should request the authors to submit papers in the ACM SIGCHI Paper Format. · Cancellation: Workshops with fewer than 10 submissions by December 23, 2016 may be cancelled. This will be done in consultation between the workshop chairs of IUI 2017 and the workshop organizers. Additionally, we strongly encourage to have workshop organizers from different institutions and research communities, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that attracts various types of contributions and ensures rich interactions. The organizers of accepted workshops are responsible for producing a call for participation and publicizing it, such as distributing the call to relevant newsgroups and electronic mailing lists, and especially to potential audiences from outside the IUI conference community. Workshop organizers will maintain their own web site with updated information about the workshop and the IUI 2017 web site will refer to the workshop site. The workshop organizers will coordinate the paper sollicitation, collection, and review process, and coordinate the production of the joint online proceedings with IUI 2017 workshop chairs. Important Dates Discuss your topic with the workshop chairs: ASAP (workshop2017 at iui.acm.org) · Workshop Proposals: September 16, 2016 · Decisions Sent: October 7, 2016 ** TENTATIVE dates of the review cycle ** · Submission Deadline: December 16, 2016 · Final go/no-go Decision: December 23, 2016 · Camera-Ready of Workshop Summary: January 5, 2017 · Notifications to Authors: January 23, 2017 · Camera-Ready of Accepted Papers: February 6, 2017 · Workshop Date: March 13, 2017 Workshops Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Fri Sep 16 00:09:15 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 16 Sep 2016 00:09:15 +0200 Subject: [fg-arc] BigDat 2017: early registration September 23 Message-ID: <545102060a010b020651510004015a035554050403525751570b0b545506555353070454510f0051095404060f5405@grlmc_ip-zone_com-6> BigDat 2017: early registration September 23*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************** 3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2017 Bari, Italy February 13-17, 2017 Organized by: University of Bari "Aldo Moro" Rovira i Virgili University http://grammars.grlmc.com/BigDat2017/ ******************************************************** --- Early registration deadline: September 23, 2016 --- ******************************************************** AIM: BigDat 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. VENUE: BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be: Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: Thomas Bäck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Tamás Budavári (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud Geoffrey C. Fox (Indiana University), [intermediate] Using High Performance Computing for Big Data Analytics Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics David W. Gerbing (Portland State University), [introductory] Data Visualization with R Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics Sander Klous (University of Amsterdam), [introductory] We Are Big Data Laks V.S. Lakshmanan (University of British Columbia), [introductory] Analysis of Large Social Networks Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis Pierangela Samarati (University of Milan), [intermediate] Data Security and Privacy in the Cloud V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data in Cybersecurity Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning Lyle Ungar (University of Pennsylvania), [introductory] Sentiment Mining from User Generated Content John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by February 10, 2017. ORGANIZING COMMITTEE: Annalisa Appice Michelangelo Ceci (co-chair) Stefano Franco Corrado Loglisci Donato Malerba (co-chair) Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Gianvito Pio Florentina Lilica Voicu  REGISTRATION: It has to be done at http://grammars.grlmc.com/BigDat2017/registration.php  The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions for accommodation will be available in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat  ACKNOWLEDGEMENTS: Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Sep 14 13:27:44 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 14 Sep 2016 14:27:44 +0300 Subject: [fg-arc] The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016): Fourth Call for Papers (***extended deadline***) Message-ID: <3VLYO75Y-MC0W-JUOJ-YIX4-WXAAWOC7V0X@cs.ucy.ac.cy> *** Fourth Call for Papers *** The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMTZ0aCBJRUVFIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFNpZ25hbCBQcm9jZXNzaW5nIGFuZCBJbmZvcm1hdGlvbiBUZWNobm9sb2d5IChJU1NQSVQgMjAxNik6IEZvdXJ0aCBDYWxsIGZvciBQYXBlcnMgKCoqKmV4dGVuZGVkIGRlYWRsaW5lKioqKQk2NwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F *** Extended deadline: Oct 6th, 2016 *** IEEE ISSPIT 2016 is the sixteenth in a series of international symposia that aims to cover a wide range of topics in the intersection of signal processing and information technology and to become a fertile ground for discussions between the two research and development communities. Apart from sessions that will present new research results, tutorials and special sessions will be offered as well. Papers describing original work are invited in the general fields covered by ISSPIT, with an emphasis on the topics listed below. Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 and will be available via IEEE Xplore. Acceptance will be based on quality, relevance, and originality. A contest for Best Paper Awards (senior and student) will be held. Papers are invited in the following (non exclusive) topics: · Signal Processing Theory and Methods · Signal Processing for Communications and Networking · Design & Implementation of Signal Processing Systems · Image, Video & Multidimensional Signal Processing · Multimedia Signal Processing · Biological Image and signal processing · Audio and Acoustic signal Processing · Health Informatics and e-Health · Sensor Arrays · Big Data Analytics in Signal Processing and IT · Radar Signal Processing · Internet Software Architectures · Multimedia and Image Based Systems · Mobile Information Systems · E-Commerce · Bioinformatics and Bioengineering · Information Processing · Geographical Information Systems · Object Based Software Engineering · Speech Processing · Computer Networks · Neural Networks · Social Networks Analysis · Internet of Things · Engineering Systems of Systems Prospective authors are invited to submit full-length, 6-page (max) papers in two-column formats including diagrams and references. Authors can submit their papers as PDF files through the online submission system to be found on the ISSPIT 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMTZ0aCBJRUVFIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFNpZ25hbCBQcm9jZXNzaW5nIGFuZCBJbmZvcm1hdGlvbiBUZWNobm9sb2d5IChJU1NQSVQgMjAxNik6IEZvdXJ0aCBDYWxsIGZvciBQYXBlcnMgKCoqKmV4dGVuZGVkIGRlYWRsaW5lKioqKQk2NwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F. The title page should include author(s) name(s), affiliation, mailing address, telephone, fax, and e-mail address. The author should indicate one or two of the above categories that best describe the topic of the paper. IMPORTANT DATES · Regular paper submission: October 6th, 2016 (extended) · Notification of acceptance: October 27th, 2016 · Camera-ready version with registration: November 15th , 2016 GENERAL CHAIRS · Christos Douligeris, University of Piraeus, Greece · Andreas Pitsillides, University of Cyprus, Cyprus · Andreas Spanias, Arizona State University, USA TECHNICAL PROGRAM CHAIRS · Ioannis Kyriakides, University of Nicosia, Cyprus · Veselin Rakocevic, City University, UK · Thanos Stouraitis, Khalifa University, UAE REGISTRATION & FINANCE CHAIR · Reda Ammar, University of Connecticut, USA PUBLICATION CO-CHAIRS · Josephine Antoniou, University of Central Lancanshire, Cyprus · Christophoros Christophorou, University of Cyprus, Cyprus · Angeliki Tsioliaridou, Foundation of Research and Technology, Greece TUTORIALS CO-CHAIRS · Marios Lestas, Frederick University, Cyprus (eng.lm at frederick.ac.cy) · Vasos Vassiliou, University of Cyprus, Cyprus (vasosv at cs.ucy.ac.cy) PLENARY & SPECIAL SESSIONS CO-CHAIRS · Christos Liaskos, Foundation of Research and Technology, Greece (cliaskos at ics.forth.gr) · Vicky Lesta Papadopoulou, European University Cyprus (V.Papadopoulou at euc.ac.cy) PUBLICITY CO-CHAIRS · Suvendi Rimer, University of Johannesburg, South Africa · Cristiano Silva, Universidade Federal de Minas Gerais ñ UFMG, Brazil LOCAL ARRANGEMENTS CHAIR · George A. Papadopoulos, University of Cyprus, Cyprus WEB MANAGER · Kyriakos Georgiades, Easy Conferences, Cyprus STEERING COMMITTEE · E. Abdel-Raheem, Ain Shams University, Egypt · R. Ammar, University of Connecticut, USA · F. Elguibaly, University of Victoria, Canada · A. Elmaghraby, University of Louisville, USA (Chair) · A. Tantawy, IBM, Egypt, USA · A. Tewfik, University of Minnesota, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From fsen2017 at ipm.ir Thu Sep 15 19:28:41 2016 From: fsen2017 at ipm.ir (Marjan Sirjani) Date: Thu, 15 Sep 2016 13:28:41 -0400 Subject: [fg-arc] FSEN 2017: Call for Papers Message-ID: ###################################################################### CALL FOR PAPERS Seventh International Conference on Fundamentals of Software Engineering 2017 - Theory and Practice (FSEN '17) http://fsen.ir/2017 Tehran, Iran April 26-28, 2017 ###################################################################### -- About FSEN -- FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, April 26-28, 2017. -- Important Dates -- Abstract Submission: October 22, 2016 Paper Submission: October 29, 2016 Notification: December 17, 2016 Camera Ready: January 21, 2017 Conference: April 26-28, 2017 -- Keynote Speakers -- Thomas A. Henzinger, IST Austria Philippa Gardner, Imperial College London Leon van der Torre, University of Luxembourg -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Self-adaptive software systems * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Papers should be formatted according to the Springer LNCS style, not exceed 15 pages (including figures and references), submitted in PDF or postscript format through the EasyChair conference management system. Submissions should explicitly state their contribution and their relevance to the themes of the conference. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. Papers should not be submitted simultaneously for publication elsewhere. You can submit your papers/abstracts via the following link: https://www.easychair.org/conferences/?conf=fsen2017 -- Proceedings and Special Issues -- The post-proceedings of FSEN'17 will be published by Springer Verlag in the LNCS series (to be confirmed). There will be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of FSEN, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'17 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chair -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Mehdi Dastani - Utrecht University, The Netherlands Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland -- Publicity Chair -- Hossein Hojjat - Rochester Institute of Technology, USA -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland (Chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi, Iran University of Science and Technology, Iran Gul Agha, University of Illinois at Urbana, Champaign, USA Erika Abraham, RWTH Aachen University, Germany Christel Baier, Technical University of Dresden, Germany Ezio Bartocci, TU Wien, Austria Marcello Bonsangue, Leiden University, Netherlands Mario Bravetti, University of Bologna, Italy Michael Butler, University of Southampton, UK Erik De Vink, Technische Universiteit Eindhoven, Netherlands Wan Fokkink, Vrije Universiteit Amsterdam, Netherlands Adrian Francalanza, University of Malta, Malta Masahiro Fujita, University of Tokyo, Japan Maurizio Gabbrielli, University of Bologna, Italy Fatemeh Ghassemi, University of Tehran, Iran Jan Friso Groote, Technical University of Eindhoven, Netherlands Hassan Haghighi, Shahid Beheshti University, Iran Philipp Haller, KTH Royal Institute of Technology, Sweden Holger Hermanns, Saarland University, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Einar Broch Johnsen, University of Oslo, Norway Joost-Pieter Katoen, RWTH Aachen University, Germany Narges Khakpour, Linnaeus University, Sweden Ramtin Khosravi, University of Tehran, Iran Natallia Kokash, Leiden University, Netherlands Eva Kühn, Vienna University of Technology, Austria Kim G. Larsen, Aalborg University, Denmark Zhiming Liu, Southwest University, China Mieke Massink, CNR-ISTI, Italy Seyyed Hassan Mirian Hosseinabadi, Sharif University of Technology, Iran Ugo Montanari, University of Pisa, Italy Peter Mosses, Swansea University, UK Mohammad Reza Mousavi, Halmstad University, Sweden Ali Movaghar, Sharif University of Technology, Iran Peter Olveczky, University of Oslo, Norway Meriem Ouederni, IRIT/INP Toulouse/ ENSEEIHT, France Wishnu Prasetya, Universiteit Utrecht, Netherlands Jose Proenca, University of Minho, Portugal Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany Philipp Ruemmer, Uppsala University, Sweden Gwen Salaun, Grenoble INP, Inria, France Cesar Sanchez, IMDEA Software Institute, Spain Ina Schaefer, Technische Universität Braunschweig, Germany Wendelin Serwe, INRIA, France Alexandra Silva, University College London, UK Meng Sun, Peking University, China Carolyn Talcott, SRI International, USA Danny Weyns, Linnaeus University, Sweden From andrea.rosa at usi.ch Mon Sep 26 22:02:49 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Mon, 26 Sep 2016 20:02:49 +0000 Subject: [fg-arc] ACM/SPEC ICPE 2017 - Deadline Extension Message-ID: <9B9734B9-CE45-4F2C-A89F-1B035E3CB4E9@usi.ch> ******** The abstract and submission deadlines for research ******** and industrial papers have been extended as follows: ******** Research Abstracts: Oct 7, 2016 ******** Research Papers: Oct 14, 2016 ******** Industrial / Experience Abstracts: Oct 21, 2016 ******** Industrial / Experience Papers: Oct 28, 2016 =============================================== ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Research Abstracts: Oct 7, 2016 Research Papers: Oct 14, 2016 Research Paper Notification: Nov 18, 2016 Industrial / Experience Abstracts: Oct 21, 2016 Industrial / Experience Papers: Oct 28, 2016 Industrial / Experience Paper Notification: Nov 18, 2016 Tutorial Proposals: Oct 31, 2016 Tutorial Proposals Notification: Nov 15, 2016 Workshop Proposals: Nov 05, 2016 Workshop Proposal Notification: Nov 19, 2016 Work-in-Progress/Vision Papers: Nov 25, 2016 Dates for posters and demos will be announced. ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. This year's main theme is cost-effective performance engineering, where cost has a wide interpretation including measures such as effort and energy in addition to traditional performance measures. Topics of interest include, but are not limited to: Performance modeling of software * Languages and ontologies * Methods and tools * Relationship/integration/tradeoffs with other QoS attributes * Analytical, simulation and statistical modeling methodologies * Model validation and calibration techniques * Automatic model extraction * Performance modeling and analysis tools Performance and software development processes/paradigms * Software performance patterns and anti-patterns * Software/performance tool interoperability (models and data interchange formats) * Performance-oriented design, implementation and configuration management * Software Performance Engineering and Model-Driven Development * Gathering, interpreting and exploiting software performance annotations and data * System sizing and capacity planning techniques * (Model-driven) Performance requirements engineering * Relationship between performance and architecture * Collaboration of development and operation (DevOps) for performance * Performance and agile methods * Performance in Service-Oriented Architectures (SOA) * Performance of micro-service architectures and containers Performance measurement, monitoring and analysis * Performance measurement and monitoring techniques * Analysis of measured application performance data * Application tracing and profiling * Workload characterization techniques * Experimental design * Tools for performance testing, measurement, profiling and tuning Benchmarking * Performance metrics and benchmark suites * Benchmarking methodologies * Development of parameterizable, flexible benchmarks * Benchmark workloads and scenarios * Use of benchmarks in industry and academia Run-time performance management * Use of models at run-time * Online performance prediction * Autonomic resource management * Utility-based optimization * Capacity management Power and performance, energy efficiency * Power consumption models and management techniques * Tradeoffs between performance and energy efficiency * Performance-driven resource and power management Performance modeling and evaluation in different environments and application domains * Web-based systems, e-business, Web services * Big data systems, data analytics systems, and other data analysis systems * Internet of Things * Social networks * Cyber-physical systems * Industrial Internet (Industry 4.0) * Virtualization and cloud computing * Autonomous/adaptive systems * Transaction-oriented systems * Communication networks * Parallel and distributed systems * Embedded systems * Multi-core systems * Cluster and grid computing environments * High performance computing * Event-based systems * Real-time and multimedia systems * Peer-to-peer, mobile and wireless systems All other topics related to performance of software and systems. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers are solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions to all tracks need to be uploaded to ICPE's submission system and conform to the ACM submission format. For detailed submission instructions, please visit: https://icpe2017.spec.org/submissions.html. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference, there will be a call for a special issue of a journal. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) Amy Apon, Clemson University Martin Arlitt, HP Labs and University of Calgary Alberto Avritzer, Performance Engineering Consultant Steffen Becker, University of Technology Chemnitz Robert Birke, IBM Zurich Research Laboratory Andre B. Bondi, Software Performance and Scalability Consulting LLC Niklas Carlsson, Linkoping University Lydia Y. Chen, IBM Zurich Research Laboratory Lucy Cherkasova, HP Labs Antinisca Di Marco, Università dell'Aquila Wilhelm Hasselbring, Kiel University Alexandru Iosup, Delft University of Technology Evangelia Kalyvianaki, City University London Samuel Kounev, University of Wuerzburg Heiko Koziolek, ABB Corporate Research Diwakar Krishnamurthy, University of Calgary Patrick Lee, The Chinese University of Hong Kong Catalina M. Lladó, Universitat Illes Balears Lei Lu, VMware Andrea Marin, University of Venice Daniel Menasce, George Mason University Daniel S. Menasché, Federal Univ. of Rio de Janeiro José Merseguer, Universidad de Zaragoza Ningfang Mi, Northeastern University Raffaela Mirandola, Politecnico di Milano Manoj Nambiar, Tata Consultancy Services Dorina Petriu, Carleton University Denys Poshyvanyk, College of William and Mary Ralf Reussner, Karlsruhe Institute of Technology Alma Riska, Network Appliances Jerry Rolia, HP Labs Rekha Singhal, Tata Consultancy Services Mirco Tribastone, IMT Institute for Advanced Studies Catia Trubiani, Gran Sasso Science Institute Petr Tuma, Charles University Ana Lucia Varbanescu, University of Amsterdam Enrico Vicario, University of Florence Katinka Wolter, Freie Universitaet zu Berlin Murray Woodside, Carleton University Feng Yan, University of Nevada-Reno Xiaoyun Zhu, Futurewei Technologies Inc ------------------------------------------------------------------------ PROGRAM COMMITTEE (INDUSTRY PAPERS) Jeremy Arnold, IBM Andy Bond, Red Hat Klaus-Dieter Lange, HPE Raghu Nambiar, Cisco Dmitry Potapov, Oracle Tilmann Rabl, Bankmark Da Qi Ren, Huawei R&D Cloyce Spradling, Oracle Mike Tricker, Microsoft ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From juerjens at uni-koblenz.de Thu Sep 22 22:25:05 2016 From: juerjens at uni-koblenz.de (Jan Juerjens) Date: Thu, 22 Sep 2016 22:25:05 +0200 Subject: [fg-arc] =?utf-8?q?CfP_f=C3=BCr_die_SOFTWARE_ENGINEERING_2017_in_?= =?utf-8?q?Hannover_=2821=2E-24=2E2=2E17=29_mit_allen_Tracks?= In-Reply-To: <003501d1f0ad$ea6b3d00$bf41b700$@inf.uni-hannover.de> References: <003501d1f0ad$ea6b3d00$bf41b700$@inf.uni-hannover.de> Message-ID: <260ba942-414a-32d6-a204-93b719592058@uni-koblenz.de> Call for Papers für die Tagung SOFTWARE ENGINEERING 2017 (http://se17.uni-hannover.de) der GI vom 21.-24.Februar 2017 in Hannover Bitte beachten Sie auch die DIN A4-Version (http://se17.uni-hannover.de/documents/CfP-SE17.pdf) dieser Email zum Ausdruck und die ausführlichen Informationen auf http://se17.uni-hannover.de . ---------------------------------------------------------------------------- ---------------------------------------------------------------------------- Wichtige Termine für alle Tracks: Einreichung von Beiträgen: 30.09.2016 Benachrichtigung der Autoren: 31.10.2016 Einreichung druckfertiger Beiträge: 07.11.2016 Spezialitäten in diesem Jahr - Eigene Sitzung zu Software Engineering in Versicherungen - Kreativitätswettbewerb zum Motto der Tagung: Wie visualisiert man „Software“ oder „Informatik“? Co-located: SEUH 2017 (Software Engineering im Unterricht an Hochschulen): www1.in.tum.de/seuh17 mit eigenen Terminen ---------------------------------------------------------------------------- ---------------------------------------------------------------------------- Motto: „Ein neues Bild von Software“ Software ist heute überall, und sie wird ganz unbefangen benutzt. Auch Softwareentwicklung sieht anders aus als noch vor wenigen Jahren. Die Digitalisierung beschäftigt Unternehmen und Universitäten. Das Bild von Software in der Gesellschaft und in den Medien ändert sich. Dieses Motto wird unter verschiedenen Perspektiven behandelt: von Keynotes, einem Kreativitätswettbewerb und so weiter. Die jährliche Tagung der Gesellschaft für Informatik (GI) findet 2017 in Hannover statt. Wissenschaftler und Praktiker diskutieren hier neue Erkenntnisse und Erfahrungen aus dem Software Engineering. Programm · Im wissenschaftlichen Hauptprogramm werden ausgewählte, exzellente Veröffentlichungen des letzten Jahres präsentiert: Die Leistungsschau des Software Engineering. · Visionäre Ideen komplementieren das Hauptprogramm. Forscher präsentieren hier neue, frische Konzepte, die noch nicht weithin bekannt sind. · Workshops bieten die Gelegenheit, einzelne Themen gemeinsam zu vertiefen. · Keynotes vermitteln Einsichten und ungewohnte Perspektiven auf die neuen Herausforderungen. · Praxisvorträge präsentieren aktuelle Anliegen, Erfahrungen und Best Practices aus Unternehmen – und laden zu Diskussionen ein. Einreichungen für das Hauptprogramm müssen sich auf einen Beitrag beziehen, der bereits in einer Fachzeitschrift oder auf einer internationalen Spitzenkonferenz publiziert wurde. Einzureichen sind eine Vortragszusammenfassung und der PDF-Volltext des Originalbeitrags; Einreichung erfolgt über EasyChair: https://easychair.org/conferences/?conf=se2017 . Details zu den Einreichungen für die anderen Tracks finden sich auf der Webseite http://se17.uni-hannover.de . Einsendeschluss ist für alle Tracks der SE17 der 30. September 2016. Für die SEUH gelten andere Termine und Formate. Tagungsort Leibniz Universität Hannover und Marriott Courtyard Hotel Hannover am Maschsee Herzlich willkommen in Hannover! == Prof. Dr. Jan Jürjens Institute for Software Technology (IST), University of Koblenz-Landau http://jan.jurjens.de Director Research Projects, Fraunhofer-Institute for Software and Systems Engineering ISST Compliance Innovation Lab, Fraunhofer Innovation Center for Logistics and IT http://www.filit.fraunhofer.de/de/compliance-innovation-lab/information-in-english.html From grlmc at grlmc.com Sat Sep 24 00:39:03 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 24 Sep 2016 00:39:03 +0200 Subject: [fg-arc] SLSP 2016: call for participation Message-ID: <545102060a010b02075451020e045a535a0353570604035300025b02030706025707510e055c04560253510a575400@grlmc_ip-zone_com-6> SLSP 2016: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************** 4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2016 Pilsen, Czech Republic October 11-12, 2016 Organized by: Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2016/ ************************************************************************** PROGRAM Tuesday, October 11 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Walter Daelemans: Advances in Statistical Approaches to Personality Prediction from Text - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 11:50 Ikbel Hadj Ali and Zied Mnasri: Statistical Analysis of the Prosodic Parameters of a Spontaneous Arabic Speech Corpus for Speech Synthesis Daniil Kocharov, Tatiana Kachkovskaia, Aliya Mirzagitova and Pavel Skrelin: Combining Syntactic and Acoustic Features for Prosodic Boundary Detection in Russian 11:50 - 13:20    Lunch 13:20 - 14:10    Julia Hirschberg: Identifying Sentiment and Emotion in Low Resource Languages - Invited lecture 14:10 - 14:25    Break and Group photo 14:25 - 15:15 Brij Mohan Lal Srivastava and Manish Shrivastava: Articulatory Gesture Rich Representation Learning of Phonological Units in Low Resource Settings Dávid Sztahó and Klára Vicsi: Estimating the Severity of Parkinson’s Disease Using Voiced Ratio and Nonlinear Parameters 15:15 - 15:30    Break 15:30 -        Poster presentations 18:00 - 20:00    Social event Wednesday, October 12 09:00 - 09:50    Mari Ostendorf: Continuous-space Language Processing: Beyond Word Embeddings - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Antoni Hernández, Bernardino Casas, Ramon Ferrer-i-Cancho and Jaume Baixeries: Testing the Robustness of Laws of Polysemy and Brevity versus Frequency David Marecek: Delexicalized and Minimally Supervised Parsing on Universal Dependencies Ahmet Üstün and Burcu Can: Unsupervised Morphological Segmentation Using Neural Word Embeddings 11:35 - 11:50    Break 11:50 - 13:05 Marie Tahon, Raheel Qader, Gwénolé Lecorvé and Damien Lolive: Optimal Feature Set and Minimal Training Size for Pronunciation Adaptation in TTS Natalia Tomashenko, Yuri Khokhlov and Yannick Estève: A New Perspective on Combining GMM and DNN Frameworks for Speaker Adaptation Matti Varjokallio, Mikko Kurimo and Sami Virpioja: Class n-Gram Models for Very Large Vocabulary Speech Recognition of Finnish and Estonian 13:05 - 13:15    Closing 13:15 -        Lunch -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Sep 27 11:16:28 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 27 Sep 2016 12:16:28 +0300 Subject: [fg-arc] The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016): Last Call for Papers (***extended deadline***) Message-ID: <0OAI3DYG-JJY6-5A8Y-D84Z-VD8TNMW360@cs.ucy.ac.cy> *** Last Call for Papers *** The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMTZ0aCBJRUVFIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFNpZ25hbCBQcm9jZXNzaW5nIGFuZCBJbmZvcm1hdGlvbiBUZWNobm9sb2d5IChJU1NQSVQgMjAxNik6IExhc3QgQ2FsbCBmb3IgUGFwZXJzICgqKipleHRlbmRlZCBkZWFkbGluZSoqKikJNzAJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F *** Extended deadline: Oct 6th, 2016 *** IEEE ISSPIT 2016 is the sixteenth in a series of international symposia that aims to cover a wide range of topics in the intersection of signal processing and information technology and to become a fertile ground for discussions between the two research and development communities. Apart from sessions that will present new research results, tutorials and special sessions will be offered as well. Papers describing original work are invited in the general fields covered by ISSPIT, with an emphasis on the topics listed below. Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 and will be available via IEEE Xplore. Acceptance will be based on quality, relevance, and originality. A contest for Best Paper Awards (senior and student) will be held. Papers are invited in the following (non exclusive) topics: · Signal Processing Theory and Methods · Signal Processing for Communications and Networking · Design & Implementation of Signal Processing Systems · Image, Video & Multidimensional Signal Processing · Multimedia Signal Processing · Biological Image and signal processing · Audio and Acoustic signal Processing · Health Informatics and e-Health · Sensor Arrays · Big Data Analytics in Signal Processing and IT · Radar Signal Processing · Internet Software Architectures · Multimedia and Image Based Systems · Mobile Information Systems · E-Commerce · Bioinformatics and Bioengineering · Information Processing · Geographical Information Systems · Object Based Software Engineering · Speech Processing · Computer Networks · Neural Networks · Social Networks Analysis · Internet of Things · Engineering Systems of Systems Prospective authors are invited to submit full-length, 6-page (max) papers in two-column formats including diagrams and references. Authors can submit their papers as PDF files through the online submission system to be found on the ISSPIT 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMTZ0aCBJRUVFIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFNpZ25hbCBQcm9jZXNzaW5nIGFuZCBJbmZvcm1hdGlvbiBUZWNobm9sb2d5IChJU1NQSVQgMjAxNik6IExhc3QgQ2FsbCBmb3IgUGFwZXJzICgqKipleHRlbmRlZCBkZWFkbGluZSoqKikJNzAJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F. The title page should include author(s) name(s), affiliation, mailing address, telephone, fax, and e-mail address. The author should indicate one or two of the above categories that best describe the topic of the paper. IMPORTANT DATES · Regular paper submission: October 6th, 2016 (extended) · Notification of acceptance: October 27th, 2016 · Camera-ready version with registration: November 15th , 2016 GENERAL CHAIRS · Christos Douligeris, University of Piraeus, Greece · Andreas Pitsillides, University of Cyprus, Cyprus · Andreas Spanias, Arizona State University, USA TECHNICAL PROGRAM CHAIRS · Ioannis Kyriakides, University of Nicosia, Cyprus · Veselin Rakocevic, City University, UK · Thanos Stouraitis, Khalifa University, UAE REGISTRATION & FINANCE CHAIR · Reda Ammar, University of Connecticut, USA PUBLICATION CO-CHAIRS · Josephine Antoniou, University of Central Lancanshire, Cyprus · Christophoros Christophorou, University of Cyprus, Cyprus · Angeliki Tsioliaridou, Foundation of Research and Technology, Greece TUTORIALS CO-CHAIRS · Marios Lestas, Frederick University, Cyprus (eng.lm at frederick.ac.cy) · Vasos Vassiliou, University of Cyprus, Cyprus (vasosv at cs.ucy.ac.cy) PLENARY & SPECIAL SESSIONS CO-CHAIRS · Christos Liaskos, Foundation of Research and Technology, Greece (cliaskos at ics.forth.gr) · Vicky Lesta Papadopoulou, European University Cyprus (V.Papadopoulou at euc.ac.cy) PUBLICITY CO-CHAIRS · Suvendi Rimer, University of Johannesburg, South Africa · Cristiano Silva, Universidade Federal de Minas Gerais ñ UFMG, Brazil LOCAL ARRANGEMENTS CHAIR · George A. Papadopoulos, University of Cyprus, Cyprus WEB MANAGER · Kyriakos Georgiades, Easy Conferences, Cyprus STEERING COMMITTEE · E. Abdel-Raheem, Ain Shams University, Egypt · R. Ammar, University of Connecticut, USA · F. Elguibaly, University of Victoria, Canada · A. Elmaghraby, University of Louisville, USA (Chair) · A. Tantawy, IBM, Egypt, USA · A. Tewfik, University of Minnesota, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From ingridcy at ifi.uio.no Fri Sep 30 15:29:30 2016 From: ingridcy at ifi.uio.no (Ingrid Chieh Yu) Date: Fri, 30 Sep 2016 13:29:30 +0000 Subject: [fg-arc] iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino) Message-ID: <46ECC5A9-7B66-47E1-941F-1DF9EF3B1DD2@ifi.uio.no> 13th International Conference on integrated Formal Methods (iFM 2017) http://ifm2017.di.unito.it/ PRELIMINARY CALL FOR PAPERS Important dates Abstract submission: Tuesday March 28 Paper submission: Tuesday April 4 Notification: Friday May 26 Camera-ready copy: Tuesday June 11 Conference: September 20-22 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Objectives and Scope Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Model learning - Theorem proving, decision procedures, SAT and SMT solving Submission Guidelines iFM 2017 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - Research papers describe original scientific research results, validated by experimental results where applicable. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Limit: 15 pages. - Case study papers report on applications of formal methods, preferably in a real world setting. A case study paper need not introduce novel techniques or tools, but it must include a rigorous empirical evaluation and potentially be of interest to practitioners. Limit: 15 pages. - Regular tool papers present a new tool or novel extensions to an existing tool. They should provide a short description of the theoretical foundations, while focusing on the tool's design and implementation concerns, as well as empirical evaluation of its practical capabilities. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool. Authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 15 pages. - Tool demonstration papers focus on the usage aspects of tools. Foundations and empirical evaluation are not required, but the paper should explain why the tool is relevant for the community, and, in particular, for practitioners. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 8 pages. Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions should be made using the iFM 2017 Easychair site: https://easychair.org/conferences/?conf=ifm2017 (NOT YET OPENED). 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 iFM 2017 will be accompanied by a series of workshops. Further information is available from the conference website http://ifm2017.di.unito.it/ Conference Location iFM 2017 is organized by the University of Turin and will take place in Turin, Italy