[Air-L] Facebook Groups

Miguel, Cristina C.Miguel at leedsbeckett.ac.uk
Tue Sep 6 04:01:52 PDT 2016


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 at listserv.aoir.org> on behalf of Mridula <mridula at gmail.com>
Sent: 06 September 2016 07:37
To: air-l at 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 at listserv.aoir.org> wrote:

> Send Air-L mailing list submissions to
>         air-l at 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 at listserv.aoir.org
>
> You can reach the person managing the list at
>         air-l-owner at 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 at cs.ucy.ac.cy>
> To: air-L <air-L at 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 at 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 at cs.ucy.ac.cy>
> To: air-L <air-L at listserv.aoir.org>
> Subject: [Air-L] FM 2016: 21st International Symposium on Formal
>         Methods --      Call for Participation
> Message-ID: <8VIG5F8I-840-UOR5-XO6J-28CNK4DJICD at 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 at 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 at 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



More information about the Air-L mailing list