- Air-L - lists.aoir.org

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

19 Oct '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

Job: Senior Lecturer in social media and communications, level C, full-time, continuing, Macquarie University, Sydney Australia
by Margie Borschke 19 Oct '16

19 Oct '16

Senior Lecturer in social media and communications<http://jobs.mq.edu.au/cw/en/job/499806/senior-lecturer-in-social-media-and-…><https://secure.dc2.pageuppeople.com/apply/553/gateway/?c=apply&lJobID=49980…> Macquarie University, Department of Media, Music, Communication and Cultural Studies Job no: 499806 Work type: Full Time Vacancy type: Internal Vacancy, External Vacancy Categories: Academic - Teaching and Research · Innovative and supportive academic environment · Attractive salary package including 17% superannuation · Collegial and dynamic workplace Within the Faculty of Arts, the Department of Media, Music, Communication and Cultural Studies (MMCCS) comprises of a number of disciplines dedicated to understanding contemporary media, and to developing valuable practical skills. It is the largest department within the Faculty of Arts and offers students flexibility with their degrees to ensure a well-rounded, customised study program. The Role The Department currently has an opportunity for a Senior Lecturer with scholarly expertise in social media and communications (including knowledge around mobile technologies, digital culture, convergence, media innovation and networked communication). This position will teach across a number of key media-communications units and produce high quality research in this field, and come with a national and international research profile. This position is crucial to ensuring graduates are appropriately skilled to be successful in a fast evolving media environment. Selection Criteria To be considered for this position, you will demonstrate the requirements below in your CV and a 1-2 page cover letter: · A PhD in Media and Communications or a relevant discipline. · A national and international research profile in social media and/or communications, evidenced by a strong publication record. · Demonstrated curriculum development and teaching experience and evidence of high quality teaching contributions at an undergraduate and postgraduate level, including the ability to develop scholarly and innovative approaches to teaching and learning, particularly in an online environment. · Demonstrated ability to supervise higher degree research students. · Good interpersonal and communication skills and the ability to work as part of a collegial team. · Demonstrated experience in community and industry engagement and ability to attract funding. · Demonstrated experience to make a contribution to the academic life and administrative tasks of the Department. Salary Package: From $118,401 to $136,161 p.a. (Level C), plus 17% employer's superannuation and annual leave loading. Appointment Type: Full-time, continuing position Specific Role Enquiries: Professor Nicole Anderson at nicole.anderson(a)mq.edu.au General Recruitment Enquiries: Alyssa Hayes, HR Consultant on (02) 9850 9765 or email alyssa.hayes(a)mq.edu.au Applications Close: Sunday 6th November 2016 at 11.55pm Macquarie University is an EO Employer committed to diversity and social inclusion. Applications are encouraged from people with disability; women (particularly for senior and non-traditional roles); Indigenous Australians, people who identify as GLBTIQ; and those from culturally and linguistically diverse backgrounds. Applications need to be submitted through the Macquarie University online recruitment system. Where circumstances such as disability or remote location prohibit your access to our online system please contact the enquiries person listed in this advertisement for assistance. Advertised: 14 Oct 2016 AUS Eastern Daylight Time Applications close: 06 Nov 2016 AUS Eastern Daylight Time Full job ad and selection criteria at: <http://jobs.mq.edu.au/cw/en/job/499806/senior-lecturer-in-social-media-and-…> http://jobs.mq.edu.au/cw/en/job/499806/senior-lecturer-in-social-media-and-… Margie Borschke Senior Lecturer, Journalism and Media Postgraduate Coursework Director Department of Media, Music, Communication and Cultural Studies Room 159, Y3A Building Macquarie University, NSW 2109, Australia T: +61 (2) 9850 2159 | M: + 61 425 226 705 E: margie.borschke(a)mq.edu.au | mq.edu.au<http://mq.edu.au> [Macquarie University]<http://mq.edu.au> CRICOS Provider 00002J. Think before you print. Please consider the environment before printing this email. This message is intended for the addressee named and may contain confidential information. If you are not the intended recipient, please delete the message and notify the sender. Views expressed in this message are those of the individual sender and are not necessarily the views of Macquarie University and its controlled entities.

1 0

JOBS: University of Illinois, Urbana-Champaign, Assistant Professors of New + Emerging Media
by Irish, Sharon Lee 18 Oct '16

18 Oct '16

Posted by Sharon Irish at the request of Anita Chan: ***** please circulate. apologies for cross postings ****** Assistant Professors of New + Emerging Media College of Media, University of Illinois at Urbana-Champaign The College of Media invites applications for two entry-level, tenure-track assistant professor positions in New and Emerging Media. Successful candidates should demonstrate an innovative research and teaching agenda that complements the interdisciplinary profile of the College and the current research strengths across the university in New and Emerging Media. Appointments will be made on a tenure-track, 9-month academic year in one of the College’s three departments - Advertising, Journalism, or Media & Cinema Studies -- beginning August 16, 2017. Academic scholars and creative artists are both encouraged to apply. For candidates who are academic scholars, a Ph.D. or equivalent terminal degree in mass communication, media studies or a related field (e.g., visual studies, design studies, digital studies, technology studies, social informatics, information and computer sciences, business, economics, psychology) is required. For candidates who are creative artists, a master’s degree or equivalent is required, and a terminal degree is preferred. All candidates should possess the potential for high-quality research or creative endeavor, publication, and teaching. Of particular interest are candidates who draw on interdisciplinary bodies of theory, are open to mixed-methods approaches and collaborations, and demonstrate a capacity for conducting original and creative research in one or more of the following areas: Big data and society Computational advertising and machine learning Convergence culture and participatory media Data semantics Digital ethics, privacy, and policy Digital humanities and digital archives Digital/multimedia journalism Disability studies in information communication technology Game studies and digital narrative Locative media, mapping, and platform studies Media history and historiography of cinema and new media Media literacy and multimodal scholarship Mobile and interaction design Natural Language Processing Online /contextual advertising and behavioral targeting Social media and new media use and effects Virtual/augmented reality Visual studies and data visualization Successful candidates will be expected to develop funding for a strong research program, to work collaboratively with faculty and scholars within the College of Media, and to form collaborations with faculty engaged in new media research across the campus – including in Engineering, Fine and Applied Arts, Information Sciences, Business, and leading interdisciplinary research centers such as the National Center for Supercomputing Applications and the Beckman Institute. Successful applicants will teach current new media courses and develop conceptual courses and graduate seminars in a variety of areas related to new media. An ability to advance the College’s commitment to diversity through research, teaching, and outreach with relevant programs is desired. The College of Media’s faculty consists of internationally renowned social scientists, media professionals, and humanities scholars and serves 1,300 undergraduate and graduate students (http://media.illinois.edu/<https://urldefense.proofpoint.com/v2/url?u=http-3A__media.illinois.edu_&d=D…>). The College is also home to the interdisciplinary Institute of Communications Research and Illinois Public Media (WILL-AM-FM-TV-Online), the public broadcasting service of the University of Illinois. The position will begin on August 16, 2017. Salary will be commensurate with experience. Candidates should create a candidate profile at http://jobs.illinois.edu<https://urldefense.proofpoint.com/v2/url?u=http-3A__jobs.illinois.edu_&d=DQ…> and upload a cover letter explaining how the candidate’s academic training and background, including research, creative endeavors, teaching qualifications and/or professional experience, make the applicant suitable for the position; curriculum vitae, and a list of full contact information for three references. All requested information must be submitted for an application to be considered complete. The University of Illinois conducts criminal background checks on all job candidates upon acceptance of a contingent offer. Full consideration will be given to applications received by November 18, 2016. Applicants may be interviewed before the closing date; however, no hiring decision will be made until after that date. The review will continue until the positions have been filled. For further information regarding application procedures, please contact Jane Dowler at dowler(a)illinois.edu<mailto:dowler@illinois.edu> or 217-333-2351<tel:217-333-2351>. Illinois is an equal opportunity employer and all qualified applicants will receive consideration for employment without regard to race, religion, color, national origin, sex, sexual orientation, gender identity, age, status as a protected veteran, status as a qualified individual with a disability, or criminal conviction history. Illinois welcomes individuals with diverse backgrounds, experiences, and ideas who embrace and value diversity and inclusivity. (www.inclusiveillinois.illinois.edu<https://urldefense.proofpoint.com/v2/url?u=http-3A__www.inclusiveillinois.i…>). For more info, see: https://jobs.illinois.edu/faculty-positions/job-details?jobID=71871&job=col…<https://urldefense.proofpoint.com/v2/url?u=https-3A__jobs.illinois.edu_facu…>

1 0

1st CFP: 17th ACM/IEEE Joint Conference on Digital Libraries (JCDL ‘17)
by Ian Milligan 18 Oct '16

18 Oct '16

Quick note: There's been quite a bit of work germane to this list at JCDL – from digital history explorations of Wikipedia, to extensive web archiving work, to explorations of born-digital news. Thanks! [As always, apologies for cross postings] ********************************************************************** 1st Call for Papers 17th ACM/IEEE Joint Conference on Digital Libraries (JCDL ‘17) #TOScale #TOAnalyze #TODiscover http://2017.jcdl.org <http://jcdl2017.org/> <http://www.dais.unive.it/IIR2016/> <http://www.dais.unive.it/IIR2016/> June 19-23, 2017 Toronto, Ontario CA Follow us on: <https://www.facebook.com/iir2016> <https://www.facebook.com/iir2016> Twitter: https://twitter.com/jcdl2017 <https://twitter.com/iir_2016> <https://twitter.com/iir_2016> ********************************************************************** IMPORTANT DATES January 15, 2017 - Tutorial and Workshop proposal submissions January 29, 2017 - Full paper and short paper submissions February 1, 2017 - Notification of acceptance for tutorials and workshops February 12, 2017 - Panel submissions February 12, 2017 - Poster and demonstration submissions March 20, 2017 - Notification of acceptance for full papers, short papers, panels, posters, and demonstrations April 16, 2017 - Doctoral Consortium abstract submissions April 16, 2017 - Final camera-ready deadline for full papers, short papers April 26, 2017 - Final camera-ready deadline for posters, demonstrations, panels May 1, 2017 - Notification of acceptance for Doctoral Consortium June 19, 2017 - Tutorials and Doctoral Consortium June 19 - 23, 2017 - Main Conference June 22 - 23, 2017 - Workshops AIMS The field of digital libraries has undergone dramatic changes as digital collections grow in scale and diversity. These changes call for novel analytical tools and methodologies for making sense of large amounts of heterogeneous data, for deriving diverse kinds of knowledge, and for linking across different collections and research disciplines. Thus the theme of the 2017 conference is #TOScale #TOAnalyze #TODiscover. Digital libraries must improve outreach efforts, engage diverse communities, and provide scholars and users with effective and flexible access to materials which will in turn empower them to make new observations and discoveries. This year, we particularly invite papers, panels, workshops, and tutorials that present new discovery methods for diverse kinds of collections and datasets (e.g., documents, images, sounds, videos), that apply recent technologies in related fields like machine learning and data mining, and that report on innovative digital library applications that engage diverse communities, facilitate user access, and enable discovery and exploration in all domains including science, art, and the humanities. This year, in addition to the research-oriented program, we are organizing a practitioners’ day so experts and practitioners can share their experiences and report on major projects. Practitioner contributions will take the form of posters and demos. Participation is sought from all parts of the world and from the full range of established and emerging disciplines and professions including computer science, information science, web science, data science, digital humanities, librarianship, data management, archival science and practice, museum studies and practice, information technology, medicine, social sciences, education and the humanities. Representatives from academe, government, industry, and others are invited to participate. TOPICS JCDL welcomes submissions from researchers and practitioners interested in all aspects of digital libraries such as: collection discovery and development, hybrid physical/digital collections; knowledge discovery; applications of machine learning and AI; services; digital preservation; system design; scientific data management; infrastructure and service design; implementation; interface design; human-computer interaction; performance evaluation; user research; crowdsourcing and human computation; intellectual property; privacy; electronic publishing; document genres; multimedia; user communities; and associated theoretical topics. Submissions that resonate with JCDL 2017 theme are especially welcome, although we will give equal consideration to all topics in digital libraries. SUBMISSIONS Full papers report on mature work, or efforts that have reached an important milestone, and must not exceed 10 pages. Accepted full papers will typically be presented in 20 minutes with 10 minutes for questions and discussion. Short papers may highlight preliminary results to bring them to the community’s attention. They may also present theories or systems that can be described concisely in the limited space. Short papers must not exceed 4 pages in the conference format. Accepted short papers will typically be presented in 10 minutes with 5 minutes for questions and discussion. Posters permit presentation of late-breaking results in an informal, interactive manner. Demonstrations showcase innovative digital library technologies and applications, allowing you to share your work directly with your colleagues in a high-visibility setting. Proposals for posters or demonstrations should consist of a title, extended abstract, and contact information for the authors, and should not exceed 2 pages in the conference format. Accepted posters and demonstrations will be displayed at the conference. All paper submissions (full/short papers, posters and demos) should use the ACM Proceedings template and are to be submitted in electronic format via the conference's EasyChair submission page [forthcoming-see website for link http://2017.jcdl.org/call-for-papers] All accepted papers will be published by the ACM as conference proceedings and electronic versions will be included in both the ACM and IEEE digital libraries. ------------ ORGANIZING COMMITTEE GENERAL CO-CHAIRS * Robert H. McDonald, Indiana University Bloomington * Nicholas Worby, University of Toronto Libraries PROGRAM CHAIRS * Cathy Marshall, Texas A&M University * Ian Milligan, Department of History, University of Waterloo * Adam Jatowt, School of Informatics, Kyoto University PROGRAM COMMITTEE TREASURER * Leanne Trimble, University of Toronto Libraries DOCTORAL CONSORTIUM CO-CHAIRS * Jiangping Chen, College of Information, University of North Texas PANEL CHAIRS * Martin Klein, University of California Los Angeles Library * Periklis Andritsos, Faculty of Information, University of Toronto WORKSHOP CHAIRS * Michele C. Weigle, Department of Computer Science, Old Dominion University * Xiaozhong Liu, School of Informatics & Computing, Indiana University – Bloomington TUTORIAL CHAIRS * Glen Newton, Agriculture & Agri-Food Canada * Kim Pham, University of Toronto – Scarborough Libraries POSTER & DEMO CHAIRS * Justin Brunelle, MITRE * Emily Maemura, Faculty of Information, University of Toronto PUBLICATIONS CHAIR * Jim Hahn, University of Illinois at Urbana-Champaign Library CONTINUITY ADVISOR * Michael Nelson, Department of Computer Science, Old Dominion University LOCAL ORGANIZATION CHAIRS * Christina Tooulias-Santolin, University of Toronto Libraries PUBLICITY CHAIRS * Jesse Carliner, University of Toronto Libraries * Nattiya Kanhabua, Department of Computer Science, Aalborg University SPONSORSHIP CHAIR * Kyla Everall, University of Toronto Libraries LOCAL ORGANIZERS * University of Toronto Libraries -- *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

JOB: Asst. Prof of Digital Media, University of Utah
by Robert W. Gehl 18 Oct '16

18 Oct '16

Hello, AOIR! I'm excited to announce an opening at the University of Utah in the Department of Communication: Assistant Professor of Digital Media. Naturally, I'm hoping tons of AOIR members check out this job, tell likely candidates, and of course apply. If you have questions about this job or life in Salt Lake City, please do let me know (robert.gehl(a)utah.edu) And see you in Berlin! Regards, Rob Gehl ---------------------------------- Assistant Professor of Digital Media The Department of Communication at the University of Utah invites applications for a tenure-track Assistant Professor of Digital Media, effective July 1, 2017. This is a broad call for applicants who are doing innovative, cutting-edge research into the histories, uses, dynamics, and implications of digital communication. We envision applicants' scholarship might include – but would not be limited to – the intersection of digital communication and journalism, history, mobile media, diversity, social media, augmented reality, social justice, infrastructures, organizational studies, ecology, software studies, methodology, critical video game studies, activism, identities, political economy, civic engagement, surveillance, politics, or pedagogy. Ultimately, we seek scholar-teachers who can reinforce the Department of Communication's emerging strength in critical analysis of digital media and help to position the College of Humanities as a leader in digital media studies. Superior candidates will have: (1) evidence of an emerging research program, including articles in peer-reviewed journals, books, or research-based creative works; (2) the ability to contribute to the Department’s Digital Media teaching responsibilities, including undergraduate and graduate courses and the supervision of graduate theses; (3) evidence of success obtaining and managing and/or an interest in obtaining federal or foundation grants; (4) interest in contributing to the development of University-wide programs in Digital Humanities, Medical Humanities, Entertainment Arts and Engineering, Environmental Humanities, Ethnic Studies, Big Data, or Religious Studies; (5) a broad awareness and appreciation of the field of communication and the areas of research and teaching represented in the Department, as well as how digital media studies can articulate with the historical and emerging concerns of communication studies. The University of Utah is an Affirmative Action/Equal Opportunity employer and does not discriminate based upon race, national origin, color, religion, sex, age, sexual orientation, gender identity/expression, status as a person with a disability, genetic information, or Protected Veteran status. Individuals from historically underrepresented groups, such as minorities, women, qualified persons with disabilities and protected veterans are encouraged to apply. Veterans’ preference is extended to qualified applicants, upon request and consistent with University policy and Utah state law. Upon request, reasonable accommodations in the application process will be provided to individuals with disabilities. To inquire about the University’s nondiscrimination or affirmative action policies or to request disability accommodation, please contact: Director, Office of Equal Opportunity and Affirmative Action, 201 S. Presidents Circle, Rm 135, (801) 581-8365. The University of Utah values candidates who have experience working in settings with students from diverse backgrounds, and possess a strong commitment to improving access to higher education for historically underrepresented students. Review of applications will begin October 1, 2016, and will continue until the position is filled. Applicants must submit a letter of interest; a CV; and the names of three references to http://utah.peopleadmin.com/postings/56564. Questions about the position are welcome, and can be directed to Robert W. Gehl, Search Committee Chair, robert DOT gehl (AT THE DOMAIN) utah.edu. -- Rob Gehl -- Robert W. Gehl Associate Professor, Department of Communication Affiliated Faculty, Department of Writing & Rhetoric The University of Utah www.robertwgehl.org | @robertwgehl www.socialmediaalternatives.org Sent from our OS on our Internet Please read my book: Reverse Engineering Social Media Winner of the 2015 Association of Internet Researchers Nancy Baym Book Award http://www.temple.edu/tempress/titles/2275_reg.html

1 1

Best Practices for Conducting Risky Research & Protecting Yourself from Online Harassment
by Alice E. Marwick 18 Oct '16

18 Oct '16

Dear all, I'm delighted to announce that Lindsay Blackwell, Katherine Lo and I have finished a guide for researchers who wish to investigate topics that may leave them open to online harassment or other networked forms of abuse. http://datasociety.net/output/best-practices-for-conducting-risky-research/ We've put together recommendations for institutions, supervisors, and researchers-- especially junior researchers. This is academic-focused, but we've included lots of cybersecurity guidelines and links to other resources. Please let us know if you find this helpful, and send any suggestions to riskyresearch(a)datasociety.net. Best Alice -- Alice E. Marwick, PhD Fellow, Data & Society Assistant Professor, Department of Communication University of North Carolina, Chapel Hill (as of 2017) amarwick(a)gmail.com http://www.tiara.org <http://www.tiara.org>

3 2

New PhD Program in Technology and Humanities at Illinois Tech
by Libby Hemphill 18 Oct '16

18 Oct '16

I’m looking for PhD students interested in studying how citizens use social media to bring about social change in their communities to join the Collaboration and Social Media Lab <http://casmlab.org> at Illinois Tech. We’re currently studying hyperlocal social networks, Twitter, Facebook, Instagram, and related social media platforms in order to understand social media's role in civic engagement and to reduce cyberbullying. We use interviews, participatory design, machine learning, and natural language processing in our research. Students in the lab will enroll in the PhD program in Technology and Humanities <http://humansciences.iit.edu/humanities/programs/graduate-programs/phd-tech…>. More about the program is below, and you can learn more about our social media and civic engagement project on the lab’s website <http://www.casmlab.org/research/>. This project is supported by the National Science Foundation <http://www.nsf.gov/awardsearch/showAward?AWD_ID=1525662&HistoricalAwards=fa…> and includes at least one year of full tuition and stipend support for qualified students. ------ Applications for the PhD Program in Technology and Humanities at the Illinois Institute of Technology are now being accepted! The application deadline for Fall 2017 is January 31, 2017. Applicants interested in research in any of the following areas are encouraged to apply: - Civic impacts of social media - Digital design and production - Ethics and technology - Games and gaming - Gender and sexuality in technology - History of technology - Participatory culture and social media - Rhetoric of technology - Science, technology, and society The program is educating a new type of scholar - someone who will contribute creative and critical work and advance the understanding of the relationships between people and technologies. All students take courses in the Humanities Department’s core areas of communication, information, and media studies, history, linguistics, and philosophy and work closely with faculty in multiple disciplines. To learn more about our department, visit http://humansciences.iit.edu/humanities. Most students receive tuition support and stipends through teaching and research assistantships. Interested students should contact faculty <http://humansciences.iit.edu/humanities/faculty> they are interested in working with and visit the Graduate College admissions site <http://admissions.iit.edu/graduate/apply?_ga=1.51920431.703649370.1445540042> . ----- Please circulate widely, and let me know if you have students who may be interested. Thanks, Libby -- Libby Hemphill Assistant Professor of Communication and Information Studies Illinois Institute of Technology http://www.libbyh.com http://www.casmlab.org

1 0

CPDP2017 Call for Papers - deadline extended until October 22nd
by Imge Ozcan 17 Oct '16

17 Oct '16

CfP Computers, Privacy and Data Protection 2017 - The Age of Intelligent Machines http://www.cpdpconferences.org/callforpapers.html CPDP is an annual three-day conference devoted to privacy and data protection. The 10th edition of CPDP will be held on 25-27 January 2017 in Brussels. Whilst a number of speakers are specifically invited by the conference, several slots remain open to application through an annual call for papers. The CPDP2017 Call for Papers is addressed to all researchers who wish to present their papers at the next Computers, Privacy and Data Protection conference. The call is split into two different tracks. The first is dedicated to experienced researchers, while the second welcomes PhD students and junior researchers. Contributions are welcome from all disciplines with perspectives on the themes of the conference. The dual-track structure of the CPDP 2017 Call for Papers aims to meet the increasing interest of researchers - from all levels and from multiple disciplines - in CPDP and their expectations in terms of academic feedback and exchange. Please submit your contribution through the EasyChair conference system by following this link: https://easychair.org/account/signin.cgi?key=39741672.tc6QibMd0JZ3njVe RELEVANT FIELDS AND TOPICS The CPDP Scientific Committee invites papers in the fields of law, social sciences, philosophy and computer sciences (as well as other relevant fields). Multidisciplinary papers are particularly welcome. In particular, this call aims to reach researchers whose works relate to new technologies, privacy and data protection. Selected researchers will have the valuable opportunity to present their papers in the conference academic sessions. The main theme highlighted this year is Artificial Intelligence, but we welcome any original topics related to the general themes of the conference and especially encourage technology-focused and interdisciplinary submissions. For more information about the topics presented at previous editions of CPDP, please visit http://www.cpdpconferences.org/archive.html In case of doubt regarding the suitability of a contribution for the conference, please contact Lorenzo Dalla Corte (lorenzo.dallacorte(a)cpdpconferences.org <mailto:lorenzo.dallacorte@cpdpconferences.org> ). CPDP2017 KEY DATES Extended deadline for submissions: Saturday 22 Oct. 2016 Notification to authors: Friday 2 Dec. 2016 Papers accepted for presentation at the conference will go through a second round of reviews for inclusion in the conference book (see below). The deadline for submissions to the second round of reviews is: Monday 6 March 2017. SUBMISSION INSTRUCTIONS Authors responding to this Call for Papers are asked to submit a full paper via a dedicated webpage on the EasyChair system, together with a short abstract and up to 5 keywords. Authors should select the track for which they are applying in EasyChair: either CPDP 2017 Experienced Researchers or CPDP 2017 Junior Researchers. Papers should be between 6000 and 8000 words in length and follow the CPDP layout rules based on the Springer template which is available here (zip file to download): http://www.cpdpconferences.org/Resources/splnproc1110.zip The text of the paper should not include the name of the author(s) and all self-references should be deleted. Submissions not meeting these criteria risk rejection without consideration of quality. Contributions and identifying information should be submitted through the EasyChair conference system following this link: https://easychair.org/account/signin.cgi?key=39741827.Ufkihm1uEzFTFQDx Papers will be selected on the basis of their quality. All submitted papers will be peer reviewed by members of the CPDP 2017 Scientific Committee (and other independent reviewers where necessary) and will be commented upon by distinguished scholars. Authors of accepted papers must guarantee that their papers will be presented at the conference: at least one author of each accepted paper is required to register for the conference and to present the paper. Accepted papers will be considered for publication in the conference book published by Springer. Selected authors will receive free entrance for the duration of the conference. Funding for travel expenses may be available for PhD Candidates who cannot cover their own costs. If you require funding, please get in touch. For further details on the conference structure and its main topic areas, interested researchers are invited to visit the www.cpdpconferences.org <http://www.cpdpconferences.org> or to contact info(a)cpdpconferences.org <mailto:info@cpdpconferences.org> CONFERENCE BOOK Eight books based on papers presented at previous CPDP conferences have already been published, and a 9th edition is currently in production: 1. Gutwirth, S., Y. Poullet, P. De Hert, C. de Terwangne, and S. Nouwt, eds. Reinventing Data Protection? Dordrecht: Springer, 2009. (www.springer.com <http://www.springer.com/law/international/book/978-1-4020-9497-2> ) 2. Gutwirth, S., Y. Poullet, and P. De Hert, eds. Data Protection in a Profiled World. Dordrecht: Springer, 2010. (www.springer.com <http://www.springer.com/law/international/book/978-90-481-8864-2> ) 3. Gutwirth, S., Y. Poullet, P. De Hert and R. Leenes eds. Computers, Privacy and Data Protection: an Element of Choice. Dordrecht: Springer, 2011. (www.springer.com <http://www.springer.com/law/international/book/978-94-007-0640-8> ) 4. Gutwirth, S., R. Leenes, P. De Hert and Y. Poullet, European Data Protection: In Good Health? Dordrecht: Springer, 2012. (www.springer.com <http://www.springer.com/law/international/book/978-94-007-2902-5> ) 5. Gutwirth, S., R. Leenes, P. De Hert and Y. Poullet, European Data Protection:Coming of Age, Dordrecht: Springer, 2012. (www.springer.com <http://www.springer.com/law/international/book/978-94-007-5184-2> ) 6. Gutwirth, S., R. Leenes and P. De Hert, Reloading Data Protection: Multidisciplinary Insights and Contemporary Challenges. Dordrecht: Springer, 2014. (www.springer.com <http://www.springer.com/law/international/book/978-94-007-7539-8> ) 7. Gutwirth, S., R. Leenes and P. De Hert, Reforming Data Protection: The Global Perspective. Dordrecht: Springer, 2015. (www.springer.com <http://www.springer.com/us/book/9789401793841> ) 8. Gutwirth, S., Leenes R., P. De Hert and Y. Poullet, Data protection on the Move. Dordrecht: Springer (www.springer.com <https://www.springer.com/us/book/9789401773751> ) 9. Gutwirth, S., Leenes R., P. De Hert and R. Van Brakel, Computers, Privacy and Data Protection: Invisibilities & Infrastructures. Dordrecht: Springer, 2017. (forthcoming) Specific guidelines on the publication of the CPDP 2017 book have been adopted. Please visit: http://www.cpdpconferences.org/information.html BEYOND THE CPDP 2017 CALL FOR PAPERS CPDP would like to create a platform where all people passionate about privacy and data-protection can meet. If you are a social, political or computer scientist, activist, policy maker, lawyer, ICT expert or passionate person interested in being a speaker or getting involved in next year's conference, please notify the conference secretariat at the following address: info(a)cpdpconferences.org <mailto:info@cpdpconferences.org> We look forward to receiving your submissions and to welcoming you in Brussels in January 2017! Best regards, The CPDP 2017 Programme Committee

1 0

2 Jobs at SeattleU
by Paul, Christopher 16 Oct '16

16 Oct '16

AoIRers, We're hiring for a tenure-track line in Strategic Communication (https://jobs.seattleu.edu/postings/19557) and for a Director of Forensics (https://jobs.seattleu.edu/postings/19560) and it'd be lovely to get an internet researcher into either or both of those roles. If you have any questions, please feel free to get in touch. -chris Dr. Christopher Paul Associate Professor and Chair Department of Communication Seattle University paulc(a)seattleu.edu<mailto:paulc@seattleu.edu>

1 0

22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Tutorial Proposals
by Announce Announcements 15 Oct '16

15 Oct '16

*** Last Call for Tutorial Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=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. IUI 2017 is pleased to invite tutorial proposals. Tutorials offer the community an opportunity to learn about the state-of-the-art concepts and techniques and allow the presenters to share their expertise. We invite proposals from active researchers and experienced presenters. Ideally, a tutorial will cover the state-of-the-art research and development in a specific area strongly related to IUI. Tutorials on interdisciplinary areas, novel or fast growing directions, and significant practical applications are also encouraged. Each accepted tutorial will receive one free IUI 2017 registration. Submission Guidelines The proposals should be PDF documents not exceeding 3 pages, submitted by e-mail to the tutorial chairs at: tutorial2017(a)iui.acm.org. We encourage prospective presenters to contact the tutorial chairs in advance and discuss their tutorial ideas. Each tutorial proposal should provide the following information: · Name and title: Your name, the tutorial title and the expected length of your tutorial (up to half a day). · Description of tutorial topic and goal: Detailed outline of the tutorial, along with descriptions of the objectives, its relevance to IUI, benefits to the attendees, and course materials/handouts (links to online materials encouraged). · Organizers: Name, email address, and affiliation of each presenter. Note that each listed presenter must register for the conference and be present at the tutorial. · Target audience and prerequisites: Target audience level (introductory, intermediate, advanced) and prerequisite knowledge or skills. · Experience: Tutors' short bios and their expertise related to the tutorial, including history of previously given tutorials. · Equipment and software requirement: please list any that will be needed. Important Dates · Tutorial Proposals: October 21, 2016 · Decisions Sent: November 21, 2016 Tutorials Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA

1 0