Hi Christina, Thank you so much for sharing the reading. At least there is a precedent! Time to be more careful. Regards, Mridula Travel Tales from India and Abroad <http://traveltalesfromindia.in/> Facebook <https://www.facebook.com/traveltalesfromindiaandabroad/> Twitter <https://twitter.com/mridulablog> Instagram <http://instagram.com/mridulablog/> On Tue, Sep 6, 2016 at 4:31 PM, Miguel, Cristina < C.Miguel@leedsbeckett.ac.uk> wrote:
Hi Mridula,
This case reminds me to what happened with CouchSurfing.org, which is an hospitality exchange network launched in 2004 by a group of friends and run mainly by the community (volunteers) until 2011. In 2011 some of the founders received $7 billion from venture capitalist and it became a corporation. Then the website changed to CouchSurfing.com, it started to have advertising and to sell users' data, when in the website it was always said that CouchSurfing would never be for profit. These days CouchSurfing even has a Facebook app and many of its long-term users have shown their disapproval of the commercial turn that the platform has taken (Feldman, 2012).
Feldman, Z. 2012. Beyond freedom and oppression: Social media, refusal and the politics of participation. In: IR 13.0 Conference of the AoIR, 18/21 October 2012, Salford. [Online]. [Accessed 18 February 2015]. Available from: http://spir.aoir.org/index.php/spir/article/viewFile/6/pdf
Best,
Dr. Cristina Miguel Senior Lecturer Business School Leeds Beckett University https://leedsbeckett.academia.edu/CristinaMiguel
________________________________________ From: Air-L <air-l-bounces@listserv.aoir.org> on behalf of Mridula < mridula@gmail.com> Sent: 06 September 2016 07:37 To: air-l@listserv.aoir.org Subject: [Air-L] Facebook Groups
Hi All,
I recently found myself in bizarre situation on an India based Facebook Travel Group. I was a member since about a year, I would occasionally interact as well. The group description clearly said it was for non commercial activities, hotel, spa, airline reviews would be deleted. Then without any warning, they launched a commercial website by the same name (just adding 'world' to the name of the group), claiming they represent all the members of that FB group. The FAQ of the website has pitches to tourism boards and PR agencies. They had about 400 members, almost all related to travel. A lot of us were stunned! They just casually announced a commercial website based on a non-commercial FB group without a word to anyone whatsoever. Consent was not even in the picture. All hell broke loose after that. Now the admins claim that a lot of things happened inadvertently but the site is still up. Has anyone faced a similar situation before? This leads me to ask a few questions?
1. Does being an admin of a non-commercial FB group means you can launch a commercial venture based on it?
2. Is this a violation of FB TOS? I tried to understand the FB TOS for groups but I am not very successful.
3. If this is not against the TOS then some other group that added me will do the same in the future. And that will be a big pain. I need to go and manually remove myself from all those groups that keep adding me!
Sharing here so that I may get some clarity from the community.
Warm Regards,
Mridula
Travel Tales from India and Abroad <http://traveltalesfromindia.in/> Facebook <https://www.facebook.com/traveltalesfromindiaandabroad/> Twitter <https://twitter.com/mridulablog> Instagram <http://instagram.com/mridulablog/>
On Mon, Sep 5, 2016 at 3:30 AM, <air-l-request@listserv.aoir.org> wrote:
Send Air-L mailing list submissions to air-l@listserv.aoir.org
To subscribe or unsubscribe via the World Wide Web, visit http://listserv.aoir.org/listinfo.cgi/air-l-aoir.org or, via email, send a message with subject or body 'help' to air-l-request@listserv.aoir.org
You can reach the person managing the list at air-l-owner@listserv.aoir.org
When replying, please edit your Subject line so it is more specific than "Re: Contents of Air-L digest..."
Today's Topics:
1. 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Fifth Call for Papers (Announce Announcements) 2. FM 2016: 21st International Symposium on Formal Methods -- Call for Participation (Announce Announcements)
----------------------------------------------------------------------
Message: 1 Date: Sun, 4 Sep 2016 12:29:04 +0300 From: Announce Announcements <announce@cs.ucy.ac.cy> To: air-L <air-L@listserv.aoir.org> Subject: [Air-L] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Fifth Call for Papers Message-ID: <S5IPYQT-Y10A-BKBC-R1J1-BAT6L06EAYZ0@cs.ucy.ac.cy> Content-Type: text/plain; charset=iso-8859-1; format=flowed
** 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=YWlyLUwJCQlhaXI tTEBsaXN0c2Vydi5hb2lyLm9yZwkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIEN vbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUk gMjAxNyk6IEZpZnRoIENhbGwgZm9yIFBhcGVycwk2MwlMaXN0cwkyNDcJY2x pY2sJeWVzCW5v&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/~georg e/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi5hb2lyLm9yZwkyM m5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlb nQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpZnRoIENhbGwgZm9yI FBhcGVycwk2MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&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=YWlyLUwJCQlhaXI tTEBsaXN0c2Vydi5hb2lyLm9yZwkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIEN vbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUk gMjAxNyk6IEZpZnRoIENhbGwgZm9yIFBhcGVycwk2MwlMaXN0cwkyNDcJY2x pY2sJeWVzCW5v&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
------------------------------
Message: 2 Date: Sun, 4 Sep 2016 16:29:52 +0300 From: Announce Announcements <announce@cs.ucy.ac.cy> To: air-L <air-L@listserv.aoir.org> Subject: [Air-L] FM 2016: 21st International Symposium on Formal Methods -- Call for Participation Message-ID: <8VIG5F8I-840-UOR5-XO6J-28CNK4DJICD@cs.ucy.ac.cy> Content-Type: text/plain; charset=iso-8859-1; format=flowed
------------------------------------------------------------ ---------------------- **** 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/~georg e/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi5hb2lyLm9yZwlGT SAyMDE2OiAyMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEZvcm1hb CBNZXRob2RzIC0tIENhbGwgZm9yIFBhcnRpY2lwYXRpb24JNjUJTGlzdHMJM jQ3CWNsaWNrCXllcwlubw==&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/~georg e/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi5hb2lyLm9yZwlGT SAyMDE2OiAyMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEZvcm1hb CBNZXRob2RzIC0tIENhbGwgZm9yIFBhcnRpY2lwYXRpb24JNjUJTGlzdHMJM jQ3CWNsaWNrCXllcwlubw==&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
------------------------------
Subject: Digest Footer
_______________________________________________ The Air-L@listserv.aoir.org mailing list is provided by the Association of Internet Researchers http://aoir.org Subscribe, change options or unsubscribe at: http://listserv.aoir.org/listinfo.cgi/air-l-aoir.org
Join the Association of Internet Researchers: http://www.aoir.org/
------------------------------
End of Air-L Digest, Vol 146, Issue 4 *************************************
_______________________________________________ The Air-L@listserv.aoir.org mailing list is provided by the Association of Internet Researchers http://aoir.org Subscribe, change options or unsubscribe at: http://listserv.aoir.org/ listinfo.cgi/air-l-aoir.org
Join the Association of Internet Researchers: http://www.aoir.org/ To view the terms under which this email is distributed, please go to:- http://disclaimer.leedsbeckett.ac.uk/disclaimer/disclaimer.html