[Air-L] Facebook Groups
Mridula
mridula at gmail.com
Tue Sep 6 04:25:07 PDT 2016
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 at 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 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