- Air-L - lists.aoir.org

CHIPlay - Early Bird Registration Ends September 15th
by Nicole Crenshaw 06 Sep '16

06 Sep '16

The end of early bird registration is fast approaching for CHI PLAY! You can register for the conference here <https://www.regonline.com/register/checkin.aspx?EventId=1790696&MethodId=0&…> <https://mail.google.com/>. --- CHI PLAY is an international and interdisciplinary conference (by ACM SIGCHI) for researchers and professionals across all areas of play, games and human-computer interaction (HCI). We call this area “player-computer interaction”. The goal of the conference is to highlight and foster discussion of current high quality research in games and HCI as foundations for the future of digital play. To this end, the conference will feature streams that blend academic research and games with research papers, interactive demos, and industry case studies. CHI PLAY grew out of the increasing work around games and play emerging from the ACM annual conference on Human Factors in Computing Systems (CHI) as well as smaller conferences such as Fun and Games and Gamification. CHI PLAY is sponsored by the ACM Special Interest Group for Computer-Human Interaction (SIGCHI). --- Our keynote speakers include: *Jamie Madigan* (PhD, Psychology of Games) - Things I wish Game Researchers Would Do (Or Do More): A View from an Occasional Scientist and Hardcore Gamer) *Annika Waern* (PhD, Uppsala University) - Play, Participation and Empowerment: Design Strategies and Dilemmas *Nick Yee* (PhD, Quantic Foundry) - The Gamer Motivation Profile: What We Learned from 250,000 Gamers -- Nicole Crenshaw PhD Candidate Information and Computer Sciences University of California, Irvine http://sites.uci.edu/nicolecrenshaw/

1 0

** Digital\\Human\\Labour ** Call for papers at the Association of American Geographers (AAG) Annual Meeting. April 5-9, 2017, Boston, USA
by Mark Graham 06 Sep '16

06 Sep '16

*Digital \\ Human \\ Labour <http://zerogeography.net/post/149997132008/digitalhumanlabour-call-for-pape…>* Organisers: Jim Thatcher <http://directory.tacoma.uw.edu/employee/jethatch> (Washington), Mark Graham <https://www.oii.ox.ac.uk/people/mark-graham/> (Oxford), Gillian Rose <http://www.open.ac.uk/people/gr334> (Open University) The proposed Digital Geographies Working Group of the RGS/IBG and the proposed Digital Geographies Specialty Group of the AAG would like to invite submissions to a series of paper sessions and panels <http://zerogeography.net/post/149997132008/digitalhumanlabour-call-for-pape…> for the 2017 meeting of the American Association of Geographers in Boston, USA. Reflecting the shared interests of these groups, and their mutual desire to facilitate conversations between a wide range of geographical scholarship, this call is for papers exploring specifically the various intersections of ‘digital’ and ‘labour’ in diverse meanings of both. We will convene a concluding panel session, and encourage interested participants to submit abstracts for any of these three paper sessions: *The human labour of digital work* *Discussant: Mark Graham* The spread of the internet to three and a half billion people around the world has significant implications for the human labour. It is now relatively straightforward to outsource business processes to anyone, anywhere, that has a digital connection. This session aims to bring together scholarship that explores the human labour of this digital work. Who carries it out? How does it affect the livelihoods of workers? What sorts of political and organisational governance regimes bring it into being? And what are the ethical, spatial, social, and economic implications of a world in which human labour is increasing disembedded into digital networks? *The digital labour of being human* *Discussant: Gillian Rose* Digital technologies are now embedded in many aspects of everyday life in many places, mediating everyday experiences of embodiment, mobility, and communication. It is clear that many of these mediations are reproducing existing ways and forms of ‘being human’, but it is also clear that new forms of (post)humanities are emerging, co-produced with, for example, VR headsets, big data, and social media platforms. This session aims to bring together scholarship that addresses these monadic emergences. What new forms of distributed agency, performative gestures and navigational orientations could and should be mapped, and in what ways? What are their temporalities and spatialities, and what geometries of power and difference do they enact? *The algorithmic labour of being* *Discussant: Jim Thatcher* Alongside the rise in access to internet technologies and their everyday usage, has come an entwined rise in the analysis and manipulation of digital information through algorithms. Just as new technologies introduce interfaces, mediations, and affordances to (re)produce representations of self, so too do the algorithms which sort, select, and present information constrain what can be done and known through the use of said devices. Similarly, even as the very real geography of the labor of digital work shifts and extends across the globe, algorithms increasingly insert themselves betwixt and between laborers, customers, and corporate interests, altering traditional employment relations through the mediation of technology. Building from the themes of the previous two sessions, this session aims to bring together research on the many ways in which algorithms and quantification function in the world. Questions of interest include, but are not limited to: What sorts of new spatial relations are possible through the algorithmic mediation of labor relations? Where is the work of algorithms done? What are the historical roots of this process? What new forms of knowledge and power have been enabled (and constrained) by these systems? If you have any additional questions, please contact Jim Thatcher ( jethatch(a)uw.edu) Mark Graham (mark.graham(a)oii.ox.ac.uk) or Gillian Rose ( gillian.rose(a)open.ac.uk) For consideration of inclusion, please submit abstract to jethatch(a)uw.edu by October 15th, 2016. Please format your abstract in a text file of no more than 250 words, including a title, your name, institutional affiliation and email address in the document. ------------------------------------------ Mark Graham Professor of Internet Geography Oxford Internet Institute University of Oxford Faculty Fellow The Alan Turing Institute Research Affiliate School of Geography and the Environment University of Oxford Visiting Fellow Department of Media and Communications London School of Economics and Political Science oii.ox.ac.uk/people/graham <http://www.oii.ox.ac.uk/people/graham> | geospace.co.uk <http://www.geospace.co.uk> | Information Geographies <http://geography.oii.ox.ac.uk> | wikichains.org <http://www.wikichains.org> | @geoplace <http://twitter.com/geoplace> | zerogeography blog <http://www.zerogeography.net/> | Connectivity, Inclusion and Inequality Group <http://cii.oii.ox.ac.uk/> | GEONET <http://geonet.oii.ox.ac.uk> <http://twitter.com/geoplace>

1 0

CFP: SAGE Handbook of Web History
by Ian Milligan 06 Sep '16

06 Sep '16

The web has now been with us for almost 25 years: new media is simply not that new anymore. It has developed to become an inherent part of our social, cultural, political, and social lives, and is accordingly leaving behind a detailed documentary record of society and events since the advent of widespread web archiving in 1996. These two key points lie at the heart of our in-preparation Handbook of Web History: that the history of the web itself needs to be studied, but also that its value as an incomparable historical record needs to be inquired as well. Within the last decade, considerable interest in the history of the Web has emerged. However, there is no comprehensive review of the field. Accordingly, our SAGE Handbook of Web History will provide an overview and point to future research directions. The editors, Niels Brügger, Megan Sapnar Ankerson, and Ian Milligan, have over twenty-five chapters in preparation. However, there are a few areas where we are soliciting additional chapters to round out our handbook. The focus of the chapters needs to be on the subject of Web history. * Business histories of the Web; * Web governance; * E-Literature or Web Art; * History of online social media; * Dot-com Start-ups * Memes * Hacking and Activism * Video on the Web * Asia and the Web If you are interested, we are soliciting 300 - 500 word abstracts by 10 October 2016. If you have any questions, or wish to discuss a potential submission, please e-mail us via Ian Milligan at i2millig(a)uwaterloo.ca. Final chapters will be a maximum of 7,000 words and would be due by 1 March 2017. -- *Ian Milligan* Assistant Professor, Department of History University of Waterloo | 200 University Ave W Waterloo ON N2L 3G1 http://ianmilligan.ca | @ianmilligan1 <https://twitter.com/ianmilligan1>

1 0

Register now! MoneyLab #3 Amsterdam, December 1/2
by Geert Lovink 06 Sep '16

06 Sep '16

MoneyLab #3 Failing Better Symposium | Workshops | Exhibition 1 - 2 December 2016 Pakhuis de Zwijger, Amsterdam A two-day symposium featuring talks, workshops and performances that confront the notion that finance is too big to fail. Themes Universal Basic Income, Feminist Economics, Global Finance, Financial Surveillance, Post-Work Society, Decentralized Democracy, Blockchain, Smart Contracts, Credit Unions, DAOs, Publishing Models, P2P Distribution, Copyright Law, Streaming Models, Platform Cooperativism, Community Currencies, Commons Transition. Background After Bitcoin forked, and remains in tatters, it is now blockchain technology that ignites visions of deregulated and decentralized organization, while it is simultaneously sanitized by commercial banks. Meanwhile the sharing and “service” economy lost its innocuous veneer and streaming services have failed and continue to fold the music industry. Despite the mutation of crowdfunding into crowd-equity and platform co-operatives, artists and designers continue to struggle to financially support themselves. All the while the financial mediators of the previous centuries continue to drag themselves onward into global debt. We are failing better, nonetheless. Workers’ unions are on the rise and numerous collectives are working together to collectively ensure their own wellbeing and build alternative models of social governance. The aspirations of grassroots organizations such as DiEM25, that promise to liberate social democracy from the stronghold of global finance, are gaining momentum across Europe. People’s parties such as Podemos and the Five Star Movement get closer to an electoral majority. This momentum has thrust radical economic alternatives onto center stage and some governments in Europe have begun experimenting with progressive policies such as a living working wage and a universal basic income. MoneyLab #3 will assess the ambition of financial provocations that have ignited to establish a terrain of social and political reform, from decentralized networks to state governments. The rift we find ourselves in goes much further than 'the banks’ and financial retaliation can be considered more than attempts to fail better. Confirmed Speakers Tori Abernathy, Steyn Bergs, Alex Foti, Max Haiven, Austin Houldsworth, Lewis Just, Dmytri Kleiner, Bindu De Knock, Simona Levi, Jeroen Van Loon, Silvio Lorusso, Nathalie Maréchal, Renzo Martens, Dan Mihaltianu, Caroline Nevejan, Patrice Riemens, Emily Rosamond, Trebor Scholz, Brett Scott, Cassie Thornton & Henry Warwick. Workshops Baltan Laboratories, Feminist Economics Department, Fine Art Financ€ Lab, Furtherfield, Nethood, PublishingLab & University of the Phoenix. Evening Program Thursday 1 Dec: Fiscal Drag Live, Mezrab, Amsterdam Friday 2 Dec: Failing Better Afterparty, Roest, Amsterdam Practical information Tickets: €10 per session € 30 per day € 60 two day pass Students: 50% discount on all tickets All tickets include lunch and evening program. Email: info(a)networkcultures.org <mailto:info@networkcultures.org> Purchase your ticket here: bit.do/moneylab3 <http://bit.do/moneylab3> URL: networkcultures.org/moneylab <http://networkcultures.org/moneylab> Twitter: @INCAmsterdam <https://twitter.com/@incamsterdam> #MoneyLab

1 0

Facebook Groups
by Mridula 06 Sep '16

06 Sep '16

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

2 2

Reminder: NCA PreConference on Media and Class
by Erika Polson 05 Sep '16

05 Sep '16

Call For Papers: NCA PreConference on Media and Class in the 21st Century 9:00a.m. – 5:00p.m., Wednesday, Nov. 9, 2016, Philadelphia, PA Submission deadline: September 9, 2016 Help build a new conversation on contemporary relationships between media and class, creating new definitions of 'class' in the process. This interactive NCA preconference seminar on Media & Class in the 21st Century will bring together 25 scholars from many communication subfields working at the intersection of media and class, with specific focus on how understandings of class are changing in contemporary media contexts. This daylong seminar will consist of two plenary sessions, brief presentations of position papers by participants, small group interactions and an interactive lunch that encourages scholars to meet others who share their interests. All participants in the preconference will be work-shopping and presenting their ideas to each other. Prospective participants should submit brief position papers* drawing upon empirical or critical approaches in an exploration of contemporary and/or historical issues at the intersection of media and class. * NOTE: 1 to 2-page drafts are acceptable at the time of submission; 2 to 5 page papers must be submitted within two weeks of acceptance, and will be circulated to other participants in advance. Position papers should be submitted as email attachments in MS Word to Erika Polson and Lynn Schofield Clark at: Media.and.Class(a)gmail.com . The deadline for submissions is September 9, 2016. Acceptance decisions will be made by October 1, 2010. Additional information about the seminar can be found at: https://docs.google.com/document/d/1AGf-LayMAH5EIJPTJdozZD9o mUWanCeiJoF-l8fi98w/edit?usp=sharing <https://docs.google.com/document/d/1AGf-LayMAH5EIJPTJdozZD9omUWanCeiJoF-l8f…> -- Erika Polson, Ph.D. Associate Professor, Media, Film & Journalism Studies University of Denver *New book:* Privileged Mobilities: Professional Migration, Geo-Social Media, and a New Global Middle Class <https://www.peterlang.com/view/product/31464>

2 1

Art-Research Ebook on Self Image - now available in Applestore
by Lin Prøitz 05 Sep '16

05 Sep '16

Selvbilde: fra selvportrett til selfie/ Self-Image: from self-portrait to selfie https://itunes.apple.com/no/book/id1151011979? Lin Prøitz Forskerkollektivet Hagegata 23, 0653 Oslo +47 97986897

1 0

New sources for evaluation purposes
by Isidro F. Aguillo 05 Sep '16

05 Sep '16

New edition of the **Ranking Web of Universities** with web data for 26000+ Higher Education Institutions collected during July 2016, Scimago Excellence data for the period 2009-2014 and ranks from the Transparent Ranking built with citations figures extracted from Google Scholar institutional profiles are now available: http://www.webometrics.info/en You can check also the updates of several rankings of individual authors: Top researchers with h-index>100 http://www.webometrics.info/en/node/177 China http://www.webometrics.info/en/node/177 Hong Kong http://www.webometrics.info/en/node/174 Macau http://www.webometrics.info/en/node/149 Finally, it has also refreshed the **Ranking Web of Repositories** http://repositories.webometrics.info/ -- ************************************************************** Isidro F. Aguillo Dr. Honoris Causa Universitas Indonesia Dr. Honoris Causa National Research Nuclear University Moscow Editor Rankings Web Cybermetrics Lab - Scimago Group, IPP-CSIC Madrid. SPAIN isidro.aguillo(a)csic.es ORCID 0000-0001-8927-4873 ResearcherID: A-7280-2008 Scholar Citations SaCSbeoAAAAJ Twitter @isidroaguillo Rankings webometrics.info *************************************************************** --- El software de antivirus Avast ha analizado este correo electrónico en busca de virus. https://www.avast.com/antivirus

1 0

FM 2016: 21st International Symposium on Formal Methods -- Call for Participation
by Announce Announcements 04 Sep '16

04 Sep '16

---------------------------------------------------------------------------------- **** 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=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… 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=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… 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

1 0

22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Fifth Call for Papers
by Announce Announcements 04 Sep '16

04 Sep '16

** 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=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… 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=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… 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=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… . 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

1 0